real 4103.24
user 2833.28
sys 29.34