real 9.96
user 17.35
sys 3.48