5:14.87 real,10.93 user,0.88 sys