0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692408-1277914820.wbo>
0.00/0.01 c original problem has 1127 variables (923 bin, 0 int, 0 impl, 204 cont) and 798 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 3 del vars, 2 del conss, 1 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.02 c (round 2) 4 del vars, 8 del conss, 2 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.02 c (round 3) 6 del vars, 11 del conss, 4 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.02 c (round 4) 8 del vars, 16 del conss, 6 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.02 c (round 5) 11 del vars, 22 del conss, 8 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.03 c (round 6) 12 del vars, 22 del conss, 211 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.03 c (round 7) 12 del vars, 22 del conss, 211 chg bounds, 115 chg sides, 230 chg coeffs, 373 upgd conss, 860 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/912 (11.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (8 rounds):
0.00/0.04 c 12 deleted vars, 22 deleted constraints, 211 tightened bounds, 0 added holes, 115 changed sides, 230 changed coefficients
0.00/0.04 c 881 implications, 0 cliques
0.00/0.04 c presolved problem has 1115 variables (912 bin, 0 int, 0 impl, 203 cont) and 776 constraints
0.00/0.04 c 203 constraints of type <indicator>
0.00/0.04 c 3 constraints of type <varbound>
0.00/0.04 c 145 constraints of type <knapsack>
0.00/0.04 c 200 constraints of type <linear>
0.00/0.04 c 225 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 0 | 66 | - |4288k| 0 | 66 |1115 | 776 |1115 | 370 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 366 | - |4446k| 0 | 136 |1115 | 776 |1115 | 474 | 104 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 511 | - |4623k| 0 | 187 |1115 | 776 |1115 | 565 | 195 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 792 | - |4806k| 0 | 202 |1115 | 776 |1115 | 643 | 273 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 1053 | - |5029k| 0 | 233 |1115 | 776 |1115 | 733 | 363 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 c 0.4s| 1 | 0 | 1540 | - |5265k| 0 | 262 |1115 | 776 |1115 | 827 | 457 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.5s| 1 | 0 | 1895 | - |5457k| 0 | 267 |1115 | 776 |1115 | 904 | 534 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.41 c 1.4s| 1 | 2 | 1895 | - |5483k| 0 | 267 |1115 | 776 |1115 | 904 | 534 | 0 | 27 | 0.000000e+00 | -- | Inf
21.69/21.78 c 21.4s| 10000 | 9965 | 60264 | 5.8 | 14M| 267 | 33 |1115 | 877 |1115 | 694 | 571 | 101 |3068 | 0.000000e+00 | -- | Inf
33.69/33.73 c 33.1s| 20000 | 19951 |125609 | 6.2 | 22M| 267 | 159 |1115 | 860 |1115 | 694 | 601 | 136 |3704 | 0.000000e+00 | -- | Inf
44.89/45.00 c 44.2s| 30000 | 29909 |203581 | 6.7 | 31M| 267 | 63 |1115 | 859 |1115 | 694 | 605 | 184 |3845 | 0.000000e+00 | -- | Inf
47.99/48.07 o 10232
47.99/48.07 c y47.2s| 32601 | 32500 |227202 | 6.9 | 33M| 267 | - |1115 | 866 | 0 | 0 | 605 | 201 |3902 | 0.000000e+00 | 1.023200e+04 | Inf
56.50/56.56 c 55.5s| 40000 | 39887 |294521 | 7.3 | 39M| 267 | 50 |1115 | 851 |1115 | 694 | 634 | 210 |3968 | 0.000000e+00 | 1.023200e+04 | Inf
63.39/63.48 o 10147
63.39/63.48 c y62.3s| 47975 | 47854 |337777 | 7.0 | 46M| 273 | - |1115 | 834 | 0 | 0 | 707 | 213 |3998 | 0.000000e+00 | 1.014700e+04 | Inf
65.39/65.44 c 64.2s| 50000 | 49879 |350508 | 7.0 | 48M| 273 | 75 |1115 | 829 |1115 | 694 | 723 | 214 |3999 | 0.000000e+00 | 1.014700e+04 | Inf
75.19/75.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.19/75.20 c 73.8s| 60000 | 59865 |414963 | 6.9 | 56M| 273 | 121 |1115 | 823 |1115 | 694 | 763 | 225 |4433 | 0.000000e+00 | 1.014700e+04 | Inf
84.19/84.20 c 82.6s| 70000 | 69849 |469799 | 6.7 | 65M| 273 | 115 |1115 | 818 |1115 | 694 | 844 | 236 |4757 | 0.000000e+00 | 1.014700e+04 | Inf
93.59/93.69 c 91.8s| 80000 | 79835 |528025 | 6.6 | 73M| 273 | 116 |1115 | 823 |1115 | 694 | 879 | 251 |5354 | 0.000000e+00 | 1.014700e+04 | Inf
102.30/102.36 c 100s| 90000 | 89829 |579829 | 6.4 | 82M| 273 | 140 |1115 | 815 |1115 | 694 | 939 | 256 |5683 | 0.000000e+00 | 1.014700e+04 | Inf
109.90/109.99 c 108s|100000 | 99811 |611428 | 6.1 | 91M| 275 | 4 |1115 | 825 |1115 | 694 |1014 | 268 |5998 | 0.000000e+00 | 1.014700e+04 | Inf
116.90/116.95 c 115s|110000 |109805 |633792 | 5.7 | 100M| 275 | 7 |1115 | 828 |1115 | 694 |1119 | 272 |6176 | 0.000000e+00 | 1.014700e+04 | Inf
124.09/124.14 c 122s|120000 |119805 |661440 | 5.5 | 108M| 319 | 8 |1115 | 826 |1115 | 694 |1194 | 272 |6321 | 0.000000e+00 | 1.014700e+04 | Inf
124.50/124.58 o 208
124.50/124.58 c * 122s|120632 | 29586 |661489 | 5.5 | 33M| 432 | - |1115 | 827 |1115 | 695 |1196 | 273 |6322 | 0.000000e+00 | 2.080000e+02 | Inf
124.89/124.94 o 171
124.89/124.94 c * 122s|121110 | 22792 |661672 | 5.4 | 27M| 432 | - |1115 | 837 |1115 | 695 |1210 | 283 |6355 | 0.000000e+00 | 1.710000e+02 | Inf
125.10/125.15 o 163
125.10/125.15 c R 123s|121164 | 21691 |662597 | 5.5 | 26M| 432 | - |1115 | 839 |1115 | 695 |1211 | 285 |6439 | 0.000000e+00 | 1.630000e+02 | Inf
125.10/125.17 o 156
125.10/125.17 c * 123s|121174 | 20484 |662639 | 5.5 | 25M| 432 | - |1115 | 843 |1115 | 695 |1211 | 289 |6456 | 0.000000e+00 | 1.560000e+02 | Inf
125.79/125.85 o 28
125.79/125.85 c * 123s|121880 | 3971 |664302 | 5.4 | 10M| 432 | - |1115 | 859 |1115 | 695 |1221 | 305 |6458 | 0.000000e+00 | 2.800000e+01 | Inf
125.99/126.06 o 27
125.99/126.06 c f 123s|121924 | 4015 |665817 | 5.4 | 11M| 432 | - |1115 | 697 |1115 | 694 |1221 | 305 |6459 | 0.000000e+00 | 2.700000e+01 | Inf
125.99/126.08 o 20
125.99/126.08 c * 124s|121931 | 2842 |665872 | 5.4 |9927k| 432 | - |1115 | 696 |1115 | 695 |1222 | 305 |6466 | 0.000000e+00 | 2.000000e+01 | Inf
125.99/126.08 o 13
125.99/126.08 c * 124s|121932 | 1520 |665873 | 5.4 |8748k| 432 | - |1115 | 696 |1115 | 695 |1222 | 305 |6466 | 0.000000e+00 | 1.300000e+01 | Inf
127.99/128.07 o 12
127.99/128.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.99/128.07 c * 125s|123854 | 1178 |679966 | 5.5 |8574k| 432 | - |1115 | 622 |1115 | 696 |1224 | 339 |6573 | 0.000000e+00 | 1.200000e+01 | Inf
128.09/128.18 o 9
128.09/128.18 c * 126s|123967 | 1062 |680730 | 5.5 |8469k| 432 | - |1115 | 623 |1115 | 695 |1225 | 347 |6587 | 0.000000e+00 | 9.000000e+00 | Inf
128.70/128.70 o 8
128.70/128.70 c * 126s|124255 | 1231 |683752 | 5.5 |8600k| 432 | - |1115 | 528 |1115 | 696 |1227 | 357 |6660 | 0.000000e+00 | 8.000000e+00 | Inf
128.70/128.73 o 5
128.70/128.73 c * 126s|124275 | 1006 |683789 | 5.5 |8412k| 432 | - |1115 | 518 |1115 | 696 |1229 | 357 |6669 | 0.000000e+00 | 5.000000e+00 | Inf
128.80/128.85 o 3
128.80/128.85 c * 126s|124385 | 1096 |684391 | 5.5 |8466k| 432 | - |1115 | 516 |1115 | 696 |1231 | 361 |6706 | 0.000000e+00 | 3.000000e+00 | Inf
128.80/128.87 o 2
128.80/128.87 c * 126s|124400 | 993 |684429 | 5.5 |8402k| 432 | - |1115 | 505 |1115 | 695 |1232 | 361 |6713 | 0.000000e+00 | 2.000000e+00 | Inf
128.99/129.00 o 1
128.99/129.00 c * 126s|124517 | 133 |685403 | 5.5 |7562k| 432 | - |1115 | 310 |1115 | 696 |1234 | 373 |6751 | 0.000000e+00 | 1.000000e+00 | Inf
129.70/129.78 c
129.70/129.78 c SCIP Status : problem is solved [optimal solution found]
129.70/129.78 c Solving Time (sec) : 127.13
129.70/129.78 c Solving Nodes : 124948
129.70/129.78 c Primal Bound : +1.00000000000000e+00 (122 solutions)
129.70/129.78 c Dual Bound : +1.00000000000000e+00
129.70/129.78 c Gap : 0.00 %
129.70/129.78 s OPTIMUM FOUND
129.70/129.78 v x719 -x718 -x717 x716 x715 x714 -x713 x712 x711 x710 x709 -x708 x707 x706 x705 x704 x703 x702 x701 -x700 -x699 -x698 x697 x696
129.70/129.78 v x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 x678 x677 -x676 x675 -x674
129.70/129.78 v x673 x672 x671 x670 x669 x668 x667 -x666 -x665 x664 x663 x662 x661 x660 x659 x658 -x657 -x656 -x655 -x654 x653 -x652 -x651 -x650
129.70/129.78 v -x649 -x648 x647 x646 x645 -x644 x643 x642 x641 x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628
129.70/129.78 v -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 x616 x615 x614 x613 x612 -x611 x610 -x609 x608 x607 x606 x605
129.70/129.78 v x604 x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584
129.70/129.78 v -x583 x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 x567 x566 x565 -x564 x563 x562
129.70/129.78 v x561 x560 x559 x558 x557 x556 -x555 -x554 x553 x552 x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 x541 x540 -x539
129.70/129.78 v -x538 -x537 -x536 -x535 -x534 x533 x532 x531 -x530 -x529 x528 x527 -x526 -x525 x524 x523 x522 -x521 x520 x519 x518 -x517 -x516
129.70/129.78 v x515 x514 x513 -x512 x511 x510 x509 -x508 -x507 x506 x505 x504 -x503 x502 x501 x500 -x499 -x498 x497 x496 x495 -x494 x493 -x492
129.70/129.78 v -x491 -x490 -x489 x488 x487 -x486 -x485 x484 x483 x482 -x481 x480 -x479 x478 -x477 x476 x475 x474 x473 x472 -x471 -x470
129.70/129.78 v x469 -x468 x467 x466 x465 x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 x452 x451 x450 x449 x448 x447
129.70/129.78 v x446 x445 -x444 -x443 -x442 x441 -x440 -x439 x438 x437 x436 -x435 x434 x433 x432 x431 x430 x429 x428 x427 -x426 x425 x424 x423
129.70/129.78 v x422 x421 x420 -x419 x418 x417 x416 x415 x414 x413 x412 x411 -x410 x409 x408 x407 x406 x405 x404 x403 x402 -x401 x400 x399
129.70/129.78 v -x398 x397 x396 x395 x394 x393 -x392 x391 x390 -x389 x388 x387 x386 x385 x384 -x383 -x382 -x381 -x380 -x379 x378 x377 x376 x375
129.70/129.78 v x374 x373 -x372 -x371 -x370 x369 x368 x367 x366 x365 x364 -x363 -x362 -x361 -x360 -x359 x358 x357 x356 -x355 x354 x353 -x352
129.70/129.78 v x351 x350 -x349 x348 x347 -x346 -x345 -x344 -x343 x342 x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 x332 x331 -x330
129.70/129.78 v -x329 -x328 -x327 -x326 -x325 x324 x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 x314 x313 -x312 -x311 -x310 -x309 -x308
129.70/129.78 v -x307 x306 x305 x304 -x303 -x302 -x301 x300 x299 x298 x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 x287 x286 -x285
129.70/129.78 v -x284 -x283 -x282 -x281 -x280 x279 x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 x269 x268 -x267 -x266 -x265 -x264 -x263
129.70/129.78 v -x262 x261 x260 x259 -x258 -x257 x256 x255 x254 x253 -x252 x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 x242 x241 -x240
129.70/129.78 v -x239 x238 x237 x236 x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216
129.70/129.78 v x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191
129.70/129.78 v x190 x189 x188 x187 x186 x185 x184 x183 -x182 -x181 x180 -x179 x178 -x177 -x176 x175 x174 x173 x172 x171 x170 x169 x168 x167
129.70/129.78 v x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 -x152 -x151 x150 x149 -x148 -x147 x146 x145 x144 x143
129.70/129.78 v x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 x132 -x131 -x130 x129 -x128 -x127 x126 x125 x124 x123 x122 x121 x120
129.70/129.78 v -x119 x118 -x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 -x106 x105 x104 -x103 -x102 x101 x100 x99 x98 x97 x96 x95
129.70/129.78 v x94 -x93 -x92 x91 -x90 x89 -x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65
129.70/129.78 v x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 -x44 x43 x42 -x41 x40 -x39 x38 x37 x36 x35 x34
129.70/129.78 v x33 x32 x31 x30 x29 x28 x27 x26 -x25 -x24 x23 -x22 -x21 x20 -x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2
129.70/129.78 v x1
129.70/129.78 c SCIP Status : problem is solved [optimal solution found]
129.70/129.78 c Solving Time : 127.13
129.70/129.78 c Original Problem :
129.70/129.78 c Problem name : HOME/instance-2692408-1277914820.wbo
129.70/129.78 c Variables : 1127 (923 binary, 0 integer, 0 implicit integer, 204 continuous)
129.70/129.78 c Constraints : 798 initial, 798 maximal
129.70/129.78 c Presolved Problem :
129.70/129.78 c Problem name : t_HOME/instance-2692408-1277914820.wbo
129.70/129.78 c Variables : 1115 (912 binary, 0 integer, 0 implicit integer, 203 continuous)
129.70/129.78 c Constraints : 776 initial, 884 maximal
129.70/129.78 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
129.70/129.78 c trivial : 0.00 0 0 0 0 0 0 0 0
129.70/129.78 c dualfix : 0.00 2 0 0 0 0 0 0 0
129.70/129.78 c boundshift : 0.00 0 0 0 0 0 0 0 0
129.70/129.78 c inttobinary : 0.00 0 0 0 0 0 0 0 0
129.70/129.78 c implics : 0.00 0 2 0 0 0 0 0 0
129.70/129.78 c probing : 0.01 0 0 0 0 0 0 0 0
129.70/129.78 c indicator : 0.00 0 0 0 0 0 1 0 0
129.70/129.78 c varbound : 0.00 0 0 0 0 0 0 0 0
129.70/129.78 c knapsack : 0.00 0 0 0 0 0 0 0 0
129.70/129.78 c linear : 0.01 8 0 0 211 0 21 115 230
129.70/129.78 c logicor : 0.00 0 0 0 0 0 0 0 0
129.70/129.78 c root node : - 616 - - 819 - - - -
129.70/129.78 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
129.70/129.78 c integral : 0 0 0 125070 0 0 41 0 0 216682
129.70/129.78 c indicator : 203 0 235639 16689 0 0 15646 0 0 0
129.70/129.78 c varbound : 3 6 228931 14862 0 0 30 3 0 0
129.70/129.78 c knapsack : 145 6 242728 16697 0 328 79681 554 0 0
129.70/129.78 c linear : 200 6 242400 16697 0 88 25190 754 0 0
129.70/129.78 c logicor : 225+ 6 66546 16307 0 27 44013 0 0 0
129.70/129.78 c countsols : 0 0 0 16307 0 0 0 0 0 0
129.70/129.78 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
129.70/129.78 c integral : 15.04 0.00 0.00 15.04 0.00
129.70/129.78 c indicator : 0.82 0.00 0.61 0.21 0.00
129.70/129.78 c varbound : 0.07 0.00 0.06 0.01 0.00
129.70/129.78 c knapsack : 1.16 0.03 1.10 0.03 0.00
129.70/129.78 c linear : 0.98 0.00 0.86 0.12 0.00
129.70/129.78 c logicor : 0.15 0.00 0.10 0.05 0.00
129.70/129.78 c countsols : 0.00 0.00 0.00 0.00 0.00
129.70/129.78 c Propagators : Time Calls Cutoffs DomReds
129.70/129.78 c vbounds : 0.08 1458 0 588
129.70/129.78 c rootredcost : 0.04 17 0 202
129.70/129.78 c pseudoobj : 1.58 242532 4 1437
129.70/129.78 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
129.70/129.78 c propagation : 0.01 447 442 1325 12.6 16 5.5 -
129.70/129.78 c infeasible LP : 0.02 112 112 113 5.7 2 7.5 0
129.70/129.78 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
129.70/129.78 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
129.70/129.78 c pseudo solution : 0.00 2 2 5 8.6 2 2.5 -
129.70/129.78 c applied globally : - - - 762 9.0 - - -
129.70/129.78 c applied locally : - - - 0 0.0 - - -
129.70/129.78 c Separators : Time Calls Cutoffs DomReds Cuts Conss
129.70/129.78 c cut pool : 0.00 5 - - 367 - (maximal pool size: 1412)
129.70/129.78 c redcost : 2.53 125117 0 2025 0 0
129.70/129.78 c impliedbounds : 0.00 6 0 0 8 0
129.70/129.78 c intobj : 0.00 0 0 0 0 0
129.70/129.78 c cgmip : 0.00 0 0 0 0 0
129.70/129.78 c gomory : 0.03 6 0 0 115 0
129.70/129.78 c strongcg : 0.04 6 0 0 70 0
129.70/129.78 c cmir : 0.07 6 0 0 618 0
129.70/129.78 c flowcover : 0.12 6 0 0 899 0
129.70/129.78 c clique : 0.00 1 0 0 0 0
129.70/129.78 c zerohalf : 0.00 0 0 0 0 0
129.70/129.78 c mcf : 0.00 1 0 0 0 0
129.70/129.78 c rapidlearning : 0.00 0 0 0 0 0
129.70/129.78 c Pricers : Time Calls Vars
129.70/129.78 c problem variables: 0.00 0 0
129.70/129.78 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
129.70/129.78 c relpscost : 14.94 108373 0 41 0 0 216682
129.70/129.78 c pscost : 0.00 0 0 0 0 0 0
129.70/129.78 c inference : 0.63 16294 0 0 0 0 32588
129.70/129.78 c mostinf : 0.00 0 0 0 0 0 0
129.70/129.78 c leastinf : 0.00 0 0 0 0 0 0
129.70/129.78 c fullstrong : 0.00 0 0 0 0 0 0
129.70/129.78 c allfullstrong : 0.00 0 0 0 0 0 0
129.70/129.78 c random : 0.00 0 0 0 0 0 0
129.70/129.78 c Primal Heuristics : Time Calls Found
129.70/129.78 c LP solutions : 0.12 - 13
129.70/129.78 c pseudo solutions : 0.00 - 0
129.70/129.78 c oneopt : 0.09 16 0
129.70/129.78 c intshifting : 0.04 43 0
129.70/129.78 c feaspump : 0.55 34 0
129.70/129.78 c veclendiving : 1.59 440 0
129.70/129.78 c linesearchdiving : 2.24 440 0
129.70/129.78 c coefdiving : 2.91 441 0
129.70/129.78 c pscostdiving : 2.79 441 0
129.70/129.78 c guideddiving : 1.74 441 0
129.70/129.78 c fracdiving : 2.57 441 1
129.70/129.78 c objpscostdiving : 0.51 350 0
129.70/129.78 c rootsoldiving : 0.56 350 0
129.70/129.78 c trivial : 0.00 2 0
129.70/129.78 c simplerounding : 0.11 105719 0
129.70/129.78 c zirounding : 0.06 1000 0
129.70/129.78 c rounding : 0.21 5156 1
129.70/129.78 c shifting : 0.61 1481 0
129.70/129.78 c twoopt : 0.00 0 0
129.70/129.78 c fixandinfer : 0.00 0 0
129.70/129.78 c intdiving : 0.00 0 0
129.70/129.78 c actconsdiving : 0.00 0 0
129.70/129.78 c octane : 0.00 0 0
129.70/129.78 c rens : 0.03 1 0
129.70/129.78 c rins : 0.00 0 0
129.70/129.78 c localbranching : 0.00 0 0
129.70/129.78 c mutation : 0.00 0 0
129.70/129.78 c crossover : 0.22 11 0
129.70/129.78 c dins : 0.00 0 0
129.70/129.78 c undercover : 0.00 0 0
129.70/129.78 c nlp : 0.03 0 0
129.70/129.78 c trysol : 0.46 2533 107
129.70/129.78 c LP : Time Calls Iterations Iter/call Iter/sec
129.70/129.78 c primal LP : 0.00 0 0 0.00 -
129.70/129.78 c dual LP : 63.68 106673 635191 5.95 9974.73
129.70/129.78 c lex dual LP : 0.00 0 0 0.00 -
129.70/129.78 c barrier LP : 0.00 0 0 0.00 -
129.70/129.78 c diving/probing LP: 10.04 26480 58054 2.19 5782.27
129.70/129.78 c strong branching : 13.09 6839 100664 14.72 7690.15
129.70/129.78 c (at root node) : - 27 6209 229.96 -
129.70/129.78 c conflict analysis: 0.00 0 0 0.00 -
129.70/129.78 c B&B Tree :
129.70/129.78 c number of runs : 1
129.70/129.78 c nodes : 124948
129.70/129.78 c nodes (total) : 124948
129.70/129.78 c nodes left : 0
129.70/129.78 c max depth : 432
129.70/129.78 c max depth (total): 432
129.70/129.78 c backtracks : 1276 (1.0%)
129.70/129.78 c delayed cutoffs : 1688
129.70/129.78 c repropagations : 5694 (11222 domain reductions, 122 cutoffs)
129.70/129.78 c avg switch length: 2.29
129.70/129.78 c switching time : 3.76
129.70/129.78 c Solution :
129.70/129.78 c Solutions found : 122 (17 improvements)
129.70/129.78 c First Solution : +1.02320000000000e+04 (in run 1, after 32600 nodes, 47.22 seconds, depth 142, found by <trysol>)
129.70/129.78 c Primal Bound : +1.00000000000000e+00 (in run 1, after 124517 nodes, 126.38 seconds, depth 112, found by <relaxation>)
129.70/129.78 c Dual Bound : +1.00000000000000e+00
129.70/129.78 c Gap : 0.00 %
129.70/129.78 c Root Dual Bound : +0.00000000000000e+00
129.70/129.78 c Root Iterations : 1895
129.70/129.79 c Time complete: 129.79.