645.24user 315.32system 19:50.81elapsed 80%CPU (0avgtext+0avgdata 53848maxresident)k
647.02user 314.55system 19:49.39elapsed 80%CPU (0avgtext+0avgdata 53792maxresident)k
645.22user 316.18system 19:45.09elapsed 81%CPU (0avgtext+0avgdata 53820maxresident)k
