549.41user 233.64system 14:58.79elapsed 87%CPU (0avgtext+0avgdata 53824maxresident)k
550.68user 232.36system 15:01.74elapsed 86%CPU (0avgtext+0avgdata 53824maxresident)k
549.24user 234.27system 14:58.55elapsed 87%CPU (0avgtext+0avgdata 53940maxresident)k
