real 13.20
user 26.66
sys 7.25