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-2693923-1277897483.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, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.01/0.02 c (0.0s) probing: 101/232 (43.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.02 c presolving (5 rounds):
0.01/0.02 c 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.01/0.02 c 66 implications, 23 cliques
0.01/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.01/0.02 c 63 constraints of type <indicator>
0.01/0.02 c 1 constraints of type <knapsack>
0.01/0.02 c 23 constraints of type <setppc>
0.01/0.02 c 63 constraints of type <linear>
0.01/0.02 c 9 constraints of type <logicor>
0.01/0.02 c transformed objective value is always integral (scale: 1)
0.01/0.02 c Presolving Time: 0.01
0.01/0.02 c - non default parameters ----------------------------------------------------------------------
0.01/0.02 c # SCIP version 1.2.1.2
0.01/0.02 c
0.01/0.02 c # frequency for displaying node information lines
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.02 c display/freq = 10000
0.01/0.02 c
0.01/0.02 c # maximal time in seconds to run
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/time = 1800
0.01/0.02 c
0.01/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/memory = 3420
0.01/0.02 c
0.01/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.02 c lp/solvefreq = -1
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify inequalities
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/linear/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify knapsacks
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.02 c separating/rapidlearning/freq = 0
0.01/0.02 c
0.01/0.02 c -----------------------------------------------------------------------------------------------
0.01/0.02 c start solving
0.01/0.02 c
0.01/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.01/0.02 c 0.0s| 1 | 2 | 0 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.34 c 1.1s| 10000 | 7340 | 0 | 0.0 |6654k| 183 | - | 295 |3635 | 0 | 0 | 0 |7576 | 0 | 0.000000e+00 | -- | Inf
3.39/3.40 o 361
3.39/3.40 c * 2.9s| 18866 | 12168 | 0 | 0.0 | 11M| 183 | - | 295 |5285 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.610000e+02 | Inf
3.39/3.46 o 313
3.39/3.46 c * 2.9s| 19362 | 12615 | 0 | 0.0 | 10M| 183 | - | 295 |4193 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
3.49/3.53 c 3.0s| 20000 | 13183 | 0 | 0.0 | 10M| 183 | - | 295 |2997 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
5.18/5.21 c 4.3s| 30000 | 19900 | 0 | 0.0 | 15M| 183 | - | 295 |4629 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
7.98/8.03 c 6.8s| 40000 | 24664 | 0 | 0.0 | 20M| 183 | - | 295 |7970 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
11.88/11.94 c 10.3s| 50000 | 27855 | 0 | 0.0 | 25M| 183 | - | 295 | 11k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
16.58/16.69 c 14.7s| 60000 | 29904 | 0 | 0.0 | 30M| 183 | - | 295 | 14k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
19.88/19.98 o 275
19.88/19.98 c *17.7s| 67445 | 32409 | 0 | 0.0 | 30M| 183 | - | 295 |6387 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
20.19/20.29 c 17.9s| 70000 | 34595 | 0 | 0.0 | 29M| 183 | - | 295 |1840 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
21.38/21.42 c 18.8s| 80000 | 42946 | 0 | 0.0 | 33M| 183 | - | 295 |2099 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
21.99/22.01 o 229
21.99/22.01 c *19.2s| 84911 | 46945 | 0 | 0.0 | 35M| 183 | - | 295 |1691 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 2.290000e+02 | Inf
22.28/22.35 o 215
22.28/22.35 c *19.5s| 87743 | 49261 | 0 | 0.0 | 36M| 183 | - | 295 |1572 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
22.59/22.63 c 19.7s| 90000 | 51060 | 0 | 0.0 | 37M| 183 | - | 295 |1501 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
23.78/23.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.78/23.88 c 20.7s|100000 | 58959 | 0 | 0.0 | 41M| 183 | - | 295 |1815 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
24.18/24.27 o 200
24.18/24.27 c *21.0s|102912 | 61199 | 0 | 0.0 | 42M| 183 | - | 295 |1928 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
25.19/25.25 c 21.8s|110000 | 66579 | 0 | 0.0 | 44M| 183 | - | 295 |2203 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
26.69/26.71 c 22.9s|120000 | 74027 | 0 | 0.0 | 49M| 183 | - | 295 |2833 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
28.38/28.40 c 24.2s|130000 | 81003 | 0 | 0.0 | 53M| 183 | - | 295 |3698 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
30.48/30.50 c 26.0s|140000 | 87120 | 0 | 0.0 | 57M| 183 | - | 295 |4761 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
33.99/34.02 c 29.2s|150000 | 90567 | 0 | 0.0 | 62M| 183 | - | 295 |7150 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
39.29/39.31 c 34.1s|160000 | 91909 | 0 | 0.0 | 66M| 183 | - | 295 | 12k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
46.28/46.33 c 40.8s|170000 | 92267 | 0 | 0.0 | 70M| 183 | - | 295 | 17k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
55.38/55.43 c 49.5s|180000 | 91255 | 0 | 0.0 | 73M| 183 | - | 295 | 22k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
66.38/66.49 c 60.1s|190000 | 89235 | 0 | 0.0 | 75M| 183 | - | 295 | 27k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
73.69/73.74 c 66.9s|200000 | 92492 | 0 | 0.0 | 69M| 183 | - | 295 |2495 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
75.09/75.16 c 68.0s|210000 |100151 | 0 | 0.0 | 73M| 183 | - | 295 |2510 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
75.98/76.02 o 194
75.98/76.02 c *68.8s|215755 |104498 | 0 | 0.0 | 75M| 183 | - | 295 |2761 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
76.68/76.72 c 69.3s|220000 |107550 | 0 | 0.0 | 77M| 183 | - | 295 |3072 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
78.28/78.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.28/78.36 c 70.7s|230000 |114866 | 0 | 0.0 | 81M| 183 | - | 295 |3550 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
80.08/80.10 c 72.1s|240000 |122020 | 0 | 0.0 | 85M| 183 | - | 295 |3960 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
80.88/80.92 o 191
80.88/80.92 c *72.8s|244708 |125404 | 0 | 0.0 | 87M| 183 | - | 295 |4170 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
81.79/81.88 c 73.6s|250000 |129164 | 0 | 0.0 | 89M| 183 | - | 295 |4464 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
83.69/83.78 c 75.2s|260000 |136130 | 0 | 0.0 | 93M| 183 | - | 295 |4794 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
85.59/85.66 c 76.7s|270000 |143214 | 0 | 0.0 | 97M| 183 | - | 295 |5125 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
86.29/86.34 o 171
86.29/86.34 c *77.3s|273616 |145684 | 0 | 0.0 | 99M| 183 | - | 295 |5117 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
87.59/87.66 c 78.4s|280000 |149997 | 0 | 0.0 | 101M| 183 | - | 295 |5042 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
87.99/88.06 o 163
87.99/88.06 c *78.7s|282028 |151266 | 0 | 0.0 | 102M| 183 | - | 295 |4884 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
89.68/89.72 c 80.1s|290000 |156576 | 0 | 0.0 | 105M| 183 | - | 295 |4942 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
91.58/91.67 c 81.8s|300000 |163556 | 0 | 0.0 | 109M| 183 | - | 295 |4159 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
92.19/92.27 o 161
92.19/92.27 c *82.3s|303108 |165668 | 0 | 0.0 | 110M| 183 | - | 295 |4141 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
93.59/93.64 c 83.4s|310000 |170335 | 0 | 0.0 | 113M| 183 | - | 295 |3973 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
95.59/95.63 c 85.1s|320000 |177025 | 0 | 0.0 | 117M| 183 | - | 295 |4163 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
97.58/97.62 c 86.8s|330000 |183729 | 0 | 0.0 | 121M| 183 | - | 295 |4183 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
99.58/99.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.58/99.62 c 88.5s|340000 |190472 | 0 | 0.0 | 125M| 183 | - | 295 |4182 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
101.59/101.65 c 90.1s|350000 |197119 | 0 | 0.0 | 130M| 183 | - | 295 |4615 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
103.79/103.82 c 92.0s|360000 |203614 | 0 | 0.0 | 134M| 183 | - | 295 |4925 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
104.68/104.73 o 155
104.68/104.73 c *92.8s|364384 |206448 | 0 | 0.0 | 136M| 183 | - | 295 |4950 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
105.89/105.96 c 93.8s|370000 |210071 | 0 | 0.0 | 138M| 183 | - | 295 |4854 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
107.98/108.09 c 95.6s|380000 |216586 | 0 | 0.0 | 142M| 183 | - | 295 |4855 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
110.19/110.28 c 97.5s|390000 |222923 | 0 | 0.0 | 146M| 183 | - | 295 |4911 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
110.99/111.01 o 154
110.99/111.01 c *98.1s|393214 |224909 | 0 | 0.0 | 148M| 183 | - | 295 |5097 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
110.99/111.01 o 149
110.99/111.01 c *98.2s|393215 |224809 | 0 | 0.0 | 148M| 183 | - | 295 |5097 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
112.58/112.61 c 99.5s|400000 |228914 | 0 | 0.0 | 150M| 183 | - | 295 |4972 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
114.89/114.96 c 102s|410000 |234925 | 0 | 0.0 | 155M| 183 | - | 295 |4944 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
117.38/117.45 c 104s|420000 |240705 | 0 | 0.0 | 159M| 183 | - | 295 |5327 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
119.98/120.02 c 106s|430000 |246355 | 0 | 0.0 | 163M| 183 | - | 295 |5434 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
121.99/122.09 o 106
121.99/122.09 c * 108s|438141 |248416 | 0 | 0.0 | 164M| 183 | - | 295 |6029 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
121.99/122.10 o 85
121.99/122.10 c * 108s|438142 |237232 | 0 | 0.0 | 157M| 183 | - | 295 |6029 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
122.68/122.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.68/122.73 c 108s|440000 |237994 | 0 | 0.0 | 157M| 183 | - | 295 |5592 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
125.29/125.30 c 110s|450000 |243237 | 0 | 0.0 | 161M| 183 | - | 295 |1294 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
127.69/127.79 c 113s|460000 |248135 | 0 | 0.0 | 165M| 183 | - | 295 |2935 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
130.39/130.46 c 115s|470000 |252857 | 0 | 0.0 | 170M| 183 | - | 295 |3235 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
133.09/133.16 c 117s|480000 |257570 | 0 | 0.0 | 174M| 183 | - | 295 |3531 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
135.98/136.02 c 120s|490000 |261990 | 0 | 0.0 | 178M| 183 | - | 295 |3736 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
138.88/138.91 c 122s|500000 |266318 | 0 | 0.0 | 182M| 183 | - | 295 |4172 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
141.89/141.98 c 125s|510000 |270376 | 0 | 0.0 | 186M| 183 | - | 295 |4557 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
145.19/145.29 c 128s|520000 |274001 | 0 | 0.0 | 190M| 183 | - | 295 |5269 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
148.68/148.79 c 131s|530000 |277279 | 0 | 0.0 | 194M| 183 | - | 295 |5194 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
152.69/152.74 c 134s|540000 |279627 | 0 | 0.0 | 197M| 183 | - | 295 |5401 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
156.89/156.97 c 138s|550000 |281515 | 0 | 0.0 | 200M| 183 | - | 295 |6077 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
161.29/161.37 c 142s|560000 |283236 | 0 | 0.0 | 202M| 183 | - | 295 |3662 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
170.89/170.97 c 151s|570000 |277414 | 0 | 0.0 | 200M| 183 | - | 295 | 14k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
181.59/181.64 c 161s|580000 |272357 | 0 | 0.0 | 186M| 183 | - | 295 |1799 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
183.70/183.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.70/183.76 c 163s|590000 |278129 | 0 | 0.0 | 190M| 183 | - | 295 |2384 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
185.98/186.07 c 165s|600000 |283782 | 0 | 0.0 | 195M| 183 | - | 295 |3154 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
188.59/188.65 c 167s|610000 |289053 | 0 | 0.0 | 200M| 183 | - | 295 |3501 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
191.18/191.21 c 170s|620000 |294418 | 0 | 0.0 | 204M| 183 | - | 295 |3881 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
193.89/193.98 c 172s|630000 |299409 | 0 | 0.0 | 209M| 183 | - | 295 |4577 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
196.90/196.96 c 175s|640000 |304143 | 0 | 0.0 | 213M| 183 | - | 295 |4812 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
199.89/199.97 c 177s|650000 |308823 | 0 | 0.0 | 217M| 183 | - | 295 |5271 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
200.49/200.55 o 79
200.49/200.55 c * 178s|651999 |303874 | 0 | 0.0 | 212M| 183 | - | 295 |5424 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
203.49/203.56 c 180s|660000 |306745 | 0 | 0.0 | 215M| 183 | - | 295 |5396 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
205.49/205.51 o 66
205.49/205.51 c * 182s|664860 |298696 | 0 | 0.0 | 208M| 183 | - | 295 |5997 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
207.69/207.78 c 184s|670000 |300068 | 0 | 0.0 | 210M| 183 | - | 295 |2128 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
211.19/211.28 c 187s|680000 |302711 | 0 | 0.0 | 212M| 183 | - | 295 |1568 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
211.59/211.68 o 29
211.59/211.68 c * 188s|680865 |258229 | 0 | 0.0 | 179M| 183 | - | 295 |1732 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
216.28/216.38 c 192s|690000 |257952 | 0 | 0.0 | 187M| 183 | - | 295 |5002 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
220.29/220.30 o 25
220.29/220.30 c * 195s|696760 |254255 | 0 | 0.0 | 187M| 183 | - | 295 |6439 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
222.10/222.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.10/222.15 c 197s|700000 |253866 | 0 | 0.0 | 188M| 183 | - | 295 |4761 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
228.29/228.34 c 203s|710000 |252204 | 0 | 0.0 | 190M| 183 | - | 295 |5166 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
228.70/228.78 o 12
228.70/228.78 c * 203s|710671 |226407 | 0 | 0.0 | 173M| 183 | - | 295 |5610 | 0 | 0 | 0 | 546k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
231.39/231.47 o 9
231.39/231.47 c * 206s|713849 |224363 | 0 | 0.0 | 176M| 183 | - | 295 |6330 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
231.39/231.48 o 4
231.39/231.48 c * 206s|713850 |215807 | 0 | 0.0 | 169M| 183 | - | 295 |6330 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
237.89/237.96 c 212s|720000 |210045 | 0 | 0.0 | 171M| 183 | - | 295 |7665 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
249.19/249.24 c 222s|730000 |200271 | 0 | 0.0 | 171M| 183 | - | 295 |8219 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
260.49/260.55 c 233s|740000 |192127 | 0 | 0.0 | 172M| 183 | - | 295 | 10k| 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
271.39/271.42 c 243s|750000 |185738 | 0 | 0.0 | 172M| 183 | - | 295 | 11k| 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
282.19/282.20 c 253s|760000 |179737 | 0 | 0.0 | 173M| 183 | - | 295 | 11k| 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
293.39/293.47 c 264s|770000 |173325 | 0 | 0.0 | 173M| 183 | - | 295 | 12k| 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
304.99/305.05 c 275s|780000 |166789 | 0 | 0.0 | 173M| 183 | - | 295 | 12k| 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
316.39/316.41 c 286s|790000 |160490 | 0 | 0.0 | 172M| 183 | - | 295 | 13k| 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
327.19/327.25 c 296s|800000 |155132 | 0 | 0.0 | 171M| 183 | - | 295 | 13k| 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
338.09/338.11 c 306s|810000 |150012 | 0 | 0.0 | 171M| 183 | - | 295 | 15k| 0 | 0 | 0 | 753k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
349.49/349.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.49/349.58 c 317s|820000 |145311 | 0 | 0.0 | 170M| 183 | - | 295 | 15k| 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
361.39/361.48 c 329s|830000 |139763 | 0 | 0.0 | 169M| 183 | - | 295 | 14k| 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
372.99/373.06 c 340s|840000 |133664 | 0 | 0.0 | 167M| 183 | - | 295 | 15k| 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
384.59/384.61 c 351s|850000 |128107 | 0 | 0.0 | 165M| 183 | - | 295 | 16k| 0 | 0 | 0 | 842k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
395.30/395.38 c 361s|860000 |123495 | 0 | 0.0 | 162M| 183 | - | 295 | 17k| 0 | 0 | 0 | 862k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
404.59/404.60 c 370s|870000 |121605 | 0 | 0.0 | 157M| 183 | - | 295 |6697 | 0 | 0 | 0 | 878k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
416.40/416.45 c 381s|880000 |112645 | 0 | 0.0 | 158M| 183 | - | 295 | 14k| 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
445.30/445.36 c 409s|890000 | 93102 | 0 | 0.0 | 152M| 183 | - | 295 | 27k| 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
479.10/479.11 c 442s|900000 | 78587 | 0 | 0.0 | 141M| 183 | - | 295 | 37k| 0 | 0 | 0 | 961k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
502.50/502.53 o 3
502.50/502.53 c * 465s|906462 | 64009 | 0 | 0.0 | 127M| 183 | - | 295 | 41k| 0 | 0 | 0 | 980k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
516.10/516.16 c 478s|910000 | 60785 | 0 | 0.0 | 123M| 183 | - | 295 | 41k| 0 | 0 | 0 | 989k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
552.00/552.05 c 514s|920000 | 52528 | 0 | 0.0 | 116M| 183 | - | 295 | 42k| 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
585.00/585.06 c 546s|930000 | 44468 | 0 | 0.0 | 108M| 183 | - | 295 | 44k| 0 | 0 | 0 |1038k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
617.40/617.43 c 578s|940000 | 36657 | 0 | 0.0 | 99M| 183 | - | 295 | 45k| 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
652.21/652.22 c 612s|950000 | 27379 | 0 | 0.0 | 87M| 183 | - | 295 | 46k| 0 | 0 | 0 |1088k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
688.70/688.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.70/688.75 c 648s|960000 | 14493 | 0 | 0.0 | 60M| 183 | - | 295 | 46k| 0 | 0 | 0 |1115k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
728.11/728.12 o 2
728.11/728.12 c * 687s|968575 | 733 | 0 | 0.0 | 28M| 183 | - | 295 | 53k| 0 | 0 | 0 |1140k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
729.71/729.72 c
729.71/729.72 c SCIP Status : problem is solved [optimal solution found]
729.71/729.72 c Solving Time (sec) : 688.60
729.71/729.72 c Solving Nodes : 968759
729.71/729.72 c Primal Bound : +2.00000000000000e+00 (25 solutions)
729.71/729.72 c Dual Bound : +2.00000000000000e+00
729.71/729.72 c Gap : 0.00 %
729.71/729.72 s OPTIMUM FOUND
729.71/729.72 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
729.71/729.72 v -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 x128 -x127
729.71/729.72 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
729.71/729.72 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
729.71/729.72 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
729.71/729.72 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
729.71/729.72 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
729.71/729.72 v -x4 -x3 -x2 -x1
729.71/729.72 c SCIP Status : problem is solved [optimal solution found]
729.71/729.72 c Solving Time : 688.60
729.71/729.72 c Original Problem :
729.71/729.72 c Problem name : HOME/instance-2693923-1277897483.wbo
729.71/729.72 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
729.71/729.72 c Constraints : 166 initial, 166 maximal
729.71/729.72 c Presolved Problem :
729.71/729.72 c Problem name : t_HOME/instance-2693923-1277897483.wbo
729.71/729.72 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
729.71/729.72 c Constraints : 159 initial, 53130 maximal
729.71/729.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
729.71/729.72 c trivial : 0.00 0 0 0 0 0 0 0 0
729.71/729.72 c dualfix : 0.00 2 0 0 0 0 0 0 0
729.71/729.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
729.71/729.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
729.71/729.72 c implics : 0.00 0 0 0 0 0 0 0 0
729.71/729.72 c probing : 0.01 0 0 0 0 0 0 0 0
729.71/729.72 c indicator : 0.00 0 0 0 0 0 1 0 0
729.71/729.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
729.71/729.72 c setppc : 0.00 0 0 0 0 0 0 0 0
729.71/729.72 c linear : 0.00 0 0 0 63 0 6 1 0
729.71/729.72 c logicor : 0.00 0 0 0 0 0 0 0 0
729.71/729.72 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
729.71/729.72 c root node : - 19 - - 38 - - - -
729.71/729.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
729.71/729.72 c integral : 0 0 0 0 0 0 0 0 0 0
729.71/729.72 c indicator : 63 0 2688188 0 605838 2544 653946 0 0 0
729.71/729.72 c knapsack : 1 0 3146204 0 687363 62464 10941941 0 0 0
729.71/729.72 c setppc : 23 0 3083513 0 687305 99255 2089321 0 0 0
729.71/729.72 c linear : 63 0 2984466 0 687354 197652 3288611 0 0 0
729.71/729.72 c logicor : 9+ 0 1435456 0 687306 56536 755263 0 0 0
729.71/729.72 c bounddisjunction : 0+ 0 66745 0 0 0 698 0 0 0
729.71/729.72 c countsols : 0 0 0 0 687378 0 0 0 0 0
729.71/729.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
729.71/729.72 c integral : 0.00 0.00 0.00 0.00 0.00
729.71/729.72 c indicator : 1.13 0.00 0.45 0.00 0.68
729.71/729.72 c knapsack : 91.72 0.00 90.45 0.00 1.27
729.71/729.72 c setppc : 7.69 0.00 6.33 0.00 1.36
729.71/729.72 c linear : 31.56 0.00 31.56 0.00 0.00
729.71/729.72 c logicor : 265.15 0.00 264.83 0.00 0.32
729.71/729.72 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
729.71/729.72 c countsols : 0.00 0.00 0.00 0.00 0.00
729.71/729.72 c Propagators : Time Calls Cutoffs DomReds
729.71/729.72 c vbounds : 0.00 2 0 0
729.71/729.72 c rootredcost : 0.00 0 0 0
729.71/729.72 c pseudoobj : 5.06 3150369 1758 622163
729.71/729.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
729.71/729.72 c propagation : 13.49 417664 417659 2033795 22.7 105204 13.6 -
729.71/729.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
729.71/729.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
729.71/729.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
729.71/729.72 c pseudo solution : 0.00 100 100 462 26.6 24 12.2 -
729.71/729.72 c applied globally : - - - 1115084 16.6 - - -
729.71/729.72 c applied locally : - - - 25748 37.7 - - -
729.71/729.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
729.71/729.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
729.71/729.72 c redcost : 0.00 0 0 0 0 0
729.71/729.72 c impliedbounds : 0.00 0 0 0 0 0
729.71/729.72 c intobj : 0.00 0 0 0 0 0
729.71/729.72 c cgmip : 0.00 0 0 0 0 0
729.71/729.72 c gomory : 0.00 0 0 0 0 0
729.71/729.72 c strongcg : 0.00 0 0 0 0 0
729.71/729.72 c cmir : 0.00 0 0 0 0 0
729.71/729.72 c flowcover : 0.00 0 0 0 0 0
729.71/729.72 c clique : 0.00 0 0 0 0 0
729.71/729.72 c zerohalf : 0.00 0 0 0 0 0
729.71/729.72 c mcf : 0.00 0 0 0 0 0
729.71/729.72 c rapidlearning : 0.00 0 0 0 0 0
729.71/729.72 c Pricers : Time Calls Vars
729.71/729.72 c problem variables: 0.00 0 0
729.71/729.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
729.71/729.72 c relpscost : 0.00 0 0 0 0 0 0
729.71/729.72 c pscost : 0.00 0 0 0 0 0 0
729.71/729.72 c inference : 5.70 687353 0 0 0 0 1374706
729.71/729.72 c mostinf : 0.00 0 0 0 0 0 0
729.71/729.72 c leastinf : 0.00 0 0 0 0 0 0
729.71/729.72 c fullstrong : 0.00 0 0 0 0 0 0
729.71/729.72 c allfullstrong : 0.00 0 0 0 0 0 0
729.71/729.72 c random : 0.00 0 0 0 0 0 0
729.71/729.72 c Primal Heuristics : Time Calls Found
729.71/729.72 c LP solutions : 0.00 - 0
729.71/729.72 c pseudo solutions : 0.21 - 25
729.71/729.72 c oneopt : 0.01 0 0
729.71/729.72 c trivial : 0.00 2 0
729.71/729.73 c simplerounding : 0.00 0 0
729.71/729.73 c zirounding : 0.00 0 0
729.71/729.73 c rounding : 0.00 0 0
729.71/729.73 c shifting : 0.00 0 0
729.71/729.73 c intshifting : 0.00 0 0
729.71/729.73 c twoopt : 0.00 0 0
729.71/729.73 c fixandinfer : 0.00 0 0
729.71/729.73 c feaspump : 0.00 0 0
729.71/729.73 c coefdiving : 0.00 0 0
729.71/729.73 c pscostdiving : 0.00 0 0
729.71/729.73 c fracdiving : 0.00 0 0
729.71/729.73 c veclendiving : 0.00 0 0
729.71/729.73 c intdiving : 0.00 0 0
729.71/729.73 c actconsdiving : 0.00 0 0
729.71/729.73 c objpscostdiving : 0.00 0 0
729.71/729.73 c rootsoldiving : 0.00 0 0
729.71/729.73 c linesearchdiving : 0.00 0 0
729.71/729.73 c guideddiving : 0.00 0 0
729.71/729.73 c octane : 0.00 0 0
729.71/729.73 c rens : 0.00 0 0
729.71/729.73 c rins : 0.00 0 0
729.71/729.73 c localbranching : 0.00 0 0
729.71/729.73 c mutation : 0.00 0 0
729.71/729.73 c crossover : 0.00 0 0
729.71/729.73 c dins : 0.00 0 0
729.71/729.73 c undercover : 0.00 0 0
729.71/729.73 c nlp : 0.00 0 0
729.71/729.73 c trysol : 0.00 1 0
729.71/729.73 c LP : Time Calls Iterations Iter/call Iter/sec
729.71/729.73 c primal LP : 0.00 0 0 0.00 -
729.71/729.73 c dual LP : 0.00 0 0 0.00 -
729.71/729.73 c lex dual LP : 0.00 0 0 0.00 -
729.71/729.73 c barrier LP : 0.00 0 0 0.00 -
729.71/729.73 c diving/probing LP: 0.00 0 0 0.00 -
729.71/729.73 c strong branching : 0.00 0 0 0.00 -
729.71/729.73 c (at root node) : - 0 0 0.00 -
729.71/729.73 c conflict analysis: 0.00 0 0 0.00 -
729.71/729.73 c B&B Tree :
729.71/729.73 c number of runs : 1
729.71/729.73 c nodes : 968759
729.71/729.73 c nodes (total) : 968759
729.71/729.73 c nodes left : 0
729.71/729.73 c max depth : 183
729.71/729.73 c max depth (total): 183
729.71/729.73 c backtracks : 348555 (36.0%)
729.71/729.73 c delayed cutoffs : 286357
729.71/729.73 c repropagations : 1295083 (5585991 domain reductions, 138928 cutoffs)
729.71/729.73 c avg switch length: 27.78
729.71/729.73 c switching time : 209.20
729.71/729.73 c Solution :
729.71/729.73 c Solutions found : 25 (25 improvements)
729.71/729.73 c First Solution : +3.61000000000000e+02 (in run 1, after 18866 nodes, 2.85 seconds, depth 80, found by <relaxation>)
729.71/729.73 c Primal Bound : +2.00000000000000e+00 (in run 1, after 968575 nodes, 687.01 seconds, depth 52, found by <relaxation>)
729.71/729.73 c Dual Bound : +2.00000000000000e+00
729.71/729.73 c Gap : 0.00 %
729.71/729.73 c Root Dual Bound : +0.00000000000000e+00
729.71/729.73 c Root Iterations : 0
729.81/729.80 c Time complete: 729.81.