real 7.50
user 13.23
sys 3.49