real 9784.38
user 6204.26
sys 42.84