real 9.45
user 17.36
sys 6.22