ABORT HEAD is now at 0bbc05b initial deployement Warnning: Cannot find "recommends:" property definition: criteria unsatrecommends not used. 2394 packages (0 installed, 2394 uninstalled), 2 virtual packages Warnning: Cannot find "recommends:" property definition: criteria unsatrecommends not used. Tried aggregator 2 times. MIP Presolve eliminated 411 rows and 401 columns. MIP Presolve modified 7814 coefficients. Aggregator did 3 substitutions. Reduced MIP has 3559 rows, 1998 columns, and 16050 nonzeros. Reduced MIP has 1998 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 0.03 sec. Clique table members: 4659. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.73 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 -0.0000 1439 -0.0000 3323 0 0 -0.0000 1229 Cuts: 227 14235 0 0 -0.0000 1360 Cuts: 393 23970 0 0 -0.0000 1327 Cuts: 254 34800 0 0 -0.0000 1336 Cuts: 127 45251 Heuristic still looking. Heuristic still looking. 0 2 -0.0000 1336 -0.0000 45251 Elapsed time = 53.24 sec. (tree size = 0.00 MB, solutions = 0) 100 90 infeasible -0.0000 360905 200 132 -0.0000 995 0.0000 579315