540.38user 228.37system 14:48.82elapsed 86%CPU (0avgtext+0avgdata 53784maxresident)k
542.21user 226.28system 14:47.65elapsed 86%CPU (0avgtext+0avgdata 53832maxresident)k
543.22user 224.60system 14:46.52elapsed 86%CPU (0avgtext+0avgdata 53688maxresident)k
