real 9.71 user 0.01 sys 0.02