real 13.13
user 26.69
sys 7.42