3:57.95 real,137.86 user,2.02 sys