real 5132.39
user 4871.28
sys 45.07