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-4444185-1721301705.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.02 c (round 1, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 2, exhaustive) 0 del vars, 187 del conss, 0 add conss, 0 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 3, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (round 4, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (round 5, exhaustive) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (0.0s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05 c (0.1s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.05 c dynamic symmetry handling statistics:
0.00/0.05 c orbitopal reduction: no components
0.00/0.05 c orbital reduction: 1 components of sizes 1
0.00/0.05 c lexicographic reduction: 1 permutations with support sizes 121
0.00/0.05 c handled 1 out of 1 symmetry components
0.00/0.05 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.05 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 143 cliques
0.00/0.05 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 22 constraints of type <setppc>
0.00/0.05 c 2420 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.998006
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.05 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 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.05 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.05 c misc/usesymmetry = 3
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.05 c
0.00/0.05 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.05 c
0.00/0.05 c # Type of symmetries that shall be computed?
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.05 c propagating/symmetry/symtype = 1
0.00/0.05 c
0.00/0.05 c # Should components consisting of a single full reflection be handled?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.07 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.07 c 0.1s| 1 | 0 | 95 | - | 11M | 0 | 231 |2464 |2443 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.20 c 0.2s| 1 | 0 | 1366 | - | 12M | 0 | 231 |2466 |2445 | 2 | 1 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.26 c 0.3s| 1 | 0 | 1387 | - | 14M | 0 | 231 |2467 |2448 | 5 | 2 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.31 c 0.3s| 1 | 0 | 1405 | - | 18M | 0 | 231 |2474 |2451 | 8 | 3 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.36 c 0.4s| 1 | 0 | 1414 | - | 21M | 0 | 231 |2475 |2454 | 11 | 4 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.42 c 0.4s| 1 | 0 | 1434 | - | 23M | 0 | 231 |2480 |2457 | 14 | 5 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.50 c 0.5s| 1 | 0 | 1454 | - | 27M | 0 | 231 |2484 |2459 | 16 | 6 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.57 c 0.6s| 1 | 0 | 1481 | - | 31M | 0 | 231 |2489 |2461 | 18 | 7 | 45 | 0 | 0.000000e+00 | -- | Inf | unknown
0.58/0.63 c 0.6s| 1 | 0 | 1509 | - | 36M | 0 | 231 |2493 |2464 | 21 | 8 | 49 | 0 | 0.000000e+00 | -- | Inf | unknown
0.58/0.68 c 0.7s| 1 | 0 | 1532 | - | 38M | 0 | 231 |2497 |2466 | 23 | 9 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
0.67/0.75 c 0.7s| 1 | 0 | 1574 | - | 41M | 0 | 231 |2501 |2469 | 26 | 10 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
0.67/0.75 c 0.8s| 1 | 0 | 1587 | - | 41M | 0 | 231 |2502 |2471 | 28 | 11 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.85 c 0.9s| 1 | 2 | 1954 | - | 41M | 0 | 231 |2511 |2471 | 28 | 11 | 67 | 19 | 0.000000e+00 | -- | Inf | unknown
1.18/1.23 c 1.2s| 100 | 17 | 3480 | 19.1 | 48M | 20 | 231 |2572 |2454 | 82 | 1 | 130 | 19 | 0.000000e+00 | -- | Inf | 50.84%
1.27/1.37 c 1.4s| 200 | 16 | 4431 | 14.3 | 48M | 20 | 231 |2638 |2454 | 82 | 0 | 196 | 19 | 0.000000e+00 | -- | Inf | 50.89%
1.47/1.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.47/1.55 c 1.6s| 300 | 21 | 5371 | 12.7 | 48M | 20 | 231 |2699 |2454 | 82 | 1 | 257 | 19 | 0.000000e+00 | -- | Inf | 50.95%
1.77/1.84 c 1.8s| 400 | 17 | 6517 | 12.4 | 49M | 20 | 231 |2752 |2454 | 88 | 0 | 315 | 19 | 0.000000e+00 | -- | Inf | 51.01%
1.98/2.01 c 2.0s| 500 | 14 | 7897 | 12.6 | 49M | 20 | 231 |2828 |2453 | 100 | 0 | 397 | 19 | 0.000000e+00 | -- | Inf | 51.16%
2.17/2.23 c 2.2s| 600 | 20 | 9074 | 12.5 | 49M | 23 | 231 |2902 |2453 | 107 | 1 | 478 | 19 | 0.000000e+00 | -- | Inf | 51.20%
2.27/2.39 c 2.4s| 700 | 14 | 10257 | 12.4 | 49M | 23 | 231 |2970 |2453 | 107 | 0 | 555 | 19 | 0.000000e+00 | -- | Inf | 51.23%
2.57/2.69 c 2.7s| 800 | 12 | 11625 | 12.6 | 49M | 23 | 231 |3019 |2453 | 107 | 0 | 610 | 19 | 0.000000e+00 | -- | Inf | 51.34%
2.77/2.89 c 2.9s| 900 | 11 | 13054 | 12.8 | 49M | 23 | 231 |3117 |2450 | 107 | 0 | 712 | 19 | 0.000000e+00 | -- | Inf | 51.39%
2.97/3.04 c 3.0s| 1000 | 12 | 14212 | 12.6 | 49M | 23 | 231 |3192 |2451 | 114 | 1 | 794 | 19 | 0.000000e+00 | -- | Inf | 51.46%
3.16/3.25 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
3.16/3.25 c (run 1, node 1085) performing user restart
3.16/3.25 c
3.16/3.25 c (restart) converted 5 cuts from the global cut pool into linear constraints
3.16/3.25 c
3.16/3.25 c presolving:
3.16/3.25 c (round 1, fast) 21 del vars, 607 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 318 chg coeffs, 0 upgd conss, 0 impls, 320 clqs
3.16/3.26 c (round 2, medium) 31 del vars, 607 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 318 chg coeffs, 0 upgd conss, 0 impls, 300 clqs
3.16/3.26 c (round 3, fast) 31 del vars, 630 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 341 chg coeffs, 0 upgd conss, 0 impls, 300 clqs
3.16/3.26 c (round 4, exhaustive) 31 del vars, 630 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 342 chg coeffs, 5 upgd conss, 0 impls, 300 clqs
3.16/3.26 c (round 5, exhaustive) 31 del vars, 630 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 347 chg coeffs, 5 upgd conss, 0 impls, 300 clqs
3.16/3.27 c (round 6, exhaustive) 31 del vars, 788 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 772 chg coeffs, 5 upgd conss, 0 impls, 300 clqs
3.16/3.27 c (round 7, exhaustive) 31 del vars, 814 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 775 chg coeffs, 5 upgd conss, 0 impls, 300 clqs
3.16/3.27 c (round 8, exhaustive) 31 del vars, 814 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 815 chg coeffs, 5 upgd conss, 0 impls, 300 clqs
3.16/3.28 c presolving (9 rounds: 9 fast, 7 medium, 6 exhaustive):
3.16/3.28 c 31 deleted vars, 814 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 815 changed coefficients
3.16/3.28 c 0 implications, 300 cliques
3.16/3.28 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 2441 constraints
3.16/3.28 c 4 constraints of type <knapsack>
3.16/3.28 c 20 constraints of type <setppc>
3.16/3.28 c 2417 constraints of type <logicor>
3.16/3.28 c transformed objective value is always integral (scale: 1)
3.16/3.28 c Presolving Time: 0.07
3.16/3.28 c
3.26/3.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.26/3.30 c 3.3s| 1 | 0 | 15492 | - | 48M | 0 | 200 |2479 |1834 | 0 | 0 | 896 | 19 | 0.000000e+00 | -- | Inf | unknown
3.26/3.36 c 3.4s| 1 | 0 | 15507 | - | 48M | 0 | 200 |2479 |1840 | 6 | 1 | 896 | 19 | 0.000000e+00 | -- | Inf | unknown
3.26/3.39 c 3.4s| 1 | 0 | 15521 | - | 48M | 0 | 200 |2480 |1843 | 9 | 2 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
3.36/3.45 c 3.5s| 1 | 0 | 15528 | - | 49M | 0 | 200 |2480 |1845 | 11 | 3 | 897 | 19 | 0.000000e+00 | -- | Inf | unknown
3.36/3.50 c 3.5s| 1 | 0 | 15544 | - | 49M | 0 | 200 |2484 |1848 | 14 | 4 | 901 | 19 | 0.000000e+00 | -- | Inf | unknown
3.46/3.54 c 3.5s| 1 | 0 | 15558 | - | 49M | 0 | 200 |2487 |1850 | 16 | 5 | 904 | 19 | 0.000000e+00 | -- | Inf | unknown
3.46/3.58 c 3.6s| 1 | 0 | 15573 | - | 49M | 0 | 200 |2487 |1853 | 19 | 6 | 904 | 19 | 0.000000e+00 | -- | Inf | unknown
3.56/3.62 c 3.6s| 1 | 0 | 15588 | - | 50M | 0 | 200 |2489 |1857 | 23 | 7 | 906 | 19 | 0.000000e+00 | -- | Inf | unknown
3.56/3.68 c 3.7s| 1 | 0 | 15600 | - | 51M | 0 | 200 |2493 |1860 | 26 | 8 | 910 | 19 | 0.000000e+00 | -- | Inf | unknown
3.66/3.73 c 3.7s| 1 | 0 | 15614 | - | 52M | 0 | 200 |2496 |1863 | 29 | 9 | 913 | 19 | 0.000000e+00 | -- | Inf | unknown
3.66/3.79 c 3.8s| 1 | 0 | 15630 | - | 52M | 0 | 200 |2498 |1863 | 31 | 10 | 915 | 19 | 0.000000e+00 | -- | Inf | unknown
3.66/3.79 c 3.8s| 1 | 0 | 15638 | - | 52M | 0 | 200 |2500 |1865 | 33 | 11 | 917 | 19 | 0.000000e+00 | -- | Inf | unknown
3.76/3.85 c 3.9s| 1 | 2 | 15834 | - | 52M | 0 | 200 |2509 |1865 | 33 | 11 | 926 | 38 | 0.000000e+00 | -- | Inf | unknown
4.36/4.44 c 4.4s| 100 | 13 | 17959 | 13.6 | 55M | 19 | 200 |2561 |1841 | 73 | 0 | 979 | 38 | 0.000000e+00 | -- | Inf | 4.68%
4.97/5.01 c 5.0s| 200 | 12 | 19872 | 14.1 | 58M | 20 | 200 |2615 |1842 | 128 | 1 |1038 | 38 | 0.000000e+00 | -- | Inf | 10.82%
5.26/5.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.26/5.30 c 5.3s| 300 | 13 | 21201 | 14.0 | 59M | 20 | 200 |2696 |1842 | 154 | 0 |1123 | 38 | 0.000000e+00 | -- | Inf | 13.16%
5.36/5.46 c 5.5s| 400 | 11 | 22255 | 13.8 | 61M | 20 | 200 |2784 |1841 | 181 | 0 |1222 | 38 | 0.000000e+00 | -- | Inf | 13.85%
5.76/5.89 c 5.9s| 500 | 17 | 23743 | 13.9 | 64M | 20 | 200 |2828 |1842 | 216 | 1 |1278 | 38 | 0.000000e+00 | -- | Inf | 15.27%
5.96/6.05 c 6.0s| 600 | 13 | 24583 | 13.5 | 66M | 20 | 200 |2906 |1839 | 239 | 0 |1360 | 38 | 0.000000e+00 | -- | Inf | 15.56%
6.16/6.23 c 6.2s| 700 | 13 | 25700 | 13.4 | 67M | 20 | 200 |2954 |1843 | 261 | 1 |1418 | 38 | 0.000000e+00 | -- | Inf | 15.88%
6.25/6.38 c 6.4s| 800 | 13 | 26805 | 13.3 | 67M | 20 | 200 |3006 |1843 | 265 | 1 |1480 | 38 | 0.000000e+00 | -- | Inf | 15.92%
6.56/6.62 c 6.6s| 900 | 15 | 27934 | 13.2 | 67M | 20 | 200 |3058 |1843 | 292 | 1 |1542 | 38 | 0.000000e+00 | -- | Inf | 16.03%
6.65/6.74 c 6.7s| 1000 | 13 | 29044 | 13.1 | 67M | 20 | 200 |3136 |1843 | 296 | 0 |1625 | 38 | 0.000000e+00 | -- | Inf | 16.09%
6.86/6.93 c 6.9s| 1100 | 12 | 30174 | 13.0 | 67M | 20 | 200 |3214 |1840 | 313 | 0 |1710 | 38 | 0.000000e+00 | -- | Inf | 16.29%
7.06/7.19 c 7.2s| 1200 | 12 | 31413 | 13.0 | 67M | 20 | 200 |3282 |1840 | 333 | 0 |1788 | 38 | 0.000000e+00 | -- | Inf | 16.82%
7.25/7.36 c 7.4s| 1300 | 19 | 32670 | 12.9 | 67M | 23 | 200 |3342 |1843 | 352 | 1 |1864 | 38 | 0.000000e+00 | -- | Inf | 17.05%
7.35/7.44 c 7.4s| 1400 | 12 | 33771 | 12.9 | 67M | 28 | 200 |3428 |1845 | 360 | 0 |1959 | 38 | 0.000000e+00 | -- | Inf | 17.08%
7.45/7.53 c 7.5s| 1500 | 13 | 35017 | 12.9 | 67M | 28 | 200 |3548 |1844 | 366 | 0 |2081 | 38 | 0.000000e+00 | -- | Inf | 17.08%
7.65/7.74 c 7.7s| 1600 | 11 | 36637 | 13.0 | 67M | 32 | 200 |3637 |1842 | 384 | 1 |2181 | 38 | 0.000000e+00 | -- | Inf | 17.68%
8.25/8.36 c 8.4s| 1700 | 9 | 38284 | 13.1 | 67M | 32 | 200 |3661 |1840 | 433 | 1 |2232 | 38 | 0.000000e+00 | -- | Inf | 52.24%
8.65/8.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.65/8.72 c 8.7s| 1800 | 8 | 39843 | 13.2 | 67M | 32 | 200 |3703 |1842 | 478 | 0 |2301 | 38 | 0.000000e+00 | -- | Inf | 67.07%
8.85/8.93 c 8.9s| 1900 | 9 | 41193 | 13.2 | 68M | 32 | 200 |3754 |1840 | 510 | 1 |2362 | 38 | 0.000000e+00 | -- | Inf | 70.78%
9.15/9.26 c 9.3s| 2000 | 15 | 42649 | 13.2 | 68M | 32 | 200 |3793 |1844 | 560 | 1 |2413 | 38 | 0.000000e+00 | -- | Inf | 75.23%
9.25/9.39 c 9.4s| 2100 | 13 | 43931 | 13.2 | 68M | 32 | 200 |3852 |1840 | 582 | 0 |2482 | 38 | 0.000000e+00 | -- | Inf | 75.58%
9.55/9.62 c 9.6s| 2200 | 12 | 45246 | 13.2 | 68M | 32 | 200 |3900 |1840 | 608 | 0 |2542 | 38 | 0.000000e+00 | -- | Inf | 77.41%
9.75/9.86 c 9.9s| 2300 | 13 | 46878 | 13.3 | 68M | 32 | 200 |3931 |1841 | 655 | 1 |2595 | 38 | 0.000000e+00 | -- | Inf | 81.85%
9.95/10.05 c 10.0s| 2400 | 15 | 48299 | 13.3 | 68M | 32 | 200 |3966 |1841 | 684 | 0 |2665 | 38 | 0.000000e+00 | -- | Inf | 82.46%
10.05/10.16 c 10.2s| 2500 | 17 | 49573 | 13.3 | 68M | 32 | 200 |4017 |1842 | 699 | 1 |2733 | 38 | 0.000000e+00 | -- | Inf | 82.51%
10.15/10.30 c 10.3s| 2600 | 15 | 50825 | 13.3 | 68M | 32 | 200 |4093 |1845 | 711 | 1 |2840 | 38 | 0.000000e+00 | -- | Inf | 82.59%
10.24/10.39 c 10.4s| 2700 | 14 | 52126 | 13.3 | 68M | 32 | 200 |4164 |1844 | 715 | 1 |2929 | 38 | 0.000000e+00 | -- | Inf | 82.63%
10.44/10.54 c 10.5s| 2800 | 12 | 53524 | 13.3 | 68M | 32 | 200 |4247 |1845 | 734 | 1 |3030 | 38 | 0.000000e+00 | -- | Inf | 82.74%
10.54/10.62 c 10.6s| 2900 | 15 | 54750 | 13.3 | 68M | 32 | 200 |4296 |1844 | 734 | 1 |3114 | 38 | 0.000000e+00 | -- | Inf | 82.80%
10.64/10.71 c 10.7s| 3000 | 16 | 56049 | 13.3 | 68M | 32 | 200 |4352 |1844 | 735 | 0 |3190 | 38 | 0.000000e+00 | -- | Inf | 82.82%
10.74/10.81 c 10.8s| 3100 | 14 | 57325 | 13.3 | 68M | 32 | 200 |4429 |1845 | 737 | 1 |3275 | 38 | 0.000000e+00 | -- | Inf | 82.82%
10.74/10.89 c 10.9s| 3200 | 13 | 58446 | 13.2 | 68M | 32 | 200 |4503 |1845 | 737 | 1 |3355 | 38 | 0.000000e+00 | -- | Inf | 82.85%
10.84/10.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.84/10.98 c 11.0s| 3300 | 17 | 59835 | 13.2 | 68M | 32 | 200 |4568 |1843 | 737 | 0 |3432 | 38 | 0.000000e+00 | -- | Inf | 82.92%
10.95/11.08 c 11.1s| 3400 | 10 | 61306 | 13.3 | 68M | 32 | 200 |4621 |1842 | 738 | 0 |3515 | 38 | 0.000000e+00 | -- | Inf | 82.94%
11.14/11.26 c 11.3s| 3500 | 11 | 63015 | 13.4 | 68M | 32 | 200 |4650 |1841 | 757 | 1 |3582 | 38 | 0.000000e+00 | -- | Inf | 83.46%
11.24/11.36 c 11.4s| 3600 | 15 | 64304 | 13.3 | 68M | 32 | 200 |4698 |1846 | 768 | 1 |3650 | 38 | 0.000000e+00 | -- | Inf | 83.56%
11.34/11.45 c 11.5s| 3700 | 12 | 65509 | 13.3 | 68M | 32 | 200 |4755 |1846 | 771 | 0 |3718 | 38 | 0.000000e+00 | -- | Inf | 83.57%
11.44/11.55 c 11.5s| 3800 | 14 | 66878 | 13.3 | 68M | 32 | 200 |4821 |1845 | 777 | 1 |3801 | 38 | 0.000000e+00 | -- | Inf | 83.59%
11.54/11.66 c 11.7s| 3900 | 13 | 68422 | 13.4 | 68M | 32 | 200 |4868 |1847 | 789 | 1 |3875 | 38 | 0.000000e+00 | -- | Inf | 83.63%
11.64/11.77 c 11.8s| 4000 | 12 | 69907 | 13.4 | 68M | 32 | 200 |4936 |1843 | 797 | 0 |3963 | 38 | 0.000000e+00 | -- | Inf | 83.68%
11.84/12.00 c 12.0s| 4100 | 10 | 71384 | 13.4 | 68M | 32 | 200 |5028 |1844 | 815 | 0 |4072 | 38 | 0.000000e+00 | -- | Inf | 83.89%
12.04/12.12 c 12.1s| 4200 | 11 | 72745 | 13.4 | 68M | 32 | 200 |5122 |1842 | 826 | 0 |4175 | 38 | 0.000000e+00 | -- | Inf | 84.69%
12.14/12.27 c 12.3s| 4300 | 11 | 74042 | 13.4 | 68M | 33 | 200 |5214 |1843 | 839 | 0 |4276 | 38 | 0.000000e+00 | -- | Inf | 85.41%
12.44/12.54 c 12.5s| 4400 | 10 | 75615 | 13.5 | 68M | 33 | 200 |5261 |1847 | 865 | 1 |4335 | 38 | 0.000000e+00 | -- | Inf | 87.02%
12.54/12.64 c 12.6s| 4500 | 9 | 77030 | 13.5 | 68M | 33 | 200 |5322 |1845 | 867 | 1 |4405 | 38 | 0.000000e+00 | -- | Inf | 87.07%
12.84/12.91 c 12.9s| 4600 | 9 | 78770 | 13.5 | 68M | 33 | 200 |5375 |1844 | 913 | 0 |4478 | 38 | 0.000000e+00 | -- | Inf | 91.56%
13.04/13.13 c 13.1s| 4700 | 12 | 80049 | 13.5 | 68M | 33 | 200 |5428 |1846 | 934 | 1 |4558 | 38 | 0.000000e+00 | -- | Inf | 92.93%
13.23/13.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.23/13.31 c 13.3s| 4800 | 9 | 81543 | 13.6 | 68M | 33 | 200 |5482 |1843 | 960 | 0 |4639 | 38 | 0.000000e+00 | -- | Inf | 93.22%
13.33/13.43 c 13.4s| 4900 | 8 | 83098 | 13.6 | 68M | 33 | 200 |5552 |1847 | 967 | 1 |4731 | 38 | 0.000000e+00 | -- | Inf | 93.29%
13.43/13.54 c 13.5s| 5000 | 8 | 84824 | 13.6 | 68M | 33 | 200 |5637 |1846 | 970 | 1 |4832 | 38 | 0.000000e+00 | -- | Inf | 93.33%
13.63/13.76 c 13.8s| 5100 | 11 | 86361 | 13.7 | 68M | 33 | 200 |5672 |1843 | 996 | 0 |4903 | 38 | 0.000000e+00 | -- | Inf | 94.12%
13.94/14.02 c 14.0s| 5200 | 15 | 87869 | 13.7 | 68M | 33 | 200 |5698 |1846 |1042 | 1 |4966 | 38 | 0.000000e+00 | -- | Inf | 95.62%
14.13/14.21 c 14.2s| 5300 | 18 | 89239 | 13.7 | 68M | 33 | 200 |5696 |1848 |1075 | 1 |5023 | 38 | 0.000000e+00 | -- | Inf | 95.92%
14.23/14.33 c 14.3s| 5400 | 14 | 90611 | 13.7 | 68M | 33 | 200 |5743 |1847 |1084 | 0 |5106 | 38 | 0.000000e+00 | -- | Inf | 96.24%
14.33/14.42 c 14.4s| 5500 | 14 | 91746 | 13.7 | 68M | 33 | 200 |5797 |1848 |1085 | 1 |5179 | 38 | 0.000000e+00 | -- | Inf | 96.27%
14.43/14.51 c 14.5s| 5600 | 14 | 93086 | 13.7 | 68M | 34 | 200 |5844 |1849 |1087 | 0 |5241 | 38 | 0.000000e+00 | -- | Inf | 96.29%
14.53/14.61 c 14.6s| 5700 | 13 | 94469 | 13.7 | 69M | 34 | 200 |5946 |1849 |1088 | 1 |5352 | 38 | 0.000000e+00 | -- | Inf | 96.29%
14.63/14.71 c 14.7s| 5800 | 12 | 95911 | 13.7 | 69M | 34 | 200 |6026 |1850 |1094 | 1 |5442 | 38 | 0.000000e+00 | -- | Inf | 96.31%
14.73/14.84 c 14.8s| 5900 | 8 | 97594 | 13.7 | 69M | 34 | 200 |6133 |1845 |1103 | 0 |5576 | 38 | 0.000000e+00 | -- | Inf | 96.42%
14.93/15.04 c 15.0s| 6000 | 11 | 99139 | 13.7 | 69M | 34 | 200 |6141 |1843 |1126 | 1 |5628 | 38 | 0.000000e+00 | -- | Inf | 97.22%
15.03/15.18 c 15.2s| 6100 | 11 |100595 | 13.8 | 73M | 34 | 200 |6218 |1845 |1143 | 1 |5723 | 38 | 0.000000e+00 | -- | Inf | 97.63%
15.22/15.39 c 15.4s| 6200 | 13 |102244 | 13.8 | 73M | 34 | 200 |6240 |1844 |1184 | 1 |5779 | 38 | 0.000000e+00 | -- | Inf | 98.28%
15.42/15.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.42/15.51 c 15.5s| 6300 | 15 |103463 | 13.8 | 73M | 34 | 200 |6278 |1845 |1201 | 1 |5834 | 38 | 0.000000e+00 | -- | Inf | 98.42%
15.42/15.59 c 15.6s| 6400 | 16 |104737 | 13.8 | 73M | 34 | 200 |6343 |1845 |1201 | 1 |5906 | 38 | 0.000000e+00 | -- | Inf | 98.47%
15.62/15.70 c 15.7s| 6500 | 15 |106498 | 13.8 | 73M | 34 | 200 |6409 |1847 |1207 | 1 |5980 | 38 | 0.000000e+00 | -- | Inf | 98.49%
15.72/15.81 c 15.8s| 6600 | 14 |108286 | 13.9 | 73M | 34 | 200 |6476 |1847 |1208 | 0 |6055 | 38 | 0.000000e+00 | -- | Inf | 98.50%
15.82/15.92 c 15.9s| 6700 | 14 |110051 | 13.9 | 73M | 34 | 200 |6548 |1847 |1210 | 1 |6130 | 38 | 0.000000e+00 | -- | Inf | 98.55%
15.93/16.02 c 16.0s| 6800 | 17 |111713 | 13.9 | 73M | 34 | 200 |6625 |1848 |1211 | 1 |6208 | 38 | 0.000000e+00 | -- | Inf | 98.56%
16.03/16.11 c 16.1s| 6900 | 16 |113057 | 13.9 | 73M | 35 | 200 |6705 |1847 |1211 | 1 |6289 | 38 | 0.000000e+00 | -- | Inf | 98.56%
16.12/16.20 c 16.2s| 7000 | 17 |114528 | 13.9 | 73M | 35 | 200 |6785 |1844 |1211 | 1 |6370 | 38 | 0.000000e+00 | -- | Inf | 98.60%
16.12/16.29 c 16.3s| 7100 | 12 |116035 | 14.0 | 73M | 35 | 200 |6859 |1845 |1219 | 0 |6450 | 38 | 0.000000e+00 | -- | Inf | 98.61%
16.32/16.48 c 16.5s| 7200 | 14 |117686 | 14.0 | 73M | 35 | 200 |6918 |1845 |1240 | 1 |6516 | 38 | 0.000000e+00 | -- | Inf | 98.82%
16.52/16.61 c 16.6s| 7300 | 12 |119088 | 14.0 | 73M | 35 | 200 |7006 |1846 |1251 | 0 |6609 | 38 | 0.000000e+00 | -- | Inf | 98.90%
16.62/16.76 c 16.8s| 7400 | 16 |120468 | 14.0 | 73M | 35 | 200 |7080 |1846 |1266 | 1 |6697 | 38 | 0.000000e+00 | -- | Inf | 98.97%
16.72/16.85 c 16.8s| 7500 | 14 |121973 | 14.0 | 73M | 35 | 200 |7184 |1846 |1268 | 1 |6808 | 38 | 0.000000e+00 | -- | Inf | 99.00%
16.82/16.93 c 16.9s| 7600 | 18 |123338 | 14.0 | 73M | 35 | 200 |7235 |1846 |1268 | 1 |6872 | 38 | 0.000000e+00 | -- | Inf | 99.03%
16.92/17.01 c 17.0s| 7700 | 16 |124738 | 14.0 | 73M | 35 | 200 |7296 |1846 |1270 | 1 |6938 | 38 | 0.000000e+00 | -- | Inf | 99.04%
17.02/17.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.02/17.10 c 17.1s| 7800 | 18 |126295 | 14.0 | 73M | 35 | 200 |7374 |1846 |1270 | 1 |7022 | 38 | 0.000000e+00 | -- | Inf | 99.05%
17.12/17.20 c 17.2s| 7900 | 18 |127802 | 14.0 | 74M | 35 | 200 |7469 |1846 |1270 | 0 |7123 | 38 | 0.000000e+00 | -- | Inf | 99.05%
17.22/17.32 c 17.3s| 8000 | 17 |129226 | 14.0 | 74M | 35 | 200 |7534 |1844 |1275 | 0 |7196 | 38 | 0.000000e+00 | -- | Inf | 99.15%
17.32/17.43 c 17.4s| 8100 | 17 |130614 | 14.0 | 74M | 35 | 200 |7624 |1844 |1286 | 0 |7291 | 38 | 0.000000e+00 | -- | Inf | 99.22%
17.42/17.52 c 17.5s| 8200 | 17 |131922 | 14.0 | 74M | 35 | 200 |7689 |1844 |1289 | 1 |7356 | 38 | 0.000000e+00 | -- | Inf | 99.25%
17.52/17.62 c 17.6s| 8300 | 13 |133308 | 14.0 | 74M | 35 | 200 |7763 |1841 |1297 | 1 |7437 | 38 | 0.000000e+00 | -- | Inf | 99.30%
17.62/17.73 c 17.7s| 8400 | 17 |134767 | 14.0 | 74M | 35 | 200 |7810 |1847 |1309 | 1 |7495 | 38 | 0.000000e+00 | -- | Inf | 99.37%
17.72/17.83 c 17.8s| 8500 | 12 |136313 | 14.0 | 74M | 35 | 200 |7872 |1844 |1311 | 0 |7568 | 38 | 0.000000e+00 | -- | Inf | 99.41%
17.82/17.94 c 17.9s| 8600 | 19 |137626 | 14.0 | 74M | 35 | 200 |7917 |1843 |1318 | 1 |7617 | 38 | 0.000000e+00 | -- | Inf | 99.42%
17.92/18.03 c 18.0s| 8700 | 21 |138807 | 14.0 | 74M | 35 | 200 |8020 |1843 |1318 | 1 |7722 | 38 | 0.000000e+00 | -- | Inf | 99.43%
18.02/18.12 c 18.1s| 8800 | 20 |140032 | 14.0 | 74M | 35 | 200 |8074 |1843 |1318 | 0 |7793 | 38 | 0.000000e+00 | -- | Inf | 99.44%
18.11/18.20 c 18.2s| 8900 | 20 |141193 | 14.0 | 74M | 35 | 200 |8158 |1843 |1318 | 1 |7880 | 38 | 0.000000e+00 | -- | Inf | 99.44%
18.21/18.30 c 18.3s| 9000 | 22 |142444 | 13.9 | 74M | 35 | 200 |8232 |1843 |1318 | 1 |7961 | 38 | 0.000000e+00 | -- | Inf | 99.45%
18.21/18.38 c 18.4s| 9100 | 22 |143762 | 13.9 | 74M | 35 | 200 |8332 |1843 |1320 | 1 |8071 | 38 | 0.000000e+00 | -- | Inf | 99.45%
18.31/18.47 c 18.5s| 9200 | 22 |145107 | 13.9 | 74M | 35 | 200 |8416 |1843 |1320 | 0 |8168 | 38 | 0.000000e+00 | -- | Inf | 99.45%
18.41/18.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.41/18.57 c 18.6s| 9300 | 26 |146500 | 13.9 | 74M | 35 | 200 |8522 |1843 |1320 | 1 |8280 | 38 | 0.000000e+00 | -- | Inf | 99.45%
18.51/18.66 c 18.7s| 9400 | 27 |147897 | 13.9 | 74M | 35 | 200 |8636 |1843 |1320 | 0 |8399 | 38 | 0.000000e+00 | -- | Inf | 99.45%
18.61/18.75 c 18.8s| 9500 | 27 |149276 | 13.9 | 74M | 36 | 200 |8747 |1843 |1320 | 0 |8520 | 38 | 0.000000e+00 | -- | Inf | 99.45%
18.71/18.84 c 18.8s| 9600 | 24 |150523 | 13.9 | 74M | 36 | 200 |8877 |1843 |1322 | 1 |8655 | 38 | 0.000000e+00 | -- | Inf | 99.46%
18.81/18.94 c 18.9s| 9700 | 20 |151854 | 13.9 | 74M | 36 | 200 |8965 |1847 |1322 | 1 |8746 | 38 | 0.000000e+00 | -- | Inf | 99.46%
18.92/19.04 c 19.0s| 9800 | 21 |153396 | 13.9 | 74M | 36 | 200 |9042 |1847 |1322 | 1 |8828 | 38 | 0.000000e+00 | -- | Inf | 99.47%
19.02/19.15 c 19.1s| 9900 | 16 |155003 | 13.9 | 74M | 36 | 200 |9136 |1843 |1322 | 0 |8929 | 38 | 0.000000e+00 | -- | Inf | 99.47%
19.11/19.24 c 19.2s| 10000 | 16 |156267 | 13.9 | 74M | 36 | 200 |9262 |1847 |1322 | 1 |9057 | 38 | 0.000000e+00 | -- | Inf | 99.47%
19.21/19.34 c 19.3s| 10100 | 16 |157898 | 14.0 | 74M | 36 | 200 |9352 |1846 |1325 | 1 |9155 | 38 | 0.000000e+00 | -- | Inf | 99.48%
19.31/19.46 c 19.5s| 10200 | 15 |159702 | 14.0 | 74M | 36 | 200 |9443 |1845 |1325 | 0 |9255 | 38 | 0.000000e+00 | -- | Inf | 99.49%
19.41/19.56 c 19.6s| 10300 | 19 |161210 | 14.0 | 74M | 36 | 200 |9552 |1842 |1326 | 0 |9373 | 38 | 0.000000e+00 | -- | Inf | 99.52%
19.51/19.66 c 19.7s| 10400 | 18 |162639 | 14.0 | 74M | 36 | 200 |9682 |1842 |1328 | 1 |9517 | 38 | 0.000000e+00 | -- | Inf | 99.53%
19.61/19.78 c 19.8s| 10500 | 16 |164340 | 14.0 | 74M | 36 | 200 |9752 |1843 |1332 | 1 |9628 | 38 | 0.000000e+00 | -- | Inf | 99.55%
19.71/19.88 c 19.9s| 10600 | 14 |165864 | 14.0 | 74M | 36 | 200 |9816 |1843 |1332 | 1 |9721 | 38 | 0.000000e+00 | -- | Inf | 99.57%
19.91/20.02 c 20.0s| 10700 | 10 |167379 | 14.1 | 74M | 36 | 200 |9885 |1846 |1354 | 0 |9824 | 38 | 0.000000e+00 | -- | Inf | 99.76%
20.01/20.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.01/20.13 c 20.1s| 10800 | 12 |168938 | 14.1 | 74M | 36 | 200 |9939 |1843 |1356 | 1 |9948 | 38 | 0.000000e+00 | -- | Inf | 99.77%
20.11/20.24 c 20.2s| 10900 | 11 |170566 | 14.1 | 74M | 36 | 200 |9997 |1843 |1356 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 99.77%
20.21/20.35 c 20.4s| 11000 | 7 |172277 | 14.1 | 74M | 36 | 200 | 10k|1843 |1356 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 99.77%
20.41/20.50 c 20.5s| 11100 | 7 |173863 | 14.1 | 74M | 36 | 200 | 10k|1844 |1365 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 99.95%
20.51/20.61 c 20.6s| 11200 | 11 |175679 | 14.2 | 74M | 36 | 200 | 10k|1845 |1372 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 99.96%
20.60/20.74 c 20.7s| 11300 | 6 |177658 | 14.2 | 74M | 36 | 200 | 10k|1844 |1373 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 99.96%
20.70/20.85 c 20.9s| 11400 | 8 |179330 | 14.2 | 74M | 36 | 200 | 10k|1843 |1373 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 99.97%
20.80/20.97 c 21.0s| 11500 | 8 |181018 | 14.2 | 74M | 36 | 200 | 10k|1844 |1373 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 99.97%
20.91/21.08 c 21.1s| 11600 | 10 |182837 | 14.3 | 74M | 36 | 200 | 10k|1844 |1373 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 99.97%
21.01/21.17 c 21.2s| 11700 | 12 |184182 | 14.3 | 74M | 37 | 200 | 10k|1844 |1373 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 99.97%
21.10/21.27 c 21.3s| 11800 | 14 |185678 | 14.3 | 74M | 37 | 200 | 10k|1844 |1373 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 99.97%
21.20/21.37 c 21.4s| 11900 | 12 |187280 | 14.3 | 74M | 37 | 200 | 10k|1844 |1373 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 99.97%
21.30/21.48 c 21.5s| 12000 | 12 |188902 | 14.3 | 74M | 37 | 200 | 10k|1844 |1375 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 99.97%
21.40/21.58 c 21.6s| 12100 | 14 |190457 | 14.3 | 74M | 37 | 200 | 11k|1845 |1377 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 99.98%
21.50/21.69 c 21.7s| 12200 | 12 |192059 | 14.3 | 74M | 37 | 200 | 11k|1844 |1377 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 99.98%
21.60/21.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.60/21.78 c 21.8s| 12300 | 12 |193575 | 14.3 | 74M | 37 | 200 | 11k|1844 |1377 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 99.98%
21.70/21.89 c 21.9s| 12400 | 11 |195209 | 14.3 | 74M | 37 | 200 | 11k|1844 |1377 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 99.98%
21.80/22.00 c 22.0s| 12500 | 11 |196891 | 14.4 | 74M | 37 | 200 | 11k|1844 |1379 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 99.98%
22.01/22.12 c 22.1s| 12600 | 9 |198636 | 14.4 | 74M | 38 | 200 | 11k|1844 |1383 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 99.98%
22.10/22.25 c 22.2s| 12700 | 10 |200325 | 14.4 | 74M | 38 | 200 | 11k|1844 |1393 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 99.98%
22.20/22.38 c 22.4s| 12800 | 6 |201997 | 14.4 | 74M | 39 | 200 | 11k|1843 |1396 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 99.98%
22.40/22.52 c 22.5s| 12900 | 3 |203874 | 14.5 | 74M | 39 | 200 | 11k|1843 |1396 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 99.98%
22.40/22.55 c
22.40/22.55 c SCIP Status : problem is solved [infeasible]
22.40/22.55 c Solving Time (sec) : 22.55
22.40/22.55 c Solving Nodes : 12926 (total of 14011 nodes in 2 runs)
22.40/22.55 c Primal Bound : +1.00000000000000e+20 (0 solutions)
22.40/22.55 c Dual Bound : +1.00000000000000e+20
22.40/22.55 c Gap : 0.00 %
22.40/22.55 s UNSATISFIABLE
22.40/22.55 c SCIP Status : problem is solved [infeasible]
22.40/22.55 c Total Time : 22.55
22.40/22.55 c solving : 22.55
22.40/22.55 c presolving : 0.07 (included in solving)
22.40/22.55 c reading : 0.00 (included in solving)
22.40/22.55 c copying : 0.61 (106 #copies) (minimal 0.00, maximal 0.01, average 0.01)
22.40/22.55 c Original Problem :
22.40/22.55 c Problem name : HOME/instance-4444185-1721301705.opb
22.40/22.55 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
22.40/22.55 c Constraints : 2707 initial, 2707 maximal
22.40/22.55 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
22.40/22.55 c Presolved Problem :
22.40/22.55 c Problem name : t_HOME/instance-4444185-1721301705.opb
22.40/22.55 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
22.40/22.55 c Constraints : 2441 initial, 11757 maximal
22.40/22.55 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
22.40/22.55 c Nonzeros : 11109 constraint, 786 clique table
22.40/22.55 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
22.40/22.55 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
22.40/22.55 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.40/22.55 c gateextraction : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
22.40/22.55 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
22.40/22.55 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
22.40/22.55 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.40/22.55 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c trivial : 0.00 0.00 15 21 0 0 0 0 0 0 0 0
22.40/22.55 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c dualfix : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
22.40/22.55 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.40/22.55 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.40/22.55 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
22.40/22.55 c vbounds : 0.00 0.00 2 0 10 0 0 0 0 0 0 0
22.40/22.55 c knapsack : 0.00 0.00 28 0 0 0 0 0 0 1 1 11
22.40/22.55 c setppc : 0.00 0.00 27 0 0 0 0 0 67 0 0 0
22.40/22.55 c linear : 0.02 0.00 13 0 0 0 0 0 198 0 55 0
22.40/22.55 c logicor : 0.02 0.00 25 0 0 0 0 0 813 0 0 804
22.40/22.55 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
22.40/22.55 c root node : - - - 85 - - 85 - - - - -
22.40/22.55 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
22.40/22.55 c benderslp : 0 0 0 0 7072 0 0 608 0 0 0 0 0 0 0
22.40/22.55 c integral : 0 0 0 0 7072 0 0 608 0 0 0 0 0 0 14144
22.40/22.55 c knapsack : 4 4 22 53228 0 0 0 604 4522 89 23229 5 0 0 0
22.40/22.55 c setppc : 20+ 36 22 53166 0 0 0 333 113236 425 70979 0 0 0 0
22.40/22.55 c linear : 0+ 10 0 4580 0 0 0 2 0 0 25 0 0 0 0
22.40/22.55 c logicor : 2417+ 11719 22 26340 0 0 0 1 43351 141 80204 9 1 0 0
22.40/22.55 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
22.40/22.55 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c integral : 0.27 0.00 0.00 0.00 0.27 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c knapsack : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c setppc : 0.16 0.00 0.00 0.14 0.00 0.00 0.00 0.00 0.02 0.00
22.40/22.55 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c logicor : 1.00 0.00 0.01 0.97 0.00 0.00 0.00 0.00 0.02 0.00
22.40/22.55 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c Propagators : #Propagate #ResProp Cutoffs DomReds
22.40/22.55 c dualfix : 2 0 0 0
22.40/22.55 c genvbounds : 0 0 0 0
22.40/22.55 c nlobbt : 0 0 0 0
22.40/22.55 c obbt : 0 0 0 0
22.40/22.55 c probing : 0 0 0 0
22.40/22.55 c pseudoobj : 0 0 0 0
22.40/22.55 c redcost : 0 0 0 0
22.40/22.55 c rootredcost : 0 0 0 0
22.40/22.55 c symmetry : 3263 0 0 10
22.40/22.55 c vbounds : 42415 0 0 0
22.40/22.55 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
22.40/22.55 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
22.40/22.55 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
22.40/22.55 c symmetry : 0.04 0.00 0.01 0.03 0.00 0.00
22.40/22.55 c vbounds : 0.05 0.00 0.00 0.05 0.00 0.00
22.40/22.55 c Symmetry :
22.40/22.55 c orbitopal red. : 0 reductions applied, 0 cutoffs
22.40/22.55 c orbital reduction: 10 reductions applied, 0 cutoffs
22.40/22.55 c lexicographic red: 0 reductions applied, 0 cutoffs
22.40/22.55 c shadow tree time : 0.01 s
22.40/22.55 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
22.40/22.55 c propagation : 0.01 654 652 - 3287 14.4 12 8.2 - - -
22.40/22.55 c infeasible LP : 0.73 6431 5871 - 33367 23.9 10 12.4 5 27.0 0
22.40/22.55 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
22.40/22.55 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
22.40/22.55 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
22.40/22.55 c applied globally : 0.07 - - 0 12956 9.3 - - 5 - -
22.40/22.55 c applied locally : - - - 0 0 0.0 - - 0 - -
22.40/22.55 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
22.40/22.55 c cut pool : 0.61 - 1314 42 - - 14980 19955 - - - - - (maximal pool size: 4162)
22.40/22.55 c aggregation : 0.10 0.00 369 22 0 0 13 14 1 2 2 0 0
22.40/22.55 c > cmir : - - - - - - - 13 0 2 2 0 -
22.40/22.55 c > flowcover : - - - - - - - 1 1 0 0 0 -
22.40/22.55 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
22.40/22.55 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c clique : 0.00 0.00 22 22 0 0 1 3 0 1 1 0 0
22.40/22.55 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c gomory : 5.80 0.00 367 20 0 0 20884 19821 5961 1057 875 182 0
22.40/22.55 c > gomorymi : - - - - - - - 9523 2990 388 282 106 -
22.40/22.55 c > strongcg : - - - - - - - 10298 2971 669 593 76 -
22.40/22.55 c impliedbounds : 0.01 0.00 369 22 0 0 6 36 0 34 34 0 0
22.40/22.55 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
22.40/22.55 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c multilinear : 0.00 0.00 579 22 0 0 0 0 0 0 0 0 0
22.40/22.55 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.40/22.55 c rapidlearning : 1.84 0.00 100 2 0 1618 0 0 0 0 0 0 80
22.40/22.55 c rlt : 0.00 0.00 187 20 0 0 0 0 0 0 0 0 0
22.40/22.55 c zerohalf : 0.14 0.00 369 22 0 0 727 81 689 416 17 399 0
22.40/22.55 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
22.40/22.55 c hybrid : 0.04 0.00 493 22 1511 0 25107 61 0 5686
22.40/22.55 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c Pricers : ExecTime SetupTime Calls Vars
22.40/22.55 c problem variables: 0.00 - 0 0
22.40/22.55 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
22.40/22.55 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c random : 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c relpscost : 0.27 0.00 7072 0 0 0 0 0 0 14144
22.40/22.55 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
22.40/22.55 c Primal Heuristics : ExecTime SetupTime Calls Found Best
22.40/22.55 c LP solutions : 0.00 - - 0 0
22.40/22.55 c relax solutions : 0.00 - - 0 0
22.40/22.55 c pseudo solutions : 0.00 - - 0 0
22.40/22.55 c strong branching : 0.00 - - 0 0
22.40/22.55 c actconsdiving : 0.00 0.00 0 0 0
22.40/22.55 c adaptivediving : 0.01 0.00 4 0 0
22.40/22.55 c alns : 0.04 0.00 4 0 0
22.40/22.55 c bound : 0.00 0.00 0 0 0
22.40/22.55 c clique : 0.00 0.00 1 0 0
22.40/22.55 c coefdiving : 0.00 0.00 0 0 0
22.40/22.55 c completesol : 0.00 0.00 0 0 0
22.40/22.55 c conflictdiving : 0.04 0.00 3 0 0
22.40/22.55 c crossover : 0.00 0.00 0 0 0
22.40/22.55 c dins : 0.00 0.00 0 0 0
22.40/22.55 c distributiondivin: 0.12 0.00 2 0 0
22.40/22.55 c dps : 0.00 0.00 0 0 0
22.40/22.55 c dualval : 0.00 0.00 0 0 0
22.40/22.55 c farkasdiving : 0.00 0.00 0 0 0
22.40/22.55 c feasjump : 0.02 0.00 2 0 0
22.40/22.55 c feaspump : 0.07 0.00 2 0 0
22.40/22.55 c fixandinfer : 0.00 0.00 0 0 0
22.40/22.55 c fracdiving : 0.00 0.00 2 0 0
22.40/22.55 c gins : 0.00 0.00 0 0 0
22.40/22.55 c guideddiving : 0.00 0.00 0 0 0
22.40/22.55 c indcoefdiving : 0.00 0.00 0 0 0
22.40/22.55 c indicator : 0.00 0.00 0 0 0
22.40/22.55 c indicatordiving : 0.00 0.00 0 0 0
22.40/22.55 c indoneopt : 0.00 0.00 0 0 0
22.40/22.55 c indrounding : 0.00 0.00 0 0 0
22.40/22.55 c indtwoopt : 0.00 0.00 0 0 0
22.40/22.55 c intdiving : 0.00 0.00 0 0 0
22.40/22.55 c intshifting : 0.00 0.00 0 0 0
22.40/22.55 c linesearchdiving : 0.01 0.00 2 0 0
22.40/22.55 c localbranching : 0.00 0.00 0 0 0
22.40/22.55 c locks : 0.00 0.00 1 0 0
22.40/22.55 c lpface : 0.00 0.00 0 0 0
22.40/22.55 c mpec : 0.00 0.00 0 0 0
22.40/22.55 c multistart : 0.00 0.00 0 0 0
22.40/22.55 c mutation : 0.00 0.00 0 0 0
22.40/22.55 c nlpdiving : 0.00 0.00 0 0 0
22.40/22.55 c objpscostdiving : 0.02 0.00 2 0 0
22.40/22.55 c octane : 0.00 0.00 0 0 0
22.40/22.55 c ofins : 0.00 0.00 0 0 0
22.40/22.55 c oneopt : 0.00 0.00 0 0 0
22.40/22.55 c padm : 0.00 0.00 0 0 0
22.40/22.55 c proximity : 0.00 0.00 0 0 0
22.40/22.55 c pscostdiving : 0.01 0.00 2 0 0
22.40/22.55 c randrounding : 0.03 0.00 619 0 0
22.40/22.55 c rens : 0.02 0.00 2 0 0
22.40/22.55 c reoptsols : 0.00 0.00 0 0 0
22.40/22.55 c repair : 0.00 0.00 0 0 0
22.40/22.55 c rins : 0.00 0.00 0 0 0
22.40/22.55 c rootsoldiving : 0.02 0.00 2 0 0
22.40/22.55 c rounding : 0.05 0.00 1169 0 0
22.40/22.55 c scheduler : 0.00 0.00 0 0 0
22.40/22.55 c shiftandpropagate: 0.00 0.00 2 0 0
22.40/22.55 c shifting : 0.06 0.00 414 0 0
22.40/22.55 c simplerounding : 0.00 0.00 0 0 0
22.40/22.55 c smallcard : 0.00 0.00 0 0 0
22.40/22.55 c subnlp : 0.00 0.00 0 0 0
22.40/22.55 c trivial : 0.00 0.00 4 0 0
22.40/22.55 c trivialnegation : 0.00 0.00 0 0 0
22.40/22.55 c trustregion : 0.00 0.00 0 0 0
22.40/22.55 c trysol : 0.00 0.00 0 0 0
22.40/22.55 c twoopt : 0.00 0.00 0 0 0
22.40/22.55 c undercover : 0.00 0.00 0 0 0
22.40/22.55 c vbounds : 0.00 0.00 1 0 0
22.40/22.55 c veclendiving : 0.01 0.00 2 0 0
22.40/22.55 c zeroobj : 0.00 0.00 0 0 0
22.40/22.55 c zirounding : 0.01 0.00 1000 0 0
22.40/22.55 c other solutions : - - - 0 -
22.40/22.55 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
22.40/22.55 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
22.40/22.55 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
22.40/22.55 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
22.40/22.55 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
22.40/22.55 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
22.40/22.55 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
22.40/22.55 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
22.40/22.55 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
22.40/22.55 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
22.40/22.55 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
22.40/22.55 c primal LP : 0.05 280 0 0.00 0.00 0.05 280
22.40/22.55 c dual LP : 8.14 14063 200613 14.31 24633.75 0.01 46
22.40/22.55 c lex dual LP : 0.00 0 0 0.00 -
22.40/22.55 c barrier LP : 0.00 0 0 0.00 - 0.00 0
22.40/22.55 c resolve instable : 0.00 0 0 0.00 -
22.40/22.55 c diving/probing LP: 0.17 130 3729 28.68 22404.34
22.40/22.55 c strong branching : 0.08 38 1633 42.97 21253.61 - - 0
22.40/22.55 c (at root node) : - 38 1633 42.97 -
22.40/22.55 c conflict analysis: 0.00 0 0 0.00 -
22.40/22.55 c B&B Tree :
22.40/22.55 c number of runs : 2
22.40/22.55 c nodes : 12926 (6519 internal, 6407 leaves)
22.40/22.55 c feasible leaves : 0
22.40/22.55 c infeas. leaves : 6407
22.40/22.55 c objective leaves : 0
22.40/22.55 c nodes (total) : 14011 (7072 internal, 6939 leaves)
22.40/22.55 c nodes left : 0
22.40/22.55 c max depth : 39
22.40/22.55 c max depth (total): 39
22.40/22.55 c backtracks : 1684 (13.0%)
22.40/22.55 c early backtracks : 0 (0.0%)
22.40/22.55 c nodes exc. ref. : 0 (0.0%)
22.40/22.55 c delayed cutoffs : 113
22.40/22.55 c repropagations : 19607 (23836 domain reductions, 112 cutoffs)
22.40/22.55 c avg switch length: 4.56
22.40/22.55 c switching time : 0.96
22.40/22.55 c Root Node :
22.40/22.55 c First LP value : +0.00000000000000e+00
22.40/22.55 c First LP Iters : 95 (36864.57 Iter/sec)
22.40/22.55 c First LP Time : 0.00
22.40/22.55 c Final Dual Bound : -
22.40/22.55 c Final Root Iters : 1801
22.40/22.55 c Root LP Estimate : +2.69384231095072e-03
22.40/22.55 c Solution :
22.40/22.55 c Solutions found : 0 (0 improvements)
22.40/22.55 c Primal Bound : infeasible
22.40/22.55 c Dual Bound : -
22.40/22.55 c Gap : 0.00 %
22.40/22.55 c Integrals : Total Avg%
22.40/22.55 c primal-dual : - - (problem infeasible)
22.40/22.55 c primal-ref : - - (problem infeasible)
22.40/22.55 c dual-ref : - - (problem infeasible)
22.40/22.56 c Time complete: 22.4759.