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-2693891-1277896592.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.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.22 c 1.0s| 10000 | 7647 | 0 | 0.0 |6375k| 183 | - | 295 |3301 | 0 | 0 | 0 |6130 | 0 | 0.000000e+00 | -- | Inf
3.19/3.20 c 2.6s| 20000 | 13730 | 0 | 0.0 | 10M| 183 | - | 295 |4374 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
3.29/3.37 o 518
3.29/3.37 c * 2.8s| 21750 | 15318 | 0 | 0.0 | 10M| 183 | - | 295 |1883 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 5.180000e+02 | Inf
4.49/4.59 c 3.8s| 30000 | 21162 | 0 | 0.0 | 15M| 183 | - | 295 |3966 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 5.180000e+02 | Inf
7.39/7.41 c 6.3s| 40000 | 26060 | 0 | 0.0 | 20M| 183 | - | 295 |7534 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.180000e+02 | Inf
10.90/10.92 c 9.5s| 50000 | 29909 | 0 | 0.0 | 25M| 183 | - | 295 |9241 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 5.180000e+02 | Inf
14.89/14.94 c 13.1s| 60000 | 33054 | 0 | 0.0 | 29M| 183 | - | 295 | 10k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 5.180000e+02 | Inf
19.70/19.74 c 17.6s| 70000 | 34831 | 0 | 0.0 | 34M| 183 | - | 295 | 12k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 5.180000e+02 | Inf
23.79/23.88 c 21.4s| 80000 | 38193 | 0 | 0.0 | 34M| 183 | - | 295 |2755 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 5.180000e+02 | Inf
23.89/23.96 o 296
23.89/23.96 c *21.4s| 80884 | 38974 | 0 | 0.0 | 34M| 183 | - | 295 |2029 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
24.79/24.82 c 22.1s| 90000 | 46986 | 0 | 0.0 | 37M| 183 | - | 295 |1567 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
25.59/25.60 o 249
25.59/25.60 c *22.6s| 97577 | 53447 | 0 | 0.0 | 40M| 183 | - | 295 |1568 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
25.79/25.86 c 22.9s|100000 | 55480 | 0 | 0.0 | 41M| 183 | - | 295 |1498 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
26.89/26.97 c 23.7s|110000 | 63697 | 0 | 0.0 | 44M| 183 | - | 295 |1241 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
28.09/28.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.09/28.15 c 24.6s|120000 | 71668 | 0 | 0.0 | 48M| 183 | - | 295 |1557 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
29.29/29.37 c 25.5s|130000 | 79591 | 0 | 0.0 | 52M| 183 | - | 295 |1938 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
30.59/30.67 c 26.6s|140000 | 87349 | 0 | 0.0 | 56M| 183 | - | 295 |2467 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
32.09/32.15 c 27.7s|150000 | 94707 | 0 | 0.0 | 60M| 183 | - | 295 |2941 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
33.89/33.97 c 29.2s|160000 |101331 | 0 | 0.0 | 64M| 183 | - | 295 |4072 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
36.89/36.92 c 31.9s|170000 |105804 | 0 | 0.0 | 69M| 183 | - | 295 |7612 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
41.69/41.79 c 36.3s|180000 |108231 | 0 | 0.0 | 75M| 183 | - | 295 | 14k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
48.49/48.50 c 42.7s|190000 |109376 | 0 | 0.0 | 79M| 183 | - | 295 | 17k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
56.29/56.30 c 50.1s|200000 |109891 | 0 | 0.0 | 83M| 183 | - | 295 | 20k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
65.30/65.37 c 58.8s|210000 |109283 | 0 | 0.0 | 85M| 183 | - | 295 | 22k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
75.29/75.30 c 68.3s|220000 |108185 | 0 | 0.0 | 87M| 183 | - | 295 | 23k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
85.99/86.02 c 78.6s|230000 |106217 | 0 | 0.0 | 89M| 183 | - | 295 | 26k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
90.49/90.55 c 82.8s|240000 |111590 | 0 | 0.0 | 83M| 183 | - | 295 |1406 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
91.79/91.83 c 83.8s|250000 |119508 | 0 | 0.0 | 87M| 183 | - | 295 |1836 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
93.10/93.15 c 84.9s|260000 |127377 | 0 | 0.0 | 90M| 183 | - | 295 |2095 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
94.50/94.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.50/94.53 c 86.0s|270000 |135135 | 0 | 0.0 | 94M| 183 | - | 295 |2444 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
95.99/96.00 c 87.2s|280000 |142705 | 0 | 0.0 | 98M| 183 | - | 295 |2792 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
96.50/96.57 o 241
96.50/96.57 c *87.7s|283944 |145705 | 0 | 0.0 | 100M| 183 | - | 295 |2989 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.410000e+02 | Inf
96.50/96.58 o 219
96.50/96.58 c *87.7s|283945 |145688 | 0 | 0.0 | 100M| 183 | - | 295 |2989 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
97.50/97.54 c 88.4s|290000 |150139 | 0 | 0.0 | 102M| 183 | - | 295 |3205 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
99.09/99.13 c 89.7s|300000 |157501 | 0 | 0.0 | 106M| 183 | - | 295 |3467 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
100.70/100.77 c 91.1s|310000 |164808 | 0 | 0.0 | 110M| 183 | - | 295 |3764 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
102.30/102.36 o 198
102.30/102.36 c *92.3s|319591 |171786 | 0 | 0.0 | 113M| 183 | - | 295 |3852 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
102.40/102.42 c 92.4s|320000 |172096 | 0 | 0.0 | 113M| 183 | - | 295 |3852 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
104.09/104.12 o 145
104.09/104.12 c *93.8s|329572 |177881 | 0 | 0.0 | 116M| 183 | - | 295 |3811 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
104.20/104.20 c 93.9s|330000 |178189 | 0 | 0.0 | 116M| 183 | - | 295 |3794 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
105.89/105.95 c 95.3s|340000 |185289 | 0 | 0.0 | 120M| 183 | - | 295 |3521 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
107.60/107.62 c 96.7s|350000 |192546 | 0 | 0.0 | 125M| 183 | - | 295 |3167 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
109.19/109.28 c 98.1s|360000 |199698 | 0 | 0.0 | 129M| 183 | - | 295 |3275 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
111.00/111.04 c 99.5s|370000 |206731 | 0 | 0.0 | 133M| 183 | - | 295 |3119 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
112.70/112.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.70/112.77 c 101s|380000 |213738 | 0 | 0.0 | 137M| 183 | - | 295 |3301 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
114.49/114.54 c 102s|390000 |220758 | 0 | 0.0 | 141M| 183 | - | 295 |3401 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
116.29/116.37 c 104s|400000 |227691 | 0 | 0.0 | 145M| 183 | - | 295 |3536 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
118.19/118.26 c 106s|410000 |234425 | 0 | 0.0 | 150M| 183 | - | 295 |3638 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
120.10/120.18 c 107s|420000 |241106 | 0 | 0.0 | 154M| 183 | - | 295 |3422 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
122.10/122.16 c 109s|430000 |247678 | 0 | 0.0 | 158M| 183 | - | 295 |3429 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
124.10/124.14 c 111s|440000 |254181 | 0 | 0.0 | 162M| 183 | - | 295 |3345 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
126.09/126.12 c 112s|450000 |260622 | 0 | 0.0 | 167M| 183 | - | 295 |3744 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
128.19/128.20 c 114s|460000 |267001 | 0 | 0.0 | 171M| 183 | - | 295 |3798 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
130.29/130.35 c 116s|470000 |273265 | 0 | 0.0 | 175M| 183 | - | 295 |4154 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
132.49/132.57 c 118s|480000 |279426 | 0 | 0.0 | 180M| 183 | - | 295 |4408 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
134.80/134.80 c 120s|490000 |285544 | 0 | 0.0 | 184M| 183 | - | 295 |4689 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
137.09/137.14 c 122s|500000 |291534 | 0 | 0.0 | 188M| 183 | - | 295 |4631 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
137.51/137.55 o 96
137.51/137.55 c * 122s|501790 |285007 | 0 | 0.0 | 182M| 183 | - | 295 |4513 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
139.50/139.53 c 124s|510000 |289668 | 0 | 0.0 | 186M| 183 | - | 295 |3330 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
141.80/141.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.80/141.81 c 126s|520000 |295434 | 0 | 0.0 | 190M| 183 | - | 295 |3703 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
144.00/144.10 c 128s|530000 |301199 | 0 | 0.0 | 194M| 183 | - | 295 |1412 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
146.20/146.22 c 129s|540000 |306865 | 0 | 0.0 | 199M| 183 | - | 295 |2422 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
148.40/148.47 c 131s|550000 |312399 | 0 | 0.0 | 203M| 183 | - | 295 |2418 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
150.60/150.68 c 133s|560000 |318008 | 0 | 0.0 | 208M| 183 | - | 295 |2693 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
152.99/153.08 c 135s|570000 |323194 | 0 | 0.0 | 212M| 183 | - | 295 |3348 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
155.30/155.38 c 137s|580000 |328853 | 0 | 0.0 | 216M| 183 | - | 295 |3044 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
157.80/157.87 c 139s|590000 |333943 | 0 | 0.0 | 221M| 183 | - | 295 |3651 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
160.40/160.44 c 141s|600000 |338922 | 0 | 0.0 | 225M| 183 | - | 295 |3765 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
163.00/163.03 c 144s|610000 |343964 | 0 | 0.0 | 230M| 183 | - | 295 |4314 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
165.60/165.64 c 146s|620000 |349083 | 0 | 0.0 | 234M| 183 | - | 295 |4521 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
168.40/168.44 c 148s|630000 |353811 | 0 | 0.0 | 238M| 183 | - | 295 |4856 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
171.40/171.47 c 151s|640000 |358253 | 0 | 0.0 | 242M| 183 | - | 295 |4865 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
174.80/174.85 c 154s|650000 |362061 | 0 | 0.0 | 246M| 183 | - | 295 |5710 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
178.60/178.67 c 158s|660000 |365046 | 0 | 0.0 | 250M| 183 | - | 295 |6175 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
183.71/183.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.71/183.73 c 162s|670000 |366132 | 0 | 0.0 | 253M| 183 | - | 295 |7172 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
189.29/189.38 c 167s|680000 |366337 | 0 | 0.0 | 255M| 183 | - | 295 | 12k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
199.69/199.73 c 177s|690000 |362637 | 0 | 0.0 | 254M| 183 | - | 295 | 17k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
212.20/212.22 c 189s|700000 |356896 | 0 | 0.0 | 247M| 183 | - | 295 | 18k| 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
218.30/218.32 c 195s|710000 |358577 | 0 | 0.0 | 240M| 183 | - | 295 |1670 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
220.40/220.44 c 197s|720000 |364615 | 0 | 0.0 | 245M| 183 | - | 295 |2254 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
222.60/222.62 c 199s|730000 |370626 | 0 | 0.0 | 250M| 183 | - | 295 |2683 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
224.60/224.67 c 200s|740000 |377008 | 0 | 0.0 | 254M| 183 | - | 295 |3091 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
226.70/226.75 c 202s|750000 |383399 | 0 | 0.0 | 259M| 183 | - | 295 |3216 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
228.90/228.92 c 204s|760000 |389597 | 0 | 0.0 | 263M| 183 | - | 295 |3363 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
231.00/231.05 c 206s|770000 |395906 | 0 | 0.0 | 268M| 183 | - | 295 |3553 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
233.21/233.24 c 208s|780000 |402080 | 0 | 0.0 | 273M| 183 | - | 295 |3730 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
235.50/235.56 c 210s|790000 |407935 | 0 | 0.0 | 277M| 183 | - | 295 |3770 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
237.90/237.94 c 212s|800000 |413749 | 0 | 0.0 | 282M| 183 | - | 295 |4117 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
240.50/240.56 c 214s|810000 |419110 | 0 | 0.0 | 286M| 183 | - | 295 |4297 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
242.20/242.22 o 60
242.20/242.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.20/242.22 c * 216s|816388 |383878 | 0 | 0.0 | 257M| 183 | - | 295 |4673 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
243.39/243.44 c 217s|820000 |385348 | 0 | 0.0 | 258M| 183 | - | 295 |1496 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
246.19/246.21 c 219s|830000 |389485 | 0 | 0.0 | 262M| 183 | - | 295 |2939 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
249.10/249.18 c 222s|840000 |393456 | 0 | 0.0 | 266M| 183 | - | 295 |3606 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
252.40/252.45 c 225s|850000 |397013 | 0 | 0.0 | 270M| 183 | - | 295 |3519 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
255.70/255.75 c 227s|860000 |400559 | 0 | 0.0 | 274M| 183 | - | 295 |3863 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
257.80/257.81 o 45
257.80/257.81 c * 229s|865728 |374778 | 0 | 0.0 | 255M| 183 | - | 295 |4108 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
259.90/259.90 c 231s|870000 |375024 | 0 | 0.0 | 258M| 183 | - | 295 |4386 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
264.50/264.57 c 236s|880000 |375669 | 0 | 0.0 | 261M| 183 | - | 295 |5220 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
269.70/269.71 c 240s|890000 |375858 | 0 | 0.0 | 263M| 183 | - | 295 |5103 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
275.01/275.03 c 245s|900000 |375264 | 0 | 0.0 | 266M| 183 | - | 295 |4722 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
280.10/280.16 c 250s|910000 |375073 | 0 | 0.0 | 268M| 183 | - | 295 |4557 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
285.20/285.27 c 255s|920000 |374463 | 0 | 0.0 | 270M| 183 | - | 295 |5289 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
290.20/290.29 c 259s|930000 |374458 | 0 | 0.0 | 272M| 183 | - | 295 |3807 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
295.30/295.37 c 264s|940000 |373843 | 0 | 0.0 | 274M| 183 | - | 295 |5125 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
300.20/300.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.20/300.30 c 268s|950000 |373887 | 0 | 0.0 | 276M| 183 | - | 295 |5379 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
305.30/305.39 c 273s|960000 |373385 | 0 | 0.0 | 278M| 183 | - | 295 |5143 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
310.40/310.46 c 278s|970000 |373326 | 0 | 0.0 | 280M| 183 | - | 295 |5949 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
315.40/315.40 c 282s|980000 |373702 | 0 | 0.0 | 282M| 183 | - | 295 |6142 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
320.31/320.32 c 287s|990000 |374371 | 0 | 0.0 | 283M| 183 | - | 295 |5223 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
324.91/324.91 c 291s| 1000k|375181 | 0 | 0.0 | 286M| 183 | - | 295 |5897 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
329.50/329.56 c 295s| 1010k|376145 | 0 | 0.0 | 287M| 183 | - | 295 |6237 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
334.20/334.27 c 300s| 1020k|377046 | 0 | 0.0 | 289M| 183 | - | 295 |6159 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
338.90/338.92 c 304s| 1030k|377943 | 0 | 0.0 | 290M| 183 | - | 295 |6350 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
343.41/343.48 c 308s| 1040k|379053 | 0 | 0.0 | 292M| 183 | - | 295 |6229 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
348.10/348.18 c 313s| 1050k|379846 | 0 | 0.0 | 293M| 183 | - | 295 |5960 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
352.90/352.91 c 317s| 1060k|380796 | 0 | 0.0 | 294M| 183 | - | 295 |5840 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
357.60/357.68 c 321s| 1070k|381614 | 0 | 0.0 | 296M| 183 | - | 295 |7343 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
362.71/362.72 c 326s| 1080k|382483 | 0 | 0.0 | 298M| 183 | - | 295 |8172 | 0 | 0 | 0 | 847k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
367.80/367.89 c 331s| 1090k|383396 | 0 | 0.0 | 301M| 183 | - | 295 |8229 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
369.70/369.75 o 41
369.70/369.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.70/369.75 c * 333s| 1093k|382010 | 0 | 0.0 | 300M| 183 | - | 295 |6599 | 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
373.20/373.20 c 336s| 1100k|382637 | 0 | 0.0 | 302M| 183 | - | 295 |8314 | 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
378.41/378.40 c 341s| 1110k|383554 | 0 | 0.0 | 305M| 183 | - | 295 |8062 | 0 | 0 | 0 | 879k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
383.81/383.88 c 346s| 1120k|384097 | 0 | 0.0 | 307M| 183 | - | 295 |5844 | 0 | 0 | 0 | 890k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
389.31/389.30 c 351s| 1130k|384173 | 0 | 0.0 | 309M| 183 | - | 295 |6696 | 0 | 0 | 0 | 901k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
394.51/394.59 c 356s| 1140k|384780 | 0 | 0.0 | 311M| 183 | - | 295 |7366 | 0 | 0 | 0 | 913k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
399.81/399.83 c 361s| 1150k|385573 | 0 | 0.0 | 314M| 183 | - | 295 |7970 | 0 | 0 | 0 | 924k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
405.10/405.18 c 366s| 1160k|386347 | 0 | 0.0 | 316M| 183 | - | 295 |8501 | 0 | 0 | 0 | 936k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
410.31/410.36 c 370s| 1170k|387366 | 0 | 0.0 | 319M| 183 | - | 295 |8694 | 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
415.60/415.63 c 375s| 1180k|388498 | 0 | 0.0 | 321M| 183 | - | 295 |7110 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
421.11/421.14 c 380s| 1190k|388803 | 0 | 0.0 | 323M| 183 | - | 295 |8721 | 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
426.41/426.46 c 385s| 1200k|390032 | 0 | 0.0 | 326M| 183 | - | 295 | 10k| 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
431.71/431.74 c 390s| 1210k|391703 | 0 | 0.0 | 329M| 183 | - | 295 | 10k| 0 | 0 | 0 | 994k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
437.30/437.37 c 396s| 1220k|392820 | 0 | 0.0 | 331M| 183 | - | 295 |9758 | 0 | 0 | 0 |1007k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
442.81/442.84 c 401s| 1230k|394079 | 0 | 0.0 | 334M| 183 | - | 295 | 11k| 0 | 0 | 0 |1019k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
448.71/448.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.71/448.72 c 406s| 1240k|395053 | 0 | 0.0 | 336M| 183 | - | 295 | 11k| 0 | 0 | 0 |1032k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
455.01/455.06 c 412s| 1250k|395408 | 0 | 0.0 | 339M| 183 | - | 295 | 11k| 0 | 0 | 0 |1046k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
461.51/461.51 c 418s| 1260k|395752 | 0 | 0.0 | 341M| 183 | - | 295 | 12k| 0 | 0 | 0 |1059k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
468.51/468.55 c 425s| 1270k|395361 | 0 | 0.0 | 343M| 183 | - | 295 | 13k| 0 | 0 | 0 |1074k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
475.91/475.96 c 432s| 1280k|394571 | 0 | 0.0 | 345M| 183 | - | 295 | 14k| 0 | 0 | 0 |1089k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
484.50/484.56 c 440s| 1290k|392360 | 0 | 0.0 | 345M| 183 | - | 295 | 14k| 0 | 0 | 0 |1105k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
491.31/491.37 o 23
491.31/491.37 c * 446s| 1297k|346147 | 0 | 0.0 | 304M| 183 | - | 295 | 12k| 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
492.11/492.17 c 447s| 1300k|347333 | 0 | 0.0 | 302M| 183 | - | 295 |2970 | 0 | 0 | 0 |1118k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
494.40/494.48 c 449s| 1310k|353229 | 0 | 0.0 | 306M| 183 | - | 295 |4346 | 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
500.81/500.83 c 455s| 1320k|351424 | 0 | 0.0 | 310M| 183 | - | 295 |6393 | 0 | 0 | 0 |1135k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
501.11/501.19 o 10
501.11/501.19 c * 455s| 1320k|313160 | 0 | 0.0 | 282M| 183 | - | 295 |6400 | 0 | 0 | 0 |1136k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
515.21/515.23 c 469s| 1330k|303537 | 0 | 0.0 | 290M| 183 | - | 295 | 12k| 0 | 0 | 0 |1152k| 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
527.60/527.65 o 9
527.60/527.65 c * 481s| 1336k|287351 | 0 | 0.0 | 285M| 183 | - | 295 | 15k| 0 | 0 | 0 |1163k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
535.31/535.38 c 488s| 1340k|282839 | 0 | 0.0 | 286M| 183 | - | 295 | 15k| 0 | 0 | 0 |1170k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
549.11/549.16 o 2
549.11/549.16 c * 502s| 1346k|240761 | 0 | 0.0 | 260M| 183 | - | 295 | 18k| 0 | 0 | 0 |1182k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
559.51/559.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.51/559.53 c 512s| 1350k|233290 | 0 | 0.0 | 259M| 183 | - | 295 | 16k| 0 | 0 | 0 |1193k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
588.81/588.86 c 540s| 1360k|212429 | 0 | 0.0 | 251M| 183 | - | 295 | 22k| 0 | 0 | 0 |1224k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
623.01/623.00 c 574s| 1370k|189678 | 0 | 0.0 | 234M| 183 | - | 295 | 22k| 0 | 0 | 0 |1256k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
652.41/652.46 c 603s| 1380k|173490 | 0 | 0.0 | 223M| 183 | - | 295 | 23k| 0 | 0 | 0 |1286k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
680.92/680.91 c 630s| 1390k|161593 | 0 | 0.0 | 216M| 183 | - | 295 | 26k| 0 | 0 | 0 |1313k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
710.11/710.16 c 659s| 1400k|150811 | 0 | 0.0 | 212M| 183 | - | 295 | 29k| 0 | 0 | 0 |1339k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
742.01/742.07 c 691s| 1410k|139279 | 0 | 0.0 | 207M| 183 | - | 295 | 32k| 0 | 0 | 0 |1366k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
776.02/776.05 c 724s| 1420k|127245 | 0 | 0.0 | 199M| 183 | - | 295 | 32k| 0 | 0 | 0 |1394k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
807.72/807.74 c 755s| 1430k|114626 | 0 | 0.0 | 190M| 183 | - | 295 | 31k| 0 | 0 | 0 |1422k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
839.92/839.96 c 787s| 1440k|101502 | 0 | 0.0 | 179M| 183 | - | 295 | 30k| 0 | 0 | 0 |1449k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
868.52/868.59 c 815s| 1450k| 90172 | 0 | 0.0 | 169M| 183 | - | 295 | 29k| 0 | 0 | 0 |1475k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
893.93/893.90 c 839s| 1460k| 80501 | 0 | 0.0 | 162M| 183 | - | 295 | 29k| 0 | 0 | 0 |1500k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
920.63/920.62 c 866s| 1470k| 70173 | 0 | 0.0 | 152M| 183 | - | 295 | 31k| 0 | 0 | 0 |1525k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
948.63/948.69 c 893s| 1480k| 58356 | 0 | 0.0 | 139M| 183 | - | 295 | 31k| 0 | 0 | 0 |1551k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
990.52/990.52 c 934s| 1490k| 38799 | 0 | 0.0 | 103M| 183 | - | 295 | 38k| 0 | 0 | 0 |1585k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
1043.63/1043.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.63/1043.63 c 987s| 1500k| 22232 | 0 | 0.0 | 79M| 183 | - | 295 | 50k| 0 | 0 | 0 |1618k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
1105.43/1105.41 c 1048s| 1510k| 3382 | 0 | 0.0 | 40M| 183 | - | 295 | 53k| 0 | 0 | 0 |1650k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
1114.94/1114.93 c
1114.94/1114.93 c SCIP Status : problem is solved [optimal solution found]
1114.94/1114.93 c Solving Time (sec) : 1057.48
1114.94/1114.93 c Solving Nodes : 1511058
1114.94/1114.93 c Primal Bound : +2.00000000000000e+00 (15 solutions)
1114.94/1114.93 c Dual Bound : +2.00000000000000e+00
1114.94/1114.93 c Gap : 0.00 %
1114.94/1114.93 s OPTIMUM FOUND
1114.94/1114.93 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
1114.94/1114.93 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127
1114.94/1114.93 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1114.94/1114.93 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
1114.94/1114.93 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
1114.94/1114.93 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
1114.94/1114.93 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
1114.94/1114.93 v -x4 -x3 -x2 -x1
1114.94/1114.93 c SCIP Status : problem is solved [optimal solution found]
1114.94/1114.93 c Solving Time : 1057.48
1114.94/1114.93 c Original Problem :
1114.94/1114.93 c Problem name : HOME/instance-2693891-1277896592.wbo
1114.94/1114.93 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1114.94/1114.93 c Constraints : 166 initial, 166 maximal
1114.94/1114.93 c Presolved Problem :
1114.94/1114.93 c Problem name : t_HOME/instance-2693891-1277896592.wbo
1114.94/1114.93 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1114.94/1114.93 c Constraints : 159 initial, 54476 maximal
1114.94/1114.93 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1114.94/1114.93 c trivial : 0.00 0 0 0 0 0 0 0 0
1114.94/1114.93 c dualfix : 0.00 2 0 0 0 0 0 0 0
1114.94/1114.93 c boundshift : 0.00 0 0 0 0 0 0 0 0
1114.94/1114.93 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1114.94/1114.93 c implics : 0.00 0 0 0 0 0 0 0 0
1114.94/1114.93 c probing : 0.01 0 0 0 0 0 0 0 0
1114.94/1114.93 c indicator : 0.00 0 0 0 0 0 1 0 0
1114.94/1114.93 c knapsack : 0.00 0 0 0 0 0 0 0 0
1114.94/1114.93 c setppc : 0.00 0 0 0 0 0 0 0 0
1114.94/1114.93 c linear : 0.00 0 0 0 63 0 6 1 0
1114.94/1114.93 c logicor : 0.00 0 0 0 0 0 0 0 0
1114.94/1114.93 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1114.94/1114.93 c root node : - 22 - - 44 - - - -
1114.94/1114.93 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1114.94/1114.93 c integral : 0 0 0 0 0 0 0 0 0 0
1114.94/1114.93 c indicator : 63 0 4166922 0 967436 3028 916902 0 0 0
1114.94/1114.93 c knapsack : 1 0 4825107 0 1084115 108143 15576602 0 0 0
1114.94/1114.93 c setppc : 23 0 4716720 0 1084075 212819 3230821 0 0 0
1114.94/1114.93 c linear : 63 0 4504135 0 1084111 236528 4782383 0 0 0
1114.94/1114.93 c logicor : 9+ 0 2235738 0 1084082 77909 1099404 0 0 0
1114.94/1114.93 c bounddisjunction : 0+ 0 183210 0 0 3 2535 0 0 0
1114.94/1114.93 c countsols : 0 0 0 0 1084126 0 0 0 0 0
1114.94/1114.93 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1114.94/1114.93 c integral : 0.00 0.00 0.00 0.00 0.00
1114.94/1114.93 c indicator : 1.94 0.00 0.86 0.00 1.08
1114.94/1114.93 c knapsack : 143.71 0.00 141.56 0.00 2.15
1114.94/1114.93 c setppc : 13.68 0.00 11.26 0.00 2.42
1114.94/1114.93 c linear : 45.50 0.00 45.41 0.00 0.09
1114.94/1114.93 c logicor : 403.78 0.00 403.12 0.00 0.66
1114.94/1114.93 c bounddisjunction : 0.32 0.00 0.32 0.00 0.00
1114.94/1114.93 c countsols : 0.00 0.00 0.00 0.00 0.00
1114.94/1114.93 c Propagators : Time Calls Cutoffs DomReds
1114.94/1114.93 c vbounds : 0.00 2 0 0
1114.94/1114.93 c rootredcost : 0.00 0 0 0
1114.94/1114.93 c pseudoobj : 9.36 4829697 1715 825339
1114.94/1114.93 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1114.94/1114.93 c propagation : 20.50 637116 637104 3216196 23.5 121971 14.2 -
1114.94/1114.93 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1114.94/1114.93 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1114.94/1114.93 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1114.94/1114.93 c pseudo solution : 0.00 94 94 333 16.7 15 10.5 -
1114.94/1114.93 c applied globally : - - - 1610643 17.0 - - -
1114.94/1114.93 c applied locally : - - - 43665 37.9 - - -
1114.94/1114.93 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1114.94/1114.93 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1114.94/1114.93 c redcost : 0.00 0 0 0 0 0
1114.94/1114.93 c impliedbounds : 0.00 0 0 0 0 0
1114.94/1114.93 c intobj : 0.00 0 0 0 0 0
1114.94/1114.93 c cgmip : 0.00 0 0 0 0 0
1114.94/1114.93 c gomory : 0.00 0 0 0 0 0
1114.94/1114.93 c strongcg : 0.00 0 0 0 0 0
1114.94/1114.93 c cmir : 0.00 0 0 0 0 0
1114.94/1114.93 c flowcover : 0.00 0 0 0 0 0
1114.94/1114.93 c clique : 0.00 0 0 0 0 0
1114.94/1114.93 c zerohalf : 0.00 0 0 0 0 0
1114.94/1114.93 c mcf : 0.00 0 0 0 0 0
1114.94/1114.93 c rapidlearning : 0.00 0 0 0 0 0
1114.94/1114.93 c Pricers : Time Calls Vars
1114.94/1114.93 c problem variables: 0.00 0 0
1114.94/1114.93 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1114.94/1114.93 c relpscost : 0.00 0 0 0 0 0 0
1114.94/1114.93 c pscost : 0.00 0 0 0 0 0 0
1114.94/1114.93 c inference : 8.70 1084111 0 0 0 0 2168222
1114.94/1114.93 c mostinf : 0.00 0 0 0 0 0 0
1114.94/1114.93 c leastinf : 0.00 0 0 0 0 0 0
1114.94/1114.93 c fullstrong : 0.00 0 0 0 0 0 0
1114.94/1114.93 c allfullstrong : 0.00 0 0 0 0 0 0
1114.94/1114.93 c random : 0.00 0 0 0 0 0 0
1114.94/1114.93 c Primal Heuristics : Time Calls Found
1114.94/1114.93 c LP solutions : 0.00 - 0
1114.94/1114.93 c pseudo solutions : 0.37 - 15
1114.94/1114.93 c oneopt : 0.07 0 0
1114.94/1114.93 c trivial : 0.00 2 0
1114.94/1114.93 c simplerounding : 0.00 0 0
1114.94/1114.93 c zirounding : 0.00 0 0
1114.94/1114.93 c rounding : 0.00 0 0
1114.94/1114.93 c shifting : 0.00 0 0
1114.94/1114.93 c intshifting : 0.00 0 0
1114.94/1114.93 c twoopt : 0.00 0 0
1114.94/1114.93 c fixandinfer : 0.00 0 0
1114.94/1114.93 c feaspump : 0.00 0 0
1114.94/1114.93 c coefdiving : 0.00 0 0
1114.94/1114.93 c pscostdiving : 0.00 0 0
1114.94/1114.93 c fracdiving : 0.00 0 0
1114.94/1114.93 c veclendiving : 0.00 0 0
1114.94/1114.93 c intdiving : 0.00 0 0
1114.94/1114.93 c actconsdiving : 0.00 0 0
1114.94/1114.93 c objpscostdiving : 0.00 0 0
1114.94/1114.93 c rootsoldiving : 0.00 0 0
1114.94/1114.93 c linesearchdiving : 0.00 0 0
1114.94/1114.93 c guideddiving : 0.00 0 0
1114.94/1114.93 c octane : 0.00 0 0
1114.94/1114.93 c rens : 0.00 0 0
1114.94/1114.93 c rins : 0.00 0 0
1114.94/1114.93 c localbranching : 0.00 0 0
1114.94/1114.93 c mutation : 0.00 0 0
1114.94/1114.93 c crossover : 0.00 0 0
1114.94/1114.93 c dins : 0.00 0 0
1114.94/1114.93 c undercover : 0.00 0 0
1114.94/1114.93 c nlp : 0.00 0 0
1114.94/1114.93 c trysol : 0.00 1 0
1114.94/1114.93 c LP : Time Calls Iterations Iter/call Iter/sec
1114.94/1114.93 c primal LP : 0.00 0 0 0.00 -
1114.94/1114.93 c dual LP : 0.00 0 0 0.00 -
1114.94/1114.93 c lex dual LP : 0.00 0 0 0.00 -
1114.94/1114.93 c barrier LP : 0.00 0 0 0.00 -
1114.94/1114.93 c diving/probing LP: 0.00 0 0 0.00 -
1114.94/1114.93 c strong branching : 0.00 0 0 0.00 -
1114.94/1114.93 c (at root node) : - 0 0 0.00 -
1114.94/1114.93 c conflict analysis: 0.00 0 0 0.00 -
1114.94/1114.93 c B&B Tree :
1114.94/1114.93 c number of runs : 1
1114.94/1114.93 c nodes : 1511058
1114.94/1114.93 c nodes (total) : 1511058
1114.94/1114.93 c nodes left : 0
1114.94/1114.93 c max depth : 183
1114.94/1114.93 c max depth (total): 183
1114.94/1114.93 c backtracks : 549334 (36.4%)
1114.94/1114.93 c delayed cutoffs : 455772
1114.94/1114.93 c repropagations : 1951530 (7721850 domain reductions, 213307 cutoffs)
1114.94/1114.93 c avg switch length: 29.97
1114.94/1114.93 c switching time : 323.54
1114.94/1114.93 c Solution :
1114.94/1114.93 c Solutions found : 15 (15 improvements)
1114.94/1114.93 c First Solution : +5.18000000000000e+02 (in run 1, after 21750 nodes, 2.75 seconds, depth 87, found by <relaxation>)
1114.94/1114.93 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1346397 nodes, 501.78 seconds, depth 46, found by <relaxation>)
1114.94/1114.93 c Dual Bound : +2.00000000000000e+00
1114.94/1114.93 c Gap : 0.00 %
1114.94/1114.93 c Root Dual Bound : +0.00000000000000e+00
1114.94/1114.93 c Root Iterations : 0
1115.03/1115.01 c Time complete: 1115.04.