real 10582.36
user 7917.42
sys 83.60