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 209 rows and 206 columns. MIP Presolve modified 3841 coefficients. Reduced MIP has 1785 rows, 1001 columns, and 10051 nonzeros. Reduced MIP has 1001 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 0.01 sec. Clique table members: 2330. 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 751 0.0000 1577 0 0 0.0000 593 Cuts: 121 4789 0 0 0.0000 626 Cuts: 275 8448 0 0 0.0000 625 Cuts: 90 12111 0 2 0.0000 625 0.0000 12111 100 62 0.0193 531 0.0000 107564 200 87 infeasible 0.0000 201997 300 98 0.2757 546 0.0000 305890 400 96 infeasible 0.0000 390148 500 126 0.0381 576 0.0000 483339 600 114 infeasible 0.0000 585253 700 64 infeasible 0.0000 666796 800 65 0.0000 486 0.0000 756905 900 70 infeasible 0.0000 839384 1000 71 infeasible 0.0000 925038 Elapsed time = 191.97 sec. (tree size = 0.05 MB, solutions = 0) 1100 63 0.0000 612 0.0000 1021647 1200 106 1.0000 532 0.0000 1105860 1300 136 infeasible 0.0000 1185486 1400 162 infeasible 0.0000 1258995 1500 190 infeasible 0.0000 1341242