real 13.74
user 26.40
sys 7.16