real 9317.80
user 8144.03
sys 125.22