real 4395.72
user 3032.47
sys 27.32