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-4447125-1721345880.opb>
0.00/0.02 c original problem has 7208 variables (7208 bin, 0 int, 0 impl, 0 cont) and 7422 constraints
0.00/0.02 c problem read in 0.02
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.06 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1443 clqs
0.00/0.06 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1430 clqs
0.00/0.06 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1435 clqs
0.00/0.07 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1461 clqs
0.00/0.07 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1476 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.09/0.14 c (0.1s) MILP presolver (4 rounds): 0 aggregations, 104 fixings, 0 bound changes
0.09/0.14 c (round 6, medium) 687 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1476 clqs
0.09/0.15 c (round 7, fast) 687 del vars, 409 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1476 clqs
0.09/0.15 c (round 8, exhaustive) 687 del vars, 513 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1476 clqs
0.09/0.18 c (round 9, exhaustive) 687 del vars, 513 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6909 upgd conss, 0 impls, 1476 clqs
0.19/0.23 c (round 10, exhaustive) 749 del vars, 513 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6909 upgd conss, 0 impls, 1465 clqs
0.19/0.23 c (round 11, fast) 811 del vars, 575 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6909 upgd conss, 0 impls, 1465 clqs
1.18/1.20 c (round 12, exhaustive) 837 del vars, 576 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6909 upgd conss, 0 impls, 42360 clqs
1.18/1.20 c (round 13, fast) 837 del vars, 602 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 125 chg coeffs, 6909 upgd conss, 0 impls, 42378 clqs
1.67/1.73 c (round 14, exhaustive) 863 del vars, 602 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 125 chg coeffs, 6909 upgd conss, 0 impls, 43051 clqs
1.67/1.74 c (round 15, fast) 863 del vars, 628 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 176 chg coeffs, 6909 upgd conss, 0 impls, 43056 clqs
1.87/1.92 c (round 16, exhaustive) 888 del vars, 628 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 176 chg coeffs, 6909 upgd conss, 0 impls, 43056 clqs
1.87/1.92 c (round 17, fast) 888 del vars, 653 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 230 chg coeffs, 6909 upgd conss, 0 impls, 43063 clqs
2.08/2.10 c (round 18, exhaustive) 913 del vars, 653 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 230 chg coeffs, 6909 upgd conss, 0 impls, 43057 clqs
2.08/2.10 c (round 19, fast) 913 del vars, 678 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 272 chg coeffs, 6909 upgd conss, 0 impls, 43061 clqs
2.08/2.16 c (round 20, exhaustive) 938 del vars, 678 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 272 chg coeffs, 6909 upgd conss, 0 impls, 42925 clqs
2.08/2.16 c (round 21, fast) 938 del vars, 703 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 294 chg coeffs, 6909 upgd conss, 0 impls, 42925 clqs
2.17/2.22 c (round 22, exhaustive) 963 del vars, 703 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 294 chg coeffs, 6909 upgd conss, 0 impls, 42898 clqs
2.17/2.22 c (round 23, fast) 963 del vars, 728 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 319 chg coeffs, 6909 upgd conss, 0 impls, 42898 clqs
2.27/2.38 c (2.4s) probing: 1000/6680 (15.0%) - 158 fixings, 1 aggregations, 650775 implications, 0 bound changes
3.67/3.70 c (3.7s) probing: 2000/6680 (29.9%) - 168 fixings, 1 aggregations, 1218716 implications, 0 bound changes
4.27/4.36 c (round 24, exhaustive) 988 del vars, 728 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 319 chg coeffs, 6909 upgd conss, 0 impls, 43090 clqs
4.27/4.36 c (round 25, fast) 988 del vars, 753 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 357 chg coeffs, 6909 upgd conss, 0 impls, 43092 clqs
4.37/4.42 c (round 26, exhaustive) 1013 del vars, 753 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 357 chg coeffs, 6909 upgd conss, 0 impls, 43110 clqs
4.37/4.42 c (round 27, fast) 1013 del vars, 778 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 392 chg coeffs, 6909 upgd conss, 0 impls, 43111 clqs
4.86/4.97 c (5.0s) probing: 3000/6680 (44.9%) - 207 fixings, 1 aggregations, 1659022 implications, 0 bound changes
5.97/6.05 c (6.0s) probing: 4000/6680 (59.9%) - 214 fixings, 1 aggregations, 2089693 implications, 0 bound changes
7.06/7.14 c (7.1s) probing: 5000/6680 (74.9%) - 222 fixings, 1 aggregations, 2507768 implications, 0 bound changes
8.05/8.11 c (8.1s) probing: 5969/6680 (89.4%) - 222 fixings, 1 aggregations, 2882160 implications, 0 bound changes
8.05/8.11 c (8.1s) probing aborted: 1000/1000 successive useless probings
8.05/8.11 c (round 28, exhaustive) 1034 del vars, 778 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 392 chg coeffs, 6909 upgd conss, 0 impls, 43068 clqs
8.05/8.11 c (round 29, fast) 1034 del vars, 799 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 427 chg coeffs, 6909 upgd conss, 0 impls, 43069 clqs
8.05/8.18 c (8.2s) probing: 6000/6680 (89.8%) - 224 fixings, 1 aggregations, 2892451 implications, 0 bound changes
8.65/8.70 c (8.7s) probing cycle finished: starting next cycle
9.84/9.96 c (10.0s) probing: 1000/6455 (15.5%) - 226 fixings, 3 aggregations, 3746867 implications, 0 bound changes
10.24/10.40 c (10.4s) probing: 1402/6455 (21.7%) - 226 fixings, 3 aggregations, 3966762 implications, 0 bound changes
10.24/10.40 c (10.4s) probing aborted: 1000/1000 successive useless probings
10.34/10.40 c (round 30, exhaustive) 1040 del vars, 799 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 427 chg coeffs, 6909 upgd conss, 0 impls, 41792 clqs
10.34/10.40 c (round 31, fast) 1040 del vars, 805 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 435 chg coeffs, 6909 upgd conss, 0 impls, 41794 clqs
10.44/10.56 c (10.6s) probing: 1502/6455 (23.3%) - 226 fixings, 3 aggregations, 4024778 implications, 0 bound changes
10.44/10.56 c (10.6s) probing aborted: 1000/1000 successive useless probings
10.44/10.57 c (10.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
10.55/10.60 c (10.6s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
10.55/10.61 c dynamic symmetry handling statistics:
10.55/10.61 c orbitopal reduction: no components
10.55/10.61 c orbital reduction: no components
10.55/10.61 c lexicographic reduction: 4 permutations with support sizes 200, 396, 200, 184
10.55/10.61 c handled 5 out of 5 symmetry components
10.55/10.61 c (round 32, exhaustive) 1046 del vars, 805 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 435 chg coeffs, 6909 upgd conss, 0 impls, 43159 clqs
10.55/10.61 c (round 33, fast) 1046 del vars, 811 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 447 chg coeffs, 6909 upgd conss, 0 impls, 43159 clqs
10.65/10.75 c (10.8s) probing: 1602/6455 (24.8%) - 226 fixings, 3 aggregations, 4078273 implications, 0 bound changes
10.65/10.75 c (10.8s) probing aborted: 1000/1000 successive useless probings
10.65/10.76 c presolving (34 rounds: 34 fast, 16 medium, 15 exhaustive):
10.65/10.76 c 1046 deleted vars, 811 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 447 changed coefficients
10.65/10.76 c 0 implications, 43181 cliques
10.65/10.76 c presolved problem has 6445 variables (6445 bin, 0 int, 0 impl, 0 cont) and 6612 constraints
10.65/10.76 c 1396 constraints of type <setppc>
10.65/10.76 c 1 constraints of type <orbitope>
10.65/10.76 c 5215 constraints of type <logicor>
10.65/10.76 c transformed objective value is always integral (scale: 1)
10.65/10.76 c Presolving Time: 10.71
10.65/10.76 c - non default parameters ----------------------------------------------------------------------
10.65/10.76 c # SCIP version 10.0.0
10.65/10.76 c
10.65/10.76 c # maximal time in seconds to run
10.65/10.76 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
10.65/10.76 c limits/time = 3596.997012
10.65/10.76 c
10.65/10.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.65/10.76 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
10.65/10.76 c limits/memory = 27900
10.65/10.76 c
10.65/10.76 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
10.65/10.76 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
10.65/10.76 c limits/solutions = 1
10.65/10.76 c
10.65/10.76 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.
10.65/10.76 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
10.65/10.76 c misc/usesymmetry = 3
10.65/10.76 c
10.65/10.76 c # belongs reading time to solving time?
10.65/10.76 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
10.65/10.76 c timing/reading = TRUE
10.65/10.76 c
10.65/10.76 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
10.65/10.76 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
10.65/10.76 c propagating/symmetry/detectdoublelex = FALSE
10.65/10.76 c
10.65/10.76 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
10.65/10.76 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
10.65/10.76 c propagating/symmetry/detectsubgroups = FALSE
10.65/10.76 c
10.65/10.76 c # Type of symmetries that shall be computed?
10.65/10.76 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
10.65/10.76 c propagating/symmetry/symtype = 1
10.65/10.76 c
10.65/10.76 c # Should components consisting of a single full reflection be handled?
10.65/10.76 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
10.65/10.76 c propagating/symmetry/usesimplesgncomp = FALSE
10.65/10.76 c
10.65/10.76 c -----------------------------------------------------------------------------------------------
10.65/10.76 c start solving
10.65/10.76 c
15.23/15.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.23/15.33 c 15.3s| 1 | 0 | 11174 | - | 101M | 0 |6445 |6749 |6611 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
66.51/66.72 c 66.7s| 1 | 0 | 72805 | - | 111M | 0 |6445 |6949 |6624 | 13 | 1 | 156 | 0 | 0.000000e+00 | -- | Inf | unknown
71.70/71.93 c 71.9s| 1 | 0 | 82675 | - | 114M | 0 |6445 |6948 |6644 | 33 | 2 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
74.89/75.14 c 75.1s| 1 | 0 | 88211 | - | 116M | 0 |6445 |6949 |6657 | 46 | 3 | 162 | 0 | 0.000000e+00 | -- | Inf | unknown
78.89/79.14 c 79.1s| 1 | 0 | 95250 | - | 117M | 0 |6445 |6949 |6666 | 55 | 4 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
83.57/83.83 c 83.8s| 1 | 0 |103356 | - | 119M | 0 |6445 |6950 |6680 | 69 | 5 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
89.76/90.02 c 90.0s| 1 | 0 |113690 | - | 120M | 0 |6445 |6951 |6695 | 84 | 6 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
98.14/98.41 c 98.4s| 1 | 0 |125461 | - | 121M | 0 |6445 |6960 |6714 | 103 | 7 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
105.72/106.05 c 106s| 1 | 0 |136421 | - | 123M | 0 |6445 |6962 |6733 | 122 | 8 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
112.90/113.29 c 113s| 1 | 0 |147134 | - | 124M | 0 |6445 |6961 |6744 | 133 | 9 | 181 | 0 | 0.000000e+00 | -- | Inf | unknown
119.98/120.32 c 120s| 1 | 0 |157413 | - | 126M | 0 |6445 |6953 |6756 | 145 | 10 | 183 | 0 | 0.000000e+00 | -- | Inf | unknown
123.68/124.08 c 124s| 1 | 0 |163004 | - | 128M | 0 |6445 |6946 |6761 | 150 | 11 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
164.48/164.92 c 165s| 1 | 2 |210387 | - | 129M | 0 |6445 |6944 |6761 | 150 | 11 | 193 | 11 | 0.000000e+00 | -- | Inf | unknown
267.74/268.43 c 268s| 100 | 22 |389165 |2284.5 | 139M | 38 |6445 |6972 |6687 | 177 | 1 | 228 | 11 | 0.000000e+00 | -- | Inf | unknown
337.38/338.21 c 338s| 200 | 22 |580019 |2095.6 | 156M | 40 |6445 |6995 |6686 | 198 | 1 | 253 | 11 | 0.000000e+00 | -- | Inf | unknown
658.98/660.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
658.98/660.53 c 661s| 300 | 60 | 1215k|3520.0 | 172M | 40 |6445 |7079 |6689 | 220 | 1 | 425 | 11 | 0.000000e+00 | -- | Inf | unknown
708.86/710.52 c 711s| 400 | 58 | 1350k|2975.9 | 178M | 40 |6445 |7084 |6689 | 239 | 1 | 446 | 11 | 0.000000e+00 | -- | Inf | unknown
1077.63/1080.15 c 1080s| 500 | 110 | 2134k|3951.2 | 195M | 40 |6445 |7165 |6668 | 374 | 1 | 589 | 11 | 0.000000e+00 | -- | Inf | 12.61%
1239.56/1242.46 c 1242s| 600 | 146 | 2531k|3953.7 | 198M | 40 |6445 |7180 |6678 | 432 | 0 | 655 | 11 | 0.000000e+00 | -- | Inf | 12.61%
1364.68/1367.85 c 1368s| 700 | 178 | 2842k|3833.3 | 201M | 40 |6445 |7261 |6694 | 523 | 0 | 772 | 11 | 0.000000e+00 | -- | Inf | 13.40%
1562.54/1566.12 c 1566s| 800 | 206 | 3317k|3947.7 | 206M | 40 |6445 |7261 |6694 | 566 | 0 | 810 | 11 | 0.000000e+00 | -- | Inf | 13.43%
1663.81/1667.68 c 1668s| 900 | 222 | 3571k|3791.4 | 212M | 63 |6445 |7324 |6704 | 601 | 1 | 881 | 11 | 0.000000e+00 | -- | Inf | 13.43%
1750.81/1754.89 c 1755s| 1000 | 223 | 3803k|3644.5 | 213M | 66 |6445 |7306 |6690 | 650 | 0 | 892 | 11 | 0.000000e+00 | -- | Inf | 13.43%
1836.52/1840.76 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1836.52/1840.76 c (run 1, node 1074) performing user restart
1836.52/1840.76 c
1836.52/1840.77 c (restart) converted 55 cuts from the global cut pool into linear constraints
1836.52/1840.77 c
1836.52/1840.79 c presolving:
1836.52/1840.79 c (round 1, fast) 0 del vars, 22 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 43181 clqs
1836.62/1840.81 c (round 2, exhaustive) 0 del vars, 27 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 43181 clqs
1836.62/1840.82 c (round 3, exhaustive) 0 del vars, 27 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 0 chg coeffs, 240 upgd conss, 0 impls, 43181 clqs
1836.62/1840.83 c (round 4, medium) 0 del vars, 29 del conss, 6 add conss, 0 chg bounds, 34 chg sides, 41 chg coeffs, 240 upgd conss, 0 impls, 43181 clqs
1836.62/1840.85 c (round 5, exhaustive) 0 del vars, 62 del conss, 6 add conss, 0 chg bounds, 34 chg sides, 69 chg coeffs, 240 upgd conss, 0 impls, 43181 clqs
1836.72/1840.94 c (round 6, exhaustive) 0 del vars, 101 del conss, 6 add conss, 0 chg bounds, 34 chg sides, 1320 chg coeffs, 240 upgd conss, 0 impls, 43181 clqs
1836.82/1841.04 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
1836.82/1841.04 c 0 deleted vars, 101 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 34 changed sides, 1353 changed coefficients
1836.82/1841.04 c 0 implications, 43181 cliques
1836.82/1841.04 c presolved problem has 6445 variables (6445 bin, 0 int, 0 impl, 0 cont) and 7260 constraints
1836.82/1841.04 c 35 constraints of type <knapsack>
1836.82/1841.04 c 1540 constraints of type <setppc>
1836.82/1841.04 c 1 constraints of type <orbitope>
1836.82/1841.04 c 5684 constraints of type <logicor>
1836.82/1841.04 c transformed objective value is always integral (scale: 1)
1836.82/1841.04 c Presolving Time: 10.97
1836.82/1841.04 c
1841.31/1845.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1841.31/1845.51 c 1846s| 1 | 0 | 4031k| - | 215M | 0 |6445 |7338 |6637 | 0 | 0 | 993 | 11 | 0.000000e+00 | -- | Inf | unknown
1844.10/1848.37 c 1848s| 1 | 0 | 4035k| - | 217M | 0 |6445 |7342 |6648 | 11 | 1 |1003 | 11 | 0.000000e+00 | -- | Inf | unknown
1847.19/1851.46 c 1851s| 1 | 0 | 4040k| - | 217M | 0 |6445 |7337 |6657 | 20 | 2 |1004 | 11 | 0.000000e+00 | -- | Inf | unknown
1853.98/1858.20 c 1858s| 1 | 0 | 4052k| - | 217M | 0 |6445 |7336 |6664 | 27 | 3 |1009 | 11 | 0.000000e+00 | -- | Inf | unknown
1860.37/1864.64 c 1865s| 1 | 0 | 4062k| - | 218M | 0 |6445 |7329 |6676 | 39 | 4 |1012 | 11 | 0.000000e+00 | -- | Inf | unknown
1866.86/1871.19 c 1871s| 1 | 0 | 4073k| - | 218M | 0 |6445 |7323 |6683 | 46 | 5 |1013 | 11 | 0.000000e+00 | -- | Inf | unknown
1871.54/1875.89 c 1876s| 1 | 0 | 4080k| - | 218M | 0 |6445 |7320 |6694 | 57 | 6 |1023 | 11 | 0.000000e+00 | -- | Inf | unknown
1875.23/1879.57 c 1880s| 1 | 0 | 4086k| - | 218M | 0 |6445 |7308 |6707 | 70 | 7 |1025 | 11 | 0.000000e+00 | -- | Inf | unknown
1880.12/1884.41 c 1884s| 1 | 0 | 4094k| - | 220M | 0 |6445 |7311 |6721 | 84 | 8 |1029 | 11 | 0.000000e+00 | -- | Inf | unknown
1887.90/1892.21 c 1892s| 1 | 0 | 4106k| - | 220M | 0 |6445 |7300 |6734 | 97 | 9 |1031 | 11 | 0.000000e+00 | -- | Inf | unknown
1894.49/1898.84 c 1899s| 1 | 0 | 4117k| - | 221M | 0 |6445 |7278 |6751 | 114 | 10 |1032 | 11 | 0.000000e+00 | -- | Inf | unknown
1898.48/1902.82 c 1903s| 1 | 0 | 4123k| - | 222M | 0 |6445 |7274 |6762 | 125 | 11 |1034 | 11 | 0.000000e+00 | -- | Inf | unknown
1931.91/1936.31 c 1936s| 1 | 2 | 4168k| - | 222M | 0 |6445 |7252 |6762 | 125 | 11 |1041 | 22 | 0.000000e+00 | -- | Inf | unknown
2105.72/2110.56 c 2111s| 100 | 37 | 4536k|3641.1 | 224M | 38 |6445 |7285 |6666 | 161 | 0 |1101 | 22 | 0.000000e+00 | -- | Inf | unknown
2163.69/2168.62 c 2169s| 200 | 43 | 4695k|3479.3 | 226M | 46 |6445 |7300 |6678 | 210 | 1 |1129 | 22 | 0.000000e+00 | -- | Inf | unknown
2195.21/2200.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2195.21/2200.21 c 2200s| 300 | 45 | 4791k|3295.9 | 226M | 55 |6445 |7299 |6678 | 240 | 0 |1133 | 22 | 0.000000e+00 | -- | Inf | unknown
2227.14/2232.22 c 2232s| 400 | 39 | 4889k|3139.0 | 227M | 61 |6445 |7297 |6685 | 279 | 0 |1146 | 22 | 0.000000e+00 | -- | Inf | unknown
2288.30/2293.51 c 2294s| 500 | 41 | 5058k|3046.6 | 228M | 61 |6445 |7296 |6680 | 333 | 1 |1194 | 22 | 0.000000e+00 | -- | Inf | unknown
2346.27/2351.69 c 2352s| 600 | 43 | 5209k|2954.6 | 229M | 61 |6445 |7282 |6686 | 405 | 1 |1202 | 22 | 0.000000e+00 | -- | Inf | unknown
2412.92/2418.42 c 2418s| 700 | 47 | 5384k|2886.8 | 234M | 61 |6445 |7276 |6664 | 470 | 1 |1205 | 22 | 0.000000e+00 | -- | Inf | unknown
2459.22/2464.81 c 2465s| 800 | 45 | 5515k|2802.5 | 234M | 61 |6445 |7276 |6670 | 524 | 1 |1213 | 22 | 0.000000e+00 | -- | Inf | unknown
2514.09/2519.86 c 2520s| 900 | 43 | 5672k|2740.3 | 236M | 61 |6445 |7274 |6669 | 585 | 0 |1216 | 22 | 0.000000e+00 | -- | Inf | unknown
2565.67/2571.53 c 2572s| 1000 | 45 | 5824k|2681.2 | 236M | 61 |6445 |7289 |6667 | 625 | 0 |1234 | 22 | 0.000000e+00 | -- | Inf | unknown
2612.56/2618.54 c 2619s| 1100 | 43 | 5960k|2620.4 | 236M | 61 |6445 |7295 | 0 | 650 | 0 |1247 | 22 | 0.000000e+00 | -- | Inf | unknown
2661.25/2667.34 c 2667s| 1200 | 45 | 6102k|2567.7 | 237M | 61 |6445 |7295 |6664 | 687 | 1 |1254 | 22 | 0.000000e+00 | -- | Inf | 0.57%
2748.16/2754.44 c 2754s| 1300 | 47 | 6331k|2556.1 | 238M | 61 |6445 |7285 |6664 | 764 | 2 |1258 | 22 | 0.000000e+00 | -- | Inf | 1.38%
2788.87/2795.20 c 2795s| 1400 | 53 | 6447k|2499.7 | 240M | 61 |6445 |7312 |6674 | 829 | 0 |1285 | 22 | 0.000000e+00 | -- | Inf | 1.74%
2819.10/2825.51 c 2826s| 1500 | 51 | 6537k|2437.3 | 240M | 61 |6445 |7320 |6682 | 870 | 3 |1297 | 22 | 0.000000e+00 | -- | Inf | 1.75%
2860.20/2866.75 c 2867s| 1600 | 51 | 6656k|2390.7 | 240M | 61 |6445 |7357 |6679 | 910 | 2 |1337 | 22 | 0.000000e+00 | -- | Inf | 1.77%
2894.33/2901.00 c 2901s| 1700 | 53 | 6755k|2340.1 | 240M | 61 |6445 |7400 |6677 | 931 | 0 |1387 | 22 | 0.000000e+00 | -- | Inf | 1.77%
2936.93/2943.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2936.93/2943.65 c 2944s| 1800 | 55 | 6878k|2301.6 | 240M | 61 |6445 |7399 |6673 | 953 | 1 |1390 | 22 | 0.000000e+00 | -- | Inf | 1.77%
2983.72/2990.56 c 2991s| 1900 | 55 | 7013k|2269.7 | 240M | 61 |6445 |7397 |6675 | 966 | 0 |1390 | 22 | 0.000000e+00 | -- | Inf | 1.77%
3024.23/3031.16 c 3031s| 2000 | 53 | 7132k|2234.5 | 241M | 61 |6445 |7421 |6674 | 975 | 1 |1414 | 22 | 0.000000e+00 | -- | Inf | 1.77%
3071.62/3078.69 c 3079s| 2100 | 57 | 7268k|2206.8 | 242M | 61 |6445 |7443 |6678 | 985 | 1 |1437 | 22 | 0.000000e+00 | -- | Inf | 1.77%
3118.61/3125.75 c 3126s| 2200 | 55 | 7404k|2181.1 | 242M | 61 |6445 |7427 |6676 | 996 | 0 |1445 | 22 | 0.000000e+00 | -- | Inf | 1.77%
3174.89/3182.15 c 3182s| 2300 | 53 | 7566k|2164.4 | 242M | 61 |6445 |7422 |6675 |1012 | 1 |1451 | 22 | 0.000000e+00 | -- | Inf | 1.77%
3219.86/3227.22 c 3227s| 2400 | 51 | 7696k|2139.4 | 242M | 61 |6445 |7420 |6676 |1026 | 0 |1456 | 22 | 0.000000e+00 | -- | Inf | 1.77%
3262.24/3269.75 c 3270s| 2500 | 51 | 7818k|2113.9 | 242M | 61 |6445 |7422 |6675 |1044 | 0 |1461 | 22 | 0.000000e+00 | -- | Inf | 1.77%
3306.22/3313.80 c 3314s| 2600 | 53 | 7944k|2090.4 | 242M | 61 |6445 |7416 |6677 |1048 | 0 |1461 | 22 | 0.000000e+00 | -- | Inf | 1.77%
3351.59/3359.30 c 3359s| 2700 | 53 | 8074k|2069.4 | 242M | 61 |6445 |7424 |6675 |1076 | 1 |1470 | 22 | 0.000000e+00 | -- | Inf | 1.77%
3404.15/3412.04 c 3412s| 2800 | 51 | 8219k|2053.5 | 242M | 61 |6445 |7426 |6670 |1102 | 0 |1480 | 22 | 0.000000e+00 | -- | Inf | 1.78%
3460.59/3468.61 c 3469s| 2900 | 59 | 8373k|2040.7 | 243M | 61 |6445 |7420 |6674 |1125 | 0 |1496 | 22 | 0.000000e+00 | -- | Inf | 1.79%
3505.46/3513.68 c 3514s| 3000 | 59 | 8503k|2022.5 | 243M | 61 |6445 |7426 |6670 |1129 | 1 |1507 | 22 | 0.000000e+00 | -- | Inf | 1.81%
3535.38/3543.68 c 3544s| 3100 | 65 | 8593k|1995.5 | 243M | 61 |6445 |7444 |6671 |1137 | 1 |1530 | 22 | 0.000000e+00 | -- | Inf | 1.81%
3564.30/3572.61 c 3573s| 3200 | 59 | 8681k|1969.6 | 243M | 61 |6445 |7452 |6670 |1153 | 0 |1539 | 22 | 0.000000e+00 | -- | Inf | 1.81%
3588.53/3597.00 c
3588.53/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.53/3597.00 c Solving Time (sec) : 3597.00
3588.53/3597.00 c Solving Nodes : 3263 (total of 4337 nodes in 2 runs)
3588.53/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.53/3597.00 c Dual Bound : +0.00000000000000e+00
3588.53/3597.00 c Gap : infinite
3588.53/3597.00 s UNKNOWN
3588.53/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.53/3597.00 c Total Time : 3597.00
3588.53/3597.00 c solving : 3597.00
3588.53/3597.00 c presolving : 10.97 (included in solving)
3588.53/3597.00 c reading : 0.02 (included in solving)
3588.53/3597.00 c copying : 1.72 (105 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3588.53/3597.00 c Original Problem :
3588.53/3597.00 c Problem name : HOME/instance-4447125-1721345880.opb
3588.53/3597.00 c Variables : 7208 (7208 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.53/3597.00 c Constraints : 7422 initial, 7422 maximal
3588.53/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.53/3597.00 c Presolved Problem :
3588.53/3597.00 c Problem name : t_HOME/instance-4447125-1721345880.opb
3588.53/3597.00 c Variables : 6445 (6445 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.53/3597.00 c Constraints : 7260 initial, 7459 maximal
3588.53/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.53/3597.00 c Nonzeros : 67830 constraint, 92656 clique table
3588.53/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.53/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c domcol : 0.13 0.00 13 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c gateextraction : 0.06 0.00 18 0 0 0 0 0 1 0 0 0
3588.53/3597.00 c implics : 0.00 0.00 22 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c milp : 0.07 0.00 1 104 0 0 0 0 0 0 0 0
3588.53/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c sparsify : 0.20 0.00 3 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c trivial : 0.00 0.00 41 283 0 0 0 0 0 0 0 0
3588.53/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c dualfix : 0.00 0.00 41 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c probing : 9.68 0.00 12 226 3 0 0 0 0 0 0 0
3588.53/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c symmetry : 0.03 0.00 1 6 0 0 0 0 0 1 0 0
3588.53/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c knapsack : 0.02 0.00 11 0 0 0 0 0 0 6 29 94
3588.53/3597.00 c setppc : 0.06 0.00 69 0 0 0 0 0 115 0 0 0
3588.53/3597.00 c linear : 0.06 0.01 16 141 0 0 141 0 518 0 5 0
3588.53/3597.00 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c logicor : 0.60 0.01 66 62 0 0 0 0 278 0 0 1706
3588.53/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.53/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.53/3597.00 c benderslp : 0 0 0 0 2314 0 0 399 0 0 0 0 0 0 0
3588.53/3597.00 c integral : 0 0 0 0 2314 0 0 399 0 0 0 0 0 0 4628
3588.53/3597.00 c knapsack : 35 35 11 25508 0 0 0 0 12044 2 3820 0 0 0 0
3588.53/3597.00 c setppc : 1540+ 1568 22 185585 0 0 0 394 427244 183 183913 1 1 0 0
3588.53/3597.00 c linear : 0+ 37 22 47762 0 0 0 3 1652 0 425 11 9 0 0
3588.53/3597.00 c orbitope : 1 1 0 52213 0 0 0 0 1623 0 1527 0 0 0 0
3588.53/3597.00 c logicor : 5684+ 5843 22 153032 0 0 0 0 567860 380 327611 62 37 0 0
3588.53/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.53/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c integral : 15.37 0.00 0.00 0.00 15.37 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c knapsack : 0.14 0.00 0.06 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c setppc : 1.86 0.00 0.00 1.70 0.00 0.00 0.00 0.00 0.12 0.04
3588.53/3597.00 c linear : 0.05 0.01 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.01
3588.53/3597.00 c orbitope : 0.10 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c logicor : 4.02 0.01 0.02 3.78 0.00 0.00 0.00 0.00 0.20 0.01
3588.53/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.53/3597.00 c dualfix : 2 0 0 0
3588.53/3597.00 c genvbounds : 0 0 0 0
3588.53/3597.00 c nlobbt : 0 0 0 0
3588.53/3597.00 c obbt : 0 0 0 0
3588.53/3597.00 c probing : 0 0 0 0
3588.53/3597.00 c pseudoobj : 0 0 0 0
3588.53/3597.00 c redcost : 0 0 0 0
3588.53/3597.00 c rootredcost : 0 0 0 0
3588.53/3597.00 c symmetry : 17178 0 0 20
3588.53/3597.00 c vbounds : 31161 0 0 0
3588.53/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.53/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3588.53/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.53/3597.00 c probing : 9.68 0.00 9.68 0.00 0.00 0.00
3588.53/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3588.53/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.53/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.53/3597.00 c symmetry : 0.08 0.00 0.03 0.04 0.00 0.00
3588.53/3597.00 c vbounds : 0.22 0.00 0.01 0.21 0.00 0.00
3588.53/3597.00 c Symmetry :
3588.53/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.53/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.53/3597.00 c lexicographic red: 20 reductions applied, 0 cutoffs
3588.53/3597.00 c shadow tree time : 0.01 s
3588.53/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.53/3597.00 c propagation : 0.09 562 411 - 2067 164.2 37 22.8 - - -
3588.53/3597.00 c infeasible LP : 5.49 1998 274 - 5206 1392.5 20 16.6 7 277.6 0
3588.53/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.53/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.53/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.53/3597.00 c applied globally : 0.06 - - 0 1541 110.0 - - 7 - -
3588.53/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.53/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.53/3597.00 c cut pool : 0.14 - 653 42 - - 2145 13541 - - - - - (maximal pool size: 745)
3588.53/3597.00 c aggregation : 0.16 0.00 122 22 0 0 1 1 0 0 0 0 0
3588.53/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.53/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.53/3597.00 c > knapsackcover : - - - - - - - 1 0 0 0 0 -
3588.53/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c clique : 0.85 0.00 22 22 0 0 172 441 0 151 151 0 0
3588.53/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c gomory : 18.02 0.00 120 20 0 0 1810 11771 145 881 868 13 0
3588.53/3597.00 c > gomorymi : - - - - - - - 4894 73 392 384 8 -
3588.53/3597.00 c > strongcg : - - - - - - - 6877 72 489 484 5 -
3588.53/3597.00 c impliedbounds : 0.19 0.00 122 22 0 0 90 182 0 103 103 0 0
3588.53/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c multilinear : 0.00 0.00 110 22 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c rapidlearning : 42.67 0.00 100 2 0 27959 0 0 0 0 0 0 575
3588.53/3597.00 c rlt : 0.00 0.00 75 20 0 0 0 0 0 0 0 0 0
3588.53/3597.00 c zerohalf : 8.27 0.00 122 22 0 0 421 1146 204 680 508 172 0
3588.53/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.53/3597.00 c hybrid : 0.02 0.00 429 22 1893 4 12005 275 0 312
3588.63/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.63/3597.00 c problem variables: 0.00 - 0 0
3588.63/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.63/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c relpscost : 15.37 0.00 2314 0 0 0 0 0 0 4628
3588.63/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.63/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.63/3597.00 c LP solutions : 0.00 - - 0 0
3588.63/3597.00 c relax solutions : 0.00 - - 0 0
3588.63/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.63/3597.00 c strong branching : 0.00 - - 0 0
3588.63/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.63/3597.00 c adaptivediving : 52.24 0.00 7 0 0
3588.63/3597.00 c alns : 23.15 0.00 3 0 0
3588.63/3597.00 c bound : 0.00 0.00 0 0 0
3588.63/3597.00 c clique : 0.03 0.00 1 0 0
3588.63/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.63/3597.00 c completesol : 0.00 0.00 0 0 0
3588.63/3597.00 c conflictdiving : 86.71 0.00 7 0 0
3588.63/3597.00 c crossover : 0.00 0.00 0 0 0
3588.63/3597.00 c dins : 0.00 0.00 0 0 0
3588.63/3597.00 c distributiondivin: 21.83 0.00 6 0 0
3588.63/3597.00 c dps : 0.00 0.00 0 0 0
3588.63/3597.00 c dualval : 0.00 0.00 0 0 0
3588.63/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.63/3597.00 c feasjump : 0.05 0.00 2 0 0
3588.63/3597.00 c feaspump : 55.29 0.00 4 0 0
3588.63/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.63/3597.00 c fracdiving : 22.46 0.00 6 0 0
3588.63/3597.00 c gins : 0.00 0.00 0 0 0
3588.63/3597.00 c guideddiving : 0.00 0.00 0 0 0
3588.63/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3588.63/3597.00 c indicator : 0.00 0.00 0 0 0
3588.63/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.63/3597.00 c indoneopt : 0.00 0.00 0 0 0
3588.63/3597.00 c indrounding : 0.00 0.00 0 0 0
3588.63/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3588.63/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.63/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.63/3597.00 c linesearchdiving : 171.14 0.00 6 0 0
3588.63/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.63/3597.00 c locks : 0.02 0.00 1 0 0
3588.63/3597.00 c lpface : 0.02 0.00 0 0 0
3588.63/3597.00 c mpec : 0.00 0.00 0 0 0
3588.63/3597.00 c multistart : 0.00 0.00 0 0 0
3588.63/3597.00 c mutation : 0.00 0.00 0 0 0
3588.63/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.63/3597.00 c objpscostdiving : 135.54 0.00 4 0 0
3588.63/3597.00 c octane : 0.00 0.00 0 0 0
3588.63/3597.00 c ofins : 0.00 0.00 0 0 0
3588.63/3597.00 c oneopt : 0.00 0.00 0 0 0
3588.63/3597.00 c padm : 0.00 0.00 0 0 0
3588.63/3597.00 c proximity : 0.00 0.00 0 0 0
3588.63/3597.00 c pscostdiving : 63.20 0.00 6 0 0
3588.63/3597.00 c randrounding : 0.30 0.00 409 0 0
3588.63/3597.00 c rens : 0.17 0.00 2 0 0
3588.63/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.63/3597.00 c repair : 0.00 0.00 0 0 0
3588.63/3597.00 c rins : 0.00 0.00 0 0 0
3588.63/3597.00 c rootsoldiving : 29.52 0.00 3 0 0
3588.63/3597.00 c rounding : 0.15 0.00 687 0 0
3588.63/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.63/3597.00 c shiftandpropagate: 0.06 0.00 2 0 0
3588.63/3597.00 c shifting : 0.45 0.00 323 0 0
3588.63/3597.00 c simplerounding : 0.00 0.00 0 0 0
3588.63/3597.00 c smallcard : 0.00 0.00 0 0 0
3588.63/3597.00 c subnlp : 0.00 0.00 0 0 0
3588.63/3597.00 c trivial : 0.01 0.00 4 0 0
3588.63/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.63/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.63/3597.00 c trysol : 0.00 0.00 0 0 0
3588.63/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.63/3597.00 c undercover : 0.00 0.00 0 0 0
3588.63/3597.00 c vbounds : 0.06 0.00 2 0 0
3588.63/3597.00 c veclendiving : 61.10 0.00 6 0 0
3588.63/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.63/3597.00 c zirounding : 0.08 0.00 1000 0 0
3588.63/3597.00 c other solutions : - - - 0 -
3588.63/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.63/3597.00 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
3588.63/3597.00 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
3588.63/3597.00 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
3588.63/3597.00 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
3588.63/3597.00 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
3588.63/3597.00 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
3588.63/3597.00 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
3588.63/3597.00 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
3588.63/3597.00 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
3588.63/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.63/3597.00 c primal LP : 0.76 152 0 0.00 0.00 0.76 152
3588.63/3597.00 c dual LP : 2762.34 4712 7355485 1568.33 2662.78 0.03 22
3588.63/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.63/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.63/3597.00 c resolve instable : 2.58 7 11446 1635.14 4443.75
3588.63/3597.00 c diving/probing LP: 699.08 1573 1397772 888.60 1999.43
3588.63/3597.00 c strong branching : 10.86 22 19588 890.36 1803.06 - - 34
3588.63/3597.00 c (at root node) : - 22 19588 890.36 -
3588.63/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3588.63/3597.00 c B&B Tree :
3588.63/3597.00 c number of runs : 2
3588.63/3597.00 c nodes : 3263 (1660 internal, 1603 leaves)
3588.63/3597.00 c feasible leaves : 0
3588.63/3597.00 c infeas. leaves : 1602
3588.63/3597.00 c objective leaves : 0
3588.63/3597.00 c nodes (total) : 4337 (2314 internal, 2023 leaves)
3588.63/3597.00 c nodes left : 59
3588.63/3597.00 c max depth : 61
3588.63/3597.00 c max depth (total): 66
3588.63/3597.00 c backtracks : 433 (13.3%)
3588.63/3597.00 c early backtracks : 0 (0.0%)
3588.63/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.63/3597.00 c delayed cutoffs : 0
3588.63/3597.00 c repropagations : 891 (1524 domain reductions, 0 cutoffs)
3588.63/3597.00 c avg switch length: 3.38
3588.63/3597.00 c switching time : 2.21
3588.63/3597.00 c Root Node :
3588.63/3597.00 c First LP value : +0.00000000000000e+00
3588.63/3597.00 c First LP Iters : 11174 (2526.31 Iter/sec)
3588.63/3597.00 c First LP Time : 4.42
3588.63/3597.00 c Final Dual Bound : +0.00000000000000e+00
3588.63/3597.00 c Final Root Iters : 266004
3588.63/3597.00 c Root LP Estimate : +2.65507416392953e-02
3588.63/3597.00 c Solution :
3588.63/3597.00 c Solutions found : 0 (0 improvements)
3588.63/3597.00 c Primal Bound : -
3588.63/3597.00 c Dual Bound : +0.00000000000000e+00
3588.63/3597.00 c Gap : infinite
3588.63/3597.00 c Integrals : Total Avg%
3588.63/3597.00 c primal-dual : 359699.77 100.00
3588.63/3597.00 c primal-ref : - - (not evaluated)
3588.63/3597.00 c dual-ref : - - (not evaluated)
3588.63/3597.06 c Time complete: 3588.7.