real 11.85
user 17.13
sys 6.10