real 3955.32
user 2612.36
sys 24.12