real 11.42
user 17.26
sys 6.08