real 8427.42
user 9059.36
sys 4887.59