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-2694018-1277900078.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 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, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 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, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 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 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.03 c 0.9s| 10000 | 7358 | 0 | 0.0 |6839k| 160 | - | 305 |3841 | 0 | 0 | 0 |6579 | 0 | 0.000000e+00 | -- | Inf
2.79/2.81 c 2.6s| 20000 | 13136 | 0 | 0.0 | 12M| 160 | - | 305 |5679 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
5.39/5.42 c 5.1s| 30000 | 17729 | 0 | 0.0 | 18M| 160 | - | 305 |9997 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
8.79/8.89 c 8.5s| 40000 | 21478 | 0 | 0.0 | 23M| 160 | - | 305 | 13k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
13.39/13.49 c 13.0s| 50000 | 24123 | 0 | 0.0 | 29M| 160 | - | 305 | 18k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
17.99/18.06 c 17.5s| 60000 | 28085 | 0 | 0.0 | 29M| 160 | - | 305 |6638 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
19.80/19.87 c 19.2s| 70000 | 35320 | 0 | 0.0 | 32M| 160 | - | 305 |3636 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
22.59/22.60 c 21.8s| 80000 | 40050 | 0 | 0.0 | 37M| 160 | - | 305 |8831 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
28.18/28.20 c 27.3s| 90000 | 41327 | 0 | 0.0 | 43M| 160 | - | 305 | 14k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
34.99/35.08 c 34.1s|100000 | 42382 | 0 | 0.0 | 47M| 160 | - | 305 | 19k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
43.79/43.89 c 42.8s|110000 | 42450 | 0 | 0.0 | 52M| 160 | - | 305 | 25k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
54.09/54.17 c 53.0s|120000 | 42165 | 0 | 0.0 | 56M| 160 | - | 305 | 31k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
67.59/67.67 c 66.3s|130000 | 40488 | 0 | 0.0 | 59M| 160 | - | 305 | 40k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
73.99/74.02 c 72.6s|140000 | 46163 | 0 | 0.0 | 53M| 160 | - | 305 |7295 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
76.69/76.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.69/76.72 c 75.2s|150000 | 52429 | 0 | 0.0 | 57M| 160 | - | 305 |8983 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
79.79/79.82 c 78.2s|160000 | 58148 | 0 | 0.0 | 61M| 160 | - | 305 | 10k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
84.29/84.39 c 82.7s|170000 | 62170 | 0 | 0.0 | 67M| 160 | - | 305 | 14k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
89.09/89.12 c 87.3s|180000 | 66707 | 0 | 0.0 | 68M| 160 | - | 305 |8221 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
89.20/89.23 o 212
89.20/89.23 c *87.4s|181428 | 67838 | 0 | 0.0 | 67M| 160 | - | 305 |4583 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
89.79/89.81 c 88.0s|190000 | 76084 | 0 | 0.0 | 69M| 160 | - | 305 | 658 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
90.30/90.35 o 202
90.30/90.35 c *88.4s|198197 | 83823 | 0 | 0.0 | 72M| 160 | - | 305 |1020 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
90.39/90.49 c 88.6s|200000 | 85477 | 0 | 0.0 | 73M| 160 | - | 305 |1098 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
91.39/91.43 c 89.4s|210000 | 94293 | 0 | 0.0 | 77M| 160 | - | 305 |1980 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
91.39/91.46 o 179
91.39/91.46 c *89.5s|210320 | 94145 | 0 | 0.0 | 77M| 160 | - | 305 |2005 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
92.59/92.66 c 90.6s|220000 |102161 | 0 | 0.0 | 81M| 160 | - | 305 |3076 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
93.19/93.20 o 175
93.19/93.20 c *91.1s|223892 |105209 | 0 | 0.0 | 82M| 160 | - | 305 |3555 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
94.10/94.15 c 92.0s|230000 |110082 | 0 | 0.0 | 85M| 160 | - | 305 |4362 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
94.60/94.67 o 172
94.60/94.67 c *92.5s|232985 |112334 | 0 | 0.0 | 87M| 160 | - | 305 |4908 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
94.69/94.75 o 156
94.69/94.75 c *92.6s|233368 |111756 | 0 | 0.0 | 86M| 160 | - | 305 |5024 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
94.69/94.79 o 148
94.69/94.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.69/94.79 c *92.6s|233498 |111318 | 0 | 0.0 | 86M| 160 | - | 305 |5072 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.480000e+02 | Inf
94.79/94.82 o 147
94.79/94.82 c *92.6s|233649 |111418 | 0 | 0.0 | 86M| 160 | - | 305 |5102 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
94.79/94.84 o 138
94.79/94.84 c *92.7s|233739 |111168 | 0 | 0.0 | 86M| 160 | - | 305 |5116 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
94.79/94.86 o 133
94.79/94.86 c *92.7s|233801 |110805 | 0 | 0.0 | 86M| 160 | - | 305 |5124 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
94.79/94.86 o 116
94.79/94.86 c *92.7s|233803 |108017 | 0 | 0.0 | 85M| 160 | - | 305 |5124 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
94.89/94.94 o 111
94.89/94.94 c *92.8s|234096 |107015 | 0 | 0.0 | 85M| 160 | - | 305 |5199 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
94.89/94.95 o 109
94.89/94.95 c *92.8s|234138 |107024 | 0 | 0.0 | 85M| 160 | - | 305 |5225 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
94.89/94.99 o 92
94.89/94.99 c *92.8s|234293 |103467 | 0 | 0.0 | 83M| 160 | - | 305 |5273 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
94.99/95.01 o 90
94.99/95.01 c *92.8s|234337 |101442 | 0 | 0.0 | 83M| 160 | - | 305 |5293 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
94.99/95.05 o 79
94.99/95.05 c *92.8s|234475 | 98204 | 0 | 0.0 | 81M| 160 | - | 305 |5337 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
94.99/95.09 o 73
94.99/95.09 c *92.9s|234599 | 92703 | 0 | 0.0 | 79M| 160 | - | 305 |5403 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
98.80/98.89 c 96.6s|240000 | 91068 | 0 | 0.0 | 81M| 160 | - | 305 | 11k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
110.39/110.45 c 108s|250000 | 87181 | 0 | 0.0 | 82M| 160 | - | 305 | 21k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
125.50/125.59 c 123s|260000 | 82462 | 0 | 0.0 | 80M| 160 | - | 305 | 31k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
140.49/140.50 c 138s|270000 | 81482 | 0 | 0.0 | 70M| 160 | - | 305 | 11k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
144.89/144.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.89/144.97 c 142s|280000 | 85520 | 0 | 0.0 | 73M| 160 | - | 305 |9530 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
149.79/149.82 c 147s|290000 | 89100 | 0 | 0.0 | 77M| 160 | - | 305 | 10k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
155.29/155.35 c 152s|300000 | 92383 | 0 | 0.0 | 82M| 160 | - | 305 | 13k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
161.39/161.48 c 158s|310000 | 95174 | 0 | 0.0 | 86M| 160 | - | 305 | 14k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
168.10/168.14 c 165s|320000 | 97541 | 0 | 0.0 | 90M| 160 | - | 305 | 16k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
175.69/175.79 c 172s|330000 | 99044 | 0 | 0.0 | 94M| 160 | - | 305 | 18k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
184.59/184.64 c 181s|340000 | 99983 | 0 | 0.0 | 97M| 160 | - | 305 | 20k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
195.29/195.30 c 192s|350000 | 99757 | 0 | 0.0 | 100M| 160 | - | 305 | 24k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
200.20/200.25 c 197s|360000 |105513 | 0 | 0.0 | 96M| 160 | - | 305 |1464 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
201.59/201.67 c 198s|370000 |113170 | 0 | 0.0 | 101M| 160 | - | 305 |1919 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
203.00/203.05 c 199s|380000 |120969 | 0 | 0.0 | 105M| 160 | - | 305 |2407 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
204.60/204.67 c 201s|390000 |128474 | 0 | 0.0 | 109M| 160 | - | 305 |2462 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
206.29/206.36 c 202s|400000 |135825 | 0 | 0.0 | 114M| 160 | - | 305 |2791 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
208.00/208.09 c 204s|410000 |142980 | 0 | 0.0 | 119M| 160 | - | 305 |3220 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
209.69/209.78 c 206s|420000 |150042 | 0 | 0.0 | 123M| 160 | - | 305 |2911 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
211.50/211.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.50/211.59 c 207s|430000 |157074 | 0 | 0.0 | 127M| 160 | - | 305 |2986 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
213.29/213.39 c 209s|440000 |164152 | 0 | 0.0 | 132M| 160 | - | 305 |3350 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
215.10/215.14 c 211s|450000 |171100 | 0 | 0.0 | 136M| 160 | - | 305 |3543 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
217.09/217.10 c 212s|460000 |177775 | 0 | 0.0 | 141M| 160 | - | 305 |3905 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
219.19/219.21 c 214s|470000 |184288 | 0 | 0.0 | 145M| 160 | - | 305 |4167 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
221.60/221.61 c 217s|480000 |190074 | 0 | 0.0 | 150M| 160 | - | 305 |4611 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
223.99/224.08 c 219s|490000 |195776 | 0 | 0.0 | 155M| 160 | - | 305 |5198 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
226.80/226.88 c 222s|500000 |201012 | 0 | 0.0 | 159M| 160 | - | 305 |6091 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
229.79/229.89 c 225s|510000 |205828 | 0 | 0.0 | 164M| 160 | - | 305 |6477 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
233.39/233.40 c 228s|520000 |210058 | 0 | 0.0 | 168M| 160 | - | 305 |6835 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
236.99/237.09 c 232s|530000 |213702 | 0 | 0.0 | 171M| 160 | - | 305 |6976 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
241.39/241.47 c 236s|540000 |215990 | 0 | 0.0 | 174M| 160 | - | 305 |6738 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
245.59/245.66 c 240s|550000 |216858 | 0 | 0.0 | 171M| 160 | - | 305 |5507 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
250.90/250.97 c 245s|560000 |217338 | 0 | 0.0 | 174M| 160 | - | 305 |8635 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
256.99/257.01 c 251s|570000 |217580 | 0 | 0.0 | 177M| 160 | - | 305 | 11k| 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
263.80/263.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.80/263.82 c 258s|580000 |217807 | 0 | 0.0 | 179M| 160 | - | 305 | 13k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
271.49/271.54 c 265s|590000 |217536 | 0 | 0.0 | 182M| 160 | - | 305 | 16k| 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
280.89/280.92 c 275s|600000 |216297 | 0 | 0.0 | 184M| 160 | - | 305 | 18k| 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
292.79/292.80 c 286s|610000 |214184 | 0 | 0.0 | 184M| 160 | - | 305 | 22k| 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
305.59/305.67 c 299s|620000 |212746 | 0 | 0.0 | 181M| 160 | - | 305 | 13k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
308.60/308.60 c 302s|630000 |219459 | 0 | 0.0 | 183M| 160 | - | 305 |5263 | 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
310.99/311.01 c 304s|640000 |226092 | 0 | 0.0 | 187M| 160 | - | 305 |4898 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
313.30/313.37 c 306s|650000 |232327 | 0 | 0.0 | 192M| 160 | - | 305 |5267 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
315.80/315.87 c 309s|660000 |238461 | 0 | 0.0 | 197M| 160 | - | 305 |5186 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
318.29/318.36 c 311s|670000 |244756 | 0 | 0.0 | 202M| 160 | - | 305 |5250 | 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
320.69/320.79 c 314s|680000 |250876 | 0 | 0.0 | 207M| 160 | - | 305 |5604 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
323.40/323.42 c 316s|690000 |256945 | 0 | 0.0 | 211M| 160 | - | 305 |5745 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
326.00/326.03 c 319s|700000 |262991 | 0 | 0.0 | 216M| 160 | - | 305 |5664 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
328.49/328.51 c 321s|710000 |268999 | 0 | 0.0 | 221M| 160 | - | 305 |6424 | 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
331.39/331.48 c 324s|720000 |274685 | 0 | 0.0 | 225M| 160 | - | 305 |6391 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
334.09/334.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.09/334.13 c 326s|730000 |280374 | 0 | 0.0 | 230M| 160 | - | 305 |6720 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
336.80/336.84 c 329s|740000 |285892 | 0 | 0.0 | 235M| 160 | - | 305 |7575 | 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
339.60/339.63 c 332s|750000 |291505 | 0 | 0.0 | 240M| 160 | - | 305 |7376 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
342.60/342.66 c 335s|760000 |296726 | 0 | 0.0 | 244M| 160 | - | 305 |7900 | 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
345.50/345.57 c 337s|770000 |302125 | 0 | 0.0 | 249M| 160 | - | 305 |8425 | 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
348.60/348.61 c 340s|780000 |307472 | 0 | 0.0 | 254M| 160 | - | 305 |8326 | 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
351.49/351.59 c 343s|790000 |312840 | 0 | 0.0 | 259M| 160 | - | 305 |9004 | 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
354.49/354.56 c 346s|800000 |318314 | 0 | 0.0 | 263M| 160 | - | 305 |9020 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
357.69/357.79 c 349s|810000 |323486 | 0 | 0.0 | 268M| 160 | - | 305 |9654 | 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
360.70/360.80 c 352s|820000 |328937 | 0 | 0.0 | 273M| 160 | - | 305 |9631 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
364.20/364.27 c 355s|830000 |333814 | 0 | 0.0 | 277M| 160 | - | 305 |9882 | 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
367.30/367.37 c 358s|840000 |339210 | 0 | 0.0 | 282M| 160 | - | 305 | 10k| 0 | 0 | 0 | 851k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
370.99/371.00 c 362s|850000 |343905 | 0 | 0.0 | 287M| 160 | - | 305 | 10k| 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
374.59/374.62 c 365s|860000 |348683 | 0 | 0.0 | 292M| 160 | - | 305 | 11k| 0 | 0 | 0 | 867k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
378.19/378.25 c 369s|870000 |353536 | 0 | 0.0 | 296M| 160 | - | 305 | 11k| 0 | 0 | 0 | 875k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
382.10/382.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.10/382.19 c 373s|880000 |357956 | 0 | 0.0 | 301M| 160 | - | 305 | 12k| 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
385.79/385.89 c 376s|890000 |362859 | 0 | 0.0 | 305M| 160 | - | 305 | 12k| 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
389.89/389.98 c 380s|900000 |367278 | 0 | 0.0 | 310M| 160 | - | 305 | 12k| 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
393.99/394.03 c 384s|910000 |371661 | 0 | 0.0 | 314M| 160 | - | 305 | 12k| 0 | 0 | 0 | 908k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
397.99/398.02 c 388s|920000 |376282 | 0 | 0.0 | 319M| 160 | - | 305 | 13k| 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
402.49/402.56 c 393s|930000 |380266 | 0 | 0.0 | 323M| 160 | - | 305 | 13k| 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
407.01/407.07 c 397s|940000 |384361 | 0 | 0.0 | 327M| 160 | - | 305 | 13k| 0 | 0 | 0 | 934k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
411.79/411.80 c 402s|950000 |388123 | 0 | 0.0 | 332M| 160 | - | 305 | 14k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
416.40/416.44 c 406s|960000 |392126 | 0 | 0.0 | 336M| 160 | - | 305 | 15k| 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
421.49/421.54 c 411s|970000 |395648 | 0 | 0.0 | 341M| 160 | - | 305 | 15k| 0 | 0 | 0 | 962k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
426.80/426.83 c 416s|980000 |398942 | 0 | 0.0 | 345M| 160 | - | 305 | 16k| 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
432.40/432.42 c 422s|990000 |402134 | 0 | 0.0 | 349M| 160 | - | 305 | 16k| 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
438.00/438.06 c 427s| 1000k|405407 | 0 | 0.0 | 353M| 160 | - | 305 | 17k| 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
444.20/444.26 c 433s| 1010k|408218 | 0 | 0.0 | 358M| 160 | - | 305 | 18k| 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
451.00/451.04 c 440s| 1020k|410676 | 0 | 0.0 | 362M| 160 | - | 305 | 19k| 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
458.09/458.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.09/458.13 c 447s| 1030k|412941 | 0 | 0.0 | 366M| 160 | - | 305 | 20k| 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
465.90/465.96 c 455s| 1040k|414591 | 0 | 0.0 | 371M| 160 | - | 305 | 21k| 0 | 0 | 0 |1038k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
474.30/474.30 c 463s| 1050k|415943 | 0 | 0.0 | 375M| 160 | - | 305 | 23k| 0 | 0 | 0 |1050k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
482.30/482.40 c 471s| 1060k|418271 | 0 | 0.0 | 378M| 160 | - | 305 | 17k| 0 | 0 | 0 |1060k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
486.59/486.68 c 475s| 1070k|423275 | 0 | 0.0 | 381M| 160 | - | 305 | 13k| 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
489.00/489.07 c 477s| 1080k|429501 | 0 | 0.0 | 382M| 160 | - | 305 |4809 | 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
491.20/491.21 c 479s| 1090k|435409 | 0 | 0.0 | 386M| 160 | - | 305 |5985 | 0 | 0 | 0 |1080k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
495.80/495.84 c 484s| 1100k|435937 | 0 | 0.0 | 387M| 160 | - | 305 | 11k| 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
508.70/508.78 c 496s| 1110k|430743 | 0 | 0.0 | 383M| 160 | - | 305 | 15k| 0 | 0 | 0 |1119k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
513.71/513.74 c 501s| 1120k|435229 | 0 | 0.0 | 385M| 160 | - | 305 |8736 | 0 | 0 | 0 |1129k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
518.40/518.43 c 506s| 1130k|439215 | 0 | 0.0 | 390M| 160 | - | 305 | 10k| 0 | 0 | 0 |1138k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
523.00/523.03 c 510s| 1140k|443549 | 0 | 0.0 | 394M| 160 | - | 305 | 10k| 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
527.10/527.18 c 514s| 1150k|448529 | 0 | 0.0 | 398M| 160 | - | 305 | 11k| 0 | 0 | 0 |1156k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
531.30/531.37 c 518s| 1160k|453463 | 0 | 0.0 | 402M| 160 | - | 305 | 11k| 0 | 0 | 0 |1163k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
535.60/535.61 c 523s| 1170k|458325 | 0 | 0.0 | 407M| 160 | - | 305 | 11k| 0 | 0 | 0 |1171k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
539.49/539.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.49/539.55 c 526s| 1180k|463563 | 0 | 0.0 | 411M| 160 | - | 305 | 11k| 0 | 0 | 0 |1179k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
543.90/543.97 c 531s| 1190k|468098 | 0 | 0.0 | 414M| 160 | - | 305 | 11k| 0 | 0 | 0 |1187k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
548.60/548.61 c 535s| 1200k|472300 | 0 | 0.0 | 418M| 160 | - | 305 | 12k| 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
553.20/553.23 c 540s| 1210k|476644 | 0 | 0.0 | 422M| 160 | - | 305 | 11k| 0 | 0 | 0 |1204k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
557.90/557.98 c 544s| 1220k|480697 | 0 | 0.0 | 425M| 160 | - | 305 | 12k| 0 | 0 | 0 |1214k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
562.50/562.53 c 549s| 1230k|485009 | 0 | 0.0 | 429M| 160 | - | 305 | 12k| 0 | 0 | 0 |1222k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
567.30/567.34 c 554s| 1240k|489060 | 0 | 0.0 | 433M| 160 | - | 305 | 12k| 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
572.10/572.14 c 558s| 1250k|493119 | 0 | 0.0 | 437M| 160 | - | 305 | 12k| 0 | 0 | 0 |1241k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
577.10/577.18 c 563s| 1260k|496930 | 0 | 0.0 | 441M| 160 | - | 305 | 13k| 0 | 0 | 0 |1250k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
582.20/582.22 c 568s| 1270k|500725 | 0 | 0.0 | 445M| 160 | - | 305 | 12k| 0 | 0 | 0 |1259k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
587.20/587.22 c 573s| 1280k|504568 | 0 | 0.0 | 449M| 160 | - | 305 | 13k| 0 | 0 | 0 |1269k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
592.70/592.74 c 578s| 1290k|507990 | 0 | 0.0 | 452M| 160 | - | 305 | 13k| 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
597.40/597.49 c 583s| 1300k|512119 | 0 | 0.0 | 456M| 160 | - | 305 | 14k| 0 | 0 | 0 |1287k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
603.30/603.30 c 589s| 1310k|515121 | 0 | 0.0 | 460M| 160 | - | 305 | 13k| 0 | 0 | 0 |1297k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
608.50/608.56 c 594s| 1320k|518621 | 0 | 0.0 | 464M| 160 | - | 305 | 14k| 0 | 0 | 0 |1307k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
614.40/614.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.40/614.46 c 600s| 1330k|521710 | 0 | 0.0 | 469M| 160 | - | 305 | 14k| 0 | 0 | 0 |1317k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
620.10/620.19 c 605s| 1340k|524831 | 0 | 0.0 | 473M| 160 | - | 305 | 15k| 0 | 0 | 0 |1328k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
625.70/625.77 c 611s| 1350k|528549 | 0 | 0.0 | 477M| 160 | - | 305 | 16k| 0 | 0 | 0 |1337k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
632.30/632.33 c 617s| 1360k|531153 | 0 | 0.0 | 481M| 160 | - | 305 | 15k| 0 | 0 | 0 |1348k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
637.60/637.62 c 623s| 1370k|535099 | 0 | 0.0 | 486M| 160 | - | 305 | 17k| 0 | 0 | 0 |1357k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
644.50/644.55 c 629s| 1380k|537616 | 0 | 0.0 | 489M| 160 | - | 305 | 16k| 0 | 0 | 0 |1368k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
650.50/650.54 c 635s| 1390k|540769 | 0 | 0.0 | 494M| 160 | - | 305 | 16k| 0 | 0 | 0 |1378k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
656.90/656.94 c 641s| 1400k|543908 | 0 | 0.0 | 498M| 160 | - | 305 | 17k| 0 | 0 | 0 |1389k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
663.70/663.78 c 648s| 1410k|546581 | 0 | 0.0 | 502M| 160 | - | 305 | 17k| 0 | 0 | 0 |1399k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
669.60/669.66 c 654s| 1420k|550194 | 0 | 0.0 | 507M| 160 | - | 305 | 19k| 0 | 0 | 0 |1409k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
677.50/677.52 c 662s| 1430k|552188 | 0 | 0.0 | 510M| 160 | - | 305 | 18k| 0 | 0 | 0 |1420k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
684.01/684.02 c 668s| 1440k|555226 | 0 | 0.0 | 514M| 160 | - | 305 | 19k| 0 | 0 | 0 |1431k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
691.70/691.72 c 676s| 1450k|557553 | 0 | 0.0 | 518M| 160 | - | 305 | 18k| 0 | 0 | 0 |1441k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
699.10/699.16 c 683s| 1460k|559903 | 0 | 0.0 | 521M| 160 | - | 305 | 19k| 0 | 0 | 0 |1452k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
706.20/706.28 c 690s| 1470k|562848 | 0 | 0.0 | 525M| 160 | - | 305 | 20k| 0 | 0 | 0 |1463k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
714.80/714.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.80/714.81 c 698s| 1480k|564511 | 0 | 0.0 | 529M| 160 | - | 305 | 20k| 0 | 0 | 0 |1475k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
722.11/722.15 c 706s| 1490k|567337 | 0 | 0.0 | 533M| 160 | - | 305 | 21k| 0 | 0 | 0 |1485k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
731.61/731.66 c 715s| 1500k|568511 | 0 | 0.0 | 536M| 160 | - | 305 | 20k| 0 | 0 | 0 |1497k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
738.60/738.67 c 722s| 1510k|571676 | 0 | 0.0 | 541M| 160 | - | 305 | 22k| 0 | 0 | 0 |1507k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
748.61/748.67 c 732s| 1520k|572679 | 0 | 0.0 | 543M| 160 | - | 305 | 21k| 0 | 0 | 0 |1520k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
756.31/756.37 c 739s| 1530k|575374 | 0 | 0.0 | 548M| 160 | - | 305 | 24k| 0 | 0 | 0 |1530k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
761.70/761.79 o 58
761.70/761.79 c * 745s| 1534k|556844 | 0 | 0.0 | 527M| 160 | - | 305 | 23k| 0 | 0 | 0 |1537k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
768.01/768.04 c 751s| 1540k|556550 | 0 | 0.0 | 530M| 160 | - | 305 | 23k| 0 | 0 | 0 |1545k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
781.40/781.47 c 764s| 1550k|555693 | 0 | 0.0 | 534M| 160 | - | 305 | 22k| 0 | 0 | 0 |1561k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
793.40/793.40 c 776s| 1560k|555447 | 0 | 0.0 | 538M| 160 | - | 305 | 24k| 0 | 0 | 0 |1576k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
806.51/806.54 c 789s| 1570k|554329 | 0 | 0.0 | 542M| 160 | - | 305 | 25k| 0 | 0 | 0 |1592k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
820.61/820.66 c 803s| 1580k|552872 | 0 | 0.0 | 544M| 160 | - | 305 | 26k| 0 | 0 | 0 |1609k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
835.21/835.27 c 817s| 1590k|551182 | 0 | 0.0 | 547M| 160 | - | 305 | 27k| 0 | 0 | 0 |1626k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
850.61/850.65 c 833s| 1600k|549384 | 0 | 0.0 | 550M| 160 | - | 305 | 28k| 0 | 0 | 0 |1643k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
866.30/866.35 c 848s| 1610k|547348 | 0 | 0.0 | 554M| 160 | - | 305 | 30k| 0 | 0 | 0 |1661k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
883.71/883.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.71/883.72 c 865s| 1620k|544812 | 0 | 0.0 | 556M| 160 | - | 305 | 30k| 0 | 0 | 0 |1679k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
901.10/901.18 c 883s| 1630k|542319 | 0 | 0.0 | 559M| 160 | - | 305 | 32k| 0 | 0 | 0 |1697k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
920.30/920.31 c 902s| 1640k|539505 | 0 | 0.0 | 562M| 160 | - | 305 | 34k| 0 | 0 | 0 |1716k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
940.51/940.54 c 922s| 1650k|536113 | 0 | 0.0 | 565M| 160 | - | 305 | 36k| 0 | 0 | 0 |1735k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
963.21/963.27 c 944s| 1660k|530501 | 0 | 0.0 | 567M| 160 | - | 305 | 38k| 0 | 0 | 0 |1754k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
973.91/973.94 c 955s| 1670k|534333 | 0 | 0.0 | 568M| 160 | - | 305 | 24k| 0 | 0 | 0 |1764k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
983.71/983.74 c 964s| 1680k|535330 | 0 | 0.0 | 572M| 160 | - | 305 | 25k| 0 | 0 | 0 |1777k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
990.91/990.92 c 971s| 1690k|539519 | 0 | 0.0 | 574M| 160 | - | 305 | 14k| 0 | 0 | 0 |1786k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
996.21/996.28 c 977s| 1700k|543631 | 0 | 0.0 | 578M| 160 | - | 305 | 15k| 0 | 0 | 0 |1795k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1001.51/1001.52 c 982s| 1710k|547854 | 0 | 0.0 | 581M| 160 | - | 305 | 12k| 0 | 0 | 0 |1804k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1005.91/1005.94 c 986s| 1720k|552205 | 0 | 0.0 | 583M| 160 | - | 305 |9393 | 0 | 0 | 0 |1813k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1010.01/1010.02 c 990s| 1730k|556112 | 0 | 0.0 | 586M| 160 | - | 305 |8735 | 0 | 0 | 0 |1824k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1013.91/1013.91 c 994s| 1740k|560125 | 0 | 0.0 | 589M| 160 | - | 305 |8397 | 0 | 0 | 0 |1834k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1017.81/1017.87 c 998s| 1750k|564173 | 0 | 0.0 | 593M| 160 | - | 305 |8595 | 0 | 0 | 0 |1845k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1021.71/1021.75 c 1001s| 1760k|568479 | 0 | 0.0 | 597M| 160 | - | 305 |8851 | 0 | 0 | 0 |1854k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1026.11/1026.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.11/1026.11 c 1006s| 1770k|572206 | 0 | 0.0 | 602M| 160 | - | 305 | 10k| 0 | 0 | 0 |1864k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1031.01/1031.05 c 1010s| 1780k|574940 | 0 | 0.0 | 607M| 160 | - | 305 | 14k| 0 | 0 | 0 |1876k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1034.41/1034.44 c 1014s| 1790k|580764 | 0 | 0.0 | 609M| 160 | - | 305 |7262 | 0 | 0 | 0 |1883k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1039.62/1039.60 c 1019s| 1800k|582053 | 0 | 0.0 | 613M| 160 | - | 305 |7459 | 0 | 0 | 0 |1897k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1047.01/1047.03 c 1026s| 1810k|582244 | 0 | 0.0 | 618M| 160 | - | 305 | 11k| 0 | 0 | 0 |1913k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1055.61/1055.64 c 1035s| 1820k|582344 | 0 | 0.0 | 623M| 160 | - | 305 | 13k| 0 | 0 | 0 |1929k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1064.82/1064.83 c 1044s| 1830k|582580 | 0 | 0.0 | 627M| 160 | - | 305 | 14k| 0 | 0 | 0 |1944k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1074.72/1074.77 c 1053s| 1840k|582255 | 0 | 0.0 | 631M| 160 | - | 305 | 15k| 0 | 0 | 0 |1960k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1085.41/1085.44 c 1064s| 1850k|581513 | 0 | 0.0 | 635M| 160 | - | 305 | 16k| 0 | 0 | 0 |1976k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1096.72/1096.74 c 1075s| 1860k|580526 | 0 | 0.0 | 638M| 160 | - | 305 | 17k| 0 | 0 | 0 |1993k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1108.52/1108.58 c 1087s| 1870k|579413 | 0 | 0.0 | 642M| 160 | - | 305 | 17k| 0 | 0 | 0 |2010k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1121.21/1121.20 c 1099s| 1880k|578178 | 0 | 0.0 | 645M| 160 | - | 305 | 18k| 0 | 0 | 0 |2027k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1134.61/1134.68 c 1113s| 1890k|576535 | 0 | 0.0 | 649M| 160 | - | 305 | 19k| 0 | 0 | 0 |2044k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1147.72/1147.79 c 1126s| 1900k|575314 | 0 | 0.0 | 652M| 160 | - | 305 | 20k| 0 | 0 | 0 |2061k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1162.12/1162.11 c 1140s| 1910k|573414 | 0 | 0.0 | 654M| 160 | - | 305 | 21k| 0 | 0 | 0 |2078k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1176.72/1176.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.72/1176.79 c 1154s| 1920k|571569 | 0 | 0.0 | 656M| 160 | - | 305 | 22k| 0 | 0 | 0 |2096k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1184.22/1184.28 o 34
1184.22/1184.28 c *1162s| 1924k|416255 | 0 | 0.0 | 439M| 160 | - | 305 | 23k| 0 | 0 | 0 |2104k| 0 | 2.000000e+00 | 3.400000e+01 |1600.00%
1192.12/1192.14 c 1169s| 1930k|410032 | 0 | 0.0 | 436M| 160 | - | 305 |4889 | 0 | 0 | 0 |2114k| 0 | 2.000000e+00 | 3.400000e+01 |1600.00%
1200.52/1200.51 o 27
1200.52/1200.51 c *1177s| 1938k|336210 | 0 | 0.0 | 362M| 160 | - | 305 |8103 | 0 | 0 | 0 |2126k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1204.01/1204.06 c 1181s| 1940k|332288 | 0 | 0.0 | 362M| 160 | - | 305 |9564 | 0 | 0 | 0 |2131k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1223.92/1223.93 c 1200s| 1950k|310224 | 0 | 0.0 | 353M| 160 | - | 305 | 13k| 0 | 0 | 0 |2151k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1249.82/1249.84 c 1226s| 1960k|284542 | 0 | 0.0 | 336M| 160 | - | 305 | 18k| 0 | 0 | 0 |2173k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1272.02/1272.02 o 17
1272.02/1272.02 c *1248s| 1967k|244334 | 0 | 0.0 | 295M| 160 | - | 305 | 20k| 0 | 0 | 0 |2190k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1279.02/1279.05 c 1255s| 1970k|237440 | 0 | 0.0 | 284M| 160 | - | 305 | 19k| 0 | 0 | 0 |2196k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1297.41/1297.44 c 1273s| 1980k|224221 | 0 | 0.0 | 275M| 160 | - | 305 | 11k| 0 | 0 | 0 |2216k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1311.01/1311.07 c 1287s| 1990k|216811 | 0 | 0.0 | 270M| 160 | - | 305 | 11k| 0 | 0 | 0 |2232k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1318.12/1318.19 c 1293s| 2000k|212803 | 0 | 0.0 | 264M| 160 | - | 305 |6183 | 0 | 0 | 0 |2245k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1323.82/1323.86 c 1299s| 2010k|210822 | 0 | 0.0 | 262M| 160 | - | 305 |6570 | 0 | 0 | 0 |2257k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1329.22/1329.29 c 1304s| 2020k|209748 | 0 | 0.0 | 260M| 160 | - | 305 |6564 | 0 | 0 | 0 |2270k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1334.92/1334.91 c 1310s| 2030k|208868 | 0 | 0.0 | 260M| 160 | - | 305 |7518 | 0 | 0 | 0 |2282k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1341.32/1341.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.32/1341.33 c 1316s| 2040k|207061 | 0 | 0.0 | 259M| 160 | - | 305 |8259 | 0 | 0 | 0 |2296k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1347.92/1347.92 c 1322s| 2050k|205341 | 0 | 0.0 | 259M| 160 | - | 305 |9102 | 0 | 0 | 0 |2309k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1355.52/1355.52 c 1330s| 2060k|202904 | 0 | 0.0 | 259M| 160 | - | 305 | 11k| 0 | 0 | 0 |2323k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1364.72/1364.78 c 1339s| 2070k|199774 | 0 | 0.0 | 255M| 160 | - | 305 |7336 | 0 | 0 | 0 |2337k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1367.22/1367.27 c 1341s| 2080k|204567 | 0 | 0.0 | 258M| 160 | - | 305 |4925 | 0 | 0 | 0 |2343k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1371.42/1371.47 c 1345s| 2090k|205881 | 0 | 0.0 | 261M| 160 | - | 305 |8327 | 0 | 0 | 0 |2353k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1377.12/1377.20 c 1351s| 2100k|204002 | 0 | 0.0 | 258M| 160 | - | 305 |3283 | 0 | 0 | 0 |2363k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1381.52/1381.58 c 1355s| 2110k|203525 | 0 | 0.0 | 257M| 160 | - | 305 |4709 | 0 | 0 | 0 |2375k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1398.52/1398.59 c 1372s| 2120k|175814 | 0 | 0.0 | 225M| 160 | - | 305 | 18k| 0 | 0 | 0 |2401k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1417.12/1417.16 c 1390s| 2130k|166106 | 0 | 0.0 | 208M| 160 | - | 305 | 20k| 0 | 0 | 0 |2421k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1431.42/1431.46 c 1405s| 2140k|163723 | 0 | 0.0 | 204M| 160 | - | 305 | 18k| 0 | 0 | 0 |2437k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1447.42/1447.44 c 1420s| 2150k|159899 | 0 | 0.0 | 202M| 160 | - | 305 | 20k| 0 | 0 | 0 |2455k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1465.03/1465.02 c 1438s| 2160k|155327 | 0 | 0.0 | 200M| 160 | - | 305 | 22k| 0 | 0 | 0 |2473k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1484.72/1484.74 c 1457s| 2170k|149196 | 0 | 0.0 | 196M| 160 | - | 305 | 24k| 0 | 0 | 0 |2493k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1504.22/1504.29 c 1477s| 2180k|143478 | 0 | 0.0 | 192M| 160 | - | 305 | 30k| 0 | 0 | 0 |2511k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1515.02/1515.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.02/1515.08 c 1487s| 2190k|146624 | 0 | 0.0 | 191M| 160 | - | 305 | 20k| 0 | 0 | 0 |2521k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1523.63/1523.66 c 1496s| 2200k|149477 | 0 | 0.0 | 193M| 160 | - | 305 | 19k| 0 | 0 | 0 |2530k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1533.32/1533.32 c 1505s| 2210k|151073 | 0 | 0.0 | 197M| 160 | - | 305 | 21k| 0 | 0 | 0 |2541k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1546.33/1546.37 c 1518s| 2220k|150307 | 0 | 0.0 | 199M| 160 | - | 305 | 26k| 0 | 0 | 0 |2555k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1562.22/1562.23 c 1534s| 2230k|147600 | 0 | 0.0 | 199M| 160 | - | 305 | 30k| 0 | 0 | 0 |2569k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1570.32/1570.36 c 1542s| 2240k|153034 | 0 | 0.0 | 199M| 160 | - | 305 | 16k| 0 | 0 | 0 |2576k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1577.72/1577.70 c 1549s| 2250k|155321 | 0 | 0.0 | 201M| 160 | - | 305 | 13k| 0 | 0 | 0 |2586k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1585.62/1585.62 c 1557s| 2260k|154373 | 0 | 0.0 | 198M| 160 | - | 305 |8780 | 0 | 0 | 0 |2599k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1590.83/1590.81 c 1562s| 2270k|154625 | 0 | 0.0 | 197M| 160 | - | 305 |4006 | 0 | 0 | 0 |2610k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1597.23/1597.22 c 1568s| 2280k|151694 | 0 | 0.0 | 199M| 160 | - | 305 |6593 | 0 | 0 | 0 |2622k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1610.03/1610.07 c 1581s| 2290k|138206 | 0 | 0.0 | 194M| 160 | - | 305 | 10k| 0 | 0 | 0 |2642k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1631.63/1631.67 c 1602s| 2300k|108579 | 0 | 0.0 | 167M| 160 | - | 305 | 14k| 0 | 0 | 0 |2666k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1648.72/1648.75 c 1619s| 2310k| 99407 | 0 | 0.0 | 150M| 160 | - | 305 | 20k| 0 | 0 | 0 |2687k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1661.93/1661.95 c 1632s| 2320k| 98486 | 0 | 0.0 | 150M| 160 | - | 305 | 21k| 0 | 0 | 0 |2702k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1677.33/1677.36 c 1647s| 2330k| 96732 | 0 | 0.0 | 153M| 160 | - | 305 | 27k| 0 | 0 | 0 |2718k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1698.43/1698.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.43/1698.44 c 1668s| 2340k| 92824 | 0 | 0.0 | 153M| 160 | - | 305 | 34k| 0 | 0 | 0 |2735k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1720.83/1720.80 c 1691s| 2350k| 90689 | 0 | 0.0 | 150M| 160 | - | 305 | 34k| 0 | 0 | 0 |2750k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1733.53/1733.60 c 1703s| 2360k| 93914 | 0 | 0.0 | 150M| 160 | - | 305 | 24k| 0 | 0 | 0 |2763k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1746.13/1746.12 c 1716s| 2370k| 94823 | 0 | 0.0 | 152M| 160 | - | 305 | 22k| 0 | 0 | 0 |2776k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1760.63/1760.69 c 1730s| 2380k| 93515 | 0 | 0.0 | 154M| 160 | - | 305 | 25k| 0 | 0 | 0 |2791k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1778.03/1778.00 c 1747s| 2390k| 89537 | 0 | 0.0 | 149M| 160 | - | 305 | 14k| 0 | 0 | 0 |2808k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1781.82/1781.86 c 1751s| 2400k| 94863 | 0 | 0.0 | 147M| 160 | - | 305 |3620 | 0 | 0 | 0 |2814k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1785.03/1785.00 c 1754s| 2410k| 98932 | 0 | 0.0 | 151M| 160 | - | 305 |5607 | 0 | 0 | 0 |2822k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1790.43/1790.40 c 1759s| 2420k| 99321 | 0 | 0.0 | 152M| 160 | - | 305 |7817 | 0 | 0 | 0 |2834k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1799.43/1799.47 c 1768s| 2430k| 93189 | 0 | 0.0 | 145M| 160 | - | 305 | 11k| 0 | 0 | 0 |2849k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1768.72
1800.04/1800.00 c Solving Nodes : 2430767
1800.04/1800.00 c Primal Bound : +1.70000000000000e+01 (21 solutions)
1800.04/1800.00 c Dual Bound : +5.00000000000000e+00
1800.04/1800.00 c Gap : 240.00 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148
1800.04/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127
1800.04/1800.00 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 v -x4 -x3 -x2 x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1768.72
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2694018-1277900078.wbo
1800.04/1800.00 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.04/1800.00 c Constraints : 171 initial, 171 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2694018-1277900078.wbo
1800.04/1800.00 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.04/1800.00 c Constraints : 166 initial, 40788 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 68 0 4 1 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 46 - - 92 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 68 0 7003813 0 1611815 14403 3337950 0 0 0
1800.04/1800.00 c setppc : 20 0 7487921 0 1708014 40788 5608945 0 0 0
1800.04/1800.00 c linear : 68 0 7447207 0 1708028 781910 35518617 0 0 0
1800.04/1800.00 c logicor : 10+ 0 3430108 0 1707472 195955 1857211 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 380388 0 0 3 19037 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1708046 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 7.18 0.00 5.19 0.00 1.99
1800.04/1800.00 c setppc : 17.57 0.00 13.23 0.00 4.34
1800.04/1800.00 c linear : 170.73 0.00 169.99 0.00 0.74
1800.04/1800.00 c logicor : 715.84 0.00 714.29 0.00 1.55
1800.04/1800.00 c bounddisjunction : 4.56 0.00 4.56 0.00 0.00
1800.04/1800.00 c countsols : 0.34 0.00 0.00 0.00 0.34
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 2.28 2 0 0
1800.04/1800.00 c rootredcost : 1.80 0 0 0
1800.04/1800.00 c pseudoobj : 20.69 7510672 8446 3106934
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 53.28 1027102 1026768 5710324 22.2 201269 13.6 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.01 128 128 370 11.9 19 13.9 -
1800.04/1800.00 c applied globally : - - - 2804989 17.1 - - -
1800.04/1800.00 c applied locally : - - - 45766 37.1 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 13.15 1708025 0 0 0 0 3416050
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.69 - 21
1800.04/1800.00 c oneopt : 0.82 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.70 0 0
1800.04/1800.00 c trysol : 0.80 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 2430767
1800.04/1800.00 c nodes (total) : 2430767
1800.04/1800.00 c nodes left : 93183
1800.04/1800.00 c max depth : 160
1800.04/1800.00 c max depth (total): 160
1800.04/1800.00 c backtracks : 814467 (33.5%)
1800.04/1800.00 c delayed cutoffs : 612566
1800.04/1800.00 c repropagations : 3004402 (12566174 domain reductions, 318912 cutoffs)
1800.04/1800.00 c avg switch length: 25.18
1800.04/1800.00 c switching time : 590.32
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 21 (21 improvements)
1800.04/1800.00 c First Solution : +2.12000000000000e+02 (in run 1, after 181428 nodes, 87.42 seconds, depth 132, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +1.70000000000000e+01 (in run 1, after 1967965 nodes, 1247.89 seconds, depth 79, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +5.00000000000000e+00
1800.04/1800.00 c Gap : 240.00 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.33/1800.35 c Time complete: 1800.39.