real 4392.86
user 2562.80
sys 25.31