CERTIFIED
        0.55 real         0.89 user         0.26 sys