real 10150.42
user 8437.11
sys 177.52