486.19user 161.67system 13:47.82elapsed 78%CPU (0avgtext+0avgdata 53776maxresident)k
487.72user 159.55system 13:45.66elapsed 78%CPU (0avgtext+0avgdata 53916maxresident)k
488.21user 159.18system 13:45.52elapsed 78%CPU (0avgtext+0avgdata 53836maxresident)k
