real 4157.49
user 39732.74
sys 364.16