real 9.39
user 20.71
sys 3.42