CERTIFIED
       18.89 real        18.71 user         0.16 sys