real 4294.70
user 43295.74
sys 161.71