real 4686.28
user 3058.46
sys 32.20