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-2664590-1276352447.opb>
0.00/0.04 c original problem has 2655 variables (2655 bin, 0 int, 0 impl, 0 cont) and 146 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 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.07 c presolving:
0.07/0.09 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 145 upgd conss, 0 impls, 144 clqs
0.09/0.11 c (round 2) 83 del vars, 2 del conss, 0 chg bounds, 0 chg sides, 44 chg coeffs, 145 upgd conss, 0 impls, 153 clqs
1.59/1.69 c (1.6s) probing: 1000/2572 (38.9%) - 36 fixings, 0 aggregations, 9447 implications, 0 bound changes
1.79/1.83 c (round 3) 133 del vars, 2 del conss, 0 chg bounds, 0 chg sides, 44 chg coeffs, 145 upgd conss, 21146 impls, 152 clqs
1.79/1.84 c (round 4) 163 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 44 chg coeffs, 145 upgd conss, 21146 impls, 150 clqs
2.00/2.04 c (2.0s) probing: 1235/2572 (48.0%) - 51 fixings, 0 aggregations, 9860 implications, 0 bound changes
2.00/2.04 c (2.0s) probing aborted: 100/100 successive totally useless probings
2.00/2.04 c (round 5) 164 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 44 chg coeffs, 145 upgd conss, 21146 impls, 150 clqs
2.00/2.05 c (round 6) 192 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 44 chg coeffs, 145 upgd conss, 21146 impls, 149 clqs
2.00/2.08 c (2.0s) probing: 1245/2572 (48.4%) - 51 fixings, 0 aggregations, 9860 implications, 0 bound changes
2.00/2.08 c (2.0s) probing aborted: 100/100 successive totally useless probings
2.00/2.08 c presolving (7 rounds):
2.00/2.08 c 192 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 44 changed coefficients
2.00/2.08 c 21146 implications, 149 cliques
2.00/2.08 c presolved problem has 2463 variables (2463 bin, 0 int, 0 impl, 0 cont) and 141 constraints
2.00/2.08 c 1 constraints of type <knapsack>
2.00/2.08 c 139 constraints of type <setppc>
2.00/2.08 c 1 constraints of type <linear>
2.00/2.08 c transformed objective value is always integral (scale: 1)
2.00/2.08 c Presolving Time: 1.99
2.00/2.08 c - non default parameters ----------------------------------------------------------------------
2.00/2.08 c # SCIP version 1.2.1.2
2.00/2.08 c
2.00/2.08 c # frequency for displaying node information lines
2.00/2.08 c # [type: int, range: [-1,2147483647], default: 100]
2.00/2.08 c display/freq = 10000
2.00/2.08 c
2.00/2.08 c # maximal time in seconds to run
2.00/2.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.00/2.08 c limits/time = 1799.97
2.00/2.08 c
2.00/2.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.00/2.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.00/2.08 c limits/memory = 1620
2.00/2.08 c
2.00/2.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.00/2.08 c # [type: int, range: [-1,2147483647], default: 1]
2.00/2.08 c lp/solvefreq = -1
2.00/2.08 c
2.00/2.08 c # should presolving try to simplify inequalities
2.00/2.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.00/2.08 c constraints/linear/simplifyinequalities = TRUE
2.00/2.08 c
2.00/2.08 c # should presolving try to simplify knapsacks
2.00/2.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.00/2.08 c constraints/knapsack/simplifyinequalities = TRUE
2.00/2.08 c
2.00/2.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.00/2.08 c # [type: int, range: [-1,2147483647], default: -1]
2.00/2.08 c separating/rapidlearning/freq = 0
2.00/2.08 c
2.00/2.08 c -----------------------------------------------------------------------------------------------
2.00/2.08 c start solving
2.00/2.08 c
2.00/2.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.00/2.08 c 2.0s| 1 | 2 | 0 | - |7120k| 0 | - |2463 | 141 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
17.38/17.41 c 17.1s| 10000 | 9865 | 0 | 0.0 | 11M|1543 | - |2463 | 391 | 0 | 0 | 0 | 251 | 0 | 8.600000e+01 | -- | Inf
31.68/31.77 c 31.3s| 20000 | 19764 | 0 | 0.0 | 14M|1543 | - |2463 | 607 | 0 | 0 | 0 | 469 | 0 | 9.500000e+01 | -- | Inf
44.38/44.49 c 43.8s| 30000 | 29637 | 0 | 0.0 | 19M|1543 | - |2463 |1000 | 0 | 0 | 0 | 873 | 0 | 1.070000e+02 | -- | Inf
57.08/57.13 c 56.2s| 40000 | 39541 | 0 | 0.0 | 23M|1543 | - |2463 |1285 | 0 | 0 | 0 |1207 | 0 | 1.150000e+02 | -- | Inf
69.97/70.08 c 68.9s| 50000 | 49448 | 0 | 0.0 | 27M|1543 | - |2463 |1501 | 0 | 0 | 0 |1500 | 0 | 1.190000e+02 | -- | Inf
81.77/81.86 c 80.5s| 60000 | 59356 | 0 | 0.0 | 31M|1543 | - |2463 |1773 | 0 | 0 | 0 |1870 | 0 | 1.240000e+02 | -- | Inf
93.97/94.01 c 92.5s| 70000 | 69217 | 0 | 0.0 | 35M|1543 | - |2463 |2089 | 0 | 0 | 0 |2354 | 0 | 1.280000e+02 | -- | Inf
106.36/106.41 c 105s| 80000 | 79103 | 0 | 0.0 | 39M|1543 | - |2463 |2207 | 0 | 0 | 0 |2719 | 0 | 1.360000e+02 | -- | Inf
118.46/118.52 c 117s| 90000 | 88991 | 0 | 0.0 | 43M|1543 | - |2463 |2216 | 0 | 0 | 0 |3056 | 0 | 1.390000e+02 | -- | Inf
130.87/130.96 c 129s|100000 | 98858 | 0 | 0.0 | 47M|1543 | - |2463 |2298 | 0 | 0 | 0 |3498 | 0 | 1.410000e+02 | -- | Inf
143.66/143.78 c 141s|110000 |108725 | 0 | 0.0 | 51M|1543 | - |2463 |2272 | 0 | 0 | 0 |3910 | 0 | 1.430000e+02 | -- | Inf
155.75/155.89 c 153s|120000 |118615 | 0 | 0.0 | 55M|1543 | - |2463 |2293 | 0 | 0 | 0 |4286 | 0 | 1.450000e+02 | -- | Inf
168.44/168.54 c 166s|130000 |128490 | 0 | 0.0 | 59M|1543 | - |2463 |2275 | 0 | 0 | 0 |4654 | 0 | 1.470000e+02 | -- | Inf
180.85/180.93 c 178s|140000 |138364 | 0 | 0.0 | 63M|1543 | - |2463 |2278 | 0 | 0 | 0 |5071 | 0 | 1.480000e+02 | -- | Inf
193.15/193.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.15/193.29 c 190s|150000 |148257 | 0 | 0.0 | 67M|1543 | - |2463 |2284 | 0 | 0 | 0 |5462 | 0 | 1.500000e+02 | -- | Inf
205.65/205.72 c 202s|160000 |158142 | 0 | 0.0 | 71M|1543 | - |2463 |2331 | 0 | 0 | 0 |5878 | 0 | 1.510000e+02 | -- | Inf
218.23/218.35 c 215s|170000 |168009 | 0 | 0.0 | 75M|1543 | - |2463 |2159 | 0 | 0 | 0 |6297 | 0 | 1.530000e+02 | -- | Inf
230.73/230.88 c 227s|180000 |177858 | 0 | 0.0 | 79M|1543 | - |2463 |2032 | 0 | 0 | 0 |6727 | 0 | 1.550000e+02 | -- | Inf
243.23/243.37 c 240s|190000 |187711 | 0 | 0.0 | 83M|1543 | - |2463 |2110 | 0 | 0 | 0 |7273 | 0 | 1.560000e+02 | -- | Inf
255.23/255.34 c 251s|200000 |197598 | 0 | 0.0 | 87M|1543 | - |2463 |1982 | 0 | 0 | 0 |7641 | 0 | 1.580000e+02 | -- | Inf
267.23/267.36 c 263s|210000 |207486 | 0 | 0.0 | 91M|1543 | - |2463 |1909 | 0 | 0 | 0 |8025 | 0 | 1.590000e+02 | -- | Inf
279.52/279.66 c 275s|220000 |217330 | 0 | 0.0 | 95M|1543 | - |2463 |1909 | 0 | 0 | 0 |8567 | 0 | 1.620000e+02 | -- | Inf
291.82/291.91 c 287s|230000 |227208 | 0 | 0.0 | 99M|1543 | - |2463 |1875 | 0 | 0 | 0 |9054 | 0 | 1.640000e+02 | -- | Inf
303.81/303.90 c 299s|240000 |237098 | 0 | 0.0 | 103M|1543 | - |2463 |1824 | 0 | 0 | 0 |9480 | 0 | 1.650000e+02 | -- | Inf
316.11/316.30 c 311s|250000 |246977 | 0 | 0.0 | 107M|1543 | - |2463 |1710 | 0 | 0 | 0 |9943 | 0 | 1.670000e+02 | -- | Inf
328.20/328.35 c 323s|260000 |256860 | 0 | 0.0 | 111M|1543 | - |2463 |1702 | 0 | 0 | 0 | 10k| 0 | 1.680000e+02 | -- | Inf
340.21/340.39 c 335s|270000 |266735 | 0 | 0.0 | 115M|1543 | - |2463 |1802 | 0 | 0 | 0 | 10k| 0 | 1.690000e+02 | -- | Inf
352.71/352.87 c 347s|280000 |276611 | 0 | 0.0 | 119M|1543 | - |2463 |1692 | 0 | 0 | 0 | 11k| 0 | 1.700000e+02 | -- | Inf
365.30/365.48 c 360s|290000 |286496 | 0 | 0.0 | 123M|1543 | - |2463 |1467 | 0 | 0 | 0 | 11k| 0 | 1.710000e+02 | -- | Inf
378.00/378.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.00/378.18 c 372s|300000 |296380 | 0 | 0.0 | 127M|1543 | - |2463 |1444 | 0 | 0 | 0 | 12k| 0 | 1.710000e+02 | -- | Inf
390.40/390.55 c 384s|310000 |306231 | 0 | 0.0 | 131M|1543 | - |2463 |1410 | 0 | 0 | 0 | 12k| 0 | 1.720000e+02 | -- | Inf
402.79/402.91 c 397s|320000 |316133 | 0 | 0.0 | 135M|1543 | - |2463 |1359 | 0 | 0 | 0 | 13k| 0 | 1.720000e+02 | -- | Inf
414.98/415.16 c 409s|330000 |325992 | 0 | 0.0 | 139M|1543 | - |2463 |1439 | 0 | 0 | 0 | 13k| 0 | 1.720000e+02 | -- | Inf
427.79/427.93 c 421s|340000 |335859 | 0 | 0.0 | 143M|1543 | - |2463 |1274 | 0 | 0 | 0 | 13k| 0 | 1.730000e+02 | -- | Inf
440.18/440.34 c 433s|350000 |345742 | 0 | 0.0 | 146M|1543 | - |2463 |1249 | 0 | 0 | 0 | 14k| 0 | 1.730000e+02 | -- | Inf
452.78/452.93 c 446s|360000 |355581 | 0 | 0.0 | 151M|1543 | - |2463 |1278 | 0 | 0 | 0 | 14k| 0 | 1.740000e+02 | -- | Inf
465.18/465.34 c 458s|370000 |365461 | 0 | 0.0 | 155M|1543 | - |2463 |1248 | 0 | 0 | 0 | 15k| 0 | 1.740000e+02 | -- | Inf
477.37/477.52 c 470s|380000 |375289 | 0 | 0.0 | 159M|1543 | - |2463 |1228 | 0 | 0 | 0 | 15k| 0 | 1.750000e+02 | -- | Inf
489.77/489.96 c 482s|390000 |385172 | 0 | 0.0 | 163M|1543 | - |2463 |1102 | 0 | 0 | 0 | 16k| 0 | 1.750000e+02 | -- | Inf
502.77/502.91 c 495s|400000 |395035 | 0 | 0.0 | 167M|1543 | - |2463 |1020 | 0 | 0 | 0 | 16k| 0 | 1.750000e+02 | -- | Inf
515.46/515.69 c 508s|410000 |404897 | 0 | 0.0 | 171M|1543 | - |2463 |1040 | 0 | 0 | 0 | 17k| 0 | 1.760000e+02 | -- | Inf
527.36/527.52 c 519s|420000 |414799 | 0 | 0.0 | 175M|1543 | - |2463 |1055 | 0 | 0 | 0 | 17k| 0 | 1.760000e+02 | -- | Inf
539.16/539.34 c 531s|430000 |424682 | 0 | 0.0 | 179M|1543 | - |2463 |1131 | 0 | 0 | 0 | 18k| 0 | 1.760000e+02 | -- | Inf
551.35/551.54 c 543s|440000 |434555 | 0 | 0.0 | 183M|1543 | - |2463 |1270 | 0 | 0 | 0 | 18k| 0 | 1.770000e+02 | -- | Inf
563.35/563.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.35/563.59 c 555s|450000 |444447 | 0 | 0.0 | 187M|1543 | - |2463 |1349 | 0 | 0 | 0 | 18k| 0 | 1.770000e+02 | -- | Inf
575.54/575.71 c 567s|460000 |454324 | 0 | 0.0 | 191M|1543 | - |2463 |1221 | 0 | 0 | 0 | 19k| 0 | 1.780000e+02 | -- | Inf
587.64/587.85 c 579s|470000 |464216 | 0 | 0.0 | 195M|1543 | - |2463 |1121 | 0 | 0 | 0 | 19k| 0 | 1.780000e+02 | -- | Inf
599.94/600.10 c 591s|480000 |474093 | 0 | 0.0 | 199M|1543 | - |2463 |1277 | 0 | 0 | 0 | 20k| 0 | 1.780000e+02 | -- | Inf
612.14/612.33 c 603s|490000 |483959 | 0 | 0.0 | 203M|1543 | - |2463 |1284 | 0 | 0 | 0 | 20k| 0 | 1.780000e+02 | -- | Inf
624.43/624.67 c 615s|500000 |493809 | 0 | 0.0 | 207M|1543 | - |2463 |1246 | 0 | 0 | 0 | 21k| 0 | 1.790000e+02 | -- | Inf
636.43/636.61 c 627s|510000 |503700 | 0 | 0.0 | 211M|1543 | - |2463 |1289 | 0 | 0 | 0 | 21k| 0 | 1.790000e+02 | -- | Inf
648.52/648.70 c 639s|520000 |513564 | 0 | 0.0 | 216M|1543 | - |2463 |1328 | 0 | 0 | 0 | 22k| 0 | 1.800000e+02 | -- | Inf
660.02/660.28 c 650s|530000 |523430 | 0 | 0.0 | 220M|1543 | - |2463 |1404 | 0 | 0 | 0 | 22k| 0 | 1.800000e+02 | -- | Inf
672.62/672.88 c 662s|540000 |533262 | 0 | 0.0 | 224M|1543 | - |2463 |1245 | 0 | 0 | 0 | 23k| 0 | 1.810000e+02 | -- | Inf
684.82/685.00 c 674s|550000 |543141 | 0 | 0.0 | 228M|1543 | - |2463 |1261 | 0 | 0 | 0 | 23k| 0 | 1.810000e+02 | -- | Inf
696.62/696.87 c 686s|560000 |552976 | 0 | 0.0 | 232M|1543 | - |2463 |1368 | 0 | 0 | 0 | 24k| 0 | 1.820000e+02 | -- | Inf
708.71/708.97 c 698s|570000 |562848 | 0 | 0.0 | 236M|1543 | - |2463 |1362 | 0 | 0 | 0 | 24k| 0 | 1.820000e+02 | -- | Inf
720.71/720.96 c 710s|580000 |572735 | 0 | 0.0 | 240M|1543 | - |2463 |1295 | 0 | 0 | 0 | 25k| 0 | 1.820000e+02 | -- | Inf
732.31/732.56 c 721s|590000 |582559 | 0 | 0.0 | 245M|1543 | - |2463 |1356 | 0 | 0 | 0 | 25k| 0 | 1.830000e+02 | -- | Inf
744.51/744.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.51/744.79 c 733s|600000 |592429 | 0 | 0.0 | 248M|1543 | - |2463 |1150 | 0 | 0 | 0 | 26k| 0 | 1.830000e+02 | -- | Inf
756.51/756.80 c 745s|610000 |602303 | 0 | 0.0 | 252M|1543 | - |2463 |1189 | 0 | 0 | 0 | 26k| 0 | 1.830000e+02 | -- | Inf
768.70/768.97 c 757s|620000 |612151 | 0 | 0.0 | 257M|1543 | - |2463 |1203 | 0 | 0 | 0 | 27k| 0 | 1.840000e+02 | -- | Inf
780.70/780.99 c 769s|630000 |622021 | 0 | 0.0 | 261M|1543 | - |2463 |1198 | 0 | 0 | 0 | 27k| 0 | 1.840000e+02 | -- | Inf
792.99/793.28 c 781s|640000 |631872 | 0 | 0.0 | 265M|1543 | - |2463 |1275 | 0 | 0 | 0 | 27k| 0 | 1.840000e+02 | -- | Inf
805.19/805.48 c 793s|650000 |641745 | 0 | 0.0 | 269M|1543 | - |2463 |1295 | 0 | 0 | 0 | 28k| 0 | 1.850000e+02 | -- | Inf
817.49/817.77 c 805s|660000 |651615 | 0 | 0.0 | 273M|1543 | - |2463 |1227 | 0 | 0 | 0 | 28k| 0 | 1.850000e+02 | -- | Inf
830.19/830.43 c 818s|670000 |661434 | 0 | 0.0 | 277M|1543 | - |2463 |1286 | 0 | 0 | 0 | 29k| 0 | 1.860000e+02 | -- | Inf
843.68/843.95 c 831s|680000 |671310 | 0 | 0.0 | 281M|1543 | - |2463 | 905 | 0 | 0 | 0 | 29k| 0 | 1.860000e+02 | -- | Inf
855.77/856.02 c 843s|690000 |681216 | 0 | 0.0 | 285M|1543 | - |2463 | 827 | 0 | 0 | 0 | 30k| 0 | 1.860000e+02 | -- | Inf
868.27/868.56 c 855s|700000 |691080 | 0 | 0.0 | 289M|1543 | - |2463 |1004 | 0 | 0 | 0 | 30k| 0 | 1.860000e+02 | -- | Inf
881.47/881.78 c 868s|710000 |700878 | 0 | 0.0 | 293M|1543 | - |2463 | 938 | 0 | 0 | 0 | 31k| 0 | 1.870000e+02 | -- | Inf
894.47/894.73 c 881s|720000 |710756 | 0 | 0.0 | 297M|1543 | - |2463 | 864 | 0 | 0 | 0 | 31k| 0 | 1.870000e+02 | -- | Inf
906.26/906.53 c 892s|730000 |720622 | 0 | 0.0 | 301M|1543 | - |2463 | 935 | 0 | 0 | 0 | 32k| 0 | 1.870000e+02 | -- | Inf
918.65/918.91 c 905s|740000 |730450 | 0 | 0.0 | 306M|1543 | - |2463 |1046 | 0 | 0 | 0 | 32k| 0 | 1.880000e+02 | -- | Inf
930.55/930.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.55/930.89 c 916s|750000 |740352 | 0 | 0.0 | 310M|1543 | - |2463 | 957 | 0 | 0 | 0 | 33k| 0 | 1.880000e+02 | -- | Inf
942.65/942.95 c 928s|760000 |750199 | 0 | 0.0 | 314M|1543 | - |2463 |1055 | 0 | 0 | 0 | 33k| 0 | 1.880000e+02 | -- | Inf
954.65/954.98 c 940s|770000 |760072 | 0 | 0.0 | 318M|1543 | - |2463 |1091 | 0 | 0 | 0 | 34k| 0 | 1.890000e+02 | -- | Inf
966.84/967.16 c 952s|780000 |769955 | 0 | 0.0 | 322M|1543 | - |2463 |1029 | 0 | 0 | 0 | 34k| 0 | 1.890000e+02 | -- | Inf
979.05/979.39 c 964s|790000 |779776 | 0 | 0.0 | 326M|1543 | - |2463 |1121 | 0 | 0 | 0 | 35k| 0 | 1.900000e+02 | -- | Inf
991.64/991.91 c 976s|800000 |789644 | 0 | 0.0 | 329M|1543 | - |2463 |1139 | 0 | 0 | 0 | 35k| 0 | 1.900000e+02 | -- | Inf
1004.14/1004.42 c 989s|810000 |799495 | 0 | 0.0 | 334M|1543 | - |2463 |1105 | 0 | 0 | 0 | 36k| 0 | 1.910000e+02 | -- | Inf
1015.84/1016.13 c 1000s|820000 |809378 | 0 | 0.0 | 337M|1543 | - |2463 |1101 | 0 | 0 | 0 | 36k| 0 | 1.910000e+02 | -- | Inf
1028.14/1028.45 c 1012s|830000 |819193 | 0 | 0.0 | 342M|1543 | - |2463 |1142 | 0 | 0 | 0 | 37k| 0 | 1.920000e+02 | -- | Inf
1040.42/1040.74 c 1024s|840000 |829066 | 0 | 0.0 | 346M|1543 | - |2463 |1130 | 0 | 0 | 0 | 37k| 0 | 1.920000e+02 | -- | Inf
1052.52/1052.87 c 1036s|850000 |838957 | 0 | 0.0 | 349M|1543 | - |2463 |1073 | 0 | 0 | 0 | 38k| 0 | 1.920000e+02 | -- | Inf
1064.53/1064.87 c 1048s|860000 |848822 | 0 | 0.0 | 353M|1543 | - |2463 | 995 | 0 | 0 | 0 | 38k| 0 | 1.930000e+02 | -- | Inf
1076.62/1076.97 c 1060s|870000 |858704 | 0 | 0.0 | 357M|1543 | - |2463 |1061 | 0 | 0 | 0 | 38k| 0 | 1.930000e+02 | -- | Inf
1088.81/1089.12 c 1072s|880000 |868540 | 0 | 0.0 | 361M|1543 | - |2463 |1184 | 0 | 0 | 0 | 39k| 0 | 1.940000e+02 | -- | Inf
1100.51/1100.87 c 1084s|890000 |878431 | 0 | 0.0 | 365M|1543 | - |2463 |1217 | 0 | 0 | 0 | 39k| 0 | 1.940000e+02 | -- | Inf
1112.31/1112.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.31/1112.61 c 1095s|900000 |888303 | 0 | 0.0 | 369M|1543 | - |2463 |1263 | 0 | 0 | 0 | 40k| 0 | 1.940000e+02 | -- | Inf
1123.71/1124.03 c 1106s|910000 |898164 | 0 | 0.0 | 374M|1543 | - |2463 |1394 | 0 | 0 | 0 | 40k| 0 | 1.950000e+02 | -- | Inf
1135.51/1135.86 c 1118s|920000 |908039 | 0 | 0.0 | 377M|1543 | - |2463 |1281 | 0 | 0 | 0 | 41k| 0 | 1.950000e+02 | -- | Inf
1147.50/1147.83 c 1130s|930000 |917903 | 0 | 0.0 | 382M|1543 | - |2463 |1270 | 0 | 0 | 0 | 41k| 0 | 1.960000e+02 | -- | Inf
1159.20/1159.59 c 1141s|940000 |927766 | 0 | 0.0 | 386M|1543 | - |2463 |1389 | 0 | 0 | 0 | 42k| 0 | 1.960000e+02 | -- | Inf
1171.89/1172.20 c 1154s|950000 |937627 | 0 | 0.0 | 390M|1543 | - |2463 |1231 | 0 | 0 | 0 | 42k| 0 | 1.970000e+02 | -- | Inf
1183.99/1184.33 c 1166s|960000 |947514 | 0 | 0.0 | 394M|1543 | - |2463 |1355 | 0 | 0 | 0 | 43k| 0 | 1.970000e+02 | -- | Inf
1195.99/1196.34 c 1178s|970000 |957393 | 0 | 0.0 | 398M|1543 | - |2463 |1160 | 0 | 0 | 0 | 43k| 0 | 1.970000e+02 | -- | Inf
1208.28/1208.61 c 1190s|980000 |967251 | 0 | 0.0 | 402M|1543 | - |2463 |1263 | 0 | 0 | 0 | 44k| 0 | 1.980000e+02 | -- | Inf
1220.18/1220.52 c 1201s|990000 |977146 | 0 | 0.0 | 406M|1543 | - |2463 |1285 | 0 | 0 | 0 | 44k| 0 | 1.980000e+02 | -- | Inf
1232.08/1232.49 c 1213s| 1000k|987019 | 0 | 0.0 | 410M|1543 | - |2463 |1257 | 0 | 0 | 0 | 44k| 0 | 1.980000e+02 | -- | Inf
1244.27/1244.66 c 1225s| 1010k|996820 | 0 | 0.0 | 415M|1543 | - |2463 |1310 | 0 | 0 | 0 | 45k| 0 | 1.980000e+02 | -- | Inf
1256.68/1257.09 c 1237s| 1020k| 1006k| 0 | 0.0 | 418M|1543 | - |2463 |1208 | 0 | 0 | 0 | 45k| 0 | 1.990000e+02 | -- | Inf
1268.27/1268.61 c 1249s| 1030k| 1016k| 0 | 0.0 | 422M|1543 | - |2463 |1211 | 0 | 0 | 0 | 46k| 0 | 1.990000e+02 | -- | Inf
1279.97/1280.37 c 1260s| 1040k| 1026k| 0 | 0.0 | 426M|1543 | - |2463 |1248 | 0 | 0 | 0 | 46k| 0 | 1.990000e+02 | -- | Inf
1291.96/1292.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.96/1292.34 c 1272s| 1050k| 1036k| 0 | 0.0 | 430M|1543 | - |2463 |1214 | 0 | 0 | 0 | 47k| 0 | 1.990000e+02 | -- | Inf
1303.76/1304.16 c 1284s| 1060k| 1046k| 0 | 0.0 | 434M|1543 | - |2463 |1363 | 0 | 0 | 0 | 47k| 0 | 1.990000e+02 | -- | Inf
1315.95/1316.31 c 1296s| 1070k| 1056k| 0 | 0.0 | 438M|1543 | - |2463 |1129 | 0 | 0 | 0 | 47k| 0 | 2.000000e+02 | -- | Inf
1327.56/1327.90 c 1307s| 1080k| 1065k| 0 | 0.0 | 442M|1543 | - |2463 |1145 | 0 | 0 | 0 | 48k| 0 | 2.000000e+02 | -- | Inf
1339.25/1339.67 c 1319s| 1090k| 1075k| 0 | 0.0 | 446M|1543 | - |2463 |1133 | 0 | 0 | 0 | 48k| 0 | 2.000000e+02 | -- | Inf
1351.05/1351.43 c 1330s| 1100k| 1085k| 0 | 0.0 | 450M|1543 | - |2463 |1248 | 0 | 0 | 0 | 49k| 0 | 2.000000e+02 | -- | Inf
1362.95/1363.37 c 1342s| 1110k| 1095k| 0 | 0.0 | 454M|1543 | - |2463 |1285 | 0 | 0 | 0 | 49k| 0 | 2.000000e+02 | -- | Inf
1374.94/1375.33 c 1354s| 1120k| 1105k| 0 | 0.0 | 458M|1543 | - |2463 |1230 | 0 | 0 | 0 | 50k| 0 | 2.010000e+02 | -- | Inf
1386.94/1387.35 c 1366s| 1130k| 1115k| 0 | 0.0 | 462M|1543 | - |2463 |1239 | 0 | 0 | 0 | 50k| 0 | 2.010000e+02 | -- | Inf
1398.84/1399.28 c 1377s| 1140k| 1125k| 0 | 0.0 | 466M|1543 | - |2463 |1414 | 0 | 0 | 0 | 51k| 0 | 2.010000e+02 | -- | Inf
1411.03/1411.44 c 1389s| 1150k| 1135k| 0 | 0.0 | 470M|1543 | - |2463 |1332 | 0 | 0 | 0 | 51k| 0 | 2.020000e+02 | -- | Inf
1422.94/1423.30 c 1401s| 1160k| 1145k| 0 | 0.0 | 474M|1543 | - |2463 |1240 | 0 | 0 | 0 | 51k| 0 | 2.020000e+02 | -- | Inf
1434.33/1434.74 c 1412s| 1170k| 1154k| 0 | 0.0 | 478M|1543 | - |2463 |1293 | 0 | 0 | 0 | 52k| 0 | 2.020000e+02 | -- | Inf
1446.23/1446.68 c 1424s| 1180k| 1164k| 0 | 0.0 | 482M|1543 | - |2463 |1302 | 0 | 0 | 0 | 52k| 0 | 2.020000e+02 | -- | Inf
1457.92/1458.37 c 1435s| 1190k| 1174k| 0 | 0.0 | 486M|1543 | - |2463 |1305 | 0 | 0 | 0 | 53k| 0 | 2.030000e+02 | -- | Inf
1469.62/1470.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.62/1470.05 c 1447s| 1200k| 1184k| 0 | 0.0 | 490M|1543 | - |2463 |1250 | 0 | 0 | 0 | 53k| 0 | 2.030000e+02 | -- | Inf
1481.42/1481.80 c 1458s| 1210k| 1194k| 0 | 0.0 | 494M|1543 | - |2463 |1359 | 0 | 0 | 0 | 53k| 0 | 2.030000e+02 | -- | Inf
1493.11/1493.50 c 1470s| 1220k| 1204k| 0 | 0.0 | 498M|1543 | - |2463 |1474 | 0 | 0 | 0 | 54k| 0 | 2.030000e+02 | -- | Inf
1504.51/1504.93 c 1481s| 1230k| 1214k| 0 | 0.0 | 502M|1543 | - |2463 |1561 | 0 | 0 | 0 | 54k| 0 | 2.040000e+02 | -- | Inf
1516.42/1516.84 c 1493s| 1240k| 1224k| 0 | 0.0 | 506M|1543 | - |2463 |1367 | 0 | 0 | 0 | 55k| 0 | 2.040000e+02 | -- | Inf
1528.40/1528.89 c 1505s| 1250k| 1234k| 0 | 0.0 | 510M|1543 | - |2463 |1425 | 0 | 0 | 0 | 55k| 0 | 2.040000e+02 | -- | Inf
1540.71/1541.17 c 1517s| 1260k| 1243k| 0 | 0.0 | 514M|1543 | - |2463 |1555 | 0 | 0 | 0 | 56k| 0 | 2.040000e+02 | -- | Inf
1552.29/1552.71 c 1528s| 1270k| 1253k| 0 | 0.0 | 518M|1543 | - |2463 |1628 | 0 | 0 | 0 | 56k| 0 | 2.050000e+02 | -- | Inf
1563.99/1564.44 c 1540s| 1280k| 1263k| 0 | 0.0 | 522M|1543 | - |2463 |1471 | 0 | 0 | 0 | 56k| 0 | 2.050000e+02 | -- | Inf
1576.00/1576.43 c 1552s| 1290k| 1273k| 0 | 0.0 | 526M|1543 | - |2463 |1436 | 0 | 0 | 0 | 57k| 0 | 2.050000e+02 | -- | Inf
1587.79/1588.21 c 1563s| 1300k| 1283k| 0 | 0.0 | 530M|1543 | - |2463 |1470 | 0 | 0 | 0 | 57k| 0 | 2.050000e+02 | -- | Inf
1599.29/1599.77 c 1575s| 1310k| 1293k| 0 | 0.0 | 534M|1543 | - |2463 |1525 | 0 | 0 | 0 | 58k| 0 | 2.060000e+02 | -- | Inf
1611.18/1611.60 c 1586s| 1320k| 1303k| 0 | 0.0 | 538M|1543 | - |2463 |1632 | 0 | 0 | 0 | 58k| 0 | 2.060000e+02 | -- | Inf
1622.98/1623.40 c 1598s| 1330k| 1313k| 0 | 0.0 | 542M|1543 | - |2463 |1680 | 0 | 0 | 0 | 59k| 0 | 2.060000e+02 | -- | Inf
1634.78/1635.22 c 1609s| 1340k| 1322k| 0 | 0.0 | 546M|1543 | - |2463 |1655 | 0 | 0 | 0 | 59k| 0 | 2.070000e+02 | -- | Inf
1646.38/1646.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.38/1646.82 c 1621s| 1350k| 1332k| 0 | 0.0 | 550M|1543 | - |2463 |1668 | 0 | 0 | 0 | 60k| 0 | 2.070000e+02 | -- | Inf
1658.17/1658.66 c 1632s| 1360k| 1342k| 0 | 0.0 | 554M|1543 | - |2463 |1741 | 0 | 0 | 0 | 60k| 0 | 2.070000e+02 | -- | Inf
1669.97/1670.44 c 1644s| 1370k| 1352k| 0 | 0.0 | 558M|1543 | - |2463 |1674 | 0 | 0 | 0 | 60k| 0 | 2.080000e+02 | -- | Inf
1681.66/1682.13 c 1655s| 1380k| 1362k| 0 | 0.0 | 561M|1543 | - |2463 |1687 | 0 | 0 | 0 | 61k| 0 | 2.080000e+02 | -- | Inf
1693.46/1693.98 c 1667s| 1390k| 1372k| 0 | 0.0 | 565M|1543 | - |2463 |1686 | 0 | 0 | 0 | 61k| 0 | 2.080000e+02 | -- | Inf
1704.96/1705.48 c 1678s| 1400k| 1382k| 0 | 0.0 | 569M|1543 | - |2463 |1679 | 0 | 0 | 0 | 62k| 0 | 2.080000e+02 | -- | Inf
1716.66/1717.16 c 1690s| 1410k| 1391k| 0 | 0.0 | 573M|1543 | - |2463 |1696 | 0 | 0 | 0 | 62k| 0 | 2.090000e+02 | -- | Inf
1728.25/1728.70 c 1701s| 1420k| 1401k| 0 | 0.0 | 577M|1543 | - |2463 |1772 | 0 | 0 | 0 | 63k| 0 | 2.090000e+02 | -- | Inf
1740.04/1740.58 c 1713s| 1430k| 1411k| 0 | 0.0 | 581M|1543 | - |2463 |1944 | 0 | 0 | 0 | 63k| 0 | 2.090000e+02 | -- | Inf
1751.95/1752.42 c 1725s| 1440k| 1421k| 0 | 0.0 | 585M|1543 | - |2463 |1846 | 0 | 0 | 0 | 64k| 0 | 2.100000e+02 | -- | Inf
1763.55/1764.03 c 1736s| 1450k| 1431k| 0 | 0.0 | 589M|1543 | - |2463 |1946 | 0 | 0 | 0 | 64k| 0 | 2.100000e+02 | -- | Inf
1775.64/1776.10 c 1748s| 1460k| 1441k| 0 | 0.0 | 593M|1543 | - |2463 |1843 | 0 | 0 | 0 | 64k| 0 | 2.100000e+02 | -- | Inf
1787.34/1787.84 c 1760s| 1470k| 1451k| 0 | 0.0 | 597M|1543 | - |2463 |1672 | 0 | 0 | 0 | 65k| 0 | 2.110000e+02 | -- | Inf
1799.04/1799.57 c 1771s| 1480k| 1461k| 0 | 0.0 | 601M|1543 | - |2463 |1524 | 0 | 0 | 0 | 65k| 0 | 2.110000e+02 | -- | Inf
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1772.04
1800.04/1800.50 c Solving Nodes : 1480744
1800.04/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.50 c Dual Bound : +2.11000000000000e+02
1800.04/1800.50 c Gap : infinite
1800.04/1800.50 s UNKNOWN
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time : 1772.04
1800.04/1800.50 c Original Problem :
1800.04/1800.50 c Problem name : HOME/instance-2664590-1276352447.opb
1800.04/1800.50 c Variables : 2655 (2655 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.50 c Constraints : 146 initial, 146 maximal
1800.04/1800.50 c Presolved Problem :
1800.04/1800.50 c Problem name : t_HOME/instance-2664590-1276352447.opb
1800.04/1800.50 c Variables : 2463 (2463 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.50 c Constraints : 141 initial, 2371 maximal
1800.04/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.50 c probing : 1.91 51 0 0 0 0 0 0 0
1800.04/1800.50 c knapsack : 0.01 0 0 0 0 0 0 0 44
1800.04/1800.50 c setppc : 0.02 141 0 0 0 0 5 0 0
1800.04/1800.50 c linear : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.50 c root node : - 0 - - 0 - - - -
1800.04/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.50 c knapsack : 1 0 886429 0 704272 10 226952 0 0 0
1800.04/1800.50 c setppc : 139 0 1847190 0 1473286 10683 4412714 0 0 0
1800.04/1800.50 c linear : 1 0 1836508 0 1473286 131 2006 0 0 0
1800.04/1800.50 c logicor : 0+ 0 148431 0 0 460 46453 0 0 0
1800.04/1800.50 c countsols : 0 0 0 0 1473286 0 0 0 0 0
1800.04/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.50 c knapsack : 6.09 0.00 1.78 0.00 4.31
1800.04/1800.50 c setppc : 410.26 0.00 37.72 0.00 372.54
1800.04/1800.50 c linear : 652.31 0.00 651.16 0.00 1.15
1800.04/1800.50 c logicor : 4.28 0.00 4.28 0.00 0.00
1800.04/1800.50 c countsols : 0.58 0.00 0.00 0.00 0.58
1800.04/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.50 c vbounds : 0.93 2 0 0
1800.04/1800.50 c rootredcost : 1.00 0 0 0
1800.04/1800.50 c pseudoobj : 207.21 1844478 0 0
1800.04/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.50 c propagation : 18.61 11233 11232 120874 196.2 1769 60.5 -
1800.04/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.50 c applied globally : - - - 65622 81.8 - - -
1800.04/1800.50 c applied locally : - - - 308 336.8 - - -
1800.04/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.50 c redcost : 0.00 0 0 0 0 0
1800.04/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.50 c intobj : 0.00 0 0 0 0 0
1800.04/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.50 c gomory : 0.00 0 0 0 0 0
1800.04/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.50 c cmir : 0.00 0 0 0 0 0
1800.04/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.50 c clique : 0.00 0 0 0 0 0
1800.04/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.50 c mcf : 0.00 0 0 0 0 0
1800.04/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.50 c Pricers : Time Calls Vars
1800.04/1800.50 c problem variables: 0.00 0 0
1800.04/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.50 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.50 c inference : 405.04 1473286 0 0 0 0 2946572
1800.04/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.50 c random : 0.00 0 0 0 0 0 0
1800.04/1800.50 c Primal Heuristics : Time Calls Found
1800.04/1800.50 c LP solutions : 0.00 - 0
1800.04/1800.50 c pseudo solutions : 0.00 - 0
1800.04/1800.50 c oneopt : 0.60 0 0
1800.04/1800.50 c trivial : 0.00 2 0
1800.04/1800.50 c simplerounding : 0.00 0 0
1800.04/1800.50 c zirounding : 0.00 0 0
1800.04/1800.50 c rounding : 0.00 0 0
1800.04/1800.50 c shifting : 0.00 0 0
1800.04/1800.50 c intshifting : 0.00 0 0
1800.04/1800.50 c twoopt : 0.00 0 0
1800.04/1800.50 c fixandinfer : 0.00 0 0
1800.04/1800.50 c feaspump : 0.00 0 0
1800.04/1800.50 c coefdiving : 0.00 0 0
1800.04/1800.50 c pscostdiving : 0.00 0 0
1800.04/1800.50 c fracdiving : 0.00 0 0
1800.04/1800.50 c veclendiving : 0.00 0 0
1800.04/1800.51 c intdiving : 0.00 0 0
1800.04/1800.51 c actconsdiving : 0.00 0 0
1800.04/1800.51 c objpscostdiving : 0.00 0 0
1800.04/1800.51 c rootsoldiving : 0.00 0 0
1800.04/1800.51 c linesearchdiving : 0.00 0 0
1800.04/1800.51 c guideddiving : 0.00 0 0
1800.04/1800.51 c octane : 0.00 0 0
1800.04/1800.51 c rens : 0.00 0 0
1800.04/1800.51 c rins : 0.00 0 0
1800.04/1800.51 c localbranching : 0.00 0 0
1800.04/1800.51 c mutation : 0.00 0 0
1800.04/1800.51 c crossover : 0.00 0 0
1800.04/1800.51 c dins : 0.00 0 0
1800.04/1800.51 c undercover : 0.00 0 0
1800.04/1800.51 c nlp : 1.09 0 0
1800.04/1800.51 c trysol : 0.47 0 0
1800.04/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.51 c (at root node) : - 0 0 0.00 -
1800.04/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.51 c B&B Tree :
1800.04/1800.51 c number of runs : 1
1800.04/1800.51 c nodes : 1480744
1800.04/1800.51 c nodes (total) : 1480744
1800.04/1800.51 c nodes left : 1461836
1800.04/1800.51 c max depth : 1543
1800.04/1800.51 c max depth (total): 1543
1800.04/1800.51 c backtracks : 4079 (0.3%)
1800.04/1800.51 c delayed cutoffs : 3993
1800.04/1800.51 c repropagations : 191750 (322100 domain reductions, 3775 cutoffs)
1800.04/1800.51 c avg switch length: 2.99
1800.04/1800.51 c switching time : 33.93
1800.04/1800.51 c Solution :
1800.04/1800.51 c Solutions found : 0 (0 improvements)
1800.04/1800.51 c Primal Bound : -
1800.04/1800.51 c Dual Bound : +2.11000000000000e+02
1800.04/1800.51 c Gap : infinite
1800.04/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.51 c Root Iterations : 0