real 13.89
user 27.09
sys 7.42