0:07.54 real,9.51 user,0.28 sys