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-2693957-1277898468.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.19/1.21 c 1.0s| 10000 | 6774 | 0 | 0.0 |6990k| 176 | - | 293 |3959 | 0 | 0 | 0 |7649 | 0 | 0.000000e+00 | -- | Inf
3.39/3.42 c 2.9s| 20000 | 11414 | 0 | 0.0 | 12M| 176 | - | 293 |6267 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
6.59/6.61 c 5.8s| 30000 | 14829 | 0 | 0.0 | 17M| 176 | - | 293 |9127 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
10.29/10.36 c 9.2s| 40000 | 16797 | 0 | 0.0 | 22M| 176 | - | 293 | 12k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
14.09/14.15 c 12.7s| 50000 | 20128 | 0 | 0.0 | 24M| 176 | - | 293 |6945 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
15.19/15.21 o 640
15.19/15.21 c *13.6s| 54726 | 22802 | 0 | 0.0 | 26M| 176 | - | 293 |5478 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 6.400000e+02 | Inf
16.59/16.63 c 14.9s| 60000 | 24750 | 0 | 0.0 | 28M| 176 | - | 293 |7571 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 6.400000e+02 | Inf
21.79/21.88 c 19.8s| 70000 | 25120 | 0 | 0.0 | 33M| 176 | - | 293 | 14k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 6.400000e+02 | Inf
28.79/28.87 c 26.4s| 80000 | 23947 | 0 | 0.0 | 35M| 176 | - | 293 | 16k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 6.400000e+02 | Inf
35.59/35.69 c 32.8s| 90000 | 22497 | 0 | 0.0 | 37M| 176 | - | 293 | 22k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.400000e+02 | Inf
41.10/41.19 c 38.0s|100000 | 26044 | 0 | 0.0 | 36M| 176 | - | 293 |9376 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 6.400000e+02 | Inf
45.10/45.16 c 41.7s|110000 | 29127 | 0 | 0.0 | 41M| 176 | - | 293 | 11k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 6.400000e+02 | Inf
47.59/47.66 c 43.9s|120000 | 35300 | 0 | 0.0 | 42M| 176 | - | 293 |2937 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 6.400000e+02 | Inf
47.59/47.66 o 632
47.59/47.66 c *43.9s|120027 | 35321 | 0 | 0.0 | 42M| 176 | - | 293 |2948 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 6.320000e+02 | Inf
47.59/47.68 o 513
47.59/47.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.59/47.68 c *43.9s|120269 | 35524 | 0 | 0.0 | 42M| 176 | - | 293 |2958 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 5.130000e+02 | Inf
47.59/47.68 o 396
47.59/47.68 c *43.9s|120273 | 35522 | 0 | 0.0 | 42M| 176 | - | 293 |2958 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 3.960000e+02 | Inf
47.89/47.97 o 370
47.89/47.97 c *44.2s|122824 | 37596 | 0 | 0.0 | 43M| 176 | - | 293 |3210 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 3.700000e+02 | Inf
47.89/47.97 o 242
47.89/47.97 c *44.2s|122825 | 37576 | 0 | 0.0 | 43M| 176 | - | 293 |3210 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
48.69/48.77 c 44.8s|130000 | 43444 | 0 | 0.0 | 46M| 176 | - | 293 |3834 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
50.19/50.26 c 46.0s|140000 | 50593 | 0 | 0.0 | 50M| 176 | - | 293 |4851 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
56.59/56.62 c 52.0s|150000 | 48124 | 0 | 0.0 | 52M| 176 | - | 293 | 16k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
67.39/67.49 c 62.5s|160000 | 43645 | 0 | 0.0 | 45M| 176 | - | 293 | 16k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
74.20/74.20 c 68.9s|170000 | 45206 | 0 | 0.0 | 46M| 176 | - | 293 | 14k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
80.99/81.04 c 75.3s|180000 | 45586 | 0 | 0.0 | 48M| 176 | - | 293 | 15k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
88.49/88.53 c 82.5s|190000 | 45673 | 0 | 0.0 | 51M| 176 | - | 293 | 21k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
91.79/91.87 c 85.5s|200000 | 52064 | 0 | 0.0 | 47M| 176 | - | 293 |2449 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
93.19/93.22 c 86.6s|210000 | 59619 | 0 | 0.0 | 51M| 176 | - | 293 |2875 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
94.50/94.56 c 87.7s|220000 | 67176 | 0 | 0.0 | 55M| 176 | - | 293 |3500 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
95.29/95.32 o 222
95.29/95.32 c *88.3s|225072 | 70821 | 0 | 0.0 | 57M| 176 | - | 293 |3693 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
95.99/96.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.99/96.07 c 88.9s|230000 | 74346 | 0 | 0.0 | 59M| 176 | - | 293 |3766 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
97.59/97.67 c 90.3s|240000 | 81344 | 0 | 0.0 | 64M| 176 | - | 293 |4188 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
99.29/99.36 c 91.8s|250000 | 88149 | 0 | 0.0 | 68M| 176 | - | 293 |4656 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
101.10/101.11 c 93.2s|260000 | 94860 | 0 | 0.0 | 72M| 176 | - | 293 |5200 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
102.90/102.91 c 94.8s|270000 |101583 | 0 | 0.0 | 76M| 176 | - | 293 |5638 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
103.80/103.83 o 154
103.80/103.83 c *95.5s|275044 |104354 | 0 | 0.0 | 77M| 176 | - | 293 |5895 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
104.59/104.69 c 96.3s|280000 |107805 | 0 | 0.0 | 79M| 176 | - | 293 |6250 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
106.60/106.66 c 98.0s|290000 |114245 | 0 | 0.0 | 84M| 176 | - | 293 |6782 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
108.80/108.84 c 99.9s|300000 |120293 | 0 | 0.0 | 88M| 176 | - | 293 |7145 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
110.99/111.10 c 102s|310000 |126200 | 0 | 0.0 | 92M| 176 | - | 293 |7778 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
113.60/113.68 c 104s|320000 |131423 | 0 | 0.0 | 96M| 176 | - | 293 |8468 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
116.40/116.42 c 107s|330000 |136661 | 0 | 0.0 | 99M| 176 | - | 293 |4120 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
120.09/120.18 c 110s|340000 |138365 | 0 | 0.0 | 98M| 176 | - | 293 |9146 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 1.540000e+02 | Large
129.70/129.80 c 119s|350000 |134920 | 0 | 0.0 | 102M| 176 | - | 293 | 22k| 0 | 0 | 0 | 408k| 0 | 1.000000e+00 | 1.540000e+02 | Large
144.00/144.09 c 133s|360000 |130845 | 0 | 0.0 | 101M| 176 | - | 293 | 27k| 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | 1.540000e+02 | Large
153.90/153.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.90/153.90 c 143s|370000 |132334 | 0 | 0.0 | 93M| 176 | - | 293 |5924 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 1.540000e+02 | Large
155.99/156.08 c 144s|380000 |138479 | 0 | 0.0 | 96M| 176 | - | 293 |3742 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 1.540000e+02 | Large
158.19/158.23 c 146s|390000 |144530 | 0 | 0.0 | 100M| 176 | - | 293 |3917 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 1.540000e+02 | Large
160.40/160.40 c 148s|400000 |150417 | 0 | 0.0 | 104M| 176 | - | 293 |4172 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 1.540000e+02 | Large
162.49/162.50 c 150s|410000 |156446 | 0 | 0.0 | 109M| 176 | - | 293 |4900 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 1.540000e+02 | Large
164.59/164.69 c 152s|420000 |162387 | 0 | 0.0 | 113M| 176 | - | 293 |4655 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 1.540000e+02 | Large
166.80/166.83 c 154s|430000 |168431 | 0 | 0.0 | 117M| 176 | - | 293 |5070 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 1.540000e+02 | Large
169.00/169.08 c 156s|440000 |174255 | 0 | 0.0 | 122M| 176 | - | 293 |5364 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 1.540000e+02 | Large
171.29/171.32 c 158s|450000 |180122 | 0 | 0.0 | 126M| 176 | - | 293 |5646 | 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | 1.540000e+02 | Large
173.50/173.55 c 160s|460000 |186094 | 0 | 0.0 | 130M| 176 | - | 293 |5786 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 1.540000e+02 | Large
175.79/175.85 c 162s|470000 |191968 | 0 | 0.0 | 135M| 176 | - | 293 |5985 | 0 | 0 | 0 | 509k| 0 | 1.000000e+00 | 1.540000e+02 | Large
178.10/178.18 c 164s|480000 |197733 | 0 | 0.0 | 139M| 176 | - | 293 |6159 | 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 1.540000e+02 | Large
178.80/178.86 o 117
178.80/178.86 c * 164s|483008 |195423 | 0 | 0.0 | 137M| 176 | - | 293 |6281 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 1.170000e+02 | Large
180.59/180.60 c 166s|490000 |199365 | 0 | 0.0 | 140M| 176 | - | 293 |6135 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 1.170000e+02 | Large
182.89/182.90 c 168s|500000 |205209 | 0 | 0.0 | 144M| 176 | - | 293 |6610 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 1.170000e+02 | Large
185.29/185.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.29/185.38 c 170s|510000 |210651 | 0 | 0.0 | 149M| 176 | - | 293 |6967 | 0 | 0 | 0 | 536k| 0 | 1.000000e+00 | 1.170000e+02 | Large
187.90/187.91 c 172s|520000 |216032 | 0 | 0.0 | 153M| 176 | - | 293 |6942 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 1.170000e+02 | Large
190.49/190.51 c 175s|530000 |221244 | 0 | 0.0 | 158M| 176 | - | 293 |7180 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 1.170000e+02 | Large
193.19/193.21 c 177s|540000 |226366 | 0 | 0.0 | 162M| 176 | - | 293 |7146 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 1.170000e+02 | Large
195.90/195.91 c 179s|550000 |231465 | 0 | 0.0 | 166M| 176 | - | 293 |7395 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 1.170000e+02 | Large
198.50/198.59 c 182s|560000 |236625 | 0 | 0.0 | 170M| 176 | - | 293 |7216 | 0 | 0 | 0 | 571k| 0 | 1.000000e+00 | 1.170000e+02 | Large
201.30/201.32 c 184s|570000 |241696 | 0 | 0.0 | 175M| 176 | - | 293 |7086 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 1.170000e+02 | Large
203.99/204.07 c 187s|580000 |246636 | 0 | 0.0 | 179M| 176 | - | 293 |7334 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 1.170000e+02 | Large
206.80/206.82 c 189s|590000 |251584 | 0 | 0.0 | 183M| 176 | - | 293 |7423 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 1.170000e+02 | Large
206.99/207.08 o 113
206.99/207.08 c * 189s|590954 |250000 | 0 | 0.0 | 182M| 176 | - | 293 |7437 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 1.130000e+02 | Large
209.79/209.88 c 192s|600000 |253868 | 0 | 0.0 | 186M| 176 | - | 293 |7546 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 1.130000e+02 | Large
213.00/213.09 c 195s|610000 |257732 | 0 | 0.0 | 190M| 176 | - | 293 |7947 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 1.130000e+02 | Large
216.49/216.50 c 198s|620000 |261325 | 0 | 0.0 | 194M| 176 | - | 293 |7862 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 1.130000e+02 | Large
220.09/220.18 c 201s|630000 |264348 | 0 | 0.0 | 198M| 176 | - | 293 |8173 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 1.130000e+02 | Large
224.10/224.12 c 205s|640000 |266820 | 0 | 0.0 | 201M| 176 | - | 293 |8717 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 1.130000e+02 | Large
228.40/228.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.40/228.43 c 209s|650000 |268766 | 0 | 0.0 | 205M| 176 | - | 293 |9103 | 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 1.130000e+02 | Large
232.99/233.09 c 213s|660000 |270036 | 0 | 0.0 | 209M| 176 | - | 293 |9551 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 1.130000e+02 | Large
238.29/238.30 c 218s|670000 |270181 | 0 | 0.0 | 212M| 176 | - | 293 | 10k| 0 | 0 | 0 | 661k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
243.70/243.76 c 223s|680000 |269763 | 0 | 0.0 | 215M| 176 | - | 293 | 10k| 0 | 0 | 0 | 671k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
246.70/246.72 c 226s|690000 |274936 | 0 | 0.0 | 219M| 176 | - | 293 |7002 | 0 | 0 | 0 | 680k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
249.70/249.76 c 228s|700000 |279735 | 0 | 0.0 | 224M| 176 | - | 293 |9503 | 0 | 0 | 0 | 690k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
253.49/253.57 c 232s|710000 |283443 | 0 | 0.0 | 229M| 176 | - | 293 | 12k| 0 | 0 | 0 | 703k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
257.20/257.25 c 235s|720000 |287720 | 0 | 0.0 | 232M| 176 | - | 293 |5999 | 0 | 0 | 0 | 712k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
259.70/259.79 c 237s|730000 |293267 | 0 | 0.0 | 236M| 176 | - | 293 |5743 | 0 | 0 | 0 | 719k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
262.49/262.59 c 240s|740000 |298060 | 0 | 0.0 | 241M| 176 | - | 293 |6134 | 0 | 0 | 0 | 727k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
265.29/265.36 c 242s|750000 |303105 | 0 | 0.0 | 245M| 176 | - | 293 |6493 | 0 | 0 | 0 | 735k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
268.09/268.15 c 245s|760000 |308193 | 0 | 0.0 | 250M| 176 | - | 293 |7333 | 0 | 0 | 0 | 742k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
271.30/271.34 c 248s|770000 |312544 | 0 | 0.0 | 254M| 176 | - | 293 |7515 | 0 | 0 | 0 | 751k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
274.49/274.58 c 251s|780000 |316951 | 0 | 0.0 | 258M| 176 | - | 293 |8027 | 0 | 0 | 0 | 759k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
277.99/278.05 c 254s|790000 |321038 | 0 | 0.0 | 263M| 176 | - | 293 |8707 | 0 | 0 | 0 | 767k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
281.50/281.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.50/281.59 c 257s|800000 |325090 | 0 | 0.0 | 267M| 176 | - | 293 |8965 | 0 | 0 | 0 | 776k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
285.20/285.22 c 260s|810000 |329081 | 0 | 0.0 | 271M| 176 | - | 293 |9047 | 0 | 0 | 0 | 785k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
286.89/286.90 o 102
286.89/286.90 c * 262s|814369 |327629 | 0 | 0.0 | 270M| 176 | - | 293 |9660 | 0 | 0 | 0 | 789k| 0 | 2.000000e+00 | 1.020000e+02 |5000.00%
286.89/286.95 o 84
286.89/286.95 c * 262s|814370 |294362 | 0 | 0.0 | 244M| 176 | - | 293 |9660 | 0 | 0 | 0 | 789k| 0 | 2.000000e+00 | 8.400000e+01 |4100.00%
288.80/288.88 c 264s|820000 |295663 | 0 | 0.0 | 244M| 176 | - | 293 |2852 | 0 | 0 | 0 | 795k| 0 | 2.000000e+00 | 8.400000e+01 |4100.00%
292.09/292.16 c 267s|830000 |297384 | 0 | 0.0 | 247M| 176 | - | 293 |2077 | 0 | 0 | 0 | 806k| 0 | 2.000000e+00 | 8.400000e+01 |4100.00%
295.60/295.65 c 269s|840000 |298651 | 0 | 0.0 | 250M| 176 | - | 293 |2388 | 0 | 0 | 0 | 816k| 0 | 2.000000e+00 | 8.400000e+01 |4100.00%
299.10/299.20 c 273s|850000 |299961 | 0 | 0.0 | 254M| 176 | - | 293 |4302 | 0 | 0 | 0 | 826k| 0 | 2.000000e+00 | 8.400000e+01 |4100.00%
302.50/302.56 o 76
302.50/302.56 c * 276s|858275 |296653 | 0 | 0.0 | 252M| 176 | - | 293 |4448 | 0 | 0 | 0 | 834k| 0 | 2.000000e+00 | 7.600000e+01 |3700.00%
303.29/303.32 c 276s|860000 |296492 | 0 | 0.0 | 253M| 176 | - | 293 |5304 | 0 | 0 | 0 | 836k| 0 | 2.000000e+00 | 7.600000e+01 |3700.00%
307.80/307.83 c 280s|870000 |297186 | 0 | 0.0 | 256M| 176 | - | 293 |6120 | 0 | 0 | 0 | 847k| 0 | 2.000000e+00 | 7.600000e+01 |3700.00%
312.70/312.70 c 285s|880000 |297360 | 0 | 0.0 | 259M| 176 | - | 293 |6428 | 0 | 0 | 0 | 858k| 0 | 2.000000e+00 | 7.600000e+01 |3700.00%
317.80/317.83 c 290s|890000 |297007 | 0 | 0.0 | 262M| 176 | - | 293 |6809 | 0 | 0 | 0 | 869k| 0 | 2.000000e+00 | 7.600000e+01 |3700.00%
322.70/322.79 c 294s|900000 |296971 | 0 | 0.0 | 265M| 176 | - | 293 |7019 | 0 | 0 | 0 | 880k| 0 | 2.000000e+00 | 7.600000e+01 |3700.00%
327.60/327.66 c 299s|910000 |297204 | 0 | 0.0 | 269M| 176 | - | 293 |7683 | 0 | 0 | 0 | 891k| 0 | 2.000000e+00 | 7.600000e+01 |3700.00%
332.90/332.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.90/332.99 c 304s|920000 |296790 | 0 | 0.0 | 272M| 176 | - | 293 |8189 | 0 | 0 | 0 | 902k| 0 | 2.000000e+00 | 7.600000e+01 |3700.00%
333.30/333.37 o 64
333.30/333.37 c * 304s|920640 |278230 | 0 | 0.0 | 255M| 176 | - | 293 |8265 | 0 | 0 | 0 | 903k| 0 | 2.000000e+00 | 6.400000e+01 |3100.00%
337.61/337.68 c 308s|930000 |276880 | 0 | 0.0 | 256M| 176 | - | 293 |4524 | 0 | 0 | 0 | 915k| 0 | 2.000000e+00 | 6.400000e+01 |3100.00%
342.60/342.60 c 312s|940000 |275078 | 0 | 0.0 | 259M| 176 | - | 293 |5881 | 0 | 0 | 0 | 927k| 0 | 2.000000e+00 | 6.400000e+01 |3100.00%
348.19/348.22 c 317s|950000 |272620 | 0 | 0.0 | 261M| 176 | - | 293 |6547 | 0 | 0 | 0 | 941k| 0 | 2.000000e+00 | 6.400000e+01 |3100.00%
349.09/349.11 o 47
349.09/349.11 c * 318s|951310 |229361 | 0 | 0.0 | 212M| 176 | - | 293 |6785 | 0 | 0 | 0 | 942k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
356.30/356.38 o 40
356.30/356.38 c * 325s|957788 |220883 | 0 | 0.0 | 216M| 176 | - | 293 |9257 | 0 | 0 | 0 | 959k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
358.90/358.97 c 327s|960000 |217631 | 0 | 0.0 | 215M| 176 | - | 293 |9457 | 0 | 0 | 0 | 964k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
369.70/369.71 c 337s|970000 |198009 | 0 | 0.0 | 196M| 176 | - | 293 |2843 | 0 | 0 | 0 | 995k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
374.59/374.64 c 342s|980000 |197019 | 0 | 0.0 | 199M| 176 | - | 293 |7177 | 0 | 0 | 0 |1013k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
380.39/380.43 c 347s|990000 |195968 | 0 | 0.0 | 202M| 176 | - | 293 |9732 | 0 | 0 | 0 |1031k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
387.59/387.65 c 354s| 1000k|193330 | 0 | 0.0 | 200M| 176 | - | 293 |6713 | 0 | 0 | 0 |1049k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
395.09/395.10 c 361s| 1010k|189125 | 0 | 0.0 | 202M| 176 | - | 293 |8604 | 0 | 0 | 0 |1073k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
407.30/407.30 c 372s| 1020k|179350 | 0 | 0.0 | 201M| 176 | - | 293 | 13k| 0 | 0 | 0 |1100k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
424.30/424.39 c 389s| 1030k|167460 | 0 | 0.0 | 198M| 176 | - | 293 | 17k| 0 | 0 | 0 |1129k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
436.60/436.66 o 25
436.60/436.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.60/436.66 c * 401s| 1036k|127046 | 0 | 0.0 | 166M| 176 | - | 293 | 19k| 0 | 0 | 0 |1147k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
442.00/442.03 c 406s| 1040k|118784 | 0 | 0.0 | 157M| 176 | - | 293 |5024 | 0 | 0 | 0 |1163k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
454.31/454.35 o 2
454.31/454.35 c * 417s| 1047k| 0 | 0 | 0.0 |9459k| 176 | - | 293 | 12k| 0 | 0 | 0 |1192k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
454.31/454.35 c
454.31/454.35 c SCIP Status : problem is solved [optimal solution found]
454.31/454.35 c Solving Time (sec) : 417.23
454.31/454.35 c Solving Nodes : 1047211
454.31/454.35 c Primal Bound : +2.00000000000000e+00 (18 solutions)
454.31/454.35 c Dual Bound : +2.00000000000000e+00
454.31/454.35 c Gap : 0.00 %
454.31/454.35 s OPTIMUM FOUND
454.31/454.35 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
454.31/454.35 v -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127
454.31/454.35 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106
454.31/454.35 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
454.31/454.35 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
454.31/454.35 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
454.31/454.35 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
454.31/454.35 v -x4 -x3 -x2 -x1
454.31/454.35 c SCIP Status : problem is solved [optimal solution found]
454.31/454.35 c Solving Time : 417.23
454.31/454.35 c Original Problem :
454.31/454.35 c Problem name : HOME/instance-2693957-1277898468.wbo
454.31/454.35 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
454.31/454.35 c Constraints : 166 initial, 166 maximal
454.31/454.35 c Presolved Problem :
454.31/454.35 c Problem name : t_HOME/instance-2693957-1277898468.wbo
454.31/454.35 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
454.31/454.35 c Constraints : 158 initial, 32013 maximal
454.31/454.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
454.31/454.35 c trivial : 0.00 0 0 0 0 0 0 0 0
454.31/454.35 c dualfix : 0.00 4 0 0 0 0 0 0 0
454.31/454.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
454.31/454.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
454.31/454.35 c implics : 0.00 0 0 0 0 0 0 0 0
454.31/454.35 c probing : 0.01 0 0 0 0 0 0 0 0
454.31/454.35 c indicator : 0.00 0 0 0 0 0 2 0 0
454.31/454.35 c setppc : 0.00 0 0 0 0 0 0 0 0
454.31/454.35 c linear : 0.00 0 0 0 62 0 6 2 0
454.31/454.35 c logicor : 0.00 0 0 0 0 0 0 0 0
454.31/454.35 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
454.31/454.35 c root node : - 10 - - 20 - - - -
454.31/454.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
454.31/454.35 c integral : 0 0 0 0 0 0 0 0 0 0
454.31/454.35 c indicator : 62 0 2742941 0 691923 8855 1581043 0 0 0
454.31/454.35 c setppc : 30 0 3070000 0 757183 22906 3203796 0 0 0
454.31/454.35 c linear : 62 0 3047169 0 757205 279336 13122315 0 0 0
454.31/454.35 c logicor : 4+ 0 1453429 0 755217 84558 990327 0 0 0
454.31/454.35 c bounddisjunction : 0+ 0 124460 0 0 0 19862 0 0 0
454.31/454.35 c countsols : 0 0 0 0 757223 0 0 0 0 0
454.31/454.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
454.31/454.35 c integral : 0.00 0.00 0.00 0.00 0.00
454.31/454.35 c indicator : 1.87 0.00 1.25 0.00 0.62
454.31/454.35 c setppc : 7.48 0.00 5.42 0.00 2.06
454.31/454.35 c linear : 59.44 0.00 59.42 0.00 0.02
454.31/454.35 c logicor : 141.42 0.00 141.36 0.00 0.06
454.31/454.35 c bounddisjunction : 0.11 0.00 0.11 0.00 0.00
454.31/454.35 c countsols : 0.00 0.00 0.00 0.00 0.00
454.31/454.35 c Propagators : Time Calls Cutoffs DomReds
454.31/454.35 c vbounds : 0.00 2 0 0
454.31/454.35 c rootredcost : 0.00 0 0 0
454.31/454.35 c pseudoobj : 9.06 3106587 27823 1458487
454.31/454.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
454.31/454.35 c propagation : 23.86 414622 414570 2128489 25.7 146627 14.6 -
454.31/454.35 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
454.31/454.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
454.31/454.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
454.31/454.35 c pseudo solution : 0.00 61 61 220 16.8 13 11.8 -
454.31/454.35 c applied globally : - - - 1148034 17.9 - - -
454.31/454.35 c applied locally : - - - 44818 38.1 - - -
454.31/454.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
454.31/454.35 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
454.31/454.35 c redcost : 0.00 0 0 0 0 0
454.31/454.35 c impliedbounds : 0.00 0 0 0 0 0
454.31/454.35 c intobj : 0.00 0 0 0 0 0
454.31/454.35 c cgmip : 0.00 0 0 0 0 0
454.31/454.35 c gomory : 0.00 0 0 0 0 0
454.31/454.35 c strongcg : 0.00 0 0 0 0 0
454.31/454.35 c cmir : 0.00 0 0 0 0 0
454.31/454.35 c flowcover : 0.00 0 0 0 0 0
454.31/454.35 c clique : 0.00 0 0 0 0 0
454.31/454.35 c zerohalf : 0.00 0 0 0 0 0
454.31/454.35 c mcf : 0.00 0 0 0 0 0
454.31/454.35 c rapidlearning : 0.00 0 0 0 0 0
454.31/454.35 c Pricers : Time Calls Vars
454.31/454.35 c problem variables: 0.00 0 0
454.31/454.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
454.31/454.35 c relpscost : 0.00 0 0 0 0 0 0
454.31/454.35 c pscost : 0.00 0 0 0 0 0 0
454.31/454.35 c inference : 5.50 757205 0 0 0 0 1514410
454.31/454.35 c mostinf : 0.00 0 0 0 0 0 0
454.31/454.35 c leastinf : 0.00 0 0 0 0 0 0
454.31/454.35 c fullstrong : 0.00 0 0 0 0 0 0
454.31/454.35 c allfullstrong : 0.00 0 0 0 0 0 0
454.31/454.35 c random : 0.00 0 0 0 0 0 0
454.31/454.35 c Primal Heuristics : Time Calls Found
454.31/454.35 c LP solutions : 0.00 - 0
454.31/454.35 c pseudo solutions : 0.53 - 18
454.31/454.35 c oneopt : 0.00 0 0
454.31/454.35 c trivial : 0.00 2 0
454.31/454.35 c simplerounding : 0.00 0 0
454.31/454.35 c zirounding : 0.00 0 0
454.31/454.35 c rounding : 0.00 0 0
454.31/454.35 c shifting : 0.00 0 0
454.31/454.35 c intshifting : 0.00 0 0
454.31/454.35 c twoopt : 0.00 0 0
454.31/454.35 c fixandinfer : 0.00 0 0
454.31/454.35 c feaspump : 0.00 0 0
454.31/454.35 c coefdiving : 0.00 0 0
454.31/454.35 c pscostdiving : 0.00 0 0
454.31/454.35 c fracdiving : 0.00 0 0
454.31/454.35 c veclendiving : 0.00 0 0
454.31/454.35 c intdiving : 0.00 0 0
454.31/454.35 c actconsdiving : 0.00 0 0
454.31/454.35 c objpscostdiving : 0.00 0 0
454.31/454.35 c rootsoldiving : 0.00 0 0
454.31/454.35 c linesearchdiving : 0.00 0 0
454.31/454.35 c guideddiving : 0.00 0 0
454.31/454.35 c octane : 0.00 0 0
454.31/454.35 c rens : 0.00 0 0
454.31/454.35 c rins : 0.00 0 0
454.31/454.35 c localbranching : 0.00 0 0
454.31/454.35 c mutation : 0.00 0 0
454.31/454.35 c crossover : 0.00 0 0
454.31/454.35 c dins : 0.00 0 0
454.31/454.35 c undercover : 0.00 0 0
454.31/454.35 c nlp : 0.00 0 0
454.31/454.35 c trysol : 0.00 1 0
454.31/454.35 c LP : Time Calls Iterations Iter/call Iter/sec
454.31/454.35 c primal LP : 0.00 0 0 0.00 -
454.31/454.35 c dual LP : 0.00 0 0 0.00 -
454.31/454.35 c lex dual LP : 0.00 0 0 0.00 -
454.31/454.35 c barrier LP : 0.00 0 0 0.00 -
454.31/454.35 c diving/probing LP: 0.00 0 0 0.00 -
454.31/454.35 c strong branching : 0.00 0 0 0.00 -
454.31/454.35 c (at root node) : - 0 0 0.00 -
454.31/454.35 c conflict analysis: 0.00 0 0 0.00 -
454.31/454.35 c B&B Tree :
454.31/454.35 c number of runs : 1
454.31/454.35 c nodes : 1047211
454.31/454.35 c nodes (total) : 1047211
454.31/454.35 c nodes left : 0
454.31/454.35 c max depth : 176
454.31/454.35 c max depth (total): 176
454.31/454.35 c backtracks : 327138 (31.2%)
454.31/454.35 c delayed cutoffs : 227990
454.31/454.35 c repropagations : 1234546 (5329889 domain reductions, 133551 cutoffs)
454.31/454.35 c avg switch length: 21.62
454.31/454.35 c switching time : 144.26
454.31/454.35 c Solution :
454.31/454.35 c Solutions found : 18 (18 improvements)
454.31/454.35 c First Solution : +6.40000000000000e+02 (in run 1, after 54726 nodes, 13.64 seconds, depth 112, found by <relaxation>)
454.31/454.35 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1047211 nodes, 416.97 seconds, depth 50, found by <relaxation>)
454.31/454.35 c Dual Bound : +2.00000000000000e+00
454.31/454.35 c Gap : 0.00 %
454.31/454.35 c Root Dual Bound : +0.00000000000000e+00
454.31/454.35 c Root Iterations : 0
454.31/454.38 c Time complete: 454.38.