7.33 real 0.01 user 0.00 sys 8.52 real 0.01 user 0.00 sys 8.55 real 0.01 user 0.00 sys