637.67user 303.82system 19:29.84elapsed 80%CPU (0avgtext+0avgdata 53820maxresident)k
536.80user 252.91system 14:59.83elapsed 87%CPU (0avgtext+0avgdata 53664maxresident)k
638.42user 304.64system 19:27.75elapsed 80%CPU (0avgtext+0avgdata 53876maxresident)k
