556.45user 234.45system 15:10.84elapsed 86%CPU (0avgtext+0avgdata 53808maxresident)k
530.19user 222.36system 13:31.92elapsed 92%CPU (0avgtext+0avgdata 53880maxresident)k
557.55user 234.01system 15:08.12elapsed 87%CPU (0avgtext+0avgdata 53964maxresident)k
