real 11.56
user 17.12
sys 6.10