681.29user 340.58system 20:43.85elapsed 82%CPU (0avgtext+0avgdata 53916maxresident)k
683.21user 346.34system 20:49.62elapsed 82%CPU (0avgtext+0avgdata 53780maxresident)k
642.37user 322.59system 18:51.66elapsed 85%CPU (0avgtext+0avgdata 53964maxresident)k
