real 13.19
user 19.39
sys 5.38