real 13.74
user 26.35
sys 7.39