real 9515.31
user 7537.47
sys 319.54