real 8440.92
user 8982.57
sys 5099.00