real 6327.25
user 4649.54
sys 28.73