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-2663517-1276646095.opb>
0.00/0.01 c original problem has 528 variables (528 bin, 0 int, 0 impl, 0 cont) and 397 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.06/0.08 c (round 1) 6 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 42 chg coeffs, 0 upgd conss, 2076 impls, 0 clqs
0.06/0.08 c (round 2) 22 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 56 chg coeffs, 7 upgd conss, 3196 impls, 0 clqs
0.06/0.09 c (round 3) 38 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 70 chg coeffs, 7 upgd conss, 4092 impls, 0 clqs
0.06/0.09 c (round 4) 54 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 84 chg coeffs, 7 upgd conss, 4764 impls, 0 clqs
0.09/0.10 c (round 5) 70 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 98 chg coeffs, 7 upgd conss, 5212 impls, 0 clqs
0.09/0.10 c (round 6) 86 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 112 chg coeffs, 7 upgd conss, 5436 impls, 0 clqs
0.09/0.10 c (round 7) 102 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 126 chg coeffs, 7 upgd conss, 5436 impls, 0 clqs
0.09/0.12 c (0.1s) probing: 179/426 (42.0%) - 0 fixings, 0 aggregations, 12 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (8 rounds):
0.09/0.12 c 102 deleted vars, 84 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 126 changed coefficients
0.09/0.12 c 5460 implications, 0 cliques
0.09/0.12 c presolved problem has 426 variables (426 bin, 0 int, 0 impl, 0 cont) and 307 constraints
0.09/0.12 c 294 constraints of type <and>
0.09/0.12 c 6 constraints of type <linear>
0.09/0.12 c 7 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 2)
0.09/0.12 c Presolving Time: 0.06
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.2
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1800
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 1620
0.09/0.13 c
0.09/0.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c lp/solvefreq = -1
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c heuristics/undercover/freq = 0
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/rapidlearning/freq = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.09/0.13 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.13 c 0.1s| 1 | 2 | 0 | - |1393k| 0 | - | 426 | 307 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.39/2.49 c 2.2s| 10000 | 7499 | 0 | 0.0 |7033k| 256 | - | 426 | 755 | 0 | 0 | 0 |1621 | 0 | 1.000000e+00 | -- | Inf
4.99/5.05 c 4.5s| 20000 | 14595 | 0 | 0.0 | 12M| 256 | - | 426 | 953 | 0 | 0 | 0 |3579 | 0 | 1.000000e+00 | -- | Inf
7.48/7.59 c 6.9s| 30000 | 21678 | 0 | 0.0 | 17M| 256 | - | 426 |1169 | 0 | 0 | 0 |5463 | 0 | 1.000000e+00 | -- | Inf
10.09/10.14 c 9.2s| 40000 | 28084 | 0 | 0.0 | 22M| 256 | - | 426 |1284 | 0 | 0 | 0 |7690 | 0 | 1.000000e+00 | -- | Inf
12.79/12.81 c 11.6s| 50000 | 34812 | 0 | 0.0 | 27M| 256 | - | 426 | 827 | 0 | 0 | 0 |9647 | 0 | 1.000000e+00 | -- | Inf
15.48/15.54 c 14.1s| 60000 | 41691 | 0 | 0.0 | 32M| 256 | - | 426 |1211 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
18.49/18.51 c 16.9s| 70000 | 48121 | 0 | 0.0 | 37M| 256 | - | 426 |1433 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
21.39/21.42 c 19.5s| 80000 | 54899 | 0 | 0.0 | 41M| 256 | - | 426 |1385 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
24.29/24.31 c 22.2s| 90000 | 61801 | 0 | 0.0 | 46M| 256 | - | 426 |1339 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
27.08/27.17 c 24.9s|100000 | 68695 | 0 | 0.0 | 52M| 256 | - | 426 |1411 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
30.08/30.11 c 27.6s|110000 | 75505 | 0 | 0.0 | 56M| 256 | - | 426 |1555 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
33.08/33.17 c 30.4s|120000 | 82091 | 0 | 0.0 | 61M| 256 | - | 426 |1694 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
36.38/36.41 c 33.4s|130000 | 88425 | 0 | 0.0 | 66M| 256 | - | 426 |1861 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
39.59/39.66 c 36.5s|140000 | 94898 | 0 | 0.0 | 71M| 256 | - | 426 |2221 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
42.89/42.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.89/42.92 c 39.4s|150000 |101306 | 0 | 0.0 | 76M| 256 | - | 426 |2197 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
45.97/46.01 c 42.3s|160000 |107929 | 0 | 0.0 | 81M| 256 | - | 426 |2439 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
48.87/48.91 c 45.0s|170000 |114934 | 0 | 0.0 | 86M| 256 | - | 426 |2387 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
51.78/51.87 c 47.7s|180000 |121867 | 0 | 0.0 | 91M| 256 | - | 426 |2287 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | -- | Inf
54.88/54.93 c 50.5s|190000 |128365 | 0 | 0.0 | 96M| 256 | - | 426 |2381 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
58.07/58.12 c 53.5s|200000 |134506 | 0 | 0.0 | 100M| 256 | - | 426 |2202 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | -- | Inf
61.27/61.30 c 56.4s|210000 |140653 | 0 | 0.0 | 105M| 256 | - | 426 |2221 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | -- | Inf
64.47/64.50 c 59.4s|220000 |146636 | 0 | 0.0 | 110M| 256 | - | 426 |2182 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
67.47/67.59 c 62.2s|230000 |152794 | 0 | 0.0 | 115M| 256 | - | 426 |2211 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | -- | Inf
70.87/70.90 c 65.3s|240000 |158158 | 0 | 0.0 | 120M| 256 | - | 426 |2346 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
74.17/74.23 c 68.4s|250000 |163508 | 0 | 0.0 | 124M| 256 | - | 426 |2495 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
77.57/77.68 c 71.6s|260000 |168576 | 0 | 0.0 | 129M| 256 | - | 426 |2569 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
81.17/81.25 c 74.9s|270000 |173719 | 0 | 0.0 | 134M| 256 | - | 426 |2769 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
84.57/84.68 c 78.0s|280000 |178641 | 0 | 0.0 | 138M| 256 | - | 426 |3144 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
88.77/88.85 c 81.9s|290000 |182070 | 0 | 0.0 | 141M| 256 | - | 426 |1128 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
91.66/91.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.66/91.77 c 84.6s|300000 |188536 | 0 | 0.0 | 146M| 256 | - | 426 | 742 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
94.66/94.72 c 87.3s|310000 |195541 | 0 | 0.0 | 152M| 256 | - | 426 |1284 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
97.87/97.96 c 90.3s|320000 |202189 | 0 | 0.0 | 157M| 256 | - | 426 |1631 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
101.36/101.40 c 93.5s|330000 |208413 | 0 | 0.0 | 161M| 256 | - | 426 |1784 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
105.05/105.13 c 97.0s|340000 |214380 | 0 | 0.0 | 165M| 256 | - | 426 |1767 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
108.87/108.93 c 101s|350000 |220292 | 0 | 0.0 | 170M| 256 | - | 426 |2129 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
112.86/112.97 c 104s|360000 |226050 | 0 | 0.0 | 174M| 256 | - | 426 |2412 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | -- | Inf
117.16/117.21 c 108s|370000 |231791 | 0 | 0.0 | 179M| 256 | - | 426 |2721 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
121.36/121.48 c 112s|380000 |237584 | 0 | 0.0 | 183M| 256 | - | 426 |3078 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
125.86/125.97 c 117s|390000 |243323 | 0 | 0.0 | 187M| 256 | - | 426 |3116 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | -- | Inf
130.45/130.55 c 121s|400000 |249094 | 0 | 0.0 | 192M| 256 | - | 426 |2790 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
134.55/134.69 c 125s|410000 |255426 | 0 | 0.0 | 196M| 256 | - | 426 |3143 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
138.85/138.99 c 129s|420000 |261419 | 0 | 0.0 | 201M| 256 | - | 426 |3260 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
142.95/143.08 c 133s|430000 |267724 | 0 | 0.0 | 205M| 256 | - | 426 |2955 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | -- | Inf
146.75/146.89 c 136s|440000 |274323 | 0 | 0.0 | 210M| 256 | - | 426 |2246 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | -- | Inf
150.34/150.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.34/150.49 c 140s|450000 |280965 | 0 | 0.0 | 215M| 256 | - | 426 |2045 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
154.15/154.23 c 143s|460000 |287308 | 0 | 0.0 | 219M| 256 | - | 426 |2115 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
157.74/157.87 c 147s|470000 |293722 | 0 | 0.0 | 224M| 256 | - | 426 |2235 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | -- | Inf
161.24/161.38 c 150s|480000 |300352 | 0 | 0.0 | 229M| 256 | - | 426 |1892 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | -- | Inf
165.04/165.18 c 153s|490000 |306553 | 0 | 0.0 | 233M| 256 | - | 426 |2038 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
168.64/168.77 c 157s|500000 |312959 | 0 | 0.0 | 238M| 256 | - | 426 |2015 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
172.23/172.30 c 160s|510000 |319546 | 0 | 0.0 | 243M| 256 | - | 426 |1725 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | -- | Inf
175.95/176.03 c 164s|520000 |325676 | 0 | 0.0 | 247M| 256 | - | 426 |2059 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | -- | Inf
179.63/179.72 c 167s|530000 |332016 | 0 | 0.0 | 252M| 256 | - | 426 |2060 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
183.33/183.41 c 170s|540000 |338355 | 0 | 0.0 | 256M| 256 | - | 426 |1893 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
187.03/187.14 c 174s|550000 |344628 | 0 | 0.0 | 261M| 256 | - | 426 |2196 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | -- | Inf
190.63/190.75 c 177s|560000 |351157 | 0 | 0.0 | 266M| 256 | - | 426 |1860 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
194.42/194.50 c 181s|570000 |357279 | 0 | 0.0 | 270M| 256 | - | 426 |2166 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
198.13/198.21 c 184s|580000 |363554 | 0 | 0.0 | 275M| 256 | - | 426 |2099 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | -- | Inf
201.83/201.92 c 188s|590000 |369912 | 0 | 0.0 | 280M| 256 | - | 426 |2254 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | -- | Inf
205.42/205.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.42/205.54 c 191s|600000 |376392 | 0 | 0.0 | 284M| 256 | - | 426 |2008 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
209.32/209.44 c 195s|610000 |382505 | 0 | 0.0 | 289M| 256 | - | 426 |2146 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
213.22/213.31 c 198s|620000 |388577 | 0 | 0.0 | 294M| 256 | - | 426 |2225 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | -- | Inf
217.02/217.18 c 202s|630000 |394625 | 0 | 0.0 | 298M| 256 | - | 426 |2271 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
220.93/221.10 c 206s|640000 |400816 | 0 | 0.0 | 303M| 256 | - | 426 |2064 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | -- | Inf
225.12/225.26 c 210s|650000 |406402 | 0 | 0.0 | 307M| 256 | - | 426 |2556 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | -- | Inf
229.42/229.56 c 214s|660000 |412065 | 0 | 0.0 | 312M| 256 | - | 426 |2580 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | -- | Inf
233.42/233.54 c 217s|670000 |418020 | 0 | 0.0 | 316M| 256 | - | 426 |2178 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | -- | Inf
237.22/237.39 c 221s|680000 |424164 | 0 | 0.0 | 321M| 256 | - | 426 |2322 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | -- | Inf
241.11/241.29 c 225s|690000 |430147 | 0 | 0.0 | 325M| 256 | - | 426 |2350 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | -- | Inf
241.42/241.59 o 97
241.42/241.59 c * 225s|690718 |430540 | 0 | 0.0 | 325M| 256 | - | 426 |2325 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
245.22/245.37 c 229s|700000 |435692 | 0 | 0.0 | 329M| 256 | - | 426 |2197 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
249.22/249.30 c 232s|710000 |441530 | 0 | 0.0 | 334M| 256 | - | 426 |2409 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
253.01/253.16 c 236s|720000 |447589 | 0 | 0.0 | 339M| 256 | - | 426 |2191 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
257.22/257.33 c 240s|730000 |453123 | 0 | 0.0 | 343M| 256 | - | 426 |2480 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
261.51/261.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.51/261.61 c 244s|740000 |458739 | 0 | 0.0 | 347M| 256 | - | 426 |2580 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
265.50/265.62 c 248s|750000 |464646 | 0 | 0.0 | 352M| 256 | - | 426 |2365 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
270.30/270.42 c 252s|760000 |469422 | 0 | 0.0 | 356M| 256 | - | 426 |2809 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
275.31/275.49 c 257s|770000 |474119 | 0 | 0.0 | 360M| 256 | - | 426 |3017 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
280.10/280.26 c 262s|780000 |479274 | 0 | 0.0 | 364M| 256 | - | 426 |2905 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
284.90/285.09 c 266s|790000 |484148 | 0 | 0.0 | 368M| 256 | - | 426 |2989 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
289.60/289.75 c 271s|800000 |489304 | 0 | 0.0 | 372M| 256 | - | 426 |3223 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
294.00/294.16 c 275s|810000 |494988 | 0 | 0.0 | 376M| 256 | - | 426 |3259 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
298.00/298.19 c 278s|820000 |501096 | 0 | 0.0 | 381M| 256 | - | 426 |2837 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
298.59/298.79 o 41
298.59/298.79 c * 279s|821469 |501915 | 0 | 0.0 | 381M| 256 | - | 426 |2762 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
301.89/302.09 c 282s|830000 |506889 | 0 | 0.0 | 385M| 256 | - | 426 |1467 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
306.29/306.48 c 286s|840000 |511630 | 0 | 0.0 | 389M| 256 | - | 426 |2727 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
310.10/310.24 c 290s|850000 |517664 | 0 | 0.0 | 393M| 256 | - | 426 |2120 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
313.79/313.92 c 293s|860000 |523572 | 0 | 0.0 | 398M| 256 | - | 426 |1769 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
317.19/317.36 c 296s|870000 |529821 | 0 | 0.0 | 403M| 256 | - | 426 |1739 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
320.79/320.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.79/320.95 c 300s|880000 |535825 | 0 | 0.0 | 408M| 256 | - | 426 |2039 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
324.39/324.51 c 303s|890000 |541981 | 0 | 0.0 | 413M| 256 | - | 426 |2024 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
327.99/328.14 c 306s|900000 |548073 | 0 | 0.0 | 417M| 256 | - | 426 |1790 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
331.29/331.46 c 310s|910000 |554405 | 0 | 0.0 | 422M| 256 | - | 426 |1959 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
334.79/334.99 c 313s|920000 |560279 | 0 | 0.0 | 426M| 256 | - | 426 |2237 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
338.89/339.06 c 317s|930000 |565641 | 0 | 0.0 | 431M| 256 | - | 426 |2485 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
343.09/343.21 c 321s|940000 |571028 | 0 | 0.0 | 435M| 256 | - | 426 |2672 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
347.18/347.33 c 324s|950000 |576679 | 0 | 0.0 | 439M| 256 | - | 426 |3009 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
351.28/351.49 c 328s|960000 |582604 | 0 | 0.0 | 443M| 256 | - | 426 |3289 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
354.98/355.13 c 332s|970000 |589049 | 0 | 0.0 | 448M| 256 | - | 426 |2582 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
358.28/358.49 c 335s|980000 |595571 | 0 | 0.0 | 453M| 256 | - | 426 |2336 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
361.79/361.94 c 338s|990000 |601826 | 0 | 0.0 | 457M| 256 | - | 426 |2210 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
365.28/365.49 c 341s| 1000k|607989 | 0 | 0.0 | 462M| 256 | - | 426 |2076 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
368.86/369.08 c 345s| 1010k|614010 | 0 | 0.0 | 467M| 256 | - | 426 |2130 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
372.37/372.54 c 348s| 1020k|620164 | 0 | 0.0 | 472M| 256 | - | 426 |2238 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
375.86/376.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.86/376.01 c 351s| 1030k|626206 | 0 | 0.0 | 476M| 256 | - | 426 |2296 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
379.36/379.56 c 354s| 1040k|632144 | 0 | 0.0 | 481M| 256 | - | 426 |2208 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
383.06/383.21 c 358s| 1050k|637899 | 0 | 0.0 | 485M| 256 | - | 426 |2196 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
386.46/386.63 c 361s| 1060k|644301 | 0 | 0.0 | 490M| 256 | - | 426 |2066 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
390.26/390.45 c 365s| 1070k|649704 | 0 | 0.0 | 494M| 256 | - | 426 |2347 | 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
390.66/390.82 o 5
390.66/390.82 c * 365s| 1071k|649424 | 0 | 0.0 | 494M| 256 | - | 426 |2207 | 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
394.36/394.58 c 368s| 1080k|654035 | 0 | 0.0 | 500M| 256 | - | 426 |2347 | 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
398.06/398.26 c 372s| 1090k|659598 | 0 | 0.0 | 504M| 256 | - | 426 |2263 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
401.55/401.75 c 375s| 1100k|665435 | 0 | 0.0 | 509M| 256 | - | 426 |1819 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
404.85/405.04 c 378s| 1110k|671378 | 0 | 0.0 | 514M| 256 | - | 426 |1672 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
408.04/408.28 c 381s| 1120k|677537 | 0 | 0.0 | 519M| 256 | - | 426 |1413 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
411.45/411.62 c 384s| 1130k|683230 | 0 | 0.0 | 523M| 256 | - | 426 |1357 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
414.84/415.01 c 387s| 1140k|688696 | 0 | 0.0 | 528M| 256 | - | 426 |1308 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
418.05/418.29 c 390s| 1150k|694427 | 0 | 0.0 | 533M| 256 | - | 426 |1078 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
421.34/421.52 c 393s| 1160k|700200 | 0 | 0.0 | 537M| 256 | - | 426 |1066 | 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
424.54/424.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.54/424.76 c 396s| 1170k|705949 | 0 | 0.0 | 542M| 256 | - | 426 |1053 | 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
427.74/427.95 c 399s| 1180k|711613 | 0 | 0.0 | 547M| 256 | - | 426 |1187 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
431.04/431.28 c 402s| 1190k|717189 | 0 | 0.0 | 551M| 256 | - | 426 | 958 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
434.35/434.58 c 405s| 1200k|722731 | 0 | 0.0 | 556M| 256 | - | 426 | 806 | 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
437.64/437.87 c 408s| 1210k|728159 | 0 | 0.0 | 561M| 256 | - | 426 | 908 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
441.04/441.23 c 412s| 1220k|733391 | 0 | 0.0 | 565M| 256 | - | 426 | 956 | 0 | 0 | 0 | 313k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
444.53/444.74 c 415s| 1230k|738285 | 0 | 0.0 | 570M| 256 | - | 426 |1059 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
445.63/445.85 o 3
445.63/445.85 c * 416s| 1232k|622216 | 0 | 0.0 | 482M| 256 | - | 426 | 968 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
453.53/453.75 c
453.53/453.75 c SCIP Status : problem is solved [optimal solution found]
453.53/453.75 c Solving Time (sec) : 423.14
453.53/453.75 c Solving Nodes : 1232119
453.53/453.75 c Primal Bound : +3.00000000000000e+00 (4 solutions)
453.53/453.75 c Dual Bound : +3.00000000000000e+00
453.53/453.75 c Gap : 0.00 %
453.53/453.75 s OPTIMUM FOUND
453.53/453.75 v -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x96 -x95 -x94 -x93 -x92 x91 -x90
453.53/453.75 v x89 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x120 -x119 -x118 -x117 -x116 -x115
453.53/453.75 v -x114 -x113 -x80 -x79 -x78 -x77 x76 -x75 -x74 x73 -x112 -x111 -x110 -x109 x108 x107 -x106 -x105 -x72 -x71 -x70 -x69 -x68 -x67
453.53/453.75 v x66 x65 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x64 -x63 -x62 -x61 x60 x59 x58 x57 x56 x55 x54 -x53 -x52 -x51 -x50
453.53/453.75 v x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 x41 -x40 -x39 x38 x37 x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 x25 x24 x23 -x22
453.53/453.75 v -x21 x20 x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
453.53/453.75 c SCIP Status : problem is solved [optimal solution found]
453.53/453.75 c Solving Time : 423.14
453.53/453.75 c Original Problem :
453.53/453.75 c Problem name : HOME/instance-2663517-1276646095.opb
453.53/453.75 c Variables : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
453.53/453.75 c Constraints : 397 initial, 397 maximal
453.53/453.75 c Presolved Problem :
453.53/453.75 c Problem name : t_HOME/instance-2663517-1276646095.opb
453.53/453.75 c Variables : 426 (426 binary, 0 integer, 0 implicit integer, 0 continuous)
453.53/453.75 c Constraints : 307 initial, 3467 maximal
453.53/453.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
453.53/453.75 c trivial : 0.00 0 0 0 0 0 0 0 0
453.53/453.75 c dualfix : 0.00 0 0 0 0 0 0 0 0
453.53/453.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
453.53/453.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
453.53/453.75 c implics : 0.00 0 0 0 0 0 0 0 0
453.53/453.75 c probing : 0.02 0 0 0 0 0 0 0 0
453.53/453.75 c and : 0.03 12 84 0 0 0 84 0 84
453.53/453.75 c linear : 0.00 1 5 0 0 0 0 0 42
453.53/453.75 c logicor : 0.00 0 0 0 0 0 0 0 0
453.53/453.75 c root node : - 66 - - 66 - - - -
453.53/453.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
453.53/453.75 c integral : 0 0 0 0 0 0 0 0 0 0
453.53/453.75 c and : 294 0 3024607 0 1058254 31547 5146958 0 0 0
453.53/453.75 c linear : 6 0 2993057 0 1058254 250515 2338305 0 0 0
453.53/453.75 c logicor : 7+ 0 1227260 0 1058221 8174 332849 0 0 0
453.53/453.75 c countsols : 0 0 0 0 1058258 0 0 0 0 0
453.53/453.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
453.53/453.75 c integral : 0.00 0.00 0.00 0.00 0.00
453.53/453.75 c and : 45.93 0.00 33.06 0.00 12.87
453.53/453.75 c linear : 121.05 0.00 120.01 0.00 1.04
453.53/453.75 c logicor : 49.27 0.00 47.42 0.00 1.85
453.53/453.75 c countsols : 0.39 0.00 0.00 0.00 0.39
453.53/453.75 c Propagators : Time Calls Cutoffs DomReds
453.53/453.75 c vbounds : 1.37 2 0 0
453.53/453.75 c rootredcost : 1.49 0 0 0
453.53/453.75 c pseudoobj : 3.57 3024244 1 8357
453.53/453.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
453.53/453.75 c propagation : 67.70 290233 289602 3407412 59.0 14157 51.5 -
453.53/453.75 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
453.53/453.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
453.53/453.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
453.53/453.75 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
453.53/453.75 c applied globally : - - - 268005 26.4 - - -
453.53/453.75 c applied locally : - - - 48869 53.4 - - -
453.53/453.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
453.53/453.75 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
453.53/453.75 c redcost : 0.00 0 0 0 0 0
453.53/453.75 c impliedbounds : 0.00 0 0 0 0 0
453.53/453.75 c intobj : 0.00 0 0 0 0 0
453.53/453.75 c cgmip : 0.00 0 0 0 0 0
453.53/453.75 c gomory : 0.00 0 0 0 0 0
453.53/453.75 c strongcg : 0.00 0 0 0 0 0
453.53/453.75 c cmir : 0.00 0 0 0 0 0
453.53/453.75 c flowcover : 0.00 0 0 0 0 0
453.53/453.75 c clique : 0.00 0 0 0 0 0
453.53/453.75 c zerohalf : 0.00 0 0 0 0 0
453.53/453.75 c mcf : 0.00 0 0 0 0 0
453.53/453.75 c rapidlearning : 0.00 0 0 0 0 0
453.53/453.75 c Pricers : Time Calls Vars
453.53/453.75 c problem variables: 0.00 0 0
453.53/453.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
453.53/453.75 c relpscost : 0.00 0 0 0 0 0 0
453.53/453.75 c pscost : 0.00 0 0 0 0 0 0
453.53/453.75 c inference : 45.32 1058254 0 0 0 0 2116508
453.53/453.75 c mostinf : 0.00 0 0 0 0 0 0
453.53/453.75 c leastinf : 0.00 0 0 0 0 0 0
453.53/453.75 c fullstrong : 0.00 0 0 0 0 0 0
453.53/453.75 c allfullstrong : 0.00 0 0 0 0 0 0
453.53/453.75 c random : 0.00 0 0 0 0 0 0
453.53/453.75 c Primal Heuristics : Time Calls Found
453.53/453.75 c LP solutions : 0.00 - 0
453.53/453.75 c pseudo solutions : 0.49 - 4
453.53/453.75 c oneopt : 0.70 0 0
453.53/453.75 c trivial : 0.00 2 0
453.53/453.75 c simplerounding : 0.00 0 0
453.53/453.75 c zirounding : 0.00 0 0
453.53/453.75 c rounding : 0.00 0 0
453.53/453.75 c shifting : 0.00 0 0
453.53/453.75 c intshifting : 0.00 0 0
453.53/453.75 c twoopt : 0.00 0 0
453.53/453.75 c fixandinfer : 0.00 0 0
453.53/453.75 c feaspump : 0.00 0 0
453.53/453.75 c coefdiving : 0.00 0 0
453.53/453.75 c pscostdiving : 0.00 0 0
453.53/453.75 c fracdiving : 0.00 0 0
453.53/453.75 c veclendiving : 0.00 0 0
453.53/453.75 c intdiving : 0.00 0 0
453.53/453.75 c actconsdiving : 0.00 0 0
453.53/453.75 c objpscostdiving : 0.00 0 0
453.53/453.75 c rootsoldiving : 0.00 0 0
453.53/453.75 c linesearchdiving : 0.00 0 0
453.53/453.75 c guideddiving : 0.00 0 0
453.53/453.75 c octane : 0.00 0 0
453.53/453.75 c rens : 0.00 0 0
453.53/453.75 c rins : 0.00 0 0
453.53/453.75 c localbranching : 0.00 0 0
453.53/453.75 c mutation : 0.00 0 0
453.53/453.75 c crossover : 0.00 0 0
453.53/453.75 c dins : 0.00 0 0
453.53/453.75 c undercover : 0.00 0 0
453.53/453.75 c nlp : 0.50 0 0
453.53/453.75 c trysol : 0.54 0 0
453.53/453.75 c LP : Time Calls Iterations Iter/call Iter/sec
453.53/453.75 c primal LP : 0.00 0 0 0.00 -
453.53/453.75 c dual LP : 0.00 0 0 0.00 -
453.53/453.75 c lex dual LP : 0.00 0 0 0.00 -
453.53/453.75 c barrier LP : 0.00 0 0 0.00 -
453.53/453.75 c diving/probing LP: 0.00 0 0 0.00 -
453.53/453.75 c strong branching : 0.00 0 0 0.00 -
453.53/453.75 c (at root node) : - 0 0 0.00 -
453.53/453.75 c conflict analysis: 0.00 0 0 0.00 -
453.53/453.75 c B&B Tree :
453.53/453.75 c number of runs : 1
453.53/453.75 c nodes : 1232119
453.53/453.75 c nodes (total) : 1232119
453.53/453.75 c nodes left : 0
453.53/453.75 c max depth : 256
453.53/453.75 c max depth (total): 256
453.53/453.75 c backtracks : 123356 (10.0%)
453.53/453.75 c delayed cutoffs : 765960
453.53/453.75 c repropagations : 310854 (1237608 domain reductions, 116376 cutoffs)
453.53/453.75 c avg switch length: 6.27
453.53/453.75 c switching time : 102.59
453.53/453.75 c Solution :
453.53/453.75 c Solutions found : 4 (4 improvements)
453.53/453.75 c First Solution : +9.70000000000000e+01 (in run 1, after 690718 nodes, 225.03 seconds, depth 86, found by <relaxation>)
453.53/453.75 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1232119 nodes, 415.51 seconds, depth 109, found by <relaxation>)
453.53/453.75 c Dual Bound : +3.00000000000000e+00
453.53/453.75 c Gap : 0.00 %
453.53/453.75 c Root Dual Bound : +1.00000000000000e+00
453.53/453.75 c Root Iterations : 0
453.63/453.81 c Time complete: 453.64.