input-filename:
  instances/gesa3.pre.mps.gz
obj-value:
  0: 27884380.373544
  1: 27905217.143457
  2: 27918094.239099
generated-cuts:
  0: 0
  1: 80
  2: 6216
added-cuts:
  0: 0
  1: 12
  2: 20
user-cpu-time:
  0: 0.014
  1: 0.048
  2: 133.421
time-per-cut:
  1: 0.001
  2: 0.021