real 13.43
user 27.24
sys 7.93