real 13.13
user 27.18
sys 4.33