0.00/0.09 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.09 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.09 c
0.00/0.09 c user parameter file <scip.set> not found - using default parameters
0.00/0.09 c reading problem <HOME/instance-4459430-1721898458.opb>
0.12/0.27 c original problem has 2504 variables (2504 bin, 0 int, 0 impl, 0 cont) and 2065 constraints
0.12/0.27 c problem read in 0.19
0.31/0.41 c presolving:
0.70/0.81 c (0.7s) running MILP presolver
2.70/2.86 c (2.8s) MILP presolver (65 rounds): 0 aggregations, 1204 fixings, 0 bound changes
2.70/2.86 c (round 1, medium) 1204 del vars, 2065 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 19 clqs
2.80/2.96 c (round 2, exhaustive) 1204 del vars, 2065 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 0 impls, 420 clqs
3.00/3.12 c (round 3, exhaustive) 1334 del vars, 2066 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 0 impls, 389 clqs
3.00/3.13 c (round 4, fast) 1334 del vars, 2196 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 0 impls, 389 clqs
3.39/3.53 c (round 5, exhaustive) 1359 del vars, 2196 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 0 impls, 2615 clqs
3.39/3.54 c (round 6, fast) 1359 del vars, 2221 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 0 impls, 2615 clqs
3.79/3.90 c (round 7, exhaustive) 1384 del vars, 2221 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 0 impls, 2615 clqs
3.79/3.92 c (round 8, fast) 1384 del vars, 2246 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 0 impls, 2615 clqs
4.09/4.21 c (round 9, exhaustive) 1409 del vars, 2246 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 0 impls, 2615 clqs
4.09/4.23 c (round 10, fast) 1409 del vars, 2271 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 0 impls, 2615 clqs
4.09/4.28 c (4.2s) running MILP presolver
4.49/4.67 c (4.6s) MILP presolver (16 rounds): 0 aggregations, 41 fixings, 0 bound changes
4.59/4.76 c (round 11, medium) 1450 del vars, 2312 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 1566 upgd conss, 0 impls, 2608 clqs
4.99/5.15 c (round 12, exhaustive) 1475 del vars, 2312 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 1566 upgd conss, 0 impls, 4240 clqs
4.99/5.16 c (round 13, fast) 1475 del vars, 2337 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 55 chg coeffs, 1566 upgd conss, 0 impls, 4240 clqs
5.09/5.29 c (round 14, exhaustive) 1475 del vars, 2337 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 177 chg coeffs, 1566 upgd conss, 0 impls, 4240 clqs
5.29/5.45 c (round 15, exhaustive) 1500 del vars, 2337 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 177 chg coeffs, 1566 upgd conss, 0 impls, 4192 clqs
5.29/5.46 c (round 16, fast) 1500 del vars, 2362 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 177 chg coeffs, 1566 upgd conss, 0 impls, 4192 clqs
9.29/9.40 c (round 17, exhaustive) 1525 del vars, 2362 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 177 chg coeffs, 1566 upgd conss, 0 impls, 63004 clqs
9.29/9.41 c (round 18, fast) 1525 del vars, 2387 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 390 chg coeffs, 1566 upgd conss, 0 impls, 63004 clqs
9.68/9.86 c (round 19, exhaustive) 1525 del vars, 2387 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 3787 chg coeffs, 1566 upgd conss, 0 impls, 63004 clqs
10.28/10.41 c (round 20, exhaustive) 1550 del vars, 2387 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 3787 chg coeffs, 1566 upgd conss, 0 impls, 64326 clqs
10.28/10.42 c (round 21, fast) 1550 del vars, 2412 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 4417 chg coeffs, 1566 upgd conss, 0 impls, 64326 clqs
10.38/10.54 c (round 22, exhaustive) 1550 del vars, 2412 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 4471 chg coeffs, 1566 upgd conss, 0 impls, 64326 clqs
12.67/12.83 c (12.7s) probing: 1000/1170 (85.5%) - 196 fixings, 0 aggregations, 154067 implications, 0 bound changes
13.77/13.93 c (13.8s) probing cycle finished: starting next cycle
13.98/14.18 c (14.1s) probing: 51/933 (5.5%) - 196 fixings, 0 aggregations, 187041 implications, 0 bound changes
13.98/14.18 c (14.1s) probing aborted: 50/50 successive totally useless probings
13.98/14.18 c (round 23, exhaustive) 1571 del vars, 2412 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 4471 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
13.98/14.19 c (round 24, fast) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 5053 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
14.07/14.24 c (round 25, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 5179 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
16.16/16.36 c (round 26, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 5305 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
18.26/18.47 c (round 27, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 5431 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
20.36/20.57 c (round 28, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 5557 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
22.46/22.66 c (round 29, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 5683 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
24.55/24.75 c (round 30, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 5809 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
26.65/26.82 c (round 31, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 5921 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
28.64/28.81 c (round 32, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 6033 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
30.54/30.78 c (round 33, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 6145 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
32.54/32.74 c (round 34, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 6257 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
34.43/34.69 c (round 35, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 6327 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
35.84/36.01 c (round 36, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 6397 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
37.33/37.53 c (round 37, exhaustive) 1571 del vars, 2433 del conss, 1566 add conss, 0 chg bounds, 0 chg sides, 6516 chg coeffs, 1566 upgd conss, 0 impls, 183276 clqs
39.32/39.51 c (39.4s) probing: 403/933 (43.2%) - 196 fixings, 0 aggregations, 189576 implications, 0 bound changes
39.32/39.51 c (39.4s) probing aborted: 50/50 successive totally useless probings
39.42/39.66 c (39.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
39.52/39.72 c (39.6s) symmetry computation finished: 88 generators found (max: 1500, log10 of symmetry group size: 20.0) (symcode time: 0.03)
39.52/39.73 c dynamic symmetry handling statistics:
39.52/39.73 c orbitopal reduction: no components
39.52/39.73 c orbital reduction: no components
39.52/39.73 c lexicographic reduction: no permutations
39.52/39.73 c handled 1 out of 1 symmetry components
39.52/39.75 c (round 38, exhaustive) 1655 del vars, 2433 del conss, 1650 add conss, 0 chg bounds, 0 chg sides, 6516 chg coeffs, 1566 upgd conss, 0 impls, 146465 clqs
39.52/39.76 c (round 39, fast) 1655 del vars, 2517 del conss, 1650 add conss, 0 chg bounds, 0 chg sides, 8807 chg coeffs, 1566 upgd conss, 0 impls, 146465 clqs
42.32/42.58 c (round 40, medium) 1655 del vars, 2520 del conss, 1650 add conss, 0 chg bounds, 0 chg sides, 8807 chg coeffs, 1566 upgd conss, 0 impls, 146465 clqs
42.72/43.00 c (round 41, exhaustive) 1680 del vars, 2520 del conss, 1650 add conss, 0 chg bounds, 0 chg sides, 8807 chg coeffs, 1566 upgd conss, 0 impls, 132052 clqs
42.82/43.01 c (round 42, fast) 1680 del vars, 2545 del conss, 1650 add conss, 0 chg bounds, 0 chg sides, 9642 chg coeffs, 1566 upgd conss, 0 impls, 132052 clqs
42.92/43.17 c (round 43, exhaustive) 1680 del vars, 2545 del conss, 1650 add conss, 0 chg bounds, 0 chg sides, 9716 chg coeffs, 1566 upgd conss, 0 impls, 132052 clqs
43.22/43.47 c (43.4s) probing: 501/933 (53.7%) - 226 fixings, 0 aggregations, 189726 implications, 0 bound changes
43.22/43.47 c (43.4s) probing aborted: 50/50 successive totally useless probings
43.22/43.48 c (round 44, exhaustive) 1685 del vars, 2545 del conss, 1650 add conss, 0 chg bounds, 0 chg sides, 9716 chg coeffs, 1566 upgd conss, 0 impls, 129245 clqs
43.22/43.48 c (round 45, fast) 1685 del vars, 2550 del conss, 1650 add conss, 0 chg bounds, 0 chg sides, 9901 chg coeffs, 1566 upgd conss, 0 impls, 129245 clqs
43.41/43.64 c (round 46, exhaustive) 1685 del vars, 2550 del conss, 1650 add conss, 0 chg bounds, 0 chg sides, 9937 chg coeffs, 1566 upgd conss, 0 impls, 129245 clqs
43.41/43.67 c (43.6s) probing: 506/933 (54.2%) - 226 fixings, 0 aggregations, 189726 implications, 0 bound changes
43.41/43.67 c (43.6s) probing aborted: 50/50 successive totally useless probings
43.41/43.69 c presolving (47 rounds: 47 fast, 35 medium, 32 exhaustive):
43.41/43.69 c 1685 deleted vars, 2550 deleted constraints, 1650 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 9937 changed coefficients
43.41/43.69 c 0 implications, 129245 cliques
43.41/43.69 c presolved problem has 819 variables (819 bin, 0 int, 0 impl, 0 cont) and 1165 constraints
43.41/43.69 c 255 constraints of type <knapsack>
43.41/43.69 c 254 constraints of type <setppc>
43.41/43.69 c 81 constraints of type <orbitope>
43.41/43.69 c 575 constraints of type <logicor>
43.41/43.69 c transformed objective value is always integral (scale: 1)
43.41/43.69 c Presolving Time: 43.28
43.41/43.69 c - non default parameters ----------------------------------------------------------------------
43.41/43.69 c # SCIP version 10.0.0
43.41/43.69 c
43.41/43.69 c # maximal time in seconds to run
43.41/43.69 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
43.41/43.69 c limits/time = 3596.997134
43.41/43.69 c
43.41/43.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
43.41/43.69 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
43.41/43.69 c limits/memory = 27900
43.41/43.69 c
43.41/43.69 c # belongs reading time to solving time?
43.41/43.69 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
43.41/43.69 c timing/reading = TRUE
43.41/43.69 c
43.41/43.69 c -----------------------------------------------------------------------------------------------
43.41/43.69 c start solving
43.41/43.69 c
46.01/46.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
46.01/46.22 c 46.1s| 1 | 0 | 324 | - | 330M | 0 | 819 |1190 |1084 | 0 | 0 | 25 | 0 | 4.566667e+01 | -- | Inf | unknown
49.01/49.21 c 49.1s| 1 | 0 | 5669 | - | 342M | 0 | 819 |1195 |1098 | 14 | 1 | 30 | 0 | 4.586301e+01 | -- | Inf | unknown
51.30/51.52 c 51.4s| 1 | 0 | 5736 | - | 362M | 0 | 819 |1198 |1106 | 22 | 2 | 33 | 0 | 4.603896e+01 | -- | Inf | unknown
53.40/53.62 c 53.5s| 1 | 0 | 5861 | - | 379M | 0 | 819 |1201 |1115 | 31 | 3 | 36 | 0 | 4.658759e+01 | -- | Inf | unknown
55.70/55.95 c 55.9s| 1 | 0 | 6141 | - | 398M | 0 | 819 |1206 |1125 | 41 | 4 | 41 | 0 | 4.736036e+01 | -- | Inf | unknown
57.90/58.17 c 58.1s| 1 | 0 | 6235 | - | 411M | 0 | 819 |1208 |1133 | 49 | 5 | 43 | 0 | 4.745475e+01 | -- | Inf | unknown
60.08/60.33 c 60.2s| 1 | 0 | 6844 | - | 423M | 0 | 819 |1207 |1141 | 57 | 6 | 43 | 0 | 4.782658e+01 | -- | Inf | unknown
62.39/62.69 c 62.6s| 1 | 0 | 6959 | - | 438M | 0 | 819 |1207 |1147 | 63 | 7 | 43 | 0 | 4.788889e+01 | -- | Inf | unknown
64.98/65.21 c 65.1s| 1 | 0 | 7315 | - | 452M | 0 | 819 |1207 |1154 | 70 | 8 | 43 | 0 | 4.804667e+01 | -- | Inf | unknown
67.47/67.77 c 67.7s| 1 | 0 | 7521 | - | 466M | 0 | 819 |1210 |1163 | 79 | 9 | 46 | 0 | 4.843396e+01 | -- | Inf | unknown
69.67/69.97 c 69.9s| 1 | 0 | 7582 | - | 480M | 0 | 819 |1212 |1169 | 85 | 10 | 49 | 0 | 4.887857e+01 | -- | Inf | unknown
71.97/72.27 c 72.2s| 1 | 0 | 7949 | - | 480M | 0 | 819 |1214 |1177 | 93 | 11 | 51 | 0 | 4.930172e+01 | -- | Inf | unknown
74.56/74.83 c 74.7s| 1 | 0 | 8316 | - | 481M | 0 | 819 |1218 |1183 | 99 | 12 | 55 | 0 | 4.975000e+01 | -- | Inf | unknown
77.06/77.38 c 77.3s| 1 | 0 | 8857 | - | 482M | 0 | 819 |1219 |1193 | 109 | 13 | 56 | 0 | 4.998017e+01 | -- | Inf | unknown
79.86/80.12 c 80.0s| 1 | 0 | 9128 | - | 482M | 0 | 819 |1220 |1197 | 113 | 14 | 58 | 0 | 5.021014e+01 | -- | Inf | unknown
82.76/83.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.76/83.01 c 82.9s| 1 | 0 | 9616 | - | 482M | 0 | 819 |1225 |1202 | 118 | 15 | 63 | 0 | 5.141151e+01 | -- | Inf | unknown
85.55/85.87 c 85.8s| 1 | 0 | 9908 | - | 482M | 0 | 819 |1226 |1184 | 122 | 16 | 64 | 0 | 5.266460e+01 | -- | Inf | unknown
88.35/88.69 c 88.6s| 1 | 0 | 10086 | - | 482M | 0 | 819 |1227 |1193 | 131 | 17 | 65 | 0 | 5.419650e+01 | -- | Inf | unknown
91.14/91.40 c 91.3s| 1 | 0 | 10210 | - | 482M | 0 | 819 |1227 |1197 | 135 | 18 | 65 | 0 | 5.459908e+01 | -- | Inf | unknown
94.25/94.50 c 94.4s| 1 | 0 | 10744 | - | 482M | 0 | 819 |1227 |1201 | 139 | 19 | 65 | 0 | 5.600891e+01 | -- | Inf | unknown
97.34/97.64 c 97.6s| 1 | 0 | 10811 | - | 482M | 0 | 819 |1227 |1207 | 145 | 20 | 65 | 0 | 5.607423e+01 | -- | Inf | unknown
100.54/100.89 c 101s| 1 | 0 | 11298 | - | 482M | 0 | 819 |1227 |1213 | 151 | 21 | 65 | 0 | 5.646096e+01 | -- | Inf | unknown
103.63/103.92 c 104s| 1 | 0 | 11464 | - | 483M | 0 | 819 |1228 |1188 | 154 | 22 | 66 | 0 | 5.688504e+01 | -- | Inf | unknown
106.63/106.95 c 107s| 1 | 0 | 11550 | - | 483M | 0 | 819 |1233 |1191 | 157 | 23 | 71 | 0 | 5.689334e+01 | -- | Inf | unknown
109.53/109.89 c 110s| 1 | 0 | 11945 | - | 483M | 0 | 819 |1234 |1195 | 161 | 24 | 72 | 0 | 5.693375e+01 | -- | Inf | unknown
112.12/112.47 c 112s| 1 | 0 | 12286 | - | 483M | 0 | 819 |1234 |1197 | 163 | 25 | 72 | 0 | 5.716211e+01 | -- | Inf | unknown
114.92/115.28 c 115s| 1 | 0 | 12896 | - | 483M | 0 | 819 |1236 |1200 | 166 | 26 | 74 | 0 | 5.892515e+01 | -- | Inf | unknown
117.61/117.99 c 118s| 1 | 0 | 13236 | - | 483M | 0 | 819 |1236 |1203 | 169 | 27 | 74 | 0 | 5.953169e+01 | -- | Inf | unknown
120.31/120.60 c 121s| 1 | 0 | 13331 | - | 483M | 0 | 819 |1239 |1174 | 172 | 28 | 77 | 0 | 5.984701e+01 | -- | Inf | unknown
123.01/123.34 c 123s| 1 | 0 | 13457 | - | 483M | 0 | 819 |1241 |1178 | 176 | 29 | 80 | 0 | 6.008908e+01 | -- | Inf | unknown
125.60/125.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
125.60/125.97 c 126s| 1 | 0 | 13576 | - | 484M | 0 | 819 |1242 |1181 | 179 | 30 | 81 | 0 | 6.054778e+01 | -- | Inf | unknown
128.00/128.39 c 128s| 1 | 0 | 13923 | - | 485M | 0 | 819 |1245 |1184 | 182 | 31 | 84 | 0 | 6.335547e+01 | -- | Inf | unknown
130.40/130.77 c 131s| 1 | 0 | 14004 | - | 486M | 0 | 819 |1247 |1185 | 183 | 32 | 86 | 0 | 6.346749e+01 | -- | Inf | unknown
132.80/133.11 c 133s| 1 | 0 | 14168 | - | 486M | 0 | 819 |1249 |1186 | 184 | 33 | 88 | 0 | 6.366878e+01 | -- | Inf | unknown
134.99/135.31 c 135s| 1 | 0 | 14349 | - | 486M | 0 | 819 |1251 |1163 | 185 | 34 | 90 | 0 | 6.420586e+01 | -- | Inf | unknown
137.29/137.63 c 138s| 1 | 0 | 14412 | - | 486M | 0 | 819 |1253 |1164 | 186 | 35 | 92 | 0 | cutoff | -- | 0.00%| unknown
137.29/137.63 c 138s| 1 | 0 | 14412 | - | 486M | 0 | 819 |1253 |1164 | 186 | 35 | 92 | 0 | cutoff | -- | 0.00%| unknown
137.29/137.63 c
137.29/137.63 c SCIP Status : problem is solved [infeasible]
137.29/137.63 c Solving Time (sec) : 137.54
137.29/137.63 c Solving Nodes : 1
137.29/137.63 c Primal Bound : +1.00000000000000e+20 (0 solutions)
137.29/137.63 c Dual Bound : +1.00000000000000e+20
137.29/137.63 c Gap : 0.00 %
137.29/137.63 s UNSATISFIABLE
137.29/137.63 c SCIP Status : problem is solved [infeasible]
137.29/137.63 c Total Time : 137.54
137.29/137.63 c solving : 137.54
137.29/137.63 c presolving : 43.28 (included in solving)
137.29/137.63 c reading : 0.19 (included in solving)
137.29/137.63 c copying : 0.03 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
137.29/137.63 c Original Problem :
137.29/137.63 c Problem name : HOME/instance-4459430-1721898458.opb
137.29/137.63 c Variables : 2504 (2504 binary, 0 integer, 0 implicit integer, 0 continuous)
137.29/137.63 c Constraints : 2065 initial, 2065 maximal
137.29/137.63 c Objective : minimize, 2504 non-zeros (abs.min = 5, abs.max = 10)
137.29/137.63 c Presolved Problem :
137.29/137.63 c Problem name : t_HOME/instance-4459430-1721898458.opb
137.29/137.63 c Variables : 819 (819 binary, 0 integer, 0 implicit integer, 0 continuous)
137.29/137.63 c Constraints : 1165 initial, 1253 maximal
137.29/137.63 c Objective : minimize, 803 non-zeros (abs.min = 5, abs.max = 10)
137.29/137.63 c Nonzeros : 124775 constraint, 260092 clique table
137.29/137.63 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
137.29/137.63 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c domcol : 0.46 0.00 12 0 0 0 0 0 0 0 0 0
137.29/137.63 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c dualsparsify : 0.15 0.00 1 0 0 0 0 0 0 0 0 0
137.29/137.63 c gateextraction : 0.02 0.00 31 0 0 0 0 0 0 0 0 0
137.29/137.63 c implics : 0.00 0.00 35 0 0 0 0 0 0 0 0 0
137.29/137.63 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c milp : 2.77 0.00 2 1245 0 0 0 0 2065 1566 0 0
137.29/137.63 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c sparsify : 0.11 0.00 3 0 0 0 0 0 0 0 0 0
137.29/137.63 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c trivial : 0.00 0.00 47 0 0 0 0 0 0 0 0 0
137.29/137.63 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c dualfix : 0.00 0.00 47 0 0 0 0 0 0 0 0 0
137.29/137.63 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c probing : 11.06 0.00 12 226 0 0 0 0 0 0 0 0
137.29/137.63 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c symmetry : 0.07 0.00 1 84 0 0 0 0 0 84 0 0
137.29/137.63 c vbounds : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
137.29/137.63 c knapsack : 27.32 0.00 109 0 0 0 0 0 0 0 0 1344
137.29/137.63 c setppc : 0.02 0.00 97 130 0 0 0 0 166 0 0 0
137.29/137.63 c linear : 0.21 0.10 3 0 0 0 0 0 0 0 0 0
137.29/137.63 c orbitope : 0.00 0.00 6 0 0 0 0 0 3 0 0 0
137.29/137.63 c logicor : 1.01 0.00 96 0 0 0 0 0 316 0 0 8593
137.29/137.63 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
137.29/137.63 c root node : - - - 0 - - 0 - - - - -
137.29/137.63 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
137.29/137.63 c benderslp : 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0
137.29/137.63 c integral : 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0
137.29/137.63 c knapsack : 255+ 256 35 6780 0 0 0 8 16394 258 0 0 0 0 0
137.29/137.63 c setppc : 254+ 291 35 6522 0 0 0 2 7451 15 0 10 0 0 0
137.29/137.63 c orbitope : 81 81 0 1675 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c logicor : 575+ 626 35 4636 0 0 0 0 26390 25 0 0 0 0 0
137.29/137.63 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
137.29/137.63 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c knapsack : 92.71 0.00 86.45 6.25 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c setppc : 0.25 0.00 0.00 0.25 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c orbitope : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c logicor : 0.87 0.00 0.01 0.83 0.00 0.00 0.00 0.00 0.03 0.00
137.29/137.63 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c Propagators : #Propagate #ResProp Cutoffs DomReds
137.29/137.63 c dualfix : 1 0 0 0
137.29/137.63 c genvbounds : 0 0 0 0
137.29/137.63 c nlobbt : 0 0 0 0
137.29/137.63 c obbt : 0 0 0 0
137.29/137.63 c probing : 0 0 0 0
137.29/137.63 c pseudoobj : 36 0 0 0
137.29/137.63 c redcost : 35 0 0 0
137.29/137.63 c rootredcost : 0 0 0 0
137.29/137.63 c symmetry : 0 0 0 0
137.29/137.63 c vbounds : 428 0 0 0
137.29/137.63 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
137.29/137.63 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c probing : 11.06 0.00 11.06 0.00 0.00 0.00
137.29/137.63 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
137.29/137.63 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c symmetry : 0.07 0.00 0.07 0.00 0.00 0.00
137.29/137.63 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
137.29/137.63 c Symmetry :
137.29/137.63 c orbitopal red. : 0 reductions applied, 0 cutoffs
137.29/137.63 c orbital reduction: 0 reductions applied, 0 cutoffs
137.29/137.63 c lexicographic red: 0 reductions applied, 0 cutoffs
137.29/137.63 c shadow tree time : 0.00 s
137.29/137.63 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
137.29/137.63 c propagation : 0.05 235 46 - 140 75.9 0 0.0 - - -
137.29/137.63 c infeasible LP : 0.00 1 1 - 0 0.0 0 0.0 1 457.0 0
137.29/137.63 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
137.29/137.63 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
137.29/137.63 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
137.29/137.63 c applied globally : 0.02 - - 0 90 6.7 - - 1 - -
137.29/137.63 c applied locally : - - - 0 1 161.0 - - 0 - -
137.29/137.63 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
137.29/137.63 c cut pool : 0.08 - 69 69 - - 2465 3364 - - - - - (maximal pool size: 2465)
137.29/137.63 c aggregation : 0.72 0.00 35 35 0 0 0 0 0 0 0 0 0
137.29/137.63 c > cmir : - - - - - - - 0 0 0 0 0 -
137.29/137.63 c > flowcover : - - - - - - - 0 0 0 0 0 -
137.29/137.63 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
137.29/137.63 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c clique : 0.20 0.00 35 35 0 0 292 890 0 90 90 0 0
137.29/137.63 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c gomory : 1.08 0.00 10 10 0 0 2001 2129 0 11 11 0 0
137.29/137.63 c > gomorymi : - - - - - - - 1095 0 8 8 0 -
137.29/137.63 c > strongcg : - - - - - - - 1034 0 3 3 0 -
137.29/137.63 c impliedbounds : 0.14 0.00 35 35 0 0 144 282 0 76 76 0 0
137.29/137.63 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
137.29/137.63 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c multilinear : 0.00 0.00 35 35 0 0 0 0 0 0 0 0 0
137.29/137.63 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.29/137.63 c rapidlearning : 0.31 0.00 1 1 0 0 0 0 0 0 0 0 0
137.29/137.63 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
137.29/137.63 c zerohalf : 0.07 0.00 20 20 0 0 28 63 0 9 9 0 0
137.29/137.63 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
137.29/137.63 c hybrid : 0.04 0.00 35 35 186 0 3188 186 0 3188
137.29/137.63 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c Pricers : ExecTime SetupTime Calls Vars
137.29/137.63 c problem variables: 0.00 - 0 0
137.29/137.63 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
137.29/137.63 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c random : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
137.29/137.63 c Primal Heuristics : ExecTime SetupTime Calls Found Best
137.29/137.63 c LP solutions : 0.00 - - 0 0
137.29/137.63 c relax solutions : 0.00 - - 0 0
137.29/137.63 c pseudo solutions : 0.00 - - 0 0
137.29/137.63 c strong branching : 0.00 - - 0 0
137.29/137.63 c actconsdiving : 0.00 0.00 0 0 0
137.29/137.63 c adaptivediving : 0.00 0.00 0 0 0
137.29/137.63 c alns : 0.00 0.00 0 0 0
137.29/137.63 c bound : 0.00 0.00 0 0 0
137.29/137.63 c clique : 0.13 0.00 1 0 0
137.29/137.63 c coefdiving : 0.00 0.00 0 0 0
137.29/137.63 c completesol : 0.00 0.00 0 0 0
137.29/137.63 c conflictdiving : 0.00 0.00 0 0 0
137.29/137.63 c crossover : 0.00 0.00 0 0 0
137.29/137.63 c dins : 0.00 0.00 0 0 0
137.29/137.63 c distributiondivin: 0.00 0.00 0 0 0
137.29/137.63 c dps : 0.00 0.00 0 0 0
137.29/137.63 c dualval : 0.00 0.00 0 0 0
137.29/137.63 c farkasdiving : 0.00 0.00 0 0 0
137.29/137.63 c feasjump : 2.09 0.00 1 0 0
137.29/137.63 c feaspump : 0.36 0.00 1 0 0
137.29/137.63 c fixandinfer : 0.00 0.00 0 0 0
137.29/137.63 c fracdiving : 0.00 0.00 0 0 0
137.29/137.63 c gins : 0.00 0.00 0 0 0
137.29/137.63 c guideddiving : 0.00 0.00 0 0 0
137.29/137.63 c indcoefdiving : 0.00 0.00 0 0 0
137.29/137.63 c indicator : 0.00 0.00 0 0 0
137.29/137.63 c indicatordiving : 0.00 0.00 0 0 0
137.29/137.63 c indoneopt : 0.00 0.00 0 0 0
137.29/137.63 c indrounding : 0.00 0.00 0 0 0
137.29/137.63 c indtwoopt : 0.00 0.00 0 0 0
137.29/137.63 c intdiving : 0.00 0.00 0 0 0
137.29/137.63 c intshifting : 0.00 0.00 0 0 0
137.29/137.63 c linesearchdiving : 0.00 0.00 0 0 0
137.29/137.63 c localbranching : 0.00 0.00 0 0 0
137.29/137.63 c locks : 0.01 0.00 1 0 0
137.29/137.63 c lpface : 0.00 0.00 0 0 0
137.29/137.63 c mpec : 0.00 0.00 0 0 0
137.29/137.63 c multistart : 0.00 0.00 0 0 0
137.29/137.63 c mutation : 0.00 0.00 0 0 0
137.29/137.63 c nlpdiving : 0.00 0.00 0 0 0
137.29/137.63 c objpscostdiving : 0.00 0.00 0 0 0
137.29/137.63 c octane : 0.00 0.00 0 0 0
137.29/137.63 c ofins : 0.00 0.00 0 0 0
137.29/137.63 c oneopt : 0.00 0.00 0 0 0
137.29/137.63 c padm : 0.00 0.00 0 0 0
137.29/137.63 c proximity : 0.00 0.00 0 0 0
137.29/137.63 c pscostdiving : 0.00 0.00 0 0 0
137.29/137.63 c randrounding : 0.74 0.00 35 0 0
137.29/137.63 c rens : 0.00 0.00 0 0 0
137.29/137.63 c reoptsols : 0.00 0.00 0 0 0
137.29/137.63 c repair : 0.00 0.00 0 0 0
137.29/137.63 c rins : 0.00 0.00 0 0 0
137.29/137.63 c rootsoldiving : 0.00 0.00 0 0 0
137.29/137.63 c rounding : 0.01 0.00 35 0 0
137.29/137.63 c scheduler : 0.00 0.00 0 0 0
137.29/137.63 c shiftandpropagate: 0.03 0.00 1 0 0
137.29/137.63 c shifting : 0.03 0.00 35 0 0
137.29/137.63 c simplerounding : 0.00 0.00 0 0 0
137.29/137.63 c smallcard : 0.00 0.00 0 0 0
137.29/137.63 c subnlp : 0.00 0.00 0 0 0
137.29/137.63 c trivial : 0.00 0.00 2 0 0
137.29/137.63 c trivialnegation : 0.00 0.00 0 0 0
137.29/137.63 c trustregion : 0.00 0.00 0 0 0
137.29/137.63 c trysol : 0.00 0.00 0 0 0
137.29/137.63 c twoopt : 0.00 0.00 0 0 0
137.29/137.63 c undercover : 0.00 0.00 0 0 0
137.29/137.63 c vbounds : 0.22 0.00 1 0 0
137.29/137.63 c veclendiving : 0.00 0.00 0 0 0
137.29/137.63 c zeroobj : 0.00 0.00 0 0 0
137.29/137.63 c zirounding : 0.00 0.00 0 0 0
137.29/137.63 c other solutions : - - - 0 -
137.29/137.63 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
137.29/137.63 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
137.29/137.63 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
137.29/137.63 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
137.29/137.63 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
137.29/137.63 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
137.29/137.63 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
137.29/137.63 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
137.29/137.63 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
137.29/137.63 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
137.29/137.63 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
137.29/137.63 c primal LP : 0.00 4 0 0.00 - 0.00 4
137.29/137.63 c dual LP : 0.84 36 9065 251.81 10762.44 0.00 0
137.29/137.63 c lex dual LP : 0.00 0 0 0.00 -
137.29/137.63 c barrier LP : 0.00 0 0 0.00 - 0.00 0
137.29/137.63 c resolve instable : 0.00 0 0 0.00 -
137.29/137.63 c diving/probing LP: 0.37 13 5347 411.31 14396.37
137.29/137.63 c strong branching : 0.00 0 0 0.00 - - - 0
137.29/137.63 c (at root node) : - 0 0 0.00 -
137.29/137.63 c conflict analysis: 0.00 0 0 0.00 -
137.29/137.63 c B&B Tree :
137.29/137.63 c number of runs : 1
137.29/137.63 c nodes : 1 (0 internal, 1 leaves)
137.29/137.63 c feasible leaves : 0
137.29/137.63 c infeas. leaves : 1
137.29/137.63 c objective leaves : 0
137.29/137.63 c nodes (total) : 1 (0 internal, 1 leaves)
137.29/137.63 c nodes left : 0
137.29/137.63 c max depth : 0
137.29/137.63 c max depth (total): 0
137.29/137.63 c backtracks : 0 (0.0%)
137.29/137.63 c early backtracks : 0 (0.0%)
137.29/137.63 c nodes exc. ref. : 0 (0.0%)
137.29/137.63 c delayed cutoffs : 0
137.29/137.63 c repropagations : 0 (0 domain reductions, 0 cutoffs)
137.29/137.63 c avg switch length: 2.00
137.29/137.63 c switching time : 0.00
137.29/137.63 c Root Node :
137.29/137.63 c First LP value : +4.56666666666667e+01
137.29/137.63 c First LP Iters : 183 (13819.66 Iter/sec)
137.29/137.63 c First LP Time : 0.01
137.29/137.63 c Final Dual Bound : -
137.29/137.63 c Final Root Iters : 14271
137.29/137.63 c Root LP Estimate : -
137.29/137.63 c Solution :
137.29/137.63 c Solutions found : 0 (0 improvements)
137.29/137.63 c Primal Bound : infeasible
137.29/137.63 c Dual Bound : -
137.29/137.63 c Gap : 0.00 %
137.29/137.63 c Integrals : Total Avg%
137.29/137.63 c primal-dual : - - (problem infeasible)
137.29/137.63 c primal-ref : - - (problem infeasible)
137.29/137.63 c dual-ref : - - (problem infeasible)
137.49/137.85 c Time complete: 137.543.