real 13.38
user 26.44
sys 7.14