real 9246.04
user 5979.25
sys 33.41