real 9.39
user 19.93
sys 3.24