real 13.41
user 26.71
sys 7.40