657.74user 341.69system 19:15.05elapsed 86%CPU (0avgtext+0avgdata 53920maxresident)k
684.01user 346.26system 20:38.96elapsed 83%CPU (0avgtext+0avgdata 53940maxresident)k
685.32user 347.04system 20:46.32elapsed 82%CPU (0avgtext+0avgdata 53692maxresident)k
