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 2 times. MIP Presolve eliminated 212 rows and 207 columns. MIP Presolve modified 3881 coefficients. Aggregator did 2 substitutions. Reduced MIP has 1780 rows, 998 columns, and 8026 nonzeros. Reduced MIP has 998 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 0.01 sec. Clique table members: 2310. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.16 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 -0.0000 724 -0.0000 1571 0 0 -0.0000 567 Cuts: 104 4763 0 0 -0.0000 642 Cuts: 229 8188 0 0 -0.0000 584 Cuts: 74 11394 0 0 -0.0000 631 Cuts: 62 14918 0 2 -0.0000 571 -0.0000 14918 100 64 infeasible 0.0000 99876 200 103 -0.0000 541 0.0000 187303 300 137 -0.0000 624 0.0000 279979 400 157 -0.0000 560 0.0000 369256 500 194 -0.0000 574 0.0000 456873 600 216 -0.0000 603 -0.0000 550685 700 214 infeasible -0.0000 611340 800 180 -0.0000 505 -0.0000 664936 900 216 -0.0000 499 0.0000 720090 1000 226 0.0163 556 0.0000 803974 Elapsed time = 170.22 sec. (tree size = 0.16 MB, solutions = 0) 1100 231 infeasible 0.0000 886869 1200 239 infeasible 0.0000 945051 1300 240 -0.0000 470 0.0000 1019882 1400 236 0.1031 547 0.0000 1107438 1500 247 -0.0000 563 0.0000 1196727 1600 256 -0.0000 522 0.0000 1269911 1700 263 -0.0000 547 0.0000 1348757 1800 276 -0.0000 479 0.0000 1425745