real 13.71
user 27.12
sys 7.44