real 10.51
user 19.84
sys 5.30