real 10186.96
user 8052.06
sys 207.45