real 9415.22
user 7489.81
sys 323.03