real 10.89
user 17.42
sys 6.49