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-4443465-1721299793.opb>
0.00/0.00 c original problem has 316 variables (316 bin, 0 int, 0 impl, 0 cont) and 686 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, 1 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 167 clqs
0.00/0.01 c (round 2, fast) 13 del vars, 15 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 153 clqs
0.00/0.01 c (round 3, fast) 13 del vars, 27 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 153 clqs
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (3 rounds): 2 aggregations, 3 fixings, 0 bound changes
0.00/0.01 c (round 4, medium) 18 del vars, 27 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 146 clqs
0.00/0.01 c (round 5, fast) 18 del vars, 37 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 166 clqs
0.00/0.01 c (round 6, exhaustive) 18 del vars, 37 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 1 chg coeffs, 649 upgd conss, 0 impls, 166 clqs
0.00/0.02 c (round 7, medium) 24 del vars, 228 del conss, 754 add conss, 13 chg bounds, 6 chg sides, 18 chg coeffs, 649 upgd conss, 0 impls, 886 clqs
0.00/0.02 c (round 8, fast) 24 del vars, 238 del conss, 754 add conss, 13 chg bounds, 6 chg sides, 20 chg coeffs, 649 upgd conss, 0 impls, 886 clqs
0.00/0.02 c (round 9, exhaustive) 24 del vars, 1087 del conss, 861 add conss, 13 chg bounds, 6 chg sides, 20 chg coeffs, 649 upgd conss, 0 impls, 886 clqs
0.00/0.02 c (round 10, exhaustive) 24 del vars, 1090 del conss, 861 add conss, 13 chg bounds, 6 chg sides, 20 chg coeffs, 649 upgd conss, 0 impls, 886 clqs
0.00/0.02 c (round 11, exhaustive) 24 del vars, 1090 del conss, 861 add conss, 13 chg bounds, 6 chg sides, 122 chg coeffs, 649 upgd conss, 0 impls, 886 clqs
0.00/0.04 c (0.0s) probing cycle finished: starting next cycle
0.00/0.04 c (round 12, exhaustive) 37 del vars, 1090 del conss, 861 add conss, 13 chg bounds, 6 chg sides, 122 chg coeffs, 649 upgd conss, 0 impls, 3563 clqs
0.00/0.04 c (round 13, fast) 37 del vars, 1112 del conss, 861 add conss, 13 chg bounds, 6 chg sides, 163 chg coeffs, 650 upgd conss, 0 impls, 3563 clqs
0.00/0.04 c (round 14, exhaustive) 37 del vars, 1112 del conss, 861 add conss, 13 chg bounds, 6 chg sides, 166 chg coeffs, 650 upgd conss, 0 impls, 3563 clqs
0.00/0.04 c (round 15, exhaustive) 37 del vars, 1113 del conss, 870 add conss, 13 chg bounds, 6 chg sides, 166 chg coeffs, 650 upgd conss, 0 impls, 3563 clqs
0.00/0.04 c (round 16, exhaustive) 37 del vars, 1113 del conss, 870 add conss, 13 chg bounds, 6 chg sides, 170 chg coeffs, 650 upgd conss, 0 impls, 3563 clqs
0.00/0.05 c (0.0s) probing: 51/279 (18.3%) - 9 fixings, 4 aggregations, 3825 implications, 0 bound changes
0.00/0.05 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.0s) no symmetry present (symcode time: 0.00)
0.00/0.05 c presolving (17 rounds: 17 fast, 11 medium, 9 exhaustive):
0.00/0.05 c 37 deleted vars, 1113 deleted constraints, 870 added constraints, 13 tightened bounds, 0 added holes, 6 changed sides, 170 changed coefficients
0.00/0.05 c 0 implications, 3563 cliques
0.00/0.05 c presolved problem has 279 variables (279 bin, 0 int, 0 impl, 0 cont) and 442 constraints
0.00/0.05 c 9 constraints of type <knapsack>
0.00/0.05 c 142 constraints of type <setppc>
0.00/0.05 c 101 constraints of type <and>
0.00/0.05 c 190 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.997049
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.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 | 529 | - | 7126k | 0 | 279 | 485 | 543 | 0 | 0 | 42 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.28 c 0.3s| 1 | 0 | 3386 | - | 16M | 0 | 279 | 544 | 588 | 45 | 1 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.34 c 0.3s| 1 | 0 | 3907 | - | 23M | 0 | 279 | 546 | 628 | 85 | 2 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.39 c 0.4s| 1 | 0 | 4254 | - | 30M | 0 | 279 | 547 | 665 | 122 | 3 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.44 c 0.4s| 1 | 0 | 4593 | - | 37M | 0 | 279 | 548 | 707 | 164 | 4 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.50 c 0.5s| 1 | 0 | 4974 | - | 44M | 0 | 279 | 552 | 742 | 199 | 5 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.54 c 0.5s| 1 | 0 | 5264 | - | 51M | 0 | 279 | 553 | 775 | 232 | 6 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.59 c 0.6s| 1 | 0 | 5490 | - | 57M | 0 | 279 | 556 | 811 | 268 | 7 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.63 c 0.6s| 1 | 0 | 5632 | - | 62M | 0 | 279 | 557 | 844 | 301 | 8 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.67 c 0.7s| 1 | 0 | 5733 | - | 68M | 0 | 279 | 560 | 864 | 321 | 9 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.71 c 0.7s| 1 | 0 | 5871 | - | 73M | 0 | 279 | 561 | 891 | 348 | 10 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.73 c 0.7s| 1 | 0 | 5963 | - | 73M | 0 | 279 | 566 | 882 | 369 | 11 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.96 c 1.0s| 1 | 2 | 6933 | - | 74M | 0 | 279 | 570 | 882 | 369 | 11 | 73 | 10 | 0.000000e+00 | -- | Inf | unknown
1.68/1.77 c 1.8s| 100 | 13 | 13603 | 77.2 | 82M | 16 | 279 | 587 | 917 | 972 | 0 | 90 | 10 | 0.000000e+00 | -- | Inf | 2.60%
2.58/2.68 c 2.7s| 200 | 21 | 18201 | 61.5 | 93M | 17 | 279 | 624 | 889 |1312 | 2 | 127 | 10 | 0.000000e+00 | -- | Inf | 3.79%
2.98/3.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.98/3.09 c 3.1s| 300 | 27 | 20715 | 49.3 | 98M | 19 | 279 | 647 | 910 |1496 | 1 | 150 | 10 | 0.000000e+00 | -- | Inf | 4.29%
3.47/3.54 c 3.5s| 400 | 25 | 23078 | 42.9 | 102M | 20 | 279 | 672 | 895 |1644 | 2 | 175 | 10 | 0.000000e+00 | -- | Inf | 4.67%
3.99/4.01 c 4.0s| 500 | 23 | 25295 | 38.7 | 107M | 20 | 279 | 693 | 908 |1800 | 1 | 196 | 10 | 0.000000e+00 | -- | Inf | 5.26%
4.18/4.26 c 4.3s| 600 | 21 | 27852 | 36.5 | 108M | 20 | 279 | 711 | 914 |1947 | 0 | 214 | 10 | 0.000000e+00 | -- | Inf | 5.31%
4.48/4.58 c 4.6s| 700 | 23 | 30607 | 35.3 | 110M | 20 | 279 | 724 | 904 |2097 | 1 | 227 | 10 | 0.000000e+00 | -- | Inf | 5.44%
4.77/4.86 c 4.9s| 800 | 25 | 33074 | 33.9 | 107M | 20 | 279 | 751 | 912 |2212 | 2 | 254 | 10 | 0.000000e+00 | -- | Inf | 5.49%
4.98/5.07 c 5.1s| 900 | 25 | 35788 | 33.2 | 107M | 20 | 279 | 764 | 916 |2361 | 1 | 267 | 10 | 0.000000e+00 | -- | Inf | 5.60%
5.17/5.29 c 5.3s| 1000 | 23 | 38077 | 32.1 | 107M | 20 | 279 | 791 | 917 |2486 | 0 | 294 | 10 | 0.000000e+00 | -- | Inf | 5.63%
5.57/5.64 c 5.6s| 1100 | 21 | 40533 | 31.5 | 107M | 20 | 279 | 793 | 923 |2588 | 1 | 298 | 10 | 0.000000e+00 | -- | Inf | 5.75%
5.67/5.70 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
5.67/5.70 c (run 1, node 1112) performing user restart
5.67/5.70 c
5.67/5.70 c (restart) converted 155 cuts from the global cut pool into linear constraints
5.67/5.70 c
5.67/5.72 c presolving:
5.67/5.72 c (round 1, fast) 0 del vars, 23 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3563 clqs
5.67/5.72 c (round 2, exhaustive) 0 del vars, 23 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 211 upgd conss, 0 impls, 3563 clqs
5.67/5.72 c (round 3, medium) 0 del vars, 25 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 211 upgd conss, 0 impls, 3563 clqs
5.67/5.72 c (round 4, exhaustive) 0 del vars, 36 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 211 upgd conss, 0 impls, 3563 clqs
5.67/5.73 c (round 5, exhaustive) 0 del vars, 36 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 513 chg coeffs, 211 upgd conss, 0 impls, 3563 clqs
5.67/5.73 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
5.67/5.73 c 0 deleted vars, 36 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 513 changed coefficients
5.67/5.73 c 0 implications, 3563 cliques
5.67/5.73 c presolved problem has 279 variables (279 bin, 0 int, 0 impl, 0 cont) and 916 constraints
5.67/5.73 c 10 constraints of type <knapsack>
5.67/5.73 c 311 constraints of type <setppc>
5.67/5.73 c 101 constraints of type <and>
5.67/5.73 c 1 constraints of type <linear>
5.67/5.73 c 493 constraints of type <logicor>
5.67/5.73 c transformed objective value is always integral (scale: 1)
5.67/5.73 c Presolving Time: 0.06
5.67/5.73 c
5.67/5.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.67/5.77 c 5.8s| 1 | 0 | 41405 | - | 105M | 0 | 279 | 924 | 700 | 0 | 0 | 306 | 10 | 0.000000e+00 | -- | Inf | unknown
5.77/5.89 c 5.9s| 1 | 0 | 41832 | - | 105M | 0 | 279 |1004 | 740 | 40 | 1 | 307 | 10 | 0.000000e+00 | -- | Inf | unknown
5.87/5.94 c 5.9s| 1 | 0 | 42232 | - | 105M | 0 | 279 |1008 | 781 | 81 | 2 | 311 | 10 | 0.000000e+00 | -- | Inf | unknown
5.87/5.98 c 6.0s| 1 | 0 | 42459 | - | 105M | 0 | 279 |1009 | 819 | 119 | 3 | 312 | 10 | 0.000000e+00 | -- | Inf | unknown
5.97/6.03 c 6.0s| 1 | 0 | 42641 | - | 105M | 0 | 279 |1011 | 856 | 156 | 4 | 314 | 10 | 0.000000e+00 | -- | Inf | unknown
5.97/6.06 c 6.1s| 1 | 0 | 42705 | - | 105M | 0 | 279 |1013 | 875 | 175 | 5 | 316 | 10 | 0.000000e+00 | -- | Inf | unknown
6.07/6.10 c 6.1s| 1 | 0 | 42789 | - | 105M | 0 | 279 |1018 | 891 | 191 | 6 | 321 | 10 | 0.000000e+00 | -- | Inf | unknown
6.07/6.14 c 6.1s| 1 | 0 | 42881 | - | 107M | 0 | 279 |1022 | 910 | 210 | 7 | 325 | 10 | 0.000000e+00 | -- | Inf | unknown
6.07/6.19 c 6.2s| 1 | 0 | 42971 | - | 108M | 0 | 279 |1030 | 928 | 228 | 8 | 333 | 10 | 0.000000e+00 | -- | Inf | unknown
6.17/6.24 c 6.2s| 1 | 0 | 43056 | - | 108M | 0 | 279 |1034 | 946 | 246 | 9 | 337 | 10 | 0.000000e+00 | -- | Inf | unknown
6.17/6.29 c 6.3s| 1 | 0 | 43127 | - | 110M | 0 | 279 |1034 | 955 | 255 | 10 | 337 | 10 | 0.000000e+00 | -- | Inf | unknown
6.27/6.31 c 6.3s| 1 | 0 | 43189 | - | 110M | 0 | 279 |1038 | 970 | 270 | 11 | 341 | 10 | 0.000000e+00 | -- | Inf | unknown
6.47/6.56 c 6.6s| 1 | 2 | 43778 | - | 110M | 0 | 279 |1042 | 970 | 270 | 11 | 345 | 20 | 0.000000e+00 | -- | Inf | unknown
7.26/7.35 c 7.3s| 100 | 18 | 50199 | 34.6 | 111M | 20 | 279 |1117 | 0 | 922 | 0 | 425 | 20 | 0.000000e+00 | -- | Inf | 3.97%
7.66/7.76 c 7.8s| 200 | 16 | 52418 | 33.7 | 113M | 20 | 279 |1210 | 0 |1075 | 0 | 522 | 20 | 0.000000e+00 | -- | Inf | 5.55%
8.17/8.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.17/8.27 c 8.3s| 300 | 24 | 55219 | 33.3 | 114M | 20 | 279 |1271 | 0 |1252 | 0 | 584 | 20 | 0.000000e+00 | -- | Inf | 7.10%
8.37/8.49 c 8.5s| 400 | 24 | 57669 | 32.7 | 114M | 20 | 279 |1343 |1021 |1374 | 1 | 659 | 20 | 0.000000e+00 | -- | Inf | 7.27%
8.67/8.71 c 8.7s| 500 | 20 | 59734 | 32.0 | 114M | 20 | 279 |1385 |1011 |1475 | 1 | 705 | 20 | 0.000000e+00 | -- | Inf | 7.33%
9.07/9.13 c 9.1s| 600 | 18 | 62754 | 31.9 | 114M | 20 | 279 |1410 | 0 |1518 | 0 | 734 | 20 | 0.000000e+00 | -- | Inf | 7.38%
9.56/9.60 c 9.6s| 700 | 16 | 66060 | 31.9 | 115M | 20 | 279 |1444 | 934 |1728 | 0 | 776 | 20 | 0.000000e+00 | -- | Inf | 7.95%
9.86/9.95 c 10.0s| 800 | 15 | 68990 | 31.8 | 115M | 20 | 279 |1481 | 912 |1941 | 1 | 827 | 20 | 0.000000e+00 | -- | Inf | 8.34%
10.07/10.13 c 10.1s| 900 | 19 | 72317 | 31.9 | 115M | 27 | 279 |1519 | 0 |2055 | 0 | 877 | 20 | 0.000000e+00 | -- | Inf | 8.39%
10.26/10.31 c 10.3s| 1000 | 15 | 74839 | 31.5 | 115M | 27 | 279 |1545 | 916 |2234 | 2 | 923 | 20 | 0.000000e+00 | -- | Inf | 8.40%
10.56/10.64 c 10.6s| 1100 | 17 | 78520 | 31.8 | 115M | 27 | 279 |1572 | 922 |2452 | 0 | 961 | 20 | 0.000000e+00 | -- | Inf | 9.07%
11.16/11.20 c 11.2s| 1200 | 17 | 83574 | 32.6 | 115M | 27 | 279 |1603 | 919 |2838 | 2 |1008 | 20 | 0.000000e+00 | -- | Inf | 10.11%
11.46/11.58 c 11.6s| 1300 | 17 | 86765 | 32.6 | 116M | 27 | 279 |1644 | 929 |3065 | 0 |1072 | 20 | 0.000000e+00 | -- | Inf | 10.45%
11.76/11.87 c 11.9s| 1400 | 17 | 90308 | 32.7 | 116M | 27 | 279 |1643 | 0 |3258 | 0 |1090 | 20 | 0.000000e+00 | -- | Inf | 10.57%
11.96/12.02 c 12.0s| 1500 | 17 | 93423 | 32.6 | 116M | 27 | 279 |1674 | 931 |3411 | 0 |1136 | 20 | 0.000000e+00 | -- | Inf | 10.58%
12.06/12.14 c 12.1s| 1600 | 17 | 95865 | 32.3 | 116M | 27 | 279 |1721 | 927 |3575 | 2 |1197 | 20 | 0.000000e+00 | -- | Inf | 10.61%
12.15/12.29 c 12.3s| 1700 | 17 | 99029 | 32.3 | 116M | 27 | 279 |1750 | 936 |3721 | 0 |1227 | 20 | 0.000000e+00 | -- | Inf | 10.64%
12.35/12.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.35/12.48 c 12.5s| 1800 | 21 |102015 | 32.2 | 116M | 27 | 279 |1779 | 936 |3894 | 1 |1273 | 20 | 0.000000e+00 | -- | Inf | 10.66%
12.96/13.03 c 13.0s| 1900 | 21 |105589 | 32.3 | 116M | 27 | 279 |1823 | 0 |4241 | 0 |1327 | 20 | 0.000000e+00 | -- | Inf | 11.35%
13.06/13.19 c 13.2s| 2000 | 17 |108445 | 32.2 | 118M | 27 | 279 |1830 | 948 |4435 | 0 |1352 | 20 | 0.000000e+00 | -- | Inf | 11.45%
13.35/13.45 c 13.4s| 2100 | 24 |111434 | 32.1 | 118M | 27 | 279 |1859 | 915 |4641 | 2 |1395 | 20 | 0.000000e+00 | -- | Inf | 11.48%
13.45/13.57 c 13.6s| 2200 | 20 |113667 | 31.8 | 118M | 27 | 279 |1899 | 941 |4856 | 0 |1437 | 20 | 0.000000e+00 | -- | Inf | 11.49%
13.65/13.70 c 13.7s| 2300 | 20 |116885 | 31.8 | 118M | 27 | 279 |1910 | 935 |5129 | 2 |1453 | 20 | 0.000000e+00 | -- | Inf | 11.53%
13.75/13.82 c 13.8s| 2400 | 20 |119201 | 31.6 | 118M | 27 | 279 |1940 | 954 |5352 | 2 |1491 | 20 | 0.000000e+00 | -- | Inf | 11.55%
13.85/13.94 c 13.9s| 2500 | 18 |121904 | 31.5 | 118M | 27 | 279 |1968 | 943 |5554 | 1 |1521 | 20 | 0.000000e+00 | -- | Inf | 11.55%
13.95/14.07 c 14.1s| 2600 | 18 |124646 | 31.4 | 118M | 27 | 279 |2000 | 940 |5754 | 2 |1558 | 20 | 0.000000e+00 | -- | Inf | 11.56%
14.15/14.20 c 14.2s| 2700 | 18 |127389 | 31.3 | 118M | 27 | 279 |2021 | 951 |6003 | 1 |1590 | 20 | 0.000000e+00 | -- | Inf | 11.57%
14.25/14.35 c 14.3s| 2800 | 16 |130309 | 31.2 | 118M | 27 | 279 |2035 | 918 |6195 | 0 |1628 | 20 | 0.000000e+00 | -- | Inf | 11.58%
14.35/14.49 c 14.5s| 2900 | 18 |133614 | 31.3 | 118M | 27 | 279 |2057 | 0 |6378 | 0 |1659 | 20 | 0.000000e+00 | -- | Inf | 11.63%
14.45/14.60 c 14.6s| 3000 | 18 |135959 | 31.1 | 118M | 27 | 279 |2099 | 937 |6529 | 1 |1703 | 20 | 0.000000e+00 | -- | Inf | 11.64%
14.65/14.72 c 14.7s| 3100 | 16 |138764 | 31.0 | 118M | 27 | 279 |2122 | 934 |6713 | 1 |1731 | 20 | 0.000000e+00 | -- | Inf | 11.64%
14.95/15.02 c 15.0s| 3200 | 16 |142385 | 31.1 | 118M | 27 | 279 |2120 | 941 |7016 | 1 |1769 | 20 | 0.000000e+00 | -- | Inf | 13.21%
15.34/15.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.34/15.49 c 15.5s| 3300 | 22 |146499 | 31.3 | 119M | 27 | 279 |2111 | 948 |7347 | 1 |1799 | 20 | 0.000000e+00 | -- | Inf | 14.74%
15.54/15.62 c 15.6s| 3400 | 20 |149246 | 31.3 | 119M | 27 | 279 |2130 | 960 |7552 | 1 |1839 | 20 | 0.000000e+00 | -- | Inf | 14.75%
15.64/15.75 c 15.7s| 3500 | 20 |151964 | 31.2 | 119M | 27 | 279 |2132 | 953 |7749 | 2 |1867 | 20 | 0.000000e+00 | -- | Inf | 14.76%
15.74/15.87 c 15.9s| 3600 | 20 |154602 | 31.1 | 119M | 27 | 279 |2145 | 935 |7892 | 2 |1904 | 20 | 0.000000e+00 | -- | Inf | 14.76%
15.84/15.98 c 16.0s| 3700 | 20 |157084 | 30.9 | 119M | 27 | 279 |2170 | 943 |8079 | 0 |1932 | 20 | 0.000000e+00 | -- | Inf | 14.77%
16.05/16.10 c 16.1s| 3800 | 22 |159462 | 30.8 | 119M | 27 | 279 |2193 | 928 |8247 | 2 |1964 | 20 | 0.000000e+00 | -- | Inf | 14.77%
16.14/16.20 c 16.2s| 3900 | 18 |161577 | 30.6 | 119M | 28 | 279 |2212 | 954 |8361 | 1 |1989 | 20 | 0.000000e+00 | -- | Inf | 14.77%
16.24/16.31 c 16.3s| 4000 | 16 |163756 | 30.4 | 119M | 28 | 279 |2225 |1025 |8524 | 1 |2018 | 20 | 0.000000e+00 | -- | Inf | 27.29%
16.34/16.42 c 16.4s| 4100 | 14 |165883 | 30.2 | 119M | 31 | 279 |2244 | 951 |8651 | 2 |2045 | 20 | 0.000000e+00 | -- | Inf | 27.29%
16.64/16.79 c 16.8s| 4200 | 16 |168804 | 30.2 | 119M | 31 | 279 |2255 | 0 |8968 | 0 |2111 | 20 | 0.000000e+00 | -- | Inf | 28.88%
17.14/17.26 c 17.3s| 4300 | 22 |172243 | 30.3 | 119M | 31 | 279 |2223 | 908 |9284 | 2 |2165 | 20 | 0.000000e+00 | -- | Inf | 30.37%
17.54/17.60 c 17.6s| 4400 | 22 |174955 | 30.2 | 119M | 31 | 279 |2175 | 0 |9559 | 0 |2211 | 20 | 0.000000e+00 | -- | Inf | 33.15%
17.74/17.85 c 17.9s| 4500 | 16 |177620 | 30.2 | 119M | 31 | 279 |2175 | 941 |9739 | 1 |2244 | 20 | 0.000000e+00 | -- | Inf | 33.96%
18.23/18.31 c 18.3s| 4600 | 22 |181128 | 30.3 | 119M | 31 | 279 |2150 | 910 |9988 | 2 |2275 | 20 | 0.000000e+00 | -- | Inf | 34.17%
18.43/18.52 c 18.5s| 4700 | 22 |184230 | 30.3 | 119M | 31 | 279 |2148 | 938 | 10k| 0 |2333 | 20 | 0.000000e+00 | -- | Inf | 34.35%
18.53/18.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.53/18.65 c 18.7s| 4800 | 20 |187207 | 30.3 | 119M | 31 | 279 |2175 | 941 | 10k| 0 |2377 | 20 | 0.000000e+00 | -- | Inf | 34.40%
18.63/18.80 c 18.8s| 4900 | 26 |190296 | 30.3 | 119M | 31 | 279 |2183 | 0 | 10k| 0 |2408 | 20 | 0.000000e+00 | -- | Inf | 34.44%
18.83/18.94 c 18.9s| 5000 | 24 |193196 | 30.3 | 119M | 31 | 279 |2211 | 951 | 10k| 2 |2445 | 20 | 0.000000e+00 | -- | Inf | 34.45%
18.94/19.09 c 19.1s| 5100 | 22 |196879 | 30.4 | 119M | 31 | 279 |2214 | 936 | 11k| 0 |2466 | 20 | 0.000000e+00 | -- | Inf | 34.46%
19.13/19.22 c 19.2s| 5200 | 24 |199857 | 30.4 | 119M | 31 | 279 |2226 | 961 | 11k| 1 |2485 | 20 | 0.000000e+00 | -- | Inf | 34.46%
19.23/19.35 c 19.3s| 5300 | 22 |202725 | 30.3 | 119M | 31 | 279 |2236 | 952 | 11k| 1 |2499 | 20 | 0.000000e+00 | -- | Inf | 34.46%
19.33/19.48 c 19.5s| 5400 | 22 |205675 | 30.3 | 119M | 31 | 279 |2253 | 952 | 11k| 1 |2531 | 20 | 0.000000e+00 | -- | Inf | 34.48%
19.53/19.60 c 19.6s| 5500 | 21 |208313 | 30.3 | 119M | 33 | 279 |2268 | 940 | 11k| 2 |2555 | 20 | 0.000000e+00 | -- | Inf | 34.48%
19.63/19.74 c 19.7s| 5600 | 20 |211507 | 30.3 | 119M | 33 | 279 |2283 | 938 | 11k| 0 |2592 | 20 | 0.000000e+00 | -- | Inf | 34.50%
19.73/19.87 c 19.9s| 5700 | 20 |214435 | 30.3 | 119M | 33 | 279 |2293 | 958 | 12k| 1 |2610 | 20 | 0.000000e+00 | -- | Inf | 34.51%
19.83/19.99 c 20.0s| 5800 | 20 |217325 | 30.3 | 119M | 33 | 279 |2304 | 939 | 12k| 1 |2632 | 20 | 0.000000e+00 | -- | Inf | 34.51%
20.23/20.37 c 20.4s| 5900 | 24 |220683 | 30.3 | 119M | 33 | 279 |2219 | 0 | 12k| 0 |2683 | 20 | 0.000000e+00 | -- | Inf | 36.27%
20.43/20.58 c 20.6s| 6000 | 26 |223747 | 30.3 | 119M | 33 | 279 |2156 | 933 | 12k| 2 |2718 | 20 | 0.000000e+00 | -- | Inf | 36.65%
20.63/20.72 c 20.7s| 6100 | 26 |225942 | 30.2 | 119M | 33 | 279 |2104 | 0 | 12k| 0 |2748 | 20 | 0.000000e+00 | -- | Inf | 36.74%
20.73/20.89 c 20.9s| 6200 | 28 |229115 | 30.2 | 119M | 33 | 279 |2020 | 927 | 13k| 1 |2778 | 20 | 0.000000e+00 | -- | Inf | 36.94%
20.93/21.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.93/21.02 c 21.0s| 6300 | 24 |232222 | 30.2 | 119M | 33 | 279 |1885 | 941 | 13k| 2 |2790 | 20 | 0.000000e+00 | -- | Inf | 36.95%
21.03/21.18 c 21.2s| 6400 | 28 |234103 | 30.1 | 119M | 33 | 279 |1893 | 905 | 13k| 2 |2819 | 20 | 0.000000e+00 | -- | Inf | 37.04%
21.23/21.32 c 21.3s| 6500 | 28 |236309 | 30.0 | 119M | 33 | 279 |1884 | 916 | 13k| 1 |2841 | 20 | 0.000000e+00 | -- | Inf | 37.18%
21.32/21.43 c 21.4s| 6600 | 24 |238442 | 29.9 | 119M | 33 | 279 |1898 | 0 | 13k| 0 |2867 | 20 | 0.000000e+00 | -- | Inf | 37.20%
21.52/21.62 c 21.6s| 6700 | 24 |241253 | 29.8 | 119M | 33 | 279 |1867 | 928 | 13k| 1 |2903 | 20 | 0.000000e+00 | -- | Inf | 37.34%
21.62/21.73 c 21.7s| 6800 | 30 |243370 | 29.7 | 119M | 33 | 279 |1874 | 939 | 13k| 0 |2929 | 20 | 0.000000e+00 | -- | Inf | 37.35%
21.72/21.83 c 21.8s| 6900 | 30 |245243 | 29.6 | 119M | 33 | 279 |1888 | 936 | 14k| 1 |2975 | 20 | 0.000000e+00 | -- | Inf | 37.36%
21.82/21.94 c 21.9s| 7000 | 30 |247029 | 29.4 | 119M | 33 | 279 |1904 | 0 | 14k| 0 |3027 | 20 | 0.000000e+00 | -- | Inf | 37.38%
21.93/22.05 c 22.0s| 7100 | 26 |249364 | 29.4 | 119M | 33 | 279 |1914 | 918 | 14k| 2 |3063 | 20 | 0.000000e+00 | -- | Inf | 37.39%
22.03/22.15 c 22.1s| 7200 | 22 |251243 | 29.2 | 119M | 33 | 279 |1937 | 919 | 14k| 1 |3098 | 20 | 0.000000e+00 | -- | Inf | 37.40%
22.12/22.25 c 22.2s| 7300 | 26 |253219 | 29.1 | 119M | 33 | 279 |1959 | 923 | 14k| 1 |3127 | 20 | 0.000000e+00 | -- | Inf | 37.41%
22.22/22.36 c 22.4s| 7400 | 24 |255445 | 29.0 | 119M | 33 | 279 |1971 | 926 | 14k| 0 |3154 | 20 | 0.000000e+00 | -- | Inf | 37.42%
22.32/22.48 c 22.5s| 7500 | 24 |257172 | 28.9 | 119M | 33 | 279 |1992 | 927 | 14k| 1 |3191 | 20 | 0.000000e+00 | -- | Inf | 37.49%
22.42/22.55 c *22.5s| 7573 | 0 |258457 | 28.8 | LP | 33 | 279 |2019 | 923 | 14k| 1 |3223 | 20 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
22.42/22.55 c
22.42/22.55 c SCIP Status : problem is solved [optimal solution found]
22.42/22.55 c Solving Time (sec) : 22.55
22.42/22.55 c Solving Nodes : 7573 (total of 8685 nodes in 2 runs)
22.42/22.55 c Primal Bound : +0.00000000000000e+00 (1 solutions)
22.42/22.55 c Dual Bound : +0.00000000000000e+00
22.42/22.55 c Gap : 0.00 %
22.42/22.55 s SATISFIABLE
22.42/22.55 v x315 -x316 x313 -x314 -x311 x312 -x309 x310 -x307 x308 -x305 x306 -x303 -x304 -x301 -x302 -x299 -x300 -x297 -x298 x295 -x296 x293
22.42/22.55 v -x294 x291 -x292 x289 -x290 x287 -x288 x285 -x286 x283 -x284 x281 -x282 x279 -x280 -x277 x278 -x275 x276 -x273 x274 -x271
22.42/22.55 v x272 -x269 x270 -x267 x268 -x265 -x266 -x263 -x264 -x261 x262 -x259 -x260 x257 -x258 x255 -x256 x253 -x254 x251 -x252 -x249 x250
22.42/22.55 v -x247 x248 x245 -x246 x243 -x244 -x241 x242 x239 -x240 x237 -x238 x235 -x236 -x233 x234 -x231 x232 -x229 x230 -x227 x228
22.42/22.55 v x225 -x226 x223 -x224 -x221 x222 x219 -x220 x217 -x218 x215 -x216 x213 -x214 x211 -x212 -x209 x210 -x207 x208 -x205 x206 -x203
22.42/22.55 v x204 -x201 x202 -x200 x198 x196 -x194 -x192 -x190 -x188 x186 x184 -x182 x180 -x178 x176 -x174 -x172 -x170 -x168 x166 x164 -x162
22.42/22.55 v x160 x158 -x156 -x154 -x152 -x150 -x148 x146 -x144 -x142 -x140 x138 x136 -x134 -x132 -x130 -x128 -x126 -x124 -x122 -x120
22.42/22.55 v -x118 x116 -x114 -x112 -x110 -x108 -x106 -x104 -x102 -x100 -x98 -x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74
22.42/22.55 v -x72 -x70 -x68 -x66 -x64 -x62 -x60 -x58 -x56 -x54 -x52 -x50 -x48 -x46 -x44 -x42 -x40 -x38 -x36 -x34 -x32 -x30 -x28 -x26 -x24
22.42/22.55 v -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x199 -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175
22.42/22.55 v -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133
22.42/22.55 v -x131 -x129 -x127 -x125 -x123 -x121 -x119 -x117 -x115 -x113 -x111 -x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91
22.42/22.55 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
22.42/22.55 v -x37 -x35 x33 x31 x29 -x27 -x25 -x23 -x21 -x19 -x17 -x15 x13 x11 x9 x7 -x5 -x3 x1
22.42/22.55 c SCIP Status : problem is solved [optimal solution found]
22.42/22.55 c Total Time : 22.55
22.42/22.55 c solving : 22.55
22.42/22.55 c presolving : 0.06 (included in solving)
22.42/22.55 c reading : 0.00 (included in solving)
22.42/22.55 c copying : 0.40 (101 #copies) (minimal 0.00, maximal 0.01, average 0.00)
22.42/22.55 c Original Problem :
22.42/22.55 c Problem name : HOME/instance-4443465-1721299793.opb
22.42/22.55 c Variables : 316 (316 binary, 0 integer, 0 implicit integer, 0 continuous)
22.42/22.55 c Constraints : 686 initial, 686 maximal
22.42/22.55 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
22.42/22.55 c Presolved Problem :
22.42/22.55 c Problem name : t_HOME/instance-4443465-1721299793.opb
22.42/22.55 c Variables : 279 (279 binary, 0 integer, 0 implicit integer, 0 continuous)
22.42/22.55 c Constraints : 916 initial, 2306 maximal
22.42/22.55 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
22.42/22.55 c Nonzeros : 7737 constraint, 7129 clique table
22.42/22.55 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
22.42/22.55 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
22.42/22.55 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.42/22.55 c gateextraction : 0.00 0.00 12 0 0 0 0 0 849 107 0 0
22.42/22.55 c implics : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
22.42/22.55 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c milp : 0.00 0.00 1 3 2 0 0 0 0 0 0 0
22.42/22.55 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.42/22.55 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c trivial : 0.00 0.00 23 0 0 0 0 0 0 0 0 0
22.42/22.55 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c dualfix : 0.00 0.00 23 0 0 0 0 0 0 0 0 0
22.42/22.55 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c probing : 0.02 0.00 2 9 4 0 0 0 0 0 0 0
22.42/22.55 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.42/22.55 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.42/22.55 c vbounds : 0.00 0.00 5 0 4 0 0 0 0 0 0 0
22.42/22.55 c knapsack : 0.00 0.00 42 0 0 0 0 0 189 758 6 18
22.42/22.55 c setppc : 0.00 0.00 41 0 2 0 0 0 32 0 0 0
22.42/22.55 c and : 0.00 0.00 23 0 0 0 0 0 4 9 0 23
22.42/22.55 c linear : 0.01 0.00 17 13 0 0 13 0 37 0 0 1
22.42/22.55 c logicor : 0.01 0.00 38 0 0 0 0 0 38 0 0 641
22.42/22.55 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
22.42/22.55 c root node : - - - 0 - - 0 - - - - -
22.42/22.55 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
22.42/22.55 c benderslp : 0 0 0 0 4367 0 0 766 0 0 0 0 0 0 0
22.42/22.55 c integral : 0 0 0 0 4367 0 0 766 0 0 0 0 0 0 8732
22.42/22.55 c knapsack : 10 10 22 33460 1 0 0 759 1821 1160 7470 48 3 0 0
22.42/22.55 c setppc : 311+ 323 22 32302 1 0 0 146 33239 103 35508 4 0 0 0
22.42/22.55 c and : 101 101 7564 32199 1 0 0 2 92955 147 94685 23042 14169 0 0
22.42/22.55 c linear : 1+ 101 23 29237 0 0 0 3 10 24 141 1 1 0 0
22.42/22.55 c logicor : 493+ 1801 22 20074 1 0 0 0 2091 150 12389 4 0 0 0
22.42/22.55 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
22.42/22.55 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
22.42/22.55 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
22.42/22.55 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
22.42/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.42/22.55 c integral : 0.48 0.00 0.00 0.00 0.48 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c knapsack : 0.13 0.00 0.01 0.11 0.00 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c setppc : 0.11 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.01 0.00
22.42/22.55 c and : 0.42 0.00 0.09 0.32 0.00 0.00 0.00 0.00 0.01 0.00
22.42/22.55 c linear : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c logicor : 0.14 0.00 0.00 0.14 0.00 0.00 0.00 0.00 0.00 0.00
22.42/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.42/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.42/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.42/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.42/22.55 c Propagators : #Propagate #ResProp Cutoffs DomReds
22.42/22.55 c dualfix : 2 0 0 0
22.42/22.55 c genvbounds : 0 0 0 0
22.42/22.55 c nlobbt : 0 0 0 0
22.42/22.55 c obbt : 0 0 0 0
22.42/22.55 c probing : 0 0 0 0
22.42/22.55 c pseudoobj : 0 0 0 0
22.42/22.55 c redcost : 0 0 0 0
22.42/22.55 c rootredcost : 0 0 0 0
22.42/22.55 c symmetry : 0 0 0 0
22.42/22.55 c vbounds : 28280 0 0 0
22.42/22.55 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
22.42/22.55 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
22.42/22.55 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c symmetry : 0.01 0.00 0.00 0.00 0.00 0.00
22.42/22.55 c vbounds : 0.04 0.00 0.00 0.04 0.00 0.00
22.42/22.55 c Symmetry :
22.42/22.55 c orbitopal red. : 0 reductions applied, 0 cutoffs
22.42/22.55 c orbital reduction: 0 reductions applied, 0 cutoffs
22.42/22.55 c lexicographic red: 0 reductions applied, 0 cutoffs
22.42/22.55 c shadow tree time : 0.00 s
22.42/22.55 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
22.42/22.55 c propagation : 0.06 1371 1357 - 9173 43.5 28 9.5 - - -
22.42/22.55 c infeasible LP : 0.14 2890 64 - 464 53.2 0 0.0 14 9.4 0
22.42/22.55 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
22.42/22.55 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
22.42/22.55 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
22.42/22.55 c applied globally : 0.04 - - 0 3186 12.2 - - 14 - -
22.42/22.55 c applied locally : - - - 0 23 50.7 - - 0 - -
22.42/22.55 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
22.42/22.55 c cut pool : 0.59 - 1145 42 - - 16719 24556 - - - - - (maximal pool size: 5863)
22.42/22.55 c aggregation : 0.37 0.00 236 22 0 0 329 870 3 43 43 0 0
22.42/22.55 c > cmir : - - - - - - - 843 0 38 38 0 -
22.42/22.55 c > flowcover : - - - - - - - 16 0 4 4 0 -
22.42/22.55 c > knapsackcover : - - - - - - - 11 3 1 1 0 -
22.42/22.55 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c clique : 0.02 0.00 22 22 0 0 43 105 0 20 20 0 0
22.42/22.55 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c gomory : 6.79 0.00 234 20 0 0 14103 14956 1038 323 300 23 0
22.42/22.55 c > gomorymi : - - - - - - - 7137 519 237 215 22 -
22.42/22.55 c > strongcg : - - - - - - - 7819 519 86 85 1 -
22.42/22.55 c impliedbounds : 0.02 0.00 236 22 0 0 3240 8526 0 2802 2802 0 0
22.42/22.55 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
22.42/22.55 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c multilinear : 0.00 0.00 700 22 0 0 0 0 0 0 0 0 0
22.42/22.55 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.42/22.55 c rapidlearning : 1.83 0.00 100 2 0 5765 0 0 0 0 0 0 740
22.42/22.55 c rlt : 0.08 0.00 132 20 0 0 0 0 0 0 0 0 0
22.42/22.55 c zerohalf : 0.18 0.00 236 22 0 0 280 99 235 91 24 67 0
22.42/22.55 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
22.42/22.55 c hybrid : 0.05 0.00 4227 22 17452 0 30781 639 0 8337
22.42/22.55 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c Pricers : ExecTime SetupTime Calls Vars
22.42/22.55 c problem variables: 0.00 - 0 0
22.42/22.55 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
22.42/22.55 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c random : 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c relpscost : 0.48 0.00 4366 0 0 0 0 0 0 8732
22.42/22.55 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
22.42/22.55 c Primal Heuristics : ExecTime SetupTime Calls Found Best
22.42/22.55 c LP solutions : 0.00 - - 1 1
22.42/22.55 c relax solutions : 0.00 - - 0 0
22.42/22.55 c pseudo solutions : 0.00 - - 0 0
22.42/22.55 c strong branching : 0.00 - - 0 0
22.42/22.55 c actconsdiving : 0.00 0.00 0 0 0
22.42/22.55 c adaptivediving : 0.07 0.00 6 0 0
22.42/22.55 c alns : 0.01 0.00 4 0 0
22.42/22.55 c bound : 0.00 0.00 0 0 0
22.42/22.55 c clique : 0.00 0.00 1 0 0
22.42/22.55 c coefdiving : 0.00 0.00 0 0 0
22.42/22.55 c completesol : 0.00 0.00 0 0 0
22.42/22.55 c conflictdiving : 0.13 0.00 4 0 0
22.42/22.55 c crossover : 0.00 0.00 0 0 0
22.42/22.55 c dins : 0.00 0.00 0 0 0
22.42/22.55 c distributiondivin: 0.25 0.00 3 0 0
22.42/22.55 c dps : 0.00 0.00 0 0 0
22.42/22.55 c dualval : 0.00 0.00 0 0 0
22.42/22.55 c farkasdiving : 0.00 0.00 0 0 0
22.42/22.55 c feasjump : 0.04 0.00 2 0 0
22.42/22.55 c feaspump : 0.09 0.00 2 0 0
22.42/22.55 c fixandinfer : 0.00 0.00 0 0 0
22.42/22.55 c fracdiving : 0.03 0.00 4 0 0
22.42/22.55 c gins : 0.00 0.00 0 0 0
22.42/22.55 c guideddiving : 0.00 0.00 0 0 0
22.42/22.55 c indcoefdiving : 0.00 0.00 0 0 0
22.42/22.55 c indicator : 0.00 0.00 0 0 0
22.42/22.55 c indicatordiving : 0.00 0.00 0 0 0
22.42/22.55 c indoneopt : 0.00 0.00 0 0 0
22.42/22.55 c indrounding : 0.00 0.00 0 0 0
22.42/22.55 c indtwoopt : 0.00 0.00 0 0 0
22.42/22.55 c intdiving : 0.00 0.00 0 0 0
22.42/22.55 c intshifting : 0.00 0.00 0 0 0
22.42/22.55 c linesearchdiving : 0.05 0.00 4 0 0
22.42/22.55 c localbranching : 0.00 0.00 0 0 0
22.42/22.55 c locks : 0.00 0.00 1 0 0
22.42/22.55 c lpface : 0.00 0.00 0 0 0
22.42/22.55 c mpec : 0.00 0.00 0 0 0
22.42/22.55 c multistart : 0.00 0.00 0 0 0
22.42/22.55 c mutation : 0.00 0.00 0 0 0
22.42/22.55 c nlpdiving : 0.00 0.00 0 0 0
22.42/22.55 c objpscostdiving : 0.02 0.00 2 0 0
22.42/22.55 c octane : 0.00 0.00 0 0 0
22.42/22.55 c ofins : 0.00 0.00 0 0 0
22.42/22.55 c oneopt : 0.00 0.00 0 0 0
22.42/22.55 c padm : 0.00 0.00 0 0 0
22.42/22.55 c proximity : 0.00 0.00 0 0 0
22.42/22.55 c pscostdiving : 0.05 0.00 4 0 0
22.42/22.55 c randrounding : 0.05 0.00 774 0 0
22.42/22.55 c rens : 0.00 0.00 0 0 0
22.42/22.55 c reoptsols : 0.00 0.00 0 0 0
22.42/22.55 c repair : 0.00 0.00 0 0 0
22.42/22.55 c rins : 0.00 0.00 0 0 0
22.42/22.55 c rootsoldiving : 0.04 0.00 2 0 0
22.42/22.55 c rounding : 0.06 0.00 1258 0 0
22.42/22.55 c scheduler : 0.00 0.00 0 0 0
22.42/22.55 c shiftandpropagate: 0.00 0.00 2 0 0
22.42/22.55 c shifting : 0.08 0.00 409 0 0
22.42/22.55 c simplerounding : 0.00 0.00 0 0 0
22.42/22.55 c smallcard : 0.00 0.00 0 0 0
22.42/22.55 c subnlp : 0.00 0.00 0 0 0
22.42/22.55 c trivial : 0.00 0.00 4 0 0
22.42/22.55 c trivialnegation : 0.00 0.00 0 0 0
22.42/22.55 c trustregion : 0.00 0.00 0 0 0
22.42/22.55 c trysol : 0.00 0.00 0 0 0
22.42/22.55 c twoopt : 0.00 0.00 0 0 0
22.42/22.55 c undercover : 0.01 0.00 1 0 0
22.42/22.55 c vbounds : 0.00 0.00 2 0 0
22.42/22.55 c veclendiving : 0.02 0.00 4 0 0
22.42/22.55 c zeroobj : 0.00 0.00 0 0 0
22.42/22.55 c zirounding : 0.04 0.00 1000 0 0
22.42/22.55 c other solutions : - - - 0 -
22.42/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.42/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.42/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.42/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.42/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.42/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.42/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.42/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.42/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.42/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.42/22.55 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
22.42/22.55 c primal LP : 0.04 274 0 0.00 0.00 0.04 274
22.42/22.55 c dual LP : 8.17 11532 248452 21.55 30420.64 0.00 4
22.42/22.55 c lex dual LP : 0.00 0 0 0.00 -
22.42/22.55 c barrier LP : 0.00 0 0 0.00 - 0.00 0
22.42/22.55 c resolve instable : 0.00 0 0 0.00 -
22.42/22.55 c diving/probing LP: 0.48 179 10005 55.89 20824.14
22.42/22.55 c strong branching : 0.34 20 7480 374.00 21947.91 - - 1
22.42/22.55 c (at root node) : - 20 7480 374.00 -
22.42/22.55 c conflict analysis: 0.00 0 0 0.00 -
22.42/22.55 c B&B Tree :
22.42/22.55 c number of runs : 2
22.42/22.55 c nodes : 7573 (3801 internal, 3772 leaves)
22.42/22.55 c feasible leaves : 1
22.42/22.55 c infeas. leaves : 3771
22.42/22.55 c objective leaves : 0
22.42/22.55 c nodes (total) : 8685 (4366 internal, 4319 leaves)
22.42/22.55 c nodes left : 0
22.42/22.55 c max depth : 33
22.42/22.55 c max depth (total): 33
22.42/22.55 c backtracks : 1028 (13.6%)
22.42/22.55 c early backtracks : 0 (0.0%)
22.42/22.55 c nodes exc. ref. : 0 (0.0%)
22.42/22.55 c delayed cutoffs : 5
22.42/22.55 c repropagations : 3792 (3141 domain reductions, 4 cutoffs)
22.42/22.55 c avg switch length: 3.42
22.42/22.55 c switching time : 0.59
22.42/22.55 c Root Node :
22.42/22.55 c First LP value : +0.00000000000000e+00
22.42/22.55 c First LP Iters : 529 (25013.00 Iter/sec)
22.42/22.55 c First LP Time : 0.02
22.42/22.55 c Final Dual Bound : +0.00000000000000e+00
22.42/22.55 c Final Root Iters : 8258
22.42/22.55 c Root LP Estimate : +1.16895976864713e-02
22.42/22.55 c Solution :
22.42/22.55 c Solutions found : 1 (1 improvements)
22.42/22.55 c First Solution : +0.00000000000000e+00 (in run 2, after 7573 nodes, 22.54 seconds, depth 25, found by <relaxation>)
22.42/22.55 c Gap First Sol. : 0.00 %
22.42/22.55 c Gap Last Sol. : 0.00 %
22.42/22.55 c Primal Bound : +0.00000000000000e+00 (in run 2, after 7573 nodes, 22.54 seconds, depth 25, found by <relaxation>)
22.42/22.55 c Dual Bound : +0.00000000000000e+00
22.42/22.55 c Gap : 0.00 %
22.42/22.55 c Integrals : Total Avg%
22.42/22.55 c primal-dual : 2254.50 100.00
22.42/22.55 c primal-ref : - - (not evaluated)
22.42/22.55 c dual-ref : - - (not evaluated)
22.42/22.56 c Time complete: 22.4884.