0:05.72 real,6.70 user,0.28 sys