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-2693867-1277896149.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, 64 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 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 4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 64 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 4 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 | - | 926k| 0 | - | 293 | 158 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.14 c 1.1s| 10000 | 7104 | 0 | 0.0 |6810k| 176 | - | 293 |3391 | 0 | 0 | 0 |7642 | 0 | 0.000000e+00 | -- | Inf
2.89/2.99 c 2.8s| 20000 | 12704 | 0 | 0.0 | 11M| 176 | - | 293 |5122 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.39/5.46 c 5.2s| 30000 | 17572 | 0 | 0.0 | 17M| 176 | - | 293 |8481 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
8.79/8.85 c 8.5s| 40000 | 21043 | 0 | 0.0 | 22M| 176 | - | 293 | 11k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
13.10/13.19 c 12.7s| 50000 | 22836 | 0 | 0.0 | 27M| 176 | - | 293 | 16k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
16.29/16.38 c 15.8s| 60000 | 28052 | 0 | 0.0 | 28M| 176 | - | 293 |7126 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
17.09/17.16 o 810
17.09/17.16 c *16.6s| 62901 | 29370 | 0 | 0.0 | 29M| 176 | - | 293 |7462 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 8.100000e+02 | Inf
17.19/17.21 o 702
17.19/17.21 c *16.6s| 63438 | 29878 | 0 | 0.0 | 29M| 176 | - | 293 |6736 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
18.99/19.08 c 18.4s| 70000 | 32507 | 0 | 0.0 | 32M| 176 | - | 293 |8501 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
23.89/23.93 c 23.2s| 80000 | 33890 | 0 | 0.0 | 37M| 176 | - | 293 | 14k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
30.49/30.54 c 29.7s| 90000 | 34607 | 0 | 0.0 | 42M| 176 | - | 293 | 20k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
38.89/38.94 c 37.9s|100000 | 34704 | 0 | 0.0 | 46M| 176 | - | 293 | 25k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
49.59/49.65 c 48.5s|110000 | 33654 | 0 | 0.0 | 49M| 176 | - | 293 | 30k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
60.99/61.00 c 59.8s|120000 | 33778 | 0 | 0.0 | 46M| 176 | - | 293 | 17k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
64.59/64.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.59/64.70 c 63.4s|130000 | 38943 | 0 | 0.0 | 47M| 176 | - | 293 |9540 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
68.49/68.59 c 67.2s|140000 | 42723 | 0 | 0.0 | 52M| 176 | - | 293 | 11k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
73.39/73.45 o 496
73.39/73.45 c *71.9s|149533 | 44917 | 0 | 0.0 | 54M| 176 | - | 293 | 10k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 4.960000e+02 | Inf
73.39/73.45 o 353
73.39/73.45 c *71.9s|149534 | 44908 | 0 | 0.0 | 54M| 176 | - | 293 | 10k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.530000e+02 | Inf
73.49/73.55 c 72.0s|150000 | 45294 | 0 | 0.0 | 54M| 176 | - | 293 |9062 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.530000e+02 | Inf
74.80/74.83 c 73.2s|160000 | 53628 | 0 | 0.0 | 56M| 176 | - | 293 |4333 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.530000e+02 | Inf
75.29/75.37 o 303
75.29/75.37 c *73.7s|164136 | 56887 | 0 | 0.0 | 58M| 176 | - | 293 |4599 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.030000e+02 | Inf
75.49/75.52 o 259
75.49/75.52 c *73.9s|165207 | 57689 | 0 | 0.0 | 58M| 176 | - | 293 |4670 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
76.19/76.24 c 74.5s|170000 | 61192 | 0 | 0.0 | 60M| 176 | - | 293 |5155 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
80.09/80.11 c 78.3s|180000 | 63134 | 0 | 0.0 | 65M| 176 | - | 293 | 11k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
90.39/90.48 c 88.5s|190000 | 59356 | 0 | 0.0 | 67M| 176 | - | 293 | 23k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
107.09/107.11 c 105s|200000 | 53599 | 0 | 0.0 | 64M| 176 | - | 293 | 34k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
119.69/119.78 c 118s|210000 | 53633 | 0 | 0.0 | 57M| 176 | - | 293 | 14k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
126.69/126.79 c 124s|220000 | 54815 | 0 | 0.0 | 59M| 176 | - | 293 | 14k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
134.99/135.05 c 133s|230000 | 54580 | 0 | 0.0 | 62M| 176 | - | 293 | 19k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
145.20/145.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.20/145.29 c 143s|240000 | 53199 | 0 | 0.0 | 64M| 176 | - | 293 | 24k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
156.59/156.68 c 154s|250000 | 52500 | 0 | 0.0 | 62M| 176 | - | 293 | 21k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
159.09/159.13 c 156s|260000 | 60423 | 0 | 0.0 | 62M| 176 | - | 293 |7795 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
160.19/160.27 o 254
160.19/160.27 c * 157s|266226 | 65133 | 0 | 0.0 | 64M| 176 | - | 293 |6109 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
160.80/160.88 c 158s|270000 | 68007 | 0 | 0.0 | 65M| 176 | - | 293 |5913 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
161.19/161.28 o 222
161.19/161.28 c * 158s|272268 | 69643 | 0 | 0.0 | 66M| 176 | - | 293 |5838 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
161.80/161.88 o 197
161.80/161.88 c * 159s|275862 | 72290 | 0 | 0.0 | 67M| 176 | - | 293 |6009 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
162.49/162.59 c 160s|280000 | 75345 | 0 | 0.0 | 69M| 176 | - | 293 |6202 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
164.20/164.29 c 161s|290000 | 82735 | 0 | 0.0 | 73M| 176 | - | 293 |6884 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
166.10/166.18 c 163s|300000 | 89859 | 0 | 0.0 | 77M| 176 | - | 293 |7416 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
168.10/168.16 c 165s|310000 | 96809 | 0 | 0.0 | 81M| 176 | - | 293 |8236 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
170.20/170.21 c 167s|320000 |103706 | 0 | 0.0 | 85M| 176 | - | 293 |8422 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
172.40/172.43 c 169s|330000 |110290 | 0 | 0.0 | 89M| 176 | - | 293 |9133 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
174.80/174.83 c 171s|340000 |116591 | 0 | 0.0 | 93M| 176 | - | 293 |9042 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
177.39/177.45 c 174s|350000 |122398 | 0 | 0.0 | 97M| 176 | - | 293 |9444 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
179.99/180.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.99/180.07 c 176s|360000 |128256 | 0 | 0.0 | 101M| 176 | - | 293 | 10k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
182.70/182.75 c 179s|370000 |134035 | 0 | 0.0 | 105M| 176 | - | 293 | 10k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
185.50/185.56 c 182s|380000 |139636 | 0 | 0.0 | 109M| 176 | - | 293 | 10k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
188.50/188.51 c 185s|390000 |144862 | 0 | 0.0 | 113M| 176 | - | 293 | 11k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
189.40/189.48 o 196
189.40/189.48 c * 186s|392959 |146102 | 0 | 0.0 | 114M| 176 | - | 293 | 11k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
191.00/191.05 c 187s|400000 |150842 | 0 | 0.0 | 115M| 176 | - | 293 |3130 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
197.40/197.47 c 193s|410000 |147618 | 0 | 0.0 | 111M| 176 | - | 293 | 12k| 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 1.960000e+02 | Large
208.39/208.41 c 204s|420000 |143980 | 0 | 0.0 | 113M| 176 | - | 293 | 20k| 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 1.960000e+02 | Large
224.20/224.26 c 220s|430000 |137897 | 0 | 0.0 | 111M| 176 | - | 293 | 31k| 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 1.960000e+02 | Large
235.79/235.89 c 231s|440000 |138719 | 0 | 0.0 | 105M| 176 | - | 293 | 20k| 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 1.960000e+02 | Large
239.80/239.83 c 235s|450000 |145482 | 0 | 0.0 | 106M| 176 | - | 293 | 11k| 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 1.960000e+02 | Large
242.80/242.82 c 238s|460000 |152223 | 0 | 0.0 | 109M| 176 | - | 293 |8948 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 1.960000e+02 | Large
245.40/245.41 c 241s|470000 |158708 | 0 | 0.0 | 113M| 176 | - | 293 |7549 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 1.960000e+02 | Large
247.70/247.77 c 243s|480000 |165331 | 0 | 0.0 | 116M| 176 | - | 293 |7600 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 1.960000e+02 | Large
250.00/250.07 c 245s|490000 |172024 | 0 | 0.0 | 120M| 176 | - | 293 |7718 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | 1.960000e+02 | Large
252.49/252.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.49/252.56 c 247s|500000 |178410 | 0 | 0.0 | 124M| 176 | - | 293 |8149 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 1.960000e+02 | Large
255.00/255.06 c 250s|510000 |184788 | 0 | 0.0 | 128M| 176 | - | 293 |8161 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 1.960000e+02 | Large
256.40/256.48 o 174
256.40/256.48 c * 251s|515364 |187800 | 0 | 0.0 | 130M| 176 | - | 293 |8076 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 1.740000e+02 | Large
257.60/257.67 c 252s|520000 |190715 | 0 | 0.0 | 132M| 176 | - | 293 |8272 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 1.740000e+02 | Large
260.20/260.25 c 255s|530000 |196993 | 0 | 0.0 | 136M| 176 | - | 293 |8474 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 1.740000e+02 | Large
262.80/262.88 c 257s|540000 |203235 | 0 | 0.0 | 140M| 176 | - | 293 |8538 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 1.740000e+02 | Large
265.50/265.50 c 260s|550000 |209438 | 0 | 0.0 | 144M| 176 | - | 293 |8947 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 1.740000e+02 | Large
268.10/268.17 c 263s|560000 |215499 | 0 | 0.0 | 148M| 176 | - | 293 |9166 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 1.740000e+02 | Large
270.80/270.88 c 265s|570000 |221620 | 0 | 0.0 | 152M| 176 | - | 293 |9451 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 1.740000e+02 | Large
273.70/273.74 c 268s|580000 |227530 | 0 | 0.0 | 156M| 176 | - | 293 |9594 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 1.740000e+02 | Large
276.60/276.69 c 271s|590000 |233331 | 0 | 0.0 | 160M| 176 | - | 293 |9767 | 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 1.740000e+02 | Large
279.70/279.71 c 274s|600000 |238948 | 0 | 0.0 | 164M| 176 | - | 293 | 10k| 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 1.740000e+02 | Large
282.70/282.75 c 277s|610000 |244592 | 0 | 0.0 | 168M| 176 | - | 293 | 10k| 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 1.740000e+02 | Large
285.70/285.73 c 280s|620000 |250295 | 0 | 0.0 | 172M| 176 | - | 293 | 10k| 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 1.740000e+02 | Large
288.40/288.48 c 282s|630000 |256289 | 0 | 0.0 | 177M| 176 | - | 293 | 11k| 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 1.740000e+02 | Large
291.69/291.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.69/291.71 c 285s|640000 |261686 | 0 | 0.0 | 180M| 176 | - | 293 | 10k| 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 1.740000e+02 | Large
294.70/294.78 c 288s|650000 |267287 | 0 | 0.0 | 184M| 176 | - | 293 | 10k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 1.740000e+02 | Large
297.79/297.86 c 291s|660000 |272965 | 0 | 0.0 | 188M| 176 | - | 293 | 11k| 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 1.740000e+02 | Large
299.80/299.86 o 169
299.80/299.86 c * 293s|666546 |276241 | 0 | 0.0 | 190M| 176 | - | 293 | 11k| 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 1.690000e+02 | Large
300.80/300.83 c 294s|670000 |278331 | 0 | 0.0 | 192M| 176 | - | 293 | 12k| 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 1.690000e+02 | Large
304.00/304.09 c 297s|680000 |283773 | 0 | 0.0 | 196M| 176 | - | 293 | 11k| 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 1.690000e+02 | Large
307.39/307.41 c 301s|690000 |289069 | 0 | 0.0 | 199M| 176 | - | 293 | 11k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 1.690000e+02 | Large
310.79/310.82 c 304s|700000 |294215 | 0 | 0.0 | 203M| 176 | - | 293 | 11k| 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 1.690000e+02 | Large
313.90/313.93 c 307s|710000 |299842 | 0 | 0.0 | 207M| 176 | - | 293 | 12k| 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 1.690000e+02 | Large
317.20/317.24 c 310s|720000 |305137 | 0 | 0.0 | 211M| 176 | - | 293 | 12k| 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 1.690000e+02 | Large
320.90/320.94 c 314s|730000 |309945 | 0 | 0.0 | 215M| 176 | - | 293 | 12k| 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 1.690000e+02 | Large
324.60/324.69 c 317s|740000 |314761 | 0 | 0.0 | 218M| 176 | - | 293 | 12k| 0 | 0 | 0 | 764k| 0 | 1.000000e+00 | 1.690000e+02 | Large
325.51/325.53 o 147
325.51/325.53 c * 318s|742433 |312404 | 0 | 0.0 | 216M| 176 | - | 293 | 12k| 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 1.470000e+02 | Large
328.60/328.60 c 321s|750000 |315759 | 0 | 0.0 | 218M| 176 | - | 293 | 13k| 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 1.470000e+02 | Large
332.70/332.74 c 325s|760000 |320205 | 0 | 0.0 | 222M| 176 | - | 293 | 13k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 1.470000e+02 | Large
332.80/332.86 o 126
332.80/332.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.80/332.86 c * 325s|760243 |314462 | 0 | 0.0 | 216M| 176 | - | 293 | 13k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 1.260000e+02 | Large
337.10/337.15 c 330s|770000 |318237 | 0 | 0.0 | 221M| 176 | - | 293 | 13k| 0 | 0 | 0 | 789k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
341.90/341.91 c 334s|780000 |321407 | 0 | 0.0 | 226M| 176 | - | 293 | 14k| 0 | 0 | 0 | 798k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
346.50/346.53 c 339s|790000 |324743 | 0 | 0.0 | 231M| 176 | - | 293 | 14k| 0 | 0 | 0 | 806k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
351.30/351.35 c 343s|800000 |327784 | 0 | 0.0 | 236M| 176 | - | 293 | 15k| 0 | 0 | 0 | 815k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
356.50/356.56 c 348s|810000 |330416 | 0 | 0.0 | 241M| 176 | - | 293 | 15k| 0 | 0 | 0 | 824k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
362.00/362.01 c 354s|820000 |332673 | 0 | 0.0 | 246M| 176 | - | 293 | 14k| 0 | 0 | 0 | 834k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
367.31/367.36 c 359s|830000 |334736 | 0 | 0.0 | 250M| 176 | - | 293 | 14k| 0 | 0 | 0 | 843k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
368.60/368.62 o 119
368.60/368.62 c * 360s|832490 |334347 | 0 | 0.0 | 251M| 176 | - | 293 | 14k| 0 | 0 | 0 | 845k| 0 | 2.000000e+00 | 1.190000e+02 |5850.00%
372.70/372.72 c 364s|840000 |335546 | 0 | 0.0 | 255M| 176 | - | 293 | 15k| 0 | 0 | 0 | 853k| 0 | 2.000000e+00 | 1.190000e+02 |5850.00%
376.30/376.32 o 113
376.30/376.32 c * 368s|846382 |333434 | 0 | 0.0 | 255M| 176 | - | 293 | 14k| 0 | 0 | 0 | 859k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
377.50/377.53 o 91
377.50/377.53 c * 369s|848609 |321976 | 0 | 0.0 | 246M| 176 | - | 293 | 15k| 0 | 0 | 0 | 862k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
378.21/378.29 c 370s|850000 |322336 | 0 | 0.0 | 246M| 176 | - | 293 | 13k| 0 | 0 | 0 | 863k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
381.90/381.92 c 373s|860000 |327343 | 0 | 0.0 | 249M| 176 | - | 293 |5274 | 0 | 0 | 0 | 873k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
385.20/385.25 c 376s|870000 |331782 | 0 | 0.0 | 254M| 176 | - | 293 |7531 | 0 | 0 | 0 | 884k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
389.80/389.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.80/389.88 c 381s|880000 |334442 | 0 | 0.0 | 257M| 176 | - | 293 |5872 | 0 | 0 | 0 | 898k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
393.40/393.43 c 384s|890000 |338809 | 0 | 0.0 | 262M| 176 | - | 293 |7094 | 0 | 0 | 0 | 908k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
397.01/397.07 c 388s|900000 |343343 | 0 | 0.0 | 268M| 176 | - | 293 |8604 | 0 | 0 | 0 | 918k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
401.10/401.15 c 392s|910000 |347395 | 0 | 0.0 | 273M| 176 | - | 293 |9393 | 0 | 0 | 0 | 928k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
405.20/405.20 c 396s|920000 |351472 | 0 | 0.0 | 278M| 176 | - | 293 |9890 | 0 | 0 | 0 | 938k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
409.81/409.86 c 400s|930000 |354781 | 0 | 0.0 | 283M| 176 | - | 293 | 11k| 0 | 0 | 0 | 949k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
414.81/414.89 c 405s|940000 |357940 | 0 | 0.0 | 288M| 176 | - | 293 | 11k| 0 | 0 | 0 | 960k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
418.01/418.01 o 79
418.01/418.01 c * 408s|945944 |314317 | 0 | 0.0 | 254M| 176 | - | 293 | 11k| 0 | 0 | 0 | 967k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
418.40/418.42 o 75
418.40/418.42 c * 409s|946688 |313310 | 0 | 0.0 | 253M| 176 | - | 293 | 12k| 0 | 0 | 0 | 968k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
420.61/420.63 c 411s|950000 |313844 | 0 | 0.0 | 255M| 176 | - | 293 | 10k| 0 | 0 | 0 | 972k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
426.81/426.82 c 417s|960000 |315779 | 0 | 0.0 | 260M| 176 | - | 293 | 11k| 0 | 0 | 0 | 985k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
433.31/433.31 c 423s|970000 |317506 | 0 | 0.0 | 264M| 176 | - | 293 | 12k| 0 | 0 | 0 | 997k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
440.71/440.74 c 431s|980000 |318666 | 0 | 0.0 | 269M| 176 | - | 293 | 14k| 0 | 0 | 0 |1011k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
448.30/448.38 c 438s|990000 |320062 | 0 | 0.0 | 273M| 176 | - | 293 | 14k| 0 | 0 | 0 |1024k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
455.90/455.90 c 446s| 1000k|321677 | 0 | 0.0 | 277M| 176 | - | 293 | 15k| 0 | 0 | 0 |1037k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
463.91/463.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.91/463.90 c 453s| 1010k|322785 | 0 | 0.0 | 282M| 176 | - | 293 | 16k| 0 | 0 | 0 |1050k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
472.11/472.16 c 462s| 1020k|323968 | 0 | 0.0 | 286M| 176 | - | 293 | 17k| 0 | 0 | 0 |1063k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
480.71/480.78 c 470s| 1030k|324706 | 0 | 0.0 | 290M| 176 | - | 293 | 18k| 0 | 0 | 0 |1076k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
489.80/489.80 c 479s| 1040k|325487 | 0 | 0.0 | 294M| 176 | - | 293 | 19k| 0 | 0 | 0 |1090k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
498.60/498.68 c 488s| 1050k|326362 | 0 | 0.0 | 298M| 176 | - | 293 | 19k| 0 | 0 | 0 |1103k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
507.80/507.84 c 497s| 1060k|327013 | 0 | 0.0 | 303M| 176 | - | 293 | 21k| 0 | 0 | 0 |1116k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
518.50/518.55 c 507s| 1070k|326631 | 0 | 0.0 | 306M| 176 | - | 293 | 21k| 0 | 0 | 0 |1131k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
528.51/528.54 c 517s| 1080k|327018 | 0 | 0.0 | 310M| 176 | - | 293 | 22k| 0 | 0 | 0 |1144k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
533.20/533.28 o 53
533.20/533.28 c * 522s| 1084k|248065 | 0 | 0.0 | 236M| 176 | - | 293 | 23k| 0 | 0 | 0 |1150k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
539.80/539.84 o 52
539.80/539.84 c * 528s| 1087k|245167 | 0 | 0.0 | 238M| 176 | - | 293 | 20k| 0 | 0 | 0 |1159k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
543.81/543.81 c 532s| 1090k|243356 | 0 | 0.0 | 239M| 176 | - | 293 | 20k| 0 | 0 | 0 |1165k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
558.41/558.40 c 547s| 1100k|234329 | 0 | 0.0 | 236M| 176 | - | 293 | 11k| 0 | 0 | 0 |1190k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
571.61/571.65 c 560s| 1110k|223805 | 0 | 0.0 | 233M| 176 | - | 293 | 16k| 0 | 0 | 0 |1217k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
588.00/588.06 c 576s| 1120k|211374 | 0 | 0.0 | 227M| 176 | - | 293 | 19k| 0 | 0 | 0 |1245k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
603.01/603.06 c 591s| 1130k|200707 | 0 | 0.0 | 214M| 176 | - | 293 |5260 | 0 | 0 | 0 |1273k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
608.60/608.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.60/608.63 c 596s| 1140k|200775 | 0 | 0.0 | 217M| 176 | - | 293 |8444 | 0 | 0 | 0 |1292k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
615.71/615.79 c 603s| 1150k|199220 | 0 | 0.0 | 219M| 176 | - | 293 |9558 | 0 | 0 | 0 |1313k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
622.71/622.76 c 610s| 1160k|197814 | 0 | 0.0 | 219M| 176 | - | 293 |7869 | 0 | 0 | 0 |1333k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
635.21/635.25 c 622s| 1170k|189355 | 0 | 0.0 | 219M| 176 | - | 293 | 14k| 0 | 0 | 0 |1363k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
639.91/639.93 o 47
639.91/639.93 c * 627s| 1172k|185598 | 0 | 0.0 | 218M| 176 | - | 293 | 16k| 0 | 0 | 0 |1371k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
646.91/646.91 o 30
646.91/646.91 c * 634s| 1176k|143370 | 0 | 0.0 | 186M| 176 | - | 293 | 18k| 0 | 0 | 0 |1382k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
656.72/656.77 c 643s| 1180k|137477 | 0 | 0.0 | 184M| 176 | - | 293 | 20k| 0 | 0 | 0 |1395k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
684.91/684.99 c 671s| 1190k|120550 | 0 | 0.0 | 172M| 176 | - | 293 | 25k| 0 | 0 | 0 |1428k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
712.21/712.28 c 698s| 1200k|103565 | 0 | 0.0 | 154M| 176 | - | 293 | 31k| 0 | 0 | 0 |1457k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
738.31/738.32 c 724s| 1210k| 91981 | 0 | 0.0 | 138M| 176 | - | 293 | 28k| 0 | 0 | 0 |1485k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
758.51/758.53 c 744s| 1220k| 87116 | 0 | 0.0 | 135M| 176 | - | 293 | 29k| 0 | 0 | 0 |1510k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
771.12/771.13 o 23
771.12/771.13 c * 757s| 1225k| 79822 | 0 | 0.0 | 129M| 176 | - | 293 | 31k| 0 | 0 | 0 |1524k| 0 | 2.000000e+00 | 2.300000e+01 |1050.00%
779.41/779.44 c 765s| 1230k| 78154 | 0 | 0.0 | 127M| 176 | - | 293 | 31k| 0 | 0 | 0 |1533k| 0 | 2.000000e+00 | 2.300000e+01 |1050.00%
790.92/790.96 c 777s| 1240k| 80284 | 0 | 0.0 | 123M| 176 | - | 293 | 17k| 0 | 0 | 0 |1549k| 0 | 2.000000e+00 | 2.300000e+01 |1050.00%
810.12/810.17 c 796s| 1250k| 67892 | 0 | 0.0 | 104M| 176 | - | 293 | 28k| 0 | 0 | 0 |1578k| 0 | 3.000000e+00 | 2.300000e+01 | 666.67%
824.72/824.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.72/824.72 c 810s| 1260k| 67973 | 0 | 0.0 | 97M| 176 | - | 293 | 20k| 0 | 0 | 0 |1594k| 0 | 3.000000e+00 | 2.300000e+01 | 666.67%
830.61/830.62 c 816s| 1270k| 73301 | 0 | 0.0 | 99M| 176 | - | 293 | 21k| 0 | 0 | 0 |1606k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
840.32/840.34 c 825s| 1280k| 75084 | 0 | 0.0 | 104M| 176 | - | 293 | 26k| 0 | 0 | 0 |1623k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
849.12/849.10 c 834s| 1290k| 76834 | 0 | 0.0 | 102M| 176 | - | 293 | 19k| 0 | 0 | 0 |1638k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
855.31/855.37 c 840s| 1300k| 81465 | 0 | 0.0 | 105M| 176 | - | 293 | 19k| 0 | 0 | 0 |1651k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
862.01/862.00 c 847s| 1310k| 85850 | 0 | 0.0 | 110M| 176 | - | 293 | 20k| 0 | 0 | 0 |1666k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
871.02/871.01 c 856s| 1320k| 88634 | 0 | 0.0 | 115M| 176 | - | 293 | 24k| 0 | 0 | 0 |1682k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
883.72/883.76 c 868s| 1330k| 89479 | 0 | 0.0 | 120M| 176 | - | 293 | 30k| 0 | 0 | 0 |1702k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
901.62/901.60 c 886s| 1340k| 87889 | 0 | 0.0 | 123M| 176 | - | 293 | 35k| 0 | 0 | 0 |1724k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
916.62/916.63 c 901s| 1350k| 89444 | 0 | 0.0 | 120M| 176 | - | 293 | 21k| 0 | 0 | 0 |1740k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
926.02/926.00 c 910s| 1360k| 91076 | 0 | 0.0 | 123M| 176 | - | 293 | 25k| 0 | 0 | 0 |1759k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
937.52/937.53 c 922s| 1370k| 92662 | 0 | 0.0 | 126M| 176 | - | 293 | 26k| 0 | 0 | 0 |1777k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
952.52/952.54 c 936s| 1380k| 92680 | 0 | 0.0 | 130M| 176 | - | 293 | 29k| 0 | 0 | 0 |1798k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
970.12/970.10 c 954s| 1390k| 91772 | 0 | 0.0 | 133M| 176 | - | 293 | 33k| 0 | 0 | 0 |1819k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
995.23/995.25 c 979s| 1400k| 87292 | 0 | 0.0 | 132M| 176 | - | 293 | 41k| 0 | 0 | 0 |1844k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1017.42/1017.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.42/1017.40 c 1001s| 1410k| 86834 | 0 | 0.0 | 128M| 176 | - | 293 | 33k| 0 | 0 | 0 |1864k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1033.83/1033.90 c 1017s| 1420k| 86479 | 0 | 0.0 | 130M| 176 | - | 293 | 31k| 0 | 0 | 0 |1886k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1056.22/1056.26 c 1039s| 1430k| 82826 | 0 | 0.0 | 129M| 176 | - | 293 | 33k| 0 | 0 | 0 |1911k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1088.93/1088.91 c 1072s| 1440k| 73729 | 0 | 0.0 | 121M| 176 | - | 293 | 42k| 0 | 0 | 0 |1940k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1116.13/1116.10 c 1099s| 1450k| 69926 | 0 | 0.0 | 115M| 176 | - | 293 | 37k| 0 | 0 | 0 |1963k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1147.23/1147.22 c 1130s| 1460k| 62547 | 0 | 0.0 | 106M| 176 | - | 293 | 41k| 0 | 0 | 0 |1990k| 0 | 7.000000e+00 | 2.300000e+01 | 228.57%
1158.83/1158.82 c 1141s| 1470k| 66057 | 0 | 0.0 | 98M| 176 | - | 293 | 22k| 0 | 0 | 0 |2002k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1163.12/1163.12 c 1146s| 1480k| 72238 | 0 | 0.0 | 97M| 176 | - | 293 | 10k| 0 | 0 | 0 |2013k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1166.93/1166.98 c 1149s| 1490k| 77908 | 0 | 0.0 | 103M| 176 | - | 293 | 15k| 0 | 0 | 0 |2027k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1174.43/1174.47 c 1157s| 1500k| 80803 | 0 | 0.0 | 109M| 176 | - | 293 | 22k| 0 | 0 | 0 |2046k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1182.43/1182.47 c 1165s| 1510k| 84032 | 0 | 0.0 | 109M| 176 | - | 293 | 13k| 0 | 0 | 0 |2061k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1192.44/1192.48 c 1175s| 1520k| 80222 | 0 | 0.0 | 108M| 176 | - | 293 | 11k| 0 | 0 | 0 |2084k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1205.83/1205.84 c 1188s| 1530k| 73002 | 0 | 0.0 | 105M| 176 | - | 293 | 13k| 0 | 0 | 0 |2109k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1220.03/1220.07 c 1202s| 1540k| 63993 | 0 | 0.0 | 99M| 176 | - | 293 | 14k| 0 | 0 | 0 |2133k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1232.63/1232.60 c 1214s| 1550k| 55659 | 0 | 0.0 | 91M| 176 | - | 293 | 14k| 0 | 0 | 0 |2154k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1238.03/1238.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.03/1238.02 c 1220s| 1560k| 60653 | 0 | 0.0 | 96M| 176 | - | 293 | 16k| 0 | 0 | 0 |2170k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1245.53/1245.52 c 1227s| 1570k| 64445 | 0 | 0.0 | 101M| 176 | - | 293 | 21k| 0 | 0 | 0 |2188k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1255.14/1255.12 c 1236s| 1580k| 67533 | 0 | 0.0 | 106M| 176 | - | 293 | 27k| 0 | 0 | 0 |2207k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1270.53/1270.57 c 1252s| 1590k| 67693 | 0 | 0.0 | 111M| 176 | - | 293 | 33k| 0 | 0 | 0 |2230k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1293.44/1293.44 c 1274s| 1600k| 64295 | 0 | 0.0 | 112M| 176 | - | 293 | 42k| 0 | 0 | 0 |2258k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1304.94/1304.99 c 1286s| 1610k| 68656 | 0 | 0.0 | 108M| 176 | - | 293 | 18k| 0 | 0 | 0 |2271k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1311.53/1311.57 c 1292s| 1620k| 72495 | 0 | 0.0 | 113M| 176 | - | 293 | 19k| 0 | 0 | 0 |2287k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1318.84/1318.88 c 1300s| 1630k| 76319 | 0 | 0.0 | 115M| 176 | - | 293 | 15k| 0 | 0 | 0 |2302k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1331.13/1331.15 c 1312s| 1640k| 71404 | 0 | 0.0 | 109M| 176 | - | 293 | 17k| 0 | 0 | 0 |2326k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1342.73/1342.74 c 1323s| 1650k| 68844 | 0 | 0.0 | 106M| 176 | - | 293 | 19k| 0 | 0 | 0 |2351k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1354.14/1354.17 c 1334s| 1660k| 70199 | 0 | 0.0 | 111M| 176 | - | 293 | 25k| 0 | 0 | 0 |2374k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1370.13/1370.12 c 1350s| 1670k| 70223 | 0 | 0.0 | 115M| 176 | - | 293 | 31k| 0 | 0 | 0 |2399k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1390.83/1390.83 c 1371s| 1680k| 68932 | 0 | 0.0 | 119M| 176 | - | 293 | 37k| 0 | 0 | 0 |2426k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1420.14/1420.14 c 1400s| 1690k| 64248 | 0 | 0.0 | 118M| 176 | - | 293 | 44k| 0 | 0 | 0 |2456k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1450.94/1450.95 c 1431s| 1700k| 60619 | 0 | 0.0 | 109M| 176 | - | 293 | 33k| 0 | 0 | 0 |2482k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1463.74/1463.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.74/1463.73 c 1443s| 1710k| 62809 | 0 | 0.0 | 110M| 176 | - | 293 | 24k| 0 | 0 | 0 |2501k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1476.54/1476.50 c 1456s| 1720k| 63712 | 0 | 0.0 | 113M| 176 | - | 293 | 28k| 0 | 0 | 0 |2522k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1491.94/1491.95 c 1471s| 1730k| 63140 | 0 | 0.0 | 116M| 176 | - | 293 | 35k| 0 | 0 | 0 |2545k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1506.34/1506.32 c 1486s| 1740k| 65407 | 0 | 0.0 | 115M| 176 | - | 293 | 27k| 0 | 0 | 0 |2563k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1513.84/1513.83 c 1493s| 1750k| 70128 | 0 | 0.0 | 117M| 176 | - | 293 | 20k| 0 | 0 | 0 |2576k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1525.24/1525.29 c 1504s| 1760k| 71232 | 0 | 0.0 | 120M| 176 | - | 293 | 23k| 0 | 0 | 0 |2596k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1545.74/1545.72 c 1525s| 1770k| 64576 | 0 | 0.0 | 116M| 176 | - | 293 | 33k| 0 | 0 | 0 |2628k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1581.94/1581.93 c 1561s| 1780k| 56028 | 0 | 0.0 | 106M| 176 | - | 293 | 41k| 0 | 0 | 0 |2662k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1607.64/1607.62 c 1586s| 1790k| 52926 | 0 | 0.0 | 102M| 176 | - | 293 | 39k| 0 | 0 | 0 |2687k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1637.54/1637.50 c 1616s| 1800k| 48186 | 0 | 0.0 | 101M| 176 | - | 293 | 52k| 0 | 0 | 0 |2715k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1669.14/1669.17 c 1648s| 1810k| 45771 | 0 | 0.0 | 99M| 176 | - | 293 | 54k| 0 | 0 | 0 |2739k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1689.14/1689.18 c 1667s| 1820k| 48821 | 0 | 0.0 | 97M| 176 | - | 293 | 35k| 0 | 0 | 0 |2757k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1705.54/1705.50 c 1684s| 1830k| 50533 | 0 | 0.0 | 99M| 176 | - | 293 | 30k| 0 | 0 | 0 |2776k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1722.24/1722.24 c 1700s| 1840k| 50304 | 0 | 0.0 | 101M| 176 | - | 293 | 32k| 0 | 0 | 0 |2797k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1742.15/1742.12 c 1720s| 1850k| 48147 | 0 | 0.0 | 98M| 176 | - | 293 | 24k| 0 | 0 | 0 |2821k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1757.85/1757.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.85/1757.87 c 1736s| 1860k| 43330 | 0 | 0.0 | 90M| 176 | - | 293 | 33k| 0 | 0 | 0 |2846k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1779.14/1779.10 c 1757s| 1870k| 42537 | 0 | 0.0 | 91M| 176 | - | 293 | 35k| 0 | 0 | 0 |2870k| 0 | 1.600000e+01 | 2.300000e+01 | 43.75%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1777.47
1800.05/1800.01 c Solving Nodes : 1878936
1800.05/1800.01 c Primal Bound : +2.30000000000000e+01 (24 solutions)
1800.05/1800.01 c Dual Bound : +1.60000000000000e+01
1800.05/1800.01 c Gap : 43.75 %
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
1800.05/1800.01 v -x147 -x146 -x145 x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.05/1800.01 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106
1800.05/1800.01 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.05/1800.01 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.05/1800.01 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.05/1800.01 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.05/1800.01 v -x4 -x3 -x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1777.47
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2693867-1277896149.wbo
1800.05/1800.01 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.05/1800.01 c Constraints : 166 initial, 166 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2693867-1277896149.wbo
1800.05/1800.01 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
1800.05/1800.01 c Constraints : 158 initial, 63283 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.00 0 0 0 62 0 6 2 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 62 0 5348850 0 1195757 8780 1811312 0 0 0
1800.05/1800.01 c setppc : 30 0 5823255 0 1290176 43374 6208911 0 0 0
1800.05/1800.01 c linear : 62 0 5779989 0 1290201 593668 25269553 0 0 0
1800.05/1800.01 c logicor : 4+ 0 2684067 0 1281805 186474 1661359 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 106526 0 0 3 14219 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1290225 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 4.97 0.00 3.52 0.00 1.45
1800.05/1800.01 c setppc : 19.11 0.00 14.89 0.00 4.22
1800.05/1800.01 c linear : 131.88 0.00 131.38 0.00 0.50
1800.05/1800.01 c logicor : 790.81 0.00 790.13 0.00 0.68
1800.05/1800.01 c bounddisjunction : 0.11 0.00 0.11 0.00 0.00
1800.05/1800.01 c countsols : 0.15 0.00 0.00 0.00 0.15
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 1.44 2 0 0
1800.05/1800.01 c rootredcost : 1.25 0 0 0
1800.05/1800.01 c pseudoobj : 14.86 5844360 12341 1651887
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 46.56 835859 835652 4431867 25.4 422329 14.3 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.01 88 88 376 25.2 40 16.1 -
1800.05/1800.01 c applied globally : - - - 2826537 17.8 - - -
1800.05/1800.01 c applied locally : - - - 66673 37.3 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 10.48 1290201 0 0 0 0 2580402
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.40 - 24
1800.05/1800.01 c oneopt : 0.70 0 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.38 0 0
1800.05/1800.01 c trysol : 0.40 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 1878936
1800.05/1800.01 c nodes (total) : 1878936
1800.05/1800.01 c nodes left : 40652
1800.05/1800.01 c max depth : 176
1800.05/1800.01 c max depth (total): 176
1800.05/1800.01 c backtracks : 658764 (35.1%)
1800.05/1800.01 c delayed cutoffs : 465730
1800.05/1800.01 c repropagations : 2401420 (9751822 domain reductions, 256017 cutoffs)
1800.05/1800.01 c avg switch length: 20.55
1800.05/1800.01 c switching time : 579.23
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 24 (24 improvements)
1800.05/1800.01 c First Solution : +8.10000000000000e+02 (in run 1, after 62901 nodes, 16.58 seconds, depth 92, found by <relaxation>)
1800.05/1800.01 c Primal Bound : +2.30000000000000e+01 (in run 1, after 1225954 nodes, 756.87 seconds, depth 62, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +1.60000000000000e+01
1800.05/1800.01 c Gap : 43.75 %
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 0
1800.24/1800.21 c Time complete: 1800.26.