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-4448715-1721367638.opb>
0.00/0.00 c original problem has 541 variables (541 bin, 0 int, 0 impl, 0 cont) and 271 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.00 c (round 1, fast) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.00 c (0.0s) MILP presolver found nothing
0.00/0.01 c (0.0s) probing: 51/540 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.01 c dynamic symmetry handling statistics:
0.00/0.01 c orbitopal reduction: no components
0.00/0.01 c orbital reduction: 1 components of sizes 1
0.00/0.01 c lexicographic reduction: 2 permutations with support sizes 360, 535
0.00/0.01 c handled 1 out of 1 symmetry components
0.00/0.01 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
0.00/0.01 c 1 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 270 constraints
0.00/0.01 c 270 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.99701
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.01 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.01 c limits/solutions = 1
0.00/0.01 c
0.00/0.01 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.01 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.01 c misc/usesymmetry = 3
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.01 c
0.00/0.01 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.01 c
0.00/0.01 c # Type of symmetries that shall be computed?
0.00/0.01 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.01 c propagating/symmetry/symtype = 1
0.00/0.01 c
0.00/0.01 c # Should components consisting of a single full reflection be handled?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.03 c 0.0s| 1 | 0 | 287 | - | 6464k | 0 | 540 | 279 | 270 | 0 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.1s| 1 | 0 | 323 | - | 6810k | 0 | 540 | 402 | 273 | 3 | 1 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.1s| 1 | 0 | 328 | - | 6979k | 0 | 540 | 402 | 276 | 6 | 2 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 331 | - | 7147k | 0 | 540 | 402 | 279 | 9 | 3 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 335 | - | 7359k | 0 | 540 | 402 | 282 | 12 | 4 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 341 | - | 7543k | 0 | 540 | 405 | 285 | 15 | 5 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 347 | - | 8026k | 0 | 540 | 405 | 288 | 18 | 6 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 353 | - | 8153k | 0 | 540 | 405 | 290 | 20 | 7 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 366 | - | 9076k | 0 | 540 | 405 | 292 | 22 | 8 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 379 | - | 9106k | 0 | 540 | 405 | 293 | 23 | 9 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 387 | - | 9137k | 0 | 540 | 405 | 296 | 26 | 10 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 389 | - | 9168k | 0 | 540 | 407 | 297 | 27 | 11 | 14 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 390 | - | 9200k | 0 | 540 | 407 | 294 | 28 | 12 | 14 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 391 | - | 9228k | 0 | 540 | 407 | 295 | 29 | 13 | 14 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 392 | - | 9259k | 0 | 540 | 407 | 296 | 30 | 14 | 14 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.08 c 0.1s| 1 | 0 | 394 | - | 9259k | 0 | 540 | 407 | 297 | 31 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 399 | - | 9259k | 0 | 540 | 409 | 298 | 32 | 16 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 405 | - | 9291k | 0 | 540 | 409 | 299 | 33 | 17 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 406 | - | 9322k | 0 | 540 | 409 | 290 | 34 | 18 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 409 | - | 9322k | 0 | 540 | 409 | 291 | 35 | 19 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 413 | - | 9353k | 0 | 540 | 409 | 292 | 36 | 20 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.10 c 0.1s| 1 | 2 | 459 | - | 9356k | 0 | 540 | 417 | 292 | 36 | 21 | 24 | 10 | 0.000000e+00 | -- | Inf | unknown
0.50/0.53 c 0.5s| 100 | 101 | 3416 | 30.3 | 10M | 37 | 540 | 523 | 276 | 48 | 1 | 130 | 10 | 0.000000e+00 | -- | Inf | unknown
0.69/0.71 c 0.7s| 200 | 197 | 4941 | 22.8 | 10M | 42 | 540 | 622 | 276 | 56 | 1 | 229 | 10 | 0.000000e+00 | -- | Inf | unknown
0.89/1.00 c 1.0s| 300 | 291 | 6466 | 20.2 | 10M | 43 | 540 | 704 | 276 | 113 | 1 | 311 | 10 | 0.000000e+00 | -- | Inf | unknown
1.09/1.17 c 1.2s| 400 | 387 | 7999 | 19.0 | 10M | 56 | 540 | 796 | 284 | 191 | 1 | 405 | 10 | 0.000000e+00 | -- | Inf | unknown
1.19/1.23 c 1.2s| 500 | 479 | 8522 | 16.3 | 11M | 75 | 540 | 841 | 284 | 191 | 1 | 450 | 10 | 0.000000e+00 | -- | Inf | unknown
1.29/1.37 c 1.4s| 600 | 564 | 8854 | 14.1 | 11M | 80 | 540 | 898 | 284 | 191 | 1 | 507 | 10 | 0.000000e+00 | -- | Inf | unknown
1.39/1.45 c 1.4s| 700 | 649 | 9340 | 12.8 | 11M | 80 | 540 | 940 | 276 | 200 | 1 | 549 | 10 | 0.000000e+00 | -- | Inf | unknown
1.58/1.65 c 1.6s| 800 | 728 | 9991 | 12.0 | 12M | 80 | 540 |1009 | 278 | 234 | 1 | 618 | 10 | 0.000000e+00 | -- | Inf | unknown
1.68/1.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.68/1.79 c 1.8s| 900 | 808 | 10462 | 11.2 | 12M | 80 | 540 |1083 | 284 | 243 | 1 | 693 | 10 | 0.000000e+00 | -- | Inf | unknown
1.99/2.02 c 2.0s| 1000 | 888 | 11392 | 11.0 | 12M | 80 | 540 |1119 | 272 | 260 | 0 | 729 | 10 | 0.000000e+00 | -- | Inf | unknown
2.09/2.17 c 2.2s| 1100 | 982 | 12263 | 10.8 | 12M | 80 | 540 |1210 | 273 | 281 | 1 | 824 | 10 | 0.000000e+00 | -- | Inf | unknown
2.28/2.30 c 2.3s| 1200 | 1073 | 13069 | 10.6 | 12M | 80 | 540 |1288 | 273 | 316 | 1 | 904 | 10 | 0.000000e+00 | -- | Inf | unknown
2.48/2.51 c 2.5s| 1300 | 1160 | 14130 | 10.6 | 12M | 80 | 540 |1390 | 274 | 348 | 1 |1006 | 10 | 0.000000e+00 | -- | Inf | unknown
2.58/2.67 c 2.7s| 1400 | 1248 | 14986 | 10.4 | 12M | 80 | 540 |1421 | 272 | 371 | 1 |1038 | 10 | 0.000000e+00 | -- | Inf | unknown
2.68/2.79 c 2.8s| 1500 | 1346 | 16177 | 10.5 | 13M | 80 | 540 |1472 | 272 | 424 | 1 |1090 | 10 | 0.000000e+00 | -- | Inf | unknown
2.78/2.88 c 2.9s| 1600 | 1420 | 16895 | 10.3 | 13M | 80 | 540 |1554 | 277 | 489 | 1 |1174 | 10 | 0.000000e+00 | -- | Inf | unknown
2.88/3.00 c 3.0s| 1700 | 1502 | 17601 | 10.1 | 14M | 80 | 540 |1622 | 278 | 551 | 1 |1244 | 10 | 0.000000e+00 | -- | Inf | unknown
3.08/3.17 c 3.2s| 1800 | 1590 | 18872 | 10.3 | 14M | 80 | 540 |1761 | 276 | 649 | 2 |1399 | 10 | 0.000000e+00 | -- | Inf | unknown
3.18/3.26 c 3.3s| 1900 | 1674 | 19809 | 10.2 | 14M | 80 | 540 |1797 | 276 | 688 | 1 |1435 | 10 | 0.000000e+00 | -- | Inf | unknown
3.28/3.37 c 3.4s| 2000 | 1760 | 20576 | 10.1 | 14M | 80 | 540 |1847 | 276 | 742 | 1 |1493 | 10 | 0.000000e+00 | -- | Inf | unknown
3.38/3.45 c 3.4s| 2100 | 1842 | 21271 | 9.9 | 15M | 80 | 540 |1876 | 284 | 771 | 0 |1531 | 10 | 0.000000e+00 | -- | Inf | unknown
3.48/3.52 c 3.5s| 2200 | 1912 | 21918 | 9.8 | 15M | 80 | 540 |1941 | 276 | 789 | 1 |1606 | 10 | 0.000000e+00 | -- | Inf | unknown
3.48/3.58 c 3.6s| 2300 | 1960 | 22273 | 9.5 | 15M | 80 | 540 |1977 | 275 | 821 | 1 |1651 | 10 | 0.000000e+00 | -- | Inf | unknown
3.67/3.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.67/3.71 c 3.7s| 2400 | 2053 | 23337 | 9.6 | 15M | 80 | 540 |2070 | 277 | 855 | 1 |1756 | 10 | 0.000000e+00 | -- | Inf | unknown
3.77/3.84 c 3.8s| 2500 | 2132 | 24360 | 9.6 | 16M | 80 | 540 |2157 | 278 | 888 | 1 |1851 | 10 | 0.000000e+00 | -- | Inf | unknown
3.87/3.97 c 4.0s| 2600 | 2213 | 25066 | 9.5 | 16M | 80 | 540 |2253 | 276 | 930 | 1 |1953 | 10 | 0.000000e+00 | -- | Inf | unknown
3.98/4.07 c 4.1s| 2700 | 2287 | 25686 | 9.4 | 16M | 80 | 540 |2296 | 279 | 954 | 1 |2005 | 10 | 0.000000e+00 | -- | Inf | unknown
4.08/4.16 c 4.2s| 2800 | 2375 | 26422 | 9.3 | 16M | 80 | 540 |2394 | 276 |1002 | 1 |2110 | 10 | 0.000000e+00 | -- | Inf | unknown
4.17/4.29 c 4.3s| 2900 | 2463 | 27297 | 9.3 | 16M | 104 | 540 |2451 | 277 |1057 | 1 |2176 | 10 | 0.000000e+00 | -- | Inf | unknown
4.57/4.60 c 4.6s| 3000 | 2553 | 27989 | 9.2 | 16M | 109 | 540 |2545 | 277 |1118 | 1 |2273 | 10 | 0.000000e+00 | -- | Inf | unknown
4.87/4.94 c 4.9s| 3100 | 2649 | 28767 | 9.1 | 16M | 109 | 540 |2603 | 276 |1182 | 1 |2337 | 10 | 0.000000e+00 | -- | Inf | unknown
4.87/4.94 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.87/4.94 c (run 1, node 3105) performing user restart
4.87/4.94 c
4.87/4.94 c (restart) converted 6 cuts from the global cut pool into linear constraints
4.87/4.94 c
4.87/4.95 c presolving:
4.87/4.95 c (round 1, fast) 0 del vars, 85 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
4.87/4.95 c (round 2, exhaustive) 0 del vars, 100 del conss, 0 add conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
4.87/4.95 c (round 3, exhaustive) 0 del vars, 100 del conss, 0 add conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 114 upgd conss, 0 impls, 0 clqs
4.87/4.96 c (round 4, exhaustive) 0 del vars, 161 del conss, 0 add conss, 0 chg bounds, 15 chg sides, 197 chg coeffs, 114 upgd conss, 0 impls, 0 clqs
4.87/4.97 c (round 5, exhaustive) 0 del vars, 172 del conss, 0 add conss, 0 chg bounds, 15 chg sides, 197 chg coeffs, 114 upgd conss, 0 impls, 0 clqs
4.87/4.98 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
4.87/4.98 c 0 deleted vars, 172 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 15 changed sides, 197 changed coefficients
4.87/4.98 c 0 implications, 0 cliques
4.87/4.98 c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 2437 constraints
4.87/4.98 c 83 constraints of type <knapsack>
4.87/4.98 c 289 constraints of type <linear>
4.87/4.98 c 2065 constraints of type <logicor>
4.87/4.98 c transformed objective value is always integral (scale: 1)
4.87/4.98 c Presolving Time: 0.03
4.87/4.98 c
4.87/4.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.87/4.99 c 5.0s| 1 | 0 | 29089 | - | 17M | 0 | 540 |2441 | 276 | 0 | 0 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.05 c 5.0s| 1 | 0 | 29091 | - | 17M | 0 | 540 |2630 | 278 | 2 | 1 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.05 c 5.0s| 1 | 0 | 29092 | - | 17M | 0 | 540 |2630 | 281 | 5 | 2 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.05 c 5.1s| 1 | 0 | 29097 | - | 17M | 0 | 540 |2630 | 284 | 8 | 3 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.05 c 5.1s| 1 | 0 | 29102 | - | 17M | 0 | 540 |2630 | 287 | 11 | 4 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.05 c 5.1s| 1 | 0 | 29105 | - | 17M | 0 | 540 |2630 | 289 | 13 | 5 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.06 c 5.1s| 1 | 0 | 29125 | - | 17M | 0 | 540 |2630 | 293 | 17 | 6 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.06 c 5.1s| 1 | 0 | 29128 | - | 17M | 0 | 540 |2630 | 294 | 18 | 7 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.06 c 5.1s| 1 | 0 | 29137 | - | 17M | 0 | 540 |2630 | 297 | 21 | 8 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.07 c 5.1s| 1 | 0 | 29141 | - | 17M | 0 | 540 |2630 | 299 | 23 | 9 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.07 c 5.1s| 1 | 0 | 29151 | - | 17M | 0 | 540 |2630 | 305 | 29 | 10 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.07 c 5.1s| 1 | 0 | 29153 | - | 17M | 0 | 540 |2630 | 301 | 32 | 11 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.08 c 5.1s| 1 | 0 | 29158 | - | 17M | 0 | 540 |2630 | 302 | 33 | 12 |2341 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.08 c 5.1s| 1 | 0 | 29175 | - | 17M | 0 | 540 |2632 | 305 | 36 | 13 |2343 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.08 c 5.1s| 1 | 0 | 29188 | - | 17M | 0 | 540 |2634 | 306 | 37 | 14 |2345 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.97/5.09 c 5.1s| 1 | 0 | 29191 | - | 18M | 0 | 540 |2634 | 307 | 38 | 15 |2345 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.09 c 5.1s| 1 | 0 | 29202 | - | 18M | 0 | 540 |2634 | 308 | 39 | 16 |2345 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.09 c 5.1s| 1 | 0 | 29206 | - | 18M | 0 | 540 |2634 | 294 | 40 | 17 |2345 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.09 c 5.1s| 1 | 0 | 29215 | - | 18M | 0 | 540 |2634 | 296 | 42 | 18 |2345 | 10 | 0.000000e+00 | -- | Inf | unknown
5.07/5.12 c 5.1s| 1 | 2 | 29230 | - | 18M | 0 | 540 |2634 | 296 | 42 | 18 |2345 | 20 | 0.000000e+00 | -- | Inf | unknown
5.57/5.68 c 5.7s| 100 | 95 | 32269 | 9.8 | 20M | 12 | 540 |2960 | 277 | 324 | 1 |2676 | 20 | 0.000000e+00 | -- | Inf | unknown
5.97/6.02 c 6.0s| 200 | 193 | 35369 | 10.5 | 22M | 28 | 540 |3185 | 270 | 576 | 1 |2910 | 20 | 0.000000e+00 | -- | Inf | unknown
6.57/6.66 c 6.7s| 300 | 289 | 36389 | 10.4 | 22M | 32 | 540 |3233 | 270 | 576 | 1 |2965 | 20 | 0.000000e+00 | -- | Inf | unknown
6.67/6.74 c 6.7s| 400 | 389 | 37300 | 10.4 | 22M | 44 | 540 |3300 | 270 | 613 | 1 |3037 | 20 | 0.000000e+00 | -- | Inf | unknown
6.86/6.97 c 7.0s| 500 | 487 | 37697 | 10.2 | 22M | 54 | 540 |3317 | 274 | 631 | 1 |3059 | 20 | 0.000000e+00 | -- | Inf | unknown
6.97/7.00 c 7.0s| 600 | 585 | 38076 | 10.1 | 22M | 61 | 540 |3338 | 270 | 635 | 1 |3083 | 20 | 0.000000e+00 | -- | Inf | unknown
7.07/7.12 c 7.1s| 700 | 685 | 38588 | 9.9 | 22M | 61 | 540 |3364 | 271 | 660 | 1 |3115 | 20 | 0.000000e+00 | -- | Inf | unknown
7.07/7.16 c 7.2s| 800 | 781 | 39011 | 9.8 | 22M | 77 | 540 |3384 | 274 | 664 | 1 |3142 | 20 | 0.000000e+00 | -- | Inf | unknown
7.16/7.26 c 7.3s| 900 | 865 | 39544 | 9.7 | 22M | 86 | 540 |3420 | 276 | 671 | 1 |3188 | 20 | 0.000000e+00 | -- | Inf | unknown
7.26/7.38 c 7.4s| 1000 | 956 | 40255 | 9.6 | 23M | 86 | 540 |3494 | 272 | 703 | 1 |3273 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.36/7.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.36/7.44 c 7.4s| 1100 | 1046 | 40901 | 9.5 | 23M | 86 | 540 |3523 | 274 | 743 | 1 |3314 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.46/7.50 c 7.5s| 1200 | 1136 | 41557 | 9.5 | 23M | 86 | 540 |3555 | 279 | 775 | 2 |3356 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.46/7.55 c 7.5s| 1300 | 1232 | 42163 | 9.4 | 23M | 86 | 540 |3602 | 279 | 795 | 1 |3413 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.56/7.61 c 7.6s| 1400 | 1317 | 42787 | 9.3 | 23M | 86 | 540 |3639 | 278 | 839 | 1 |3468 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.56/7.67 c 7.7s| 1500 | 1409 | 43472 | 9.3 | 23M | 86 | 540 |3679 | 278 | 864 | 1 |3531 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.66/7.73 c 7.7s| 1600 | 1505 | 44029 | 9.2 | 23M | 86 | 540 |3691 | 276 | 907 | 1 |3560 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.76/7.86 c 7.9s| 1700 | 1582 | 44693 | 9.1 | 23M | 86 | 540 |3728 | 278 | 991 | 1 |3624 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.86/7.91 c 7.9s| 1800 | 1642 | 45276 | 9.1 | 23M | 86 | 540 |3755 | 270 |1033 | 1 |3700 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.86/7.98 c 8.0s| 1900 | 1740 | 46014 | 9.0 | 23M | 86 | 540 |3792 | 277 |1077 | 1 |3764 | 20 | 0.000000e+00 | -- | Inf | 0.59%
7.97/8.05 c 8.1s| 2000 | 1789 | 46837 | 9.0 | 23M | 86 | 540 |3818 | 275 |1144 | 1 |3850 | 20 | 0.000000e+00 | -- | Inf | 0.59%
8.06/8.12 c 8.1s| 2100 | 1869 | 47647 | 9.0 | 23M | 86 | 540 |3816 | 274 |1209 | 1 |3909 | 20 | 0.000000e+00 | -- | Inf | 0.59%
8.26/8.33 c 8.3s| 2200 | 1957 | 49002 | 9.1 | 24M | 86 | 540 |3851 | 270 |1289 | 1 |4013 | 20 | 0.000000e+00 | -- | Inf | 0.68%
8.36/8.43 c 8.4s| 2300 | 2047 | 50036 | 9.1 | 25M | 86 | 540 |3841 | 275 |1365 | 1 |4051 | 20 | 0.000000e+00 | -- | Inf | 0.68%
8.66/8.72 c 8.7s| 2400 | 2071 | 50605 | 9.0 | 25M | 86 | 540 |3843 | 277 |1400 | 1 |4103 | 20 | 0.000000e+00 | -- | Inf | 0.68%
8.76/8.80 c 8.8s| 2500 | 2159 | 51278 | 9.0 | 25M | 86 | 540 |3832 | 281 |1446 | 1 |4133 | 20 | 0.000000e+00 | -- | Inf | 0.68%
8.76/8.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.76/8.87 c 8.9s| 2600 | 2253 | 51961 | 9.0 | 25M | 86 | 540 |3822 | 283 |1509 | 1 |4181 | 20 | 0.000000e+00 | -- | Inf | 0.68%
8.86/8.94 c 8.9s| 2700 | 2349 | 52506 | 8.9 | 25M | 86 | 540 |3788 | 281 |1580 | 1 |4208 | 20 | 0.000000e+00 | -- | Inf | 0.68%
8.96/9.02 c 9.0s| 2800 | 2443 | 53306 | 8.9 | 25M | 86 | 540 |3783 | 288 |1680 | 2 |4235 | 20 | 0.000000e+00 | -- | Inf | 0.68%
9.06/9.14 c 9.1s| 2900 | 2530 | 53909 | 8.8 | 25M | 86 | 540 |3780 | 276 |1689 | 1 |4300 | 20 | 0.000000e+00 | -- | Inf | 0.68%
9.35/9.40 c 9.4s| 3000 | 2591 | 54734 | 8.8 | 25M | 86 | 540 |3748 | 276 |1737 | 1 |4337 | 20 | 0.000000e+00 | -- | Inf | 0.70%
9.45/9.53 c 9.5s| 3100 | 2683 | 55402 | 8.8 | 25M | 86 | 540 |3720 | 274 |1762 | 1 |4385 | 20 | 0.000000e+00 | -- | Inf | 0.70%
9.55/9.61 c 9.6s| 3200 | 2774 | 56429 | 8.8 | 25M | 86 | 540 |3689 | 274 |1835 | 1 |4415 | 20 | 0.000000e+00 | -- | Inf | 0.70%
9.65/9.71 c 9.7s| 3300 | 2865 | 57587 | 8.9 | 25M | 86 | 540 |3686 | 274 |1911 | 1 |4460 | 20 | 0.000000e+00 | -- | Inf | 0.70%
9.65/9.79 c 9.8s| 3400 | 2963 | 58286 | 8.8 | 26M | 86 | 540 |3687 | 274 |1995 | 1 |4565 | 20 | 0.000000e+00 | -- | Inf | 0.70%
9.75/9.86 c 9.9s| 3500 | 3055 | 58985 | 8.8 | 26M | 86 | 540 |3692 | 275 |2051 | 1 |4645 | 20 | 0.000000e+00 | -- | Inf | 0.70%
9.85/9.93 c 9.9s| 3600 | 3151 | 59746 | 8.8 | 26M | 86 | 540 |3671 | 276 |2126 | 1 |4707 | 20 | 0.000000e+00 | -- | Inf | 0.70%
9.85/9.98 c 10.0s| 3700 | 3239 | 60217 | 8.7 | 26M | 86 | 540 |3658 | 287 |2175 | 1 |4722 | 20 | 0.000000e+00 | -- | Inf | 0.70%
9.96/10.05 c 10.0s| 3800 | 3317 | 60913 | 8.7 | 26M | 86 | 540 |3633 | 287 |2200 | 1 |4764 | 20 | 0.000000e+00 | -- | Inf | 0.70%
9.96/10.08 c 10.1s| 3900 | 3390 | 61368 | 8.6 | 26M | 90 | 540 |3638 | 290 |2200 | 1 |4798 | 20 | 0.000000e+00 | -- | Inf | 0.70%
10.06/10.12 c 10.1s| 4000 | 3439 | 61662 | 8.6 | 27M | 90 | 540 |3630 | 287 |2200 | 1 |4826 | 20 | 0.000000e+00 | -- | Inf | 0.70%
10.06/10.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.06/10.18 c 10.2s| 4100 | 3505 | 62402 | 8.5 | 27M | 90 | 540 |3578 | 275 |2234 | 1 |4891 | 20 | 0.000000e+00 | -- | Inf | 0.70%
10.15/10.27 c 10.3s| 4200 | 3588 | 63112 | 8.5 | 27M | 90 | 540 |3560 | 286 |2308 | 1 |4994 | 20 | 0.000000e+00 | -- | Inf | 0.70%
10.25/10.33 c 10.3s| 4300 | 3673 | 63704 | 8.5 | 27M | 90 | 540 |3587 | 276 |2374 | 1 |5080 | 20 | 0.000000e+00 | -- | Inf | 0.70%
10.35/10.42 c 10.4s| 4400 | 3747 | 64601 | 8.5 | 28M | 90 | 540 |3620 | 285 |2480 | 1 |5180 | 20 | 0.000000e+00 | -- | Inf | 0.70%
10.45/10.51 c 10.5s| 4500 | 3835 | 65528 | 8.5 | 30M | 90 | 540 |3658 | 286 |2583 | 1 |5259 | 20 | 0.000000e+00 | -- | Inf | 0.70%
10.45/10.58 c
10.45/10.58 c SCIP Status : problem is solved [infeasible]
10.45/10.58 c Solving Time (sec) : 10.58
10.45/10.58 c Solving Nodes : 4562 (total of 7667 nodes in 2 runs)
10.45/10.58 c Primal Bound : +1.00000000000000e+20 (0 solutions)
10.45/10.58 c Dual Bound : +1.00000000000000e+20
10.45/10.58 c Gap : 0.00 %
10.45/10.58 s UNSATISFIABLE
10.45/10.58 c SCIP Status : problem is solved [infeasible]
10.45/10.58 c Total Time : 10.58
10.45/10.58 c solving : 10.58
10.45/10.58 c presolving : 0.03 (included in solving)
10.45/10.58 c reading : 0.00 (included in solving)
10.45/10.58 c copying : 0.56 (105 #copies) (minimal 0.00, maximal 0.01, average 0.01)
10.45/10.58 c Original Problem :
10.45/10.58 c Problem name : HOME/instance-4448715-1721367638.opb
10.45/10.58 c Variables : 541 (541 binary, 0 integer, 0 implicit integer, 0 continuous)
10.45/10.58 c Constraints : 271 initial, 271 maximal
10.45/10.58 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
10.45/10.58 c Presolved Problem :
10.45/10.58 c Problem name : t_HOME/instance-4448715-1721367638.opb
10.45/10.58 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
10.45/10.58 c Constraints : 2437 initial, 3858 maximal
10.45/10.58 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
10.45/10.58 c Nonzeros : 28523 constraint, 0 clique table
10.45/10.58 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
10.45/10.58 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
10.45/10.58 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.58 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
10.45/10.58 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.58 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.58 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c trivial : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
10.45/10.58 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c dualfix : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
10.45/10.58 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.58 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.58 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.58 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c knapsack : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
10.45/10.58 c linear : 0.00 0.00 14 0 1 0 0 0 16 0 15 0
10.45/10.58 c logicor : 0.02 0.00 14 0 0 0 0 0 157 0 0 197
10.45/10.58 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
10.45/10.58 c root node : - - - 0 - - 0 - - - - -
10.45/10.58 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
10.45/10.58 c benderslp : 0 0 0 0 7218 0 0 985 0 0 0 0 0 0 0
10.45/10.58 c integral : 0 0 0 0 7218 0 0 985 0 0 0 0 0 0 14436
10.45/10.58 c knapsack : 83+ 88 18 54429 0 0 0 0 4006 314 2649 0 0 0 0
10.45/10.58 c linear : 289+ 500 41 55866 0 0 0 983 17289 1421 6187 6 3 0 0
10.45/10.58 c logicor : 2065+ 3304 39 28944 0 0 0 0 1256 161 563 11 4 0 0
10.45/10.58 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
10.45/10.58 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c integral : 0.10 0.00 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c knapsack : 0.06 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c linear : 0.16 0.00 0.00 0.15 0.00 0.00 0.00 0.01 0.01 0.00
10.45/10.58 c logicor : 0.11 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c Propagators : #Propagate #ResProp Cutoffs DomReds
10.45/10.58 c dualfix : 2 0 0 0
10.45/10.58 c genvbounds : 0 0 0 0
10.45/10.58 c nlobbt : 0 0 0 0
10.45/10.58 c obbt : 0 0 0 0
10.45/10.58 c probing : 0 0 0 0
10.45/10.58 c pseudoobj : 0 0 0 0
10.45/10.58 c redcost : 0 0 0 0
10.45/10.58 c rootredcost : 0 0 0 0
10.45/10.58 c symmetry : 24276 0 19 3
10.45/10.58 c vbounds : 0 0 0 0
10.45/10.58 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
10.45/10.58 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.58 c symmetry : 0.52 0.00 0.00 0.52 0.00 0.00
10.45/10.58 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
10.45/10.58 c Symmetry :
10.45/10.58 c orbitopal red. : 0 reductions applied, 0 cutoffs
10.45/10.58 c orbital reduction: 0 reductions applied, 0 cutoffs
10.45/10.58 c lexicographic red: 22 reductions applied, 19 cutoffs
10.45/10.58 c shadow tree time : 0.01 s
10.45/10.58 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
10.45/10.58 c propagation : 0.02 1405 1399 - 4459 17.3 218 6.4 - - -
10.45/10.58 c infeasible LP : 0.04 457 456 - 1191 15.4 57 7.9 456 20.2 0
10.45/10.58 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
10.45/10.58 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
10.45/10.58 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
10.45/10.58 c applied globally : 0.00 - - 0 4847 13.6 - - 452 - -
10.45/10.58 c applied locally : - - - 0 25 31.6 - - 3 - -
10.45/10.58 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
10.45/10.58 c cut pool : 0.13 - 2049 75 - - 6713 83403 - - - - - (maximal pool size: 1486)
10.45/10.58 c aggregation : 0.06 0.00 572 39 0 0 19 86 7 8 4 4 0
10.45/10.58 c > cmir : - - - - - - - 84 0 3 3 0 -
10.45/10.58 c > flowcover : - - - - - - - 0 0 0 0 0 -
10.45/10.58 c > knapsackcover : - - - - - - - 2 7 5 1 4 -
10.45/10.58 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
10.45/10.58 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c gomory : 0.31 0.00 553 20 0 0 6860 82291 480 3172 3134 38 0
10.45/10.58 c > gomorymi : - - - - - - - 10709 240 143 124 19 -
10.45/10.58 c > strongcg : - - - - - - - 71582 240 3029 3010 19 -
10.45/10.58 c impliedbounds : 0.00 0.00 572 39 0 0 0 0 0 0 0 0 0
10.45/10.58 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
10.45/10.58 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c multilinear : 0.00 0.00 155 39 0 0 0 0 0 0 0 0 0
10.45/10.58 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.58 c rapidlearning : 3.65 0.00 100 2 0 1367 0 0 0 0 0 0 962
10.45/10.58 c rlt : 0.00 0.00 283 20 0 0 0 0 0 0 0 0 0
10.45/10.58 c zerohalf : 0.09 0.00 571 38 0 0 540 1026 219 660 527 133 0
10.45/10.58 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
10.45/10.58 c hybrid : 0.03 0.00 1140 38 3847 0 80267 78 0 409
10.45/10.58 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c Pricers : ExecTime SetupTime Calls Vars
10.45/10.58 c problem variables: 0.00 - 0 0
10.45/10.58 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
10.45/10.58 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c random : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c relpscost : 0.09 0.00 7218 0 0 0 0 0 0 14436
10.45/10.58 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.58 c Primal Heuristics : ExecTime SetupTime Calls Found Best
10.45/10.58 c LP solutions : 0.00 - - 0 0
10.45/10.58 c relax solutions : 0.00 - - 0 0
10.45/10.58 c pseudo solutions : 0.00 - - 0 0
10.45/10.58 c strong branching : 0.00 - - 0 0
10.45/10.58 c actconsdiving : 0.00 0.00 0 0 0
10.45/10.58 c adaptivediving : 0.18 0.00 35 0 0
10.45/10.58 c alns : 0.10 0.00 3 0 0
10.45/10.58 c bound : 0.00 0.00 0 0 0
10.45/10.58 c clique : 0.00 0.00 0 0 0
10.45/10.58 c coefdiving : 0.00 0.00 0 0 0
10.45/10.58 c completesol : 0.00 0.00 0 0 0
10.45/10.58 c conflictdiving : 0.62 0.00 205 0 0
10.45/10.58 c crossover : 0.00 0.00 0 0 0
10.45/10.58 c dins : 0.00 0.00 0 0 0
10.45/10.58 c distributiondivin: 0.40 0.00 53 0 0
10.45/10.58 c dps : 0.00 0.00 0 0 0
10.45/10.58 c dualval : 0.00 0.00 0 0 0
10.45/10.58 c farkasdiving : 0.00 0.00 0 0 0
10.45/10.58 c feasjump : 0.03 0.00 2 0 0
10.45/10.58 c feaspump : 0.13 0.00 35 0 0
10.45/10.58 c fixandinfer : 0.00 0.00 0 0 0
10.45/10.58 c fracdiving : 0.37 0.00 103 0 0
10.45/10.58 c gins : 0.00 0.00 0 0 0
10.45/10.58 c guideddiving : 0.00 0.00 0 0 0
10.45/10.58 c indcoefdiving : 0.00 0.00 0 0 0
10.45/10.58 c indicator : 0.00 0.00 0 0 0
10.45/10.58 c indicatordiving : 0.00 0.00 0 0 0
10.45/10.58 c indoneopt : 0.00 0.00 0 0 0
10.45/10.58 c indrounding : 0.00 0.00 0 0 0
10.45/10.58 c indtwoopt : 0.00 0.00 0 0 0
10.45/10.58 c intdiving : 0.00 0.00 0 0 0
10.45/10.58 c intshifting : 0.00 0.00 0 0 0
10.45/10.58 c linesearchdiving : 0.28 0.00 38 0 0
10.45/10.58 c localbranching : 0.00 0.00 0 0 0
10.45/10.58 c locks : 0.00 0.00 1 0 0
10.45/10.58 c lpface : 0.00 0.00 0 0 0
10.45/10.58 c mpec : 0.00 0.00 0 0 0
10.45/10.58 c multistart : 0.00 0.00 0 0 0
10.45/10.58 c mutation : 0.00 0.00 0 0 0
10.45/10.58 c nlpdiving : 0.00 0.00 0 0 0
10.45/10.58 c objpscostdiving : 0.10 0.00 18 0 0
10.45/10.58 c octane : 0.00 0.00 0 0 0
10.45/10.58 c ofins : 0.00 0.00 0 0 0
10.45/10.58 c oneopt : 0.00 0.00 0 0 0
10.45/10.58 c padm : 0.00 0.00 0 0 0
10.45/10.58 c proximity : 0.00 0.00 0 0 0
10.45/10.58 c pscostdiving : 0.29 0.00 30 0 0
10.45/10.58 c randrounding : 0.03 0.00 985 0 0
10.45/10.58 c rens : 0.02 0.00 2 0 0
10.45/10.58 c reoptsols : 0.00 0.00 0 0 0
10.45/10.58 c repair : 0.00 0.00 0 0 0
10.45/10.58 c rins : 0.00 0.00 0 0 0
10.45/10.58 c rootsoldiving : 0.12 0.00 7 0 0
10.45/10.58 c rounding : 0.01 0.00 1225 0 0
10.45/10.58 c scheduler : 0.00 0.00 0 0 0
10.45/10.58 c shiftandpropagate: 0.00 0.00 2 0 0
10.45/10.58 c shifting : 0.02 0.00 574 0 0
10.45/10.58 c simplerounding : 0.00 0.00 0 0 0
10.45/10.58 c smallcard : 0.00 0.00 0 0 0
10.45/10.58 c subnlp : 0.00 0.00 0 0 0
10.45/10.58 c trivial : 0.00 0.00 4 0 0
10.45/10.58 c trivialnegation : 0.00 0.00 0 0 0
10.45/10.58 c trustregion : 0.00 0.00 0 0 0
10.45/10.58 c trysol : 0.00 0.00 0 0 0
10.45/10.58 c twoopt : 0.00 0.00 0 0 0
10.45/10.58 c undercover : 0.00 0.00 0 0 0
10.45/10.58 c vbounds : 0.00 0.00 0 0 0
10.45/10.58 c veclendiving : 0.37 0.00 102 0 0
10.45/10.58 c zeroobj : 0.00 0.00 0 0 0
10.45/10.58 c zirounding : 0.00 0.00 1000 0 0
10.45/10.58 c other solutions : - - - 0 -
10.45/10.58 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
10.45/10.58 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
10.45/10.58 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
10.45/10.58 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
10.45/10.59 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
10.45/10.59 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
10.45/10.59 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
10.45/10.59 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
10.45/10.59 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
10.45/10.59 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
10.45/10.59 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
10.45/10.59 c primal LP : 0.07 454 0 0.00 0.00 0.07 454
10.45/10.59 c dual LP : 1.76 8692 35039 4.08 19879.18 0.01 113
10.45/10.59 c lex dual LP : 0.00 0 0 0.00 -
10.45/10.59 c barrier LP : 0.00 0 0 0.00 - 0.00 0
10.45/10.59 c resolve instable : 0.00 0 0 0.00 -
10.45/10.59 c diving/probing LP: 1.45 6285 31059 4.94 21363.45
10.45/10.59 c strong branching : 0.01 20 259 12.95 19858.92 - - 0
10.45/10.59 c (at root node) : - 20 259 12.95 -
10.45/10.59 c conflict analysis: 0.00 0 0 0.00 -
10.45/10.59 c B&B Tree :
10.45/10.59 c number of runs : 2
10.45/10.59 c nodes : 4562 (4320 internal, 242 leaves)
10.45/10.59 c feasible leaves : 0
10.45/10.59 c infeas. leaves : 242
10.45/10.59 c objective leaves : 0
10.45/10.59 c nodes (total) : 7667 (7218 internal, 449 leaves)
10.45/10.59 c nodes left : 0
10.45/10.59 c max depth : 90
10.45/10.59 c max depth (total): 109
10.45/10.59 c backtracks : 545 (11.9%)
10.45/10.59 c early backtracks : 0 (0.0%)
10.45/10.59 c nodes exc. ref. : 0 (0.0%)
10.45/10.59 c delayed cutoffs : 4079
10.45/10.59 c repropagations : 1015 (1002 domain reductions, 53 cutoffs)
10.45/10.59 c avg switch length: 3.68
10.45/10.59 c switching time : 0.25
10.45/10.59 c Root Node :
10.45/10.59 c First LP value : +0.00000000000000e+00
10.45/10.59 c First LP Iters : 287 (199305.56 Iter/sec)
10.45/10.59 c First LP Time : 0.00
10.45/10.59 c Final Dual Bound : -
10.45/10.59 c Final Root Iters : 836
10.45/10.59 c Root LP Estimate : +3.75555555555556e-04
10.45/10.59 c Solution :
10.45/10.59 c Solutions found : 0 (0 improvements)
10.45/10.59 c Primal Bound : infeasible
10.45/10.59 c Dual Bound : -
10.45/10.59 c Gap : 0.00 %
10.45/10.59 c Integrals : Total Avg%
10.45/10.59 c primal-dual : - - (problem infeasible)
10.45/10.59 c primal-ref : - - (problem infeasible)
10.45/10.59 c dual-ref : - - (problem infeasible)
10.45/10.59 c Time complete: 10.5614.