real 13.08
user 26.45
sys 7.33