ABORT HEAD is now at 0bbc05b initial deployement Warnning: Cannot find "recommends:" property definition: criteria unsatrecommends not used. 600 packages (0 installed, 600 uninstalled), 2 virtual packages Warnning: Cannot find "recommends:" property definition: criteria unsatrecommends not used. Tried aggregator 1 time. MIP Presolve eliminated 109 rows and 107 columns. MIP Presolve modified 1915 coefficients. Reduced MIP has 894 rows, 501 columns, and 5517 nonzeros. Reduced MIP has 501 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 0.02 sec. Clique table members: 1166. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.02 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 0.0000 373 0.0000 625 0 0 0.0000 340 Cuts: 62 1194 0 0 0.0000 327 Cuts: 111 2291 0 0 0.0000 334 Cuts: 80 3041 0 0 0.0000 339 Cuts: 42 3900 0 2 0.0000 307 0.0000 3900 100 40 1.0000 238 0.0000 39522 200 81 infeasible 0.0000 74298 300 121 0.0253 318 0.0000 109080 400 139 0.0000 320 0.0000 145215 500 132 0.1202 328 0.0000 188356 600 73 infeasible 0.0000 221320 700 82 0.0000 286 0.0000 258522 800 99 1.0000 307 0.0000 297362 900 118 0.0000 283 0.0000 336112 1000 144 1.0000 302 0.0000 373457 Elapsed time = 43.10 sec. (tree size = 0.06 MB, solutions = 0) 1100 169 0.1026 307 0.0000 408453 1200 194 1.0000 287 0.0000 442997 1300 218 infeasible 0.0000 477138 1400 230 infeasible 0.0000 515274 1500 244 infeasible 0.0000 553335 1600 276 infeasible 0.0000 588088 1700 293 1.0000 238 0.0000 624358 1800 325 infeasible 0.0000 656983 1900 372 infeasible 0.0000 689272 2000 381 1.0000 255 0.0000 725147 Elapsed time = 77.45 sec. (tree size = 0.16 MB, solutions = 0) 2100 402 0.0000 294 0.0000 760315 2200 436 infeasible 0.0000 796780 2300 465 1.0000 220 0.0000 834384 2400 500 infeasible 0.0000 868769 2500 539 0.0221 344 0.0000 903657 2600 575 infeasible 0.0000 939357 2700 602 infeasible 0.0000 978383 2800 627 1.0000 255 0.0000 1013591 2900 642 infeasible 0.0000 1046628 3000 661 0.0189 314 0.0000 1084313 Elapsed time = 111.00 sec. (tree size = 0.28 MB, solutions = 0) 3100 695 1.0000 279 0.0000 1112886 3200 726 1.0000 273 0.0000 1153536 3300 775 infeasible 0.0000 1188953 3400 808 1.0000 307 0.0000 1226836 3500 824 infeasible 0.0000 1264933 3600 843 0.1286 348 0.0000 1304078 3700 855 0.0000 274 0.0000 1347356 3800 864 0.0769 328 0.0000 1392018 3900 893 0.0200 343 0.0000 1429381 4000 911 0.0000 316 0.0000 1473878 Elapsed time = 147.10 sec. (tree size = 0.38 MB, solutions = 0) 4100 925 infeasible 0.0000 1514566 4200 967 0.0204 333 0.0000 1552036 4300 985 0.0000 231 0.0000 1586119 4400 1003 1.0000 308 0.0000 1617952 4500 1027 infeasible 0.0000 1654518 4600 1041 infeasible 0.0000 1692510 4700 1067 0.0000 253 0.0000 1726464 4800 1081 0.3730 265 0.0000 1754145 4900 1083 0.0445 322 0.0000 1785613 5000 1105 0.1667 244 0.0000 1822348 Elapsed time = 178.89 sec. (tree size = 0.48 MB, solutions = 0) 5100 1132 0.1151 325 0.0000 1853718 5200 1159 infeasible 0.0000 1886580 5300 1185 1.0000 284 0.0000 1920333 5400 1214 infeasible 0.0000 1957775 5500 1228 0.0000 323 0.0000 1997601 5600 1266 0.0890 322 0.0000 2034930 5700 1279 0.0672 319 0.0000 2075716 5800 1294 infeasible 0.0000 2111564 5900 1297 infeasible 0.0000 2153269 6000 1309 infeasible 0.0000 2193009 Elapsed time = 213.07 sec. (tree size = 0.56 MB, solutions = 0) 6100 1346 0.0888 315 0.0000 2229669 6200 1361 infeasible 0.0000 2267419 6300 1386 infeasible 0.0000 2301293 6400 1392 infeasible 0.0000 2336931 6500 1414 1.0000 261 0.0000 2371739 6600 1418 infeasible 0.0000 2409631 6700 1420 0.0000 305 0.0000 2448623 6800 1431 0.5000 272 0.0000 2486204 6900 1457 1.0000 296 0.0000 2524951 7000 1461 0.0000 273 0.0000 2568235 Elapsed time = 246.70 sec. (tree size = 0.62 MB, solutions = 0) 7100 1490 0.0000 302 0.0000 2603592 7200 1504 infeasible 0.0000 2640388 7300 1506 0.0000 339 0.0000 2681725 7400 1529 1.0000 309 0.0000 2721096 7500 1544 0.0000 296 0.0000 2760443 7600 1554 infeasible 0.0000 2797772 7700 1589 infeasible 0.0000 2832822 7800 1607 0.0000 276 0.0000 2872080 7900 1616 0.1068 309 0.0000 2908883 8000 1625 1.0000 257 0.0000 2945711 Elapsed time = 280.72 sec. (tree size = 0.69 MB, solutions = 0) 8100 1658 infeasible 0.0000 2976366 8200 1673 0.0000 277 0.0000 3009715