real 13.53
user 26.60
sys 7.12