real 9835.40
user 6838.58
sys 46.69