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 408 rows and 402 columns. MIP Presolve modified 7692 coefficients. Aggregator did 2 substitutions. Reduced MIP has 3563 rows, 1998 columns, and 16077 nonzeros. Reduced MIP has 1998 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 0.03 sec. Clique table members: 4678. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.77 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 -0.0000 1476 -0.0000 3526 0 0 -0.0000 1303 Cuts: 212 14084 0 0 -0.0000 1309 Cuts: 467 23516 0 0 -0.0000 1286 Cuts: 278 33511 0 0 -0.0000 1322 Cuts: 125 44234 Heuristic still looking. Heuristic still looking. 0 2 -0.0000 1292 -0.0000 44234 Elapsed time = 47.91 sec. (tree size = 0.00 MB, solutions = 0) 100 100 1.0000 1128 -0.0000 327991 200 152 0.0659 1143 0.0000 584634