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-2663648-1276649317.opb>
0.00/0.01 c original problem has 648 variables (648 bin, 0 int, 0 impl, 0 cont) and 499 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.13 c (round 1) 6 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 49 chg coeffs, 0 upgd conss, 2544 impls, 0 clqs
0.09/0.13 c (round 2) 24 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 65 chg coeffs, 7 upgd conss, 3984 impls, 0 clqs
0.09/0.14 c (round 3) 42 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 81 chg coeffs, 7 upgd conss, 5136 impls, 0 clqs
0.09/0.14 c (round 4) 60 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 97 chg coeffs, 7 upgd conss, 6000 impls, 0 clqs
0.09/0.15 c (round 5) 78 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 113 chg coeffs, 7 upgd conss, 6576 impls, 0 clqs
0.09/0.15 c (round 6) 96 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 129 chg coeffs, 7 upgd conss, 6864 impls, 0 clqs
0.09/0.15 c (round 7) 114 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 145 chg coeffs, 7 upgd conss, 6864 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 190/534 (35.6%) - 0 fixings, 0 aggregations, 12 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (8 rounds):
0.09/0.18 c 114 deleted vars, 96 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 145 changed coefficients
0.09/0.18 c 6888 implications, 0 cliques
0.09/0.18 c presolved problem has 534 variables (534 bin, 0 int, 0 impl, 0 cont) and 397 constraints
0.09/0.18 c 384 constraints of type <and>
0.09/0.18 c 6 constraints of type <linear>
0.09/0.18 c 7 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 2)
0.09/0.18 c Presolving Time: 0.09
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1800
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 1620
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c heuristics/undercover/freq = 0
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 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.18 c 0.1s| 1 | 2 | 0 | - |1704k| 0 | - | 534 | 397 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.09/3.14 c 2.8s| 10000 | 6864 | 0 | 0.0 |7244k| 345 | - | 534 | 976 | 0 | 0 | 0 |2054 | 0 | 1.000000e+00 | -- | Inf
6.39/6.47 c 6.0s| 20000 | 13629 | 0 | 0.0 | 12M| 345 | - | 534 |1241 | 0 | 0 | 0 |4120 | 0 | 1.000000e+00 | -- | Inf
9.69/9.77 c 9.0s| 30000 | 20155 | 0 | 0.0 | 17M| 345 | - | 534 |1482 | 0 | 0 | 0 |6212 | 0 | 1.000000e+00 | -- | Inf
13.29/13.35 c 12.3s| 40000 | 26141 | 0 | 0.0 | 22M| 345 | - | 534 |1164 | 0 | 0 | 0 |8521 | 0 | 1.000000e+00 | -- | Inf
16.49/16.55 c 15.2s| 50000 | 32925 | 0 | 0.0 | 27M| 345 | - | 534 |1037 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
20.08/20.14 c 18.6s| 60000 | 39014 | 0 | 0.0 | 32M| 345 | - | 534 |1373 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
23.38/23.44 c 21.6s| 70000 | 46287 | 0 | 0.0 | 37M| 345 | - | 534 |1551 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
27.39/27.41 c 25.4s| 80000 | 52568 | 0 | 0.0 | 42M| 345 | - | 534 |1641 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
31.08/31.12 c 28.8s| 90000 | 59219 | 0 | 0.0 | 46M| 345 | - | 534 |1656 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
34.97/35.02 c 32.5s|100000 | 65559 | 0 | 0.0 | 51M| 345 | - | 534 |1600 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
39.17/39.20 c 36.4s|110000 | 71488 | 0 | 0.0 | 56M| 345 | - | 534 |1729 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
43.47/43.56 c 40.5s|120000 | 77102 | 0 | 0.0 | 60M| 345 | - | 534 |1973 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
48.06/48.10 c 44.8s|130000 | 82232 | 0 | 0.0 | 65M| 345 | - | 534 |2069 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | -- | Inf
52.36/52.43 c 48.8s|140000 | 87603 | 0 | 0.0 | 69M| 345 | - | 534 |2203 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
56.86/56.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.86/56.90 c 53.0s|150000 | 92643 | 0 | 0.0 | 74M| 345 | - | 534 |2560 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
58.47/58.51 o 19
58.47/58.51 c *54.6s|153569 | 94313 | 0 | 0.0 | 75M| 345 | - | 534 |2658 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
61.46/61.52 c 57.4s|160000 | 97365 | 0 | 0.0 | 79M| 345 | - | 534 |2645 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
65.96/66.05 c 61.7s|170000 |102073 | 0 | 0.0 | 84M| 345 | - | 534 |2518 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
70.36/70.44 c 65.8s|180000 |106510 | 0 | 0.0 | 88M| 345 | - | 534 |2257 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
74.85/74.97 c 70.0s|190000 |111073 | 0 | 0.0 | 92M| 345 | - | 534 |1835 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
79.25/79.31 c 74.1s|200000 |115958 | 0 | 0.0 | 97M| 345 | - | 534 |1849 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
83.75/83.81 c 78.3s|210000 |120453 | 0 | 0.0 | 102M| 345 | - | 534 |1867 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
87.96/88.05 c 82.3s|220000 |125915 | 0 | 0.0 | 106M| 345 | - | 534 | 710 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
90.84/90.95 c 84.9s|230000 |134083 | 0 | 0.0 | 112M| 345 | - | 534 | 657 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
93.74/93.88 c 87.6s|240000 |141929 | 0 | 0.0 | 118M| 345 | - | 534 | 706 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
97.05/97.15 c 90.6s|250000 |148771 | 0 | 0.0 | 124M| 345 | - | 534 | 686 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
100.54/100.69 c 93.9s|260000 |155059 | 0 | 0.0 | 130M| 345 | - | 534 |1260 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
104.14/104.23 c 97.2s|270000 |161785 | 0 | 0.0 | 136M| 345 | - | 534 |1188 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
107.44/107.59 c 100s|280000 |168887 | 0 | 0.0 | 142M| 345 | - | 534 |1119 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
110.84/110.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.84/110.93 c 103s|290000 |176169 | 0 | 0.0 | 148M| 345 | - | 534 |1235 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
114.24/114.35 c 107s|300000 |183282 | 0 | 0.0 | 153M| 345 | - | 534 |1289 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
117.64/117.75 c 110s|310000 |190234 | 0 | 0.0 | 158M| 345 | - | 534 |1349 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
121.24/121.36 c 113s|320000 |196915 | 0 | 0.0 | 163M| 345 | - | 534 |1475 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
125.03/125.19 c 117s|330000 |203356 | 0 | 0.0 | 169M| 345 | - | 534 |1840 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
129.14/129.29 c 120s|340000 |209602 | 0 | 0.0 | 173M| 345 | - | 534 |2146 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
133.13/133.23 c 124s|350000 |216548 | 0 | 0.0 | 179M| 345 | - | 534 |2266 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
136.62/136.75 c 127s|360000 |224032 | 0 | 0.0 | 184M| 345 | - | 534 |2271 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
140.03/140.20 c 131s|370000 |231566 | 0 | 0.0 | 190M| 345 | - | 534 |2312 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
143.73/143.88 c 134s|380000 |238810 | 0 | 0.0 | 195M| 345 | - | 534 |2433 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
147.63/147.77 c 138s|390000 |245779 | 0 | 0.0 | 200M| 345 | - | 534 |2546 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
151.23/151.38 c 141s|400000 |253134 | 0 | 0.0 | 206M| 345 | - | 534 |2475 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
155.03/155.16 c 145s|410000 |260243 | 0 | 0.0 | 211M| 345 | - | 534 |2487 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
159.43/159.57 c 149s|420000 |266609 | 0 | 0.0 | 216M| 345 | - | 534 |2701 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
164.32/164.46 c 153s|430000 |272390 | 0 | 0.0 | 220M| 345 | - | 534 |2896 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
169.52/169.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.52/169.68 c 158s|440000 |277992 | 0 | 0.0 | 225M| 345 | - | 534 |2881 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
174.92/175.09 c 164s|450000 |283367 | 0 | 0.0 | 229M| 345 | - | 534 |2826 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
180.11/180.24 c 168s|460000 |288779 | 0 | 0.0 | 233M| 345 | - | 534 |2670 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
184.91/185.02 c 173s|470000 |294639 | 0 | 0.0 | 237M| 345 | - | 534 |2744 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
189.41/189.54 c 177s|480000 |300988 | 0 | 0.0 | 241M| 345 | - | 534 |1507 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
193.42/193.51 c 181s|490000 |307421 | 0 | 0.0 | 246M| 345 | - | 534 |1743 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
197.50/197.69 c 185s|500000 |313620 | 0 | 0.0 | 250M| 345 | - | 534 |1797 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
201.22/201.34 c 188s|510000 |320379 | 0 | 0.0 | 255M| 345 | - | 534 |1772 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
204.60/204.77 c 191s|520000 |327440 | 0 | 0.0 | 259M| 345 | - | 534 |1747 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
208.20/208.39 c 195s|530000 |334228 | 0 | 0.0 | 264M| 345 | - | 534 |1681 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
211.90/212.06 c 198s|540000 |340949 | 0 | 0.0 | 269M| 345 | - | 534 |1795 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
216.00/216.15 c 202s|550000 |347302 | 0 | 0.0 | 273M| 345 | - | 534 |1715 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
219.90/220.02 c 206s|560000 |353748 | 0 | 0.0 | 278M| 345 | - | 534 |1776 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
223.89/224.09 c 209s|570000 |359999 | 0 | 0.0 | 282M| 345 | - | 534 |1772 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
228.29/228.40 c 214s|580000 |365941 | 0 | 0.0 | 286M| 345 | - | 534 |1758 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
232.60/232.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.60/232.73 c 218s|590000 |371900 | 0 | 0.0 | 291M| 345 | - | 534 |1971 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
236.89/237.01 c 222s|600000 |377837 | 0 | 0.0 | 295M| 345 | - | 534 |2159 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
241.69/241.83 c 226s|610000 |383387 | 0 | 0.0 | 299M| 345 | - | 534 |2137 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
246.29/246.41 c 230s|620000 |389137 | 0 | 0.0 | 304M| 345 | - | 534 |2046 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
250.88/251.08 c 235s|630000 |394842 | 0 | 0.0 | 308M| 345 | - | 534 |2049 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
255.48/255.67 c 239s|640000 |400625 | 0 | 0.0 | 312M| 345 | - | 534 |1964 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
260.38/260.54 c 244s|650000 |405968 | 0 | 0.0 | 316M| 345 | - | 534 |2252 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
265.28/265.47 c 248s|660000 |411303 | 0 | 0.0 | 320M| 345 | - | 534 |2293 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
270.38/270.54 c 253s|670000 |416361 | 0 | 0.0 | 324M| 345 | - | 534 |2468 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
275.77/275.90 c 258s|680000 |421140 | 0 | 0.0 | 328M| 345 | - | 534 |2427 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
281.17/281.30 c 263s|690000 |425805 | 0 | 0.0 | 332M| 345 | - | 534 |2184 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
286.47/286.63 c 268s|700000 |430406 | 0 | 0.0 | 336M| 345 | - | 534 |2341 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
291.87/292.01 c 274s|710000 |434956 | 0 | 0.0 | 340M| 345 | - | 534 |2522 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
297.46/297.70 c 279s|720000 |439004 | 0 | 0.0 | 343M| 345 | - | 534 |2425 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
303.16/303.32 c 284s|730000 |443009 | 0 | 0.0 | 347M| 345 | - | 534 |2428 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
308.46/308.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.46/308.68 c 289s|740000 |447328 | 0 | 0.0 | 351M| 345 | - | 534 |2452 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
313.66/313.85 c 294s|750000 |451986 | 0 | 0.0 | 355M| 345 | - | 534 |2654 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
318.95/319.10 c 299s|760000 |456731 | 0 | 0.0 | 358M| 345 | - | 534 |2736 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
323.95/324.17 c 304s|770000 |461655 | 0 | 0.0 | 362M| 345 | - | 534 |2711 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
329.25/329.45 c 309s|780000 |466321 | 0 | 0.0 | 366M| 345 | - | 534 |2794 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
334.45/334.68 c 314s|790000 |471191 | 0 | 0.0 | 371M| 345 | - | 534 |2868 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
339.55/339.70 c 319s|800000 |476247 | 0 | 0.0 | 375M| 345 | - | 534 |3029 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
344.54/344.72 c 323s|810000 |480978 | 0 | 0.0 | 379M| 345 | - | 534 |2953 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
349.55/349.75 c 328s|820000 |485701 | 0 | 0.0 | 383M| 345 | - | 534 |3006 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
354.84/355.00 c 333s|830000 |490345 | 0 | 0.0 | 387M| 345 | - | 534 |3010 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
360.04/360.25 c 338s|840000 |494976 | 0 | 0.0 | 390M| 345 | - | 534 |2798 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
365.23/365.45 c 343s|850000 |499323 | 0 | 0.0 | 394M| 345 | - | 534 |2516 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
370.33/370.58 c 348s|860000 |503389 | 0 | 0.0 | 398M| 345 | - | 534 |2456 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
375.33/375.56 c 353s|870000 |507440 | 0 | 0.0 | 401M| 345 | - | 534 |2496 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
380.23/380.45 c 357s|880000 |511939 | 0 | 0.0 | 405M| 345 | - | 534 |2252 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
385.03/385.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.03/385.28 c 362s|890000 |516363 | 0 | 0.0 | 409M| 345 | - | 534 |1919 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
390.33/390.54 c 367s|900000 |519628 | 0 | 0.0 | 412M| 345 | - | 534 |1863 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
395.43/395.61 c 372s|910000 |523074 | 0 | 0.0 | 415M| 345 | - | 534 |1722 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
400.42/400.66 c 376s|920000 |526752 | 0 | 0.0 | 418M| 345 | - | 534 |1646 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
406.22/406.41 c 382s|930000 |529361 | 0 | 0.0 | 421M| 345 | - | 534 |1626 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
412.02/412.20 c 387s|940000 |532293 | 0 | 0.0 | 424M| 345 | - | 534 |1634 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
417.32/417.54 c 393s|950000 |536159 | 0 | 0.0 | 428M| 345 | - | 534 |1651 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
422.62/422.82 c 398s|960000 |539986 | 0 | 0.0 | 432M| 345 | - | 534 |1670 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
428.01/428.29 c 403s|970000 |543459 | 0 | 0.0 | 436M| 345 | - | 534 |1641 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
433.51/433.73 c 408s|980000 |546419 | 0 | 0.0 | 440M| 345 | - | 534 |1656 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
439.51/439.71 c 414s|990000 |548927 | 0 | 0.0 | 443M| 345 | - | 534 |1707 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
445.32/445.53 c 419s| 1000k|551767 | 0 | 0.0 | 447M| 345 | - | 534 |1715 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
450.91/451.18 c 424s| 1010k|554609 | 0 | 0.0 | 451M| 345 | - | 534 |1756 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
456.80/457.04 c 430s| 1020k|557560 | 0 | 0.0 | 454M| 345 | - | 534 |1450 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
459.81/460.03 c 433s| 1030k|565499 | 0 | 0.0 | 460M| 345 | - | 534 | 787 | 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
462.80/463.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.80/463.05 c 435s| 1040k|573666 | 0 | 0.0 | 466M| 345 | - | 534 | 820 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
466.00/466.25 c 438s| 1050k|581465 | 0 | 0.0 | 471M| 345 | - | 534 | 753 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
469.20/469.47 c 441s| 1060k|589266 | 0 | 0.0 | 477M| 345 | - | 534 | 821 | 0 | 0 | 0 | 303k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
472.39/472.66 c 444s| 1070k|596980 | 0 | 0.0 | 483M| 345 | - | 534 | 925 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
475.69/475.91 c 447s| 1080k|604630 | 0 | 0.0 | 489M| 345 | - | 534 | 939 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
478.99/479.26 c 450s| 1090k|612204 | 0 | 0.0 | 494M| 345 | - | 534 | 938 | 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
482.39/482.62 c 454s| 1100k|619575 | 0 | 0.0 | 500M| 345 | - | 534 |1080 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
485.90/486.19 c 457s| 1110k|626789 | 0 | 0.0 | 505M| 345 | - | 534 | 959 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
489.39/489.62 c 460s| 1120k|634102 | 0 | 0.0 | 511M| 345 | - | 534 | 920 | 0 | 0 | 0 | 313k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
492.99/493.27 c 463s| 1130k|641126 | 0 | 0.0 | 516M| 345 | - | 534 | 924 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
496.69/496.96 c 467s| 1140k|647975 | 0 | 0.0 | 522M| 345 | - | 534 |1087 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
500.20/500.49 c 470s| 1150k|655000 | 0 | 0.0 | 527M| 345 | - | 534 |1010 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
503.88/504.15 c 474s| 1160k|661760 | 0 | 0.0 | 532M| 345 | - | 534 |1084 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
507.89/508.11 c 477s| 1170k|668287 | 0 | 0.0 | 537M| 345 | - | 534 |1126 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
511.68/511.99 c 481s| 1180k|674898 | 0 | 0.0 | 542M| 345 | - | 534 |1010 | 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
515.78/516.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.78/516.00 c 485s| 1190k|681310 | 0 | 0.0 | 547M| 345 | - | 534 | 939 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
519.78/520.03 c 488s| 1200k|687721 | 0 | 0.0 | 552M| 345 | - | 534 |1001 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
523.87/524.13 c 492s| 1210k|694120 | 0 | 0.0 | 557M| 345 | - | 534 | 924 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
527.88/528.10 c 496s| 1220k|700512 | 0 | 0.0 | 563M| 345 | - | 534 |1105 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
531.77/532.06 c 500s| 1230k|707010 | 0 | 0.0 | 568M| 345 | - | 534 | 812 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
535.77/536.00 c 503s| 1240k|713385 | 0 | 0.0 | 573M| 345 | - | 534 | 929 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
539.78/540.04 c 507s| 1250k|719711 | 0 | 0.0 | 578M| 345 | - | 534 |1151 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
543.87/544.19 c 511s| 1260k|725966 | 0 | 0.0 | 583M| 345 | - | 534 |1020 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
548.17/548.44 c 515s| 1270k|732192 | 0 | 0.0 | 588M| 345 | - | 534 |1356 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
552.46/552.76 c 519s| 1280k|738442 | 0 | 0.0 | 594M| 345 | - | 534 |1346 | 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
554.56/554.81 o 3
554.56/554.81 c * 521s| 1283k|544743 | 0 | 0.0 | 445M| 345 | - | 534 |1264 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
562.16/562.43 c
562.16/562.43 c SCIP Status : problem is solved [optimal solution found]
562.16/562.43 c Solving Time (sec) : 528.01
562.16/562.43 c Solving Nodes : 1283208
562.16/562.43 c Primal Bound : +3.00000000000000e+00 (2 solutions)
562.16/562.43 c Dual Bound : +3.00000000000000e+00
562.16/562.43 c Gap : 0.00 %
562.16/562.43 s OPTIMUM FOUND
562.16/562.43 v -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x108 -x107 -x106 -x105
562.16/562.43 v x104 -x103 -x102 -x101 x100 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91
562.16/562.43 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 x82 -x126 -x125 -x124 -x123 -x122
562.16/562.43 v -x121 -x120 -x119 -x118 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109
562.16/562.43 v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 x62 x61 -x60 x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 x46
562.16/562.43 v -x45 -x44 -x43 x42 x41 x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20
562.16/562.43 v x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
562.16/562.43 c SCIP Status : problem is solved [optimal solution found]
562.16/562.43 c Solving Time : 528.01
562.16/562.43 c Original Problem :
562.16/562.43 c Problem name : HOME/instance-2663648-1276649317.opb
562.16/562.43 c Variables : 648 (648 binary, 0 integer, 0 implicit integer, 0 continuous)
562.16/562.43 c Constraints : 499 initial, 499 maximal
562.16/562.43 c Presolved Problem :
562.16/562.43 c Problem name : t_HOME/instance-2663648-1276649317.opb
562.16/562.43 c Variables : 534 (534 binary, 0 integer, 0 implicit integer, 0 continuous)
562.16/562.43 c Constraints : 397 initial, 3103 maximal
562.16/562.43 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
562.16/562.43 c trivial : 0.00 0 0 0 0 0 0 0 0
562.16/562.43 c dualfix : 0.00 0 0 0 0 0 0 0 0
562.16/562.43 c boundshift : 0.00 0 0 0 0 0 0 0 0
562.16/562.43 c inttobinary : 0.00 0 0 0 0 0 0 0 0
562.16/562.43 c implics : 0.00 0 0 0 0 0 0 0 0
562.16/562.43 c probing : 0.03 0 0 0 0 0 0 0 0
562.16/562.43 c and : 0.04 12 96 0 0 0 96 0 96
562.16/562.43 c linear : 0.01 1 5 0 0 0 0 0 49
562.16/562.43 c logicor : 0.00 0 0 0 0 0 0 0 0
562.16/562.43 c root node : - 81 - - 81 - - - -
562.16/562.43 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
562.16/562.43 c integral : 0 0 0 0 0 0 0 0 0 0
562.16/562.43 c and : 384 0 3160405 0 1092160 26151 5653141 0 0 0
562.16/562.43 c linear : 6 0 3134252 0 1092160 284938 2484885 0 0 0
562.16/562.43 c logicor : 7+ 0 1204305 0 1092020 9835 364369 0 0 0
562.16/562.43 c countsols : 0 0 0 0 1092162 0 0 0 0 0
562.16/562.43 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
562.16/562.43 c integral : 0.00 0.00 0.00 0.00 0.00
562.16/562.43 c and : 57.54 0.00 40.28 0.00 17.26
562.16/562.43 c linear : 194.98 0.00 193.84 0.00 1.14
562.16/562.43 c logicor : 41.54 0.00 39.69 0.00 1.85
562.16/562.43 c countsols : 0.37 0.00 0.00 0.00 0.37
562.16/562.43 c Propagators : Time Calls Cutoffs DomReds
562.16/562.43 c vbounds : 1.67 2 0 0
562.16/562.43 c rootredcost : 1.35 0 0 0
562.16/562.43 c pseudoobj : 4.50 3160021 6 16337
562.16/562.43 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
562.16/562.43 c propagation : 124.92 320913 319689 4387655 78.2 14252 70.3 -
562.16/562.43 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
562.16/562.43 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
562.16/562.43 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
562.16/562.43 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
562.16/562.43 c applied globally : - - - 252551 30.2 - - -
562.16/562.43 c applied locally : - - - 97201 70.6 - - -
562.16/562.43 c Separators : Time Calls Cutoffs DomReds Cuts Conss
562.16/562.43 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
562.16/562.43 c redcost : 0.00 0 0 0 0 0
562.16/562.43 c impliedbounds : 0.00 0 0 0 0 0
562.16/562.43 c intobj : 0.00 0 0 0 0 0
562.16/562.43 c cgmip : 0.00 0 0 0 0 0
562.16/562.43 c gomory : 0.00 0 0 0 0 0
562.16/562.43 c strongcg : 0.00 0 0 0 0 0
562.16/562.43 c cmir : 0.00 0 0 0 0 0
562.16/562.43 c flowcover : 0.00 0 0 0 0 0
562.16/562.43 c clique : 0.00 0 0 0 0 0
562.16/562.43 c zerohalf : 0.00 0 0 0 0 0
562.16/562.43 c mcf : 0.00 0 0 0 0 0
562.16/562.43 c rapidlearning : 0.00 0 0 0 0 0
562.16/562.43 c Pricers : Time Calls Vars
562.16/562.43 c problem variables: 0.00 0 0
562.16/562.43 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
562.16/562.43 c relpscost : 0.00 0 0 0 0 0 0
562.16/562.43 c pscost : 0.00 0 0 0 0 0 0
562.16/562.43 c inference : 53.52 1092160 0 0 0 0 2184320
562.16/562.43 c mostinf : 0.00 0 0 0 0 0 0
562.16/562.43 c leastinf : 0.00 0 0 0 0 0 0
562.16/562.43 c fullstrong : 0.00 0 0 0 0 0 0
562.16/562.43 c allfullstrong : 0.00 0 0 0 0 0 0
562.16/562.43 c random : 0.00 0 0 0 0 0 0
562.16/562.43 c Primal Heuristics : Time Calls Found
562.16/562.43 c LP solutions : 0.00 - 0
562.16/562.43 c pseudo solutions : 0.63 - 2
562.16/562.43 c oneopt : 0.84 0 0
562.16/562.43 c trivial : 0.00 2 0
562.16/562.43 c simplerounding : 0.00 0 0
562.16/562.43 c zirounding : 0.00 0 0
562.16/562.43 c rounding : 0.00 0 0
562.16/562.43 c shifting : 0.00 0 0
562.16/562.43 c intshifting : 0.00 0 0
562.16/562.43 c twoopt : 0.00 0 0
562.16/562.43 c fixandinfer : 0.00 0 0
562.16/562.43 c feaspump : 0.00 0 0
562.16/562.43 c coefdiving : 0.00 0 0
562.16/562.43 c pscostdiving : 0.00 0 0
562.16/562.43 c fracdiving : 0.00 0 0
562.16/562.43 c veclendiving : 0.00 0 0
562.16/562.43 c intdiving : 0.00 0 0
562.16/562.43 c actconsdiving : 0.00 0 0
562.16/562.43 c objpscostdiving : 0.00 0 0
562.16/562.43 c rootsoldiving : 0.00 0 0
562.16/562.43 c linesearchdiving : 0.00 0 0
562.16/562.43 c guideddiving : 0.00 0 0
562.16/562.43 c octane : 0.00 0 0
562.16/562.43 c rens : 0.00 0 0
562.16/562.43 c rins : 0.00 0 0
562.16/562.43 c localbranching : 0.00 0 0
562.16/562.43 c mutation : 0.00 0 0
562.16/562.43 c crossover : 0.00 0 0
562.16/562.43 c dins : 0.00 0 0
562.16/562.43 c undercover : 0.00 0 0
562.16/562.43 c nlp : 0.62 0 0
562.16/562.43 c trysol : 0.38 0 0
562.16/562.43 c LP : Time Calls Iterations Iter/call Iter/sec
562.16/562.43 c primal LP : 0.00 0 0 0.00 -
562.16/562.43 c dual LP : 0.00 0 0 0.00 -
562.16/562.43 c lex dual LP : 0.00 0 0 0.00 -
562.16/562.43 c barrier LP : 0.00 0 0 0.00 -
562.16/562.43 c diving/probing LP: 0.00 0 0 0.00 -
562.16/562.43 c strong branching : 0.00 0 0 0.00 -
562.16/562.43 c (at root node) : - 0 0 0.00 -
562.16/562.43 c conflict analysis: 0.00 0 0 0.00 -
562.16/562.43 c B&B Tree :
562.16/562.43 c number of runs : 1
562.16/562.43 c nodes : 1283208
562.16/562.43 c nodes (total) : 1283208
562.16/562.43 c nodes left : 0
562.16/562.43 c max depth : 345
562.16/562.43 c max depth (total): 345
562.16/562.43 c backtracks : 140522 (11.0%)
562.16/562.43 c delayed cutoffs : 705352
562.16/562.43 c repropagations : 364752 (1344340 domain reductions, 129884 cutoffs)
562.16/562.43 c avg switch length: 7.46
562.16/562.43 c switching time : 116.53
562.16/562.43 c Solution :
562.16/562.43 c Solutions found : 2 (2 improvements)
562.16/562.43 c First Solution : +1.90000000000000e+01 (in run 1, after 153569 nodes, 54.57 seconds, depth 176, found by <relaxation>)
562.16/562.43 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1283207 nodes, 520.42 seconds, depth 91, found by <relaxation>)
562.16/562.43 c Dual Bound : +3.00000000000000e+00
562.16/562.43 c Gap : 0.00 %
562.16/562.43 c Root Dual Bound : +1.00000000000000e+00
562.16/562.43 c Root Iterations : 0
562.16/562.49 c Time complete: 562.25.