real 9811.71
user 8405.77
sys 166.49