real 9.57
user 20.84
sys 3.40