555.01user 238.18system 15:05.98elapsed 87%CPU (0avgtext+0avgdata 53716maxresident)k
557.86user 238.16system 15:10.76elapsed 87%CPU (0avgtext+0avgdata 53940maxresident)k
559.04user 233.29system 15:05.48elapsed 87%CPU (0avgtext+0avgdata 53888maxresident)k
