real 13.39
user 26.40
sys 7.04