real 4561.05
user 4494.90
sys 58.73