628.91user 303.39system 19:22.12elapsed 80%CPU (0avgtext+0avgdata 53824maxresident)k
631.33user 303.32system 19:28.23elapsed 80%CPU (0avgtext+0avgdata 53804maxresident)k
631.33user 305.87system 19:27.36elapsed 80%CPU (0avgtext+0avgdata 53772maxresident)k
