real 9.49
user 19.93
sys 5.33