real 10.31
user 19.81
sys 5.48