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-2693843-1277895401.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.29/1.35 c 1.2s| 10000 | 7379 | 0 | 0.0 |6589k| 183 | - | 295 |3790 | 0 | 0 | 0 |7856 | 0 | 0.000000e+00 | -- | Inf
3.39/3.47 c 3.2s| 20000 | 13892 | 0 | 0.0 | 10M| 183 | - | 295 |1869 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
5.79/5.84 c 5.5s| 30000 | 19709 | 0 | 0.0 | 15M| 183 | - | 295 |5951 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
9.39/9.48 c 9.1s| 40000 | 23951 | 0 | 0.0 | 20M| 183 | - | 295 |8809 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
14.69/14.70 c 14.1s| 50000 | 25966 | 0 | 0.0 | 25M| 183 | - | 295 | 10k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
20.79/20.82 c 20.1s| 60000 | 27154 | 0 | 0.0 | 25M| 183 | - | 295 |5416 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
21.68/21.78 o 580
21.68/21.78 c *21.0s| 67663 | 33510 | 0 | 0.0 | 27M| 183 | - | 295 |2142 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 5.800000e+02 | Inf
21.89/21.97 o 492
21.89/21.97 c *21.2s| 69256 | 34805 | 0 | 0.0 | 28M| 183 | - | 295 |2274 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 4.920000e+02 | Inf
21.99/22.05 c 21.2s| 70000 | 35444 | 0 | 0.0 | 28M| 183 | - | 295 |2338 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 4.920000e+02 | Inf
22.08/22.13 o 462
22.08/22.13 c *21.3s| 70680 | 35999 | 0 | 0.0 | 28M| 183 | - | 295 |2389 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 4.620000e+02 | Inf
22.78/22.87 o 387
22.78/22.87 c *22.0s| 77156 | 41402 | 0 | 0.0 | 30M| 183 | - | 295 |2230 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 3.870000e+02 | Inf
22.89/22.98 o 350
22.89/22.98 c *22.1s| 78006 | 42090 | 0 | 0.0 | 31M| 183 | - | 295 |2178 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
23.19/23.21 c 22.3s| 80000 | 43747 | 0 | 0.0 | 32M| 183 | - | 295 |2041 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
24.38/24.46 c 23.5s| 90000 | 51690 | 0 | 0.0 | 35M| 183 | - | 295 |1827 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
25.69/25.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.69/25.77 c 24.7s|100000 | 59382 | 0 | 0.0 | 39M| 183 | - | 295 |2235 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
26.09/26.10 o 332
26.09/26.10 c *25.0s|102296 | 61095 | 0 | 0.0 | 40M| 183 | - | 295 |2372 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
27.18/27.29 c 26.1s|110000 | 66630 | 0 | 0.0 | 43M| 183 | - | 295 |3071 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
28.88/28.97 c 27.7s|120000 | 73641 | 0 | 0.0 | 48M| 183 | - | 295 |3826 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
31.28/31.36 c 30.0s|130000 | 79364 | 0 | 0.0 | 53M| 183 | - | 295 |6174 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
36.88/36.96 c 35.5s|140000 | 80288 | 0 | 0.0 | 58M| 183 | - | 295 | 12k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
45.98/46.09 c 44.5s|150000 | 78497 | 0 | 0.0 | 62M| 183 | - | 295 | 18k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
57.56/57.61 c 55.8s|160000 | 75579 | 0 | 0.0 | 62M| 183 | - | 295 | 22k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
66.26/66.32 c 64.4s|170000 | 76340 | 0 | 0.0 | 56M| 183 | - | 295 |2356 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
67.86/67.96 c 66.0s|180000 | 83472 | 0 | 0.0 | 60M| 183 | - | 295 |2525 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
68.46/68.51 o 261
68.46/68.51 c *66.5s|183306 | 85832 | 0 | 0.0 | 61M| 183 | - | 295 |2732 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
69.46/69.54 c 67.5s|190000 | 90812 | 0 | 0.0 | 64M| 183 | - | 295 |2920 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
71.15/71.21 c 69.0s|200000 | 98014 | 0 | 0.0 | 68M| 183 | - | 295 |3478 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
72.65/72.73 c 70.5s|210000 |105557 | 0 | 0.0 | 72M| 183 | - | 295 |3762 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
74.26/74.38 c 72.0s|220000 |112854 | 0 | 0.0 | 76M| 183 | - | 295 |4238 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
75.95/76.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.95/76.00 c 73.5s|230000 |120343 | 0 | 0.0 | 80M| 183 | - | 295 |4552 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
77.55/77.69 c 75.1s|240000 |127656 | 0 | 0.0 | 84M| 183 | - | 295 |4735 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
79.35/79.46 c 76.8s|250000 |134825 | 0 | 0.0 | 88M| 183 | - | 295 |4667 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
81.25/81.30 c 78.6s|260000 |141851 | 0 | 0.0 | 92M| 183 | - | 295 |4523 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
82.95/83.08 c 80.2s|270000 |148939 | 0 | 0.0 | 95M| 183 | - | 295 |4018 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
84.84/84.90 c 82.0s|280000 |155888 | 0 | 0.0 | 99M| 183 | - | 295 |3576 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
86.54/86.67 c 83.6s|290000 |162824 | 0 | 0.0 | 103M| 183 | - | 295 |3528 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
88.34/88.47 c 85.3s|300000 |169718 | 0 | 0.0 | 107M| 183 | - | 295 |3169 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
90.35/90.43 c 87.2s|310000 |176090 | 0 | 0.0 | 111M| 183 | - | 295 |3359 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
92.25/92.34 c 89.0s|320000 |182579 | 0 | 0.0 | 115M| 183 | - | 295 |2963 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
94.24/94.33 c 90.9s|330000 |188890 | 0 | 0.0 | 119M| 183 | - | 295 |3049 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
96.04/96.18 c 92.7s|340000 |195501 | 0 | 0.0 | 123M| 183 | - | 295 |3258 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
98.04/98.15 c 94.5s|350000 |201908 | 0 | 0.0 | 127M| 183 | - | 295 |3570 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
99.94/100.03 c 96.3s|360000 |208521 | 0 | 0.0 | 131M| 183 | - | 295 |3523 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
101.93/102.08 c 98.3s|370000 |214702 | 0 | 0.0 | 135M| 183 | - | 295 |4039 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
104.04/104.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.04/104.14 c 100s|380000 |221031 | 0 | 0.0 | 139M| 183 | - | 295 |3978 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
106.14/106.25 c 102s|390000 |227155 | 0 | 0.0 | 143M| 183 | - | 295 |4570 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
108.34/108.44 c 104s|400000 |233270 | 0 | 0.0 | 147M| 183 | - | 295 |4594 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
110.44/110.59 c 106s|410000 |239446 | 0 | 0.0 | 151M| 183 | - | 295 |5262 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
111.83/111.96 o 250
111.83/111.96 c * 108s|416643 |243796 | 0 | 0.0 | 153M| 183 | - | 295 |5367 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
112.63/112.74 c 108s|420000 |245784 | 0 | 0.0 | 155M| 183 | - | 295 |5436 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
113.83/113.95 o 170
113.83/113.95 c * 110s|425333 |248464 | 0 | 0.0 | 156M| 183 | - | 295 |5655 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
114.82/114.99 c 111s|430000 |251430 | 0 | 0.0 | 158M| 183 | - | 295 |5720 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
117.22/117.36 c 113s|440000 |257434 | 0 | 0.0 | 162M| 183 | - | 295 |6204 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
119.73/119.83 c 115s|450000 |263327 | 0 | 0.0 | 166M| 183 | - | 295 |6338 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
122.32/122.42 c 118s|460000 |269096 | 0 | 0.0 | 170M| 183 | - | 295 |6653 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
125.22/125.35 c 121s|470000 |274353 | 0 | 0.0 | 175M| 183 | - | 295 |7389 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
128.32/128.41 c 124s|480000 |279440 | 0 | 0.0 | 179M| 183 | - | 295 |8309 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
131.71/131.83 c 127s|490000 |284054 | 0 | 0.0 | 184M| 183 | - | 295 |8857 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
135.01/135.13 o 168
135.01/135.13 c * 130s|498537 |287360 | 0 | 0.0 | 188M| 183 | - | 295 | 10k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
135.01/135.14 o 160
135.01/135.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.01/135.14 c * 130s|498538 |286328 | 0 | 0.0 | 187M| 183 | - | 295 | 10k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
135.71/135.83 c 131s|500000 |286763 | 0 | 0.0 | 187M| 183 | - | 295 | 10k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
140.80/140.95 c 136s|510000 |289789 | 0 | 0.0 | 191M| 183 | - | 295 | 12k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
146.50/146.63 c 141s|520000 |291850 | 0 | 0.0 | 194M| 183 | - | 295 | 13k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
156.10/156.25 c 151s|530000 |288514 | 0 | 0.0 | 184M| 183 | - | 295 |9143 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
158.30/158.45 c 153s|540000 |294887 | 0 | 0.0 | 185M| 183 | - | 295 |2490 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
160.50/160.63 c 155s|550000 |300795 | 0 | 0.0 | 189M| 183 | - | 295 |3072 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
162.70/162.88 c 157s|560000 |306715 | 0 | 0.0 | 193M| 183 | - | 295 |3519 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
165.00/165.12 c 159s|570000 |312642 | 0 | 0.0 | 197M| 183 | - | 295 |4013 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
167.20/167.35 c 161s|580000 |318786 | 0 | 0.0 | 201M| 183 | - | 295 |4161 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
169.59/169.72 c 164s|590000 |324542 | 0 | 0.0 | 205M| 183 | - | 295 |4600 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
171.90/172.09 c 166s|600000 |330412 | 0 | 0.0 | 209M| 183 | - | 295 |4686 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 1.600000e+02 | Large
174.18/174.38 c 168s|610000 |336399 | 0 | 0.0 | 213M| 183 | - | 295 |5056 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 1.600000e+02 | Large
176.59/176.79 c 170s|620000 |342231 | 0 | 0.0 | 217M| 183 | - | 295 |5428 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 1.600000e+02 | Large
179.09/179.21 c 173s|630000 |348118 | 0 | 0.0 | 222M| 183 | - | 295 |5642 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 1.600000e+02 | Large
181.39/181.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.39/181.56 c 175s|640000 |354229 | 0 | 0.0 | 226M| 183 | - | 295 |5877 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 1.600000e+02 | Large
183.78/183.95 c 177s|650000 |360246 | 0 | 0.0 | 231M| 183 | - | 295 |6058 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 1.600000e+02 | Large
186.18/186.36 c 179s|660000 |366297 | 0 | 0.0 | 235M| 183 | - | 295 |6356 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 1.600000e+02 | Large
188.58/188.74 c 182s|670000 |372439 | 0 | 0.0 | 239M| 183 | - | 295 |6523 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | 1.600000e+02 | Large
190.98/191.16 c 184s|680000 |378515 | 0 | 0.0 | 243M| 183 | - | 295 |6795 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | 1.600000e+02 | Large
193.38/193.59 c 186s|690000 |384629 | 0 | 0.0 | 248M| 183 | - | 295 |7251 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 1.600000e+02 | Large
195.68/195.88 c 189s|700000 |391028 | 0 | 0.0 | 252M| 183 | - | 295 |7315 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | 1.600000e+02 | Large
198.37/198.53 c 191s|710000 |396839 | 0 | 0.0 | 256M| 183 | - | 295 |7266 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 1.600000e+02 | Large
200.77/200.95 c 193s|720000 |403128 | 0 | 0.0 | 260M| 183 | - | 295 |7461 | 0 | 0 | 0 | 450k| 0 | 1.000000e+00 | 1.600000e+02 | Large
203.37/203.55 c 196s|730000 |409050 | 0 | 0.0 | 265M| 183 | - | 295 |7653 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 1.600000e+02 | Large
206.07/206.20 c 198s|740000 |414806 | 0 | 0.0 | 269M| 183 | - | 295 |7568 | 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 1.600000e+02 | Large
208.67/208.87 c 201s|750000 |420590 | 0 | 0.0 | 273M| 183 | - | 295 |7465 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | 1.600000e+02 | Large
211.17/211.37 c 203s|760000 |426593 | 0 | 0.0 | 277M| 183 | - | 295 |7322 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 1.600000e+02 | Large
214.06/214.22 c 206s|770000 |431917 | 0 | 0.0 | 282M| 183 | - | 295 |7420 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.600000e+02 | Large
216.85/217.01 c 209s|780000 |437484 | 0 | 0.0 | 286M| 183 | - | 295 |6898 | 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | 1.600000e+02 | Large
219.56/219.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.56/219.73 c 211s|790000 |443023 | 0 | 0.0 | 290M| 183 | - | 295 |6580 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 1.600000e+02 | Large
222.26/222.43 c 214s|800000 |448554 | 0 | 0.0 | 294M| 183 | - | 295 |6546 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | 1.600000e+02 | Large
224.86/225.06 c 217s|810000 |454013 | 0 | 0.0 | 298M| 183 | - | 295 |6609 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 1.600000e+02 | Large
227.46/227.64 c 219s|820000 |459722 | 0 | 0.0 | 302M| 183 | - | 295 |6172 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | 1.600000e+02 | Large
230.26/230.40 c 222s|830000 |464890 | 0 | 0.0 | 306M| 183 | - | 295 |6649 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 1.600000e+02 | Large
232.85/233.05 c 224s|840000 |470329 | 0 | 0.0 | 311M| 183 | - | 295 |6745 | 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 1.600000e+02 | Large
235.55/235.75 c 227s|850000 |475790 | 0 | 0.0 | 315M| 183 | - | 295 |6252 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 1.600000e+02 | Large
238.15/238.32 c 229s|860000 |481344 | 0 | 0.0 | 319M| 183 | - | 295 |6698 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 1.600000e+02 | Large
240.76/240.91 c 232s|870000 |486992 | 0 | 0.0 | 323M| 183 | - | 295 |6314 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 1.600000e+02 | Large
243.44/243.62 c 234s|880000 |492268 | 0 | 0.0 | 327M| 183 | - | 295 |6459 | 0 | 0 | 0 | 515k| 0 | 1.000000e+00 | 1.600000e+02 | Large
246.05/246.20 c 237s|890000 |497797 | 0 | 0.0 | 331M| 183 | - | 295 |6816 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | 1.600000e+02 | Large
248.75/248.97 c 240s|900000 |503066 | 0 | 0.0 | 335M| 183 | - | 295 |6328 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 1.600000e+02 | Large
251.54/251.71 c 242s|910000 |508237 | 0 | 0.0 | 339M| 183 | - | 295 |6962 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 1.600000e+02 | Large
254.34/254.53 c 245s|920000 |513538 | 0 | 0.0 | 343M| 183 | - | 295 |6588 | 0 | 0 | 0 | 533k| 0 | 1.000000e+00 | 1.600000e+02 | Large
257.35/257.52 c 248s|930000 |518323 | 0 | 0.0 | 347M| 183 | - | 295 |6922 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 1.600000e+02 | Large
260.04/260.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.04/260.28 c 250s|940000 |523554 | 0 | 0.0 | 351M| 183 | - | 295 |7616 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 1.600000e+02 | Large
263.04/263.22 c 253s|950000 |528753 | 0 | 0.0 | 355M| 183 | - | 295 |6740 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 1.600000e+02 | Large
263.64/263.86 o 128
263.64/263.86 c * 254s|952485 |524575 | 0 | 0.0 | 350M| 183 | - | 295 |6831 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 1.280000e+02 | Large
263.64/263.87 o 114
263.64/263.87 c * 254s|952486 |520328 | 0 | 0.0 | 347M| 183 | - | 295 |6831 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 1.140000e+02 | Large
266.34/266.51 c 256s|960000 |523369 | 0 | 0.0 | 350M| 183 | - | 295 |7196 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 1.140000e+02 | Large
269.94/270.17 c 260s|970000 |527303 | 0 | 0.0 | 355M| 183 | - | 295 |7815 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 1.140000e+02 | Large
273.75/273.92 c 264s|980000 |531286 | 0 | 0.0 | 360M| 183 | - | 295 |7670 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 1.140000e+02 | Large
277.44/277.61 c 267s|990000 |535232 | 0 | 0.0 | 364M| 183 | - | 295 |7550 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 1.140000e+02 | Large
280.25/280.41 o 100
280.25/280.41 c * 270s|997622 |534411 | 0 | 0.0 | 365M| 183 | - | 295 |7967 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
281.24/281.40 c 271s| 1000k|535236 | 0 | 0.0 | 366M| 183 | - | 295 |7715 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
285.24/285.40 c 275s| 1010k|538825 | 0 | 0.0 | 371M| 183 | - | 295 |8658 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
288.84/289.02 c 278s| 1020k|543145 | 0 | 0.0 | 376M| 183 | - | 295 |8954 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
292.63/292.83 c 282s| 1030k|547336 | 0 | 0.0 | 380M| 183 | - | 295 |8603 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
296.63/296.87 c 285s| 1040k|551305 | 0 | 0.0 | 385M| 183 | - | 295 |9267 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
301.03/301.24 c 289s| 1050k|554898 | 0 | 0.0 | 390M| 183 | - | 295 |9842 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
305.33/305.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.33/305.50 c 293s| 1060k|558835 | 0 | 0.0 | 395M| 183 | - | 295 | 10k| 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
309.33/309.52 c 297s| 1070k|563241 | 0 | 0.0 | 399M| 183 | - | 295 |9975 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
313.93/314.18 c 301s| 1080k|566600 | 0 | 0.0 | 404M| 183 | - | 295 | 10k| 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
318.63/318.81 c 306s| 1090k|570315 | 0 | 0.0 | 409M| 183 | - | 295 | 11k| 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
323.53/323.72 c 310s| 1100k|573801 | 0 | 0.0 | 413M| 183 | - | 295 | 12k| 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
328.53/328.78 c 315s| 1110k|577352 | 0 | 0.0 | 418M| 183 | - | 295 | 12k| 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
333.53/333.77 c 319s| 1120k|580931 | 0 | 0.0 | 423M| 183 | - | 295 | 12k| 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
338.63/338.88 c 324s| 1130k|584444 | 0 | 0.0 | 427M| 183 | - | 295 | 12k| 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
344.23/344.46 c 330s| 1140k|587537 | 0 | 0.0 | 432M| 183 | - | 295 | 13k| 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
349.83/350.06 c 335s| 1150k|590730 | 0 | 0.0 | 436M| 183 | - | 295 | 13k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
355.22/355.45 c 340s| 1160k|594328 | 0 | 0.0 | 441M| 183 | - | 295 | 14k| 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
360.93/361.11 c 345s| 1170k|597856 | 0 | 0.0 | 445M| 183 | - | 295 | 15k| 0 | 0 | 0 | 719k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
366.83/367.00 c 351s| 1180k|601197 | 0 | 0.0 | 449M| 183 | - | 295 | 15k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
372.92/373.18 c 356s| 1190k|604426 | 0 | 0.0 | 453M| 183 | - | 295 | 16k| 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
379.32/379.51 c 362s| 1200k|607521 | 0 | 0.0 | 457M| 183 | - | 295 | 16k| 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
386.03/386.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.03/386.25 c 369s| 1210k|610321 | 0 | 0.0 | 462M| 183 | - | 295 | 17k| 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
393.43/393.61 c 376s| 1220k|612765 | 0 | 0.0 | 465M| 183 | - | 295 | 18k| 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
401.02/401.26 c 383s| 1230k|615004 | 0 | 0.0 | 469M| 183 | - | 295 | 19k| 0 | 0 | 0 | 782k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
409.03/409.25 c 390s| 1240k|617257 | 0 | 0.0 | 473M| 183 | - | 295 | 20k| 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
417.93/418.16 c 399s| 1250k|618899 | 0 | 0.0 | 477M| 183 | - | 295 | 22k| 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
427.73/427.94 c 408s| 1260k|620205 | 0 | 0.0 | 480M| 183 | - | 295 | 24k| 0 | 0 | 0 | 823k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
438.72/438.98 c 419s| 1270k|620774 | 0 | 0.0 | 484M| 183 | - | 295 | 28k| 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
452.42/452.61 c 432s| 1280k|620298 | 0 | 0.0 | 486M| 183 | - | 295 | 31k| 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
460.42/460.63 c 440s| 1290k|625037 | 0 | 0.0 | 483M| 183 | - | 295 |8625 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
463.62/463.81 c 442s| 1300k|630705 | 0 | 0.0 | 486M| 183 | - | 295 |3946 | 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
467.52/467.74 c 446s| 1310k|632987 | 0 | 0.0 | 490M| 183 | - | 295 |4011 | 0 | 0 | 0 | 878k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
472.02/472.23 c 450s| 1320k|634773 | 0 | 0.0 | 494M| 183 | - | 295 |5255 | 0 | 0 | 0 | 885k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
476.32/476.53 c 454s| 1330k|637367 | 0 | 0.0 | 499M| 183 | - | 295 |6143 | 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
480.82/481.05 c 458s| 1340k|639847 | 0 | 0.0 | 504M| 183 | - | 295 |6786 | 0 | 0 | 0 | 898k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
485.71/485.92 c 463s| 1350k|642112 | 0 | 0.0 | 508M| 183 | - | 295 |7401 | 0 | 0 | 0 | 905k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
490.43/490.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.43/490.63 c 467s| 1360k|644921 | 0 | 0.0 | 512M| 183 | - | 295 |8103 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
495.32/495.54 c 471s| 1370k|647461 | 0 | 0.0 | 517M| 183 | - | 295 |8627 | 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
500.42/500.63 c 476s| 1380k|650083 | 0 | 0.0 | 521M| 183 | - | 295 |8994 | 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
505.32/505.56 c 480s| 1390k|653037 | 0 | 0.0 | 526M| 183 | - | 295 |9316 | 0 | 0 | 0 | 931k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
510.32/510.51 c 485s| 1400k|655938 | 0 | 0.0 | 531M| 183 | - | 295 |9706 | 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
513.02/513.21 o 94
513.02/513.21 c * 488s| 1405k|644315 | 0 | 0.0 | 521M| 183 | - | 295 | 10k| 0 | 0 | 0 | 941k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
515.02/515.23 c 489s| 1410k|645790 | 0 | 0.0 | 521M| 183 | - | 295 |2357 | 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
518.82/519.05 c 492s| 1420k|648329 | 0 | 0.0 | 525M| 183 | - | 295 |2422 | 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
522.62/522.81 c 496s| 1430k|650932 | 0 | 0.0 | 529M| 183 | - | 295 |1839 | 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
526.32/526.50 c 499s| 1440k|653479 | 0 | 0.0 | 534M| 183 | - | 295 |3226 | 0 | 0 | 0 | 965k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
530.31/530.57 c 503s| 1450k|655585 | 0 | 0.0 | 538M| 183 | - | 295 |4649 | 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
534.92/535.13 c 507s| 1460k|657610 | 0 | 0.0 | 542M| 183 | - | 295 |5460 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
536.32/536.50 o 60
536.32/536.50 c * 508s| 1462k|539158 | 0 | 0.0 | 439M| 183 | - | 295 |5835 | 0 | 0 | 0 | 981k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
541.52/541.74 c 512s| 1470k|536806 | 0 | 0.0 | 442M| 183 | - | 295 |2712 | 0 | 0 | 0 | 989k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
547.92/548.10 c 518s| 1480k|533879 | 0 | 0.0 | 444M| 183 | - | 295 |4364 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
554.62/554.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.62/554.88 c 525s| 1490k|530864 | 0 | 0.0 | 447M| 183 | - | 295 |6855 | 0 | 0 | 0 |1007k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
562.32/562.59 c 532s| 1500k|527517 | 0 | 0.0 | 449M| 183 | - | 295 |7290 | 0 | 0 | 0 |1017k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
570.42/570.68 c 539s| 1510k|524349 | 0 | 0.0 | 450M| 183 | - | 295 |6897 | 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
572.32/572.55 o 47
572.32/572.55 c * 541s| 1512k|416386 | 0 | 0.0 | 376M| 183 | - | 295 |7595 | 0 | 0 | 0 |1029k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
579.42/579.70 c 548s| 1520k|411831 | 0 | 0.0 | 378M| 183 | - | 295 |6870 | 0 | 0 | 0 |1040k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
579.82/580.02 o 31
579.82/580.02 c * 548s| 1520k|388470 | 0 | 0.0 | 356M| 183 | - | 295 |6966 | 0 | 0 | 0 |1040k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
591.22/591.43 c 558s| 1530k|378232 | 0 | 0.0 | 356M| 183 | - | 295 |9471 | 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
593.62/593.82 o 18
593.62/593.82 c * 561s| 1531k|337554 | 0 | 0.0 | 322M| 183 | - | 295 |9887 | 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
595.92/596.12 o 11
595.92/596.12 c * 563s| 1532k|301381 | 0 | 0.0 | 297M| 183 | - | 295 | 10k| 0 | 0 | 0 |1065k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
611.81/612.02 c 578s| 1540k|283486 | 0 | 0.0 | 294M| 183 | - | 295 |8842 | 0 | 0 | 0 |1089k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
633.42/633.63 c 599s| 1550k|260757 | 0 | 0.0 | 284M| 183 | - | 295 | 12k| 0 | 0 | 0 |1119k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
656.52/656.78 c 621s| 1560k|241231 | 0 | 0.0 | 274M| 183 | - | 295 | 15k| 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
682.02/682.25 c 646s| 1570k|222110 | 0 | 0.0 | 264M| 183 | - | 295 | 16k| 0 | 0 | 0 |1178k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
705.62/705.90 o 8
705.62/705.90 c * 668s| 1579k|131305 | 0 | 0.0 | 198M| 183 | - | 295 | 19k| 0 | 0 | 0 |1204k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
709.12/709.30 c 672s| 1580k|128891 | 0 | 0.0 | 197M| 183 | - | 295 | 19k| 0 | 0 | 0 |1208k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
741.32/741.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.32/741.51 c 703s| 1590k|102179 | 0 | 0.0 | 169M| 183 | - | 295 | 16k| 0 | 0 | 0 |1240k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
745.92/746.16 c 707s| 1600k|105681 | 0 | 0.0 | 170M| 183 | - | 295 |6491 | 0 | 0 | 0 |1252k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
753.22/753.45 c 714s| 1610k|104080 | 0 | 0.0 | 174M| 183 | - | 295 | 10k| 0 | 0 | 0 |1269k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
767.22/767.40 c 727s| 1620k| 75771 | 0 | 0.0 | 148M| 183 | - | 295 | 13k| 0 | 0 | 0 |1296k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
809.52/809.76 c 768s| 1630k| 24889 | 0 | 0.0 | 56M| 183 | - | 295 | 23k| 0 | 0 | 0 |1334k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
823.41/823.65 c 782s| 1640k| 22284 | 0 | 0.0 | 41M| 183 | - | 295 | 19k| 0 | 0 | 0 |1352k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
837.72/837.95 c 796s| 1650k| 21168 | 0 | 0.0 | 44M| 183 | - | 295 | 26k| 0 | 0 | 0 |1373k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
854.53/854.72 c 812s| 1660k| 20437 | 0 | 0.0 | 43M| 183 | - | 295 | 22k| 0 | 0 | 0 |1392k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
863.42/863.63 c 821s| 1670k| 23476 | 0 | 0.0 | 45M| 183 | - | 295 | 19k| 0 | 0 | 0 |1406k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
877.32/877.56 c 834s| 1680k| 19970 | 0 | 0.0 | 41M| 183 | - | 295 | 25k| 0 | 0 | 0 |1429k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
899.92/900.16 c 856s| 1690k| 15249 | 0 | 0.0 | 35M| 183 | - | 295 | 23k| 0 | 0 | 0 |1455k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
913.92/914.17 c 870s| 1700k| 15182 | 0 | 0.0 | 37M| 183 | - | 295 | 25k| 0 | 0 | 0 |1476k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
926.92/927.18 c 882s| 1710k| 16897 | 0 | 0.0 | 36M| 183 | - | 295 | 20k| 0 | 0 | 0 |1491k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
937.92/938.12 c 893s| 1720k| 14297 | 0 | 0.0 | 26M| 183 | - | 295 | 18k| 0 | 0 | 0 |1510k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
955.32/955.50 c 910s| 1730k| 10435 | 0 | 0.0 | 26M| 183 | - | 295 | 31k| 0 | 0 | 0 |1536k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
964.12/964.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.12/964.33 c 918s| 1740k| 15970 | 0 | 0.0 | 27M| 183 | - | 295 | 19k| 0 | 0 | 0 |1547k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
973.52/973.75 c 927s| 1750k| 18183 | 0 | 0.0 | 30M| 183 | - | 295 | 20k| 0 | 0 | 0 |1561k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
980.72/980.94 c 934s| 1760k| 22557 | 0 | 0.0 | 31M| 183 | - | 295 | 14k| 0 | 0 | 0 |1571k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
990.42/990.69 c 943s| 1770k| 23197 | 0 | 0.0 | 32M| 183 | - | 295 | 22k| 0 | 0 | 0 |1588k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1001.41/1001.65 c 954s| 1780k| 24850 | 0 | 0.0 | 35M| 183 | - | 295 | 24k| 0 | 0 | 0 |1606k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1016.12/1016.31 c 968s| 1790k| 24390 | 0 | 0.0 | 39M| 183 | - | 295 | 30k| 0 | 0 | 0 |1626k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1034.22/1034.46 c 986s| 1800k| 22636 | 0 | 0.0 | 40M| 183 | - | 295 | 35k| 0 | 0 | 0 |1648k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1047.12/1047.34 c 998s| 1810k| 26281 | 0 | 0.0 | 41M| 183 | - | 295 | 25k| 0 | 0 | 0 |1660k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1058.32/1058.52 c 1009s| 1820k| 29034 | 0 | 0.0 | 44M| 183 | - | 295 | 24k| 0 | 0 | 0 |1673k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1071.82/1072.08 c 1022s| 1830k| 28849 | 0 | 0.0 | 49M| 183 | - | 295 | 32k| 0 | 0 | 0 |1693k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1097.22/1097.40 c 1047s| 1840k| 25027 | 0 | 0.0 | 50M| 183 | - | 295 | 41k| 0 | 0 | 0 |1719k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1126.32/1126.58 c 1076s| 1850k| 21700 | 0 | 0.0 | 46M| 183 | - | 295 | 43k| 0 | 0 | 0 |1743k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1148.12/1148.40 c 1097s| 1860k| 22494 | 0 | 0.0 | 46M| 183 | - | 295 | 35k| 0 | 0 | 0 |1761k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1169.22/1169.45 c 1118s| 1870k| 22790 | 0 | 0.0 | 47M| 183 | - | 295 | 35k| 0 | 0 | 0 |1779k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1192.61/1192.86 c 1141s| 1880k| 20683 | 0 | 0.0 | 47M| 183 | - | 295 | 40k| 0 | 0 | 0 |1799k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1232.61/1232.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.61/1232.81 c 1181s| 1890k| 14001 | 0 | 0.0 | 38M| 183 | - | 295 | 43k| 0 | 0 | 0 |1827k| 0 | 7.000000e+00 | 8.000000e+00 | 14.29%
1269.72/1269.92 c 1218s| 1900k| 8999 | 0 | 0.0 | 35M| 183 | - | 295 | 44k| 0 | 0 | 0 |1852k| 0 | 7.000000e+00 | 8.000000e+00 | 14.29%
1313.72/1313.98 c
1313.72/1313.98 c SCIP Status : problem is solved [optimal solution found]
1313.72/1313.98 c Solving Time (sec) : 1261.96
1313.72/1313.98 c Solving Nodes : 1909199
1313.72/1313.98 c Primal Bound : +8.00000000000000e+00 (21 solutions)
1313.72/1313.98 c Dual Bound : +8.00000000000000e+00
1313.72/1313.98 c Gap : 0.00 %
1313.72/1313.98 s OPTIMUM FOUND
1313.72/1313.98 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1313.72/1313.98 v x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1313.72/1313.98 v -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1313.72/1313.98 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
1313.72/1313.98 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
1313.72/1313.98 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
1313.72/1313.98 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
1313.72/1313.98 v -x4 -x3 -x2 -x1
1313.72/1313.98 c SCIP Status : problem is solved [optimal solution found]
1313.72/1313.98 c Solving Time : 1261.96
1313.72/1313.98 c Original Problem :
1313.72/1313.98 c Problem name : HOME/instance-2693843-1277895401.wbo
1313.72/1313.98 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1313.72/1313.98 c Constraints : 166 initial, 166 maximal
1313.72/1313.98 c Presolved Problem :
1313.72/1313.98 c Problem name : t_HOME/instance-2693843-1277895401.wbo
1313.72/1313.98 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1313.72/1313.98 c Constraints : 159 initial, 48666 maximal
1313.72/1313.98 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1313.72/1313.98 c trivial : 0.00 0 0 0 0 0 0 0 0
1313.72/1313.98 c dualfix : 0.00 2 0 0 0 0 0 0 0
1313.72/1313.98 c boundshift : 0.00 0 0 0 0 0 0 0 0
1313.72/1313.98 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1313.72/1313.98 c implics : 0.00 0 0 0 0 0 0 0 0
1313.72/1313.98 c probing : 0.00 0 0 0 0 0 0 0 0
1313.72/1313.98 c indicator : 0.00 0 0 0 0 0 1 0 0
1313.72/1313.98 c knapsack : 0.00 0 0 0 0 0 0 0 0
1313.72/1313.98 c setppc : 0.01 0 0 0 0 0 0 0 0
1313.72/1313.98 c linear : 0.00 0 0 0 63 0 6 1 0
1313.72/1313.98 c logicor : 0.00 0 0 0 0 0 0 0 0
1313.72/1313.98 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1313.72/1313.98 c root node : - 23 - - 46 - - - -
1313.72/1313.98 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1313.72/1313.98 c integral : 0 0 0 0 0 0 0 0 0 0
1313.72/1313.98 c indicator : 63 0 5431771 0 1340684 11925 2457995 0 0 0
1313.72/1313.98 c knapsack : 1 0 5754072 0 1401721 105318 23885842 0 0 0
1313.72/1313.98 c setppc : 23 0 5644636 0 1401229 239957 3043542 0 0 0
1313.72/1313.98 c linear : 63 0 5408782 0 1401715 260394 5295678 0 0 0
1313.72/1313.98 c logicor : 9+ 0 2586733 0 1401616 119840 1364309 0 0 0
1313.72/1313.98 c bounddisjunction : 0+ 0 215964 0 0 2 13226 0 0 0
1313.72/1313.98 c countsols : 0 0 0 0 1401736 0 0 0 0 0
1313.72/1313.98 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1313.72/1313.98 c integral : 0.00 0.00 0.00 0.00 0.00
1313.72/1313.98 c indicator : 5.50 0.00 3.03 0.00 2.47
1313.72/1313.98 c knapsack : 160.87 0.00 157.94 0.00 2.93
1313.72/1313.98 c setppc : 16.65 0.00 13.21 0.00 3.44
1313.72/1313.98 c linear : 53.89 0.00 53.50 0.00 0.39
1313.72/1313.98 c logicor : 479.08 0.00 477.89 0.00 1.19
1313.72/1313.98 c bounddisjunction : 0.33 0.00 0.33 0.00 0.00
1313.72/1313.98 c countsols : 0.12 0.00 0.00 0.00 0.12
1313.72/1313.98 c Propagators : Time Calls Cutoffs DomReds
1313.72/1313.98 c vbounds : 0.53 2 0 0
1313.72/1313.98 c rootredcost : 0.63 0 0 0
1313.72/1313.98 c pseudoobj : 13.32 5775596 9691 2329173
1313.72/1313.98 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1313.72/1313.98 c propagation : 22.36 735202 734860 3548501 20.9 162138 14.0 -
1313.72/1313.98 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1313.72/1313.98 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1313.72/1313.98 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1313.72/1313.98 c pseudo solution : 0.01 237 237 1136 28.0 52 13.9 -
1313.72/1313.98 c applied globally : - - - 1851282 16.0 - - -
1313.72/1313.98 c applied locally : - - - 26824 36.6 - - -
1313.72/1313.98 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1313.72/1313.98 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1313.72/1313.98 c redcost : 0.00 0 0 0 0 0
1313.72/1313.98 c impliedbounds : 0.00 0 0 0 0 0
1313.72/1313.98 c intobj : 0.00 0 0 0 0 0
1313.72/1313.98 c cgmip : 0.00 0 0 0 0 0
1313.72/1313.98 c gomory : 0.00 0 0 0 0 0
1313.72/1313.98 c strongcg : 0.00 0 0 0 0 0
1313.72/1313.99 c cmir : 0.00 0 0 0 0 0
1313.72/1313.99 c flowcover : 0.00 0 0 0 0 0
1313.72/1313.99 c clique : 0.00 0 0 0 0 0
1313.72/1313.99 c zerohalf : 0.00 0 0 0 0 0
1313.72/1313.99 c mcf : 0.00 0 0 0 0 0
1313.72/1313.99 c rapidlearning : 0.00 0 0 0 0 0
1313.72/1313.99 c Pricers : Time Calls Vars
1313.72/1313.99 c problem variables: 0.00 0 0
1313.72/1313.99 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1313.72/1313.99 c relpscost : 0.00 0 0 0 0 0 0
1313.72/1313.99 c pscost : 0.00 0 0 0 0 0 0
1313.72/1313.99 c inference : 13.87 1401715 0 0 0 0 2803430
1313.72/1313.99 c mostinf : 0.00 0 0 0 0 0 0
1313.72/1313.99 c leastinf : 0.00 0 0 0 0 0 0
1313.72/1313.99 c fullstrong : 0.00 0 0 0 0 0 0
1313.72/1313.99 c allfullstrong : 0.00 0 0 0 0 0 0
1313.72/1313.99 c random : 0.00 0 0 0 0 0 0
1313.72/1313.99 c Primal Heuristics : Time Calls Found
1313.72/1313.99 c LP solutions : 0.00 - 0
1313.72/1313.99 c pseudo solutions : 1.01 - 21
1313.72/1313.99 c oneopt : 0.31 0 0
1313.72/1313.99 c trivial : 0.00 2 0
1313.72/1313.99 c simplerounding : 0.00 0 0
1313.72/1313.99 c zirounding : 0.00 0 0
1313.72/1313.99 c rounding : 0.00 0 0
1313.72/1313.99 c shifting : 0.00 0 0
1313.72/1313.99 c intshifting : 0.00 0 0
1313.72/1313.99 c twoopt : 0.00 0 0
1313.72/1313.99 c fixandinfer : 0.00 0 0
1313.72/1313.99 c feaspump : 0.00 0 0
1313.72/1313.99 c coefdiving : 0.00 0 0
1313.72/1313.99 c pscostdiving : 0.00 0 0
1313.72/1313.99 c fracdiving : 0.00 0 0
1313.72/1313.99 c veclendiving : 0.00 0 0
1313.72/1313.99 c intdiving : 0.00 0 0
1313.72/1313.99 c actconsdiving : 0.00 0 0
1313.72/1313.99 c objpscostdiving : 0.00 0 0
1313.72/1313.99 c rootsoldiving : 0.00 0 0
1313.72/1313.99 c linesearchdiving : 0.00 0 0
1313.72/1313.99 c guideddiving : 0.00 0 0
1313.72/1313.99 c octane : 0.00 0 0
1313.72/1313.99 c rens : 0.00 0 0
1313.72/1313.99 c rins : 0.00 0 0
1313.72/1313.99 c localbranching : 0.00 0 0
1313.72/1313.99 c mutation : 0.00 0 0
1313.72/1313.99 c crossover : 0.00 0 0
1313.72/1313.99 c dins : 0.00 0 0
1313.72/1313.99 c undercover : 0.00 0 0
1313.72/1313.99 c nlp : 0.23 0 0
1313.72/1313.99 c trysol : 0.26 1 0
1313.72/1313.99 c LP : Time Calls Iterations Iter/call Iter/sec
1313.72/1313.99 c primal LP : 0.00 0 0 0.00 -
1313.72/1313.99 c dual LP : 0.00 0 0 0.00 -
1313.72/1313.99 c lex dual LP : 0.00 0 0 0.00 -
1313.72/1313.99 c barrier LP : 0.00 0 0 0.00 -
1313.72/1313.99 c diving/probing LP: 0.00 0 0 0.00 -
1313.72/1313.99 c strong branching : 0.00 0 0 0.00 -
1313.72/1313.99 c (at root node) : - 0 0 0.00 -
1313.72/1313.99 c conflict analysis: 0.00 0 0 0.00 -
1313.72/1313.99 c B&B Tree :
1313.72/1313.99 c number of runs : 1
1313.72/1313.99 c nodes : 1909199
1313.72/1313.99 c nodes (total) : 1909199
1313.72/1313.99 c nodes left : 0
1313.72/1313.99 c max depth : 183
1313.72/1313.99 c max depth (total): 183
1313.72/1313.99 c backtracks : 573971 (30.1%)
1313.72/1313.99 c delayed cutoffs : 469005
1313.72/1313.99 c repropagations : 2286744 (10319158 domain reductions, 239901 cutoffs)
1313.72/1313.99 c avg switch length: 24.23
1313.72/1313.99 c switching time : 379.90
1313.72/1313.99 c Solution :
1313.72/1313.99 c Solutions found : 21 (21 improvements)
1313.72/1313.99 c First Solution : +5.80000000000000e+02 (in run 1, after 67663 nodes, 21.00 seconds, depth 61, found by <relaxation>)
1313.72/1313.99 c Primal Bound : +8.00000000000000e+00 (in run 1, after 1579055 nodes, 668.20 seconds, depth 59, found by <relaxation>)
1313.72/1313.99 c Dual Bound : +8.00000000000000e+00
1313.72/1313.99 c Gap : 0.00 %
1313.72/1313.99 c Root Dual Bound : +0.00000000000000e+00
1313.72/1313.99 c Root Iterations : 0
1313.82/1314.08 c Time complete: 1313.9.