real 13.14
user 26.72
sys 7.43