real 9454.67
user 7514.41
sys 284.83