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-2694020-1277900137.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.19/1.23 c 1.0s| 10000 | 6690 | 0 | 0.0 |6998k| 176 | - | 293 |3758 | 0 | 0 | 0 |7421 | 0 | 0.000000e+00 | -- | Inf
3.19/3.26 c 2.8s| 20000 | 11556 | 0 | 0.0 | 11M| 176 | - | 293 |5447 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
6.09/6.11 c 5.4s| 30000 | 15207 | 0 | 0.0 | 17M| 176 | - | 293 |9126 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
9.29/9.37 c 8.4s| 40000 | 18483 | 0 | 0.0 | 22M| 176 | - | 293 | 12k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
13.40/13.47 c 12.2s| 50000 | 21100 | 0 | 0.0 | 24M| 176 | - | 293 |7173 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
14.99/15.08 o 557
14.99/15.08 c *13.6s| 58346 | 26276 | 0 | 0.0 | 27M| 176 | - | 293 |3418 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 5.570000e+02 | Inf
15.49/15.53 c 14.0s| 60000 | 26666 | 0 | 0.0 | 28M| 176 | - | 293 |4157 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 5.570000e+02 | Inf
19.90/19.98 c 18.2s| 70000 | 27231 | 0 | 0.0 | 33M| 176 | - | 293 | 12k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 5.570000e+02 | Inf
25.79/25.89 c 23.8s| 80000 | 27151 | 0 | 0.0 | 37M| 176 | - | 293 | 17k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 5.570000e+02 | Inf
32.30/32.35 c 29.9s| 90000 | 27203 | 0 | 0.0 | 40M| 176 | - | 293 | 21k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 5.570000e+02 | Inf
41.09/41.11 c 38.4s|100000 | 25313 | 0 | 0.0 | 40M| 176 | - | 293 | 22k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 5.570000e+02 | Inf
44.89/44.92 c 41.9s|110000 | 30676 | 0 | 0.0 | 40M| 176 | - | 293 |8392 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 5.570000e+02 | Inf
48.69/48.72 c 45.4s|120000 | 34318 | 0 | 0.0 | 45M| 176 | - | 293 |9743 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 5.570000e+02 | Inf
52.09/52.18 c 48.6s|130000 | 38306 | 0 | 0.0 | 45M| 176 | - | 293 |2234 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 5.570000e+02 | Inf
52.29/52.39 o 511
52.29/52.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.29/52.39 c *48.8s|131866 | 39808 | 0 | 0.0 | 46M| 176 | - | 293 |2067 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 5.110000e+02 | Inf
52.70/52.75 o 508
52.70/52.75 c *49.1s|134979 | 42247 | 0 | 0.0 | 48M| 176 | - | 293 |2394 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 5.080000e+02 | Inf
53.39/53.40 c 49.6s|140000 | 46021 | 0 | 0.0 | 50M| 176 | - | 293 |3161 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 5.080000e+02 | Inf
53.49/53.57 o 315
53.49/53.57 c *49.7s|141148 | 46816 | 0 | 0.0 | 50M| 176 | - | 293 |3369 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
53.49/53.57 o 278
53.49/53.57 c *49.7s|141149 | 46813 | 0 | 0.0 | 50M| 176 | - | 293 |3369 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 2.780000e+02 | Inf
53.69/53.78 o 237
53.69/53.78 c *49.9s|142542 | 47774 | 0 | 0.0 | 51M| 176 | - | 293 |3644 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
55.49/55.59 c 51.5s|150000 | 50606 | 0 | 0.0 | 53M| 176 | - | 293 |6698 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
63.59/63.69 c 59.3s|160000 | 45603 | 0 | 0.0 | 52M| 176 | - | 293 | 18k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
73.60/73.64 c 68.9s|170000 | 42650 | 0 | 0.0 | 46M| 176 | - | 293 | 14k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
79.39/79.43 c 74.4s|180000 | 44497 | 0 | 0.0 | 48M| 176 | - | 293 | 13k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
86.39/86.48 c 81.1s|190000 | 45286 | 0 | 0.0 | 51M| 176 | - | 293 | 17k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
95.09/95.11 c 89.4s|200000 | 44719 | 0 | 0.0 | 53M| 176 | - | 293 | 18k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
103.19/103.22 c 97.1s|210000 | 44693 | 0 | 0.0 | 50M| 176 | - | 293 | 10k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
104.80/104.89 c 98.5s|220000 | 52277 | 0 | 0.0 | 51M| 176 | - | 293 |3478 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
106.60/106.64 c 100s|230000 | 59051 | 0 | 0.0 | 56M| 176 | - | 293 |4543 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
108.49/108.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.49/108.55 c 102s|240000 | 65549 | 0 | 0.0 | 60M| 176 | - | 293 |5093 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
110.49/110.53 c 103s|250000 | 71932 | 0 | 0.0 | 64M| 176 | - | 293 |5292 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
112.59/112.61 c 105s|260000 | 78080 | 0 | 0.0 | 68M| 176 | - | 293 |5571 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
114.59/114.69 c 107s|270000 | 84174 | 0 | 0.0 | 72M| 176 | - | 293 |5902 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
116.80/116.89 c 109s|280000 | 90033 | 0 | 0.0 | 76M| 176 | - | 293 |7018 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
119.09/119.17 c 111s|290000 | 95975 | 0 | 0.0 | 80M| 176 | - | 293 |7914 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
121.39/121.47 c 113s|300000 |101967 | 0 | 0.0 | 84M| 176 | - | 293 |8782 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
123.90/123.91 c 115s|310000 |107660 | 0 | 0.0 | 88M| 176 | - | 293 |9717 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
123.99/124.01 o 205
123.99/124.01 c * 115s|310398 |107861 | 0 | 0.0 | 88M| 176 | - | 293 |9753 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
125.10/125.16 o 186
125.10/125.16 c * 116s|314585 |109825 | 0 | 0.0 | 89M| 176 | - | 293 | 10k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
126.29/126.31 c 117s|320000 |113618 | 0 | 0.0 | 90M| 176 | - | 293 |4221 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
130.40/130.44 c 121s|330000 |114227 | 0 | 0.0 | 88M| 176 | - | 293 |9361 | 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | 1.860000e+02 | Large
139.19/139.20 c 130s|340000 |111310 | 0 | 0.0 | 92M| 176 | - | 293 | 20k| 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 1.860000e+02 | Large
153.70/153.77 c 144s|350000 |106258 | 0 | 0.0 | 91M| 176 | - | 293 | 29k| 0 | 0 | 0 | 446k| 0 | 1.000000e+00 | 1.860000e+02 | Large
165.10/165.11 c 155s|360000 |107038 | 0 | 0.0 | 83M| 176 | - | 293 | 12k| 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 1.860000e+02 | Large
167.80/167.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.80/167.88 c 157s|370000 |113417 | 0 | 0.0 | 85M| 176 | - | 293 |6370 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 1.860000e+02 | Large
170.30/170.34 c 159s|380000 |119436 | 0 | 0.0 | 89M| 176 | - | 293 |5889 | 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | 1.860000e+02 | Large
172.70/172.79 c 162s|390000 |125200 | 0 | 0.0 | 93M| 176 | - | 293 |6310 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 1.860000e+02 | Large
175.30/175.33 c 164s|400000 |130791 | 0 | 0.0 | 98M| 176 | - | 293 |7429 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 1.860000e+02 | Large
177.99/178.08 c 166s|410000 |136289 | 0 | 0.0 | 102M| 176 | - | 293 |7558 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 1.860000e+02 | Large
180.70/180.76 c 169s|420000 |141866 | 0 | 0.0 | 106M| 176 | - | 293 |8230 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 1.860000e+02 | Large
183.60/183.61 c 171s|430000 |147174 | 0 | 0.0 | 110M| 176 | - | 293 |9223 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 1.860000e+02 | Large
186.50/186.51 c 174s|440000 |152536 | 0 | 0.0 | 114M| 176 | - | 293 |9583 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.860000e+02 | Large
189.40/189.48 c 177s|450000 |157755 | 0 | 0.0 | 118M| 176 | - | 293 |9548 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 1.860000e+02 | Large
192.40/192.43 c 179s|460000 |163005 | 0 | 0.0 | 121M| 176 | - | 293 |9569 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 1.860000e+02 | Large
195.40/195.45 c 182s|470000 |168186 | 0 | 0.0 | 125M| 176 | - | 293 |9051 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 1.860000e+02 | Large
198.40/198.43 c 185s|480000 |173267 | 0 | 0.0 | 129M| 176 | - | 293 |8762 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 1.860000e+02 | Large
201.49/201.51 c 187s|490000 |178121 | 0 | 0.0 | 132M| 176 | - | 293 |8839 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 1.860000e+02 | Large
204.70/204.71 c 190s|500000 |182773 | 0 | 0.0 | 136M| 176 | - | 293 |9052 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 1.860000e+02 | Large
207.80/207.90 c 193s|510000 |187448 | 0 | 0.0 | 139M| 176 | - | 293 |9009 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 1.860000e+02 | Large
211.00/211.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.00/211.09 c 196s|520000 |192127 | 0 | 0.0 | 143M| 176 | - | 293 |9453 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 1.860000e+02 | Large
214.10/214.16 c 199s|530000 |197046 | 0 | 0.0 | 146M| 176 | - | 293 |9405 | 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 1.860000e+02 | Large
217.40/217.42 c 202s|540000 |201498 | 0 | 0.0 | 150M| 176 | - | 293 |9283 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 1.860000e+02 | Large
220.59/220.61 c 205s|550000 |206149 | 0 | 0.0 | 153M| 176 | - | 293 |9681 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 1.860000e+02 | Large
223.10/223.12 o 184
223.10/223.12 c * 207s|557803 |209777 | 0 | 0.0 | 156M| 176 | - | 293 | 10k| 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 1.840000e+02 | Large
223.90/223.95 c 208s|560000 |210615 | 0 | 0.0 | 156M| 176 | - | 293 |9913 | 0 | 0 | 0 | 605k| 0 | 1.000000e+00 | 1.840000e+02 | Large
226.99/227.00 c 211s|570000 |215548 | 0 | 0.0 | 160M| 176 | - | 293 | 10k| 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 1.840000e+02 | Large
228.10/228.19 o 170
228.10/228.19 c * 212s|573516 |216852 | 0 | 0.0 | 161M| 176 | - | 293 | 10k| 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 1.700000e+02 | Large
230.19/230.21 c 214s|580000 |219961 | 0 | 0.0 | 163M| 176 | - | 293 | 10k| 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 1.700000e+02 | Large
233.29/233.31 c 217s|590000 |224808 | 0 | 0.0 | 167M| 176 | - | 293 | 11k| 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 1.700000e+02 | Large
236.70/236.78 c 220s|600000 |229170 | 0 | 0.0 | 170M| 176 | - | 293 | 11k| 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 1.700000e+02 | Large
240.20/240.22 c 223s|610000 |233579 | 0 | 0.0 | 174M| 176 | - | 293 | 12k| 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 1.700000e+02 | Large
243.60/243.62 c 226s|620000 |238153 | 0 | 0.0 | 178M| 176 | - | 293 | 12k| 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 1.700000e+02 | Large
245.79/245.86 o 152
245.79/245.86 c * 228s|626104 |240229 | 0 | 0.0 | 179M| 176 | - | 293 | 12k| 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 1.520000e+02 | Large
247.30/247.34 c 230s|630000 |241761 | 0 | 0.0 | 181M| 176 | - | 293 | 12k| 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 1.520000e+02 | Large
248.10/248.17 o 136
248.10/248.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.10/248.17 c * 230s|632265 |241337 | 0 | 0.0 | 180M| 176 | - | 293 | 12k| 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 1.360000e+02 | Large
251.19/251.22 c 233s|640000 |244305 | 0 | 0.0 | 183M| 176 | - | 293 | 13k| 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 1.360000e+02 | Large
251.49/251.57 o 109
251.49/251.57 c * 233s|640725 |240723 | 0 | 0.0 | 180M| 176 | - | 293 | 12k| 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 1.090000e+02 | Large
251.60/251.61 o 79
251.60/251.61 c * 234s|640726 |209919 | 0 | 0.0 | 159M| 176 | - | 293 | 12k| 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 7.900000e+01 |7800.00%
257.99/258.01 c 240s|650000 |208842 | 0 | 0.0 | 162M| 176 | - | 293 | 12k| 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 7.900000e+01 |7800.00%
260.80/260.86 c 242s|660000 |215067 | 0 | 0.0 | 164M| 176 | - | 293 |7954 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 7.900000e+01 |7800.00%
264.70/264.75 c 246s|670000 |219435 | 0 | 0.0 | 169M| 176 | - | 293 | 10k| 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 7.900000e+01 |7800.00%
270.50/270.59 c 251s|680000 |220554 | 0 | 0.0 | 172M| 176 | - | 293 | 11k| 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 7.900000e+01 |7800.00%
274.69/274.73 c 255s|690000 |224042 | 0 | 0.0 | 172M| 176 | - | 293 |6867 | 0 | 0 | 0 | 726k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
278.59/278.60 c 259s|700000 |227624 | 0 | 0.0 | 177M| 176 | - | 293 |7758 | 0 | 0 | 0 | 737k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
282.61/282.62 c 262s|710000 |231255 | 0 | 0.0 | 181M| 176 | - | 293 |8844 | 0 | 0 | 0 | 747k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
286.70/286.72 c 266s|720000 |234822 | 0 | 0.0 | 185M| 176 | - | 293 | 10k| 0 | 0 | 0 | 757k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
291.30/291.32 c 270s|730000 |237894 | 0 | 0.0 | 189M| 176 | - | 293 | 12k| 0 | 0 | 0 | 768k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
296.30/296.37 c 275s|740000 |240715 | 0 | 0.0 | 193M| 176 | - | 293 | 12k| 0 | 0 | 0 | 779k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
301.70/301.73 c 280s|750000 |243329 | 0 | 0.0 | 197M| 176 | - | 293 | 13k| 0 | 0 | 0 | 792k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
307.30/307.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.30/307.34 c 285s|760000 |245826 | 0 | 0.0 | 201M| 176 | - | 293 | 14k| 0 | 0 | 0 | 804k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
313.19/313.26 c 291s|770000 |248271 | 0 | 0.0 | 205M| 176 | - | 293 | 14k| 0 | 0 | 0 | 816k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
318.91/318.98 c 296s|780000 |250768 | 0 | 0.0 | 208M| 176 | - | 293 | 16k| 0 | 0 | 0 | 827k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
325.20/325.24 c 302s|790000 |253021 | 0 | 0.0 | 212M| 176 | - | 293 | 17k| 0 | 0 | 0 | 840k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
332.30/332.38 c 309s|800000 |254612 | 0 | 0.0 | 216M| 176 | - | 293 | 17k| 0 | 0 | 0 | 853k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
339.49/339.55 c 316s|810000 |256326 | 0 | 0.0 | 219M| 176 | - | 293 | 18k| 0 | 0 | 0 | 866k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
347.00/347.07 c 323s|820000 |257823 | 0 | 0.0 | 222M| 176 | - | 293 | 19k| 0 | 0 | 0 | 879k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
355.00/355.09 c 331s|830000 |259148 | 0 | 0.0 | 226M| 176 | - | 293 | 20k| 0 | 0 | 0 | 892k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
363.30/363.38 c 339s|840000 |260216 | 0 | 0.0 | 228M| 176 | - | 293 | 18k| 0 | 0 | 0 | 905k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
371.90/371.90 c 347s|850000 |260800 | 0 | 0.0 | 231M| 176 | - | 293 | 19k| 0 | 0 | 0 | 919k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
380.50/380.55 c 355s|860000 |261639 | 0 | 0.0 | 234M| 176 | - | 293 | 21k| 0 | 0 | 0 | 933k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
389.20/389.26 c 363s|870000 |262797 | 0 | 0.0 | 238M| 176 | - | 293 | 22k| 0 | 0 | 0 | 946k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
398.60/398.69 c 372s|880000 |263795 | 0 | 0.0 | 241M| 176 | - | 293 | 24k| 0 | 0 | 0 | 959k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
408.80/408.86 c 382s|890000 |264511 | 0 | 0.0 | 244M| 176 | - | 293 | 25k| 0 | 0 | 0 | 972k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
419.70/419.72 c 393s|900000 |265216 | 0 | 0.0 | 248M| 176 | - | 293 | 27k| 0 | 0 | 0 | 985k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
430.90/430.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.90/430.98 c 404s|910000 |265866 | 0 | 0.0 | 251M| 176 | - | 293 | 27k| 0 | 0 | 0 | 998k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
443.20/443.24 c 416s|920000 |265924 | 0 | 0.0 | 254M| 176 | - | 293 | 28k| 0 | 0 | 0 |1011k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
454.90/454.92 c 427s|930000 |266426 | 0 | 0.0 | 259M| 176 | - | 293 | 29k| 0 | 0 | 0 |1023k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
467.81/467.82 c 439s|940000 |266342 | 0 | 0.0 | 262M| 176 | - | 293 | 30k| 0 | 0 | 0 |1036k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
481.50/481.50 c 453s|950000 |265715 | 0 | 0.0 | 266M| 176 | - | 293 | 32k| 0 | 0 | 0 |1049k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
496.40/496.45 c 467s|960000 |264643 | 0 | 0.0 | 269M| 176 | - | 293 | 34k| 0 | 0 | 0 |1062k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
512.20/512.29 c 482s|970000 |263331 | 0 | 0.0 | 273M| 176 | - | 293 | 35k| 0 | 0 | 0 |1075k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
531.01/531.03 c 501s|980000 |260099 | 0 | 0.0 | 275M| 176 | - | 293 | 36k| 0 | 0 | 0 |1089k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
547.90/547.99 c 517s|990000 |259193 | 0 | 0.0 | 276M| 176 | - | 293 | 32k| 0 | 0 | 0 |1101k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
558.31/558.39 c 527s| 1000k|263008 | 0 | 0.0 | 278M| 176 | - | 293 | 24k| 0 | 0 | 0 |1115k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
569.41/569.41 c 538s| 1010k|265069 | 0 | 0.0 | 281M| 176 | - | 293 | 25k| 0 | 0 | 0 |1133k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
581.91/581.94 c 550s| 1020k|266042 | 0 | 0.0 | 285M| 176 | - | 293 | 26k| 0 | 0 | 0 |1151k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
596.61/596.63 c 564s| 1030k|265513 | 0 | 0.0 | 288M| 176 | - | 293 | 28k| 0 | 0 | 0 |1171k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
605.80/605.80 o 41
605.80/605.80 c * 573s| 1035k|225672 | 0 | 0.0 | 244M| 176 | - | 293 | 29k| 0 | 0 | 0 |1181k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
614.11/614.15 c 582s| 1040k|223756 | 0 | 0.0 | 243M| 176 | - | 293 | 28k| 0 | 0 | 0 |1191k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
625.01/625.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.01/625.03 c 592s| 1050k|221234 | 0 | 0.0 | 241M| 176 | - | 293 | 12k| 0 | 0 | 0 |1212k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
636.71/636.74 c 603s| 1060k|218040 | 0 | 0.0 | 244M| 176 | - | 293 | 16k| 0 | 0 | 0 |1234k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
651.41/651.42 c 618s| 1070k|214188 | 0 | 0.0 | 246M| 176 | - | 293 | 19k| 0 | 0 | 0 |1256k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
670.40/670.47 c 636s| 1080k|208719 | 0 | 0.0 | 248M| 176 | - | 293 | 24k| 0 | 0 | 0 |1280k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
693.71/693.79 c 659s| 1090k|201727 | 0 | 0.0 | 248M| 176 | - | 293 | 26k| 0 | 0 | 0 |1304k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
722.10/722.15 c 687s| 1100k|192771 | 0 | 0.0 | 246M| 176 | - | 293 | 31k| 0 | 0 | 0 |1330k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
758.01/758.09 c 722s| 1110k|181275 | 0 | 0.0 | 243M| 176 | - | 293 | 35k| 0 | 0 | 0 |1357k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
796.81/796.86 c 760s| 1120k|165031 | 0 | 0.0 | 222M| 176 | - | 293 |8474 | 0 | 0 | 0 |1387k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
811.82/811.87 c 774s| 1130k|144462 | 0 | 0.0 | 197M| 176 | - | 293 |6826 | 0 | 0 | 0 |1419k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
818.01/818.00 c 780s| 1140k|144773 | 0 | 0.0 | 201M| 176 | - | 293 | 10k| 0 | 0 | 0 |1441k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
826.92/826.93 c 789s| 1150k|142062 | 0 | 0.0 | 201M| 176 | - | 293 | 12k| 0 | 0 | 0 |1467k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
838.22/838.29 c 799s| 1160k|137697 | 0 | 0.0 | 199M| 176 | - | 293 | 15k| 0 | 0 | 0 |1494k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
852.91/852.90 c 814s| 1170k|131125 | 0 | 0.0 | 194M| 176 | - | 293 | 19k| 0 | 0 | 0 |1522k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
859.52/859.57 c 820s| 1180k|133496 | 0 | 0.0 | 189M| 176 | - | 293 |7089 | 0 | 0 | 0 |1535k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
871.01/871.02 c 831s| 1190k|126486 | 0 | 0.0 | 183M| 176 | - | 293 | 19k| 0 | 0 | 0 |1562k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
890.71/890.71 o 24
890.71/890.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.71/890.71 c * 850s| 1198k| 88515 | 0 | 0.0 | 135M| 176 | - | 293 | 25k| 0 | 0 | 0 |1590k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
895.21/895.22 c 855s| 1200k| 87065 | 0 | 0.0 | 134M| 176 | - | 293 | 26k| 0 | 0 | 0 |1595k| 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
923.92/923.98 c 883s| 1210k| 77794 | 0 | 0.0 | 123M| 176 | - | 293 | 35k| 0 | 0 | 0 |1625k| 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
930.71/930.73 c 889s| 1220k| 84451 | 0 | 0.0 | 120M| 176 | - | 293 | 17k| 0 | 0 | 0 |1634k| 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
935.51/935.57 c 894s| 1230k| 90137 | 0 | 0.0 | 124M| 176 | - | 293 | 17k| 0 | 0 | 0 |1644k| 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
943.51/943.57 c 902s| 1240k| 91971 | 0 | 0.0 | 127M| 176 | - | 293 | 18k| 0 | 0 | 0 |1660k| 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
949.32/949.32 c 907s| 1250k| 96079 | 0 | 0.0 | 127M| 176 | - | 293 | 11k| 0 | 0 | 0 |1672k| 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
958.32/958.35 c 916s| 1260k| 94081 | 0 | 0.0 | 127M| 176 | - | 293 | 12k| 0 | 0 | 0 |1690k| 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
968.92/968.97 c 926s| 1270k| 87092 | 0 | 0.0 | 119M| 176 | - | 293 | 11k| 0 | 0 | 0 |1709k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
973.11/973.12 c 930s| 1280k| 92417 | 0 | 0.0 | 123M| 176 | - | 293 | 13k| 0 | 0 | 0 |1722k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
978.72/978.78 c 935s| 1290k| 96332 | 0 | 0.0 | 128M| 176 | - | 293 | 16k| 0 | 0 | 0 |1737k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
985.62/985.67 c 941s| 1300k| 99495 | 0 | 0.0 | 133M| 176 | - | 293 | 18k| 0 | 0 | 0 |1753k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
993.32/993.32 c 949s| 1310k|102272 | 0 | 0.0 | 136M| 176 | - | 293 | 19k| 0 | 0 | 0 |1769k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1002.12/1002.15 c 957s| 1320k|104076 | 0 | 0.0 | 140M| 176 | - | 293 | 21k| 0 | 0 | 0 |1787k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1012.51/1012.54 c 967s| 1330k|104917 | 0 | 0.0 | 144M| 176 | - | 293 | 25k| 0 | 0 | 0 |1806k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1025.71/1025.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.71/1025.76 c 980s| 1340k|103629 | 0 | 0.0 | 145M| 176 | - | 293 | 28k| 0 | 0 | 0 |1826k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1034.42/1034.41 c 988s| 1350k|107402 | 0 | 0.0 | 146M| 176 | - | 293 | 17k| 0 | 0 | 0 |1840k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1042.12/1042.11 c 996s| 1360k|109655 | 0 | 0.0 | 150M| 176 | - | 293 | 20k| 0 | 0 | 0 |1856k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1053.21/1053.29 c 1007s| 1370k|109186 | 0 | 0.0 | 150M| 176 | - | 293 | 20k| 0 | 0 | 0 |1874k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1064.82/1064.88 c 1018s| 1380k|107710 | 0 | 0.0 | 149M| 176 | - | 293 | 18k| 0 | 0 | 0 |1893k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1075.52/1075.56 c 1028s| 1390k|108658 | 0 | 0.0 | 152M| 176 | - | 293 | 21k| 0 | 0 | 0 |1913k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1088.92/1088.96 c 1041s| 1400k|107993 | 0 | 0.0 | 155M| 176 | - | 293 | 24k| 0 | 0 | 0 |1934k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1104.02/1104.09 c 1056s| 1410k|106484 | 0 | 0.0 | 158M| 176 | - | 293 | 26k| 0 | 0 | 0 |1955k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1121.22/1121.23 c 1073s| 1420k|104283 | 0 | 0.0 | 159M| 176 | - | 293 | 30k| 0 | 0 | 0 |1977k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1141.72/1141.78 c 1093s| 1430k|100398 | 0 | 0.0 | 158M| 176 | - | 293 | 34k| 0 | 0 | 0 |2001k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1163.42/1163.42 c 1114s| 1440k| 96494 | 0 | 0.0 | 154M| 176 | - | 293 | 32k| 0 | 0 | 0 |2024k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1177.03/1177.01 c 1127s| 1450k| 97938 | 0 | 0.0 | 155M| 176 | - | 293 | 27k| 0 | 0 | 0 |2042k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1190.72/1190.74 c 1141s| 1460k| 98299 | 0 | 0.0 | 158M| 176 | - | 293 | 31k| 0 | 0 | 0 |2060k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1208.83/1208.83 c 1158s| 1470k| 96397 | 0 | 0.0 | 157M| 176 | - | 293 | 33k| 0 | 0 | 0 |2081k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1230.03/1230.01 c 1179s| 1480k| 92978 | 0 | 0.0 | 154M| 176 | - | 293 | 30k| 0 | 0 | 0 |2103k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1256.52/1256.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.52/1256.53 c 1205s| 1490k| 85328 | 0 | 0.0 | 146M| 176 | - | 293 | 37k| 0 | 0 | 0 |2129k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1283.12/1283.16 c 1231s| 1500k| 79757 | 0 | 0.0 | 138M| 176 | - | 293 | 36k| 0 | 0 | 0 |2153k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1307.33/1307.30 c 1255s| 1510k| 76485 | 0 | 0.0 | 137M| 176 | - | 293 | 41k| 0 | 0 | 0 |2175k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1336.93/1336.97 c 1284s| 1520k| 70001 | 0 | 0.0 | 129M| 176 | - | 293 | 41k| 0 | 0 | 0 |2198k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1366.92/1366.92 c 1314s| 1530k| 63377 | 0 | 0.0 | 109M| 176 | - | 293 | 25k| 0 | 0 | 0 |2218k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1370.02/1370.05 c 1316s| 1540k| 70736 | 0 | 0.0 | 111M| 176 | - | 293 | 18k| 0 | 0 | 0 |2227k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1374.13/1374.18 c 1320s| 1550k| 76698 | 0 | 0.0 | 113M| 176 | - | 293 | 11k| 0 | 0 | 0 |2237k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1377.23/1377.22 c 1323s| 1560k| 83296 | 0 | 0.0 | 118M| 176 | - | 293 | 14k| 0 | 0 | 0 |2248k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1381.32/1381.30 c 1327s| 1570k| 89438 | 0 | 0.0 | 124M| 176 | - | 293 | 19k| 0 | 0 | 0 |2260k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1387.93/1387.96 c 1333s| 1580k| 93930 | 0 | 0.0 | 129M| 176 | - | 293 | 23k| 0 | 0 | 0 |2277k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1396.82/1396.81 c 1342s| 1590k| 96600 | 0 | 0.0 | 134M| 176 | - | 293 | 27k| 0 | 0 | 0 |2296k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1407.72/1407.77 c 1352s| 1600k| 97205 | 0 | 0.0 | 138M| 176 | - | 293 | 33k| 0 | 0 | 0 |2316k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1414.92/1414.95 c 1359s| 1610k|101484 | 0 | 0.0 | 134M| 176 | - | 293 |9142 | 0 | 0 | 0 |2329k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1428.13/1428.17 c 1372s| 1620k| 92963 | 0 | 0.0 | 129M| 176 | - | 293 | 12k| 0 | 0 | 0 |2354k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1438.23/1438.29 c 1382s| 1630k| 86780 | 0 | 0.0 | 124M| 176 | - | 293 | 12k| 0 | 0 | 0 |2372k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1443.13/1443.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.13/1443.19 c 1386s| 1640k| 91761 | 0 | 0.0 | 128M| 176 | - | 293 | 14k| 0 | 0 | 0 |2385k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1449.52/1449.53 c 1392s| 1650k| 95716 | 0 | 0.0 | 133M| 176 | - | 293 | 18k| 0 | 0 | 0 |2400k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1457.62/1457.61 c 1400s| 1660k| 98703 | 0 | 0.0 | 139M| 176 | - | 293 | 22k| 0 | 0 | 0 |2417k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1467.53/1467.53 c 1410s| 1670k|101110 | 0 | 0.0 | 143M| 176 | - | 293 | 25k| 0 | 0 | 0 |2436k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1478.63/1478.68 c 1420s| 1680k|103333 | 0 | 0.0 | 148M| 176 | - | 293 | 29k| 0 | 0 | 0 |2455k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1491.83/1491.80 c 1433s| 1690k|104905 | 0 | 0.0 | 153M| 176 | - | 293 | 32k| 0 | 0 | 0 |2475k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1507.62/1507.62 c 1449s| 1700k|105303 | 0 | 0.0 | 157M| 176 | - | 293 | 37k| 0 | 0 | 0 |2498k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1527.02/1527.06 c 1468s| 1710k|104083 | 0 | 0.0 | 160M| 176 | - | 293 | 41k| 0 | 0 | 0 |2522k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1550.62/1550.67 c 1491s| 1720k|101048 | 0 | 0.0 | 161M| 176 | - | 293 | 46k| 0 | 0 | 0 |2549k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1573.53/1573.55 c 1513s| 1730k|100750 | 0 | 0.0 | 157M| 176 | - | 293 | 33k| 0 | 0 | 0 |2569k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1581.13/1581.14 c 1521s| 1740k|106244 | 0 | 0.0 | 157M| 176 | - | 293 | 19k| 0 | 0 | 0 |2581k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1589.03/1589.05 c 1528s| 1750k|109555 | 0 | 0.0 | 162M| 176 | - | 293 | 22k| 0 | 0 | 0 |2598k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1596.83/1596.88 c 1536s| 1760k|113246 | 0 | 0.0 | 163M| 176 | - | 293 | 15k| 0 | 0 | 0 |2613k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1608.03/1608.06 c 1547s| 1770k|108906 | 0 | 0.0 | 156M| 176 | - | 293 | 10k| 0 | 0 | 0 |2634k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1617.03/1617.08 c 1555s| 1780k|105560 | 0 | 0.0 | 153M| 176 | - | 293 | 15k| 0 | 0 | 0 |2656k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1628.03/1628.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.03/1628.08 c 1566s| 1790k|105770 | 0 | 0.0 | 157M| 176 | - | 293 | 19k| 0 | 0 | 0 |2677k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1642.73/1642.75 c 1580s| 1800k|104944 | 0 | 0.0 | 161M| 176 | - | 293 | 25k| 0 | 0 | 0 |2700k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1661.23/1661.26 c 1598s| 1810k|102724 | 0 | 0.0 | 163M| 176 | - | 293 | 30k| 0 | 0 | 0 |2725k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1684.53/1684.57 c 1621s| 1820k| 99276 | 0 | 0.0 | 164M| 176 | - | 293 | 37k| 0 | 0 | 0 |2751k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1713.24/1713.26 c 1649s| 1830k| 94972 | 0 | 0.0 | 165M| 176 | - | 293 | 43k| 0 | 0 | 0 |2778k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1748.83/1748.88 c 1684s| 1840k| 88904 | 0 | 0.0 | 162M| 176 | - | 293 | 48k| 0 | 0 | 0 |2807k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
1790.54/1790.59 c 1726s| 1850k| 80108 | 0 | 0.0 | 151M| 176 | - | 293 | 52k| 0 | 0 | 0 |2839k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
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) : 1735.02
1800.04/1800.00 c Solving Nodes : 1853298
1800.04/1800.00 c Primal Bound : +2.40000000000000e+01 (16 solutions)
1800.04/1800.00 c Dual Bound : +1.40000000000000e+01
1800.04/1800.00 c Gap : 71.43 %
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 : 1735.02
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2694020-1277900137.wbo
1800.04/1800.00 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.04/1800.00 c Constraints : 166 initial, 166 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2694020-1277900137.wbo
1800.04/1800.00 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
1800.04/1800.00 c Constraints : 158 initial, 54779 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 4 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 2 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 62 0 6 2 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 : - 0 - - 0 - - - -
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 : 62 0 5326047 0 1169144 9215 1594959 0 0 0
1800.04/1800.00 c setppc : 30 0 5678493 0 1239480 42134 6115058 0 0 0
1800.04/1800.00 c linear : 62 0 5636424 0 1239487 626452 24751628 0 0 0
1800.04/1800.00 c logicor : 4+ 0 2718131 0 1181795 190118 1691410 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 112885 0 0 0 189 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1239503 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 : 2.18 0.00 1.39 0.00 0.79
1800.04/1800.00 c setppc : 17.31 0.00 13.87 0.00 3.44
1800.04/1800.00 c linear : 127.54 0.00 127.47 0.00 0.07
1800.04/1800.00 c logicor : 789.61 0.00 789.34 0.00 0.27
1800.04/1800.00 c bounddisjunction : 0.14 0.00 0.14 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.00 2 0 0
1800.04/1800.00 c rootredcost : 0.00 0 0 0
1800.04/1800.00 c pseudoobj : 12.13 5703036 15411 1465281
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 48.27 874112 874042 4757237 25.8 325640 14.5 -
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.02 91 91 501 28.1 46 14.8 -
1800.04/1800.00 c applied globally : - - - 2773191 18.1 - - -
1800.04/1800.00 c applied locally : - - - 73046 37.7 - - -
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 : 8.48 1239487 0 0 0 0 2478974
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.23 - 16
1800.04/1800.00 c oneopt : 0.04 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.01 0 0
1800.04/1800.00 c trysol : 0.01 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 : 1853298
1800.04/1800.00 c nodes (total) : 1853298
1800.04/1800.00 c nodes left : 80470
1800.04/1800.00 c max depth : 176
1800.04/1800.00 c max depth (total): 176
1800.04/1800.00 c backtracks : 663091 (35.8%)
1800.04/1800.00 c delayed cutoffs : 442120
1800.04/1800.00 c repropagations : 2243785 (9720406 domain reductions, 269626 cutoffs)
1800.04/1800.00 c avg switch length: 21.59
1800.04/1800.00 c switching time : 578.78
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 16 (16 improvements)
1800.04/1800.00 c First Solution : +5.57000000000000e+02 (in run 1, after 58346 nodes, 13.63 seconds, depth 101, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +2.40000000000000e+01 (in run 1, after 1198361 nodes, 850.09 seconds, depth 64, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +1.40000000000000e+01
1800.04/1800.00 c Gap : 71.43 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.34/1800.31 c Time complete: 1800.35.