3:57.14 real,137.66 user,1.99 sys