4:05.07 real,142.65 user,2.10 sys