original problem has 60 variables (20 bin, 0 int, 0 impl, 40 cont) and 109 constraints presolving: (round 1, fast) 5 del vars, 2 del conss, 0 add conss, 57 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 1 impls, 3 clqs (round 2, fast) 5 del vars, 2 del conss, 0 add conss, 59 chg bounds, 2 chg sides, 4 chg coeffs, 0 upgd conss, 2 impls, 3 clqs (round 3, fast) 5 del vars, 2 del conss, 0 add conss, 60 chg bounds, 2 chg sides, 4 chg coeffs, 0 upgd conss, 2 impls, 3 clqs (round 4, fast) 5 del vars, 2 del conss, 0 add conss, 60 chg bounds, 2 chg sides, 5 chg coeffs, 0 upgd conss, 2 impls, 3 clqs (round 5, exhaustive) 5 del vars, 6 del conss, 0 add conss, 60 chg bounds, 3 chg sides, 5 chg coeffs, 0 upgd conss, 2 impls, 3 clqs (round 6, exhaustive) 5 del vars, 6 del conss, 0 add conss, 60 chg bounds, 3 chg sides, 5 chg coeffs, 27 upgd conss, 2 impls, 3 clqs (round 7, medium) 7 del vars, 6 del conss, 0 add conss, 60 chg bounds, 5 chg sides, 7 chg coeffs, 27 upgd conss, 25 impls, 4 clqs (0.1s) probing cycle finished: starting next cycle (round 8, exhaustive) 9 del vars, 6 del conss, 0 add conss, 62 chg bounds, 5 chg sides, 0 chg coeffs, 27 upgd conss, 62 impls, 12 clqs (round 9, fast) 9 del vars, 11 del conss, 0 add conss, 63 chg bounds, 5 chg sides, 0 chg coeffs, 27 upgd conss, 62 impls, 12 clqs (0.2s) probing cycle finished: starting next cycle (0.2s) symmetry computation started: requiring (bin +, int -, cont -), (fixed: bin -, int +, cont +) (0.2s) no symmetry present presolving (10 rounds: 10 fast, 5 medium, 4 exhaustive): 9 deleted vars, 11 deleted constraints, 0 added constraints, 63 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients 63 implications, 12 cliques presolved problem has 51 variables (12 bin, 0 int, 0 impl, 39 cont) and 98 constraints 20 constraints of type 2 constraints of type 20 constraints of type 56 constraints of type Presolving Time: 0.16 time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 0.5s| 1 | 0 | 2089 | - | 8637k | 0 | 587 | 98 |1033 | 0 | 0 | 0 | 0 | 1.970181e+03 | -- | Inf | unknown 1.1s| 1 | 0 | 2294 | - | 10M | 0 | 587 | 98 |1109 | 76 | 1 | 0 | 0 | 2.301698e+03 | -- | Inf | unknown 1.1s| 1 | 0 | 2452 | - | 10M | 0 | 587 | 98 |1165 | 132 | 2 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.2s| 1 | 0 | 2533 | - | 10M | 0 | 587 | 98 |1211 | 178 | 3 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.2s| 1 | 0 | 2623 | - | 10M | 0 | 587 | 98 |1255 | 222 | 4 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.3s| 1 | 0 | 2711 | - | 10M | 0 | 587 | 98 |1303 | 270 | 5 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.3s| 1 | 0 | 2805 | - | 10M | 0 | 587 | 98 |1347 | 314 | 6 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.4s| 1 | 0 | 2923 | - | 10M | 0 | 587 | 98 |1383 | 350 | 7 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.4s| 1 | 0 | 3051 | - | 10M | 0 | 587 | 98 |1418 | 385 | 8 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.5s| 1 | 0 | 3138 | - | 10M | 0 | 587 | 98 |1456 | 423 | 9 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.5s| 1 | 0 | 3197 | - | 11M | 0 | 587 | 98 |1492 | 459 | 10 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.6s| 1 | 0 | 3333 | - | 11M | 0 | 587 | 98 |1524 | 491 | 11 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 1.6s| 1 | 0 | 3402 | - | 11M | 0 | 587 | 98 | 777 | 524 | 12 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.2s| 1 | 0 | 4773 | - | 11M | 0 | 587 | 98 | 717 | 524 | 12 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.2s| 1 | 0 | 4861 | - | 11M | 0 | 587 | 98 | 770 | 577 | 13 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2.3s| 1 | 0 | 4933 | - | 11M | 0 | 587 | 98 | 825 | 632 | 14 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.3s| 1 | 0 | 4999 | - | 11M | 0 | 587 | 98 | 878 | 685 | 15 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.3s| 1 | 0 | 5084 | - | 11M | 0 | 587 | 98 | 919 | 726 | 16 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.4s| 1 | 0 | 5141 | - | 11M | 0 | 587 | 98 | 957 | 764 | 17 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.4s| 1 | 0 | 5176 | - | 11M | 0 | 587 | 98 | 735 | 803 | 18 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.4s| 1 | 0 | 5221 | - | 11M | 0 | 587 | 98 | 770 | 838 | 19 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.5s| 1 | 0 | 5264 | - | 11M | 0 | 587 | 98 | 810 | 878 | 20 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.5s| 1 | 0 | 5310 | - | 11M | 0 | 587 | 98 | 843 | 911 | 21 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.5s| 1 | 0 | 5356 | - | 11M | 0 | 587 | 98 | 874 | 942 | 22 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 2.6s| 1 | 0 | 5403 | - | 11M | 0 | 587 | 98 | 909 | 977 | 23 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown d11.9s| 1 | 0 | 5403 | - | mpec| 0 | 587 | 98 | 909 | 977 | 23 | 0 | 0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown 11.9s| 1 | 0 | 5403 | - | 12M | 0 | 587 | 98 | 909 | 977 | 23 | 0 | 0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown 11.9s| 1 | 0 | 5441 | - | 12M | 0 | 587 | 98 | 746 |1006 | 24 | 0 | 0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown 12.0s| 1 | 0 | 5481 | - | 12M | 0 | 587 | 98 | 785 |1045 | 25 | 0 | 0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown 12.0s| 1 | 0 | 5487 | - | 12M | 0 | 587 | 98 | 791 |1051 | 26 | 0 | 0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 12.0s| 1 | 0 | 5489 | - | 12M | 0 | 587 | 98 | 793 |1053 | 27 | 0 | 0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown 12.1s| 1 | 2 | 5489 | - | 12M | 0 | 587 | 98 | 793 |1053 | 29 | 0 | 0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown SCIP Status : solving was interrupted [node limit reached] Solving Time (sec) : 12.06 Solving Nodes : 1 Primal Bound : +6.49307876399787e+03 (1 solutions) Dual Bound : +2.50000000000000e+03 Gap : 159.72 %