546.20user 229.62system 14:47.88elapsed 87%CPU (0avgtext+0avgdata 53704maxresident)k
546.91user 231.57system 14:48.62elapsed 87%CPU (0avgtext+0avgdata 53876maxresident)k
549.29user 226.68system 14:47.61elapsed 87%CPU (0avgtext+0avgdata 53956maxresident)k
