real 13.52
user 26.39
sys 7.16