real 13.29
user 26.79
sys 7.43