SCIP version 1.00 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: CPLEX 11.11] Copyright (c) 2002-2007 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) reading user parameter file read problem ============ original problem has 67732 variables (67732 bin, 0 int, 0 impl, 0 cont) and 656 constraints solve problem ============= ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 presolving: (round 1) 656 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 654 clqs (round 2) 656 del vars, 0 del conss, 0 chg bounds, 656 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 654 clqs (round 3) 656 del vars, 31 del conss, 0 chg bounds, 687 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 654 clqs (round 4) 656 del vars, 31 del conss, 0 chg bounds, 687 chg sides, 0 chg coeffs, 625 upgd conss, 0 impls, 654 clqs (6.5s) probing: 101/67076 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes (6.5s) probing aborted: 100/100 successive totally useless probings presolving (5 rounds): 656 deleted vars, 31 deleted constraints, 0 tightened bounds, 0 added holes, 687 changed sides, 0 changed coefficients 0 implications, 654 cliques presolved problem has 67076 variables (67076 bin, 0 int, 0 impl, 0 cont) and 625 constraints 625 constraints of type transformed objective value is always integral (scale: 0.0025) Presolving Time: 6.18 time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap r21.4s| 1 | 0 | 11379 | 300M| 0 | 519 | 67k| 625 | 625 | 67k| 625 | 0 | 0 | 0 | 5.723457e+01 | 5.418560e+03 |9367.29% R21.6s| 1 | 0 | 11379 | 301M| 0 | 519 | 67k| 625 | 625 | 67k| 625 | 0 | 0 | 0 | 5.723457e+01 | 5.345810e+03 |9240.18% s21.7s| 1 | 0 | 11379 | 302M| 0 | 519 | 67k| 625 | 625 | 67k| 625 | 0 | 0 | 0 | 5.723457e+01 | 5.281305e+03 |9127.47% 21.7s| 1 | 2 | 11379 | 302M| 0 | 519 | 67k| 625 | 625 | 67k| 625 | 0 | 0 | 0 | 5.723457e+01 | 5.281305e+03 |9127.47% SCIP Status : solving was interrupted [solution limit reached] Solving Time (sec) : 21.69 Solving Nodes : 1 Primal Bound : +5.28130500078925e+03 (3 solutions) Dual Bound : +5.72345660486922e+01 Gap : 9127.47 % primal solution: ================ objective value: 5281.305 x1 1 (obj:8.26) x2 1 (obj:8.26) x3 1 (obj:8.26) x4 1 (obj:8.26) x5 1 (obj:8.26) x6 1 (obj:8.26) x7 1 (obj:8.26) x8 1 (obj:8.26) x9 1 (obj:8.26) x10 1 (obj:8.26) x11 1 (obj:8.26) x12 1 (obj:8.26) x13 1 (obj:8.26) x14 1 (obj:8.26) x15 1 (obj:8.26) x16 1 (obj:8.26) x17 1 (obj:8.26) x18 1 (obj:8.26) x19 1 (obj:8.26) x20 1 (obj:8.26) x21 1 (obj:8.26) x22 1 (obj:8.26) x23 1 (obj:8.26) x25 1 (obj:8.26) x26 1 (obj:8.26) x27 1 (obj:8.26) x28 1 (obj:8.26) x29 1 (obj:8.26) x30 1 (obj:8.26) x32 1 (obj:8.26) x33 1 (obj:8.26) x34 1 (obj:8.26) x35 1 (obj:8.26) x37 1 (obj:8.26) x38 1 (obj:8.26) x39 1 (obj:8.26) x40 1 (obj:8.26) x41 1 (obj:8.26) x42 1 (obj:8.26) x43 1 (obj:8.26) x44 1 (obj:8.26) x45 1 (obj:8.26) x46 1 (obj:8.26) x47 1 (obj:8.26) x48 1 (obj:8.26) x49 1 (obj:8.26) x50 1 (obj:8.26) x51 1 (obj:8.26) x52 1 (obj:8.26) x53 1 (obj:8.26) x54 1 (obj:8.26) x56 1 (obj:8.26) x57 1 (obj:8.26) x58 1 (obj:8.26) x59 1 (obj:8.26) x60 1 (obj:8.26) x62 1 (obj:8.26) x63 1 (obj:8.26) x64 1 (obj:8.26) x65 1 (obj:8.26) x66 1 (obj:8.26) x67 1 (obj:8.26) x68 1 (obj:8.26) x69 1 (obj:8.26) x71 1 (obj:8.26) x72 1 (obj:8.26) x73 1 (obj:8.26) x74 1 (obj:8.26) x75 1 (obj:8.26) x76 1 (obj:8.26) x77 1 (obj:8.26) x78 1 (obj:8.26) x79 1 (obj:8.26) x80 1 (obj:8.26) x81 1 (obj:8.26) x82 1 (obj:8.26) x83 1 (obj:8.26) x84 1 (obj:8.26) x85 1 (obj:8.26) x86 1 (obj:8.26) x87 1 (obj:8.26) x88 1 (obj:8.26) x89 1 (obj:8.26) x90 1 (obj:8.26) x91 1 (obj:8.26) x92 1 (obj:8.26) x93 1 (obj:8.26) x94 1 (obj:8.26) x95 1 (obj:8.26) x96 1 (obj:8.26) x97 1 (obj:8.26) x98 1 (obj:8.26) x99 1 (obj:8.26) x100 1 (obj:8.26) x101 1 (obj:8.26) x102 1 (obj:8.26) x103 1 (obj:8.26) x104 1 (obj:8.26) x105 1 (obj:8.26) x106 1 (obj:8.26) x107 1 (obj:8.26) x108 1 (obj:8.26) x109 1 (obj:8.26) x110 1 (obj:8.26) x111 1 (obj:8.26) x112 1 (obj:8.26) x114 1 (obj:8.26) x115 1 (obj:8.26) x116 1 (obj:8.26) x117 1 (obj:8.26) x118 1 (obj:8.26) x119 1 (obj:8.26) x120 1 (obj:8.26) x122 1 (obj:8.26) x123 1 (obj:8.26) x124 1 (obj:8.26) x125 1 (obj:8.26) x126 1 (obj:8.26) x127 1 (obj:8.26) x128 1 (obj:8.26) x129 1 (obj:8.26) x130 1 (obj:8.26) x131 1 (obj:8.26) x132 1 (obj:8.26) x133 1 (obj:8.26) x134 1 (obj:8.26) x135 1 (obj:8.26) x136 1 (obj:8.26) x137 1 (obj:8.26) x138 1 (obj:8.26) x139 1 (obj:8.26) x140 1 (obj:8.26) x141 1 (obj:8.26) x142 1 (obj:8.26) x143 1 (obj:8.26) x144 1 (obj:8.26) x145 1 (obj:8.26) x146 1 (obj:8.26) x147 1 (obj:8.26) x148 1 (obj:8.26) x149 1 (obj:8.26) x150 1 (obj:8.26) x151 1 (obj:8.26) x152 1 (obj:8.26) x153 1 (obj:8.26) x154 1 (obj:8.26) x155 1 (obj:8.26) x156 1 (obj:8.26) x157 1 (obj:8.26) x158 1 (obj:8.26) x159 1 (obj:8.26) x160 1 (obj:8.26) x161 1 (obj:8.26) x162 1 (obj:8.26) x163 1 (obj:8.26) x164 1 (obj:8.26) x165 1 (obj:8.26) x166 1 (obj:8.26) x167 1 (obj:8.26) x168 1 (obj:8.26) x169 1 (obj:8.26) x170 1 (obj:8.26) x171 1 (obj:8.26) x172 1 (obj:8.26) x173 1 (obj:8.26) x174 1 (obj:8.26) x175 1 (obj:8.26) x176 1 (obj:8.26) x177 1 (obj:8.26) x178 1 (obj:8.26) x179 1 (obj:8.26) x180 1 (obj:8.26) x181 1 (obj:8.26) x182 1 (obj:8.26) x183 1 (obj:8.26) x184 1 (obj:8.26) x185 1 (obj:8.26) x186 1 (obj:8.26) x187 1 (obj:8.26) x188 1 (obj:8.26) x189 1 (obj:8.26) x190 1 (obj:8.26) x191 1 (obj:8.26) x192 1 (obj:8.26) x193 1 (obj:8.26) x194 1 (obj:8.26) x195 1 (obj:8.26) x196 1 (obj:8.26) x197 1 (obj:8.26) x198 1 (obj:8.26) x199 1 (obj:8.26) x200 1 (obj:8.26) x201 1 (obj:8.26) x202 1 (obj:8.26) x203 1 (obj:8.26) x204 1 (obj:8.26) x205 1 (obj:8.26) x206 1 (obj:8.26) x207 1 (obj:8.26) x208 1 (obj:8.26) x209 1 (obj:8.26) x210 1 (obj:8.26) x211 1 (obj:8.26) x212 1 (obj:8.26) x213 1 (obj:8.26) x214 1 (obj:8.26) x215 1 (obj:8.26) x216 1 (obj:8.26) x217 1 (obj:8.26) x218 1 (obj:8.26) x219 1 (obj:8.26) x220 1 (obj:8.26) x221 1 (obj:8.26) x222 1 (obj:8.26) x223 1 (obj:8.26) x224 1 (obj:8.26) x225 1 (obj:8.26) x226 1 (obj:8.26) x227 1 (obj:8.26) x228 1 (obj:8.26) x229 1 (obj:8.26) x230 1 (obj:8.26) x231 1 (obj:8.26) x232 1 (obj:8.26) x233 1 (obj:8.26) x234 1 (obj:8.26) x235 1 (obj:8.26) x236 1 (obj:8.26) x237 1 (obj:8.26) x238 1 (obj:8.26) x239 1 (obj:8.26) x240 1 (obj:8.26) x241 1 (obj:8.26) x242 1 (obj:8.26) x243 1 (obj:8.26) x244 1 (obj:8.26) x245 1 (obj:8.26) x246 1 (obj:8.26) x247 1 (obj:8.26) x248 1 (obj:8.26) x249 1 (obj:8.26) x250 1 (obj:8.26) x251 1 (obj:8.26) x252 1 (obj:8.26) x253 1 (obj:8.26) x254 1 (obj:8.26) x255 1 (obj:8.26) x256 1 (obj:8.26) x257 1 (obj:8.26) x258 1 (obj:8.26) x259 1 (obj:8.26) x260 1 (obj:8.26) x261 1 (obj:8.26) x262 1 (obj:8.26) x263 1 (obj:8.26) x264 1 (obj:8.26) x265 1 (obj:8.26) x266 1 (obj:8.26) x267 1 (obj:8.26) x268 1 (obj:8.26) x269 1 (obj:8.26) x270 1 (obj:8.26) x271 1 (obj:8.26) x272 1 (obj:8.26) x273 1 (obj:8.26) x274 1 (obj:8.26) x275 1 (obj:8.26) x276 1 (obj:8.26) x277 1 (obj:8.26) x278 1 (obj:8.26) x279 1 (obj:8.26) x280 1 (obj:8.26) x281 1 (obj:8.26) x282 1 (obj:8.26) x283 1 (obj:8.26) x284 1 (obj:8.26) x285 1 (obj:8.26) x286 1 (obj:8.26) x287 1 (obj:8.26) x288 1 (obj:8.26) x289 1 (obj:8.26) x290 1 (obj:8.26) x291 1 (obj:8.26) x292 1 (obj:8.26) x293 1 (obj:8.26) x294 1 (obj:8.26) x295 1 (obj:8.26) x296 1 (obj:8.26) x297 1 (obj:8.26) x298 1 (obj:8.26) x299 1 (obj:8.26) x300 1 (obj:8.26) x301 1 (obj:8.26) x302 1 (obj:8.26) x303 1 (obj:8.26) x304 1 (obj:8.26) x305 1 (obj:8.26) x306 1 (obj:8.26) x307 1 (obj:8.26) x308 1 (obj:8.26) x309 1 (obj:8.26) x310 1 (obj:8.26) x311 1 (obj:8.26) x312 1 (obj:8.26) x313 1 (obj:8.26) x314 1 (obj:8.26) x315 1 (obj:8.26) x316 1 (obj:8.26) x317 1 (obj:8.26) x318 1 (obj:8.26) x319 1 (obj:8.26) x320 1 (obj:8.26) x321 1 (obj:8.26) x322 1 (obj:8.26) x323 1 (obj:8.26) x324 1 (obj:8.26) x325 1 (obj:8.26) x326 1 (obj:8.26) x327 1 (obj:8.26) x328 1 (obj:8.26) x329 1 (obj:8.26) x330 1 (obj:8.26) x331 1 (obj:8.26) x332 1 (obj:8.26) x333 1 (obj:8.26) x334 1 (obj:8.26) x335 1 (obj:8.26) x336 1 (obj:8.26) x337 1 (obj:8.26) x338 1 (obj:8.26) x339 1 (obj:8.26) x340 1 (obj:8.26) x341 1 (obj:8.26) x342 1 (obj:8.26) x343 1 (obj:8.26) x344 1 (obj:8.26) x345 1 (obj:8.26) x346 1 (obj:8.26) x347 1 (obj:8.26) x348 1 (obj:8.26) x349 1 (obj:8.26) x350 1 (obj:8.26) x351 1 (obj:8.26) x352 1 (obj:8.26) x353 1 (obj:8.26) x354 1 (obj:8.26) x355 1 (obj:8.26) x356 1 (obj:8.26) x357 1 (obj:8.26) x358 1 (obj:8.26) x359 1 (obj:8.26) x360 1 (obj:8.26) x361 1 (obj:8.26) x362 1 (obj:8.26) x363 1 (obj:8.26) x364 1 (obj:8.26) x365 1 (obj:8.26) x366 1 (obj:8.26) x367 1 (obj:8.26) x368 1 (obj:8.26) x369 1 (obj:8.26) x370 1 (obj:8.26) x371 1 (obj:8.26) x372 1 (obj:8.26) x373 1 (obj:8.26) x374 1 (obj:8.26) x375 1 (obj:8.26) x376 1 (obj:8.26) x377 1 (obj:8.26) x378 1 (obj:8.26) x379 1 (obj:8.26) x380 1 (obj:8.26) x381 1 (obj:8.26) x382 1 (obj:8.26) x383 1 (obj:8.26) x384 1 (obj:8.26) x385 1 (obj:8.26) x386 1 (obj:8.26) x387 1 (obj:8.26) x388 1 (obj:8.26) x389 1 (obj:8.26) x390 1 (obj:8.26) x391 1 (obj:8.26) x392 1 (obj:8.26) x393 1 (obj:8.26) x394 1 (obj:8.26) x395 1 (obj:8.26) x396 1 (obj:8.26) x397 1 (obj:8.26) x398 1 (obj:8.26) x399 1 (obj:8.26) x400 1 (obj:8.26) x401 1 (obj:8.26) x402 1 (obj:8.26) x403 1 (obj:8.26) x404 1 (obj:8.26) x405 1 (obj:8.26) x406 1 (obj:8.26) x407 1 (obj:8.26) x408 1 (obj:8.26) x409 1 (obj:8.26) x410 1 (obj:8.26) x411 1 (obj:8.26) x412 1 (obj:8.26) x413 1 (obj:8.26) x414 1 (obj:8.26) x415 1 (obj:8.26) x416 1 (obj:8.26) x417 1 (obj:8.26) x418 1 (obj:8.26) x419 1 (obj:8.26) x420 1 (obj:8.26) x421 1 (obj:8.26) x422 1 (obj:8.26) x423 1 (obj:8.26) x424 1 (obj:8.26) x425 1 (obj:8.26) x426 1 (obj:8.26) x427 1 (obj:8.26) x428 1 (obj:8.26) x429 1 (obj:8.26) x430 1 (obj:8.26) x431 1 (obj:8.26) x432 1 (obj:8.26) x433 1 (obj:8.26) x434 1 (obj:8.26) x435 1 (obj:8.26) x436 1 (obj:8.26) x437 1 (obj:8.26) x438 1 (obj:8.26) x439 1 (obj:8.26) x440 1 (obj:8.26) x441 1 (obj:8.26) x442 1 (obj:8.26) x443 1 (obj:8.26) x444 1 (obj:8.26) x445 1 (obj:8.26) x446 1 (obj:8.26) x447 1 (obj:8.26) x448 1 (obj:8.26) x449 1 (obj:8.26) x450 1 (obj:8.26) x451 1 (obj:8.26) x452 1 (obj:8.26) x453 1 (obj:8.26) x454 1 (obj:8.26) x455 1 (obj:8.26) x456 1 (obj:8.26) x457 1 (obj:8.26) x458 1 (obj:8.26) x459 1 (obj:8.26) x460 1 (obj:8.26) x461 1 (obj:8.26) x462 1 (obj:8.26) x463 1 (obj:8.26) x464 1 (obj:8.26) x465 1 (obj:8.26) x466 1 (obj:8.26) x467 1 (obj:8.26) x468 1 (obj:8.26) x469 1 (obj:8.26) x470 1 (obj:8.26) x471 1 (obj:8.26) x472 1 (obj:8.26) x473 1 (obj:8.26) x474 1 (obj:8.26) x475 1 (obj:8.26) x476 1 (obj:8.26) x477 1 (obj:8.26) x478 1 (obj:8.26) x479 1 (obj:8.26) x480 1 (obj:8.26) x481 1 (obj:8.26) x482 1 (obj:8.26) x483 1 (obj:8.26) x484 1 (obj:8.26) x485 1 (obj:8.26) x486 1 (obj:8.26) x487 1 (obj:8.26) x488 1 (obj:8.26) x489 1 (obj:8.26) x490 1 (obj:8.26) x491 1 (obj:8.26) x492 1 (obj:8.26) x493 1 (obj:8.26) x494 1 (obj:8.26) x495 1 (obj:8.26) x496 1 (obj:8.26) x497 1 (obj:8.26) x498 1 (obj:8.26) x499 1 (obj:8.26) x500 1 (obj:8.26) x501 1 (obj:8.26) x502 1 (obj:8.26) x503 1 (obj:8.26) x504 1 (obj:8.26) x505 1 (obj:8.26) x506 1 (obj:8.26) x507 1 (obj:8.26) x508 1 (obj:8.26) x509 1 (obj:8.26) x510 1 (obj:8.26) x511 1 (obj:8.26) x512 1 (obj:8.26) x513 1 (obj:8.26) x514 1 (obj:8.26) x515 1 (obj:8.26) x516 1 (obj:8.26) x517 1 (obj:8.26) x518 1 (obj:8.26) x519 1 (obj:8.26) x520 1 (obj:8.26) x521 1 (obj:8.26) x522 1 (obj:8.26) x523 1 (obj:8.26) x524 1 (obj:8.26) x525 1 (obj:8.26) x526 1 (obj:8.26) x528 1 (obj:8.26) x529 1 (obj:8.26) x530 1 (obj:8.26) x531 1 (obj:8.26) x532 1 (obj:8.26) x533 1 (obj:8.26) x534 1 (obj:8.26) x535 1 (obj:8.26) x536 1 (obj:8.26) x537 1 (obj:8.26) x539 1 (obj:8.26) x540 1 (obj:8.26) x541 1 (obj:8.26) x542 1 (obj:8.26) x543 1 (obj:8.26) x544 1 (obj:8.26) x545 1 (obj:8.26) x546 1 (obj:8.26) x547 1 (obj:8.26) x549 1 (obj:8.26) x550 1 (obj:8.26) x551 1 (obj:8.26) x552 1 (obj:8.26) x553 1 (obj:8.26) x554 1 (obj:8.26) x555 1 (obj:8.26) x556 1 (obj:8.26) x557 1 (obj:8.26) x558 1 (obj:8.26) x559 1 (obj:8.26) x560 1 (obj:8.26) x561 1 (obj:8.26) x563 1 (obj:8.26) x564 1 (obj:8.26) x565 1 (obj:8.26) x566 1 (obj:8.26) x567 1 (obj:8.26) x568 1 (obj:8.26) x569 1 (obj:8.26) x570 1 (obj:8.26) x571 1 (obj:8.26) x573 1 (obj:8.26) x574 1 (obj:8.26) x575 1 (obj:8.26) x576 1 (obj:8.26) x577 1 (obj:8.26) x578 1 (obj:8.26) x579 1 (obj:8.26) x580 1 (obj:8.26) x581 1 (obj:8.26) x582 1 (obj:8.26) x583 1 (obj:8.26) x584 1 (obj:8.26) x585 1 (obj:8.26) x586 1 (obj:8.26) x587 1 (obj:8.26) x588 1 (obj:8.26) x589 1 (obj:8.26) x590 1 (obj:8.26) x591 1 (obj:8.26) x592 1 (obj:8.26) x593 1 (obj:8.26) x594 1 (obj:8.26) x595 1 (obj:8.26) x596 1 (obj:8.26) x597 1 (obj:8.26) x598 1 (obj:8.26) x599 1 (obj:8.26) x600 1 (obj:8.26) x602 1 (obj:8.26) x603 1 (obj:8.26) x604 1 (obj:8.26) x605 1 (obj:8.26) x606 1 (obj:8.26) x607 1 (obj:8.26) x608 1 (obj:8.26) x610 1 (obj:8.26) x611 1 (obj:8.26) x612 1 (obj:8.26) x613 1 (obj:8.26) x614 1 (obj:8.26) x615 1 (obj:8.26) x616 1 (obj:8.26) x617 1 (obj:8.26) x618 1 (obj:8.26) x619 1 (obj:8.26) x620 1 (obj:8.26) x621 1 (obj:8.26) x622 1 (obj:8.26) x623 1 (obj:8.26) x625 1 (obj:8.26) x626 1 (obj:8.26) x627 1 (obj:8.26) x628 1 (obj:8.26) x630 1 (obj:8.26) x631 1 (obj:8.26) x632 1 (obj:8.26) x633 1 (obj:8.26) x634 1 (obj:8.26) x635 1 (obj:8.26) x636 1 (obj:8.26) x637 1 (obj:8.26) x638 1 (obj:8.26) x639 1 (obj:8.26) x640 1 (obj:8.26) x641 1 (obj:8.26) x642 1 (obj:8.26) x643 1 (obj:8.26) x644 1 (obj:8.26) x645 1 (obj:8.26) x646 1 (obj:8.26) x647 1 (obj:8.26) x648 1 (obj:8.26) x649 1 (obj:8.26) x650 1 (obj:8.26) x651 1 (obj:8.26) x652 1 (obj:8.26) x653 1 (obj:8.26) x654 1 (obj:8.26) x655 1 (obj:8.26) x656 1 (obj:8.26) x28919 1 (obj:1.575) x46613 1 (obj:1.59) Statistics ========== SCIP Status : solving was interrupted [solution limit reached] Solving Time : 21.69 Original Problem : Problem name : ds Variables : 67732 (67732 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 656 initial, 656 maximal Presolved Problem : Problem name : t_ds Variables : 67076 (67076 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 625 initial, 625 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.04 0 0 0 0 0 0 0 0 inttobinary : 0.00 0 0 0 0 0 0 0 0 dualfix : 0.00 0 0 0 0 0 0 0 0 implics : 0.02 0 0 0 0 0 0 0 0 probing : 3.30 0 0 0 0 0 0 0 0 setppc : 0.27 0 0 0 0 0 0 0 0 linear : 1.87 0 656 0 0 0 31 687 0 root node : - 0 - - 0 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 1 0 0 0 0 0 2 setppc : 625 0 201 0 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 0.00 0.00 0.00 0.00 0.00 setppc : 0.01 0.00 0.01 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.00 0 0 0 pseudoobj : 0.00 1 0 0 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.00 0 0 0 0.0 0 0.0 - infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 strong branching : 0.00 0 0 0 0.0 0 0.0 0 pseudo solution : 0.00 0 0 0 0.0 0 0.0 - applied globally : - - - 0 0.0 - - - applied locally : - - - 0 0.0 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.00 0 - - 0 - (maximal pool size: 0) redcost : 0.00 0 0 0 0 0 impliedbounds : 0.00 0 0 0 0 0 intobj : 0.00 0 0 0 0 0 gomory : 0.00 0 0 0 0 0 strongcg : 0.00 0 0 0 0 0 cmir : 0.00 0 0 0 0 0 flowcover : 0.00 0 0 0 0 0 clique : 0.00 0 0 0 0 0 Pricers : Time Calls Vars problem variables: 0.00 0 0 Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children relpscost : 0.00 1 0 0 0 0 2 pscost : 0.00 0 0 0 0 0 0 inference : 0.00 0 0 0 0 0 0 mostinf : 0.00 0 0 0 0 0 0 leastinf : 0.00 0 0 0 0 0 0 fullstrong : 0.00 0 0 0 0 0 0 allfullstrong : 0.00 0 0 0 0 0 0 random : 0.00 0 0 0 0 0 0 Primal Heuristics : Time Calls Found LP solutions : 0.00 - 0 pseudo solutions : 0.00 - 0 simplerounding : 0.01 1 1 rounding : 0.12 1 1 shifting : 0.13 1 1 intshifting : 0.00 0 0 oneopt : 0.00 0 0 fixandinfer : 0.00 0 0 feaspump : 0.00 0 0 coefdiving : 0.00 0 0 pscostdiving : 0.00 0 0 fracdiving : 0.00 0 0 veclendiving : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 objpscostdiving : 0.00 0 0 rootsoldiving : 0.00 0 0 linesearchdiving : 0.00 0 0 guideddiving : 0.00 0 0 octane : 0.00 0 0 rins : 0.00 0 0 localbranching : 0.00 0 0 crossover : 0.00 0 0 mutation : 0.00 0 0 rens : 0.00 0 0 LP : Time Calls Iterations Iter/call Iter/sec primal LP : 0.00 0 0 0.00 - dual LP : 14.34 1 11379 11379.00 793.51 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 0.00 0 0 0.00 - strong branching : 0.00 0 0 0.00 - (at root node) : - 0 0 0.00 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 1 nodes (total) : 1 nodes left : 2 max depth : 0 max depth (total): 0 backtracks : 0 (0.0%) delayed cutoffs : 0 repropagations : 0 (0 domain reductions, 0 cutoffs) avg switch length: 1.00 switching time : 0.00 Solution : Solutions found : 3 (3 improvements) Primal Bound : +5.28130500078925e+03 (in run 1, after 1 nodes, 21.58 seconds, depth 0, found by ) Dual Bound : +5.72345660486922e+01 Gap : 9127.47 % Root Dual Bound : +5.72345660486922e+01 24.52user 0.24system 0:24.76elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+104outputs (0major+127587minor)pagefaults 0swaps