5:19.00 real,10.85 user,0.84 sys