real 9.67
user 17.40
sys 6.17