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-2693837-1277895237.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.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 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 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 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.02
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 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 o 550
0.19/0.23 c * 0.2s| 2187 | 1758 | 0 | 0.0 |2163k| 183 | - | 295 | 633 | 0 | 0 | 0 | 949 | 0 | 0.000000e+00 | 5.500000e+02 | Inf
1.29/1.33 c 1.1s| 10000 | 7325 | 0 | 0.0 |6775k| 183 | - | 295 |3889 | 0 | 0 | 0 |7672 | 0 | 0.000000e+00 | 5.500000e+02 | Inf
2.89/2.93 o 538
2.89/2.93 c * 2.5s| 15889 | 9948 | 0 | 0.0 | 10M| 183 | - | 295 |6476 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 5.380000e+02 | Inf
2.89/2.93 o 475
2.89/2.93 c * 2.5s| 15890 | 9947 | 0 | 0.0 | 10M| 183 | - | 295 |6476 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.750000e+02 | Inf
2.89/2.96 o 342
2.89/2.96 c * 2.5s| 16257 | 10285 | 0 | 0.0 | 10M| 183 | - | 295 |6224 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
3.29/3.33 c 2.8s| 20000 | 13673 | 0 | 0.0 | 10M| 183 | - | 295 |2581 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
5.09/5.12 c 4.3s| 30000 | 20171 | 0 | 0.0 | 15M| 183 | - | 295 |5336 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
8.09/8.19 c 7.1s| 40000 | 24562 | 0 | 0.0 | 21M| 183 | - | 295 |8966 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
12.49/12.59 c 11.1s| 50000 | 27138 | 0 | 0.0 | 26M| 183 | - | 295 | 13k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
18.29/18.36 c 16.5s| 60000 | 28447 | 0 | 0.0 | 30M| 183 | - | 295 | 15k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
19.29/19.39 c 17.3s| 70000 | 37462 | 0 | 0.0 | 29M| 183 | - | 295 |1750 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
20.10/20.13 o 306
20.10/20.13 c *17.9s| 78366 | 44872 | 0 | 0.0 | 32M| 183 | - | 295 |1849 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 3.060000e+02 | Inf
20.19/20.28 c 18.0s| 80000 | 46285 | 0 | 0.0 | 32M| 183 | - | 295 |1855 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 3.060000e+02 | Inf
20.79/20.84 o 244
20.79/20.84 c *18.4s| 85327 | 50843 | 0 | 0.0 | 34M| 183 | - | 295 |1614 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.440000e+02 | Inf
20.90/20.96 o 201
20.90/20.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.90/20.96 c *18.5s| 86392 | 51705 | 0 | 0.0 | 35M| 183 | - | 295 |1568 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
21.29/21.35 c 18.8s| 90000 | 54725 | 0 | 0.0 | 36M| 183 | - | 295 |1479 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
22.40/22.43 c 19.6s|100000 | 63077 | 0 | 0.0 | 40M| 183 | - | 295 |1350 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
23.49/23.57 c 20.4s|110000 | 71252 | 0 | 0.0 | 43M| 183 | - | 295 |1570 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
24.20/24.22 o 137
24.20/24.22 c *20.9s|115428 | 75274 | 0 | 0.0 | 45M| 183 | - | 295 |1612 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
24.69/24.77 c 21.4s|120000 | 78933 | 0 | 0.0 | 47M| 183 | - | 295 |1773 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
25.99/26.01 c 22.3s|130000 | 86881 | 0 | 0.0 | 51M| 183 | - | 295 |2133 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
26.30/26.34 o 97
26.30/26.34 c *22.6s|132564 | 88295 | 0 | 0.0 | 52M| 183 | - | 295 |2194 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
27.29/27.38 c 23.5s|140000 | 93932 | 0 | 0.0 | 55M| 183 | - | 295 |2527 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
27.69/27.72 o 70
27.69/27.72 c *23.8s|142246 | 92281 | 0 | 0.0 | 54M| 183 | - | 295 |2621 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
28.99/29.08 c 24.9s|150000 | 97637 | 0 | 0.0 | 58M| 183 | - | 295 |3277 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
31.20/31.26 c 26.7s|160000 |103691 | 0 | 0.0 | 64M| 183 | - | 295 |4795 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
34.79/34.85 c 29.9s|170000 |107191 | 0 | 0.0 | 69M| 183 | - | 295 |9408 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
40.39/40.45 c 35.2s|180000 |108733 | 0 | 0.0 | 73M| 183 | - | 295 | 14k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
47.49/47.54 c 41.9s|190000 |109310 | 0 | 0.0 | 77M| 183 | - | 295 | 20k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
57.29/57.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.29/57.34 c 51.3s|200000 |108311 | 0 | 0.0 | 81M| 183 | - | 295 | 26k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
69.99/70.05 c 63.7s|210000 |106273 | 0 | 0.0 | 77M| 183 | - | 295 | 16k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
72.09/72.10 c 65.4s|220000 |113542 | 0 | 0.0 | 78M| 183 | - | 295 |3471 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
73.90/73.92 c 67.0s|230000 |120874 | 0 | 0.0 | 82M| 183 | - | 295 |4490 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
75.69/75.78 c 68.5s|240000 |128217 | 0 | 0.0 | 87M| 183 | - | 295 |5214 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
77.69/77.72 c 70.2s|250000 |135480 | 0 | 0.0 | 92M| 183 | - | 295 |5747 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
79.69/79.73 c 71.9s|260000 |142675 | 0 | 0.0 | 96M| 183 | - | 295 |6090 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
81.69/81.73 c 73.6s|270000 |149880 | 0 | 0.0 | 101M| 183 | - | 295 |6386 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
83.79/83.82 c 75.4s|280000 |156938 | 0 | 0.0 | 105M| 183 | - | 295 |6483 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
85.89/85.98 c 77.3s|290000 |163915 | 0 | 0.0 | 109M| 183 | - | 295 |6481 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
88.00/88.08 c 79.1s|300000 |170948 | 0 | 0.0 | 114M| 183 | - | 295 |6124 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
90.20/90.28 c 81.0s|310000 |177722 | 0 | 0.0 | 118M| 183 | - | 295 |5868 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
92.49/92.58 c 83.0s|320000 |184184 | 0 | 0.0 | 123M| 183 | - | 295 |5383 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
92.59/92.63 o 59
92.59/92.63 c *83.0s|320303 |182251 | 0 | 0.0 | 121M| 183 | - | 295 |5359 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
94.89/94.90 c 84.9s|330000 |188304 | 0 | 0.0 | 125M| 183 | - | 295 |4523 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
96.99/97.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.99/97.06 c 86.8s|340000 |194746 | 0 | 0.0 | 130M| 183 | - | 295 |4404 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
99.10/99.12 c 88.5s|350000 |201046 | 0 | 0.0 | 133M| 183 | - | 295 |1363 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
99.10/99.16 o 41
99.10/99.16 c *88.5s|350102 |190911 | 0 | 0.0 | 124M| 183 | - | 295 |1373 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
101.50/101.51 c 90.5s|360000 |196108 | 0 | 0.0 | 130M| 183 | - | 295 |2260 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
101.70/101.77 o 40
101.70/101.77 c *90.8s|361182 |193130 | 0 | 0.0 | 128M| 183 | - | 295 |2184 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
103.89/103.95 c 92.6s|370000 |197421 | 0 | 0.0 | 131M| 183 | - | 295 |1982 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
106.29/106.33 c 94.7s|380000 |202531 | 0 | 0.0 | 136M| 183 | - | 295 |1927 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
108.80/108.84 c 96.9s|390000 |207169 | 0 | 0.0 | 140M| 183 | - | 295 |2368 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
111.19/111.28 c 99.0s|400000 |212144 | 0 | 0.0 | 144M| 183 | - | 295 |2326 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
112.70/112.79 o 33
112.70/112.79 c * 100s|406221 |213930 | 0 | 0.0 | 145M| 183 | - | 295 |2307 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
113.80/113.82 c 101s|410000 |215592 | 0 | 0.0 | 147M| 183 | - | 295 |2498 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
114.10/114.18 o 25
114.10/114.18 c * 102s|411558 |209209 | 0 | 0.0 | 143M| 183 | - | 295 |2501 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
116.50/116.55 c 104s|420000 |212808 | 0 | 0.0 | 147M| 183 | - | 295 |2715 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
119.59/119.65 c 106s|430000 |216407 | 0 | 0.0 | 151M| 183 | - | 295 |2886 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
121.80/121.89 o 12
121.80/121.89 c * 108s|437025 |207292 | 0 | 0.0 | 145M| 183 | - | 295 |2456 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
122.89/122.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.89/122.99 c 109s|440000 |208015 | 0 | 0.0 | 147M| 183 | - | 295 |3293 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
126.60/126.62 c 112s|450000 |210761 | 0 | 0.0 | 151M| 183 | - | 295 |3619 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
130.40/130.44 c 116s|460000 |213108 | 0 | 0.0 | 155M| 183 | - | 295 |3921 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
134.19/134.26 c 119s|470000 |215519 | 0 | 0.0 | 158M| 183 | - | 295 |4177 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
138.19/138.24 c 123s|480000 |217431 | 0 | 0.0 | 162M| 183 | - | 295 |4685 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
142.40/142.41 c 127s|490000 |219111 | 0 | 0.0 | 165M| 183 | - | 295 |4653 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
146.50/146.56 c 130s|500000 |220826 | 0 | 0.0 | 169M| 183 | - | 295 |4696 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
150.80/150.80 c 134s|510000 |222235 | 0 | 0.0 | 172M| 183 | - | 295 |5443 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
153.90/153.96 o 9
153.90/153.96 c * 137s|516918 |221446 | 0 | 0.0 | 172M| 183 | - | 295 |5841 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
155.49/155.50 c 139s|520000 |221596 | 0 | 0.0 | 173M| 183 | - | 295 |6066 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
161.00/161.05 c 144s|530000 |221326 | 0 | 0.0 | 175M| 183 | - | 295 |8424 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
167.10/167.15 c 149s|540000 |220224 | 0 | 0.0 | 176M| 183 | - | 295 | 11k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
178.79/178.88 c 161s|550000 |214920 | 0 | 0.0 | 173M| 183 | - | 295 | 20k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
186.79/186.86 c 168s|560000 |214636 | 0 | 0.0 | 168M| 183 | - | 295 |6211 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
191.80/191.87 c 173s|570000 |216839 | 0 | 0.0 | 172M| 183 | - | 295 |8236 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
197.90/197.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.90/197.93 c 178s|580000 |217924 | 0 | 0.0 | 176M| 183 | - | 295 |9581 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
201.10/201.10 o 8
201.10/201.10 c * 181s|584630 |192660 | 0 | 0.0 | 161M| 183 | - | 295 |9880 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
205.80/205.82 c 186s|590000 |191388 | 0 | 0.0 | 163M| 183 | - | 295 | 11k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
215.79/215.87 c 195s|600000 |187622 | 0 | 0.0 | 165M| 183 | - | 295 | 12k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
226.40/226.42 c 205s|610000 |183140 | 0 | 0.0 | 166M| 183 | - | 295 | 11k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
236.40/236.44 c 215s|620000 |178293 | 0 | 0.0 | 167M| 183 | - | 295 |9567 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
245.60/245.63 c 224s|630000 |173468 | 0 | 0.0 | 167M| 183 | - | 295 |8048 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
246.90/246.90 o 2
246.90/246.90 c * 225s|631446 |164987 | 0 | 0.0 | 160M| 183 | - | 295 |8356 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
254.90/254.94 c 232s|640000 |159518 | 0 | 0.0 | 161M| 183 | - | 295 |7374 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
263.70/263.78 c 241s|650000 |153605 | 0 | 0.0 | 160M| 183 | - | 295 |7844 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
273.10/273.15 c 250s|660000 |147992 | 0 | 0.0 | 158M| 183 | - | 295 |9069 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
283.30/283.33 c 259s|670000 |142087 | 0 | 0.0 | 156M| 183 | - | 295 |9984 | 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
293.90/293.92 c 269s|680000 |136965 | 0 | 0.0 | 155M| 183 | - | 295 | 11k| 0 | 0 | 0 | 725k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
304.80/304.83 c 280s|690000 |132703 | 0 | 0.0 | 155M| 183 | - | 295 | 13k| 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
316.10/316.10 c 291s|700000 |129135 | 0 | 0.0 | 156M| 183 | - | 295 | 15k| 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
327.81/327.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.81/327.81 c 302s|710000 |125742 | 0 | 0.0 | 155M| 183 | - | 295 | 17k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
339.80/339.89 c 314s|720000 |123368 | 0 | 0.0 | 156M| 183 | - | 295 | 19k| 0 | 0 | 0 | 798k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
352.50/352.56 c 326s|730000 |121076 | 0 | 0.0 | 157M| 183 | - | 295 | 20k| 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
365.90/365.91 c 339s|740000 |118810 | 0 | 0.0 | 158M| 183 | - | 295 | 21k| 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
379.10/379.14 c 351s|750000 |116847 | 0 | 0.0 | 158M| 183 | - | 295 | 22k| 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
392.10/392.12 c 364s|760000 |114964 | 0 | 0.0 | 159M| 183 | - | 295 | 23k| 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
405.10/405.17 c 377s|770000 |113294 | 0 | 0.0 | 159M| 183 | - | 295 | 24k| 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
418.40/418.47 c 389s|780000 |111675 | 0 | 0.0 | 160M| 183 | - | 295 | 27k| 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
433.40/433.49 c 404s|790000 |109195 | 0 | 0.0 | 159M| 183 | - | 295 | 29k| 0 | 0 | 0 | 931k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
458.00/458.01 c 428s|800000 |101980 | 0 | 0.0 | 155M| 183 | - | 295 | 24k| 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
489.80/489.80 c 460s|810000 | 93439 | 0 | 0.0 | 151M| 183 | - | 295 | 31k| 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
527.50/527.59 c 497s|820000 | 83966 | 0 | 0.0 | 142M| 183 | - | 295 | 30k| 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
559.80/559.82 c 529s|830000 | 75138 | 0 | 0.0 | 132M| 183 | - | 295 | 26k| 0 | 0 | 0 |1041k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
587.49/587.53 c 556s|840000 | 66747 | 0 | 0.0 | 123M| 183 | - | 295 | 28k| 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
615.69/615.76 c 584s|850000 | 58452 | 0 | 0.0 | 116M| 183 | - | 295 | 33k| 0 | 0 | 0 |1092k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
644.99/645.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.99/645.09 c 613s|860000 | 50794 | 0 | 0.0 | 109M| 183 | - | 295 | 37k| 0 | 0 | 0 |1118k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
675.70/675.72 c 643s|870000 | 43339 | 0 | 0.0 | 101M| 183 | - | 295 | 39k| 0 | 0 | 0 |1143k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
707.69/707.72 c 675s|880000 | 36043 | 0 | 0.0 | 92M| 183 | - | 295 | 40k| 0 | 0 | 0 |1169k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
737.29/737.37 c 704s|890000 | 30056 | 0 | 0.0 | 85M| 183 | - | 295 | 43k| 0 | 0 | 0 |1194k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
771.10/771.12 c 737s|900000 | 21232 | 0 | 0.0 | 72M| 183 | - | 295 | 42k| 0 | 0 | 0 |1222k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
818.09/818.12 c 783s|910000 | 5510 | 0 | 0.0 | 38M| 183 | - | 295 | 47k| 0 | 0 | 0 |1254k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
834.20/834.25 c
834.20/834.25 c SCIP Status : problem is solved [optimal solution found]
834.20/834.25 c Solving Time (sec) : 799.18
834.20/834.25 c Solving Nodes : 913563
834.20/834.25 c Primal Bound : +2.00000000000000e+00 (19 solutions)
834.20/834.25 c Dual Bound : +2.00000000000000e+00
834.20/834.25 c Gap : 0.00 %
834.20/834.25 s OPTIMUM FOUND
834.20/834.25 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
834.20/834.25 v -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
834.20/834.25 v x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
834.20/834.25 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
834.20/834.25 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 -x56
834.20/834.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
834.20/834.25 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
834.20/834.25 v -x4 -x3 -x2 -x1
834.20/834.25 c SCIP Status : problem is solved [optimal solution found]
834.20/834.25 c Solving Time : 799.18
834.20/834.25 c Original Problem :
834.20/834.25 c Problem name : HOME/instance-2693837-1277895237.wbo
834.20/834.25 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
834.20/834.25 c Constraints : 166 initial, 166 maximal
834.20/834.25 c Presolved Problem :
834.20/834.25 c Problem name : t_HOME/instance-2693837-1277895237.wbo
834.20/834.25 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
834.20/834.25 c Constraints : 159 initial, 52084 maximal
834.20/834.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
834.20/834.25 c trivial : 0.00 0 0 0 0 0 0 0 0
834.20/834.25 c dualfix : 0.00 2 0 0 0 0 0 0 0
834.20/834.25 c boundshift : 0.00 0 0 0 0 0 0 0 0
834.20/834.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0
834.20/834.25 c implics : 0.00 0 0 0 0 0 0 0 0
834.20/834.25 c probing : 0.01 0 0 0 0 0 0 0 0
834.20/834.25 c indicator : 0.00 0 0 0 0 0 1 0 0
834.20/834.25 c knapsack : 0.00 0 0 0 0 0 0 0 0
834.20/834.25 c setppc : 0.00 0 0 0 0 0 0 0 0
834.20/834.25 c linear : 0.00 0 0 0 63 0 6 1 0
834.20/834.25 c logicor : 0.01 0 0 0 0 0 0 0 0
834.20/834.25 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
834.20/834.25 c root node : - 22 - - 44 - - - -
834.20/834.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
834.20/834.25 c integral : 0 0 0 0 0 0 0 0 0 0
834.20/834.25 c indicator : 63 0 2536344 0 547530 785 307144 0 0 0
834.20/834.25 c knapsack : 1 0 2959709 0 624661 72063 9211611 0 0 0
834.20/834.25 c setppc : 23 0 2887226 0 624538 131957 2076290 0 0 0
834.20/834.25 c linear : 63 0 2755654 0 624651 173883 3486713 0 0 0
834.20/834.25 c logicor : 9+ 0 1363981 0 624547 38494 719957 0 0 0
834.20/834.25 c bounddisjunction : 0+ 0 62863 0 0 0 1115 0 0 0
834.20/834.25 c countsols : 0 0 0 0 624669 0 0 0 0 0
834.20/834.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
834.20/834.25 c integral : 0.00 0.00 0.00 0.00 0.00
834.20/834.25 c indicator : 0.77 0.00 0.29 0.00 0.48
834.20/834.25 c knapsack : 92.72 0.00 91.57 0.00 1.15
834.20/834.25 c setppc : 9.33 0.00 7.89 0.00 1.44
834.20/834.25 c linear : 30.64 0.00 30.62 0.00 0.02
834.20/834.25 c logicor : 328.83 0.00 328.42 0.00 0.41
834.20/834.25 c bounddisjunction : 0.64 0.00 0.64 0.00 0.00
834.20/834.25 c countsols : 0.00 0.00 0.00 0.00 0.00
834.20/834.25 c Propagators : Time Calls Cutoffs DomReds
834.20/834.25 c vbounds : 0.09 2 0 0
834.20/834.25 c rootredcost : 0.04 0 0 0
834.20/834.25 c pseudoobj : 4.74 2960863 526 281498
834.20/834.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
834.20/834.25 c propagation : 14.58 416922 416919 2171880 23.5 140876 13.9 -
834.20/834.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
834.20/834.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
834.20/834.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
834.20/834.25 c pseudo solution : 0.02 58 58 250 31.5 16 15.2 -
834.20/834.25 c applied globally : - - - 1241622 16.8 - - -
834.20/834.25 c applied locally : - - - 25124 36.9 - - -
834.20/834.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
834.20/834.25 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
834.20/834.25 c redcost : 0.00 0 0 0 0 0
834.20/834.25 c impliedbounds : 0.00 0 0 0 0 0
834.20/834.25 c intobj : 0.00 0 0 0 0 0
834.20/834.25 c cgmip : 0.00 0 0 0 0 0
834.20/834.25 c gomory : 0.00 0 0 0 0 0
834.20/834.25 c strongcg : 0.00 0 0 0 0 0
834.20/834.25 c cmir : 0.00 0 0 0 0 0
834.20/834.25 c flowcover : 0.00 0 0 0 0 0
834.20/834.25 c clique : 0.00 0 0 0 0 0
834.20/834.25 c zerohalf : 0.00 0 0 0 0 0
834.20/834.25 c mcf : 0.00 0 0 0 0 0
834.20/834.25 c rapidlearning : 0.00 0 0 0 0 0
834.20/834.25 c Pricers : Time Calls Vars
834.20/834.25 c problem variables: 0.00 0 0
834.20/834.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
834.20/834.25 c relpscost : 0.00 0 0 0 0 0 0
834.20/834.25 c pscost : 0.00 0 0 0 0 0 0
834.20/834.25 c inference : 4.75 624650 0 0 0 0 1249300
834.20/834.25 c mostinf : 0.00 0 0 0 0 0 0
834.20/834.25 c leastinf : 0.00 0 0 0 0 0 0
834.20/834.25 c fullstrong : 0.00 0 0 0 0 0 0
834.20/834.25 c allfullstrong : 0.00 0 0 0 0 0 0
834.20/834.25 c random : 0.00 0 0 0 0 0 0
834.20/834.25 c Primal Heuristics : Time Calls Found
834.20/834.25 c LP solutions : 0.00 - 0
834.20/834.25 c pseudo solutions : 0.12 - 19
834.20/834.25 c oneopt : 0.06 0 0
834.20/834.25 c trivial : 0.00 2 0
834.20/834.25 c simplerounding : 0.00 0 0
834.20/834.25 c zirounding : 0.00 0 0
834.20/834.25 c rounding : 0.00 0 0
834.20/834.25 c shifting : 0.00 0 0
834.20/834.25 c intshifting : 0.00 0 0
834.20/834.25 c twoopt : 0.00 0 0
834.20/834.25 c fixandinfer : 0.00 0 0
834.20/834.25 c feaspump : 0.00 0 0
834.20/834.25 c coefdiving : 0.00 0 0
834.20/834.25 c pscostdiving : 0.00 0 0
834.20/834.25 c fracdiving : 0.00 0 0
834.20/834.25 c veclendiving : 0.00 0 0
834.20/834.25 c intdiving : 0.00 0 0
834.20/834.25 c actconsdiving : 0.00 0 0
834.20/834.25 c objpscostdiving : 0.00 0 0
834.20/834.25 c rootsoldiving : 0.00 0 0
834.20/834.25 c linesearchdiving : 0.00 0 0
834.20/834.25 c guideddiving : 0.00 0 0
834.20/834.25 c octane : 0.00 0 0
834.20/834.25 c rens : 0.00 0 0
834.20/834.25 c rins : 0.00 0 0
834.20/834.25 c localbranching : 0.00 0 0
834.20/834.25 c mutation : 0.00 0 0
834.20/834.25 c crossover : 0.00 0 0
834.20/834.25 c dins : 0.00 0 0
834.20/834.25 c undercover : 0.00 0 0
834.20/834.25 c nlp : 0.01 0 0
834.20/834.25 c trysol : 0.00 1 0
834.20/834.25 c LP : Time Calls Iterations Iter/call Iter/sec
834.20/834.25 c primal LP : 0.00 0 0 0.00 -
834.20/834.25 c dual LP : 0.00 0 0 0.00 -
834.20/834.25 c lex dual LP : 0.00 0 0 0.00 -
834.20/834.25 c barrier LP : 0.00 0 0 0.00 -
834.20/834.25 c diving/probing LP: 0.00 0 0 0.00 -
834.20/834.25 c strong branching : 0.00 0 0 0.00 -
834.20/834.25 c (at root node) : - 0 0 0.00 -
834.20/834.25 c conflict analysis: 0.00 0 0 0.00 -
834.20/834.25 c B&B Tree :
834.20/834.25 c number of runs : 1
834.20/834.25 c nodes : 913563
834.20/834.25 c nodes (total) : 913563
834.20/834.25 c nodes left : 0
834.20/834.25 c max depth : 183
834.20/834.25 c max depth (total): 183
834.20/834.25 c backtracks : 351918 (38.5%)
834.20/834.25 c delayed cutoffs : 260594
834.20/834.25 c repropagations : 1191766 (4594073 domain reductions, 128872 cutoffs)
834.20/834.25 c avg switch length: 31.63
834.20/834.25 c switching time : 244.02
834.20/834.25 c Solution :
834.20/834.25 c Solutions found : 19 (19 improvements)
834.20/834.25 c First Solution : +5.50000000000000e+02 (in run 1, after 2187 nodes, 0.19 seconds, depth 128, found by <relaxation>)
834.20/834.25 c Primal Bound : +2.00000000000000e+00 (in run 1, after 631446 nodes, 224.71 seconds, depth 54, found by <relaxation>)
834.20/834.25 c Dual Bound : +2.00000000000000e+00
834.20/834.25 c Gap : 0.00 %
834.20/834.25 c Root Dual Bound : +0.00000000000000e+00
834.20/834.25 c Root Iterations : 0
834.30/834.32 c Time complete: 834.32.