624.57user 249.41system 19:31.08elapsed 74%CPU (0avgtext+0avgdata 53832maxresident)k
624.22user 252.75system 19:35.87elapsed 74%CPU (0avgtext+0avgdata 53820maxresident)k
621.11user 249.96system 19:29.24elapsed 74%CPU (0avgtext+0avgdata 53932maxresident)k
