real 10.56
user 17.50
sys 6.18