0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2704429-1278555411.opb>
0.00/0.03 c original problem has 906 variables (906 bin, 0 int, 0 impl, 0 cont) and 1039 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 o 1420
0.00/0.04 c feasible solution found by trivial heuristic, objective value 1.420000e+03
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 7 del vars, 7 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4120 impls, 3 clqs
0.00/0.06 c (round 2) 7 del vars, 7 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1008 upgd conss, 4120 impls, 3 clqs
0.07/0.07 c (round 3) 7 del vars, 7 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1032 upgd conss, 4120 impls, 3 clqs
0.09/0.10 c (0.1s) probing: 154/899 (17.1%) - 0 fixings, 0 aggregations, 113 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (4 rounds):
0.09/0.10 c 7 deleted vars, 7 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 4446 implications, 3 cliques
0.09/0.10 c presolved problem has 899 variables (899 bin, 0 int, 0 impl, 0 cont) and 1032 constraints
0.09/0.10 c 183 constraints of type <knapsack>
0.09/0.10 c 849 constraints of type <setppc>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.07
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.3
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1789.98
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.11 c
0.09/0.11 o 1419
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 0 | - |3616k| 0 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 | -- | 1.419000e+03 | Inf
0.09/0.11 o 704
0.09/0.11 c b 0.1s| 1 | 0 | 0 | - |4349k| 0 | - | 899 |1032 | 899 |1032 | 0 | 0 | 0 | -- | 7.040000e+02 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 1460 | - |4337k| 0 | 215 | 899 |1032 | 899 |1032 | 0 | 0 | 0 | 2.000000e+00 | 7.040000e+02 | Large
0.29/0.37 o 228
0.29/0.37 c R 0.3s| 1 | 0 | 1460 | - |4360k| 0 | 215 | 899 |1032 | 899 |1032 | 0 | 0 | 0 | 2.000000e+00 | 2.280000e+02 | Large
0.29/0.37 o 227
0.29/0.37 c s 0.3s| 1 | 0 | 1460 | - |4383k| 0 | 215 | 899 |1032 | 899 |1032 | 0 | 0 | 0 | 2.000000e+00 | 2.270000e+02 | Large
0.29/0.37 o 61
0.29/0.37 c b 0.3s| 1 | 0 | 1460 | - |4407k| 0 | 215 | 899 |1032 | 899 |1032 | 0 | 0 | 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
0.69/0.78 c 0.8s| 1 | 0 | 1538 | - |4984k| 0 | 311 | 899 |1032 | 899 |1033 | 1 | 0 | 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
0.69/0.78 o 30
0.69/0.78 c b 0.8s| 1 | 0 | 1538 | - |5008k| 0 | 311 | 899 |1032 | 899 |1033 | 1 | 0 | 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1.10/1.17 c 1.1s| 1 | 0 | 1609 | - |5858k| 0 | 343 | 899 |1032 | 899 |1035 | 3 | 0 | 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1.10/1.18 o 24
1.10/1.18 c b 1.1s| 1 | 0 | 1609 | - |5881k| 0 | 343 | 899 |1032 | 899 |1035 | 3 | 0 | 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
1.59/1.64 c 1.6s| 1 | 0 | 1739 | - |5993k| 0 | 325 | 899 |1032 | 899 |1036 | 4 | 0 | 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
2.10/2.14 c 2.1s| 1 | 0 | 1914 | - |6152k| 0 | 321 | 899 |1032 | 899 |1037 | 5 | 0 | 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
2.59/2.64 c 2.6s| 1 | 0 | 2078 | - |6307k| 0 | 323 | 899 |1032 | 899 |1038 | 6 | 0 | 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
5.39/5.41 o 3
5.39/5.41 c E 5.4s| 1 | 0 | 2078 | - |6319k| 0 | 323 | 899 |1032 | 899 |1038 | 6 | 0 | 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
5.39/5.42 c 5.4s| 1 | 0 | 2078 | - |6319k| 0 | 323 | 899 |1032 | 899 |1038 | 6 | 0 | 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
5.89/5.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.89/5.91 c 5.9s| 1 | 0 | 2078 | - |6261k| 0 | 323 | 899 | 943 | 899 | 985 | 6 | 0 | 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
8.39/8.40 c 8.4s| 1 | 2 | 2078 | - |6262k| 0 | 323 | 899 | 943 | 899 | 985 | 6 | 0 | 11 | 2.000000e+00 | 3.000000e+00 | 50.00%
8.39/8.40 c (run 1, node 1) restarting after 74 global fixings of integer variables
8.39/8.40 c
8.39/8.40 c (restart) converted 6 cuts from the global cut pool into linear constraints
8.39/8.40 c
8.39/8.40 c presolving:
8.39/8.41 c (round 1) 74 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6 upgd conss, 4448 impls, 4 clqs
8.49/8.58 c presolving (2 rounds):
8.49/8.58 c 74 deleted vars, 1 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.49/8.58 c 4448 implications, 4 cliques
8.49/8.58 c presolved problem has 825 variables (825 bin, 0 int, 0 impl, 0 cont) and 948 constraints
8.49/8.58 c 183 constraints of type <knapsack>
8.49/8.58 c 765 constraints of type <setppc>
8.49/8.58 c transformed objective value is always integral (scale: 1)
8.49/8.58 c Presolving Time: 0.25
8.49/8.58 c
8.99/9.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.99/9.08 c 9.0s| 1 | 0 | 4154 | - |4717k| 0 | 321 | 825 | 948 | 825 | 948 | 0 | 0 | 11 | 2.000000e+00 | 3.000000e+00 | 50.00%
9.80/9.82 c 9.8s| 1 | 0 | 4335 | - |4747k| 0 | 309 | 825 | 939 | 825 | 943 | 1 | 0 | 11 | 2.000000e+00 | 3.000000e+00 | 50.00%
13.78/13.89 c 13.9s| 1 | 2 | 4335 | - |4747k| 0 | 309 | 825 | 939 | 825 | 943 | 1 | 0 | 29 | 2.000000e+00 | 3.000000e+00 | 50.00%
37.09/37.17 o 2
37.09/37.17 c c37.1s| 19 | 0 | 7676 | 185.6 |4888k| 18 | - | 825 | 939 | 825 | 941 | 1 | 0 | 384 | 2.000000e+00 | 2.000000e+00 | 0.00%
37.09/37.17 c
37.09/37.17 c SCIP Status : problem is solved [optimal solution found]
37.09/37.17 c Solving Time (sec) : 37.15
37.09/37.17 c Solving Nodes : 19 (total of 20 nodes in 2 runs)
37.09/37.17 c Primal Bound : +2.00000000000000e+00 (10 solutions)
37.09/37.17 c Dual Bound : +2.00000000000000e+00
37.09/37.17 c Gap : 0.00 %
37.09/37.17 s OPTIMUM FOUND
37.09/37.17 v x1 -x137 x244 x235 x733 x239 x232 -x632 -x691 x62 -x140 -x233 x678 x50 -x631 x653 x677 x54 -x634 x640 -x676 x47 -x392 -x635 x639
37.09/37.17 v x897 x48 -x391 -x638 x300 x393 x299 x377 x301 x256 -x285 x900 x906 x901 x248 -x136 x243 x732 -x59 -x141 x689 x61 -x139 -x238
37.09/37.17 v x690 x651 -x686 -x736 -x58 -x234 -x633 x652 x682 -x737 x618 -x648 -x53 x617 x644 -x674 x896 x390 -x555 x616 -x675 -x49 x378
37.09/37.17 v -x636 -x774 x898 -x253 x298 x382 -x637 x903 -x255 x286 x376 x902 x290 x374 -x531 -x252 -x284 -x532 -x282 x528 x657 -x777 x247
37.09/37.17 v x524 x659 -x778 -x138 -x342 x688 -x60 -x142 x242 -x551 x687 x734 x125 -x474 x650 x739 -x236 -x475 -x550 x649 x738 x629 -x685
37.09/37.17 v -x57 x630 x681 -x387 -x556 x626 -x647 -x51 -x389 -x554 x622 -x643 -x295 -x254 x297 x386 -x614 -x773 -x848 x899 -x530 -x615
37.09/37.17 v x883 x294 -x381 -x529 -x775 x882 -x229 x780 x881 -x251 -x289 -x375 -x658 -x779 -x527 -x851 x245 -x283 x523 -x852 x656 -x135 x341
37.09/37.17 v x477 x126 -x240 -x476 -x607 x735 x130 -x628 x721 x124 -x237 x552 -x627 x720 x122 -x346 x553 -x683 -x719 -x55 -x225 -x388
37.09/37.17 v -x557 x679 -x710 x536 -x610 x625 -x645 -x52 -x224 -x296 -x611 x621 -x641 -x823 x894 -x385 x847 x895 x230 -x713 x891 -x228 x293
37.09/37.17 v -x379 -x714 -x776 x849 x887 -x279 x760 -x826 x854 -x249 -x287 x759 -x827 x853 -x879 -x525 x758 -x880 x246 x521 -x753 -x654
37.09/37.17 v -x518 -x99 x433 x905 x343 x465 x731 x134 -x178 -x241 -x464 -x606 x730 x347 -x463 -x729 -x129 x345 x608 -x725 -x549 x613 -x684
37.09/37.17 v -x56 x123 -x275 x537 x612 -x680 -x709 -x717 -x182 x541 -x623 -x646 -x718 x893 -x40 -x226 -x274 x535 -x619 -x642 -x711 -x822
37.09/37.17 v x892 -x227 -x416 x533 x716 x231 -x383 -x715 -x824 x210 -x280 -x771 -x829 x890 -x278 -x291 -x380 x514 -x772 -x828 x850 -x886 -x43
37.09/37.17 v -x458 x768 x834 -x44 -x95 -x250 -x288 x513 x764 -x798 x833 -x371 -x526 -x832 -x94 x522 x752 x756 -x324 -x519 -x757 -x517
37.09/37.17 v -x655 x754 x100 x801 -x98 x432 x802 x344 -x473 x566 -x133 x177 x348 -x412 x469 -x330 -x546 -x728 -x127 x411 -x461 -x548 x609
37.09/37.17 v -x724 x183 -x462 x593 x181 -x454 x545 x592 -x417 x591 -x624 -x39 -x276 -x367 -x415 -x453 x540 -x620 x712 -x223 -x277 x696 -x770
37.09/37.18 v -x41 x211 -x281 -x320 -x366 -x384 -x534 -x695 -x769 -x825 -x46 -x204 -x215 -x260 -x459 -x694 -x809 x845 -x888 -x45 x209 -x292
37.09/37.18 v -x319 -x457 -x808 x846 -x872 -x884 -x207 -x372 x767 -x807 x842 -x370 x515 x763 -x797 -x838 -x325 x516 x96 -x323 -x429 -x520
37.09/37.18 v -x799 -x830 x97 -x499 x804 -x831 x875 x101 -x428 x755 x803 -x876 x79 x434 x904 x340 -x472 x565 -x15 -x131 x179 x331 x468 -x547
37.09/37.18 v -x667 x180 x335 -x604 -x726 -x128 x184 -x200 -x329 x413 x605 -x722 -x164 -x327 x414 -x570 x601 -x115 -x199 -x418 -x544 -x597
37.09/37.18 v -x18 -x220 x397 x707 -x19 -x222 -x455 -x538 x589 x708 -x158 -x205 -x273 -x456 -x590 x704 -x820 x844 -x42 -x203 x219 -x261
37.09/37.18 v -x368 -x460 -x700 -x821 x843 x26 -x118 -x265 -x369 -x439 -x817 -x889 -x25 -x119 -x214 -x259 -x321 -x373 -x692 -x813 x871 -x885
37.09/37.18 v -x24 -x257 -x322 -x352 x493 -x693 -x765 -x841 -x208 x326 x761 -x805 -x837 x873 x305 -x512 -x806 x878 x500 -x800 x877 -x93
37.09/37.18 v x504 -x750 x784 x81 -x430 -x498 -x751 x783 x85 -x431 -x496 x747 x781 x80 x435 x743 -x470 x567 -x603 -x14 -x132 -x154 x339 -x466
37.09/37.18 v -x602 -x666 x176 x571 -x727 -x16 -x153 x165 -x334 -x569 -x723 x21 -x169 x410 -x600 x670 -x706 x20 -x114 -x163 -x201 -x221
37.09/37.18 v -x328 x398 x489 -x542 -x596 -x671 -x705 -x159 -x161 -x202 -x270 -x402 -x819 -x116 -x157 -x206 -x272 -x396 x488 -x539 -x582 -x818
37.09/37.18 v -x37 -x121 -x188 -x394 x452 x703 x38 -x72 -x120 -x218 -x269 x440 -x699 -x34 -x365 -x444 x494 -x816 -x30 -x212 -x264 -x353
37.09/37.18 v -x438 x492 -x812 -x318 -x357 -x436 -x509 x585 -x766 -x839 -x22 -x258 x306 -x351 -x511 x586 -x762 -x835 x874 -x23 -x75 -x90
37.09/37.18 v x310 -x349 -x749 x795 x859 -x76 -x92 x304 -x508 -x748 x796 x858 -x302 -x792 x857 -x89 -x503 -x788 x427 x746 x84 x423 -x497 x742
37.09/37.18 v -x782 x175 -x471 x568 x174 -x338 -x467 x572 -x668 -x407 x561 x673 x17 -x155 -x173 -x332 x409 x672 x6 x156 -x598 x5 -x160 -x168
37.09/37.18 v -x271 x406 -x543 -x594 x4 -x36 -x146 -x198 -x449 -x35 -x117 -x162 -x189 -x401 -x451 x490 -x581 -x106 -x192 -x362 x491 x701
37.09/37.18 v x71 -x105 -x187 -x216 -x268 -x364 -x395 -x448 x495 x583 -x697 -x33 -x104 -x185 -x315 x481 x588 -x814 -x29 x73 -x213 -x262
37.09/37.18 v -x317 -x361 -x443 -x510 x587 -x810 x78 -x794 -x840 -x869 x77 -x91 x314 -x356 -x437 -x793 -x836 x870 x866 x309 -x350 -x507 x863
37.09/37.18 v -x424 -x791 -x88 -x303 x426 -x501 -x787 x855 x744 -x856 x82 x422 x740 x11 -x171 -x337 x564 x665 x10 -x150 -x336 -x408 x562
37.09/37.18 v x669 x12 -x149 -x170 -x404 x563 x664 x13 -x151 -x172 -x196 -x333 -x560 x663 x9 -x111 x152 -x195 x403 -x558 -x599 -x662 x7 -x110
37.09/37.18 v x147 -x166 -x197 x405 -x450 -x485 -x559 -x595 -x660 x8 -x112 x148 -x194 -x446 x484 -x580 -x661 x2 -x113 -x145 -x167 -x193
37.09/37.18 v -x363 -x399 x486 -x579 -x3 -x32 -x70 -x109 -x143 -x267 -x359 -x445 x487 x578 x702 x69 -x107 -x144 -x190 -x217 -x266 -x316 -x400
37.09/37.18 v -x447 x482 x584 -x698 -x31 x68 -x108 -x191 -x312 -x358 x483 x577 -x815 -x868 -x27 x74 -x102 -x186 -x263 -x360 -x441 x480 x576
37.09/37.18 v -x811 -x867 x67 -x103 -x311 x478 -x575 x865 -x28 x66 x313 -x354 -x442 -x479 -x573 x65 -x506 -x574 -x790 x864 x63 x307 -x355
37.09/37.18 v -x425 -x505 x862 x64 -x87 -x420 -x789 -x86 x308 -x502 -x785 x860 x419 -x745 x861 x83 x421 x741 -x786
37.09/37.18 c SCIP Status : problem is solved [optimal solution found]
37.09/37.18 c Solving Time : 37.15
37.09/37.18 c Original Problem :
37.09/37.18 c Problem name : HOME/instance-2704429-1278555411.opb
37.09/37.18 c Variables : 906 (906 binary, 0 integer, 0 implicit integer, 0 continuous)
37.09/37.18 c Constraints : 1039 initial, 1039 maximal
37.09/37.18 c Presolved Problem :
37.09/37.18 c Problem name : t_HOME/instance-2704429-1278555411.opb
37.09/37.18 c Variables : 825 (825 binary, 0 integer, 0 implicit integer, 0 continuous)
37.09/37.18 c Constraints : 948 initial, 948 maximal
37.09/37.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
37.09/37.18 c trivial : 0.00 74 0 0 0 0 0 0 0
37.09/37.18 c dualfix : 0.00 1 0 0 0 0 0 0 0
37.09/37.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
37.09/37.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
37.09/37.18 c implics : 0.00 0 0 0 0 0 0 0 0
37.09/37.18 c probing : 0.02 0 0 0 0 0 0 0 0
37.09/37.18 c knapsack : 0.17 0 0 0 0 0 1 0 0
37.09/37.18 c setppc : 0.01 0 0 0 0 0 0 0 0
37.09/37.18 c linear : 0.03 1 5 0 1 0 7 0 0
37.09/37.18 c root node : - 84 - - 84 - - - -
37.09/37.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
37.09/37.18 c integral : 0 0 0 21 0 0 1 0 0 40
37.09/37.18 c knapsack : 183 8 538 0 0 0 11 0 0 0
37.09/37.18 c setppc : 765 8 538 0 0 0 85 0 0 0
37.09/37.18 c countsols : 0 0 0 0 0 0 0 0 0 0
37.09/37.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
37.09/37.18 c integral : 28.61 0.00 0.00 28.61 0.00
37.09/37.18 c knapsack : 0.32 0.30 0.02 0.00 0.00
37.09/37.18 c setppc : 0.01 0.00 0.01 0.00 0.00
37.09/37.18 c countsols : 0.00 0.00 0.00 0.00 0.00
37.09/37.18 c Propagators : Time Calls Cutoffs DomReds
37.09/37.18 c vbounds : 0.00 3 0 0
37.09/37.18 c rootredcost : 0.00 0 0 0
37.09/37.18 c pseudoobj : 0.01 203 0 0
37.09/37.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
37.09/37.18 c propagation : 0.00 0 0 0 0.0 0 0.0 -
37.09/37.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
37.09/37.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
37.09/37.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
37.09/37.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
37.09/37.18 c applied globally : - - - 0 0.0 - - -
37.09/37.18 c applied locally : - - - 0 0.0 - - -
37.09/37.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
37.09/37.18 c cut pool : 0.00 0 - - 0 - (maximal pool size: 1)
37.09/37.18 c redcost : 0.00 27 0 34 0 0
37.09/37.18 c impliedbounds : 0.00 8 0 0 0 0
37.09/37.18 c intobj : 0.00 0 0 0 0 0
37.09/37.18 c cgmip : 0.00 0 0 0 0 0
37.09/37.18 c gomory : 1.52 8 0 0 375 0
37.09/37.18 c strongcg : 1.42 8 0 0 608 0
37.09/37.18 c cmir : 0.10 8 0 0 0 0
37.09/37.18 c flowcover : 0.16 8 0 0 0 0
37.09/37.18 c clique : 0.00 8 0 0 0 0
37.09/37.18 c zerohalf : 0.00 0 0 0 0 0
37.09/37.18 c mcf : 0.00 2 0 0 0 0
37.09/37.18 c rapidlearning : 0.10 1 0 0 0 0
37.09/37.18 c Pricers : Time Calls Vars
37.09/37.18 c problem variables: 0.00 0 0
37.09/37.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
37.09/37.18 c relpscost : 28.61 21 0 1 0 0 40
37.09/37.18 c pscost : 0.00 0 0 0 0 0 0
37.09/37.18 c inference : 0.00 0 0 0 0 0 0
37.09/37.18 c mostinf : 0.00 0 0 0 0 0 0
37.09/37.18 c leastinf : 0.00 0 0 0 0 0 0
37.09/37.18 c fullstrong : 0.00 0 0 0 0 0 0
37.09/37.18 c allfullstrong : 0.00 0 0 0 0 0 0
37.09/37.18 c random : 0.00 0 0 0 0 0 0
37.09/37.18 c Primal Heuristics : Time Calls Found
37.09/37.18 c LP solutions : 0.00 - 0
37.09/37.18 c pseudo solutions : 0.00 - 0
37.09/37.18 c crossover : 0.00 0 0
37.09/37.18 c pscostdiving : 0.00 0 0
37.09/37.18 c fracdiving : 0.00 0 0
37.09/37.18 c veclendiving : 0.00 0 0
37.09/37.18 c objpscostdiving : 0.00 0 0
37.09/37.18 c rootsoldiving : 0.00 0 0
37.09/37.18 c linesearchdiving : 0.00 0 0
37.09/37.18 c guideddiving : 0.00 0 0
37.09/37.18 c trivial : 0.00 2 2
37.09/37.18 c simplerounding : 0.00 0 0
37.09/37.18 c zirounding : 0.00 19 0
37.09/37.18 c rounding : 0.04 27 1
37.09/37.18 c shifting : 0.02 9 1
37.09/37.18 c intshifting : 0.00 0 0
37.09/37.18 c oneopt : 0.01 7 4
37.09/37.18 c twoopt : 0.00 0 0
37.09/37.18 c fixandinfer : 0.00 0 0
37.09/37.18 c feaspump : 0.00 0 0
37.09/37.18 c coefdiving : 0.54 1 1
37.09/37.18 c intdiving : 0.00 0 0
37.09/37.18 c actconsdiving : 0.00 0 0
37.09/37.18 c octane : 0.00 0 0
37.09/37.18 c rens : 2.29 1 1
37.09/37.18 c rins : 0.00 0 0
37.09/37.18 c localbranching : 0.00 0 0
37.09/37.18 c mutation : 0.00 0 0
37.09/37.18 c dins : 0.00 0 0
37.09/37.18 c undercover : 0.00 0 0
37.09/37.18 c nlp : 0.00 0 0
37.09/37.18 c trysol : 0.00 0 0
37.09/37.18 c LP : Time Calls Iterations Iter/call Iter/sec
37.09/37.18 c primal LP : 0.00 0 0 0.00 -
37.09/37.18 c dual LP : 1.70 27 6005 222.41 3537.77
37.09/37.18 c lex dual LP : 0.00 0 0 0.00 -
37.09/37.18 c barrier LP : 0.00 0 0 0.00 -
37.09/37.18 c diving/probing LP: 0.49 81 1671 20.63 3426.86
37.09/37.18 c strong branching : 28.60 384 74955 195.20 2620.38
37.09/37.18 c (at root node) : - 29 14685 506.38 -
37.09/37.18 c conflict analysis: 0.00 0 0 0.00 -
37.09/37.18 c B&B Tree :
37.09/37.18 c number of runs : 2
37.09/37.18 c nodes : 19
37.09/37.18 c nodes (total) : 20
37.09/37.18 c nodes left : 0
37.09/37.18 c max depth : 18
37.09/37.18 c max depth (total): 18
37.09/37.18 c backtracks : 0 (0.0%)
37.09/37.18 c delayed cutoffs : 0
37.09/37.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
37.09/37.18 c avg switch length: 2.00
37.09/37.18 c switching time : 0.00
37.09/37.18 c Solution :
37.09/37.18 c Solutions found : 10 (10 improvements)
37.09/37.18 c First Solution : +1.42000000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
37.09/37.18 c Primal Bound : +2.00000000000000e+00 (in run 2, after 19 nodes, 37.14 seconds, depth 100, found by <coefdiving>)
37.09/37.18 c Dual Bound : +2.00000000000000e+00
37.09/37.18 c Gap : 0.00 %
37.09/37.18 c Root Dual Bound : +2.00000000000023e+00
37.09/37.18 c Root Iterations : 4335
37.09/37.19 c Time complete: 37.18.