real 4947.56
user 4067.28
sys 40.64