649.23user 323.38system 20:01.73elapsed 80%CPU (0avgtext+0avgdata 53760maxresident)k
651.36user 322.02system 20:06.71elapsed 80%CPU (0avgtext+0avgdata 53792maxresident)k
647.98user 321.63system 20:07.42elapsed 80%CPU (0avgtext+0avgdata 65872maxresident)k
