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-2663637-1276648749.opb>
0.00/0.01 c original problem has 616 variables (616 bin, 0 int, 0 impl, 0 cont) and 463 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.09/0.11 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 48 chg coeffs, 0 upgd conss, 2548 impls, 0 clqs
0.09/0.12 c (round 2) 23 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 8 upgd conss, 3892 impls, 0 clqs
0.09/0.12 c (round 3) 39 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 76 chg coeffs, 8 upgd conss, 5012 impls, 0 clqs
0.09/0.13 c (round 4) 55 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 90 chg coeffs, 8 upgd conss, 5908 impls, 0 clqs
0.09/0.13 c (round 5) 71 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 8 upgd conss, 6580 impls, 0 clqs
0.09/0.14 c (round 6) 87 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 8 upgd conss, 7028 impls, 0 clqs
0.09/0.14 c (round 7) 103 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 132 chg coeffs, 8 upgd conss, 7252 impls, 0 clqs
0.09/0.14 c (round 8) 119 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 146 chg coeffs, 8 upgd conss, 7252 impls, 0 clqs
0.09/0.17 c (0.1s) probing: 193/497 (38.8%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (9 rounds):
0.09/0.17 c 119 deleted vars, 98 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 146 changed coefficients
0.09/0.17 c 7280 implications, 0 cliques
0.09/0.17 c presolved problem has 497 variables (497 bin, 0 int, 0 impl, 0 cont) and 358 constraints
0.09/0.17 c 343 constraints of type <and>
0.09/0.17 c 7 constraints of type <linear>
0.09/0.17 c 8 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 2)
0.09/0.17 c Presolving Time: 0.09
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.99
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 1620
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c heuristics/undercover/freq = 0
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 2 | 0 | - |1619k| 0 | - | 497 | 358 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.69/2.73 c 2.4s| 10000 | 7840 | 0 | 0.0 |7395k| 289 | - | 497 | 609 | 0 | 0 | 0 |1409 | 0 | 1.000000e+00 | -- | Inf
5.40/5.45 c 4.9s| 20000 | 15096 | 0 | 0.0 | 12M| 289 | - | 497 | 963 | 0 | 0 | 0 |3231 | 0 | 1.000000e+00 | -- | Inf
8.80/8.82 c 8.0s| 30000 | 19939 | 0 | 0.0 | 17M| 289 | - | 497 | 689 | 0 | 0 | 0 |6167 | 0 | 1.000000e+00 | -- | Inf
11.59/11.63 c 10.5s| 40000 | 27222 | 0 | 0.0 | 22M| 289 | - | 497 | 902 | 0 | 0 | 0 |7910 | 0 | 1.000000e+00 | -- | Inf
14.39/14.47 c 13.1s| 50000 | 34440 | 0 | 0.0 | 27M| 289 | - | 497 | 864 | 0 | 0 | 0 |9696 | 0 | 1.000000e+00 | -- | Inf
17.38/17.40 c 15.8s| 60000 | 41489 | 0 | 0.0 | 32M| 289 | - | 497 | 939 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
20.39/20.40 c 18.5s| 70000 | 48351 | 0 | 0.0 | 37M| 289 | - | 497 | 949 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
23.29/23.39 c 21.3s| 80000 | 55399 | 0 | 0.0 | 42M| 289 | - | 497 | 938 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
26.29/26.37 c 24.0s| 90000 | 62573 | 0 | 0.0 | 47M| 289 | - | 497 |1058 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
29.38/29.45 c 26.9s|100000 | 69524 | 0 | 0.0 | 52M| 289 | - | 497 | 943 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
32.59/32.66 c 29.8s|110000 | 76247 | 0 | 0.0 | 57M| 289 | - | 497 |1113 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
35.78/35.85 c 32.7s|120000 | 82963 | 0 | 0.0 | 61M| 289 | - | 497 |1126 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
38.78/38.87 c 35.5s|130000 | 90037 | 0 | 0.0 | 67M| 289 | - | 497 | 992 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
41.98/42.00 c 38.4s|140000 | 96591 | 0 | 0.0 | 71M| 289 | - | 497 |1115 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
45.58/45.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.58/45.64 c 41.7s|150000 |102118 | 0 | 0.0 | 76M| 289 | - | 497 |1316 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
49.58/49.62 c 45.4s|160000 |106893 | 0 | 0.0 | 81M| 289 | - | 497 |1814 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
53.68/53.79 c 49.3s|170000 |111395 | 0 | 0.0 | 85M| 289 | - | 497 |2303 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | -- | Inf
58.08/58.10 c 53.4s|180000 |115629 | 0 | 0.0 | 89M| 289 | - | 497 |2761 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
62.48/62.56 c 57.5s|190000 |119641 | 0 | 0.0 | 92M| 289 | - | 497 |2495 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
65.47/65.50 c 60.2s|200000 |126573 | 0 | 0.0 | 97M| 289 | - | 497 | 840 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
68.38/68.50 c 63.0s|210000 |133806 | 0 | 0.0 | 103M| 289 | - | 497 |1272 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | -- | Inf
71.58/71.63 c 65.8s|220000 |140933 | 0 | 0.0 | 108M| 289 | - | 497 |1264 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
74.68/74.75 c 68.7s|230000 |148103 | 0 | 0.0 | 113M| 289 | - | 497 |1069 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
77.88/77.90 c 71.6s|240000 |154943 | 0 | 0.0 | 118M| 289 | - | 497 |1009 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
80.97/81.08 c 74.5s|250000 |161779 | 0 | 0.0 | 123M| 289 | - | 497 |1051 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | -- | Inf
84.27/84.31 c 77.5s|260000 |168466 | 0 | 0.0 | 127M| 289 | - | 497 |1040 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
87.47/87.58 c 80.5s|270000 |175075 | 0 | 0.0 | 132M| 289 | - | 497 |1034 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
90.87/90.93 c 83.6s|280000 |181546 | 0 | 0.0 | 137M| 289 | - | 497 |1075 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | -- | Inf
94.17/94.27 c 86.7s|290000 |187893 | 0 | 0.0 | 141M| 289 | - | 497 |1098 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
97.67/97.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.67/97.73 c 89.9s|300000 |194281 | 0 | 0.0 | 145M| 289 | - | 497 |1148 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
101.27/101.31 c 93.2s|310000 |200602 | 0 | 0.0 | 150M| 289 | - | 497 |1192 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
104.86/104.98 c 96.7s|320000 |206719 | 0 | 0.0 | 154M| 289 | - | 497 |1486 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
108.46/108.59 c 100s|330000 |212848 | 0 | 0.0 | 159M| 289 | - | 497 |1594 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | -- | Inf
112.27/112.35 c 104s|340000 |219058 | 0 | 0.0 | 163M| 289 | - | 497 |1372 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | -- | Inf
115.96/116.03 c 107s|350000 |225575 | 0 | 0.0 | 168M| 289 | - | 497 |1599 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | -- | Inf
119.77/119.86 c 111s|360000 |231601 | 0 | 0.0 | 172M| 289 | - | 497 |1944 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
123.76/123.87 c 114s|370000 |237736 | 0 | 0.0 | 176M| 289 | - | 497 |1862 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
127.56/127.65 c 118s|380000 |244264 | 0 | 0.0 | 181M| 289 | - | 497 |1724 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
131.26/131.35 c 121s|390000 |250607 | 0 | 0.0 | 185M| 289 | - | 497 |1717 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
135.05/135.15 c 125s|400000 |257143 | 0 | 0.0 | 190M| 289 | - | 497 |1468 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | -- | Inf
139.05/139.13 c 129s|410000 |263227 | 0 | 0.0 | 195M| 289 | - | 497 |2089 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
142.96/143.03 c 132s|420000 |269400 | 0 | 0.0 | 199M| 289 | - | 497 |1873 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
146.95/147.04 c 136s|430000 |275769 | 0 | 0.0 | 203M| 289 | - | 497 |1591 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
150.86/150.94 c 140s|440000 |282064 | 0 | 0.0 | 208M| 289 | - | 497 |2101 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | -- | Inf
154.75/154.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.75/154.80 c 143s|450000 |288546 | 0 | 0.0 | 212M| 289 | - | 497 |1899 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
158.64/158.78 c 147s|460000 |294949 | 0 | 0.0 | 217M| 289 | - | 497 |1688 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
162.66/162.75 c 151s|470000 |301223 | 0 | 0.0 | 221M| 289 | - | 497 |1965 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
166.54/166.68 c 154s|480000 |307738 | 0 | 0.0 | 226M| 289 | - | 497 |1399 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | -- | Inf
170.54/170.65 c 158s|490000 |314044 | 0 | 0.0 | 230M| 289 | - | 497 |1845 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | -- | Inf
174.34/174.48 c 162s|500000 |320490 | 0 | 0.0 | 235M| 289 | - | 497 |1714 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | -- | Inf
178.06/178.16 c 165s|510000 |327231 | 0 | 0.0 | 240M| 289 | - | 497 |1351 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
178.34/178.43 o 129
178.34/178.43 c * 165s|510797 |327724 | 0 | 0.0 | 240M| 289 | - | 497 |1392 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 1.290000e+02 | Large
181.94/182.00 c 169s|520000 |333512 | 0 | 0.0 | 244M| 289 | - | 497 |1528 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 1.290000e+02 | Large
185.44/185.59 c 172s|530000 |340185 | 0 | 0.0 | 249M| 289 | - | 497 |1396 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 1.290000e+02 | Large
189.24/189.38 c 176s|540000 |346741 | 0 | 0.0 | 254M| 289 | - | 497 |1279 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 1.290000e+02 | Large
193.04/193.18 c 179s|550000 |353063 | 0 | 0.0 | 258M| 289 | - | 497 |1429 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 1.290000e+02 | Large
196.64/196.73 c 182s|560000 |359794 | 0 | 0.0 | 263M| 289 | - | 497 |1202 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 1.290000e+02 | Large
200.54/200.65 c 186s|570000 |366044 | 0 | 0.0 | 267M| 289 | - | 497 |1398 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 1.290000e+02 | Large
204.45/204.52 c 190s|580000 |372211 | 0 | 0.0 | 272M| 289 | - | 497 |1403 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 1.290000e+02 | Large
208.23/208.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.23/208.36 c 193s|590000 |378526 | 0 | 0.0 | 276M| 289 | - | 497 |1625 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 1.290000e+02 | Large
212.24/212.35 c 197s|600000 |384733 | 0 | 0.0 | 281M| 289 | - | 497 |1142 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 1.290000e+02 | Large
216.13/216.21 c 201s|610000 |390675 | 0 | 0.0 | 285M| 289 | - | 497 |1370 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 1.290000e+02 | Large
220.14/220.23 c 204s|620000 |396639 | 0 | 0.0 | 289M| 289 | - | 497 |1418 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 1.290000e+02 | Large
224.03/224.19 c 208s|630000 |402692 | 0 | 0.0 | 294M| 289 | - | 497 |1304 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 1.290000e+02 | Large
228.13/228.24 c 212s|640000 |408520 | 0 | 0.0 | 298M| 289 | - | 497 |1475 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 1.290000e+02 | Large
232.12/232.27 c 216s|650000 |414410 | 0 | 0.0 | 303M| 289 | - | 497 |1409 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 1.290000e+02 | Large
236.22/236.31 c 219s|660000 |420331 | 0 | 0.0 | 307M| 289 | - | 497 |1553 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 1.290000e+02 | Large
240.41/240.58 c 223s|670000 |426151 | 0 | 0.0 | 312M| 289 | - | 497 |1551 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 1.290000e+02 | Large
244.42/244.59 c 227s|680000 |432232 | 0 | 0.0 | 316M| 289 | - | 497 |1552 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 1.290000e+02 | Large
248.52/248.64 c 231s|690000 |438394 | 0 | 0.0 | 320M| 289 | - | 497 | 912 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 1.290000e+02 | Large
252.72/252.85 c 235s|700000 |444098 | 0 | 0.0 | 324M| 289 | - | 497 | 710 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 1.290000e+02 | Large
256.82/256.97 c 239s|710000 |449752 | 0 | 0.0 | 328M| 289 | - | 497 | 651 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 1.290000e+02 | Large
260.82/260.96 c 242s|720000 |455755 | 0 | 0.0 | 332M| 289 | - | 497 | 879 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 1.290000e+02 | Large
264.81/264.98 c 246s|730000 |461418 | 0 | 0.0 | 337M| 289 | - | 497 |1454 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 1.290000e+02 | Large
268.91/269.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.91/269.04 c 250s|740000 |467311 | 0 | 0.0 | 341M| 289 | - | 497 |1054 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 1.290000e+02 | Large
273.11/273.20 c 254s|750000 |472850 | 0 | 0.0 | 345M| 289 | - | 497 |1578 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 1.290000e+02 | Large
277.12/277.28 c 257s|760000 |478673 | 0 | 0.0 | 349M| 289 | - | 497 |1355 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 1.290000e+02 | Large
279.32/279.43 o 33
279.32/279.43 c * 260s|765293 |481584 | 0 | 0.0 | 351M| 289 | - | 497 |1251 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
281.21/281.33 c 261s|770000 |484331 | 0 | 0.0 | 353M| 289 | - | 497 | 841 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
284.81/284.91 c 265s|780000 |490372 | 0 | 0.0 | 357M| 289 | - | 497 |1169 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
286.51/286.63 o 17
286.51/286.63 c * 266s|784820 |493413 | 0 | 0.0 | 359M| 289 | - | 497 |1038 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
288.31/288.47 c 268s|790000 |496639 | 0 | 0.0 | 362M| 289 | - | 497 |1342 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
291.91/292.02 c 271s|800000 |502894 | 0 | 0.0 | 367M| 289 | - | 497 |1135 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
295.50/295.69 c 275s|810000 |508934 | 0 | 0.0 | 371M| 289 | - | 497 |1300 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
299.30/299.42 c 278s|820000 |514924 | 0 | 0.0 | 376M| 289 | - | 497 |1504 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
303.00/303.17 c 282s|830000 |520901 | 0 | 0.0 | 380M| 289 | - | 497 |1459 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
306.71/306.81 c 285s|840000 |526820 | 0 | 0.0 | 384M| 289 | - | 497 |1249 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
310.30/310.48 c 288s|850000 |532918 | 0 | 0.0 | 389M| 289 | - | 497 |1359 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
314.30/314.48 c 292s|860000 |538345 | 0 | 0.0 | 393M| 289 | - | 497 |1347 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
318.30/318.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.30/318.44 c 296s|870000 |543714 | 0 | 0.0 | 398M| 289 | - | 497 |1302 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
322.30/322.47 c 299s|880000 |549019 | 0 | 0.0 | 402M| 289 | - | 497 |1213 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
326.50/326.60 c 303s|890000 |554064 | 0 | 0.0 | 406M| 289 | - | 497 |1100 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
330.70/330.84 c 307s|900000 |558809 | 0 | 0.0 | 411M| 289 | - | 497 |1491 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
334.99/335.14 c 311s|910000 |563751 | 0 | 0.0 | 415M| 289 | - | 497 |1446 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
339.30/339.43 c 315s|920000 |568667 | 0 | 0.0 | 419M| 289 | - | 497 |1395 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
343.69/343.86 c 319s|930000 |573460 | 0 | 0.0 | 423M| 289 | - | 497 |1639 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
348.29/348.46 c 324s|940000 |578003 | 0 | 0.0 | 427M| 289 | - | 497 |1884 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
353.09/353.28 c 328s|950000 |582629 | 0 | 0.0 | 431M| 289 | - | 497 |2066 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
357.99/358.12 c 333s|960000 |586943 | 0 | 0.0 | 435M| 289 | - | 497 |2001 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
362.80/362.90 c 337s|970000 |591253 | 0 | 0.0 | 439M| 289 | - | 497 |2181 | 0 | 0 | 0 | 260k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
367.38/367.58 c 342s|980000 |595850 | 0 | 0.0 | 443M| 289 | - | 497 |2290 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
371.48/371.66 c 346s|990000 |601655 | 0 | 0.0 | 448M| 289 | - | 497 |2435 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
375.98/376.16 c 350s| 1000k|606354 | 0 | 0.0 | 452M| 289 | - | 497 |2736 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
380.58/380.73 c 354s| 1010k|611311 | 0 | 0.0 | 457M| 289 | - | 497 |2576 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
385.57/385.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.57/385.73 c 359s| 1020k|615096 | 0 | 0.0 | 460M| 289 | - | 497 |2970 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
390.87/391.03 c 364s| 1030k|618598 | 0 | 0.0 | 463M| 289 | - | 497 |3040 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
395.88/396.09 c 369s| 1040k|622807 | 0 | 0.0 | 467M| 289 | - | 497 |3093 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
400.67/400.81 c 373s| 1050k|627752 | 0 | 0.0 | 472M| 289 | - | 497 |2996 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
404.68/404.89 c 377s| 1060k|633856 | 0 | 0.0 | 477M| 289 | - | 497 |2937 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
409.08/409.23 c 381s| 1070k|639106 | 0 | 0.0 | 481M| 289 | - | 497 |2800 | 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
411.97/412.19 o 3
411.97/412.19 c * 384s| 1075k|630291 | 0 | 0.0 | 475M| 289 | - | 497 |2154 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
420.17/420.34 c
420.17/420.34 c SCIP Status : problem is solved [optimal solution found]
420.17/420.34 c Solving Time (sec) : 391.08
420.17/420.34 c Solving Nodes : 1075733
420.17/420.34 c Primal Bound : +3.00000000000000e+00 (4 solutions)
420.17/420.34 c Dual Bound : +3.00000000000000e+00
420.17/420.34 c Gap : 0.00 %
420.17/420.35 s OPTIMUM FOUND
420.17/420.35 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 x153 -x112 -x111 -x110 -x109 -x108 -x107
420.17/420.35 v -x106 x105 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x144 -x143 -x142 -x141
420.17/420.35 v -x140 x139 -x138 -x137 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x88 -x87 -x86
420.17/420.35 v -x85 -x84 x83 -x82 x81 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x120 -x119
420.17/420.35 v -x118 -x117 -x116 -x115 x114 -x113 -x72 -x71 -x70 x69 -x68 -x67 x66 x65 x64 x63 x62 -x61 x60 x59 x58 x57 x56 -x55 -x54 -x53 -x52
420.17/420.35 v -x51 -x50 x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 x40 x39 -x38 -x37 x36 x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 x27 -x26
420.17/420.35 v x25 -x24 -x23 -x22 x21 x20 -x19 x18 x17 x16 -x15 x14 x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
420.17/420.35 c SCIP Status : problem is solved [optimal solution found]
420.17/420.35 c Solving Time : 391.08
420.17/420.35 c Original Problem :
420.17/420.35 c Problem name : HOME/instance-2663637-1276648749.opb
420.17/420.35 c Variables : 616 (616 binary, 0 integer, 0 implicit integer, 0 continuous)
420.17/420.35 c Constraints : 463 initial, 463 maximal
420.17/420.35 c Presolved Problem :
420.17/420.35 c Problem name : t_HOME/instance-2663637-1276648749.opb
420.17/420.35 c Variables : 497 (497 binary, 0 integer, 0 implicit integer, 0 continuous)
420.17/420.35 c Constraints : 358 initial, 3191 maximal
420.17/420.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
420.17/420.35 c trivial : 0.00 0 0 0 0 0 0 0 0
420.17/420.35 c dualfix : 0.00 0 0 0 0 0 0 0 0
420.17/420.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
420.17/420.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
420.17/420.35 c implics : 0.00 0 0 0 0 0 0 0 0
420.17/420.35 c probing : 0.03 0 0 0 0 0 0 0 0
420.17/420.35 c and : 0.06 14 98 0 0 0 98 0 98
420.17/420.35 c linear : 0.00 1 6 0 0 0 0 0 48
420.17/420.35 c logicor : 0.00 0 0 0 0 0 0 0 0
420.17/420.35 c root node : - 64 - - 64 - - - -
420.17/420.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
420.17/420.35 c integral : 0 0 0 0 0 0 0 0 0 0
420.17/420.35 c and : 343 0 2667523 0 922213 30449 4411063 0 0 0
420.17/420.35 c linear : 7 0 2637072 0 922213 216862 1935301 0 0 0
420.17/420.35 c logicor : 8+ 0 1135056 0 922203 8110 299425 0 0 0
420.17/420.35 c countsols : 0 0 0 0 922216 0 0 0 0 0
420.17/420.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
420.17/420.35 c integral : 0.00 0.00 0.00 0.00 0.00
420.17/420.35 c and : 48.60 0.00 32.79 0.00 15.81
420.17/420.35 c linear : 111.35 0.00 110.34 0.00 1.01
420.17/420.35 c logicor : 36.61 0.00 34.47 0.00 2.14
420.17/420.35 c countsols : 0.38 0.00 0.00 0.00 0.38
420.17/420.35 c Propagators : Time Calls Cutoffs DomReds
420.17/420.35 c vbounds : 1.19 2 0 0
420.17/420.35 c rootredcost : 1.28 0 0 0
420.17/420.35 c pseudoobj : 3.44 2667134 7 2001
420.17/420.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
420.17/420.35 c propagation : 64.34 255421 254502 3055864 58.3 19314 55.8 -
420.17/420.35 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
420.17/420.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
420.17/420.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
420.17/420.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
420.17/420.35 c applied globally : - - - 274871 26.6 - - -
420.17/420.35 c applied locally : - - - 23772 57.7 - - -
420.17/420.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
420.17/420.35 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
420.17/420.35 c redcost : 0.00 0 0 0 0 0
420.17/420.35 c impliedbounds : 0.00 0 0 0 0 0
420.17/420.35 c intobj : 0.00 0 0 0 0 0
420.17/420.35 c cgmip : 0.00 0 0 0 0 0
420.17/420.35 c gomory : 0.00 0 0 0 0 0
420.17/420.35 c strongcg : 0.00 0 0 0 0 0
420.17/420.35 c cmir : 0.00 0 0 0 0 0
420.17/420.35 c flowcover : 0.00 0 0 0 0 0
420.17/420.35 c clique : 0.00 0 0 0 0 0
420.17/420.35 c zerohalf : 0.00 0 0 0 0 0
420.17/420.35 c mcf : 0.00 0 0 0 0 0
420.17/420.35 c rapidlearning : 0.00 0 0 0 0 0
420.17/420.35 c Pricers : Time Calls Vars
420.17/420.35 c problem variables: 0.00 0 0
420.17/420.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
420.17/420.35 c relpscost : 0.00 0 0 0 0 0 0
420.17/420.35 c pscost : 0.00 0 0 0 0 0 0
420.17/420.35 c inference : 52.09 922212 0 0 0 0 1844424
420.17/420.35 c mostinf : 0.00 0 0 0 0 0 0
420.17/420.35 c leastinf : 0.00 0 0 0 0 0 0
420.17/420.35 c fullstrong : 0.00 0 0 0 0 0 0
420.17/420.35 c allfullstrong : 0.00 0 0 0 0 0 0
420.17/420.35 c random : 0.00 0 0 0 0 0 0
420.17/420.35 c Primal Heuristics : Time Calls Found
420.17/420.35 c LP solutions : 0.00 - 0
420.17/420.35 c pseudo solutions : 0.12 - 4
420.17/420.35 c oneopt : 0.57 0 0
420.17/420.35 c trivial : 0.00 2 0
420.17/420.35 c simplerounding : 0.00 0 0
420.17/420.35 c zirounding : 0.00 0 0
420.17/420.35 c rounding : 0.00 0 0
420.17/420.35 c shifting : 0.00 0 0
420.17/420.35 c intshifting : 0.00 0 0
420.17/420.35 c twoopt : 0.00 0 0
420.17/420.35 c fixandinfer : 0.00 0 0
420.17/420.35 c feaspump : 0.00 0 0
420.17/420.35 c coefdiving : 0.00 0 0
420.17/420.35 c pscostdiving : 0.00 0 0
420.17/420.35 c fracdiving : 0.00 0 0
420.17/420.35 c veclendiving : 0.00 0 0
420.17/420.35 c intdiving : 0.00 0 0
420.17/420.35 c actconsdiving : 0.00 0 0
420.17/420.35 c objpscostdiving : 0.00 0 0
420.17/420.35 c rootsoldiving : 0.00 0 0
420.17/420.35 c linesearchdiving : 0.00 0 0
420.17/420.35 c guideddiving : 0.00 0 0
420.17/420.35 c octane : 0.00 0 0
420.17/420.35 c rens : 0.00 0 0
420.17/420.35 c rins : 0.00 0 0
420.17/420.35 c localbranching : 0.00 0 0
420.17/420.35 c mutation : 0.00 0 0
420.17/420.35 c crossover : 0.00 0 0
420.17/420.35 c dins : 0.00 0 0
420.17/420.35 c undercover : 0.00 0 0
420.17/420.35 c nlp : 0.49 0 0
420.17/420.35 c trysol : 0.65 0 0
420.17/420.35 c LP : Time Calls Iterations Iter/call Iter/sec
420.17/420.35 c primal LP : 0.00 0 0 0.00 -
420.17/420.35 c dual LP : 0.00 0 0 0.00 -
420.17/420.35 c lex dual LP : 0.00 0 0 0.00 -
420.17/420.35 c barrier LP : 0.00 0 0 0.00 -
420.17/420.35 c diving/probing LP: 0.00 0 0 0.00 -
420.17/420.35 c strong branching : 0.00 0 0 0.00 -
420.17/420.35 c (at root node) : - 0 0 0.00 -
420.17/420.35 c conflict analysis: 0.00 0 0 0.00 -
420.17/420.35 c B&B Tree :
420.17/420.35 c number of runs : 1
420.17/420.35 c nodes : 1075733
420.17/420.35 c nodes (total) : 1075733
420.17/420.35 c nodes left : 0
420.17/420.35 c max depth : 289
420.17/420.35 c max depth (total): 289
420.17/420.35 c backtracks : 110148 (10.2%)
420.17/420.35 c delayed cutoffs : 757147
420.17/420.35 c repropagations : 310440 (990927 domain reductions, 101911 cutoffs)
420.17/420.35 c avg switch length: 7.03
420.17/420.35 c switching time : 88.33
420.17/420.35 c Solution :
420.17/420.35 c Solutions found : 4 (4 improvements)
420.17/420.35 c First Solution : +1.29000000000000e+02 (in run 1, after 510797 nodes, 165.32 seconds, depth 120, found by <relaxation>)
420.17/420.35 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1075733 nodes, 383.61 seconds, depth 184, found by <relaxation>)
420.17/420.35 c Dual Bound : +3.00000000000000e+00
420.17/420.35 c Gap : 0.00 %
420.17/420.35 c Root Dual Bound : +1.00000000000000e+00
420.17/420.35 c Root Iterations : 0
420.26/420.41 c Time complete: 420.28.