real 13.90
user 26.74
sys 7.28