real 9.57
user 17.37
sys 3.74