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-2693937-1277897941.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 64 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 4 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 926k| 0 | - | 293 | 158 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.13 c 1.1s| 10000 | 7173 | 0 | 0.0 |6598k| 176 | - | 293 |3288 | 0 | 0 | 0 |7975 | 0 | 0.000000e+00 | -- | Inf
3.09/3.12 c 3.0s| 20000 | 12230 | 0 | 0.0 | 11M| 176 | - | 293 |4758 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.50/5.56 c 5.3s| 30000 | 17059 | 0 | 0.0 | 17M| 176 | - | 293 |8840 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
8.99/9.00 c 8.6s| 40000 | 20546 | 0 | 0.0 | 22M| 176 | - | 293 | 11k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
12.99/13.03 c 12.6s| 50000 | 22939 | 0 | 0.0 | 26M| 176 | - | 293 | 12k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
17.39/17.48 c 16.9s| 60000 | 25328 | 0 | 0.0 | 28M| 176 | - | 293 |7043 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
17.99/18.08 o 654
17.99/18.08 c *17.5s| 61639 | 25650 | 0 | 0.0 | 29M| 176 | - | 293 |7771 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 6.540000e+02 | Inf
18.09/18.11 o 609
18.09/18.11 c *17.5s| 61942 | 25940 | 0 | 0.0 | 29M| 176 | - | 293 |7303 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 6.090000e+02 | Inf
18.09/18.13 o 549
18.09/18.13 c *17.5s| 62234 | 26222 | 0 | 0.0 | 29M| 176 | - | 293 |6951 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 5.490000e+02 | Inf
18.09/18.13 o 452
18.09/18.13 c *17.5s| 62240 | 26226 | 0 | 0.0 | 29M| 176 | - | 293 |6948 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 4.520000e+02 | Inf
18.09/18.13 o 337
18.09/18.13 c *17.5s| 62241 | 26222 | 0 | 0.0 | 29M| 176 | - | 293 |6948 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 3.370000e+02 | Inf
18.09/18.18 o 335
18.09/18.18 c *17.6s| 62717 | 26659 | 0 | 0.0 | 29M| 176 | - | 293 |6024 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 3.350000e+02 | Inf
18.19/18.23 o 284
18.19/18.23 c *17.6s| 63179 | 27083 | 0 | 0.0 | 29M| 176 | - | 293 |5450 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
20.80/20.84 c 20.2s| 70000 | 28287 | 0 | 0.0 | 33M| 176 | - | 293 | 10k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
25.99/26.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.99/26.09 c 25.3s| 80000 | 29667 | 0 | 0.0 | 38M| 176 | - | 293 | 16k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
33.39/33.41 c 32.5s| 90000 | 29500 | 0 | 0.0 | 42M| 176 | - | 293 | 20k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
42.00/42.08 c 41.1s|100000 | 28763 | 0 | 0.0 | 45M| 176 | - | 293 | 24k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
51.49/51.59 c 50.5s|110000 | 27727 | 0 | 0.0 | 46M| 176 | - | 293 | 27k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
59.29/59.39 c 58.2s|120000 | 30012 | 0 | 0.0 | 43M| 176 | - | 293 | 11k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
63.89/63.95 c 62.6s|130000 | 33507 | 0 | 0.0 | 45M| 176 | - | 293 |8272 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
64.90/64.96 o 282
64.90/64.96 c *63.6s|138092 | 40283 | 0 | 0.0 | 47M| 176 | - | 293 |4238 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.820000e+02 | Inf
64.99/65.07 o 254
64.99/65.07 c *63.7s|139034 | 41044 | 0 | 0.0 | 48M| 176 | - | 293 |4295 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
65.09/65.19 c 63.8s|140000 | 41849 | 0 | 0.0 | 48M| 176 | - | 293 |4292 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
66.29/66.30 o 249
66.29/66.30 c *64.8s|147838 | 47786 | 0 | 0.0 | 51M| 176 | - | 293 |4921 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
66.70/66.74 c 65.3s|150000 | 49034 | 0 | 0.0 | 52M| 176 | - | 293 |5202 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
73.09/73.19 c 71.6s|160000 | 46479 | 0 | 0.0 | 54M| 176 | - | 293 | 15k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
85.09/85.18 c 83.5s|170000 | 40839 | 0 | 0.0 | 51M| 176 | - | 293 | 24k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
98.29/98.35 c 96.5s|180000 | 37817 | 0 | 0.0 | 43M| 176 | - | 293 | 14k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
105.39/105.47 c 104s|190000 | 38423 | 0 | 0.0 | 46M| 176 | - | 293 | 15k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
113.50/113.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.50/113.51 c 111s|200000 | 39098 | 0 | 0.0 | 45M| 176 | - | 293 | 12k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
115.30/115.37 c 113s|210000 | 46743 | 0 | 0.0 | 47M| 176 | - | 293 |4638 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
115.40/115.43 o 191
115.40/115.43 c * 113s|210286 | 46925 | 0 | 0.0 | 47M| 176 | - | 293 |4612 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
116.99/117.01 c 115s|220000 | 54083 | 0 | 0.0 | 51M| 176 | - | 293 |4898 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
118.70/118.76 c 116s|230000 | 61139 | 0 | 0.0 | 55M| 176 | - | 293 |5518 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
120.50/120.52 c 118s|240000 | 68172 | 0 | 0.0 | 59M| 176 | - | 293 |6314 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
122.39/122.44 c 120s|250000 | 75001 | 0 | 0.0 | 64M| 176 | - | 293 |7140 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
123.20/123.29 o 171
123.20/123.29 c * 121s|254252 | 77823 | 0 | 0.0 | 65M| 176 | - | 293 |7322 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
124.40/124.46 c 122s|260000 | 81677 | 0 | 0.0 | 68M| 176 | - | 293 |7217 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
126.50/126.55 c 124s|270000 | 88212 | 0 | 0.0 | 72M| 176 | - | 293 |7471 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
128.80/128.81 c 126s|280000 | 94414 | 0 | 0.0 | 76M| 176 | - | 293 |7710 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
131.09/131.17 c 128s|290000 |100307 | 0 | 0.0 | 81M| 176 | - | 293 |8036 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
133.70/133.80 c 131s|300000 |105689 | 0 | 0.0 | 85M| 176 | - | 293 |8502 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
136.49/136.50 c 134s|310000 |110876 | 0 | 0.0 | 89M| 176 | - | 293 |9322 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
138.99/139.06 c 136s|320000 |116703 | 0 | 0.0 | 92M| 176 | - | 293 |4317 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
143.19/143.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.19/143.29 c 140s|330000 |116736 | 0 | 0.0 | 88M| 176 | - | 293 |8786 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
150.79/150.85 c 148s|340000 |114923 | 0 | 0.0 | 90M| 176 | - | 293 | 20k| 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 1.710000e+02 | Large
160.89/160.92 c 158s|350000 |115498 | 0 | 0.0 | 88M| 176 | - | 293 | 15k| 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 1.710000e+02 | Large
164.20/164.21 c 161s|360000 |121355 | 0 | 0.0 | 89M| 176 | - | 293 |6166 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 1.710000e+02 | Large
165.60/165.60 o 152
165.60/165.60 c * 162s|365412 |124162 | 0 | 0.0 | 91M| 176 | - | 293 |6254 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 1.520000e+02 | Large
166.70/166.75 c 163s|370000 |126860 | 0 | 0.0 | 93M| 176 | - | 293 |6353 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | 1.520000e+02 | Large
167.10/167.10 o 129
167.10/167.10 c * 164s|371284 |126708 | 0 | 0.0 | 93M| 176 | - | 293 |6477 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 1.290000e+02 | Large
169.30/169.31 c 166s|380000 |131793 | 0 | 0.0 | 97M| 176 | - | 293 |6846 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 1.290000e+02 | Large
171.99/172.09 c 168s|390000 |137074 | 0 | 0.0 | 101M| 176 | - | 293 |7162 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 1.290000e+02 | Large
174.90/174.99 c 171s|400000 |142111 | 0 | 0.0 | 106M| 176 | - | 293 |7537 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 1.290000e+02 | Large
177.00/177.10 o 122
177.00/177.10 c * 173s|407202 |145315 | 0 | 0.0 | 108M| 176 | - | 293 |7847 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 1.220000e+02 | Large
177.00/177.10 o 118
177.00/177.10 c * 173s|407203 |145116 | 0 | 0.0 | 108M| 176 | - | 293 |7847 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 1.180000e+02 | Large
177.99/178.07 c 174s|410000 |146260 | 0 | 0.0 | 109M| 176 | - | 293 |7845 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | 1.180000e+02 | Large
180.90/180.99 c 177s|420000 |151312 | 0 | 0.0 | 114M| 176 | - | 293 |8423 | 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 1.180000e+02 | Large
181.29/181.32 o 102
181.29/181.32 c * 177s|420894 |149520 | 0 | 0.0 | 112M| 176 | - | 293 |8630 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.020000e+02 | Large
184.39/184.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.39/184.40 c 180s|430000 |153381 | 0 | 0.0 | 116M| 176 | - | 293 |9005 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | 1.020000e+02 | Large
187.69/187.74 c 184s|440000 |157723 | 0 | 0.0 | 120M| 176 | - | 293 |9284 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 1.020000e+02 | Large
190.99/191.05 c 187s|450000 |162254 | 0 | 0.0 | 125M| 176 | - | 293 |9772 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 1.020000e+02 | Large
194.39/194.46 c 190s|460000 |166610 | 0 | 0.0 | 129M| 176 | - | 293 | 10k| 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 1.020000e+02 | Large
198.19/198.21 c 194s|470000 |170505 | 0 | 0.0 | 133M| 176 | - | 293 | 10k| 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 1.020000e+02 | Large
201.60/201.68 c 197s|480000 |174894 | 0 | 0.0 | 138M| 176 | - | 293 | 11k| 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.020000e+02 | Large
205.09/205.19 c 200s|490000 |179335 | 0 | 0.0 | 142M| 176 | - | 293 | 11k| 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 1.020000e+02 | Large
205.99/206.04 o 63
205.99/206.04 c * 201s|492169 |153938 | 0 | 0.0 | 123M| 176 | - | 293 | 11k| 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
210.00/210.07 c 205s|500000 |155237 | 0 | 0.0 | 127M| 176 | - | 293 | 11k| 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
215.60/215.66 c 211s|510000 |156267 | 0 | 0.0 | 130M| 176 | - | 293 | 12k| 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
221.80/221.86 c 217s|520000 |156693 | 0 | 0.0 | 134M| 176 | - | 293 | 12k| 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
228.50/228.59 c 223s|530000 |156278 | 0 | 0.0 | 137M| 176 | - | 293 | 13k| 0 | 0 | 0 | 571k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
236.40/236.45 c 231s|540000 |154297 | 0 | 0.0 | 138M| 176 | - | 293 | 14k| 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
245.10/245.19 c 240s|550000 |150948 | 0 | 0.0 | 140M| 176 | - | 293 | 16k| 0 | 0 | 0 | 601k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
250.19/250.25 c 245s|560000 |153862 | 0 | 0.0 | 141M| 176 | - | 293 |7158 | 0 | 0 | 0 | 613k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
254.00/254.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.00/254.02 c 248s|570000 |157792 | 0 | 0.0 | 146M| 176 | - | 293 |8821 | 0 | 0 | 0 | 626k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
258.90/258.94 c 253s|580000 |159684 | 0 | 0.0 | 150M| 176 | - | 293 | 11k| 0 | 0 | 0 | 639k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
264.10/264.17 c 258s|590000 |161299 | 0 | 0.0 | 153M| 176 | - | 293 |8866 | 0 | 0 | 0 | 654k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
265.20/265.25 o 57
265.20/265.25 c * 259s|591981 |157735 | 0 | 0.0 | 150M| 176 | - | 293 |9258 | 0 | 0 | 0 | 657k| 0 | 2.000000e+00 | 5.700000e+01 |2750.00%
270.20/270.22 o 39
270.20/270.22 c * 264s|599467 |144211 | 0 | 0.0 | 138M| 176 | - | 293 | 11k| 0 | 0 | 0 | 671k| 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
270.60/270.64 c 265s|600000 |144163 | 0 | 0.0 | 138M| 176 | - | 293 | 11k| 0 | 0 | 0 | 672k| 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
275.70/275.78 o 36
275.70/275.78 c * 270s|606091 |142748 | 0 | 0.0 | 141M| 176 | - | 293 | 13k| 0 | 0 | 0 | 684k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
279.50/279.52 c 273s|610000 |141972 | 0 | 0.0 | 143M| 176 | - | 293 | 14k| 0 | 0 | 0 | 692k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
286.70/286.79 o 2
286.70/286.79 c * 280s|616662 | 0 | 0 | 0.0 | 10M| 176 | - | 293 | 16k| 0 | 0 | 0 | 705k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
286.70/286.79 c
286.70/286.79 c SCIP Status : problem is solved [optimal solution found]
286.70/286.79 c Solving Time (sec) : 280.47
286.70/286.79 c Solving Nodes : 616662
286.70/286.79 c Primal Bound : +2.00000000000000e+00 (22 solutions)
286.70/286.79 c Dual Bound : +2.00000000000000e+00
286.70/286.79 c Gap : 0.00 %
286.70/286.79 s OPTIMUM FOUND
286.70/286.79 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
286.70/286.79 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127
286.70/286.79 v -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106
286.70/286.79 v -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
286.70/286.79 v -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
286.70/286.79 v 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
286.70/286.79 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
286.70/286.79 v -x4 -x3 -x2 -x1
286.70/286.79 c SCIP Status : problem is solved [optimal solution found]
286.70/286.79 c Solving Time : 280.47
286.70/286.79 c Original Problem :
286.70/286.79 c Problem name : HOME/instance-2693937-1277897941.wbo
286.70/286.79 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
286.70/286.79 c Constraints : 166 initial, 166 maximal
286.70/286.79 c Presolved Problem :
286.70/286.79 c Problem name : t_HOME/instance-2693937-1277897941.wbo
286.70/286.79 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
286.70/286.79 c Constraints : 158 initial, 29252 maximal
286.70/286.79 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
286.70/286.79 c trivial : 0.00 0 0 0 0 0 0 0 0
286.70/286.79 c dualfix : 0.00 4 0 0 0 0 0 0 0
286.70/286.79 c boundshift : 0.00 0 0 0 0 0 0 0 0
286.70/286.79 c inttobinary : 0.00 0 0 0 0 0 0 0 0
286.70/286.79 c implics : 0.00 0 0 0 0 0 0 0 0
286.70/286.79 c probing : 0.01 0 0 0 0 0 0 0 0
286.70/286.79 c indicator : 0.00 0 0 0 0 0 2 0 0
286.70/286.79 c setppc : 0.00 0 0 0 0 0 0 0 0
286.70/286.79 c linear : 0.00 0 0 0 62 0 6 2 0
286.70/286.79 c logicor : 0.00 0 0 0 0 0 0 0 0
286.70/286.79 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
286.70/286.79 c root node : - 0 - - 0 - - - -
286.70/286.79 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
286.70/286.79 c integral : 0 0 0 0 0 0 0 0 0 0
286.70/286.79 c indicator : 62 0 1213563 0 368974 4152 724732 0 0 0
286.70/286.79 c setppc : 30 0 1650764 0 454124 17221 1950492 0 0 0
286.70/286.79 c linear : 62 0 1633647 0 454152 159905 7804977 0 0 0
286.70/286.79 c logicor : 4+ 0 797063 0 451911 44882 579881 0 0 0
286.70/286.79 c bounddisjunction : 0+ 0 36597 0 0 0 4410 0 0 0
286.70/286.79 c countsols : 0 0 0 0 454174 0 0 0 0 0
286.70/286.79 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
286.70/286.79 c integral : 0.00 0.00 0.00 0.00 0.00
286.70/286.79 c indicator : 1.34 0.00 0.90 0.00 0.44
286.70/286.79 c setppc : 6.12 0.00 4.66 0.00 1.46
286.70/286.79 c linear : 35.31 0.00 35.07 0.00 0.24
286.70/286.79 c logicor : 97.72 0.00 97.44 0.00 0.28
286.70/286.79 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
286.70/286.79 c countsols : 0.07 0.00 0.00 0.00 0.07
286.70/286.79 c Propagators : Time Calls Cutoffs DomReds
286.70/286.79 c vbounds : 0.37 2 0 0
286.70/286.79 c rootredcost : 0.40 0 0 0
286.70/286.79 c pseudoobj : 5.27 1668124 13243 677271
286.70/286.79 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
286.70/286.79 c propagation : 13.62 235251 235226 1149056 26.4 98420 14.6 -
286.70/286.79 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
286.70/286.79 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
286.70/286.79 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
286.70/286.79 c pseudo solution : 0.01 53 53 244 26.7 26 15.0 -
286.70/286.79 c applied globally : - - - 677920 17.9 - - -
286.70/286.79 c applied locally : - - - 27807 37.9 - - -
286.70/286.79 c Separators : Time Calls Cutoffs DomReds Cuts Conss
286.70/286.79 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
286.70/286.79 c redcost : 0.00 0 0 0 0 0
286.70/286.79 c impliedbounds : 0.00 0 0 0 0 0
286.70/286.79 c intobj : 0.00 0 0 0 0 0
286.70/286.79 c cgmip : 0.00 0 0 0 0 0
286.70/286.79 c gomory : 0.00 0 0 0 0 0
286.70/286.79 c strongcg : 0.00 0 0 0 0 0
286.70/286.79 c cmir : 0.00 0 0 0 0 0
286.70/286.79 c flowcover : 0.00 0 0 0 0 0
286.70/286.79 c clique : 0.00 0 0 0 0 0
286.70/286.79 c zerohalf : 0.00 0 0 0 0 0
286.70/286.79 c mcf : 0.00 0 0 0 0 0
286.70/286.79 c rapidlearning : 0.00 0 0 0 0 0
286.70/286.79 c Pricers : Time Calls Vars
286.70/286.79 c problem variables: 0.00 0 0
286.70/286.79 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
286.70/286.79 c relpscost : 0.00 0 0 0 0 0 0
286.70/286.79 c pscost : 0.00 0 0 0 0 0 0
286.70/286.79 c inference : 3.31 454152 0 0 0 0 908304
286.70/286.79 c mostinf : 0.00 0 0 0 0 0 0
286.70/286.79 c leastinf : 0.00 0 0 0 0 0 0
286.70/286.79 c fullstrong : 0.00 0 0 0 0 0 0
286.70/286.79 c allfullstrong : 0.00 0 0 0 0 0 0
286.70/286.79 c random : 0.00 0 0 0 0 0 0
286.70/286.79 c Primal Heuristics : Time Calls Found
286.70/286.79 c LP solutions : 0.00 - 0
286.70/286.79 c pseudo solutions : 0.35 - 22
286.70/286.79 c oneopt : 0.24 0 0
286.70/286.79 c trivial : 0.00 2 0
286.70/286.79 c simplerounding : 0.00 0 0
286.70/286.79 c zirounding : 0.00 0 0
286.70/286.79 c rounding : 0.00 0 0
286.70/286.79 c shifting : 0.00 0 0
286.70/286.79 c intshifting : 0.00 0 0
286.70/286.79 c twoopt : 0.00 0 0
286.70/286.79 c fixandinfer : 0.00 0 0
286.70/286.79 c feaspump : 0.00 0 0
286.70/286.79 c coefdiving : 0.00 0 0
286.70/286.79 c pscostdiving : 0.00 0 0
286.70/286.79 c fracdiving : 0.00 0 0
286.70/286.79 c veclendiving : 0.00 0 0
286.70/286.79 c intdiving : 0.00 0 0
286.70/286.79 c actconsdiving : 0.00 0 0
286.70/286.79 c objpscostdiving : 0.00 0 0
286.70/286.79 c rootsoldiving : 0.00 0 0
286.70/286.79 c linesearchdiving : 0.00 0 0
286.70/286.79 c guideddiving : 0.00 0 0
286.70/286.79 c octane : 0.00 0 0
286.70/286.79 c rens : 0.00 0 0
286.70/286.79 c rins : 0.00 0 0
286.70/286.79 c localbranching : 0.00 0 0
286.70/286.79 c mutation : 0.00 0 0
286.70/286.79 c crossover : 0.00 0 0
286.70/286.79 c dins : 0.00 0 0
286.70/286.79 c undercover : 0.00 0 0
286.70/286.79 c nlp : 0.12 0 0
286.70/286.79 c trysol : 0.09 1 0
286.70/286.79 c LP : Time Calls Iterations Iter/call Iter/sec
286.70/286.79 c primal LP : 0.00 0 0 0.00 -
286.70/286.79 c dual LP : 0.00 0 0 0.00 -
286.70/286.79 c lex dual LP : 0.00 0 0 0.00 -
286.70/286.79 c barrier LP : 0.00 0 0 0.00 -
286.70/286.79 c diving/probing LP: 0.00 0 0 0.00 -
286.70/286.79 c strong branching : 0.00 0 0 0.00 -
286.70/286.79 c (at root node) : - 0 0 0.00 -
286.70/286.79 c conflict analysis: 0.00 0 0 0.00 -
286.70/286.79 c B&B Tree :
286.70/286.79 c number of runs : 1
286.70/286.79 c nodes : 616662
286.70/286.79 c nodes (total) : 616662
286.70/286.79 c nodes left : 0
286.70/286.79 c max depth : 176
286.70/286.79 c max depth (total): 176
286.70/286.79 c backtracks : 168522 (27.3%)
286.70/286.79 c delayed cutoffs : 103094
286.70/286.79 c repropagations : 558313 (3159137 domain reductions, 76968 cutoffs)
286.70/286.79 c avg switch length: 16.16
286.70/286.79 c switching time : 89.33
286.70/286.79 c Solution :
286.70/286.79 c Solutions found : 22 (22 improvements)
286.70/286.79 c First Solution : +6.54000000000000e+02 (in run 1, after 61639 nodes, 17.50 seconds, depth 103, found by <relaxation>)
286.70/286.79 c Primal Bound : +2.00000000000000e+00 (in run 1, after 616662 nodes, 280.21 seconds, depth 65, found by <relaxation>)
286.70/286.79 c Dual Bound : +2.00000000000000e+00
286.70/286.79 c Gap : 0.00 %
286.70/286.79 c Root Dual Bound : +0.00000000000000e+00
286.70/286.79 c Root Iterations : 0
286.80/286.82 c Time complete: 286.81.