real 13.39
user 26.70
sys 7.60