real 11.82
user 17.25
sys 6.08