real 9011.58
user 6053.51
sys 40.32