635.38user 304.76system 19:31.71elapsed 80%CPU (0avgtext+0avgdata 53908maxresident)k
637.64user 304.08system 19:34.38elapsed 80%CPU (0avgtext+0avgdata 53924maxresident)k
636.53user 307.57system 19:38.26elapsed 80%CPU (0avgtext+0avgdata 53840maxresident)k
