input_file: running/cov1075.pre.mps.gz sol_value: 0: 17.142857 1: 17.245850 2: 17.262477 sol_status: 0: optimal 1: optimal 2: optimal n_cuts: total: 149 depth: 0: 101 1: 36 2: 1 4: 4 5: 4 6: 3 mip_value: 20.000000 time: 70.60