5:45.46 real,6.49 user,0.50 sys