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-2693857-1277895882.wbo>
0.00/0.00 c original problem has 221 variables (195 bin, 0 int, 0 impl, 26 cont) and 128 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, 34 impls, 49 clqs
0.00/0.01 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 34 impls, 49 clqs
0.00/0.01 c (round 3) 2 del vars, 19 del conss, 24 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 34 impls, 49 clqs
0.00/0.01 c (round 4) 4 del vars, 19 del conss, 24 chg bounds, 2 chg sides, 0 chg coeffs, 61 upgd conss, 34 impls, 49 clqs
0.01/0.02 c (0.0s) probing: 101/193 (52.3%) - 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 4 deleted vars, 19 deleted constraints, 24 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.01/0.02 c 34 implications, 49 cliques
0.01/0.02 c presolved problem has 217 variables (193 bin, 0 int, 0 impl, 24 cont) and 109 constraints
0.01/0.02 c 24 constraints of type <indicator>
0.01/0.02 c 1 constraints of type <knapsack>
0.01/0.02 c 49 constraints of type <setppc>
0.01/0.02 c 24 constraints of type <linear>
0.01/0.02 c 11 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.02
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 | - | 851k| 0 | - | 217 | 109 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.21 c 1.1s| 10000 | 7563 | 0 | 0.0 |5905k| 140 | - | 217 |2671 | 0 | 0 | 0 |4553 | 0 | 0.000000e+00 | -- | Inf
3.20/3.30 c 3.1s| 20000 | 13145 | 0 | 0.0 | 11M| 140 | - | 217 |5730 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
5.40/5.41 c 5.1s| 30000 | 19267 | 0 | 0.0 | 15M| 140 | - | 217 |4512 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
8.19/8.29 c 7.9s| 40000 | 23946 | 0 | 0.0 | 19M| 140 | - | 217 |7132 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
11.69/11.70 c 11.2s| 50000 | 28009 | 0 | 0.0 | 24M| 140 | - | 217 |8944 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
15.59/15.65 c 15.1s| 60000 | 31257 | 0 | 0.0 | 28M| 140 | - | 217 | 11k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
20.09/20.14 c 19.4s| 70000 | 33934 | 0 | 0.0 | 33M| 140 | - | 217 | 15k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
24.79/24.80 c 24.0s| 80000 | 37340 | 0 | 0.0 | 34M| 140 | - | 217 |4851 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
26.19/26.26 c 25.4s| 90000 | 45026 | 0 | 0.0 | 37M| 140 | - | 217 |3566 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
29.29/29.36 c 28.3s|100000 | 49030 | 0 | 0.0 | 42M| 140 | - | 217 |6184 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
34.79/34.82 c 33.7s|110000 | 50247 | 0 | 0.0 | 46M| 140 | - | 217 |9869 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
40.70/40.71 c 39.4s|120000 | 51380 | 0 | 0.0 | 49M| 140 | - | 217 | 13k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
48.09/48.10 c 46.6s|130000 | 51638 | 0 | 0.0 | 53M| 140 | - | 217 | 17k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
57.39/57.46 c 55.9s|140000 | 50976 | 0 | 0.0 | 56M| 140 | - | 217 | 21k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
67.59/67.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.59/67.69 c 66.0s|150000 | 50477 | 0 | 0.0 | 59M| 140 | - | 217 | 24k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
78.29/78.32 c 76.5s|160000 | 50036 | 0 | 0.0 | 62M| 140 | - | 217 | 29k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
92.80/92.83 c 90.9s|170000 | 47363 | 0 | 0.0 | 63M| 140 | - | 217 | 32k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
98.00/98.01 c 96.0s|180000 | 53399 | 0 | 0.0 | 57M| 140 | - | 217 |5236 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
99.69/99.78 c 97.6s|190000 | 60790 | 0 | 0.0 | 61M| 140 | - | 217 |4345 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
101.70/101.74 c 99.5s|200000 | 67653 | 0 | 0.0 | 65M| 140 | - | 217 |4850 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
103.89/103.97 c 102s|210000 | 74031 | 0 | 0.0 | 69M| 140 | - | 217 |5523 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
106.40/106.40 c 104s|220000 | 80022 | 0 | 0.0 | 73M| 140 | - | 217 |6078 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
109.00/109.09 c 107s|230000 | 85622 | 0 | 0.0 | 77M| 140 | - | 217 |7059 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
112.20/112.26 c 110s|240000 | 90485 | 0 | 0.0 | 81M| 140 | - | 217 |8656 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
116.70/116.70 c 114s|250000 | 93535 | 0 | 0.0 | 84M| 140 | - | 217 | 10k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
125.69/125.77 c 123s|260000 | 91111 | 0 | 0.0 | 85M| 140 | - | 217 | 13k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
138.69/138.74 c 136s|270000 | 86218 | 0 | 0.0 | 84M| 140 | - | 217 | 20k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
157.30/157.39 c 154s|280000 | 79866 | 0 | 0.0 | 80M| 140 | - | 217 | 30k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
178.80/178.82 c 175s|290000 | 73644 | 0 | 0.0 | 72M| 140 | - | 217 | 32k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
183.70/183.78 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.78 c 180s|300000 | 79531 | 0 | 0.0 | 67M| 140 | - | 217 |5961 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
186.60/186.61 c 183s|310000 | 85171 | 0 | 0.0 | 71M| 140 | - | 217 |6065 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
189.60/189.68 c 186s|320000 | 90482 | 0 | 0.0 | 75M| 140 | - | 217 |6462 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
192.90/192.98 c 189s|330000 | 95343 | 0 | 0.0 | 78M| 140 | - | 217 |6701 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
196.40/196.43 c 193s|340000 | 99953 | 0 | 0.0 | 82M| 140 | - | 217 |7318 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
199.70/199.76 c 196s|350000 |104863 | 0 | 0.0 | 85M| 140 | - | 217 |7700 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
203.29/203.37 c 199s|360000 |109397 | 0 | 0.0 | 89M| 140 | - | 217 |8311 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
207.00/207.07 c 203s|370000 |113874 | 0 | 0.0 | 92M| 140 | - | 217 |8595 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
210.90/210.95 c 207s|380000 |118088 | 0 | 0.0 | 95M| 140 | - | 217 |9016 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
215.00/215.02 c 211s|390000 |122081 | 0 | 0.0 | 98M| 140 | - | 217 |9642 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
219.30/219.32 c 215s|400000 |125819 | 0 | 0.0 | 101M| 140 | - | 217 | 10k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
223.79/223.87 c 219s|410000 |129407 | 0 | 0.0 | 104M| 140 | - | 217 | 10k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
228.60/228.61 c 224s|420000 |132904 | 0 | 0.0 | 107M| 140 | - | 217 | 11k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
233.70/233.77 c 229s|430000 |135968 | 0 | 0.0 | 110M| 140 | - | 217 | 13k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
239.20/239.29 c 234s|440000 |138868 | 0 | 0.0 | 113M| 140 | - | 217 | 13k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
245.50/245.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.50/245.50 c 240s|450000 |141143 | 0 | 0.0 | 115M| 140 | - | 217 | 15k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
252.80/252.87 c 248s|460000 |142564 | 0 | 0.0 | 117M| 140 | - | 217 | 17k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
261.50/261.54 c 256s|470000 |142601 | 0 | 0.0 | 118M| 140 | - | 217 | 19k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
271.90/271.91 c 266s|480000 |141722 | 0 | 0.0 | 107M| 140 | - | 217 | 10k| 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | -- | Inf
276.00/276.05 c 270s|490000 |146364 | 0 | 0.0 | 110M| 140 | - | 217 |9260 | 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | -- | Inf
280.20/280.25 c 274s|500000 |150548 | 0 | 0.0 | 114M| 140 | - | 217 |9618 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | -- | Inf
284.81/284.89 c 279s|510000 |154017 | 0 | 0.0 | 117M| 140 | - | 217 | 10k| 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | -- | Inf
289.99/290.03 c 284s|520000 |156911 | 0 | 0.0 | 120M| 140 | - | 217 | 11k| 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | -- | Inf
295.10/295.14 c 289s|530000 |160030 | 0 | 0.0 | 123M| 140 | - | 217 | 11k| 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | -- | Inf
300.60/300.68 c 294s|540000 |162596 | 0 | 0.0 | 126M| 140 | - | 217 | 12k| 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | -- | Inf
306.40/306.48 c 300s|550000 |165119 | 0 | 0.0 | 129M| 140 | - | 217 | 13k| 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | -- | Inf
312.31/312.38 c 306s|560000 |167735 | 0 | 0.0 | 132M| 140 | - | 217 | 14k| 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | -- | Inf
312.70/312.75 o 49
312.70/312.75 c * 306s|560583 |137612 | 0 | 0.0 | 112M| 140 | - | 217 | 14k| 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
323.10/323.18 c 316s|570000 |135260 | 0 | 0.0 | 113M| 140 | - | 217 |6729 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
330.90/330.98 c 324s|580000 |132252 | 0 | 0.0 | 115M| 140 | - | 217 | 12k| 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
341.90/341.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.90/341.95 c 335s|590000 |128770 | 0 | 0.0 | 116M| 140 | - | 217 | 17k| 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
355.90/355.98 c 349s|600000 |124103 | 0 | 0.0 | 116M| 140 | - | 217 | 20k| 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
373.30/373.39 c 366s|610000 |118389 | 0 | 0.0 | 116M| 140 | - | 217 | 25k| 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
394.91/394.93 c 387s|620000 |111252 | 0 | 0.0 | 114M| 140 | - | 217 | 29k| 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
416.70/416.70 c 409s|630000 |104085 | 0 | 0.0 | 109M| 140 | - | 217 | 19k| 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
435.10/435.15 c 427s|640000 | 98427 | 0 | 0.0 | 108M| 140 | - | 217 | 20k| 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
456.60/456.60 c 448s|650000 | 90378 | 0 | 0.0 | 106M| 140 | - | 217 | 23k| 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
459.30/459.33 o 41
459.30/459.33 c * 451s|651151 | 69820 | 0 | 0.0 | 90M| 140 | - | 217 | 24k| 0 | 0 | 0 | 605k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
470.10/470.10 c 462s|660000 | 60434 | 0 | 0.0 | 79M| 140 | - | 217 |8949 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
482.81/482.84 c 474s|670000 | 48169 | 0 | 0.0 | 66M| 140 | - | 217 | 13k| 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
496.41/496.44 o 30
496.41/496.44 c * 487s|675871 | 20145 | 0 | 0.0 | 35M| 140 | - | 217 | 20k| 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
498.00/498.08 c 489s|680000 | 23041 | 0 | 0.0 | 32M| 140 | - | 217 |8628 | 0 | 0 | 0 | 666k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
501.81/501.89 c 493s|690000 | 27892 | 0 | 0.0 | 36M| 140 | - | 217 |9062 | 0 | 0 | 0 | 674k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
505.30/505.39 c 496s|700000 | 32782 | 0 | 0.0 | 38M| 140 | - | 217 |8537 | 0 | 0 | 0 | 682k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
509.21/509.29 c 500s|710000 | 37970 | 0 | 0.0 | 44M| 140 | - | 217 | 13k| 0 | 0 | 0 | 692k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
515.50/515.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.50/515.54 c 506s|720000 | 41239 | 0 | 0.0 | 49M| 140 | - | 217 | 19k| 0 | 0 | 0 | 705k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
524.10/524.13 c 515s|730000 | 43065 | 0 | 0.0 | 52M| 140 | - | 217 | 21k| 0 | 0 | 0 | 718k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
530.60/530.65 c 521s|740000 | 46804 | 0 | 0.0 | 52M| 140 | - | 217 |9332 | 0 | 0 | 0 | 727k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
535.91/535.97 c 526s|750000 | 50090 | 0 | 0.0 | 56M| 140 | - | 217 | 13k| 0 | 0 | 0 | 742k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
544.00/544.01 c 534s|760000 | 52371 | 0 | 0.0 | 61M| 140 | - | 217 | 18k| 0 | 0 | 0 | 759k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
554.51/554.59 c 544s|770000 | 53526 | 0 | 0.0 | 65M| 140 | - | 217 | 23k| 0 | 0 | 0 | 778k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
568.50/568.52 c 558s|780000 | 53119 | 0 | 0.0 | 69M| 140 | - | 217 | 28k| 0 | 0 | 0 | 798k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
585.91/585.92 c 576s|790000 | 51317 | 0 | 0.0 | 72M| 140 | - | 217 | 34k| 0 | 0 | 0 | 817k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
604.71/604.70 c 594s|800000 | 50731 | 0 | 0.0 | 69M| 140 | - | 217 | 26k| 0 | 0 | 0 | 834k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
613.90/613.95 c 603s|810000 | 54292 | 0 | 0.0 | 70M| 140 | - | 217 | 18k| 0 | 0 | 0 | 846k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
623.21/623.28 c 612s|820000 | 56252 | 0 | 0.0 | 73M| 140 | - | 217 | 20k| 0 | 0 | 0 | 860k| 0 | 1.700000e+01 | 3.000000e+01 | 76.47%
629.61/629.69 o 19
629.61/629.69 c * 619s|829182 | 37685 | 0 | 0.0 | 51M| 140 | - | 217 | 11k| 0 | 0 | 0 | 869k| 0 | 1.700000e+01 | 1.900000e+01 | 11.76%
630.21/630.25 c 619s|830000 | 37754 | 0 | 0.0 | 51M| 140 | - | 217 | 12k| 0 | 0 | 0 | 870k| 0 | 1.700000e+01 | 1.900000e+01 | 11.76%
644.10/644.14 c 633s|840000 | 35049 | 0 | 0.0 | 55M| 140 | - | 217 | 25k| 0 | 0 | 0 | 894k| 0 | 1.700000e+01 | 1.900000e+01 | 11.76%
669.91/669.99 c 659s|850000 | 29538 | 0 | 0.0 | 56M| 140 | - | 217 | 38k| 0 | 0 | 0 | 922k| 0 | 1.700000e+01 | 1.900000e+01 | 11.76%
705.11/705.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.11/705.18 c 694s|860000 | 21602 | 0 | 0.0 | 49M| 140 | - | 217 | 48k| 0 | 0 | 0 | 950k| 0 | 1.700000e+01 | 1.900000e+01 | 11.76%
725.91/725.92 c 714s|870000 | 21804 | 0 | 0.0 | 43M| 140 | - | 217 | 24k| 0 | 0 | 0 | 968k| 0 | 1.700000e+01 | 1.900000e+01 | 11.76%
741.01/741.08 c 729s|880000 | 21525 | 0 | 0.0 | 45M| 140 | - | 217 | 28k| 0 | 0 | 0 | 988k| 0 | 1.700000e+01 | 1.900000e+01 | 11.76%
751.91/751.97 o 18
751.91/751.97 c * 740s|886338 | 4715 | 0 | 0.0 | 28M| 140 | - | 217 | 32k| 0 | 0 | 0 |1001k| 0 | 1.700000e+01 | 1.800000e+01 | 5.88%
764.41/764.48 c
764.41/764.48 c SCIP Status : problem is solved [optimal solution found]
764.41/764.48 c Solving Time (sec) : 752.62
764.41/764.48 c Solving Nodes : 889885
764.41/764.48 c Primal Bound : +1.80000000000000e+01 (5 solutions)
764.41/764.48 c Dual Bound : +1.80000000000000e+01
764.41/764.48 c Gap : 0.00 %
764.41/764.48 s OPTIMUM FOUND
764.41/764.48 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
764.41/764.48 v -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
764.41/764.48 v x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106
764.41/764.48 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
764.41/764.48 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
764.41/764.48 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
764.41/764.48 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
764.41/764.48 v -x4 -x3 -x2 -x1
764.41/764.48 c SCIP Status : problem is solved [optimal solution found]
764.41/764.48 c Solving Time : 752.62
764.41/764.48 c Original Problem :
764.41/764.48 c Problem name : HOME/instance-2693857-1277895882.wbo
764.41/764.48 c Variables : 221 (195 binary, 0 integer, 0 implicit integer, 26 continuous)
764.41/764.48 c Constraints : 128 initial, 128 maximal
764.41/764.48 c Presolved Problem :
764.41/764.48 c Problem name : t_HOME/instance-2693857-1277895882.wbo
764.41/764.48 c Variables : 217 (193 binary, 0 integer, 0 implicit integer, 24 continuous)
764.41/764.48 c Constraints : 109 initial, 48747 maximal
764.41/764.48 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
764.41/764.48 c trivial : 0.00 0 0 0 0 0 0 0 0
764.41/764.48 c dualfix : 0.00 4 0 0 0 0 0 0 0
764.41/764.48 c boundshift : 0.00 0 0 0 0 0 0 0 0
764.41/764.48 c inttobinary : 0.00 0 0 0 0 0 0 0 0
764.41/764.48 c implics : 0.00 0 0 0 0 0 0 0 0
764.41/764.48 c probing : 0.01 0 0 0 0 0 0 0 0
764.41/764.48 c indicator : 0.00 0 0 0 0 0 2 0 0
764.41/764.48 c knapsack : 0.01 0 0 0 0 0 0 0 0
764.41/764.48 c setppc : 0.00 0 0 0 0 0 0 0 0
764.41/764.48 c linear : 0.00 0 0 0 24 0 17 2 0
764.41/764.48 c logicor : 0.00 0 0 0 0 0 0 0 0
764.41/764.48 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
764.41/764.48 c root node : - 0 - - 0 - - - -
764.41/764.48 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
764.41/764.48 c integral : 0 0 0 0 0 0 0 0 0 0
764.41/764.48 c indicator : 24 0 2237952 0 475416 717 169727 0 0 0
764.41/764.48 c knapsack : 1 0 2890304 0 597660 57948 9389157 0 0 0
764.41/764.48 c setppc : 49 0 2832350 0 597658 286912 3940365 0 0 0
764.41/764.48 c linear : 24 0 2545435 0 597658 28797 969997 0 0 0
764.41/764.48 c logicor : 11+ 0 1294571 0 597613 40058 641032 0 0 0
764.41/764.48 c bounddisjunction : 0+ 0 170628 0 0 0 35 0 0 0
764.41/764.48 c countsols : 0 0 0 0 597663 0 0 0 0 0
764.41/764.48 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
764.41/764.48 c integral : 0.00 0.00 0.00 0.00 0.00
764.41/764.48 c indicator : 1.56 0.00 1.02 0.00 0.54
764.41/764.48 c knapsack : 94.97 0.00 93.21 0.00 1.76
764.41/764.48 c setppc : 19.69 0.00 16.26 0.00 3.43
764.41/764.48 c linear : 11.88 0.00 11.47 0.00 0.41
764.41/764.48 c logicor : 294.89 0.00 294.29 0.00 0.60
764.41/764.48 c bounddisjunction : 0.69 0.00 0.69 0.00 0.00
764.41/764.48 c countsols : 0.13 0.00 0.00 0.00 0.13
764.41/764.48 c Propagators : Time Calls Cutoffs DomReds
764.41/764.48 c vbounds : 0.76 2 0 0
764.41/764.48 c rootredcost : 0.73 0 0 0
764.41/764.48 c pseudoobj : 3.29 2891264 438 105291
764.41/764.48 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
764.41/764.48 c propagation : 11.63 414153 414100 2106843 19.8 61738 14.9 -
764.41/764.48 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
764.41/764.48 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
764.41/764.48 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
764.41/764.48 c pseudo solution : 0.00 8 8 26 6.8 1 3.0 -
764.41/764.48 c applied globally : - - - 1003781 15.4 - - -
764.41/764.48 c applied locally : - - - 9880 37.0 - - -
764.41/764.48 c Separators : Time Calls Cutoffs DomReds Cuts Conss
764.41/764.48 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
764.41/764.48 c redcost : 0.00 0 0 0 0 0
764.41/764.48 c impliedbounds : 0.00 0 0 0 0 0
764.41/764.48 c intobj : 0.00 0 0 0 0 0
764.41/764.48 c cgmip : 0.00 0 0 0 0 0
764.41/764.48 c gomory : 0.00 0 0 0 0 0
764.41/764.48 c strongcg : 0.00 0 0 0 0 0
764.41/764.48 c cmir : 0.00 0 0 0 0 0
764.41/764.48 c flowcover : 0.00 0 0 0 0 0
764.41/764.48 c clique : 0.00 0 0 0 0 0
764.41/764.48 c zerohalf : 0.00 0 0 0 0 0
764.41/764.48 c mcf : 0.00 0 0 0 0 0
764.41/764.48 c rapidlearning : 0.00 0 0 0 0 0
764.41/764.48 c Pricers : Time Calls Vars
764.41/764.48 c problem variables: 0.00 0 0
764.41/764.48 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
764.41/764.48 c relpscost : 0.00 0 0 0 0 0 0
764.41/764.48 c pscost : 0.00 0 0 0 0 0 0
764.41/764.48 c inference : 4.03 597658 0 0 0 0 1195316
764.41/764.48 c mostinf : 0.00 0 0 0 0 0 0
764.41/764.48 c leastinf : 0.00 0 0 0 0 0 0
764.41/764.48 c fullstrong : 0.00 0 0 0 0 0 0
764.41/764.48 c allfullstrong : 0.00 0 0 0 0 0 0
764.41/764.48 c random : 0.00 0 0 0 0 0 0
764.41/764.48 c Primal Heuristics : Time Calls Found
764.41/764.48 c LP solutions : 0.00 - 0
764.41/764.48 c pseudo solutions : 0.21 - 5
764.41/764.48 c oneopt : 0.29 0 0
764.41/764.48 c trivial : 0.00 2 0
764.41/764.48 c simplerounding : 0.00 0 0
764.41/764.48 c zirounding : 0.00 0 0
764.41/764.48 c rounding : 0.00 0 0
764.41/764.48 c shifting : 0.00 0 0
764.41/764.48 c intshifting : 0.00 0 0
764.41/764.48 c twoopt : 0.00 0 0
764.41/764.48 c fixandinfer : 0.00 0 0
764.41/764.48 c feaspump : 0.00 0 0
764.41/764.48 c coefdiving : 0.00 0 0
764.41/764.48 c pscostdiving : 0.00 0 0
764.41/764.48 c fracdiving : 0.00 0 0
764.41/764.48 c veclendiving : 0.00 0 0
764.41/764.48 c intdiving : 0.00 0 0
764.41/764.48 c actconsdiving : 0.00 0 0
764.41/764.48 c objpscostdiving : 0.00 0 0
764.41/764.48 c rootsoldiving : 0.00 0 0
764.41/764.48 c linesearchdiving : 0.00 0 0
764.41/764.48 c guideddiving : 0.00 0 0
764.41/764.48 c octane : 0.00 0 0
764.41/764.48 c rens : 0.00 0 0
764.41/764.48 c rins : 0.00 0 0
764.41/764.48 c localbranching : 0.00 0 0
764.41/764.48 c mutation : 0.00 0 0
764.41/764.48 c crossover : 0.00 0 0
764.41/764.48 c dins : 0.00 0 0
764.41/764.48 c undercover : 0.00 0 0
764.41/764.48 c nlp : 0.24 0 0
764.41/764.48 c trysol : 0.13 1 0
764.41/764.48 c LP : Time Calls Iterations Iter/call Iter/sec
764.41/764.48 c primal LP : 0.00 0 0 0.00 -
764.41/764.48 c dual LP : 0.00 0 0 0.00 -
764.41/764.48 c lex dual LP : 0.00 0 0 0.00 -
764.41/764.48 c barrier LP : 0.00 0 0 0.00 -
764.41/764.48 c diving/probing LP: 0.00 0 0 0.00 -
764.41/764.48 c strong branching : 0.00 0 0 0.00 -
764.41/764.48 c (at root node) : - 0 0 0.00 -
764.41/764.48 c conflict analysis: 0.00 0 0 0.00 -
764.41/764.48 c B&B Tree :
764.41/764.48 c number of runs : 1
764.41/764.48 c nodes : 889885
764.41/764.48 c nodes (total) : 889885
764.41/764.48 c nodes left : 0
764.41/764.48 c max depth : 140
764.41/764.48 c max depth (total): 140
764.41/764.48 c backtracks : 320313 (36.0%)
764.41/764.48 c delayed cutoffs : 201264
764.41/764.48 c repropagations : 1173737 (3908342 domain reductions, 122656 cutoffs)
764.41/764.48 c avg switch length: 21.09
764.41/764.48 c switching time : 224.12
764.41/764.48 c Solution :
764.41/764.48 c Solutions found : 5 (5 improvements)
764.41/764.48 c First Solution : +4.90000000000000e+01 (in run 1, after 560583 nodes, 306.18 seconds, depth 51, found by <relaxation>)
764.41/764.48 c Primal Bound : +1.80000000000000e+01 (in run 1, after 886338 nodes, 740.16 seconds, depth 46, found by <relaxation>)
764.41/764.48 c Dual Bound : +1.80000000000000e+01
764.41/764.48 c Gap : 0.00 %
764.41/764.48 c Root Dual Bound : +0.00000000000000e+00
764.41/764.48 c Root Iterations : 0
764.52/764.52 c Time complete: 764.54.