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-2663602-1276647977.opb>
0.00/0.01 c original problem has 864 variables (864 bin, 0 int, 0 impl, 0 cont) and 665 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.19/0.20 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 63 chg coeffs, 0 upgd conss, 3712 impls, 0 clqs
0.19/0.20 c (round 2) 26 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 79 chg coeffs, 9 upgd conss, 5728 impls, 0 clqs
0.19/0.21 c (round 3) 44 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 9 upgd conss, 7456 impls, 0 clqs
0.19/0.22 c (round 4) 62 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 9 upgd conss, 8896 impls, 0 clqs
0.19/0.22 c (round 5) 80 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 9 upgd conss, 10048 impls, 0 clqs
0.19/0.23 c (round 6) 98 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 143 chg coeffs, 9 upgd conss, 10912 impls, 0 clqs
0.19/0.23 c (round 7) 116 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 159 chg coeffs, 9 upgd conss, 11488 impls, 0 clqs
0.19/0.24 c (round 8) 134 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 175 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.19/0.24 c (round 9) 152 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 191 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.29/0.31 c (0.2s) probing: 222/712 (31.2%) - 0 fixings, 0 aggregations, 16 implications, 0 bound changes
0.29/0.31 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.31 c presolving (10 rounds):
0.29/0.31 c 152 deleted vars, 128 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 191 changed coefficients
0.29/0.31 c 11808 implications, 0 cliques
0.29/0.31 c presolved problem has 712 variables (712 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.29/0.31 c 512 constraints of type <and>
0.29/0.31 c 8 constraints of type <linear>
0.29/0.31 c 9 constraints of type <logicor>
0.29/0.31 c transformed objective value is always integral (scale: 2)
0.29/0.31 c Presolving Time: 0.16
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 1.2.1.2
0.29/0.31 c
0.29/0.31 c # frequency for displaying node information lines
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.31 c display/freq = 10000
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = 1799.99
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = 1620
0.29/0.31 c
0.29/0.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c lp/solvefreq = -1
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify inequalities
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/linear/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify knapsacks
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c heuristics/undercover/freq = 0
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c separating/rapidlearning/freq = 0
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.31 c
0.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c 0.2s| 1 | 2 | 0 | - |2268k| 0 | - | 712 | 529 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.29/3.37 c 3.0s| 10000 | 8117 | 0 | 0.0 |8497k| 474 | - | 712 | 691 | 0 | 0 | 0 |1246 | 0 | 1.000000e+00 | -- | Inf
6.69/6.79 c 6.2s| 20000 | 15408 | 0 | 0.0 | 14M| 474 | - | 712 | 915 | 0 | 0 | 0 |3051 | 0 | 1.000000e+00 | -- | Inf
10.09/10.15 c 9.3s| 30000 | 22955 | 0 | 0.0 | 19M| 474 | - | 712 | 965 | 0 | 0 | 0 |4721 | 0 | 1.000000e+00 | -- | Inf
14.08/14.11 c 13.0s| 40000 | 30052 | 0 | 0.0 | 25M| 474 | - | 712 | 847 | 0 | 0 | 0 |6757 | 0 | 1.000000e+00 | -- | Inf
17.49/17.60 c 16.2s| 50000 | 37882 | 0 | 0.0 | 31M| 474 | - | 712 | 762 | 0 | 0 | 0 |8330 | 0 | 1.000000e+00 | -- | Inf
21.49/21.59 c 20.0s| 60000 | 44073 | 0 | 0.0 | 36M| 474 | - | 712 |1452 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
25.29/25.33 c 23.4s| 70000 | 50993 | 0 | 0.0 | 41M| 474 | - | 712 |1241 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
26.29/26.39 o 11
26.29/26.39 c *24.4s| 72759 | 29466 | 0 | 0.0 | 30M| 474 | - | 712 | 970 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
29.29/29.34 c 27.2s| 80000 | 34155 | 0 | 0.0 | 34M| 474 | - | 712 |1233 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
33.48/33.53 c 31.1s| 90000 | 41111 | 0 | 0.0 | 40M| 474 | - | 712 |1025 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
38.09/38.14 c 35.5s|100000 | 47981 | 0 | 0.0 | 47M| 474 | - | 712 | 966 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
42.78/42.82 c 39.9s|110000 | 55030 | 0 | 0.0 | 53M| 474 | - | 712 | 959 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
47.68/47.73 c 44.5s|120000 | 61708 | 0 | 0.0 | 58M| 474 | - | 712 | 887 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
52.07/52.14 c 48.6s|130000 | 68411 | 0 | 0.0 | 64M| 474 | - | 712 | 792 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
57.58/57.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.58/57.64 c 53.9s|140000 | 74032 | 0 | 0.0 | 71M| 474 | - | 712 | 926 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
62.08/62.16 c 58.1s|150000 | 79872 | 0 | 0.0 | 76M| 474 | - | 712 |1167 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
66.07/66.12 c 61.8s|160000 | 86994 | 0 | 0.0 | 82M| 474 | - | 712 |1042 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
70.48/70.57 c 66.0s|170000 | 93511 | 0 | 0.0 | 88M| 474 | - | 712 |1017 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
74.78/74.83 c 70.0s|180000 |100169 | 0 | 0.0 | 94M| 474 | - | 712 | 970 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
80.37/80.44 c 75.4s|190000 |106359 | 0 | 0.0 | 100M| 474 | - | 712 | 932 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
84.58/84.62 c 79.3s|200000 |112173 | 0 | 0.0 | 106M| 474 | - | 712 |1657 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
89.17/89.21 c 83.6s|210000 |117725 | 0 | 0.0 | 110M| 474 | - | 712 |1825 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
93.87/93.97 c 88.1s|220000 |123383 | 0 | 0.0 | 115M| 474 | - | 712 |1846 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
98.36/98.41 c 92.3s|230000 |128881 | 0 | 0.0 | 119M| 474 | - | 712 | 873 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
102.46/102.58 c 96.2s|240000 |134917 | 0 | 0.0 | 124M| 474 | - | 712 |1150 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
106.67/106.78 c 100s|250000 |141049 | 0 | 0.0 | 129M| 474 | - | 712 |1269 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
110.87/110.97 c 104s|260000 |147346 | 0 | 0.0 | 134M| 474 | - | 712 |1366 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
115.16/115.20 c 108s|270000 |154012 | 0 | 0.0 | 139M| 474 | - | 712 |1320 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
119.35/119.42 c 112s|280000 |160706 | 0 | 0.0 | 144M| 474 | - | 712 |1054 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
123.56/123.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.56/123.60 c 116s|290000 |167283 | 0 | 0.0 | 149M| 474 | - | 712 |1136 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
127.57/127.70 c 120s|300000 |174105 | 0 | 0.0 | 154M| 474 | - | 712 |1205 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
131.66/131.80 c 124s|310000 |180971 | 0 | 0.0 | 159M| 474 | - | 712 |1121 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
135.85/135.90 c 128s|320000 |187945 | 0 | 0.0 | 165M| 474 | - | 712 | 896 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
139.86/139.91 c 131s|330000 |194838 | 0 | 0.0 | 170M| 474 | - | 712 | 842 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
143.85/143.94 c 135s|340000 |201797 | 0 | 0.0 | 176M| 474 | - | 712 | 875 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
148.05/148.13 c 139s|350000 |208558 | 0 | 0.0 | 181M| 474 | - | 712 | 930 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
152.15/152.20 c 143s|360000 |215676 | 0 | 0.0 | 187M| 474 | - | 712 | 904 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
156.25/156.36 c 147s|370000 |222840 | 0 | 0.0 | 193M| 474 | - | 712 | 832 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
160.65/160.79 c 151s|380000 |229673 | 0 | 0.0 | 198M| 474 | - | 712 | 932 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
165.25/165.30 c 155s|390000 |236519 | 0 | 0.0 | 204M| 474 | - | 712 | 834 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
169.85/169.90 c 159s|400000 |243260 | 0 | 0.0 | 209M| 474 | - | 712 |1001 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
174.65/174.77 c 164s|410000 |249697 | 0 | 0.0 | 214M| 474 | - | 712 | 947 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
179.15/179.29 c 168s|420000 |256499 | 0 | 0.0 | 220M| 474 | - | 712 | 954 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
183.94/184.05 c 173s|430000 |263114 | 0 | 0.0 | 225M| 474 | - | 712 | 968 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
188.74/188.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.74/188.85 c 177s|440000 |269785 | 0 | 0.0 | 231M| 474 | - | 712 |1013 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
193.84/193.92 c 182s|450000 |276214 | 0 | 0.0 | 236M| 474 | - | 712 |1244 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
199.04/199.17 c 187s|460000 |282400 | 0 | 0.0 | 241M| 474 | - | 712 |1213 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
204.44/204.56 c 192s|470000 |288422 | 0 | 0.0 | 246M| 474 | - | 712 |1301 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
210.23/210.33 c 198s|480000 |294330 | 0 | 0.0 | 251M| 474 | - | 712 |1242 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
216.03/216.16 c 203s|490000 |300201 | 0 | 0.0 | 255M| 474 | - | 712 |1490 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
221.73/221.85 c 209s|500000 |306123 | 0 | 0.0 | 260M| 474 | - | 712 |1364 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
227.23/227.38 c 214s|510000 |312206 | 0 | 0.0 | 265M| 474 | - | 712 |1223 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
232.93/233.02 c 219s|520000 |317995 | 0 | 0.0 | 270M| 474 | - | 712 |1331 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
238.33/238.41 c 225s|530000 |323854 | 0 | 0.0 | 275M| 474 | - | 712 |1183 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
243.04/243.13 c 229s|540000 |330448 | 0 | 0.0 | 280M| 474 | - | 712 |1163 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
248.03/248.12 c 234s|550000 |336827 | 0 | 0.0 | 285M| 474 | - | 712 |1189 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
252.93/253.09 c 238s|560000 |343042 | 0 | 0.0 | 290M| 474 | - | 712 |1155 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
258.02/258.13 c 243s|570000 |349243 | 0 | 0.0 | 296M| 474 | - | 712 |1236 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
263.52/263.63 c 248s|580000 |355115 | 0 | 0.0 | 301M| 474 | - | 712 |1298 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
268.82/268.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.82/268.95 c 253s|590000 |360863 | 0 | 0.0 | 306M| 474 | - | 712 |1032 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
273.83/273.93 c 258s|600000 |366661 | 0 | 0.0 | 311M| 474 | - | 712 | 980 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
279.02/279.15 c 263s|610000 |372534 | 0 | 0.0 | 317M| 474 | - | 712 | 755 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
284.62/284.74 c 268s|620000 |378340 | 0 | 0.0 | 322M| 474 | - | 712 | 745 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
288.71/288.82 c 272s|630000 |384739 | 0 | 0.0 | 327M| 474 | - | 712 |1239 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
292.91/293.02 c 276s|640000 |391478 | 0 | 0.0 | 332M| 474 | - | 712 |1246 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
296.41/296.54 c 279s|650000 |399549 | 0 | 0.0 | 338M| 474 | - | 712 |1094 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
299.82/299.92 c 283s|660000 |407770 | 0 | 0.0 | 344M| 474 | - | 712 | 987 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
303.31/303.43 c 286s|670000 |415675 | 0 | 0.0 | 350M| 474 | - | 712 |1020 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
307.01/307.13 c 289s|680000 |423270 | 0 | 0.0 | 356M| 474 | - | 712 |1013 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
311.12/311.22 c 293s|690000 |430282 | 0 | 0.0 | 361M| 474 | - | 712 | 873 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
312.61/312.70 o 5
312.61/312.70 c * 294s|692624 |288707 | 0 | 0.0 | 251M| 474 | - | 712 | 847 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
316.11/316.27 c 298s|700000 |292441 | 0 | 0.0 | 255M| 474 | - | 712 |1226 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
321.02/321.15 c 302s|710000 |297043 | 0 | 0.0 | 258M| 474 | - | 712 |1239 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
325.51/325.61 c 307s|720000 |302439 | 0 | 0.0 | 262M| 474 | - | 712 |1258 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
331.20/331.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.20/331.36 c 312s|730000 |304961 | 0 | 0.0 | 265M| 474 | - | 712 |1458 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
336.81/336.99 c 317s|740000 |308078 | 0 | 0.0 | 268M| 474 | - | 712 |1532 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
342.10/342.28 c 322s|750000 |311432 | 0 | 0.0 | 272M| 474 | - | 712 |1079 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
346.90/347.00 c 327s|760000 |315917 | 0 | 0.0 | 275M| 474 | - | 712 |1320 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
351.70/351.83 c 331s|770000 |321005 | 0 | 0.0 | 279M| 474 | - | 712 |1402 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
356.60/356.75 c 336s|780000 |326000 | 0 | 0.0 | 282M| 474 | - | 712 |1448 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
361.59/361.77 c 341s|790000 |331140 | 0 | 0.0 | 287M| 474 | - | 712 |1421 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
366.29/366.43 c 345s|800000 |336848 | 0 | 0.0 | 291M| 474 | - | 712 |1400 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
371.09/371.29 c 350s|810000 |341998 | 0 | 0.0 | 295M| 474 | - | 712 |1506 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
375.69/375.89 c 354s|820000 |348071 | 0 | 0.0 | 300M| 474 | - | 712 |1479 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
380.39/380.57 c 358s|830000 |354014 | 0 | 0.0 | 305M| 474 | - | 712 |1423 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
385.39/385.51 c 363s|840000 |359313 | 0 | 0.0 | 310M| 474 | - | 712 |1536 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
389.88/390.01 c 367s|850000 |366068 | 0 | 0.0 | 315M| 474 | - | 712 |1401 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
394.29/394.41 c 372s|860000 |372727 | 0 | 0.0 | 320M| 474 | - | 712 |1459 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
398.88/399.05 c 376s|870000 |378775 | 0 | 0.0 | 325M| 474 | - | 712 |1418 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
403.39/403.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.39/403.55 c 380s|880000 |385250 | 0 | 0.0 | 330M| 474 | - | 712 |1682 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
407.69/407.88 c 384s|890000 |392143 | 0 | 0.0 | 336M| 474 | - | 712 |1721 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
412.08/412.25 c 388s|900000 |398962 | 0 | 0.0 | 341M| 474 | - | 712 |1302 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
416.58/416.75 c 392s|910000 |405571 | 0 | 0.0 | 346M| 474 | - | 712 |1268 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
421.09/421.20 c 397s|920000 |412139 | 0 | 0.0 | 351M| 474 | - | 712 |1271 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
425.49/425.67 c 401s|930000 |418589 | 0 | 0.0 | 356M| 474 | - | 712 |1398 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
429.99/430.14 c 405s|940000 |425139 | 0 | 0.0 | 361M| 474 | - | 712 |1471 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
434.47/434.67 c 409s|950000 |431637 | 0 | 0.0 | 366M| 474 | - | 712 |1313 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
438.97/439.14 c 414s|960000 |438289 | 0 | 0.0 | 372M| 474 | - | 712 |1272 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
443.48/443.65 c 418s|970000 |444965 | 0 | 0.0 | 377M| 474 | - | 712 |1289 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
448.08/448.28 c 422s|980000 |451391 | 0 | 0.0 | 381M| 474 | - | 712 |1316 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
452.68/452.88 c 427s|990000 |458041 | 0 | 0.0 | 386M| 474 | - | 712 |1274 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
457.27/457.44 c 431s| 1000k|464577 | 0 | 0.0 | 391M| 474 | - | 712 |1211 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
461.77/461.90 c 435s| 1010k|471205 | 0 | 0.0 | 396M| 474 | - | 712 |1005 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
467.07/467.20 o 3
467.07/467.20 c * 440s| 1016k| 4696 | 0 | 0.0 |9163k| 474 | - | 712 |1218 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
467.07/467.25 c
467.07/467.25 c SCIP Status : problem is solved [optimal solution found]
467.07/467.25 c Solving Time (sec) : 440.25
467.07/467.25 c Solving Nodes : 1016947
467.07/467.25 c Primal Bound : +3.00000000000000e+00 (3 solutions)
467.07/467.25 c Dual Bound : +3.00000000000000e+00
467.07/467.25 c Gap : 0.00 %
467.07/467.25 s OPTIMUM FOUND
467.07/467.25 v -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x144 -x143 x142 -x141
467.07/467.25 v x140 -x139 x138 -x137 x136 -x198 -x197 -x196 -x195 x194 x193 x192 x191 x190 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128
467.07/467.25 v x127 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 x126 x125 x124 x123 -x122 -x121 -x120 -x119 x118 -x180 -x179 -x178
467.07/467.25 v -x177 -x176 -x175 -x174 x173 -x172 x117 -x116 -x115 -x114 x113 x112 -x111 -x110 x109 -x171 -x170 -x169 -x168 -x167 -x166 x165
467.07/467.25 v -x164 x163 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 x100 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x99
467.07/467.25 v -x98 -x97 x96 -x95 x94 x93 -x92 x91 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x90 -x89 -x88 -x87 -x86 x85 x84 x83
467.07/467.25 v x82 -x81 -x80 -x79 x78 x77 -x76 x75 -x74 x73 -x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56
467.07/467.25 v 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 -x30 -x29
467.07/467.25 v 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 x2 x1
467.07/467.25 c SCIP Status : problem is solved [optimal solution found]
467.07/467.25 c Solving Time : 440.25
467.07/467.25 c Original Problem :
467.07/467.25 c Problem name : HOME/instance-2663602-1276647977.opb
467.07/467.25 c Variables : 864 (864 binary, 0 integer, 0 implicit integer, 0 continuous)
467.07/467.25 c Constraints : 665 initial, 665 maximal
467.07/467.25 c Presolved Problem :
467.07/467.25 c Problem name : t_HOME/instance-2663602-1276647977.opb
467.07/467.25 c Variables : 712 (712 binary, 0 integer, 0 implicit integer, 0 continuous)
467.07/467.25 c Constraints : 529 initial, 2067 maximal
467.07/467.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
467.07/467.25 c trivial : 0.00 0 0 0 0 0 0 0 0
467.07/467.25 c dualfix : 0.00 0 0 0 0 0 0 0 0
467.07/467.25 c boundshift : 0.00 0 0 0 0 0 0 0 0
467.07/467.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0
467.07/467.25 c implics : 0.00 0 0 0 0 0 0 0 0
467.07/467.25 c probing : 0.03 0 0 0 0 0 0 0 0
467.07/467.25 c and : 0.13 16 128 0 0 0 128 0 128
467.07/467.25 c linear : 0.00 1 7 0 0 0 0 0 63
467.07/467.25 c logicor : 0.00 0 0 0 0 0 0 0 0
467.07/467.25 c root node : - 71 - - 71 - - - -
467.07/467.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
467.07/467.25 c integral : 0 0 0 0 0 0 0 0 0 0
467.07/467.25 c and : 512 0 2502381 0 888655 24223 5635595 0 0 0
467.07/467.25 c linear : 8 0 2478158 0 888655 179236 1851545 0 0 0
467.07/467.25 c logicor : 9+ 0 1011438 0 888476 7512 278982 0 0 0
467.07/467.25 c countsols : 0 0 0 0 888658 0 0 0 0 0
467.07/467.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
467.07/467.25 c integral : 0.00 0.00 0.00 0.00 0.00
467.07/467.25 c and : 67.34 0.00 43.79 0.00 23.55
467.07/467.25 c linear : 146.53 0.00 145.80 0.00 0.73
467.07/467.25 c logicor : 29.18 0.00 27.38 0.00 1.80
467.07/467.25 c countsols : 0.38 0.00 0.00 0.00 0.38
467.07/467.25 c Propagators : Time Calls Cutoffs DomReds
467.07/467.25 c vbounds : 1.44 2 0 0
467.07/467.25 c rootredcost : 1.22 0 0 0
467.07/467.25 c pseudoobj : 2.77 2501954 27 13888
467.07/467.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
467.07/467.25 c propagation : 100.00 210998 210134 3043024 77.4 10308 56.4 -
467.07/467.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
467.07/467.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
467.07/467.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
467.07/467.25 c pseudo solution : 0.00 1 1 1 0.0 0 0.0 -
467.07/467.25 c applied globally : - - - 262632 34.6 - - -
467.07/467.25 c applied locally : - - - 5944 90.0 - - -
467.07/467.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
467.07/467.25 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
467.07/467.25 c redcost : 0.00 0 0 0 0 0
467.07/467.25 c impliedbounds : 0.00 0 0 0 0 0
467.07/467.25 c intobj : 0.00 0 0 0 0 0
467.07/467.25 c cgmip : 0.00 0 0 0 0 0
467.07/467.25 c gomory : 0.00 0 0 0 0 0
467.07/467.25 c strongcg : 0.00 0 0 0 0 0
467.07/467.25 c cmir : 0.00 0 0 0 0 0
467.07/467.25 c flowcover : 0.00 0 0 0 0 0
467.07/467.25 c clique : 0.00 0 0 0 0 0
467.07/467.25 c zerohalf : 0.00 0 0 0 0 0
467.07/467.25 c mcf : 0.00 0 0 0 0 0
467.07/467.25 c rapidlearning : 0.00 0 0 0 0 0
467.07/467.25 c Pricers : Time Calls Vars
467.07/467.25 c problem variables: 0.00 0 0
467.07/467.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
467.07/467.25 c relpscost : 0.00 0 0 0 0 0 0
467.07/467.25 c pscost : 0.00 0 0 0 0 0 0
467.07/467.25 c inference : 66.65 888655 0 0 0 0 1777310
467.07/467.25 c mostinf : 0.00 0 0 0 0 0 0
467.07/467.25 c leastinf : 0.00 0 0 0 0 0 0
467.07/467.25 c fullstrong : 0.00 0 0 0 0 0 0
467.07/467.25 c allfullstrong : 0.00 0 0 0 0 0 0
467.07/467.25 c random : 0.00 0 0 0 0 0 0
467.07/467.25 c Primal Heuristics : Time Calls Found
467.07/467.25 c LP solutions : 0.00 - 0
467.07/467.25 c pseudo solutions : 2.58 - 3
467.07/467.25 c oneopt : 0.74 0 0
467.07/467.25 c trivial : 0.00 2 0
467.07/467.25 c simplerounding : 0.00 0 0
467.07/467.25 c zirounding : 0.00 0 0
467.07/467.25 c rounding : 0.00 0 0
467.07/467.25 c shifting : 0.00 0 0
467.07/467.25 c intshifting : 0.00 0 0
467.07/467.25 c twoopt : 0.00 0 0
467.07/467.25 c fixandinfer : 0.00 0 0
467.07/467.25 c feaspump : 0.00 0 0
467.07/467.25 c coefdiving : 0.00 0 0
467.07/467.25 c pscostdiving : 0.00 0 0
467.07/467.25 c fracdiving : 0.00 0 0
467.07/467.25 c veclendiving : 0.00 0 0
467.07/467.25 c intdiving : 0.00 0 0
467.07/467.25 c actconsdiving : 0.00 0 0
467.07/467.25 c objpscostdiving : 0.00 0 0
467.07/467.25 c rootsoldiving : 0.00 0 0
467.07/467.25 c linesearchdiving : 0.00 0 0
467.07/467.25 c guideddiving : 0.00 0 0
467.07/467.25 c octane : 0.00 0 0
467.07/467.25 c rens : 0.00 0 0
467.07/467.25 c rins : 0.00 0 0
467.07/467.25 c localbranching : 0.00 0 0
467.07/467.25 c mutation : 0.00 0 0
467.07/467.25 c crossover : 0.00 0 0
467.07/467.25 c dins : 0.00 0 0
467.07/467.25 c undercover : 0.00 0 0
467.07/467.25 c nlp : 0.52 0 0
467.07/467.25 c trysol : 0.53 0 0
467.07/467.25 c LP : Time Calls Iterations Iter/call Iter/sec
467.07/467.25 c primal LP : 0.00 0 0 0.00 -
467.07/467.25 c dual LP : 0.00 0 0 0.00 -
467.07/467.25 c lex dual LP : 0.00 0 0 0.00 -
467.07/467.25 c barrier LP : 0.00 0 0 0.00 -
467.07/467.25 c diving/probing LP: 0.00 0 0 0.00 -
467.07/467.25 c strong branching : 0.00 0 0 0.00 -
467.07/467.25 c (at root node) : - 0 0 0.00 -
467.07/467.25 c conflict analysis: 0.00 0 0 0.00 -
467.07/467.25 c B&B Tree :
467.07/467.25 c number of runs : 1
467.07/467.25 c nodes : 1016947
467.07/467.25 c nodes (total) : 1016947
467.07/467.25 c nodes left : 0
467.07/467.25 c max depth : 474
467.07/467.25 c max depth (total): 474
467.07/467.25 c backtracks : 93061 (9.2%)
467.07/467.25 c delayed cutoffs : 122486
467.07/467.25 c repropagations : 277005 (1156252 domain reductions, 82710 cutoffs)
467.07/467.25 c avg switch length: 7.32
467.07/467.25 c switching time : 77.72
467.07/467.25 c Solution :
467.07/467.25 c Solutions found : 3 (3 improvements)
467.07/467.25 c First Solution : +1.10000000000000e+01 (in run 1, after 72759 nodes, 24.38 seconds, depth 119, found by <relaxation>)
467.07/467.25 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1016946 nodes, 438.20 seconds, depth 72, found by <relaxation>)
467.07/467.25 c Dual Bound : +3.00000000000000e+00
467.07/467.25 c Gap : 0.00 %
467.07/467.25 c Root Dual Bound : +1.00000000000000e+00
467.07/467.25 c Root Iterations : 0
467.16/467.30 c Time complete: 467.18.