638.55user 302.23system 19:39.64elapsed 79%CPU (0avgtext+0avgdata 53848maxresident)k
633.39user 308.10system 19:39.28elapsed 79%CPU (0avgtext+0avgdata 65748maxresident)k
636.53user 308.40system 19:42.49elapsed 79%CPU (0avgtext+0avgdata 53852maxresident)k
