real 10500.41
user 6085.77
sys 49.52