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-2663695-1276650337.opb>
0.00/0.01 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 595 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.17 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 60 chg coeffs, 0 upgd conss, 3600 impls, 0 clqs
0.09/0.18 c (round 2) 25 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 10 upgd conss, 5392 impls, 0 clqs
0.09/0.18 c (round 3) 41 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 10 upgd conss, 6960 impls, 0 clqs
0.09/0.19 c (round 4) 57 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8304 impls, 0 clqs
0.09/0.19 c (round 5) 73 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 116 chg coeffs, 10 upgd conss, 9424 impls, 0 clqs
0.19/0.20 c (round 6) 89 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 130 chg coeffs, 10 upgd conss, 10320 impls, 0 clqs
0.19/0.20 c (round 7) 105 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 144 chg coeffs, 10 upgd conss, 10992 impls, 0 clqs
0.19/0.21 c (round 8) 121 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 10 upgd conss, 11440 impls, 0 clqs
0.19/0.21 c (round 9) 137 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 172 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.21 c (round 10) 153 del vars, 126 del conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 221/639 (34.6%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (11 rounds):
0.19/0.25 c 153 deleted vars, 126 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 186 changed coefficients
0.19/0.25 c 11700 implications, 0 cliques
0.19/0.25 c presolved problem has 639 variables (639 bin, 0 int, 0 impl, 0 cont) and 460 constraints
0.19/0.25 c 441 constraints of type <and>
0.19/0.25 c 9 constraints of type <linear>
0.19/0.25 c 10 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 2)
0.19/0.25 c Presolving Time: 0.12
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 1.2.1.2
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1800
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 1620
0.19/0.25 c
0.19/0.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.25 c lp/solvefreq = -1
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c heuristics/undercover/freq = 0
0.19/0.25 c
0.19/0.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c separating/rapidlearning/freq = 0
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.25 c
0.19/0.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.25 c 0.1s| 1 | 2 | 0 | - |2073k| 0 | - | 639 | 460 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.09/3.18 c 2.8s| 10000 | 7960 | 0 | 0.0 |8085k| 409 | - | 639 | 712 | 0 | 0 | 0 |1480 | 0 | 1.000000e+00 | -- | Inf
5.89/5.99 c 5.4s| 20000 | 16195 | 0 | 0.0 | 13M| 409 | - | 639 | 786 | 0 | 0 | 0 |2806 | 0 | 1.000000e+00 | -- | Inf
8.89/8.92 c 8.1s| 30000 | 24114 | 0 | 0.0 | 19M| 409 | - | 639 | 749 | 0 | 0 | 0 |4377 | 0 | 1.000000e+00 | -- | Inf
12.00/12.04 c 11.0s| 40000 | 31697 | 0 | 0.0 | 24M| 409 | - | 639 | 983 | 0 | 0 | 0 |6426 | 0 | 1.000000e+00 | -- | Inf
15.18/15.30 c 14.0s| 50000 | 39269 | 0 | 0.0 | 30M| 409 | - | 639 |1197 | 0 | 0 | 0 |8342 | 0 | 1.000000e+00 | -- | Inf
18.09/18.15 c 16.6s| 60000 | 47330 | 0 | 0.0 | 36M| 409 | - | 639 |1289 | 0 | 0 | 0 |9793 | 0 | 1.000000e+00 | -- | Inf
21.38/21.49 c 19.7s| 70000 | 54274 | 0 | 0.0 | 41M| 409 | - | 639 |1446 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
25.79/25.82 c 23.8s| 80000 | 58559 | 0 | 0.0 | 46M| 409 | - | 639 |1489 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
28.59/28.63 c 26.3s| 90000 | 66908 | 0 | 0.0 | 51M| 409 | - | 639 | 825 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
31.48/31.55 c 29.0s|100000 | 75123 | 0 | 0.0 | 57M| 409 | - | 639 | 871 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
34.38/34.45 c 31.7s|110000 | 83313 | 0 | 0.0 | 62M| 409 | - | 639 | 818 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
37.39/37.41 c 34.4s|120000 | 91410 | 0 | 0.0 | 68M| 409 | - | 639 | 882 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
40.48/40.51 c 37.2s|130000 | 99363 | 0 | 0.0 | 74M| 409 | - | 639 | 885 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
43.68/43.71 c 40.2s|140000 |107152 | 0 | 0.0 | 79M| 409 | - | 639 | 892 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
46.88/46.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.88/46.94 c 43.1s|150000 |114839 | 0 | 0.0 | 84M| 409 | - | 639 | 935 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
50.18/50.22 c 46.2s|160000 |122534 | 0 | 0.0 | 90M| 409 | - | 639 | 908 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
53.47/53.57 c 49.3s|170000 |129930 | 0 | 0.0 | 95M| 409 | - | 639 |1155 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
56.87/56.93 c 52.4s|180000 |137501 | 0 | 0.0 | 101M| 409 | - | 639 |1028 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
60.28/60.31 c 55.5s|190000 |144924 | 0 | 0.0 | 106M| 409 | - | 639 | 973 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
63.78/63.88 c 58.8s|200000 |151746 | 0 | 0.0 | 111M| 409 | - | 639 |1244 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | -- | Inf
67.37/67.41 c 62.1s|210000 |158905 | 0 | 0.0 | 116M| 409 | - | 639 |1135 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
70.97/71.01 c 65.5s|220000 |165899 | 0 | 0.0 | 121M| 409 | - | 639 |1404 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | -- | Inf
74.47/74.56 c 68.8s|230000 |173075 | 0 | 0.0 | 126M| 409 | - | 639 |1310 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | -- | Inf
78.08/78.14 c 72.1s|240000 |180236 | 0 | 0.0 | 131M| 409 | - | 639 |1441 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
81.57/81.61 c 75.3s|250000 |187611 | 0 | 0.0 | 136M| 409 | - | 639 |1129 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | -- | Inf
84.97/85.06 c 78.5s|260000 |194895 | 0 | 0.0 | 142M| 409 | - | 639 |1335 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
88.46/88.53 c 81.8s|270000 |202284 | 0 | 0.0 | 147M| 409 | - | 639 |1164 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
92.17/92.27 c 85.2s|280000 |209205 | 0 | 0.0 | 152M| 409 | - | 639 |1548 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
95.76/95.80 c 88.5s|290000 |216535 | 0 | 0.0 | 157M| 409 | - | 639 |1332 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
99.36/99.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.36/99.49 c 92.0s|300000 |223526 | 0 | 0.0 | 162M| 409 | - | 639 |1444 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
103.17/103.29 c 95.5s|310000 |230439 | 0 | 0.0 | 167M| 409 | - | 639 |1262 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | -- | Inf
106.96/107.05 c 99.0s|320000 |237317 | 0 | 0.0 | 172M| 409 | - | 639 |1496 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
110.66/110.76 c 102s|330000 |244346 | 0 | 0.0 | 177M| 409 | - | 639 |1340 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
114.56/114.62 c 106s|340000 |251066 | 0 | 0.0 | 182M| 409 | - | 639 |1493 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
118.36/118.45 c 110s|350000 |257936 | 0 | 0.0 | 187M| 409 | - | 639 |1494 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
122.46/122.56 c 114s|360000 |264388 | 0 | 0.0 | 192M| 409 | - | 639 |1446 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
126.66/126.73 c 117s|370000 |270754 | 0 | 0.0 | 197M| 409 | - | 639 |1404 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
130.86/130.99 c 121s|380000 |277088 | 0 | 0.0 | 202M| 409 | - | 639 |1614 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
135.05/135.14 c 125s|390000 |283562 | 0 | 0.0 | 207M| 409 | - | 639 |1721 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | -- | Inf
139.05/139.18 c 129s|400000 |290212 | 0 | 0.0 | 212M| 409 | - | 639 |1722 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
143.05/143.17 c 133s|410000 |297013 | 0 | 0.0 | 217M| 409 | - | 639 |1656 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
147.26/147.32 c 137s|420000 |303612 | 0 | 0.0 | 222M| 409 | - | 639 |1890 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
151.35/151.41 c 141s|430000 |310416 | 0 | 0.0 | 227M| 409 | - | 639 |1924 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
155.25/155.36 c 144s|440000 |317309 | 0 | 0.0 | 232M| 409 | - | 639 |2015 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
159.15/159.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.15/159.26 c 148s|450000 |324345 | 0 | 0.0 | 237M| 409 | - | 639 |1980 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
163.24/163.30 c 152s|460000 |331121 | 0 | 0.0 | 242M| 409 | - | 639 |2112 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
166.95/167.08 c 155s|470000 |338265 | 0 | 0.0 | 248M| 409 | - | 639 |2149 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
170.55/170.65 c 159s|480000 |345721 | 0 | 0.0 | 253M| 409 | - | 639 |2038 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
174.04/174.10 c 162s|490000 |353237 | 0 | 0.0 | 258M| 409 | - | 639 |1973 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
177.64/177.70 c 165s|500000 |360438 | 0 | 0.0 | 264M| 409 | - | 639 |2087 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
181.24/181.32 c 169s|510000 |367681 | 0 | 0.0 | 269M| 409 | - | 639 |2047 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
184.94/185.03 c 172s|520000 |374594 | 0 | 0.0 | 275M| 409 | - | 639 |2269 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
188.24/188.38 o 137
188.24/188.38 c * 175s|528714 |380507 | 0 | 0.0 | 279M| 409 | - | 639 |2423 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 1.370000e+02 | Large
188.84/188.90 c 176s|530000 |381322 | 0 | 0.0 | 280M| 409 | - | 639 |2462 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 1.370000e+02 | Large
192.54/192.67 c 179s|540000 |388162 | 0 | 0.0 | 285M| 409 | - | 639 |2606 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 1.370000e+02 | Large
196.44/196.50 c 183s|550000 |394972 | 0 | 0.0 | 290M| 409 | - | 639 |2600 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 1.370000e+02 | Large
200.04/200.18 c 186s|560000 |402162 | 0 | 0.0 | 295M| 409 | - | 639 |2532 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 1.370000e+02 | Large
203.93/204.01 c 190s|570000 |409080 | 0 | 0.0 | 300M| 409 | - | 639 |2610 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 1.370000e+02 | Large
207.64/207.79 c 193s|580000 |415958 | 0 | 0.0 | 306M| 409 | - | 639 |2508 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 1.370000e+02 | Large
211.53/211.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.53/211.68 c 197s|590000 |422645 | 0 | 0.0 | 311M| 409 | - | 639 |2681 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 1.370000e+02 | Large
215.54/215.69 c 201s|600000 |429235 | 0 | 0.0 | 316M| 409 | - | 639 |2722 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 1.370000e+02 | Large
219.53/219.64 c 204s|610000 |435931 | 0 | 0.0 | 321M| 409 | - | 639 |2699 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 1.370000e+02 | Large
223.83/223.96 c 208s|620000 |441936 | 0 | 0.0 | 326M| 409 | - | 639 |2798 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 1.370000e+02 | Large
228.23/228.36 c 212s|630000 |447691 | 0 | 0.0 | 331M| 409 | - | 639 |2890 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 1.370000e+02 | Large
233.13/233.25 c 217s|640000 |452668 | 0 | 0.0 | 335M| 409 | - | 639 |2902 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 1.370000e+02 | Large
238.43/238.55 c 222s|650000 |456635 | 0 | 0.0 | 339M| 409 | - | 639 |2671 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 1.370000e+02 | Large
243.13/243.29 c 227s|660000 |460806 | 0 | 0.0 | 343M| 409 | - | 639 |2908 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 1.370000e+02 | Large
248.23/248.35 c 231s|670000 |464507 | 0 | 0.0 | 346M| 409 | - | 639 |2842 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 1.370000e+02 | Large
252.02/252.12 c 235s|680000 |470254 | 0 | 0.0 | 350M| 409 | - | 639 |1080 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 1.370000e+02 | Large
255.04/255.19 c 238s|690000 |478420 | 0 | 0.0 | 355M| 409 | - | 639 |1066 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 1.370000e+02 | Large
258.22/258.38 c 241s|700000 |486233 | 0 | 0.0 | 361M| 409 | - | 639 | 944 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 1.370000e+02 | Large
261.73/261.81 c 244s|710000 |493477 | 0 | 0.0 | 366M| 409 | - | 639 |1045 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 1.370000e+02 | Large
264.93/265.10 c 247s|720000 |500941 | 0 | 0.0 | 371M| 409 | - | 639 |1032 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 1.370000e+02 | Large
267.92/268.03 o 3
267.92/268.03 c * 250s|727749 |460954 | 0 | 0.0 | 344M| 409 | - | 639 |1156 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
347.10/347.22 c
347.10/347.22 c SCIP Status : problem is solved [optimal solution found]
347.10/347.22 c Solving Time (sec) : 327.96
347.10/347.22 c Solving Nodes : 727750
347.10/347.22 c Primal Bound : +3.00000000000000e+00 (2 solutions)
347.10/347.22 c Dual Bound : +3.00000000000000e+00
347.10/347.22 c Gap : 0.00 %
347.10/347.22 s OPTIMUM FOUND
347.10/347.22 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x144 -x143 x142 -x141 -x140 -x139
347.10/347.22 v -x138 x137 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x136 -x135 -x134 -x133 -x132 -x131 x130 x129 -x192 -x191 -x190
347.10/347.22 v -x189 -x188 -x187 -x186 -x185 -x128 -x127 -x126 -x125 -x124 x123 x122 x121 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x120
347.10/347.22 v -x119 -x118 -x117 -x116 -x115 -x114 x113 -x176 -x175 -x174 -x173 x172 x171 x170 -x169 -x112 -x111 -x110 -x109 -x108 -x107
347.10/347.22 v x106 x105 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x104 -x103 -x102 x101 -x100 -x99 -x98 x97 -x160 -x159 -x158 -x157
347.10/347.22 v -x156 -x155 x154 -x153 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x88 -x87 -x86
347.10/347.22 v -x85 x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x72 -x71 -x70 -x69 x68 -x67 x66 x65 -x64 -x63 x62 -x61 -x60 x59
347.10/347.22 v -x58 x57 -x56 -x55 -x54 -x53 -x52 x51 x50 x49 x48 -x47 x46 -x45 x44 -x43 x42 x41 x40 x39 -x38 x37 -x36 -x35 x34 x33 -x32 -x31
347.10/347.22 v -x30 x29 -x28 -x27 -x26 x25 -x24 -x23 x22 x21 x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3
347.10/347.22 v x2 x1
347.10/347.22 c SCIP Status : problem is solved [optimal solution found]
347.10/347.22 c Solving Time : 327.96
347.10/347.22 c Original Problem :
347.10/347.22 c Problem name : HOME/instance-2663695-1276650337.opb
347.10/347.22 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
347.10/347.22 c Constraints : 595 initial, 595 maximal
347.10/347.22 c Presolved Problem :
347.10/347.22 c Problem name : t_HOME/instance-2663695-1276650337.opb
347.10/347.22 c Variables : 639 (639 binary, 0 integer, 0 implicit integer, 0 continuous)
347.10/347.22 c Constraints : 460 initial, 3008 maximal
347.10/347.22 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
347.10/347.22 c trivial : 0.00 0 0 0 0 0 0 0 0
347.10/347.22 c dualfix : 0.00 0 0 0 0 0 0 0 0
347.10/347.22 c boundshift : 0.00 0 0 0 0 0 0 0 0
347.10/347.22 c inttobinary : 0.00 0 0 0 0 0 0 0 0
347.10/347.22 c implics : 0.00 0 0 0 0 0 0 0 0
347.10/347.22 c probing : 0.03 0 0 0 0 0 0 0 0
347.10/347.22 c and : 0.07 18 126 0 0 0 126 0 126
347.10/347.22 c linear : 0.00 1 8 0 0 0 0 0 60
347.10/347.22 c logicor : 0.00 0 0 0 0 0 0 0 0
347.10/347.22 c root node : - 64 - - 64 - - - -
347.10/347.22 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
347.10/347.22 c integral : 0 0 0 0 0 0 0 0 0 0
347.10/347.22 c and : 441 0 1717491 0 647999 19483 3219920 0 0 0
347.10/347.22 c linear : 9 0 1698007 0 647999 104451 1291995 0 0 0
347.10/347.22 c logicor : 10+ 0 717289 0 647992 5914 196244 0 0 0
347.10/347.22 c countsols : 0 0 0 0 648001 0 0 0 0 0
347.10/347.22 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
347.10/347.22 c integral : 0.00 0.00 0.00 0.00 0.00
347.10/347.22 c and : 40.62 0.00 25.76 0.00 14.86
347.10/347.22 c linear : 66.28 0.00 65.67 0.00 0.61
347.10/347.22 c logicor : 18.10 0.00 16.40 0.00 1.70
347.10/347.22 c countsols : 0.28 0.00 0.00 0.00 0.28
347.10/347.22 c Propagators : Time Calls Cutoffs DomReds
347.10/347.22 c vbounds : 0.58 2 0 0
347.10/347.22 c rootredcost : 0.86 0 0 0
347.10/347.22 c pseudoobj : 2.11 1717038 2 26
347.10/347.22 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
347.10/347.22 c propagation : 36.82 129850 129398 1613417 62.6 9420 56.6 -
347.10/347.22 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
347.10/347.22 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
347.10/347.22 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
347.10/347.22 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
347.10/347.22 c applied globally : - - - 167343 33.8 - - -
347.10/347.22 c applied locally : - - - 3868 79.5 - - -
347.10/347.22 c Separators : Time Calls Cutoffs DomReds Cuts Conss
347.10/347.22 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
347.10/347.22 c redcost : 0.00 0 0 0 0 0
347.10/347.22 c impliedbounds : 0.00 0 0 0 0 0
347.10/347.22 c intobj : 0.00 0 0 0 0 0
347.10/347.22 c cgmip : 0.00 0 0 0 0 0
347.10/347.22 c gomory : 0.00 0 0 0 0 0
347.10/347.22 c strongcg : 0.00 0 0 0 0 0
347.10/347.22 c cmir : 0.00 0 0 0 0 0
347.10/347.22 c flowcover : 0.00 0 0 0 0 0
347.10/347.22 c clique : 0.00 0 0 0 0 0
347.10/347.22 c zerohalf : 0.00 0 0 0 0 0
347.10/347.22 c mcf : 0.00 0 0 0 0 0
347.10/347.22 c rapidlearning : 0.00 0 0 0 0 0
347.10/347.22 c Pricers : Time Calls Vars
347.10/347.22 c problem variables: 0.00 0 0
347.10/347.22 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
347.10/347.22 c relpscost : 0.00 0 0 0 0 0 0
347.10/347.22 c pscost : 0.00 0 0 0 0 0 0
347.10/347.22 c inference : 47.00 647999 0 0 0 0 1295998
347.10/347.22 c mostinf : 0.00 0 0 0 0 0 0
347.10/347.22 c leastinf : 0.00 0 0 0 0 0 0
347.10/347.22 c fullstrong : 0.00 0 0 0 0 0 0
347.10/347.22 c allfullstrong : 0.00 0 0 0 0 0 0
347.10/347.22 c random : 0.00 0 0 0 0 0 0
347.10/347.22 c Primal Heuristics : Time Calls Found
347.10/347.22 c LP solutions : 0.00 - 0
347.10/347.22 c pseudo solutions : 0.15 - 2
347.10/347.22 c oneopt : 0.43 0 0
347.10/347.22 c trivial : 0.00 2 0
347.10/347.22 c simplerounding : 0.00 0 0
347.10/347.22 c zirounding : 0.00 0 0
347.10/347.22 c rounding : 0.00 0 0
347.10/347.22 c shifting : 0.00 0 0
347.10/347.22 c intshifting : 0.00 0 0
347.10/347.22 c twoopt : 0.00 0 0
347.10/347.22 c fixandinfer : 0.00 0 0
347.10/347.22 c feaspump : 0.00 0 0
347.10/347.22 c coefdiving : 0.00 0 0
347.10/347.22 c pscostdiving : 0.00 0 0
347.10/347.22 c fracdiving : 0.00 0 0
347.10/347.22 c veclendiving : 0.00 0 0
347.10/347.22 c intdiving : 0.00 0 0
347.10/347.22 c actconsdiving : 0.00 0 0
347.10/347.22 c objpscostdiving : 0.00 0 0
347.10/347.22 c rootsoldiving : 0.00 0 0
347.10/347.22 c linesearchdiving : 0.00 0 0
347.10/347.22 c guideddiving : 0.00 0 0
347.10/347.22 c octane : 0.00 0 0
347.10/347.22 c rens : 0.00 0 0
347.10/347.22 c rins : 0.00 0 0
347.10/347.22 c localbranching : 0.00 0 0
347.10/347.22 c mutation : 0.00 0 0
347.10/347.22 c crossover : 0.00 0 0
347.10/347.22 c dins : 0.00 0 0
347.10/347.22 c undercover : 0.00 0 0
347.10/347.22 c nlp : 0.30 0 0
347.10/347.22 c trysol : 0.19 0 0
347.10/347.22 c LP : Time Calls Iterations Iter/call Iter/sec
347.10/347.22 c primal LP : 0.00 0 0 0.00 -
347.10/347.22 c dual LP : 0.00 0 0 0.00 -
347.10/347.22 c lex dual LP : 0.00 0 0 0.00 -
347.10/347.22 c barrier LP : 0.00 0 0 0.00 -
347.10/347.22 c diving/probing LP: 0.00 0 0 0.00 -
347.10/347.22 c strong branching : 0.00 0 0 0.00 -
347.10/347.22 c (at root node) : - 0 0 0.00 -
347.10/347.22 c conflict analysis: 0.00 0 0 0.00 -
347.10/347.22 c B&B Tree :
347.10/347.22 c number of runs : 1
347.10/347.22 c nodes : 727750
347.10/347.22 c nodes (total) : 727750
347.10/347.22 c nodes left : 0
347.10/347.22 c max depth : 409
347.10/347.22 c max depth (total): 409
347.10/347.22 c backtracks : 53842 (7.4%)
347.10/347.22 c delayed cutoffs : 523194
347.10/347.22 c repropagations : 131617 (526897 domain reductions, 50101 cutoffs)
347.10/347.22 c avg switch length: 5.74
347.10/347.22 c switching time : 121.55
347.10/347.22 c Solution :
347.10/347.22 c Solutions found : 2 (2 improvements)
347.10/347.22 c First Solution : +1.37000000000000e+02 (in run 1, after 528714 nodes, 175.06 seconds, depth 122, found by <relaxation>)
347.10/347.22 c Primal Bound : +3.00000000000000e+00 (in run 1, after 727749 nodes, 249.43 seconds, depth 97, found by <relaxation>)
347.10/347.22 c Dual Bound : +3.00000000000000e+00
347.10/347.22 c Gap : 0.00 %
347.10/347.22 c Root Dual Bound : +1.00000000000000e+00
347.10/347.22 c Root Iterations : 0
347.10/347.27 c Time complete: 347.17.