real 7571.33
user 28178.12
sys 722.92