4:33.82 real,275.64 user,0.30 sys