530.41user 252.50system 15:06.74elapsed 86%CPU (0avgtext+0avgdata 53808maxresident)k
527.08user 252.02system 15:02.54elapsed 86%CPU (0avgtext+0avgdata 53908maxresident)k
632.44user 309.87system 19:33.84elapsed 80%CPU (0avgtext+0avgdata 53912maxresident)k
