real 9.90
user 20.75
sys 5.92