ABORT HEAD is now at 0bbc05b initial deployement Warnning: Cannot find "recommends:" property definition: criteria unsatrecommends not used. 1199 packages (0 installed, 1199 uninstalled), 2 virtual packages Warnning: Cannot find "recommends:" property definition: criteria unsatrecommends not used. Tried aggregator 1 time. MIP Presolve eliminated 212 rows and 209 columns. MIP Presolve modified 3834 coefficients. Reduced MIP has 1782 rows, 998 columns, and 10002 nonzeros. Reduced MIP has 998 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 0.01 sec. Clique table members: 2322. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.17 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 0.0000 703 0.0000 1451 0 0 0.0000 639 Cuts: 117 5752 0 0 0.0000 664 Cuts: 251 9034 0 0 0.0000 651 Cuts: 116 13416 0 0 0.0000 615 Cuts: 76 16157 0 0 0.0000 639 Cuts: 54 19998 0 2 0.0000 604 0.0000 19998 Elapsed time = 10.43 sec. (tree size = 0.00 MB, solutions = 0) 100 56 0.0000 485 0.0000 112199 200 57 0.0000 547 0.0000 206489 300 87 0.0301 604 0.0000 289834 400 123 0.0000 550 0.0000 368676 500 143 0.0000 565 0.0000 459264 600 138 0.0000 577 0.0000 570580 700 88 infeasible 0.0000 671703 800 76 0.0269 632 0.0000 771418 900 102 1.0000 621 0.0000 857908 1000 130 infeasible 0.0000 948934 Elapsed time = 209.07 sec. (tree size = 0.09 MB, solutions = 0) 1100 137 0.0000 571 0.0000 1053698 1200 168 1.0000 583 0.0000 1143464 1300 173 0.0000 479 0.0000 1249218