638.17user 302.84system 19:38.22elapsed 79%CPU (0avgtext+0avgdata 53864maxresident)k
637.16user 310.50system 19:40.25elapsed 80%CPU (0avgtext+0avgdata 53900maxresident)k
638.73user 305.92system 19:42.53elapsed 79%CPU (0avgtext+0avgdata 53928maxresident)k
