540.03user 224.78system 14:45.87elapsed 86%CPU (0avgtext+0avgdata 53856maxresident)k
456.88user 185.04system 11:24.19elapsed 93%CPU (0avgtext+0avgdata 53616maxresident)k
541.32user 224.42system 14:45.99elapsed 86%CPU (0avgtext+0avgdata 53932maxresident)k
