0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3453416-1307116293.opb>
0.00/0.04 c original problem has 807 variables (807 bin, 0 int, 0 impl, 0 cont) and 6431 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.08 c (round 1) 360 del vars, 666 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 30124 impls, 0 clqs
0.00/0.08 c (round 2) 412 del vars, 1899 del conss, 0 add conss, 49 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 30392 impls, 0 clqs
0.00/0.09 c (round 3) 514 del vars, 4435 del conss, 0 add conss, 112 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 30557 impls, 0 clqs
0.00/0.09 c (round 4) 552 del vars, 5087 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 30585 impls, 0 clqs
0.00/0.09 c (round 5) 563 del vars, 5213 del conss, 0 add conss, 122 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 30585 impls, 0 clqs
0.00/0.09 c (round 6) 571 del vars, 5321 del conss, 0 add conss, 122 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 30585 impls, 0 clqs
0.00/0.10 c (round 7) 572 del vars, 5612 del conss, 0 add conss, 122 chg bounds, 16 chg sides, 1 chg coeffs, 0 upgd conss, 30585 impls, 0 clqs
0.00/0.10 c (round 8) 598 del vars, 5687 del conss, 0 add conss, 122 chg bounds, 16 chg sides, 1 chg coeffs, 0 upgd conss, 30585 impls, 0 clqs
0.00/0.10 c (round 9) 602 del vars, 5690 del conss, 0 add conss, 122 chg bounds, 16 chg sides, 1 chg coeffs, 0 upgd conss, 30585 impls, 0 clqs
0.10/0.11 c (round 10) 602 del vars, 5692 del conss, 0 add conss, 122 chg bounds, 16 chg sides, 1 chg coeffs, 737 upgd conss, 30585 impls, 0 clqs
0.10/0.11 c (round 11) 603 del vars, 5693 del conss, 0 add conss, 122 chg bounds, 16 chg sides, 1 chg coeffs, 737 upgd conss, 30585 impls, 0 clqs
0.10/0.11 c (round 12) 603 del vars, 5693 del conss, 0 add conss, 122 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 30585 impls, 0 clqs
0.10/0.11 c (round 13) 659 del vars, 5693 del conss, 0 add conss, 148 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31543 impls, 0 clqs
0.10/0.11 c (round 14) 659 del vars, 6009 del conss, 0 add conss, 154 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31567 impls, 0 clqs
0.10/0.11 c (round 15) 665 del vars, 6135 del conss, 0 add conss, 154 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31567 impls, 0 clqs
0.10/0.11 c (round 16) 687 del vars, 6169 del conss, 0 add conss, 154 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31567 impls, 0 clqs
0.10/0.11 c (round 17) 689 del vars, 6173 del conss, 0 add conss, 154 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31567 impls, 0 clqs
0.10/0.12 c (round 18) 701 del vars, 6173 del conss, 0 add conss, 155 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31742 impls, 0 clqs
0.10/0.12 c (round 19) 701 del vars, 6244 del conss, 0 add conss, 155 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31764 impls, 0 clqs
0.10/0.12 c (round 20) 726 del vars, 6282 del conss, 0 add conss, 155 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31764 impls, 0 clqs
0.10/0.12 c (round 21) 739 del vars, 6294 del conss, 0 add conss, 155 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31764 impls, 0 clqs
0.10/0.12 c (round 22) 740 del vars, 6294 del conss, 0 add conss, 155 chg bounds, 16 chg sides, 1 chg coeffs, 738 upgd conss, 31764 impls, 0 clqs
0.10/0.12 c presolving (23 rounds):
0.10/0.12 c 740 deleted vars, 6294 deleted constraints, 0 added constraints, 155 tightened bounds, 0 added holes, 16 changed sides, 1 changed coefficients
0.10/0.12 c 31764 implications, 0 cliques
0.10/0.12 c presolved problem has 67 variables (67 bin, 0 int, 0 impl, 0 cont) and 137 constraints
0.10/0.12 c 111 constraints of type <setppc>
0.10/0.12 c 26 constraints of type <logicor>
0.10/0.12 c transformed objective value is always integral (scale: 1)
0.10/0.12 c Presolving Time: 0.08
0.10/0.12 c - non default parameters ----------------------------------------------------------------------
0.10/0.12 c # SCIP version 2.0.1.4
0.10/0.12 c
0.10/0.12 c # frequency for displaying node information lines
0.10/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.12 c display/freq = 10000
0.10/0.12 c
0.10/0.12 c # maximal time in seconds to run
0.10/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.12 c limits/time = 1800
0.10/0.12 c
0.10/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.12 c limits/memory = 13950
0.10/0.12 c
0.10/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.10/0.12 c # [type: int, range: [1,2], default: 1]
0.10/0.12 c timing/clocktype = 2
0.10/0.12 c
0.10/0.12 c # belongs reading time to solving time?
0.10/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.12 c timing/reading = TRUE
0.10/0.12 c
0.10/0.12 c # should presolving try to simplify inequalities
0.10/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.12 c constraints/linear/simplifyinequalities = TRUE
0.10/0.12 c
0.10/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.10/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.12 c constraints/indicator/addCouplingCons = TRUE
0.10/0.12 c
0.10/0.12 c # should presolving try to simplify knapsacks
0.10/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.12 c
0.10/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.12 c separating/rapidlearning/freq = 0
0.10/0.12 c
0.10/0.12 c -----------------------------------------------------------------------------------------------
0.10/0.12 c start solving
0.10/0.12 c
0.10/0.12 o 330
0.10/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.12 c t 0.1s| 1 | 0 | 0 | - |3852k| 0 | - | 67 | 137 | 0 | 0 | 0 | 0 | 0 | -- | 3.300000e+02 | Inf
0.10/0.12 o 317
0.10/0.12 c b 0.1s| 1 | 0 | 0 | - |3938k| 0 | - | 67 | 137 | 67 | 137 | 0 | 0 | 0 | -- | 3.170000e+02 | Inf
0.10/0.12 c 0.1s| 1 | 0 | 29 | - |3928k| 0 | 11 | 67 | 137 | 67 | 137 | 0 | 0 | 0 | 2.742500e+02 | 3.170000e+02 | 15.59%
0.10/0.12 o 277
0.10/0.12 c R 0.1s| 1 | 0 | 29 | - |3944k| 0 | 11 | 67 | 137 | 67 | 137 | 0 | 0 | 0 | 2.742500e+02 | 2.770000e+02 | 1.00%
0.10/0.13 c 0.1s| 1 | 0 | 38 | - |3916k| 0 | - | 67 | 136 | 67 | 137 | 0 | 0 | 0 | 2.770000e+02 | 2.770000e+02 | 0.00%
0.10/0.13 c 0.1s| 1 | 0 | 38 | - |3916k| 0 | - | 67 | 136 | 67 | 137 | 0 | 0 | 0 | 2.770000e+02 | 2.770000e+02 | 0.00%
0.10/0.13 c
0.10/0.13 c SCIP Status : problem is solved [optimal solution found]
0.10/0.13 c Solving Time (sec) : 0.13
0.10/0.13 c Solving Nodes : 1
0.10/0.13 c Primal Bound : +2.77000000000000e+02 (4 solutions)
0.10/0.13 c Dual Bound : +2.77000000000000e+02
0.10/0.13 c Gap : 0.00 %
0.10/0.13 s OPTIMUM FOUND
0.10/0.13 v x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x414 -x425 -x412 -x411 -x407 -x424 -x402 -x423 -x413 -x422 -x421 -x420 -x408 -x405
0.10/0.13 v -x419 -x418 -x417 -x401 -x416 -x406 -x399 -x410 -x409 -x404 -x403 -x415 -x400 -x398 x397 x396 x395 x394 x393 x392 x391 -x390
0.10/0.13 v x389 x388 x387 -x64 -x61 -x57 -x60 x386 x67 x385 x384 -x383 -x382 -x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371
0.10/0.13 v -x363 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x362 -x361 x360 -x359 x358 x357 x356 x355 x354 x353 x352 x351 x350 x349 -x348
0.10/0.13 v -x347 x346 x345 x344 x343 x342 x341 x340 x339 -x338 -x337 -x336 x335 x334 x333 x332 -x331 x330 x329 x328 x327 x326 x325 x324
0.10/0.13 v x323 x322 x321 x320 x319 x318 x317 x316 x315 x314 x313 x312 -x311 x310 x309 x308 x307 x306 x305 -x304 -x303 -x302 x301 x300
0.10/0.13 v x299 x298 x297 x296 x295 x294 x293 -x292 -x291 -x290 -x289 -x288 x287 x286 x285 x284 x283 x282 x281 x280 x279 -x278 x277 x276
0.10/0.13 v x275 x274 x273 -x266 x272 x195 x271 x270 x269 x268 x267 x265 x264 x263 x262 x261 x260 x259 -x258 x257 -x256 x255 x254 x253 x252
0.10/0.13 v x251 x250 x249 -x248 x247 x246 -x245 x244 x243 -x242 x241 x240 x239 x238 x237 x236 x235 x234 x233 x232 -x231 -x230 -x229
0.10/0.13 v x228 x227 x226 x225 x224 x223 x222 -x221 x220 x219 -x218 -x217 x216 x215 x214 x213 x212 x211 x210 x209 -x63 x208 -x207 x206 -x69
0.10/0.13 v x205 x204 x203 x202 x201 x200 x199 -x198 -x197 x196 x194 -x193 x192 x191 -x162 x190 -x189 -x188 x187 x186 x185 x184 x183
0.10/0.13 v x182 x181 x180 x179 x178 x177 -x176 -x175 x174 x173 x172 x171 x170 x169 x168 -x167 -x166 x165 x164 -x163 x161 x160 x159 x158
0.10/0.13 v x157 -x156 -x155 -x154 x153 -x152 -x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134
0.10/0.13 v x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109
0.10/0.13 v x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 -x94 x93 x92 x91 -x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80
0.10/0.13 v x79 x78 x77 x76 x75 x74 x73 -x62 -x65 -x68 -x66 -x58 -x59 x72 x71 x70 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 x43
0.10/0.13 v x42 x41 -x40 -x39 -x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13
0.10/0.13 v x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x807 x806 x805 x804 x803 x802 x801 x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
0.10/0.13 v x791 x790 x789 x788 x787 x786 x785 x784 x783 x782 x781 x780 -x779 -x778 x777 x776 x775 x774 -x773 x772 x771 -x770 -x769 -x768
0.10/0.13 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 x752 -x751 -x750 -x749 -x748 -x747
0.10/0.13 v -x746 -x745 -x744 -x743 -x742 -x741 x740 x739 x738 x737 x736 x735 x734 x733 x732 x731 x730 x729 x728 x727 -x726 -x725 -x724
0.10/0.13 v x723 -x722 x721 x720 x719 x718 -x717 x716 -x715 x714 -x713 x712 x711 -x710 -x709 x708 x707 -x706 x705 -x704 x703 -x702 x701
0.10/0.13 v x700 -x699 x698 x697 x696 x695 -x694 x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676
0.10/0.13 v x675 x674 x673 x672 x671 x670 x669 x668 x667 x666 -x665 x664 -x663 -x662 x661 x660 x659 x658 x657 x656 x655 x654 x653 x652
0.10/0.13 v x651 x650 x649 x648 -x647 x646 x645 -x644 x643 x642 x641 x640 x639 -x638 x637 -x636 x635 -x634 x633 x632 x631 x630 x629 x628
0.10/0.13 v x627 x626 x625 x624 x623 x622 x621 x620 x619 x618 x617 x616 x615 x614 x613 -x612 -x611 x610 x609 x608 x607 x606 -x605 -x604 x603
0.10/0.13 v x602 -x601 -x600 x599 x598 x597 x596 x595 x594 x593 -x592 x591 x590 x589 x588 x587 x586 x585 x584 x583 x582 x581 x580 -x579
0.10/0.13 v -x578 x577 x576 x575 x574 -x573 -x572 x571 x570 -x569 -x568 x567 x566 x565 x564 x563 x562 x561 x560 x559 x558 x557 x556 -x555
0.10/0.13 v x554 x553 x552 x551 -x550 x549 x548 x547 x546 x545 x544 x543 x542 x541 x540 x539 x538 x537 x536 -x535 x534 x533 x532 x531
0.10/0.13 v x530 x529 x528 x527 x526 x525 x524 x523 x522 -x521 x520 x519 x518 x517 x516 -x515 x514 x513 x512 x511 x510 x509 x508 x507 x506
0.10/0.13 v x505 x504 x503 -x502 -x501 x500 x499 x498 x497 x496 x495 x494 x493 -x492 x491 x490 x489 x488 -x487 -x486 x485 x484 x483 -x482
0.10/0.13 v x481 x480 x479 x478 -x477 -x476 x475 x474 x473 x472 x471 x470 -x469 -x468 x467 x466 x465 x464 x463 x462 x461 -x460 x459 x458
0.10/0.13 v x457 x456 x455 x454 x453 x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 x439 x438 x437 x436 x435
0.10/0.13 v x434
0.10/0.13 c SCIP Status : problem is solved [optimal solution found]
0.10/0.13 c Total Time : 0.13
0.10/0.13 c solving : 0.13
0.10/0.13 c presolving : 0.08 (included in solving)
0.10/0.13 c reading : 0.04 (included in solving)
0.10/0.13 c Original Problem :
0.10/0.13 c Problem name : HOME/instance-3453416-1307116293.opb
0.10/0.13 c Variables : 807 (807 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.13 c Constraints : 6431 initial, 6431 maximal
0.10/0.13 c Presolved Problem :
0.10/0.13 c Problem name : t_HOME/instance-3453416-1307116293.opb
0.10/0.13 c Variables : 67 (67 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.13 c Constraints : 137 initial, 137 maximal
0.10/0.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.10/0.13 c trivial : 0.00 28 0 0 0 0 0 0 0 0
0.10/0.13 c dualfix : 0.00 126 0 0 0 0 0 0 0 0
0.10/0.13 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
0.10/0.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
0.10/0.13 c implics : 0.00 0 38 0 0 0 0 0 0 0
0.10/0.13 c probing : 0.01 68 0 0 27 0 0 0 0 0
0.10/0.13 c setppc : 0.00 0 0 0 0 0 413 0 0 0
0.10/0.13 c linear : 0.04 100 374 0 122 0 5693 0 16 1
0.10/0.13 c logicor : 0.00 6 0 0 6 0 188 0 0 0
0.10/0.13 c root node : - 52 - - 52 - - - - -
0.10/0.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
0.10/0.13 c integral : 0 0 0 0 0 9 0 0 0 0 0 0
0.10/0.13 c setppc : 111 1 261 0 0 6 0 7 0 0 0 0
0.10/0.13 c logicor : 26 1 218 0 0 4 0 4 1 0 0 0
0.10/0.13 c countsols : 0 0 0 0 0 6 0 0 0 0 0 0
0.10/0.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
0.10/0.13 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.10/0.13 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.10/0.13 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.10/0.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.10/0.13 c Propagators : #Propagate #Resprop Cutoffs DomReds
0.10/0.13 c vbounds : 0 0 0 0
0.10/0.13 c rootredcost : 0 0 0 0
0.10/0.13 c pseudoobj : 2 0 0 0
0.10/0.13 c Propagator Timings : TotalTime Propagate Resprop
0.10/0.13 c vbounds : 0.00 0.00 0.00
0.10/0.13 c rootredcost : 0.00 0.00 0.00
0.10/0.13 c pseudoobj : 0.00 0.00 0.00
0.10/0.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
0.10/0.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
0.10/0.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
0.10/0.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
0.10/0.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
0.10/0.13 c pseudo solution : 0.00 1 0 0 0.0 0 0.0 -
0.10/0.13 c applied globally : - - - 0 0.0 - - -
0.10/0.13 c applied locally : - - - 0 0.0 - - -
0.10/0.13 c Separators : Time Calls Cutoffs DomReds Cuts Conss
0.10/0.13 c cut pool : 0.00 0 - - 0 - (maximal pool size: 15)
0.10/0.13 c redcost : 0.00 1 0 8 0 0
0.10/0.13 c impliedbounds : 0.00 1 0 0 14 0
0.10/0.13 c intobj : 0.00 0 0 0 0 0
0.10/0.13 c gomory : 0.00 1 0 0 16 0
0.10/0.13 c cgmip : 0.00 0 0 0 0 0
0.10/0.13 c closecuts : 0.00 0 0 0 0 0
0.10/0.13 c strongcg : 0.00 1 0 0 16 0
0.10/0.13 c cmir : 0.00 1 0 0 0 0
0.10/0.13 c flowcover : 0.00 1 0 0 0 0
0.10/0.13 c clique : 0.00 1 0 0 0 0
0.10/0.13 c zerohalf : 0.00 0 0 0 0 0
0.10/0.13 c mcf : 0.00 1 0 0 0 0
0.10/0.13 c oddcycle : 0.00 0 0 0 0 0
0.10/0.13 c rapidlearning : 0.01 1 0 43 0 0
0.10/0.13 c Pricers : Time Calls Vars
0.10/0.13 c problem variables: 0.00 0 0
0.10/0.13 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
0.10/0.13 c pscost : 0.00 0 0 0 0 0 0
0.10/0.13 c inference : 0.00 0 0 0 0 0 0
0.10/0.13 c mostinf : 0.00 0 0 0 0 0 0
0.10/0.13 c leastinf : 0.00 0 0 0 0 0 0
0.10/0.13 c fullstrong : 0.00 0 0 0 0 0 0
0.10/0.13 c allfullstrong : 0.00 0 0 0 0 0 0
0.10/0.13 c random : 0.00 0 0 0 0 0 0
0.10/0.13 c relpscost : 0.00 0 0 0 0 0 0
0.10/0.13 c Primal Heuristics : Time Calls Found
0.10/0.13 c LP solutions : 0.00 - 0
0.10/0.13 c pseudo solutions : 0.00 - 0
0.10/0.13 c trivial : 0.00 2 1
0.10/0.13 c shiftandpropagate: 0.00 0 0
0.10/0.13 c simplerounding : 0.00 1 0
0.10/0.13 c zirounding : 0.00 0 0
0.10/0.13 c rounding : 0.00 1 1
0.10/0.13 c shifting : 0.00 1 0
0.10/0.13 c intshifting : 0.00 0 0
0.10/0.13 c oneopt : 0.00 2 1
0.10/0.13 c twoopt : 0.00 0 0
0.10/0.13 c fixandinfer : 0.00 0 0
0.10/0.13 c feaspump : 0.00 0 0
0.10/0.13 c clique : 0.00 0 0
0.10/0.13 c coefdiving : 0.00 0 0
0.10/0.13 c pscostdiving : 0.00 0 0
0.10/0.13 c fracdiving : 0.00 0 0
0.10/0.13 c veclendiving : 0.00 0 0
0.10/0.13 c intdiving : 0.00 0 0
0.10/0.13 c actconsdiving : 0.00 0 0
0.10/0.13 c objpscostdiving : 0.00 0 0
0.10/0.13 c rootsoldiving : 0.00 0 0
0.10/0.13 c linesearchdiving : 0.00 0 0
0.10/0.13 c guideddiving : 0.00 0 0
0.10/0.13 c octane : 0.00 0 0
0.10/0.13 c rens : 0.00 0 0
0.10/0.13 c rins : 0.00 0 0
0.10/0.13 c localbranching : 0.00 0 0
0.10/0.13 c mutation : 0.00 0 0
0.10/0.13 c crossover : 0.00 0 0
0.10/0.13 c dins : 0.00 0 0
0.10/0.13 c vbounds : 0.00 0 0
0.10/0.13 c undercover : 0.00 0 0
0.10/0.13 c subnlp : 0.00 0 0
0.10/0.13 c trysol : 0.00 0 0
0.10/0.13 c LP : Time Calls Iterations Iter/call Iter/sec
0.10/0.13 c primal LP : 0.00 0 0 0.00 -
0.10/0.13 c dual LP : 0.00 2 38 19.00 -
0.10/0.13 c lex dual LP : 0.00 0 0 0.00 -
0.10/0.13 c barrier LP : 0.00 0 0 0.00 -
0.10/0.13 c diving/probing LP: 0.00 0 0 0.00 -
0.10/0.13 c strong branching : 0.00 0 0 0.00 -
0.10/0.13 c (at root node) : - 0 0 0.00 -
0.10/0.13 c conflict analysis: 0.00 0 0 0.00 -
0.10/0.13 c B&B Tree :
0.10/0.13 c number of runs : 1
0.10/0.13 c nodes : 1
0.10/0.13 c nodes (total) : 1
0.10/0.13 c nodes left : 0
0.10/0.13 c max depth : 0
0.10/0.13 c max depth (total): 0
0.10/0.13 c backtracks : 0 (0.0%)
0.10/0.13 c delayed cutoffs : 0
0.10/0.13 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.10/0.13 c avg switch length: 2.00
0.10/0.13 c switching time : 0.00
0.10/0.13 c Solution :
0.10/0.13 c Solutions found : 4 (3 improvements)
0.10/0.13 c First Solution : +3.30000000000000e+02 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trivial>)
0.10/0.13 c Primal Bound : +2.77000000000000e+02 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <rounding>)
0.10/0.13 c Dual Bound : +2.77000000000000e+02
0.10/0.13 c Gap : 0.00 %
0.10/0.13 c Root Dual Bound : +2.77000000000000e+02
0.10/0.13 c Root Iterations : 38
0.10/0.14 c Time complete: 0.13.