0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4443315-1721298106.opb>
0.00/0.00 c original problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 737 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (2 rounds): 4 aggregations, 0 fixings, 0 bound changes
0.00/0.01 c (round 1, medium) 4 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 249 clqs
0.00/0.01 c (round 2, fast) 4 del vars, 4 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 249 clqs
0.00/0.01 c (round 3, exhaustive) 4 del vars, 4 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 733 upgd conss, 0 impls, 249 clqs
0.00/0.02 c (round 4, medium) 8 del vars, 346 del conss, 1348 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 733 upgd conss, 0 impls, 1585 clqs
0.00/0.02 c (round 5, fast) 8 del vars, 354 del conss, 1348 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 733 upgd conss, 0 impls, 1585 clqs
0.00/0.02 c (round 6, exhaustive) 8 del vars, 1842 del conss, 1492 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 733 upgd conss, 0 impls, 1585 clqs
0.00/0.06 c (0.1s) probing cycle finished: starting next cycle
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06 c (0.1s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.06 c dynamic symmetry handling statistics:
0.00/0.06 c orbitopal reduction: no components
0.00/0.06 c orbital reduction: 1 components of sizes 3
0.00/0.06 c lexicographic reduction: 3 permutations with support sizes 428, 408, 482
0.00/0.06 c handled 1 out of 1 symmetry components
0.00/0.06 c presolving (7 rounds: 7 fast, 5 medium, 3 exhaustive):
0.00/0.06 c 8 deleted vars, 1842 deleted constraints, 1492 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 0 implications, 4022 cliques
0.00/0.06 c presolved problem has 482 variables (482 bin, 0 int, 0 impl, 0 cont) and 387 constraints
0.00/0.06 c 2 constraints of type <knapsack>
0.00/0.06 c 241 constraints of type <setppc>
0.00/0.06 c 144 constraints of type <and>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.06
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 10.0.0
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06 c limits/time = 3596.998007
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06 c limits/memory = 27900
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.06 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.06 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.06 c misc/usesymmetry = 3
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.06 c
0.00/0.06 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.06 c
0.00/0.06 c # Type of symmetries that shall be computed?
0.00/0.06 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.06 c propagating/symmetry/symtype = 1
0.00/0.06 c
0.00/0.06 c # Should components consisting of a single full reflection be handled?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.09/0.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.10 c 0.1s| 1 | 0 | 203 | - | 10M | 0 | 482 | 395 | 531 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.16 c 0.2s| 1 | 0 | 410 | - | 11M | 0 | 482 | 411 | 608 | 77 | 1 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.19 c 0.2s| 1 | 0 | 488 | - | 16M | 0 | 482 | 418 | 670 | 139 | 2 | 15 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.25 c 0.2s| 1 | 0 | 563 | - | 24M | 0 | 482 | 418 | 727 | 196 | 3 | 15 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.33 c 0.3s| 1 | 0 | 684 | - | 33M | 0 | 482 | 419 | 775 | 244 | 4 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.41 c 0.4s| 1 | 0 | 797 | - | 36M | 0 | 482 | 420 | 831 | 300 | 5 | 17 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.50 c 0.5s| 1 | 0 | 888 | - | 46M | 0 | 482 | 422 | 867 | 336 | 6 | 19 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.60 c 0.6s| 1 | 0 | 965 | - | 55M | 0 | 482 | 426 | 892 | 361 | 7 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.71 c 0.7s| 1 | 0 | 1060 | - | 65M | 0 | 482 | 426 | 911 | 380 | 8 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.82 c 0.8s| 1 | 0 | 1107 | - | 76M | 0 | 482 | 426 | 939 | 408 | 9 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.94 c 0.9s| 1 | 0 | 1173 | - | 79M | 0 | 482 | 427 | 955 | 424 | 10 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.96 c 1.0s| 1 | 0 | 1252 | - | 79M | 0 | 482 | 428 | 967 | 436 | 11 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
1.19/1.20 c 1.2s| 1 | 2 | 1908 | - | 79M | 0 | 482 | 431 | 967 | 436 | 11 | 30 | 11 | 0.000000e+00 | -- | Inf | unknown
2.28/2.33 c 2.3s| 100 | 29 | 12974 | 118.6 | 93M | 21 | 482 | 442 |1048 |1774 | 1 | 41 | 11 | 0.000000e+00 | -- | Inf | 0.85%
2.77/2.85 c 2.8s| 200 | 29 | 16023 | 74.3 | 93M | 27 | 482 | 442 |1076 |2203 | 0 | 41 | 11 | 0.000000e+00 | -- | Inf | 0.93%
3.17/3.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.17/3.25 c 3.2s| 300 | 31 | 19216 | 60.2 | 93M | 28 | 482 | 442 | 0 |2589 | 0 | 41 | 11 | 0.000000e+00 | -- | Inf | 0.98%
3.88/3.99 c 4.0s| 400 | 37 | 24400 | 58.1 | 102M | 30 | 482 | 442 |1082 |3487 | 2 | 42 | 11 | 0.000000e+00 | -- | Inf | 1.14%
4.38/4.47 c 4.5s| 500 | 37 | 30672 | 59.0 | 105M | 30 | 482 | 442 |1134 |4399 | 2 | 42 | 11 | 0.000000e+00 | -- | Inf | 1.24%
4.77/4.83 c 4.8s| 600 | 37 | 32863 | 52.8 | 106M | 40 | 482 | 442 |1284 |4641 | 2 | 42 | 11 | 0.000000e+00 | -- | Inf | 1.25%
5.37/5.40 c 5.4s| 700 | 39 | 36697 | 50.7 | 106M | 40 | 482 | 442 |1041 |5119 | 2 | 42 | 11 | 0.000000e+00 | -- | Inf | 1.27%
5.67/5.75 c 5.7s| 800 | 35 | 39458 | 47.8 | 106M | 40 | 482 | 442 | 0 |5371 | 0 | 42 | 11 | 0.000000e+00 | -- | Inf | 1.28%
6.27/6.33 c 6.3s| 900 | 37 | 43249 | 46.7 | 108M | 40 | 482 | 442 |1112 |5860 | 2 | 42 | 11 | 0.000000e+00 | -- | Inf | 1.30%
6.47/6.51 c 6.5s| 1000 | 37 | 45380 | 44.2 | 108M | 40 | 482 | 442 |1054 |6164 | 2 | 42 | 11 | 0.000000e+00 | -- | Inf | 1.34%
6.67/6.70 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
6.67/6.71 c (run 1, node 1052) performing user restart
6.67/6.71 c
6.67/6.71 c (restart) converted 176 cuts from the global cut pool into linear constraints
6.67/6.71 c
6.67/6.72 c presolving:
6.67/6.72 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 187 upgd conss, 0 impls, 4022 clqs
6.67/6.72 c (round 2, medium) 0 del vars, 12 del conss, 27 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 187 upgd conss, 0 impls, 4022 clqs
6.67/6.73 c (round 3, exhaustive) 0 del vars, 13 del conss, 27 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 187 upgd conss, 0 impls, 4022 clqs
6.67/6.73 c (round 4, exhaustive) 0 del vars, 13 del conss, 27 add conss, 0 chg bounds, 0 chg sides, 64 chg coeffs, 187 upgd conss, 0 impls, 4022 clqs
6.67/6.73 c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
6.67/6.73 c 0 deleted vars, 13 deleted constraints, 27 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 64 changed coefficients
6.67/6.73 c 0 implications, 4022 cliques
6.67/6.73 c presolved problem has 482 variables (482 bin, 0 int, 0 impl, 0 cont) and 632 constraints
6.67/6.73 c 3 constraints of type <knapsack>
6.67/6.73 c 438 constraints of type <setppc>
6.67/6.73 c 144 constraints of type <and>
6.67/6.73 c 5 constraints of type <linear>
6.67/6.73 c 42 constraints of type <logicor>
6.67/6.73 c transformed objective value is always integral (scale: 1)
6.67/6.73 c Presolving Time: 0.07
6.67/6.73 c
6.67/6.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.67/6.79 c 6.8s| 1 | 0 | 47159 | - | 101M | 0 | 482 | 619 | 722 | 0 | 0 | 42 | 11 | 0.000000e+00 | -- | Inf | unknown
6.77/6.88 c 6.9s| 1 | 0 | 47293 | - | 103M | 0 | 482 | 631 | 796 | 74 | 1 | 42 | 11 | 0.000000e+00 | -- | Inf | unknown
6.87/6.95 c 6.9s| 1 | 0 | 47391 | - | 104M | 0 | 482 | 631 | 848 | 126 | 2 | 42 | 11 | 0.000000e+00 | -- | Inf | unknown
6.97/7.02 c 7.0s| 1 | 0 | 47499 | - | 104M | 0 | 482 | 631 | 882 | 160 | 3 | 42 | 11 | 0.000000e+00 | -- | Inf | unknown
7.07/7.12 c 7.1s| 1 | 0 | 47572 | - | 104M | 0 | 482 | 632 | 913 | 191 | 4 | 43 | 11 | 0.000000e+00 | -- | Inf | unknown
7.17/7.22 c 7.2s| 1 | 0 | 47615 | - | 104M | 0 | 482 | 636 | 954 | 232 | 5 | 47 | 11 | 0.000000e+00 | -- | Inf | unknown
7.27/7.33 c 7.3s| 1 | 0 | 47707 | - | 104M | 0 | 482 | 636 | 966 | 244 | 6 | 47 | 11 | 0.000000e+00 | -- | Inf | unknown
7.37/7.44 c 7.4s| 1 | 0 | 47807 | - | 104M | 0 | 482 | 636 |1010 | 288 | 7 | 47 | 11 | 0.000000e+00 | -- | Inf | unknown
7.47/7.55 c 7.6s| 1 | 0 | 47963 | - | 105M | 0 | 482 | 637 |1044 | 322 | 8 | 48 | 11 | 0.000000e+00 | -- | Inf | unknown
7.56/7.66 c 7.7s| 1 | 0 | 48024 | - | 105M | 0 | 482 | 637 |1056 | 334 | 9 | 48 | 11 | 0.000000e+00 | -- | Inf | unknown
7.66/7.78 c 7.8s| 1 | 0 | 48146 | - | 108M | 0 | 482 | 637 |1078 | 356 | 10 | 48 | 11 | 0.000000e+00 | -- | Inf | unknown
7.76/7.80 c 7.8s| 1 | 0 | 48271 | - | 108M | 0 | 482 | 639 |1094 | 372 | 11 | 50 | 11 | 0.000000e+00 | -- | Inf | unknown
7.97/8.03 c 8.0s| 1 | 2 | 49148 | - | 108M | 0 | 482 | 644 |1094 | 372 | 11 | 55 | 22 | 0.000000e+00 | -- | Inf | unknown
8.37/8.49 c * 8.5s| 78 | 0 | 52956 | 44.6 | LP | 25 | 482 | 648 |1027 |1091 | 0 | 59 | 22 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
8.37/8.49 c
8.37/8.49 c SCIP Status : problem is solved [optimal solution found]
8.37/8.49 c Solving Time (sec) : 8.49
8.37/8.49 c Solving Nodes : 78 (total of 1130 nodes in 2 runs)
8.37/8.49 c Primal Bound : +0.00000000000000e+00 (1 solutions)
8.37/8.49 c Dual Bound : +0.00000000000000e+00
8.37/8.49 c Gap : 0.00 %
8.37/8.49 s SATISFIABLE
8.37/8.49 v x489 -x490 x487 -x488 x485 -x486 x483 -x484 x481 -x482 x479 -x480 x477 -x478 x475 -x476 x473 -x474 -x471 -x472 x469 -x470 -x467
8.37/8.49 v -x468 -x465 -x466 -x463 -x464 -x461 -x462 -x459 -x460 -x457 -x458 x455 -x456 x453 -x454 x451 -x452 x449 -x450 x447 -x448 -x445
8.37/8.49 v x446 -x443 x444 -x441 x442 x439 -x440 -x437 x438 x435 -x436 x433 -x434 x431 -x432 -x429 x430 -x427 x428 -x425 x426 -x423 x424
8.37/8.49 v -x421 -x422 -x419 -x420 -x417 -x418 -x415 x416 -x413 x414 -x411 x412 -x409 x410 -x407 x408 -x405 x406 -x403 x404 -x401 x402
8.37/8.49 v -x399 x400 -x397 x398 -x395 x396 -x393 x394 -x391 x392 x389 -x390 x387 -x388 x385 -x386 x383 -x384 x381 -x382 x379 -x380 x377
8.37/8.49 v -x378 -x375 x376 -x373 x374 -x371 x372 -x369 x370 -x367 x368 -x365 x366 -x363 x364 -x361 x362 -x359 x360 -x357 x358 -x355
8.37/8.49 v x356 x353 -x354 x351 -x352 x349 -x350 -x347 x348 -x345 x346 x343 -x344 x341 -x342 x339 -x340 -x338 -x336 -x334 -x332 -x330 -x328
8.37/8.49 v -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288
8.37/8.49 v -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246
8.37/8.49 v -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 x208 x206 x204 x202
8.37/8.49 v x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 x182 x180 x178 x176 -x174 -x172 -x170 -x168 -x166 -x164 -x162 -x160
8.37/8.49 v -x158 x156 x154 x152 -x150 -x148 -x146 x144 -x142 -x140 -x138 -x136 -x134 -x132 -x130 -x128 -x126 -x124 -x122 -x120 -x118 -x116
8.37/8.49 v -x114 -x112 -x110 -x108 -x106 -x104 -x102 -x100 -x98 -x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 x72 -x70
8.37/8.49 v x68 x66 -x64 -x62 -x60 -x58 -x56 -x54 -x52 -x50 x48 -x46 x44 x42 x40 -x38 -x36 -x34 -x32 -x30 -x28 -x26 x24 -x22 x20 x18 x16
8.37/8.49 v -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 x317 x315 x313 -x311 -x309 -x307 -x305
8.37/8.49 v -x303 -x301 -x299 -x297 -x295 x293 x291 x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 x269 x267 x265 -x263
8.37/8.49 v x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 x245 x243 x241 -x239 x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 x219
8.37/8.49 v x217 -x215 x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177
8.37/8.49 v -x175 -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135
8.37/8.49 v -x133 -x131 -x129 -x127 -x125 -x123 -x121 -x119 -x117 -x115 -x113 -x111 x109 x107 x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91
8.37/8.49 v -x89 -x87 x85 x83 x81 x79 -x77 -x75 -x73 -x71 -x69 -x67 -x65 -x63 -x61 -x59 -x57 -x55 -x53 -x51 -x49 -x47 -x45 -x43 -x41 -x39
8.37/8.49 v -x37 -x35 -x33 -x31 -x29 -x27 -x25 -x23 -x21 -x19 -x17 -x15 -x13 -x11 -x9 -x7 -x5 -x3 -x1
8.37/8.49 c SCIP Status : problem is solved [optimal solution found]
8.37/8.49 c Total Time : 8.49
8.37/8.49 c solving : 8.49
8.37/8.49 c presolving : 0.07 (included in solving)
8.37/8.49 c reading : 0.00 (included in solving)
8.37/8.49 c copying : 0.15 (47 #copies) (minimal 0.00, maximal 0.00, average 0.00)
8.37/8.49 c Original Problem :
8.37/8.49 c Problem name : HOME/instance-4443315-1721298106.opb
8.37/8.49 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
8.37/8.49 c Constraints : 737 initial, 737 maximal
8.37/8.49 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
8.37/8.49 c Presolved Problem :
8.37/8.49 c Problem name : t_HOME/instance-4443315-1721298106.opb
8.37/8.49 c Variables : 482 (482 binary, 0 integer, 0 implicit integer, 0 continuous)
8.37/8.49 c Constraints : 632 initial, 658 maximal
8.37/8.49 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
8.37/8.49 c Nonzeros : 8585 constraint, 8044 clique table
8.37/8.49 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
8.37/8.49 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
8.37/8.49 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
8.37/8.49 c gateextraction : 0.00 0.00 5 0 0 0 0 0 1488 144 0 0
8.37/8.49 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
8.37/8.49 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c milp : 0.00 0.00 1 0 4 0 0 0 0 0 0 0
8.37/8.49 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
8.37/8.49 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c trivial : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
8.37/8.49 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
8.37/8.49 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c probing : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
8.37/8.49 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
8.37/8.49 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
8.37/8.49 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
8.37/8.49 c knapsack : 0.00 0.00 22 0 0 0 0 0 349 1375 0 0
8.37/8.49 c setppc : 0.00 0.00 22 0 4 0 0 0 13 0 0 0
8.37/8.49 c and : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
8.37/8.49 c linear : 0.01 0.00 13 0 0 0 0 0 4 0 0 0
8.37/8.49 c logicor : 0.01 0.00 18 0 0 0 0 0 1 0 0 64
8.37/8.49 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
8.37/8.49 c root node : - - - 0 - - 0 - - - - -
8.37/8.49 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
8.37/8.49 c benderslp : 0 0 0 0 596 0 0 81 0 0 0 0 0 0 0
8.37/8.49 c integral : 0 0 0 0 596 0 0 81 0 0 0 0 0 0 1192
8.37/8.49 c knapsack : 3 3 22 7830 0 0 0 74 54 255 756 0 0 0 0
8.37/8.49 c setppc : 438+ 440 22 7263 0 0 0 26 328 13 3502 10 0 0 0
8.37/8.49 c and : 144 144 1223 7539 0 0 0 1 1825 17 13343 12599 6207 0 0
8.37/8.49 c linear : 5+ 37 23 3550 0 0 0 3 0 1 17 0 0 0 0
8.37/8.49 c logicor : 42+ 44 22 688 0 0 0 0 1 0 1 0 0 0 0
8.37/8.49 c benders : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
8.37/8.49 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
8.37/8.49 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
8.37/8.49 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
8.37/8.49 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c integral : 0.20 0.00 0.00 0.00 0.20 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c knapsack : 0.04 0.00 0.03 0.01 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c setppc : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c and : 0.10 0.00 0.03 0.07 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c Propagators : #Propagate #ResProp Cutoffs DomReds
8.37/8.49 c dualfix : 2 0 0 0
8.37/8.49 c genvbounds : 0 0 0 0
8.37/8.49 c nlobbt : 0 0 0 0
8.37/8.49 c obbt : 0 0 0 0
8.37/8.49 c probing : 0 0 0 0
8.37/8.49 c pseudoobj : 0 0 0 0
8.37/8.49 c redcost : 0 0 0 0
8.37/8.49 c rootredcost : 0 0 0 0
8.37/8.49 c symmetry : 3165 0 0 75
8.37/8.49 c vbounds : 4514 0 0 0
8.37/8.49 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
8.37/8.49 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c probing : 0.04 0.00 0.04 0.00 0.00 0.00
8.37/8.49 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c symmetry : 0.07 0.00 0.00 0.07 0.00 0.00
8.37/8.49 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
8.37/8.49 c Symmetry :
8.37/8.49 c orbitopal red. : 0 reductions applied, 0 cutoffs
8.37/8.49 c orbital reduction: 75 reductions applied, 0 cutoffs
8.37/8.49 c lexicographic red: 4 reductions applied, 0 cutoffs
8.37/8.49 c shadow tree time : 0.00 s
8.37/8.49 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
8.37/8.49 c propagation : 0.00 31 31 - 217 100.5 1 8.0 - - -
8.37/8.49 c infeasible LP : 0.04 406 0 - 0 0.0 0 0.0 0 0.0 0
8.37/8.49 c bound exceed. LP : 0.00 1 0 - 0 0.0 0 0.0 0 0.0 0
8.37/8.49 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
8.37/8.49 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
8.37/8.49 c applied globally : 0.00 - - 0 55 21.7 - - 0 - -
8.37/8.49 c applied locally : - - - 0 4 110.8 - - 0 - -
8.37/8.49 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
8.37/8.49 c cut pool : 0.22 - 155 42 - - 7851 11881 - - - - - (maximal pool size: 4444)
8.37/8.49 c aggregation : 0.18 0.00 44 22 0 0 593 1064 0 113 113 0 0
8.37/8.49 c > cmir : - - - - - - - 897 0 66 66 0 -
8.37/8.49 c > flowcover : - - - - - - - 3 0 0 0 0 -
8.37/8.49 c > knapsackcover : - - - - - - - 164 0 47 47 0 -
8.37/8.49 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c clique : 0.02 0.00 22 22 0 0 0 0 0 0 0 0 0
8.37/8.49 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c gomory : 2.81 0.00 42 20 0 0 4970 6011 10 71 71 0 0
8.37/8.49 c > gomorymi : - - - - - - - 3819 5 42 42 0 -
8.37/8.49 c > strongcg : - - - - - - - 2192 5 29 29 0 -
8.37/8.49 c impliedbounds : 0.01 0.00 44 22 0 0 2253 4737 0 1056 1056 0 0
8.37/8.49 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
8.37/8.49 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c multilinear : 0.00 0.00 157 22 0 0 0 0 0 0 0 0 0
8.37/8.49 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.37/8.49 c rapidlearning : 1.38 0.00 42 2 0 436 0 0 0 0 0 0 425
8.37/8.49 c rlt : 0.02 0.00 32 20 0 0 0 0 0 0 0 0 0
8.37/8.49 c zerohalf : 0.03 0.00 44 22 0 0 59 69 14 4 3 1 0
8.37/8.49 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
8.37/8.49 c hybrid : 0.04 0.00 927 22 7451 0 16891 808 0 10421
8.37/8.49 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c Pricers : ExecTime SetupTime Calls Vars
8.37/8.49 c problem variables: 0.00 - 0 0
8.37/8.49 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
8.37/8.49 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c random : 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c relpscost : 0.20 0.00 596 0 0 0 0 0 0 1192
8.37/8.49 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
8.37/8.49 c Primal Heuristics : ExecTime SetupTime Calls Found Best
8.37/8.49 c LP solutions : 0.00 - - 0 0
8.37/8.49 c relax solutions : 0.00 - - 0 0
8.37/8.49 c pseudo solutions : 0.00 - - 0 0
8.37/8.49 c strong branching : 0.00 - - 0 0
8.37/8.49 c actconsdiving : 0.00 0.00 0 0 0
8.37/8.49 c adaptivediving : 0.06 0.00 3 0 0
8.37/8.49 c alns : 0.10 0.00 3 0 0
8.37/8.49 c bound : 0.00 0.00 0 0 0
8.37/8.49 c clique : 0.00 0.00 1 0 0
8.37/8.49 c coefdiving : 0.00 0.00 0 0 0
8.37/8.49 c completesol : 0.00 0.00 0 0 0
8.37/8.49 c conflictdiving : 0.08 0.00 3 0 0
8.37/8.49 c crossover : 0.00 0.00 0 0 0
8.37/8.49 c dins : 0.00 0.00 0 0 0
8.37/8.49 c distributiondivin: 0.13 0.00 2 0 0
8.37/8.49 c dps : 0.00 0.00 0 0 0
8.37/8.49 c dualval : 0.00 0.00 0 0 0
8.37/8.49 c farkasdiving : 0.00 0.00 0 0 0
8.37/8.49 c feasjump : 0.06 0.00 2 0 0
8.37/8.49 c feaspump : 0.01 0.00 2 0 0
8.37/8.49 c fixandinfer : 0.00 0.00 0 0 0
8.37/8.49 c fracdiving : 0.04 0.00 2 0 0
8.37/8.49 c gins : 0.00 0.00 0 0 0
8.37/8.49 c guideddiving : 0.00 0.00 0 0 0
8.37/8.49 c indcoefdiving : 0.00 0.00 0 0 0
8.37/8.49 c indicator : 0.00 0.00 0 0 0
8.37/8.49 c indicatordiving : 0.00 0.00 0 0 0
8.37/8.49 c indoneopt : 0.00 0.00 0 0 0
8.37/8.49 c indrounding : 0.00 0.00 0 0 0
8.37/8.49 c indtwoopt : 0.00 0.00 0 0 0
8.37/8.49 c intdiving : 0.00 0.00 0 0 0
8.37/8.49 c intshifting : 0.00 0.00 0 0 0
8.37/8.49 c linesearchdiving : 0.01 0.00 1 0 0
8.37/8.49 c localbranching : 0.00 0.00 0 0 0
8.37/8.49 c locks : 0.00 0.00 1 0 0
8.37/8.49 c lpface : 0.00 0.00 0 0 0
8.37/8.49 c mpec : 0.00 0.00 0 0 0
8.37/8.49 c multistart : 0.00 0.00 0 0 0
8.37/8.49 c mutation : 0.00 0.00 0 0 0
8.37/8.49 c nlpdiving : 0.00 0.00 0 0 0
8.37/8.49 c objpscostdiving : 0.08 0.00 1 0 0
8.37/8.49 c octane : 0.00 0.00 0 0 0
8.37/8.49 c ofins : 0.00 0.00 0 0 0
8.37/8.49 c oneopt : 0.00 0.00 0 0 0
8.37/8.49 c padm : 0.00 0.00 0 0 0
8.37/8.49 c proximity : 0.00 0.00 0 0 0
8.37/8.49 c pscostdiving : 0.05 0.00 2 0 0
8.37/8.49 c randrounding : 0.04 0.00 88 0 0
8.37/8.49 c rens : 0.20 0.00 2 0 0
8.37/8.49 c reoptsols : 0.00 0.00 0 0 0
8.37/8.49 c repair : 0.00 0.00 0 0 0
8.37/8.49 c rins : 0.00 0.00 0 0 0
8.37/8.49 c rootsoldiving : 0.03 0.00 1 0 0
8.37/8.49 c rounding : 0.02 0.00 511 0 0
8.37/8.49 c scheduler : 0.00 0.00 0 0 0
8.37/8.49 c shiftandpropagate: 0.01 0.00 2 0 0
8.37/8.49 c shifting : 0.04 0.00 110 0 0
8.37/8.49 c simplerounding : 0.00 0.00 0 0 0
8.37/8.49 c smallcard : 0.00 0.00 0 0 0
8.37/8.49 c subnlp : 0.00 0.00 0 0 0
8.37/8.49 c trivial : 0.00 0.00 4 0 0
8.37/8.49 c trivialnegation : 0.00 0.00 0 0 0
8.37/8.49 c trustregion : 0.00 0.00 0 0 0
8.37/8.49 c trysol : 0.00 0.00 0 0 0
8.37/8.49 c twoopt : 0.00 0.00 0 0 0
8.37/8.49 c undercover : 0.01 0.00 1 0 0
8.37/8.49 c vbounds : 0.00 0.00 2 0 0
8.37/8.49 c veclendiving : 0.03 0.00 2 0 0
8.37/8.49 c zeroobj : 0.00 0.00 0 0 0
8.37/8.49 c zirounding : 0.03 0.00 595 0 0
8.37/8.49 c other solutions : - - - 0 -
8.37/8.49 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
8.37/8.49 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
8.37/8.49 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
8.37/8.49 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
8.37/8.49 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
8.37/8.49 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
8.37/8.49 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
8.37/8.49 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
8.37/8.49 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
8.37/8.49 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
8.37/8.49 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
8.37/8.49 c primal LP : 0.00 24 0 0.00 - 0.00 24
8.37/8.49 c dual LP : 1.94 1929 44650 23.15 23046.79 0.00 0
8.37/8.49 c lex dual LP : 0.00 0 0 0.00 -
8.37/8.49 c barrier LP : 0.00 0 0 0.00 - 0.00 0
8.37/8.49 c resolve instable : 0.00 0 0 0.00 -
8.37/8.49 c diving/probing LP: 0.39 131 8306 63.40 21408.76
8.37/8.49 c strong branching : 0.16 22 3497 158.95 21546.65 - - 0
8.37/8.49 c (at root node) : - 22 3497 158.95 -
8.37/8.49 c conflict analysis: 0.00 1 0 0.00 -
8.37/8.49 c B&B Tree :
8.37/8.49 c number of runs : 2
8.37/8.49 c nodes : 78 (53 internal, 25 leaves)
8.37/8.49 c feasible leaves : 0
8.37/8.49 c infeas. leaves : 24
8.37/8.49 c objective leaves : 1
8.37/8.49 c nodes (total) : 1130 (596 internal, 534 leaves)
8.37/8.49 c nodes left : 0
8.37/8.49 c max depth : 25
8.37/8.49 c max depth (total): 40
8.37/8.49 c backtracks : 13 (16.7%)
8.37/8.49 c early backtracks : 0 (0.0%)
8.37/8.49 c nodes exc. ref. : 0 (0.0%)
8.37/8.49 c delayed cutoffs : 0
8.37/8.49 c repropagations : 0 (0 domain reductions, 0 cutoffs)
8.37/8.49 c avg switch length: 2.79
8.37/8.49 c switching time : 0.05
8.37/8.49 c Root Node :
8.37/8.49 c First LP value : +0.00000000000000e+00
8.37/8.49 c First LP Iters : 180 (78192.88 Iter/sec)
8.37/8.49 c First LP Time : 0.00
8.37/8.49 c Final Dual Bound : +0.00000000000000e+00
8.37/8.49 c Final Root Iters : 2583
8.37/8.49 c Root LP Estimate : +1.18828701532147e-02
8.37/8.49 c Solution :
8.37/8.49 c Solutions found : 1 (1 improvements)
8.37/8.49 c First Solution : +0.00000000000000e+00 (in run 2, after 78 nodes, 8.49 seconds, depth 20, found by <relaxation>)
8.37/8.49 c Gap First Sol. : 0.00 %
8.37/8.49 c Gap Last Sol. : 0.00 %
8.37/8.49 c Primal Bound : +0.00000000000000e+00 (in run 2, after 78 nodes, 8.49 seconds, depth 20, found by <relaxation>)
8.37/8.49 c Dual Bound : +0.00000000000000e+00
8.37/8.49 c Gap : 0.00 %
8.37/8.49 c Integrals : Total Avg%
8.37/8.49 c primal-dual : 848.72 99.98
8.37/8.49 c primal-ref : - - (not evaluated)
8.37/8.49 c dual-ref : - - (not evaluated)
8.47/8.55 c Time complete: 8.52255.