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-2694065-1277903577.wbo>
0.01/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.02 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.01/0.03 c presolving:
0.01/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.01/0.07 c (round 2) 0 del vars, 113 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.01/0.08 c (round 3) 52 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.01/0.09 c (round 4) 104 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.09/0.13 c (0.1s) probing: 101/1085 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (5 rounds):
0.09/0.13 c 104 deleted vars, 165 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients
0.09/0.13 c 1116 implications, 14 cliques
0.09/0.13 c presolved problem has 1939 variables (1085 bin, 0 int, 0 impl, 854 cont) and 3449 constraints
0.09/0.13 c 854 constraints of type <indicator>
0.09/0.13 c 1 constraints of type <knapsack>
0.09/0.13 c 14 constraints of type <setppc>
0.09/0.13 c 854 constraints of type <linear>
0.09/0.13 c 1726 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.10
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 1.2.1.2
0.09/0.13 c
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = 10000
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1799.98
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 3420
0.09/0.13 c
0.09/0.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c lp/solvefreq = -1
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |7510k| 0 | - |1939 |3449 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.98 o 307
0.89/0.98 c * 0.9s| 3598 | 2943 | 0 | 0.0 |9750k|1035 | - |1939 |3922 | 0 | 0 | 0 | 514 | 0 | 0.000000e+00 | 3.070000e+02 | Inf
1.00/1.08 o 212
1.00/1.08 c * 1.0s| 3969 | 3295 | 0 | 0.0 |9915k|1035 | - |1939 |3957 | 0 | 0 | 0 | 557 | 0 | 0.000000e+00 | 2.120000e+02 | Inf
2.59/2.67 c 2.5s| 10000 | 8332 | 0 | 0.0 | 14M|1035 | - |1939 |4595 | 0 | 0 | 0 |2823 | 0 | 0.000000e+00 | 2.120000e+02 | Inf
5.89/5.99 c 5.8s| 20000 | 15314 | 0 | 0.0 | 21M|1035 | - |1939 |5255 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
8.39/8.41 o 168
8.39/8.41 c * 8.1s| 25485 | 18438 | 0 | 0.0 | 25M|1035 | - |1939 |5502 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
8.39/8.47 o 154
8.39/8.47 c * 8.2s| 25680 | 18594 | 0 | 0.0 | 25M|1035 | - |1939 |5419 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
8.39/8.47 o 142
8.39/8.47 c * 8.2s| 25681 | 18576 | 0 | 0.0 | 25M|1035 | - |1939 |5419 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
9.89/9.92 c 9.6s| 30000 | 22401 | 0 | 0.0 | 29M|1035 | - |1939 |5070 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
9.99/10.06 o 136
9.99/10.06 c * 9.7s| 30376 | 22706 | 0 | 0.0 | 29M|1035 | - |1939 |5116 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
11.29/11.32 o 130
11.29/11.32 c *10.9s| 34197 | 26025 | 0 | 0.0 | 33M|1035 | - |1939 |5161 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
13.10/13.15 c 12.7s| 40000 | 31094 | 0 | 0.0 | 38M|1035 | - |1939 |5599 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
13.39/13.40 o 114
13.39/13.40 c *12.9s| 40881 | 31782 | 0 | 0.0 | 38M|1035 | - |1939 |5569 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
15.99/16.02 c 15.5s| 50000 | 39310 | 0 | 0.0 | 45M|1035 | - |1939 |6068 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
19.49/19.51 c 18.9s| 60000 | 46364 | 0 | 0.0 | 53M|1035 | - |1939 |7375 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
23.40/23.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.40/23.45 c 22.7s| 70000 | 52804 | 0 | 0.0 | 60M|1035 | - |1939 |7819 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
27.79/27.86 c 27.0s| 80000 | 58493 | 0 | 0.0 | 68M|1035 | - |1939 |8105 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
32.59/32.61 c 31.6s| 90000 | 63661 | 0 | 0.0 | 76M|1035 | - |1939 |8860 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
37.79/37.86 c 36.7s|100000 | 68265 | 0 | 0.0 | 83M|1035 | - |1939 |9331 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
43.69/43.79 c 42.5s|110000 | 71925 | 0 | 0.0 | 91M|1035 | - |1939 | 10k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
50.09/50.18 c 48.8s|120000 | 75069 | 0 | 0.0 | 100M|1035 | - |1939 | 12k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
56.99/57.00 c 55.5s|130000 | 78457 | 0 | 0.0 | 104M|1035 | - |1939 |8732 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
58.99/59.02 o 77
58.99/59.02 c *57.4s|135482 | 81236 | 0 | 0.0 | 103M|1035 | - |1939 |5268 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
60.59/60.69 c 59.0s|140000 | 85165 | 0 | 0.0 | 107M|1035 | - |1939 |4336 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
62.39/62.40 o 75
62.39/62.40 c *60.7s|144533 | 88880 | 0 | 0.0 | 112M|1035 | - |1939 |4421 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
62.39/62.40 o 61
62.39/62.40 c *60.7s|144534 | 88239 | 0 | 0.0 | 109M|1035 | - |1939 |4421 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
64.59/64.67 c 62.9s|150000 | 92740 | 0 | 0.0 | 114M|1035 | - |1939 |3805 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
68.49/68.52 c 66.6s|160000 |100692 | 0 | 0.0 | 125M|1035 | - |1939 |4714 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
72.59/72.62 c 70.6s|170000 |108329 | 0 | 0.0 | 135M|1035 | - |1939 |4557 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
76.59/76.69 c 74.5s|180000 |115550 | 0 | 0.0 | 146M|1035 | - |1939 |5001 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
80.39/80.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.39/80.42 c 78.2s|190000 |123584 | 0 | 0.0 | 155M|1035 | - |1939 |4296 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
82.59/82.62 o 20
82.59/82.62 c *80.3s|195801 |123045 | 0 | 0.0 | 139M|1035 | - |1939 |5244 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
84.70/84.79 c 82.4s|200000 |125204 | 0 | 0.0 | 144M|1035 | - |1939 |6053 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
87.90/87.96 c 85.5s|210000 |133488 | 0 | 0.0 | 150M|1035 | - |1939 |5326 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
92.00/92.10 c 89.5s|220000 |140324 | 0 | 0.0 | 158M|1035 | - |1939 |7384 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
96.70/96.70 c 94.0s|230000 |146573 | 0 | 0.0 | 165M|1035 | - |1939 |6250 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
100.69/100.78 c 97.9s|240000 |153169 | 0 | 0.0 | 173M|1035 | - |1939 |7152 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
103.79/103.85 c 101s|250000 |161486 | 0 | 0.0 | 178M|1035 | - |1939 |6525 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
107.19/107.22 c 104s|260000 |169227 | 0 | 0.0 | 185M|1035 | - |1939 |7756 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
111.79/111.87 c 109s|270000 |175230 | 0 | 0.0 | 192M|1035 | - |1939 |7432 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
116.00/116.07 c 113s|280000 |181492 | 0 | 0.0 | 200M|1035 | - |1939 |9833 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
119.60/119.63 c 116s|290000 |189074 | 0 | 0.0 | 206M|1035 | - |1939 |9130 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
123.50/123.58 c 120s|300000 |195921 | 0 | 0.0 | 213M|1035 | - |1939 |8835 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
127.29/127.37 c 124s|310000 |202950 | 0 | 0.0 | 219M|1035 | - |1939 |8495 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
131.20/131.29 c 127s|320000 |209974 | 0 | 0.0 | 225M|1035 | - |1939 |5037 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
134.80/134.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.80/134.89 c 131s|330000 |217083 | 0 | 0.0 | 232M|1035 | - |1939 |5465 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
139.89/139.98 c 136s|340000 |221875 | 0 | 0.0 | 239M|1035 | - |1939 |7092 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
145.49/145.51 c 141s|350000 |226186 | 0 | 0.0 | 247M|1035 | - |1939 |7678 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
151.30/151.33 c 147s|360000 |230200 | 0 | 0.0 | 254M|1035 | - |1939 |8392 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
157.60/157.62 c 153s|370000 |233576 | 0 | 0.0 | 261M|1035 | - |1939 |8825 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
164.30/164.35 c 160s|380000 |236447 | 0 | 0.0 | 267M|1035 | - |1939 |8816 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
171.61/171.60 c 167s|390000 |238545 | 0 | 0.0 | 274M|1035 | - |1939 |8994 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
179.00/179.01 c 174s|400000 |240448 | 0 | 0.0 | 279M|1035 | - |1939 |9112 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
186.50/186.52 c 182s|410000 |242250 | 0 | 0.0 | 285M|1035 | - |1939 |9120 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
194.20/194.26 c 189s|420000 |243832 | 0 | 0.0 | 291M|1035 | - |1939 |9616 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
202.31/202.36 c 197s|430000 |244992 | 0 | 0.0 | 296M|1035 | - |1939 | 10k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
210.70/210.78 c 205s|440000 |245844 | 0 | 0.0 | 300M|1035 | - |1939 |9703 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
219.10/219.16 c 214s|450000 |246683 | 0 | 0.0 | 305M|1035 | - |1939 | 10k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
227.80/227.85 c 222s|460000 |247190 | 0 | 0.0 | 309M|1035 | - |1939 | 10k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
236.70/236.78 c 231s|470000 |247568 | 0 | 0.0 | 313M|1035 | - |1939 | 11k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
247.51/247.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.51/247.58 c 241s|480000 |246109 | 0 | 0.0 | 315M|1035 | - |1939 | 14k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
253.20/253.20 c 247s|490000 |251954 | 0 | 0.0 | 319M|1035 | - |1939 |5232 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
255.80/255.81 o 17
255.80/255.81 c * 250s|497018 |256545 | 0 | 0.0 | 321M|1035 | - |1939 |5240 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
256.90/256.98 c 251s|500000 |258865 | 0 | 0.0 | 324M|1035 | - |1939 |5260 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
260.70/260.73 c 254s|510000 |266486 | 0 | 0.0 | 331M|1035 | - |1939 |5220 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
264.30/264.36 c 258s|520000 |274215 | 0 | 0.0 | 338M|1035 | - |1939 |5426 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
268.10/268.10 c 261s|530000 |281837 | 0 | 0.0 | 345M|1035 | - |1939 |5636 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
271.90/271.94 c 265s|540000 |289334 | 0 | 0.0 | 353M|1035 | - |1939 |5558 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
275.70/275.74 c 269s|550000 |296735 | 0 | 0.0 | 360M|1035 | - |1939 |5850 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
279.70/279.72 c 273s|560000 |304026 | 0 | 0.0 | 367M|1035 | - |1939 |5831 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
282.30/282.38 o 13
282.30/282.38 c * 275s|565930 |307004 | 0 | 0.0 | 369M|1035 | - |1939 |5972 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
284.39/284.46 c 277s|570000 |309561 | 0 | 0.0 | 374M|1035 | - |1939 |6317 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
289.30/289.38 c 282s|580000 |315900 | 0 | 0.0 | 382M|1035 | - |1939 |6370 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
294.60/294.63 c 287s|590000 |321837 | 0 | 0.0 | 391M|1035 | - |1939 |6805 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
299.80/299.81 c 292s|600000 |327770 | 0 | 0.0 | 399M|1035 | - |1939 |7037 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
305.60/305.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.60/305.69 c 298s|610000 |333035 | 0 | 0.0 | 408M|1035 | - |1939 |7355 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
311.50/311.53 c 304s|620000 |338381 | 0 | 0.0 | 416M|1035 | - |1939 |7980 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
317.50/317.54 c 310s|630000 |343563 | 0 | 0.0 | 424M|1035 | - |1939 |8123 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
324.10/324.13 c 316s|640000 |348206 | 0 | 0.0 | 433M|1035 | - |1939 |8584 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
330.60/330.60 c 322s|650000 |352954 | 0 | 0.0 | 442M|1035 | - |1939 |9126 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
337.40/337.42 c 329s|660000 |357428 | 0 | 0.0 | 450M|1035 | - |1939 |9558 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
344.80/344.83 c 336s|670000 |361341 | 0 | 0.0 | 458M|1035 | - |1939 | 10k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
352.51/352.56 c 344s|680000 |365022 | 0 | 0.0 | 466M|1035 | - |1939 | 10k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
360.71/360.79 c 352s|690000 |368333 | 0 | 0.0 | 475M|1035 | - |1939 | 11k| 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
369.90/369.95 c 361s|700000 |370986 | 0 | 0.0 | 484M|1035 | - |1939 | 13k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
379.70/379.80 c 371s|710000 |373268 | 0 | 0.0 | 493M|1035 | - |1939 | 13k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
386.30/386.39 c 377s|720000 |378288 | 0 | 0.0 | 501M|1035 | - |1939 |9336 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
391.00/391.08 c 382s|730000 |384794 | 0 | 0.0 | 508M|1035 | - |1939 |9787 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
395.70/395.72 c 386s|740000 |391257 | 0 | 0.0 | 515M|1035 | - |1939 | 10k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
400.80/400.83 c 391s|750000 |397254 | 0 | 0.0 | 523M|1035 | - |1939 | 12k| 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
406.70/406.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.70/406.75 c 397s|760000 |402540 | 0 | 0.0 | 531M|1035 | - |1939 | 13k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
413.40/413.50 c 404s|770000 |407239 | 0 | 0.0 | 540M|1035 | - |1939 | 16k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
422.01/422.02 c 412s|780000 |410656 | 0 | 0.0 | 548M|1035 | - |1939 | 18k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
433.20/433.21 c 423s|790000 |411409 | 0 | 0.0 | 555M|1035 | - |1939 | 23k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
438.81/438.84 c 428s|800000 |419191 | 0 | 0.0 | 561M|1035 | - |1939 | 15k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
443.71/443.78 c 433s|810000 |426672 | 0 | 0.0 | 570M|1035 | - |1939 | 13k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
448.60/448.68 c 438s|820000 |434048 | 0 | 0.0 | 580M|1035 | - |1939 | 13k| 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
453.70/453.73 c 443s|830000 |441236 | 0 | 0.0 | 590M|1035 | - |1939 | 14k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
459.11/459.15 c 448s|840000 |448152 | 0 | 0.0 | 600M|1035 | - |1939 | 14k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
464.61/464.67 c 454s|850000 |454985 | 0 | 0.0 | 611M|1035 | - |1939 | 15k| 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
470.60/470.60 c 459s|860000 |461505 | 0 | 0.0 | 622M|1035 | - |1939 | 15k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
477.11/477.11 c 466s|870000 |467585 | 0 | 0.0 | 633M|1035 | - |1939 | 16k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
484.81/484.80 c 473s|880000 |472867 | 0 | 0.0 | 646M|1035 | - |1939 | 17k| 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
493.20/493.24 c 482s|890000 |477702 | 0 | 0.0 | 658M|1035 | - |1939 | 19k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
502.41/502.44 c 491s|900000 |482093 | 0 | 0.0 | 670M|1035 | - |1939 | 20k| 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
513.01/513.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.01/513.09 c 501s|910000 |485584 | 0 | 0.0 | 682M|1035 | - |1939 | 21k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
525.91/525.93 o 10
525.91/525.93 c * 514s|919893 |482600 | 0 | 0.0 | 677M|1035 | - |1939 | 24k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
526.01/526.08 c 514s|920000 |482613 | 0 | 0.0 | 677M|1035 | - |1939 | 24k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
535.61/535.66 c 523s|930000 |487741 | 0 | 0.0 | 682M|1035 | - |1939 | 17k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
540.61/540.60 c 528s|940000 |495202 | 0 | 0.0 | 691M|1035 | - |1939 | 15k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
545.62/545.60 c 533s|950000 |502394 | 0 | 0.0 | 701M|1035 | - |1939 | 16k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
550.90/550.95 c 538s|960000 |509244 | 0 | 0.0 | 711M|1035 | - |1939 | 16k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
557.01/557.05 c 544s|970000 |515371 | 0 | 0.0 | 723M|1035 | - |1939 | 17k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
565.01/565.00 c 552s|980000 |520105 | 0 | 0.0 | 735M|1035 | - |1939 | 19k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
573.71/573.76 c 561s|990000 |524222 | 0 | 0.0 | 747M|1035 | - |1939 | 20k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
584.12/584.16 c 571s| 1000k|526829 | 0 | 0.0 | 758M|1035 | - |1939 | 21k| 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
593.21/593.29 c 580s| 1010k|531156 | 0 | 0.0 | 765M|1035 | - |1939 | 20k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
598.81/598.80 c 585s| 1020k|538560 | 0 | 0.0 | 773M|1035 | - |1939 | 18k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
604.01/604.09 c 591s| 1030k|545841 | 0 | 0.0 | 782M|1035 | - |1939 | 17k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
609.71/609.74 c 596s| 1040k|552703 | 0 | 0.0 | 791M|1035 | - |1939 | 17k| 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
615.81/615.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.81/615.82 c 602s| 1050k|559127 | 0 | 0.0 | 801M|1035 | - |1939 | 18k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
622.01/622.09 c 608s| 1060k|565476 | 0 | 0.0 | 811M|1035 | - |1939 | 18k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
628.51/628.58 c 614s| 1070k|571723 | 0 | 0.0 | 822M|1035 | - |1939 | 19k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
635.61/635.67 c 621s| 1080k|577498 | 0 | 0.0 | 832M|1035 | - |1939 | 19k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
643.11/643.19 c 629s| 1090k|582821 | 0 | 0.0 | 842M|1035 | - |1939 | 19k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
650.91/650.97 c 636s| 1100k|588062 | 0 | 0.0 | 853M|1035 | - |1939 | 20k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
659.21/659.21 c 645s| 1110k|593026 | 0 | 0.0 | 864M|1035 | - |1939 | 20k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
668.31/668.31 c 653s| 1120k|597337 | 0 | 0.0 | 874M|1035 | - |1939 | 21k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
678.21/678.24 c 663s| 1130k|601120 | 0 | 0.0 | 885M|1035 | - |1939 | 22k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
689.41/689.47 c 674s| 1140k|604143 | 0 | 0.0 | 896M|1035 | - |1939 | 24k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
702.92/702.93 c 688s| 1150k|605664 | 0 | 0.0 | 905M|1035 | - |1939 | 25k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
712.51/712.55 c 697s| 1160k|610669 | 0 | 0.0 | 911M|1035 | - |1939 | 23k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
718.41/718.48 c 703s| 1170k|617969 | 0 | 0.0 | 920M|1035 | - |1939 | 21k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
724.51/724.55 c 709s| 1180k|624911 | 0 | 0.0 | 929M|1035 | - |1939 | 22k| 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
731.42/731.45 c 716s| 1190k|631196 | 0 | 0.0 | 939M|1035 | - |1939 | 23k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
739.72/739.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.72/739.70 c 724s| 1200k|636270 | 0 | 0.0 | 947M|1035 | - |1939 | 17k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
747.92/747.97 c 732s| 1210k|639661 | 0 | 0.0 | 953M|1035 | - |1939 | 19k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
748.81/748.86 o 5
748.81/748.86 c * 733s| 1210k|616770 | 0 | 0.0 | 899M|1035 | - |1939 | 19k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
757.81/757.87 c 741s| 1220k|619120 | 0 | 0.0 | 902M|1035 | - |1939 | 17k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
762.62/762.66 c 746s| 1230k|626471 | 0 | 0.0 | 908M|1035 | - |1939 | 17k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
767.91/767.92 c 751s| 1240k|633325 | 0 | 0.0 | 915M|1035 | - |1939 | 17k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
774.11/774.15 c 757s| 1250k|639178 | 0 | 0.0 | 921M|1035 | - |1939 | 18k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
781.81/781.83 c 765s| 1260k|643707 | 0 | 0.0 | 928M|1035 | - |1939 | 19k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
792.42/792.42 c 775s| 1270k|645571 | 0 | 0.0 | 934M|1035 | - |1939 | 22k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
800.31/800.38 c 783s| 1280k|650438 | 0 | 0.0 | 937M|1035 | - |1939 | 17k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
805.42/805.40 c 788s| 1290k|657583 | 0 | 0.0 | 943M|1035 | - |1939 | 17k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
811.02/811.08 c 794s| 1300k|663904 | 0 | 0.0 | 949M|1035 | - |1939 | 17k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
817.52/817.51 c 800s| 1310k|669310 | 0 | 0.0 | 956M|1035 | - |1939 | 18k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
825.72/825.71 c 808s| 1320k|673073 | 0 | 0.0 | 962M|1035 | - |1939 | 19k| 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
835.81/835.84 c 818s| 1330k|675270 | 0 | 0.0 | 966M|1035 | - |1939 | 17k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
840.71/840.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.71/840.72 c 823s| 1340k|682612 | 0 | 0.0 | 972M|1035 | - |1939 | 16k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
844.72/844.79 o 1
844.72/844.79 c * 827s| 1345k| 72837 | 0 | 0.0 | 155M|1035 | - |1939 | 16k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
848.92/848.99 c 831s| 1350k| 73994 | 0 | 0.0 | 158M|1035 | - |1939 | 18k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
860.32/860.37 c 842s| 1360k| 75324 | 0 | 0.0 | 164M|1035 | - |1939 | 20k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
874.02/874.01 c 856s| 1370k| 75343 | 0 | 0.0 | 168M|1035 | - |1939 | 21k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
888.92/888.99 c 870s| 1380k| 74472 | 0 | 0.0 | 171M|1035 | - |1939 | 23k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
905.92/905.95 c 887s| 1390k| 72168 | 0 | 0.0 | 172M|1035 | - |1939 | 23k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
923.62/923.66 c 905s| 1400k| 68815 | 0 | 0.0 | 171M|1035 | - |1939 | 25k| 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
942.63/942.65 c 923s| 1410k| 64120 | 0 | 0.0 | 166M|1035 | - |1939 | 25k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
962.42/962.48 c 943s| 1420k| 57761 | 0 | 0.0 | 160M|1035 | - |1939 | 26k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
983.52/983.56 c 964s| 1430k| 49006 | 0 | 0.0 | 147M|1035 | - |1939 | 27k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1005.82/1005.90 c 986s| 1440k| 38541 | 0 | 0.0 | 124M|1035 | - |1939 | 30k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1030.43/1030.42 c 1010s| 1450k| 34757 | 0 | 0.0 | 123M|1035 | - |1939 | 37k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1061.62/1061.67 c 1041s| 1460k| 29354 | 0 | 0.0 | 116M|1035 | - |1939 | 43k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1098.42/1098.45 c 1078s| 1470k| 22531 | 0 | 0.0 | 103M|1035 | - |1939 | 46k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1137.22/1137.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.22/1137.21 c 1117s| 1480k| 11632 | 0 | 0.0 | 72M|1035 | - |1939 | 49k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1185.73/1185.76 c
1185.73/1185.76 c SCIP Status : problem is solved [optimal solution found]
1185.73/1185.76 c Solving Time (sec) : 1164.85
1185.73/1185.76 c Solving Nodes : 1489153
1185.73/1185.76 c Primal Bound : +1.00000000000000e+00 (17 solutions)
1185.73/1185.76 c Dual Bound : +1.00000000000000e+00
1185.73/1185.76 c Gap : 0.00 %
1185.73/1185.76 s OPTIMUM FOUND
1185.73/1185.76 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
1185.73/1185.76 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1185.73/1185.76 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1185.73/1185.76 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 x151 -x150 -x149 -x148 -x147 -x146
1185.73/1185.76 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1185.73/1185.76 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1185.73/1185.76 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80
1185.73/1185.76 v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54
1185.73/1185.76 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1185.73/1185.76 v -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1185.73/1185.76 v -x1
1185.73/1185.76 c SCIP Status : problem is solved [optimal solution found]
1185.73/1185.76 c Solving Time : 1164.85
1185.73/1185.76 c Original Problem :
1185.73/1185.76 c Problem name : HOME/instance-2694065-1277903577.wbo
1185.73/1185.76 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1185.73/1185.76 c Constraints : 3614 initial, 3614 maximal
1185.73/1185.76 c Presolved Problem :
1185.73/1185.76 c Problem name : t_HOME/instance-2694065-1277903577.wbo
1185.73/1185.76 c Variables : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1185.73/1185.76 c Constraints : 3449 initial, 62621 maximal
1185.73/1185.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1185.73/1185.76 c trivial : 0.00 52 0 0 0 0 0 0 0
1185.73/1185.76 c dualfix : 0.00 52 0 0 0 0 0 0 0
1185.73/1185.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
1185.73/1185.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1185.73/1185.76 c implics : 0.00 0 0 0 0 0 0 0 0
1185.73/1185.76 c probing : 0.03 0 0 0 0 0 0 0 0
1185.73/1185.76 c indicator : 0.00 0 0 0 0 0 52 0 0
1185.73/1185.76 c knapsack : 0.00 0 0 0 0 0 0 0 0
1185.73/1185.76 c setppc : 0.00 0 0 0 0 0 0 0 0
1185.73/1185.76 c linear : 0.06 0 0 0 906 0 113 52 0
1185.73/1185.76 c logicor : 0.00 0 0 0 0 0 0 0 0
1185.73/1185.76 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1185.73/1185.76 c root node : - 767 - - 1534 - - - -
1185.73/1185.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1185.73/1185.76 c integral : 0 0 0 0 0 0 0 0 0 0
1185.73/1185.76 c indicator : 854 0 3141908 0 913670 287 3339467 0 0 0
1185.73/1185.76 c knapsack : 1 0 4944794 0 1191575 110755 14118512 0 0 0
1185.73/1185.76 c setppc : 14 0 4858469 0 1191811 61329 3524453 0 0 0
1185.73/1185.76 c linear : 854 0 4797793 0 1192076 113851 6324251 0 0 0
1185.73/1185.76 c logicor : 1726+ 0 3326392 0 1192089 171474 9093682 0 0 0
1185.73/1185.76 c bounddisjunction : 0+ 0 54254 0 0 0 26 0 0 0
1185.73/1185.76 c countsols : 0 0 0 0 1192089 0 0 0 0 0
1185.73/1185.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1185.73/1185.76 c integral : 0.00 0.00 0.00 0.00 0.00
1185.73/1185.76 c indicator : 12.68 0.00 7.10 0.00 5.58
1185.73/1185.76 c knapsack : 54.20 0.00 51.86 0.00 2.34
1185.73/1185.76 c setppc : 19.87 0.00 17.65 0.00 2.22
1185.73/1185.76 c linear : 84.55 0.00 83.72 0.00 0.83
1185.73/1185.76 c logicor : 402.45 0.00 339.96 0.00 62.49
1185.73/1185.76 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1185.73/1185.76 c countsols : 0.18 0.00 0.00 0.00 0.18
1185.73/1185.76 c Propagators : Time Calls Cutoffs DomReds
1185.73/1185.76 c vbounds : 1.19 2 0 0
1185.73/1185.76 c rootredcost : 1.15 0 0 0
1185.73/1185.76 c pseudoobj : 96.01 4973174 3128 3296594
1185.73/1185.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1185.73/1185.76 c propagation : 19.96 460537 460499 2188549 22.1 110676 9.8 -
1185.73/1185.76 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1185.73/1185.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1185.73/1185.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1185.73/1185.76 c pseudo solution : 0.00 70 70 307 18.1 63 9.2 -
1185.73/1185.76 c applied globally : - - - 1489264 19.6 - - -
1185.73/1185.76 c applied locally : - - - 38 125.0 - - -
1185.73/1185.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1185.73/1185.76 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1185.73/1185.76 c redcost : 0.00 0 0 0 0 0
1185.73/1185.76 c impliedbounds : 0.00 0 0 0 0 0
1185.73/1185.76 c intobj : 0.00 0 0 0 0 0
1185.73/1185.76 c cgmip : 0.00 0 0 0 0 0
1185.73/1185.76 c gomory : 0.00 0 0 0 0 0
1185.73/1185.76 c strongcg : 0.00 0 0 0 0 0
1185.73/1185.76 c cmir : 0.00 0 0 0 0 0
1185.73/1185.76 c flowcover : 0.00 0 0 0 0 0
1185.73/1185.76 c clique : 0.00 0 0 0 0 0
1185.73/1185.76 c zerohalf : 0.00 0 0 0 0 0
1185.73/1185.76 c mcf : 0.00 0 0 0 0 0
1185.73/1185.76 c rapidlearning : 0.00 0 0 0 0 0
1185.73/1185.76 c Pricers : Time Calls Vars
1185.73/1185.76 c problem variables: 0.00 0 0
1185.73/1185.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1185.73/1185.76 c relpscost : 0.00 0 0 0 0 0 0
1185.73/1185.76 c pscost : 0.00 0 0 0 0 0 0
1185.73/1185.76 c inference : 23.50 1192072 0 0 0 0 2384144
1185.73/1185.76 c mostinf : 0.00 0 0 0 0 0 0
1185.73/1185.76 c leastinf : 0.00 0 0 0 0 0 0
1185.73/1185.76 c fullstrong : 0.00 0 0 0 0 0 0
1185.73/1185.76 c allfullstrong : 0.00 0 0 0 0 0 0
1185.73/1185.76 c random : 0.00 0 0 0 0 0 0
1185.73/1185.76 c Primal Heuristics : Time Calls Found
1185.73/1185.76 c LP solutions : 0.00 - 0
1185.73/1185.76 c pseudo solutions : 1.43 - 17
1185.73/1185.76 c oneopt : 0.55 0 0
1185.73/1185.76 c trivial : 0.01 2 0
1185.73/1185.76 c simplerounding : 0.00 0 0
1185.73/1185.76 c zirounding : 0.00 0 0
1185.73/1185.76 c rounding : 0.00 0 0
1185.73/1185.76 c shifting : 0.00 0 0
1185.73/1185.76 c intshifting : 0.00 0 0
1185.73/1185.76 c twoopt : 0.00 0 0
1185.73/1185.76 c fixandinfer : 0.00 0 0
1185.73/1185.76 c feaspump : 0.00 0 0
1185.73/1185.76 c coefdiving : 0.00 0 0
1185.73/1185.76 c pscostdiving : 0.00 0 0
1185.73/1185.76 c fracdiving : 0.00 0 0
1185.73/1185.76 c veclendiving : 0.00 0 0
1185.73/1185.76 c intdiving : 0.00 0 0
1185.73/1185.76 c actconsdiving : 0.00 0 0
1185.73/1185.76 c objpscostdiving : 0.00 0 0
1185.73/1185.76 c rootsoldiving : 0.00 0 0
1185.73/1185.76 c linesearchdiving : 0.00 0 0
1185.73/1185.76 c guideddiving : 0.00 0 0
1185.73/1185.76 c octane : 0.00 0 0
1185.73/1185.76 c rens : 0.00 0 0
1185.73/1185.76 c rins : 0.00 0 0
1185.73/1185.76 c localbranching : 0.00 0 0
1185.73/1185.76 c mutation : 0.00 0 0
1185.73/1185.76 c crossover : 0.00 0 0
1185.73/1185.76 c dins : 0.00 0 0
1185.73/1185.76 c undercover : 0.00 0 0
1185.73/1185.76 c nlp : 0.52 0 0
1185.73/1185.76 c trysol : 0.36 1 0
1185.73/1185.76 c LP : Time Calls Iterations Iter/call Iter/sec
1185.73/1185.76 c primal LP : 0.00 0 0 0.00 -
1185.73/1185.76 c dual LP : 0.00 0 0 0.00 -
1185.73/1185.76 c lex dual LP : 0.00 0 0 0.00 -
1185.73/1185.76 c barrier LP : 0.00 0 0 0.00 -
1185.73/1185.76 c diving/probing LP: 0.00 0 0 0.00 -
1185.73/1185.76 c strong branching : 0.00 0 0 0.00 -
1185.73/1185.76 c (at root node) : - 0 0 0.00 -
1185.73/1185.76 c conflict analysis: 0.00 0 0 0.00 -
1185.73/1185.76 c B&B Tree :
1185.73/1185.76 c number of runs : 1
1185.73/1185.76 c nodes : 1489153
1185.73/1185.76 c nodes (total) : 1489153
1185.73/1185.76 c nodes left : 0
1185.73/1185.76 c max depth : 1035
1185.73/1185.76 c max depth (total): 1035
1185.73/1185.76 c backtracks : 290113 (19.5%)
1185.73/1185.76 c delayed cutoffs : 242803
1185.73/1185.76 c repropagations : 1117921 (11615109 domain reductions, 163830 cutoffs)
1185.73/1185.76 c avg switch length: 22.37
1185.73/1185.76 c switching time : 345.70
1185.73/1185.76 c Solution :
1185.73/1185.76 c Solutions found : 17 (17 improvements)
1185.73/1185.76 c First Solution : +3.07000000000000e+02 (in run 1, after 3598 nodes, 0.92 seconds, depth 391, found by <relaxation>)
1185.73/1185.76 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1345523 nodes, 825.42 seconds, depth 813, found by <relaxation>)
1185.73/1185.76 c Dual Bound : +1.00000000000000e+00
1185.73/1185.76 c Gap : 0.00 %
1185.73/1185.76 c Root Dual Bound : +0.00000000000000e+00
1185.73/1185.76 c Root Iterations : 0
1185.83/1185.87 c Time complete: 1185.9.