0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik 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-2663578-1276647626.opb>
0.00/0.01 c original problem has 972 variables (972 bin, 0 int, 0 impl, 0 cont) and 748 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.19/0.20 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 70 chg coeffs, 0 upgd conss, 4356 impls, 0 clqs
0.19/0.21 c (round 2) 27 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 86 chg coeffs, 10 upgd conss, 6660 impls, 0 clqs
0.19/0.21 c (round 3) 45 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8676 impls, 0 clqs
0.19/0.22 c (round 4) 63 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 10 upgd conss, 10404 impls, 0 clqs
0.19/0.23 c (round 5) 81 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 134 chg coeffs, 10 upgd conss, 11844 impls, 0 clqs
0.19/0.23 c (round 6) 99 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 150 chg coeffs, 10 upgd conss, 12996 impls, 0 clqs
0.19/0.24 c (round 7) 117 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 166 chg coeffs, 10 upgd conss, 13860 impls, 0 clqs
0.19/0.24 c (round 8) 135 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 182 chg coeffs, 10 upgd conss, 14436 impls, 0 clqs
0.19/0.25 c (round 9) 153 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 198 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs
0.19/0.25 c (round 10) 171 del vars, 144 del conss, 0 chg bounds, 0 chg sides, 214 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs
0.39/0.43 c (0.2s) probing: 238/801 (29.7%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.39/0.43 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.43 c presolving (11 rounds):
0.39/0.43 c 171 deleted vars, 144 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 214 changed coefficients
0.39/0.43 c 14760 implications, 0 cliques
0.39/0.43 c presolved problem has 801 variables (801 bin, 0 int, 0 impl, 0 cont) and 595 constraints
0.39/0.43 c 576 constraints of type <and>
0.39/0.43 c 9 constraints of type <linear>
0.39/0.43 c 10 constraints of type <logicor>
0.39/0.43 c transformed objective value is always integral (scale: 2)
0.39/0.43 c Presolving Time: 0.22
0.39/0.43 c - non default parameters ----------------------------------------------------------------------
0.39/0.43 c # SCIP version 1.2.1.2
0.39/0.43 c
0.39/0.43 c # frequency for displaying node information lines
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43 c display/freq = 10000
0.39/0.43 c
0.39/0.43 c # maximal time in seconds to run
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/time = 1799.99
0.39/0.43 c
0.39/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/memory = 1620
0.39/0.43 c
0.39/0.43 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.43 c lp/solvefreq = -1
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify inequalities
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/linear/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify knapsacks
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c heuristics/undercover/freq = 0
0.39/0.43 c
0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c separating/rapidlearning/freq = 0
0.39/0.43 c
0.39/0.43 c -----------------------------------------------------------------------------------------------
0.39/0.43 c start solving
0.39/0.43 c
0.39/0.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.43 c 0.2s| 1 | 2 | 0 | - |2551k| 0 | - | 801 | 595 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.69/3.74 c 3.3s| 10000 | 8006 | 0 | 0.0 |8240k| 545 | - | 801 | 804 | 0 | 0 | 0 |1426 | 0 | 1.000000e+00 | -- | Inf
7.29/7.37 c 6.7s| 20000 | 15707 | 0 | 0.0 | 13M| 545 | - | 801 | 881 | 0 | 0 | 0 |3131 | 0 | 1.000000e+00 | -- | Inf
11.29/11.32 c 10.3s| 30000 | 22550 | 0 | 0.0 | 19M| 545 | - | 801 | 838 | 0 | 0 | 0 |5452 | 0 | 1.000000e+00 | -- | Inf
15.39/15.44 c 14.2s| 40000 | 29600 | 0 | 0.0 | 24M| 545 | - | 801 | 940 | 0 | 0 | 0 |7687 | 0 | 1.000000e+00 | -- | Inf
18.99/19.06 c 17.5s| 50000 | 37522 | 0 | 0.0 | 30M| 545 | - | 801 |1086 | 0 | 0 | 0 |9374 | 0 | 1.000000e+00 | -- | Inf
23.09/23.18 c 21.4s| 60000 | 44499 | 0 | 0.0 | 36M| 545 | - | 801 |1339 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
27.39/27.43 c 25.4s| 70000 | 51717 | 0 | 0.0 | 41M| 545 | - | 801 |1236 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
31.48/31.55 c 29.3s| 80000 | 59497 | 0 | 0.0 | 47M| 545 | - | 801 |1232 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
35.58/35.61 c 33.1s| 90000 | 66623 | 0 | 0.0 | 52M| 545 | - | 801 |1256 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
39.88/39.93 c 37.2s|100000 | 74157 | 0 | 0.0 | 58M| 545 | - | 801 |1145 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
44.27/44.37 c 41.4s|110000 | 80866 | 0 | 0.0 | 63M| 545 | - | 801 |1050 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
48.77/48.89 c 45.6s|120000 | 87386 | 0 | 0.0 | 68M| 545 | - | 801 |1114 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
53.88/53.97 c 50.4s|130000 | 93155 | 0 | 0.0 | 73M| 545 | - | 801 | 975 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
58.18/58.23 c 54.5s|140000 |100206 | 0 | 0.0 | 79M| 545 | - | 801 |1211 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
62.58/62.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.58/62.69 c 58.6s|150000 |106950 | 0 | 0.0 | 84M| 545 | - | 801 |1154 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
66.67/66.77 c 62.5s|160000 |114150 | 0 | 0.0 | 89M| 545 | - | 801 |1124 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
71.06/71.10 c 66.6s|170000 |120867 | 0 | 0.0 | 94M| 545 | - | 801 | 965 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
75.66/75.74 c 70.9s|180000 |126719 | 0 | 0.0 | 99M| 545 | - | 801 |1124 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
79.86/79.90 c 74.8s|190000 |133885 | 0 | 0.0 | 105M| 545 | - | 801 |1371 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
84.26/84.31 c 79.0s|200000 |141207 | 0 | 0.0 | 111M| 545 | - | 801 |1042 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
88.26/88.36 c 82.8s|210000 |148342 | 0 | 0.0 | 116M| 545 | - | 801 |1193 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | -- | Inf
92.46/92.56 c 86.7s|220000 |155262 | 0 | 0.0 | 121M| 545 | - | 801 |1268 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
96.67/96.75 c 90.6s|230000 |162452 | 0 | 0.0 | 127M| 545 | - | 801 |1189 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
100.96/101.04 c 94.7s|240000 |169543 | 0 | 0.0 | 132M| 545 | - | 801 |1439 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
105.26/105.36 c 98.7s|250000 |176757 | 0 | 0.0 | 137M| 545 | - | 801 |1510 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
109.65/109.72 c 103s|260000 |184039 | 0 | 0.0 | 143M| 545 | - | 801 |1274 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
114.26/114.31 c 107s|270000 |191045 | 0 | 0.0 | 148M| 545 | - | 801 |1329 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
118.85/118.94 c 111s|280000 |198081 | 0 | 0.0 | 154M| 545 | - | 801 |1271 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
123.65/123.73 c 116s|290000 |205117 | 0 | 0.0 | 159M| 545 | - | 801 |1233 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
128.34/128.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.34/128.42 c 120s|300000 |212206 | 0 | 0.0 | 164M| 545 | - | 801 |1362 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
133.14/133.28 c 125s|310000 |219280 | 0 | 0.0 | 170M| 545 | - | 801 |1310 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
138.05/138.14 c 130s|320000 |226422 | 0 | 0.0 | 175M| 545 | - | 801 |1310 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | -- | Inf
142.75/142.84 c 134s|330000 |233659 | 0 | 0.0 | 180M| 545 | - | 801 |1353 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
147.54/147.62 c 139s|340000 |240777 | 0 | 0.0 | 186M| 545 | - | 801 |1516 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | -- | Inf
152.24/152.34 c 143s|350000 |247995 | 0 | 0.0 | 191M| 545 | - | 801 |1352 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
157.14/157.30 c 148s|360000 |254963 | 0 | 0.0 | 196M| 545 | - | 801 |1358 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | -- | Inf
162.04/162.11 c 152s|370000 |262091 | 0 | 0.0 | 201M| 545 | - | 801 |1371 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
166.34/166.44 c 156s|380000 |269597 | 0 | 0.0 | 207M| 545 | - | 801 |1237 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
171.24/171.39 c 161s|390000 |276924 | 0 | 0.0 | 213M| 545 | - | 801 |1365 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
176.23/176.37 c 166s|400000 |284118 | 0 | 0.0 | 218M| 545 | - | 801 |1150 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
181.03/181.19 c 170s|410000 |290907 | 0 | 0.0 | 223M| 545 | - | 801 |1288 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
185.53/185.62 c 175s|420000 |297714 | 0 | 0.0 | 228M| 545 | - | 801 |1178 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
190.52/190.65 c 179s|430000 |303792 | 0 | 0.0 | 233M| 545 | - | 801 |1363 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
194.82/194.94 c 183s|440000 |310508 | 0 | 0.0 | 238M| 545 | - | 801 |1176 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
199.03/199.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.03/199.13 c 187s|450000 |317391 | 0 | 0.0 | 243M| 545 | - | 801 |1232 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
203.62/203.74 c 192s|460000 |323540 | 0 | 0.0 | 248M| 545 | - | 801 |1176 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | -- | Inf
208.22/208.36 c 196s|470000 |330023 | 0 | 0.0 | 253M| 545 | - | 801 |1208 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
213.02/213.16 c 201s|480000 |336837 | 0 | 0.0 | 258M| 545 | - | 801 |1132 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
218.12/218.23 c 206s|490000 |343799 | 0 | 0.0 | 264M| 545 | - | 801 |1162 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
223.22/223.33 c 210s|500000 |350536 | 0 | 0.0 | 269M| 545 | - | 801 |1194 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | -- | Inf
228.22/228.34 c 215s|510000 |357569 | 0 | 0.0 | 274M| 545 | - | 801 |1023 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | -- | Inf
233.02/233.17 c 220s|520000 |364688 | 0 | 0.0 | 280M| 545 | - | 801 |1150 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | -- | Inf
238.01/238.16 c 224s|530000 |371603 | 0 | 0.0 | 285M| 545 | - | 801 |1218 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | -- | Inf
242.92/243.08 c 229s|540000 |378678 | 0 | 0.0 | 291M| 545 | - | 801 |1251 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
247.81/247.92 c 234s|550000 |385676 | 0 | 0.0 | 296M| 545 | - | 801 |1249 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | -- | Inf
252.71/252.80 c 238s|560000 |392517 | 0 | 0.0 | 301M| 545 | - | 801 |1323 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | -- | Inf
257.41/257.58 c 243s|570000 |399429 | 0 | 0.0 | 306M| 545 | - | 801 |1230 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | -- | Inf
262.41/262.53 c 248s|580000 |405772 | 0 | 0.0 | 311M| 545 | - | 801 |1189 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | -- | Inf
267.60/267.78 c 253s|590000 |411334 | 0 | 0.0 | 315M| 545 | - | 801 |1233 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
272.60/272.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.60/272.78 c 257s|600000 |417814 | 0 | 0.0 | 320M| 545 | - | 801 |1255 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
277.60/277.78 c 262s|610000 |424320 | 0 | 0.0 | 326M| 545 | - | 801 |1228 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | -- | Inf
282.30/282.46 c 267s|620000 |431362 | 0 | 0.0 | 331M| 545 | - | 801 |1191 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | -- | Inf
287.19/287.31 c 271s|630000 |437219 | 0 | 0.0 | 335M| 545 | - | 801 |1110 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | -- | Inf
291.70/291.86 c 275s|640000 |443949 | 0 | 0.0 | 340M| 545 | - | 801 | 895 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
296.09/296.24 c 280s|650000 |450810 | 0 | 0.0 | 346M| 545 | - | 801 |1080 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | -- | Inf
300.59/300.72 c 284s|660000 |457480 | 0 | 0.0 | 351M| 545 | - | 801 |1141 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | -- | Inf
305.29/305.44 c 288s|670000 |464069 | 0 | 0.0 | 356M| 545 | - | 801 |1070 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | -- | Inf
309.69/309.86 c 292s|680000 |471054 | 0 | 0.0 | 361M| 545 | - | 801 |1041 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | -- | Inf
314.79/314.96 c 297s|690000 |477126 | 0 | 0.0 | 366M| 545 | - | 801 |1213 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
319.78/319.92 c 302s|700000 |483174 | 0 | 0.0 | 371M| 545 | - | 801 |1207 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
324.98/325.15 c 307s|710000 |489629 | 0 | 0.0 | 376M| 545 | - | 801 |1233 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | -- | Inf
331.08/331.29 c 313s|720000 |495461 | 0 | 0.0 | 381M| 545 | - | 801 |1399 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | -- | Inf
336.39/336.59 c 318s|730000 |501931 | 0 | 0.0 | 385M| 545 | - | 801 |1071 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
340.78/340.98 c 322s|740000 |509195 | 0 | 0.0 | 391M| 545 | - | 801 |1210 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | -- | Inf
345.57/345.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.57/345.75 c 327s|750000 |516103 | 0 | 0.0 | 396M| 545 | - | 801 |1205 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | -- | Inf
350.38/350.58 c 331s|760000 |523006 | 0 | 0.0 | 401M| 545 | - | 801 |1339 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | -- | Inf
355.47/355.61 c 336s|770000 |529696 | 0 | 0.0 | 406M| 545 | - | 801 |1542 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | -- | Inf
360.58/360.75 c 341s|780000 |536406 | 0 | 0.0 | 411M| 545 | - | 801 |1708 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | -- | Inf
365.27/365.43 c 345s|790000 |543249 | 0 | 0.0 | 416M| 545 | - | 801 |1370 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | -- | Inf
370.06/370.29 c 350s|800000 |549693 | 0 | 0.0 | 421M| 545 | - | 801 |1537 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | -- | Inf
374.98/375.19 c 355s|810000 |556010 | 0 | 0.0 | 425M| 545 | - | 801 |1352 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | -- | Inf
380.26/380.44 c 360s|820000 |562413 | 0 | 0.0 | 430M| 545 | - | 801 |1537 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | -- | Inf
385.57/385.70 c 365s|830000 |569098 | 0 | 0.0 | 435M| 545 | - | 801 |1511 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | -- | Inf
390.26/390.46 c 369s|840000 |575919 | 0 | 0.0 | 440M| 545 | - | 801 |1476 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | -- | Inf
395.25/395.41 c 374s|850000 |582406 | 0 | 0.0 | 445M| 545 | - | 801 |1376 | 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | -- | Inf
399.76/399.98 c 378s|860000 |589511 | 0 | 0.0 | 450M| 545 | - | 801 |1402 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
403.95/404.19 c 382s|870000 |596947 | 0 | 0.0 | 456M| 545 | - | 801 |1256 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
408.55/408.70 c 386s|880000 |604127 | 0 | 0.0 | 461M| 545 | - | 801 |1180 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | -- | Inf
413.25/413.48 c 391s|890000 |611138 | 0 | 0.0 | 467M| 545 | - | 801 |1309 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | -- | Inf
418.15/418.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.15/418.38 c 395s|900000 |618226 | 0 | 0.0 | 472M| 545 | - | 801 |1118 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | -- | Inf
422.95/423.12 c 400s|910000 |625164 | 0 | 0.0 | 477M| 545 | - | 801 |1129 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | -- | Inf
427.65/427.84 c 404s|920000 |631700 | 0 | 0.0 | 482M| 545 | - | 801 |1260 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
432.85/433.02 c 409s|930000 |637560 | 0 | 0.0 | 487M| 545 | - | 801 |1160 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | -- | Inf
437.74/437.98 c 414s|940000 |643858 | 0 | 0.0 | 492M| 545 | - | 801 |1196 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | -- | Inf
442.74/442.96 c 419s|950000 |650097 | 0 | 0.0 | 497M| 545 | - | 801 |1263 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | -- | Inf
447.45/447.67 c 423s|960000 |656460 | 0 | 0.0 | 502M| 545 | - | 801 |1277 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | -- | Inf
452.14/452.39 c 428s|970000 |662916 | 0 | 0.0 | 507M| 545 | - | 801 |1221 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
457.04/457.28 c 432s|980000 |668937 | 0 | 0.0 | 512M| 545 | - | 801 |1431 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | -- | Inf
462.84/463.10 c 438s|990000 |674036 | 0 | 0.0 | 516M| 545 | - | 801 |1214 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | -- | Inf
467.63/467.84 c 443s| 1000k|680329 | 0 | 0.0 | 521M| 545 | - | 801 |1235 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | -- | Inf
472.13/472.36 c 447s| 1010k|687255 | 0 | 0.0 | 526M| 545 | - | 801 | 903 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | -- | Inf
476.43/476.65 c 451s| 1020k|693756 | 0 | 0.0 | 531M| 545 | - | 801 |1208 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | -- | Inf
480.43/480.68 c 455s| 1030k|701176 | 0 | 0.0 | 536M| 545 | - | 801 |1221 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
484.94/485.14 c 459s| 1040k|708023 | 0 | 0.0 | 541M| 545 | - | 801 |1561 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | -- | Inf
489.62/489.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.62/489.89 c 463s| 1050k|714666 | 0 | 0.0 | 546M| 545 | - | 801 |1607 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | -- | Inf
494.32/494.55 c 468s| 1060k|721299 | 0 | 0.0 | 551M| 545 | - | 801 |1715 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | -- | Inf
498.93/499.17 c 472s| 1070k|727949 | 0 | 0.0 | 556M| 545 | - | 801 |1744 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | -- | Inf
506.42/506.63 o 3
506.42/506.63 c * 479s| 1079k| 26226 | 0 | 0.0 | 30M| 545 | - | 801 |1644 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
506.83/507.01 c
506.83/507.01 c SCIP Status : problem is solved [optimal solution found]
506.83/507.01 c Solving Time (sec) : 479.74
506.83/507.01 c Solving Nodes : 1079479
506.83/507.01 c Primal Bound : +3.00000000000000e+00 (1 solutions)
506.83/507.01 c Dual Bound : +3.00000000000000e+00
506.83/507.01 c Gap : 0.00 %
506.83/507.01 s OPTIMUM FOUND
506.83/507.01 v -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x162 -x161 -x160 -x159
506.83/507.01 v -x158 x157 -x156 -x155 x154 -x225 -x224 -x223 x222 -x221 x220 -x219 -x218 x217 -x153 -x152 -x151 -x150 -x149 -x148 -x147
506.83/507.01 v x146 x145 -x216 -x215 -x214 -x213 x212 -x211 x210 x209 x208 x144 -x143 x142 -x141 -x140 -x139 -x138 x137 x136 -x207 -x206 -x205
506.83/507.01 v -x204 -x203 -x202 x201 x200 -x199 x135 -x134 x133 -x132 -x131 -x130 x129 x128 x127 -x198 -x197 -x196 -x195 -x194 -x193 -x192
506.83/507.01 v x191 -x190 -x126 -x125 x124 x123 -x122 -x121 x120 x119 x118 -x189 -x188 -x187 -x186 -x185 x184 x183 -x182 -x181 -x117 x116
506.83/507.01 v -x115 x114 -x113 -x112 -x111 -x110 x109 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x108 -x107 x106 x105 -x104 -x103
506.83/507.01 v -x102 -x101 x100 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 x90 -x89
506.83/507.01 v -x88 -x87 x86 -x85 x84 x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62
506.83/507.01 v -x61 x60 -x59 -x58 x57 -x56 x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 x38 x37 -x36
506.83/507.01 v -x35 x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 x25 x24 -x23 -x22 -x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 x10 -x9
506.83/507.01 v -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
506.83/507.01 c SCIP Status : problem is solved [optimal solution found]
506.83/507.01 c Solving Time : 479.74
506.83/507.01 c Original Problem :
506.83/507.01 c Problem name : HOME/instance-2663578-1276647626.opb
506.83/507.01 c Variables : 972 (972 binary, 0 integer, 0 implicit integer, 0 continuous)
506.83/507.01 c Constraints : 748 initial, 748 maximal
506.83/507.01 c Presolved Problem :
506.83/507.01 c Problem name : t_HOME/instance-2663578-1276647626.opb
506.83/507.01 c Variables : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous)
506.83/507.01 c Constraints : 595 initial, 1776 maximal
506.83/507.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
506.83/507.01 c trivial : 0.00 0 0 0 0 0 0 0 0
506.83/507.01 c dualfix : 0.01 0 0 0 0 0 0 0 0
506.83/507.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
506.83/507.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
506.83/507.01 c implics : 0.00 0 0 0 0 0 0 0 0
506.83/507.01 c probing : 0.04 0 0 0 0 0 0 0 0
506.83/507.01 c and : 0.17 18 144 0 0 0 144 0 144
506.83/507.01 c linear : 0.00 1 8 0 0 0 0 0 70
506.83/507.01 c logicor : 0.00 0 0 0 0 0 0 0 0
506.83/507.01 c root node : - 81 - - 81 - - - -
506.83/507.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
506.83/507.01 c integral : 0 0 0 0 0 0 0 0 0 0
506.83/507.01 c and : 576 0 2500637 0 950340 22425 5408803 0 0 0
506.83/507.01 c linear : 9 0 2478211 0 950340 177713 1723312 0 0 0
506.83/507.01 c logicor : 10+ 0 962088 0 950221 5459 241349 0 0 0
506.83/507.01 c countsols : 0 0 0 0 950341 0 0 0 0 0
506.83/507.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
506.83/507.01 c integral : 0.00 0.00 0.00 0.00 0.00
506.83/507.01 c and : 81.37 0.00 49.06 0.00 32.31
506.83/507.01 c linear : 158.77 0.00 157.91 0.00 0.86
506.83/507.01 c logicor : 26.28 0.00 23.93 0.00 2.35
506.83/507.01 c countsols : 0.36 0.00 0.00 0.00 0.36
506.83/507.01 c Propagators : Time Calls Cutoffs DomReds
506.83/507.01 c vbounds : 1.12 2 0 0
506.83/507.01 c rootredcost : 1.15 0 0 0
506.83/507.01 c pseudoobj : 3.02 2500145 0 116
506.83/507.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
506.83/507.01 c propagation : 112.07 205597 205205 3369114 85.1 11440 60.3 -
506.83/507.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
506.83/507.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
506.83/507.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
506.83/507.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
506.83/507.01 c applied globally : - - - 273925 42.9 - - -
506.83/507.01 c applied locally : - - - 2296 98.2 - - -
506.83/507.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
506.83/507.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
506.83/507.01 c redcost : 0.00 0 0 0 0 0
506.83/507.01 c impliedbounds : 0.00 0 0 0 0 0
506.83/507.01 c intobj : 0.00 0 0 0 0 0
506.83/507.01 c cgmip : 0.00 0 0 0 0 0
506.83/507.01 c gomory : 0.00 0 0 0 0 0
506.83/507.01 c strongcg : 0.00 0 0 0 0 0
506.83/507.01 c cmir : 0.00 0 0 0 0 0
506.83/507.01 c flowcover : 0.00 0 0 0 0 0
506.83/507.01 c clique : 0.00 0 0 0 0 0
506.83/507.01 c zerohalf : 0.00 0 0 0 0 0
506.83/507.01 c mcf : 0.00 0 0 0 0 0
506.83/507.01 c rapidlearning : 0.00 0 0 0 0 0
506.83/507.01 c Pricers : Time Calls Vars
506.83/507.01 c problem variables: 0.00 0 0
506.83/507.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
506.83/507.01 c relpscost : 0.00 0 0 0 0 0 0
506.83/507.01 c pscost : 0.00 0 0 0 0 0 0
506.83/507.01 c inference : 85.29 950340 0 0 0 0 1900680
506.83/507.01 c mostinf : 0.00 0 0 0 0 0 0
506.83/507.01 c leastinf : 0.00 0 0 0 0 0 0
506.83/507.01 c fullstrong : 0.00 0 0 0 0 0 0
506.83/507.01 c allfullstrong : 0.00 0 0 0 0 0 0
506.83/507.01 c random : 0.00 0 0 0 0 0 0
506.83/507.01 c Primal Heuristics : Time Calls Found
506.83/507.01 c LP solutions : 0.00 - 0
506.83/507.01 c pseudo solutions : 2.88 - 1
506.83/507.01 c oneopt : 0.49 0 0
506.83/507.01 c trivial : 0.00 2 0
506.83/507.01 c simplerounding : 0.00 0 0
506.83/507.01 c zirounding : 0.00 0 0
506.83/507.01 c rounding : 0.00 0 0
506.83/507.01 c shifting : 0.00 0 0
506.83/507.01 c intshifting : 0.00 0 0
506.83/507.01 c twoopt : 0.00 0 0
506.83/507.01 c fixandinfer : 0.00 0 0
506.83/507.01 c feaspump : 0.00 0 0
506.83/507.01 c coefdiving : 0.00 0 0
506.83/507.01 c pscostdiving : 0.00 0 0
506.83/507.01 c fracdiving : 0.00 0 0
506.83/507.01 c veclendiving : 0.00 0 0
506.83/507.01 c intdiving : 0.00 0 0
506.83/507.01 c actconsdiving : 0.00 0 0
506.83/507.01 c objpscostdiving : 0.00 0 0
506.83/507.01 c rootsoldiving : 0.00 0 0
506.83/507.01 c linesearchdiving : 0.00 0 0
506.83/507.01 c guideddiving : 0.00 0 0
506.83/507.01 c octane : 0.00 0 0
506.83/507.01 c rens : 0.00 0 0
506.83/507.01 c rins : 0.00 0 0
506.83/507.01 c localbranching : 0.00 0 0
506.83/507.01 c mutation : 0.00 0 0
506.83/507.01 c crossover : 0.00 0 0
506.83/507.01 c dins : 0.00 0 0
506.83/507.01 c undercover : 0.00 0 0
506.83/507.01 c nlp : 0.49 0 0
506.83/507.01 c trysol : 0.47 0 0
506.83/507.01 c LP : Time Calls Iterations Iter/call Iter/sec
506.83/507.01 c primal LP : 0.00 0 0 0.00 -
506.83/507.01 c dual LP : 0.00 0 0 0.00 -
506.83/507.01 c lex dual LP : 0.00 0 0 0.00 -
506.83/507.01 c barrier LP : 0.00 0 0 0.00 -
506.83/507.01 c diving/probing LP: 0.00 0 0 0.00 -
506.83/507.01 c strong branching : 0.00 0 0 0.00 -
506.83/507.01 c (at root node) : - 0 0 0.00 -
506.83/507.01 c conflict analysis: 0.00 0 0 0.00 -
506.83/507.01 c B&B Tree :
506.83/507.01 c number of runs : 1
506.83/507.01 c nodes : 1079479
506.83/507.01 c nodes (total) : 1079479
506.83/507.01 c nodes left : 0
506.83/507.01 c max depth : 545
506.83/507.01 c max depth (total): 545
506.83/507.01 c backtracks : 80607 (7.5%)
506.83/507.01 c delayed cutoffs : 113226
506.83/507.01 c repropagations : 195085 (952107 domain reductions, 76459 cutoffs)
506.83/507.01 c avg switch length: 7.98
506.83/507.01 c switching time : 75.40
506.83/507.01 c Solution :
506.83/507.01 c Solutions found : 1 (1 improvements)
506.83/507.01 c First Solution : +3.00000000000000e+00 (in run 1, after 1079461 nodes, 476.52 seconds, depth 104, found by <relaxation>)
506.83/507.01 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1079461 nodes, 476.52 seconds, depth 104, found by <relaxation>)
506.83/507.01 c Dual Bound : +3.00000000000000e+00
506.83/507.01 c Gap : 0.00 %
506.83/507.01 c Root Dual Bound : +1.00000000000000e+00
506.83/507.01 c Root Iterations : 0
506.83/507.08 c Time complete: 506.91.