input-filename: instances/mitre.pre.mps.gz obj-value: 0: 114908.998992 1: 115115.714286 2: 115115.714286 generated-cuts: 0: 0 1: 692 2: 4224 added-cuts: 0: 0 1: 271 2: 1 user-cpu-time: 0: 0.045 1: 0.859 2: 14329.913 time-per-cut: 1: 0.001 2: 3.392