real 4606.60
user 3091.97
sys 25.05