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-2693950-1277898270.wbo>
0.00/0.00 c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 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, 32 impls, 49 clqs
0.00/0.01 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/196 (51.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 32 implications, 49 cliques
0.00/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02 c 27 constraints of type <indicator>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 27 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 o 164
0.09/0.12 c * 0.1s| 1435 | 1106 | 0 | 0.0 |1609k| 116 | - | 223 | 586 | 0 | 0 | 0 | 528 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1.10/1.15 o 81
1.10/1.15 c * 0.9s| 9563 | 5747 | 0 | 0.0 |6376k| 116 | - | 223 |4273 | 0 | 0 | 0 |6047 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
1.10/1.19 c 0.9s| 10000 | 6117 | 0 | 0.0 |6453k| 116 | - | 223 |3896 | 0 | 0 | 0 |6106 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
3.09/3.18 c 2.6s| 20000 | 10892 | 0 | 0.0 | 11M| 116 | - | 223 |7026 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
6.19/6.25 c 5.4s| 30000 | 13441 | 0 | 0.0 | 16M| 116 | - | 223 | 11k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.59/8.65 c 7.5s| 40000 | 17764 | 0 | 0.0 | 18M| 116 | - | 223 |3112 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.49/11.59 c 10.1s| 50000 | 19082 | 0 | 0.0 | 22M| 116 | - | 223 |6834 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
15.49/15.52 c 13.6s| 60000 | 19027 | 0 | 0.0 | 25M| 116 | - | 223 |9906 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.99/20.09 c 17.8s| 70000 | 18205 | 0 | 0.0 | 26M| 116 | - | 223 | 12k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
22.70/22.76 c 20.1s| 80000 | 22930 | 0 | 0.0 | 28M| 116 | - | 223 |6503 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
26.19/26.26 c 23.2s| 90000 | 24951 | 0 | 0.0 | 32M| 116 | - | 223 |9944 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.69/33.74 c 30.3s|100000 | 20188 | 0 | 0.0 | 31M| 116 | - | 223 | 18k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
43.09/43.16 c 39.4s|110000 | 17075 | 0 | 0.0 | 27M| 116 | - | 223 | 14k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
48.79/48.85 c 44.7s|120000 | 17721 | 0 | 0.0 | 28M| 116 | - | 223 | 12k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
54.69/54.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.69/54.73 c 50.2s|130000 | 17791 | 0 | 0.0 | 30M| 116 | - | 223 | 16k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
63.70/63.80 c 58.8s|140000 | 14215 | 0 | 0.0 | 25M| 116 | - | 223 | 20k| 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
73.19/73.21 c 67.9s|150000 | 12554 | 0 | 0.0 | 26M| 116 | - | 223 | 23k| 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
83.79/83.82 c 78.0s|160000 | 9536 | 0 | 0.0 | 25M| 116 | - | 223 | 27k| 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
96.89/96.92 c 90.7s|170000 | 5338 | 0 | 0.0 | 15M| 116 | - | 223 | 19k| 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
98.78/98.90 c 92.4s|180000 | 13188 | 0 | 0.0 | 15M| 116 | - | 223 |5858 | 0 | 0 | 0 | 204k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
101.20/101.24 c 94.4s|190000 | 18430 | 0 | 0.0 | 19M| 116 | - | 223 |7730 | 0 | 0 | 0 | 211k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
103.29/103.31 c 96.2s|200000 | 24455 | 0 | 0.0 | 22M| 116 | - | 223 |5179 | 0 | 0 | 0 | 216k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
104.99/105.01 c 97.7s|210000 | 31229 | 0 | 0.0 | 26M| 116 | - | 223 |5551 | 0 | 0 | 0 | 221k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
106.99/107.01 c 99.3s|220000 | 37350 | 0 | 0.0 | 30M| 116 | - | 223 |6247 | 0 | 0 | 0 | 227k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
109.09/109.16 c 101s|230000 | 43190 | 0 | 0.0 | 34M| 116 | - | 223 |7387 | 0 | 0 | 0 | 234k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
111.79/111.80 c 104s|240000 | 48128 | 0 | 0.0 | 39M| 116 | - | 223 |8831 | 0 | 0 | 0 | 242k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
114.58/114.69 c 106s|250000 | 52856 | 0 | 0.0 | 43M| 116 | - | 223 |9652 | 0 | 0 | 0 | 250k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
117.89/117.97 c 109s|260000 | 56811 | 0 | 0.0 | 47M| 116 | - | 223 | 10k| 0 | 0 | 0 | 258k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
121.58/121.66 c 112s|270000 | 60073 | 0 | 0.0 | 51M| 116 | - | 223 | 11k| 0 | 0 | 0 | 266k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
126.58/126.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.58/126.62 c 117s|280000 | 61031 | 0 | 0.0 | 55M| 116 | - | 223 | 13k| 0 | 0 | 0 | 277k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
130.09/130.14 c 120s|290000 | 65927 | 0 | 0.0 | 57M| 116 | - | 223 | 10k| 0 | 0 | 0 | 283k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
133.39/133.42 c 123s|300000 | 70931 | 0 | 0.0 | 61M| 116 | - | 223 | 10k| 0 | 0 | 0 | 290k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
136.99/137.06 c 127s|310000 | 75506 | 0 | 0.0 | 65M| 116 | - | 223 | 11k| 0 | 0 | 0 | 298k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
140.99/141.08 c 130s|320000 | 79661 | 0 | 0.0 | 69M| 116 | - | 223 | 12k| 0 | 0 | 0 | 306k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
145.19/145.22 c 134s|330000 | 83749 | 0 | 0.0 | 73M| 116 | - | 223 | 13k| 0 | 0 | 0 | 315k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
149.78/149.85 c 138s|340000 | 87305 | 0 | 0.0 | 77M| 116 | - | 223 | 13k| 0 | 0 | 0 | 323k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
154.59/154.69 c 143s|350000 | 90585 | 0 | 0.0 | 81M| 116 | - | 223 | 13k| 0 | 0 | 0 | 332k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
159.89/159.91 c 148s|360000 | 93274 | 0 | 0.0 | 84M| 116 | - | 223 | 13k| 0 | 0 | 0 | 341k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
165.38/165.43 c 153s|370000 | 95442 | 0 | 0.0 | 88M| 116 | - | 223 | 14k| 0 | 0 | 0 | 351k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
171.59/171.65 c 159s|380000 | 96820 | 0 | 0.0 | 91M| 116 | - | 223 | 15k| 0 | 0 | 0 | 362k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
177.69/177.79 c 164s|390000 | 98274 | 0 | 0.0 | 95M| 116 | - | 223 | 15k| 0 | 0 | 0 | 372k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
184.59/184.61 c 171s|400000 | 99105 | 0 | 0.0 | 98M| 116 | - | 223 | 17k| 0 | 0 | 0 | 383k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
191.78/191.81 c 178s|410000 | 99716 | 0 | 0.0 | 101M| 116 | - | 223 | 17k| 0 | 0 | 0 | 394k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
199.38/199.42 c 185s|420000 | 99817 | 0 | 0.0 | 103M| 116 | - | 223 | 18k| 0 | 0 | 0 | 405k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
207.28/207.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.28/207.37 c 193s|430000 | 99493 | 0 | 0.0 | 106M| 116 | - | 223 | 19k| 0 | 0 | 0 | 417k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
216.48/216.60 c 201s|440000 | 97832 | 0 | 0.0 | 107M| 116 | - | 223 | 21k| 0 | 0 | 0 | 429k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
227.77/227.83 c 212s|450000 | 94174 | 0 | 0.0 | 106M| 116 | - | 223 | 23k| 0 | 0 | 0 | 442k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
236.28/236.32 c 220s|460000 | 96692 | 0 | 0.0 | 108M| 116 | - | 223 | 18k| 0 | 0 | 0 | 452k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
246.08/246.16 c 230s|470000 | 97216 | 0 | 0.0 | 111M| 116 | - | 223 | 18k| 0 | 0 | 0 | 464k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
256.97/257.00 c 240s|480000 | 96650 | 0 | 0.0 | 113M| 116 | - | 223 | 19k| 0 | 0 | 0 | 477k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
268.68/268.74 c 252s|490000 | 95396 | 0 | 0.0 | 115M| 116 | - | 223 | 19k| 0 | 0 | 0 | 490k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
281.17/281.22 c 264s|500000 | 93654 | 0 | 0.0 | 117M| 116 | - | 223 | 20k| 0 | 0 | 0 | 503k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
294.17/294.26 c 276s|510000 | 91594 | 0 | 0.0 | 119M| 116 | - | 223 | 21k| 0 | 0 | 0 | 517k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
308.87/308.96 c 291s|520000 | 88055 | 0 | 0.0 | 118M| 116 | - | 223 | 22k| 0 | 0 | 0 | 531k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
324.67/324.72 c 306s|530000 | 83896 | 0 | 0.0 | 117M| 116 | - | 223 | 23k| 0 | 0 | 0 | 546k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
341.97/342.09 c 323s|540000 | 78891 | 0 | 0.0 | 115M| 116 | - | 223 | 25k| 0 | 0 | 0 | 562k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
360.87/360.95 c 341s|550000 | 73000 | 0 | 0.0 | 112M| 116 | - | 223 | 27k| 0 | 0 | 0 | 578k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
381.37/381.47 c 361s|560000 | 65586 | 0 | 0.0 | 106M| 116 | - | 223 | 30k| 0 | 0 | 0 | 595k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
403.96/404.00 c 383s|570000 | 55765 | 0 | 0.0 | 92M| 116 | - | 223 | 32k| 0 | 0 | 0 | 612k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
430.86/430.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.86/430.95 c 410s|580000 | 48564 | 0 | 0.0 | 84M| 116 | - | 223 | 27k| 0 | 0 | 0 | 630k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
463.36/463.46 c 442s|590000 | 33515 | 0 | 0.0 | 63M| 116 | - | 223 | 33k| 0 | 0 | 0 | 652k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
489.57/489.63 c 467s|600000 | 25637 | 0 | 0.0 | 44M| 116 | - | 223 | 21k| 0 | 0 | 0 | 668k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
504.16/504.26 c 482s|610000 | 22305 | 0 | 0.0 | 42M| 116 | - | 223 | 21k| 0 | 0 | 0 | 682k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
518.47/518.55 c 496s|620000 | 18760 | 0 | 0.0 | 41M| 116 | - | 223 | 24k| 0 | 0 | 0 | 695k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
535.58/535.70 c 512s|630000 | 11784 | 0 | 0.0 | 30M| 116 | - | 223 | 19k| 0 | 0 | 0 | 710k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
538.36/538.44 c 515s|640000 | 18015 | 0 | 0.0 | 28M| 116 | - | 223 |8890 | 0 | 0 | 0 | 715k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
540.17/540.29 c 516s|650000 | 25073 | 0 | 0.0 | 31M| 116 | - | 223 |6669 | 0 | 0 | 0 | 718k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
542.27/542.34 c 518s|660000 | 31511 | 0 | 0.0 | 36M| 116 | - | 223 |7849 | 0 | 0 | 0 | 722k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
545.16/545.22 c 521s|670000 | 36272 | 0 | 0.0 | 41M| 116 | - | 223 |9518 | 0 | 0 | 0 | 728k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
549.37/549.44 c 524s|680000 | 38435 | 0 | 0.0 | 45M| 116 | - | 223 | 11k| 0 | 0 | 0 | 736k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
552.76/552.80 c 527s|690000 | 43261 | 0 | 0.0 | 48M| 116 | - | 223 |8632 | 0 | 0 | 0 | 741k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
555.76/555.89 c 530s|700000 | 47925 | 0 | 0.0 | 52M| 116 | - | 223 |8948 | 0 | 0 | 0 | 746k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
559.37/559.41 c 533s|710000 | 51862 | 0 | 0.0 | 57M| 116 | - | 223 |9972 | 0 | 0 | 0 | 752k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
563.47/563.52 c 537s|720000 | 54870 | 0 | 0.0 | 61M| 116 | - | 223 | 11k| 0 | 0 | 0 | 759k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
568.26/568.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.26/568.34 c 542s|730000 | 56843 | 0 | 0.0 | 65M| 116 | - | 223 | 12k| 0 | 0 | 0 | 766k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
574.08/574.17 c 547s|740000 | 57313 | 0 | 0.0 | 68M| 116 | - | 223 | 13k| 0 | 0 | 0 | 775k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
581.06/581.12 c 554s|750000 | 56261 | 0 | 0.0 | 70M| 116 | - | 223 | 16k| 0 | 0 | 0 | 784k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
587.67/587.74 c 560s|760000 | 57234 | 0 | 0.0 | 69M| 116 | - | 223 | 10k| 0 | 0 | 0 | 792k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
591.46/591.57 c 563s|770000 | 61133 | 0 | 0.0 | 73M| 116 | - | 223 |9127 | 0 | 0 | 0 | 797k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
595.97/596.04 c 567s|780000 | 63360 | 0 | 0.0 | 76M| 116 | - | 223 |9769 | 0 | 0 | 0 | 804k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
601.58/601.61 c 573s|790000 | 63814 | 0 | 0.0 | 79M| 116 | - | 223 | 10k| 0 | 0 | 0 | 811k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
608.57/608.64 c 579s|800000 | 62189 | 0 | 0.0 | 80M| 116 | - | 223 | 12k| 0 | 0 | 0 | 821k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
616.87/616.93 c 587s|810000 | 58806 | 0 | 0.0 | 79M| 116 | - | 223 | 14k| 0 | 0 | 0 | 831k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
626.17/626.21 c 596s|820000 | 54704 | 0 | 0.0 | 73M| 116 | - | 223 | 12k| 0 | 0 | 0 | 841k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
633.87/633.97 c 603s|830000 | 52411 | 0 | 0.0 | 73M| 116 | - | 223 | 11k| 0 | 0 | 0 | 850k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
644.27/644.31 c 613s|840000 | 46907 | 0 | 0.0 | 70M| 116 | - | 223 | 14k| 0 | 0 | 0 | 861k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
654.37/654.49 c 623s|850000 | 43148 | 0 | 0.0 | 62M| 116 | - | 223 | 12k| 0 | 0 | 0 | 871k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
659.97/660.03 c 628s|860000 | 44233 | 0 | 0.0 | 62M| 116 | - | 223 | 12k| 0 | 0 | 0 | 879k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
665.27/665.30 c 633s|870000 | 46480 | 0 | 0.0 | 59M| 116 | - | 223 |9968 | 0 | 0 | 0 | 885k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
667.87/667.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.87/667.92 c 635s|880000 | 52684 | 0 | 0.0 | 63M| 116 | - | 223 | 11k| 0 | 0 | 0 | 890k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
671.37/671.49 c 638s|890000 | 57440 | 0 | 0.0 | 67M| 116 | - | 223 | 13k| 0 | 0 | 0 | 897k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
677.07/677.20 c 644s|900000 | 59321 | 0 | 0.0 | 71M| 116 | - | 223 | 16k| 0 | 0 | 0 | 907k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
682.68/682.78 c 649s|910000 | 61033 | 0 | 0.0 | 70M| 116 | - | 223 |8112 | 0 | 0 | 0 | 915k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
685.87/685.94 c 652s|920000 | 65906 | 0 | 0.0 | 75M| 116 | - | 223 | 10k| 0 | 0 | 0 | 921k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
690.77/690.87 c 656s|930000 | 69015 | 0 | 0.0 | 80M| 116 | - | 223 | 14k| 0 | 0 | 0 | 930k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
697.47/697.57 c 663s|940000 | 70839 | 0 | 0.0 | 84M| 116 | - | 223 | 17k| 0 | 0 | 0 | 941k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
705.38/705.41 c 670s|950000 | 71912 | 0 | 0.0 | 88M| 116 | - | 223 | 19k| 0 | 0 | 0 | 953k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
713.78/713.83 c 678s|960000 | 72914 | 0 | 0.0 | 91M| 116 | - | 223 | 20k| 0 | 0 | 0 | 964k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
722.77/722.88 c 687s|970000 | 73162 | 0 | 0.0 | 93M| 116 | - | 223 | 22k| 0 | 0 | 0 | 974k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
734.57/734.64 c 698s|980000 | 71509 | 0 | 0.0 | 90M| 116 | - | 223 | 12k| 0 | 0 | 0 | 985k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
740.67/740.77 c 704s|990000 | 72035 | 0 | 0.0 | 91M| 116 | - | 223 | 11k| 0 | 0 | 0 | 996k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
749.27/749.33 c 712s| 1000k| 71330 | 0 | 0.0 | 95M| 116 | - | 223 | 17k| 0 | 0 | 0 |1009k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
763.07/763.16 c 726s| 1010k| 68658 | 0 | 0.0 | 97M| 116 | - | 223 | 26k| 0 | 0 | 0 |1024k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
781.77/781.89 c 744s| 1020k| 65053 | 0 | 0.0 | 97M| 116 | - | 223 | 33k| 0 | 0 | 0 |1039k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
802.48/802.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.48/802.56 c 764s| 1030k| 60831 | 0 | 0.0 | 95M| 116 | - | 223 | 35k| 0 | 0 | 0 |1053k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
822.48/822.53 c 783s| 1040k| 56142 | 0 | 0.0 | 84M| 116 | - | 223 | 13k| 0 | 0 | 0 |1067k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
830.38/830.48 c 791s| 1050k| 54643 | 0 | 0.0 | 82M| 116 | - | 223 | 15k| 0 | 0 | 0 |1081k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
841.88/841.92 c 802s| 1060k| 51609 | 0 | 0.0 | 74M| 116 | - | 223 | 14k| 0 | 0 | 0 |1094k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
845.89/845.93 c 806s| 1070k| 56565 | 0 | 0.0 | 76M| 116 | - | 223 | 11k| 0 | 0 | 0 |1100k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
852.97/853.00 c 812s| 1080k| 56203 | 0 | 0.0 | 76M| 116 | - | 223 | 15k| 0 | 0 | 0 |1113k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
860.19/860.25 c 819s| 1090k| 58770 | 0 | 0.0 | 79M| 116 | - | 223 | 15k| 0 | 0 | 0 |1124k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
869.48/869.51 c 828s| 1100k| 58608 | 0 | 0.0 | 83M| 116 | - | 223 | 17k| 0 | 0 | 0 |1139k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
879.48/879.57 c 838s| 1110k| 57825 | 0 | 0.0 | 86M| 116 | - | 223 | 20k| 0 | 0 | 0 |1152k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
890.88/890.99 c 849s| 1120k| 57298 | 0 | 0.0 | 85M| 116 | - | 223 | 17k| 0 | 0 | 0 |1164k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
900.78/900.87 c 858s| 1130k| 56955 | 0 | 0.0 | 84M| 116 | - | 223 | 15k| 0 | 0 | 0 |1177k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
911.18/911.22 c 868s| 1140k| 54703 | 0 | 0.0 | 81M| 116 | - | 223 | 17k| 0 | 0 | 0 |1190k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
923.58/923.69 c 880s| 1150k| 52263 | 0 | 0.0 | 83M| 116 | - | 223 | 21k| 0 | 0 | 0 |1207k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
940.89/940.99 c 897s| 1160k| 45876 | 0 | 0.0 | 76M| 116 | - | 223 | 26k| 0 | 0 | 0 |1225k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
957.18/957.20 c 913s| 1170k| 43646 | 0 | 0.0 | 73M| 116 | - | 223 | 21k| 0 | 0 | 0 |1240k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
971.28/971.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.28/971.38 c 927s| 1180k| 40588 | 0 | 0.0 | 70M| 116 | - | 223 | 21k| 0 | 0 | 0 |1253k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
987.68/987.74 c 943s| 1190k| 32456 | 0 | 0.0 | 58M| 116 | - | 223 | 21k| 0 | 0 | 0 |1271k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
991.88/991.94 c 946s| 1200k| 37429 | 0 | 0.0 | 56M| 116 | - | 223 | 10k| 0 | 0 | 0 |1277k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
994.49/994.50 c 949s| 1210k| 43398 | 0 | 0.0 | 57M| 116 | - | 223 |8524 | 0 | 0 | 0 |1282k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
996.98/997.08 c 951s| 1220k| 49370 | 0 | 0.0 | 61M| 116 | - | 223 | 10k| 0 | 0 | 0 |1288k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1001.68/1001.75 c 955s| 1230k| 51936 | 0 | 0.0 | 66M| 116 | - | 223 | 13k| 0 | 0 | 0 |1298k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1007.49/1007.57 c 961s| 1240k| 53755 | 0 | 0.0 | 67M| 116 | - | 223 | 12k| 0 | 0 | 0 |1308k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1011.58/1011.61 c 965s| 1250k| 58632 | 0 | 0.0 | 71M| 116 | - | 223 | 12k| 0 | 0 | 0 |1315k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1016.98/1017.00 c 970s| 1260k| 61511 | 0 | 0.0 | 75M| 116 | - | 223 | 14k| 0 | 0 | 0 |1324k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1023.68/1023.74 c 976s| 1270k| 63114 | 0 | 0.0 | 79M| 116 | - | 223 | 17k| 0 | 0 | 0 |1335k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1031.89/1031.99 c 984s| 1280k| 63589 | 0 | 0.0 | 83M| 116 | - | 223 | 19k| 0 | 0 | 0 |1347k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1041.99/1042.08 c 994s| 1290k| 62224 | 0 | 0.0 | 83M| 116 | - | 223 | 22k| 0 | 0 | 0 |1360k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1052.28/1052.36 c 1004s| 1300k| 62943 | 0 | 0.0 | 86M| 116 | - | 223 | 18k| 0 | 0 | 0 |1371k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1063.18/1063.22 c 1014s| 1310k| 61941 | 0 | 0.0 | 88M| 116 | - | 223 | 20k| 0 | 0 | 0 |1383k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1076.38/1076.43 c 1027s| 1320k| 58735 | 0 | 0.0 | 87M| 116 | - | 223 | 23k| 0 | 0 | 0 |1397k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1092.49/1092.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.49/1092.58 c 1043s| 1330k| 53389 | 0 | 0.0 | 83M| 116 | - | 223 | 25k| 0 | 0 | 0 |1412k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1111.99/1112.10 c 1062s| 1340k| 45100 | 0 | 0.0 | 68M| 116 | - | 223 | 17k| 0 | 0 | 0 |1428k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1117.09/1117.17 c 1067s| 1350k| 48635 | 0 | 0.0 | 68M| 116 | - | 223 |6950 | 0 | 0 | 0 |1435k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1122.39/1122.43 c 1072s| 1360k| 49288 | 0 | 0.0 | 69M| 116 | - | 223 |8804 | 0 | 0 | 0 |1445k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1128.08/1128.14 c 1077s| 1370k| 49980 | 0 | 0.0 | 70M| 116 | - | 223 |6856 | 0 | 0 | 0 |1455k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1133.58/1133.65 c 1082s| 1380k| 50851 | 0 | 0.0 | 73M| 116 | - | 223 |8986 | 0 | 0 | 0 |1465k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1139.49/1139.57 c 1088s| 1390k| 51491 | 0 | 0.0 | 74M| 116 | - | 223 | 11k| 0 | 0 | 0 |1476k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1145.89/1145.90 c 1094s| 1400k| 51988 | 0 | 0.0 | 75M| 116 | - | 223 | 10k| 0 | 0 | 0 |1486k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1151.28/1151.33 c 1099s| 1410k| 54289 | 0 | 0.0 | 76M| 116 | - | 223 | 12k| 0 | 0 | 0 |1495k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1155.79/1155.88 c 1103s| 1420k| 58318 | 0 | 0.0 | 80M| 116 | - | 223 | 15k| 0 | 0 | 0 |1503k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1161.60/1161.62 c 1109s| 1430k| 61140 | 0 | 0.0 | 84M| 116 | - | 223 | 18k| 0 | 0 | 0 |1512k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1168.10/1168.18 c 1115s| 1440k| 62370 | 0 | 0.0 | 83M| 116 | - | 223 | 11k| 0 | 0 | 0 |1522k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1172.98/1173.05 c 1120s| 1450k| 65979 | 0 | 0.0 | 87M| 116 | - | 223 | 16k| 0 | 0 | 0 |1531k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1179.69/1179.73 c 1126s| 1460k| 68505 | 0 | 0.0 | 92M| 116 | - | 223 | 20k| 0 | 0 | 0 |1542k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1188.79/1188.88 c 1135s| 1470k| 69467 | 0 | 0.0 | 95M| 116 | - | 223 | 24k| 0 | 0 | 0 |1553k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1202.69/1202.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.69/1202.76 c 1149s| 1480k| 66823 | 0 | 0.0 | 97M| 116 | - | 223 | 27k| 0 | 0 | 0 |1568k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1209.69/1209.74 c 1155s| 1490k| 70803 | 0 | 0.0 | 93M| 116 | - | 223 |8997 | 0 | 0 | 0 |1574k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1214.89/1214.97 c 1160s| 1500k| 71845 | 0 | 0.0 | 96M| 116 | - | 223 | 13k| 0 | 0 | 0 |1587k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1225.49/1225.58 c 1171s| 1510k| 69972 | 0 | 0.0 | 100M| 116 | - | 223 | 21k| 0 | 0 | 0 |1603k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1244.60/1244.63 c 1189s| 1520k| 63218 | 0 | 0.0 | 96M| 116 | - | 223 | 30k| 0 | 0 | 0 |1621k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1250.59/1250.65 c 1195s| 1530k| 68845 | 0 | 0.0 | 92M| 116 | - | 223 | 10k| 0 | 0 | 0 |1626k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1253.29/1253.36 c 1198s| 1540k| 75049 | 0 | 0.0 | 95M| 116 | - | 223 |9959 | 0 | 0 | 0 |1631k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1256.69/1256.74 c 1201s| 1550k| 80194 | 0 | 0.0 | 100M| 116 | - | 223 | 11k| 0 | 0 | 0 |1638k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1261.00/1261.03 c 1205s| 1560k| 84074 | 0 | 0.0 | 104M| 116 | - | 223 | 12k| 0 | 0 | 0 |1646k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1269.79/1269.89 c 1213s| 1570k| 80963 | 0 | 0.0 | 103M| 116 | - | 223 | 18k| 0 | 0 | 0 |1662k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1276.00/1276.05 c 1219s| 1580k| 84528 | 0 | 0.0 | 100M| 116 | - | 223 | 11k| 0 | 0 | 0 |1670k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1280.20/1280.29 c 1223s| 1590k| 88765 | 0 | 0.0 | 104M| 116 | - | 223 | 11k| 0 | 0 | 0 |1677k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1285.09/1285.14 c 1228s| 1600k| 92246 | 0 | 0.0 | 108M| 116 | - | 223 | 13k| 0 | 0 | 0 |1685k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1291.19/1291.25 c 1234s| 1610k| 94772 | 0 | 0.0 | 112M| 116 | - | 223 | 15k| 0 | 0 | 0 |1694k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1298.19/1298.25 c 1240s| 1620k| 96629 | 0 | 0.0 | 115M| 116 | - | 223 | 17k| 0 | 0 | 0 |1704k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1305.79/1305.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.79/1305.87 c 1248s| 1630k| 97877 | 0 | 0.0 | 118M| 116 | - | 223 | 19k| 0 | 0 | 0 |1714k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1314.20/1314.24 c 1256s| 1640k| 98387 | 0 | 0.0 | 121M| 116 | - | 223 | 22k| 0 | 0 | 0 |1724k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1325.89/1325.98 c 1267s| 1650k| 95885 | 0 | 0.0 | 121M| 116 | - | 223 | 24k| 0 | 0 | 0 |1738k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1334.80/1334.82 c 1276s| 1660k| 98147 | 0 | 0.0 | 123M| 116 | - | 223 | 16k| 0 | 0 | 0 |1748k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1344.50/1344.60 c 1285s| 1670k| 97931 | 0 | 0.0 | 126M| 116 | - | 223 | 17k| 0 | 0 | 0 |1761k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1356.69/1356.72 c 1297s| 1680k| 95897 | 0 | 0.0 | 128M| 116 | - | 223 | 20k| 0 | 0 | 0 |1775k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1371.29/1371.39 c 1311s| 1690k| 92361 | 0 | 0.0 | 128M| 116 | - | 223 | 25k| 0 | 0 | 0 |1790k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1388.11/1388.17 c 1328s| 1700k| 88536 | 0 | 0.0 | 127M| 116 | - | 223 | 28k| 0 | 0 | 0 |1804k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1408.30/1408.30 c 1347s| 1710k| 82699 | 0 | 0.0 | 124M| 116 | - | 223 | 33k| 0 | 0 | 0 |1819k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1420.40/1420.47 c 1359s| 1720k| 83300 | 0 | 0.0 | 118M| 116 | - | 223 | 14k| 0 | 0 | 0 |1831k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1429.20/1429.29 c 1368s| 1730k| 83104 | 0 | 0.0 | 119M| 116 | - | 223 | 16k| 0 | 0 | 0 |1843k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1440.50/1440.56 c 1379s| 1740k| 80088 | 0 | 0.0 | 118M| 116 | - | 223 | 17k| 0 | 0 | 0 |1858k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1460.30/1460.37 c 1398s| 1750k| 70126 | 0 | 0.0 | 107M| 116 | - | 223 | 24k| 0 | 0 | 0 |1877k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1468.30/1468.33 c 1406s| 1760k| 72059 | 0 | 0.0 | 101M| 116 | - | 223 | 11k| 0 | 0 | 0 |1886k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1475.80/1475.87 c 1413s| 1770k| 71728 | 0 | 0.0 | 101M| 116 | - | 223 | 14k| 0 | 0 | 0 |1898k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1484.50/1484.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.50/1484.55 c 1422s| 1780k| 70562 | 0 | 0.0 | 98M| 116 | - | 223 | 14k| 0 | 0 | 0 |1910k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1490.40/1490.42 c 1427s| 1790k| 71744 | 0 | 0.0 | 98M| 116 | - | 223 |9043 | 0 | 0 | 0 |1918k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1494.00/1494.09 c 1431s| 1800k| 76152 | 0 | 0.0 | 99M| 116 | - | 223 |7785 | 0 | 0 | 0 |1924k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1497.30/1497.30 c 1434s| 1810k| 81000 | 0 | 0.0 | 104M| 116 | - | 223 | 10k| 0 | 0 | 0 |1932k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1502.61/1502.64 c 1439s| 1820k| 83528 | 0 | 0.0 | 107M| 116 | - | 223 | 13k| 0 | 0 | 0 |1942k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1510.20/1510.22 c 1446s| 1830k| 83507 | 0 | 0.0 | 109M| 116 | - | 223 | 15k| 0 | 0 | 0 |1954k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1518.50/1518.54 c 1454s| 1840k| 82189 | 0 | 0.0 | 109M| 116 | - | 223 | 11k| 0 | 0 | 0 |1965k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1526.50/1526.52 c 1462s| 1850k| 81444 | 0 | 0.0 | 109M| 116 | - | 223 | 11k| 0 | 0 | 0 |1976k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1531.20/1531.29 c 1466s| 1860k| 84585 | 0 | 0.0 | 112M| 116 | - | 223 |9354 | 0 | 0 | 0 |1985k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1538.20/1538.24 c 1473s| 1870k| 84168 | 0 | 0.0 | 113M| 116 | - | 223 | 12k| 0 | 0 | 0 |1997k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1544.80/1544.80 c 1479s| 1880k| 85032 | 0 | 0.0 | 112M| 116 | - | 223 | 10k| 0 | 0 | 0 |2008k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1548.30/1548.38 c 1482s| 1890k| 90107 | 0 | 0.0 | 116M| 116 | - | 223 | 11k| 0 | 0 | 0 |2014k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1553.60/1553.63 c 1487s| 1900k| 93216 | 0 | 0.0 | 121M| 116 | - | 223 | 14k| 0 | 0 | 0 |2024k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1560.70/1560.70 c 1494s| 1910k| 95283 | 0 | 0.0 | 125M| 116 | - | 223 | 18k| 0 | 0 | 0 |2035k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1570.70/1570.73 c 1504s| 1920k| 95328 | 0 | 0.0 | 128M| 116 | - | 223 | 22k| 0 | 0 | 0 |2047k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1584.41/1584.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.41/1584.45 c 1517s| 1930k| 92880 | 0 | 0.0 | 129M| 116 | - | 223 | 25k| 0 | 0 | 0 |2062k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1599.50/1599.53 c 1532s| 1940k| 88975 | 0 | 0.0 | 123M| 116 | - | 223 | 17k| 0 | 0 | 0 |2075k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1608.40/1608.40 c 1541s| 1950k| 89088 | 0 | 0.0 | 123M| 116 | - | 223 | 11k| 0 | 0 | 0 |2087k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1618.01/1618.06 c 1550s| 1960k| 86705 | 0 | 0.0 | 123M| 116 | - | 223 | 13k| 0 | 0 | 0 |2102k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1625.41/1625.45 c 1557s| 1970k| 87177 | 0 | 0.0 | 123M| 116 | - | 223 | 14k| 0 | 0 | 0 |2113k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1632.61/1632.69 c 1564s| 1980k| 88872 | 0 | 0.0 | 127M| 116 | - | 223 | 18k| 0 | 0 | 0 |2124k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1644.81/1644.83 c 1576s| 1990k| 87465 | 0 | 0.0 | 130M| 116 | - | 223 | 23k| 0 | 0 | 0 |2138k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1662.60/1662.64 c 1593s| 2000k| 83469 | 0 | 0.0 | 130M| 116 | - | 223 | 29k| 0 | 0 | 0 |2154k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1689.41/1689.40 c 1620s| 2010k| 74884 | 0 | 0.0 | 118M| 116 | - | 223 | 23k| 0 | 0 | 0 |2173k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1706.41/1706.40 c 1636s| 2020k| 68901 | 0 | 0.0 | 110M| 116 | - | 223 | 17k| 0 | 0 | 0 |2189k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1719.61/1719.66 c 1649s| 2030k| 63408 | 0 | 0.0 | 105M| 116 | - | 223 | 21k| 0 | 0 | 0 |2206k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1727.90/1727.91 c 1657s| 2040k| 65223 | 0 | 0.0 | 98M| 116 | - | 223 |9208 | 0 | 0 | 0 |2215k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1731.51/1731.52 c 1661s| 2050k| 69102 | 0 | 0.0 | 99M| 116 | - | 223 |7090 | 0 | 0 | 0 |2223k| 0 | 3.700000e+01 | 8.100000e+01 | 118.92%
1733.81/1733.86 c 1663s| 2060k| 75223 | 0 | 0.0 | 101M| 116 | - | 223 |5719 | 0 | 0 | 0 |2228k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1736.21/1736.24 c 1665s| 2070k| 81119 | 0 | 0.0 | 106M| 116 | - | 223 |7673 | 0 | 0 | 0 |2233k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1740.01/1740.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.01/1740.00 c 1668s| 2080k| 84947 | 0 | 0.0 | 111M| 116 | - | 223 | 10k| 0 | 0 | 0 |2241k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1745.20/1745.27 c 1673s| 2090k| 87492 | 0 | 0.0 | 115M| 116 | - | 223 | 13k| 0 | 0 | 0 |2251k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1750.41/1750.41 c 1678s| 2100k| 90770 | 0 | 0.0 | 116M| 116 | - | 223 |7671 | 0 | 0 | 0 |2259k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1754.21/1754.21 c 1682s| 2110k| 93725 | 0 | 0.0 | 120M| 116 | - | 223 |9238 | 0 | 0 | 0 |2268k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1762.12/1762.11 c 1689s| 2120k| 90924 | 0 | 0.0 | 119M| 116 | - | 223 | 13k| 0 | 0 | 0 |2283k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1770.91/1771.00 c 1698s| 2130k| 90218 | 0 | 0.0 | 118M| 116 | - | 223 | 16k| 0 | 0 | 0 |2295k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1774.91/1774.93 c 1702s| 2140k| 96504 | 0 | 0.0 | 121M| 116 | - | 223 | 11k| 0 | 0 | 0 |2300k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1779.41/1779.44 c 1706s| 2150k|100838 | 0 | 0.0 | 125M| 116 | - | 223 | 12k| 0 | 0 | 0 |2308k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1785.51/1785.56 c 1712s| 2160k|103254 | 0 | 0.0 | 130M| 116 | - | 223 | 14k| 0 | 0 | 0 |2318k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1793.61/1793.67 c 1719s| 2170k|103828 | 0 | 0.0 | 134M| 116 | - | 223 | 17k| 0 | 0 | 0 |2329k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1725.30
1800.01/1800.00 c Solving Nodes : 2176618
1800.01/1800.00 c Primal Bound : +8.10000000000000e+01 (2 solutions)
1800.01/1800.00 c Dual Bound : +4.00000000000000e+01
1800.01/1800.00 c Gap : 102.50 %
1800.01/1800.00 s SATISFIABLE
1800.01/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.01/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.01/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.01/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.01/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 -x56
1800.01/1800.00 v -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.01/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.01/1800.00 v -x4 -x3 -x2 -x1
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time : 1725.30
1800.01/1800.00 c Original Problem :
1800.01/1800.00 c Problem name : HOME/instance-2693950-1277898270.wbo
1800.01/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.01/1800.00 c Constraints : 130 initial, 130 maximal
1800.01/1800.00 c Presolved Problem :
1800.01/1800.00 c Problem name : t_HOME/instance-2693950-1277898270.wbo
1800.01/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.01/1800.00 c Constraints : 112 initial, 37117 maximal
1800.01/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.01/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.01/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.01/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c root node : - 5 - - 10 - - - -
1800.01/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c indicator : 27 0 6513578 0 1352508 139 231086 0 0 0
1800.01/1800.00 c setppc : 49 0 6776116 0 1402088 142312 14147822 0 0 0
1800.01/1800.00 c linear : 27 0 6633804 0 1402088 403153 25573442 0 0 0
1800.01/1800.00 c logicor : 9+ 0 3622764 0 1401799 569580 2052718 0 0 0
1800.01/1800.00 c bounddisjunction : 0+ 0 56832 0 0 0 1323 0 0 0
1800.01/1800.00 c countsols : 0 0 0 0 1402090 0 0 0 0 0
1800.01/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.00 c indicator : 0.86 0.00 0.38 0.00 0.48
1800.01/1800.00 c setppc : 34.77 0.00 28.01 0.00 6.76
1800.01/1800.00 c linear : 89.82 0.00 89.63 0.00 0.19
1800.01/1800.00 c logicor : 794.02 0.00 793.22 0.00 0.80
1800.01/1800.00 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1800.01/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.00 c vbounds : 0.00 2 0 0
1800.01/1800.00 c rootredcost : 0.00 0 0 0
1800.01/1800.00 c pseudoobj : 4.77 6776113 56 142739
1800.01/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.00 c propagation : 44.54 1115101 1115017 5577419 20.2 222107 14.6 -
1800.01/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c pseudo solution : 0.00 16 16 33 5.5 3 13.0 -
1800.01/1800.00 c applied globally : - - - 2328216 16.1 - - -
1800.01/1800.00 c applied locally : - - - 9594 34.1 - - -
1800.01/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.00 c redcost : 0.00 0 0 0 0 0
1800.01/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.00 c intobj : 0.00 0 0 0 0 0
1800.01/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.00 c gomory : 0.00 0 0 0 0 0
1800.01/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.00 c cmir : 0.00 0 0 0 0 0
1800.01/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.00 c clique : 0.00 0 0 0 0 0
1800.01/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.00 c mcf : 0.00 0 0 0 0 0
1800.01/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.00 c Pricers : Time Calls Vars
1800.01/1800.00 c problem variables: 0.00 0 0
1800.01/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.00 c inference : 8.88 1402088 0 0 0 0 2804176
1800.01/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.00 c random : 0.00 0 0 0 0 0 0
1800.01/1800.00 c Primal Heuristics : Time Calls Found
1800.01/1800.00 c LP solutions : 0.00 - 0
1800.01/1800.00 c pseudo solutions : 0.00 - 2
1800.01/1800.00 c oneopt : 0.07 0 0
1800.01/1800.00 c trivial : 0.00 2 0
1800.01/1800.00 c simplerounding : 0.00 0 0
1800.01/1800.00 c zirounding : 0.00 0 0
1800.01/1800.00 c rounding : 0.00 0 0
1800.01/1800.00 c shifting : 0.00 0 0
1800.01/1800.00 c intshifting : 0.00 0 0
1800.01/1800.00 c twoopt : 0.00 0 0
1800.01/1800.00 c fixandinfer : 0.00 0 0
1800.01/1800.00 c feaspump : 0.00 0 0
1800.01/1800.00 c coefdiving : 0.00 0 0
1800.01/1800.00 c pscostdiving : 0.00 0 0
1800.01/1800.00 c fracdiving : 0.00 0 0
1800.01/1800.00 c veclendiving : 0.00 0 0
1800.01/1800.00 c intdiving : 0.00 0 0
1800.01/1800.00 c actconsdiving : 0.00 0 0
1800.01/1800.00 c objpscostdiving : 0.00 0 0
1800.01/1800.00 c rootsoldiving : 0.00 0 0
1800.01/1800.00 c linesearchdiving : 0.00 0 0
1800.01/1800.00 c guideddiving : 0.00 0 0
1800.01/1800.00 c octane : 0.00 0 0
1800.01/1800.00 c rens : 0.00 0 0
1800.01/1800.00 c rins : 0.00 0 0
1800.01/1800.00 c localbranching : 0.00 0 0
1800.01/1800.00 c mutation : 0.00 0 0
1800.01/1800.00 c crossover : 0.00 0 0
1800.01/1800.00 c dins : 0.00 0 0
1800.01/1800.00 c undercover : 0.00 0 0
1800.01/1800.00 c nlp : 0.01 0 0
1800.01/1800.00 c trysol : 0.00 1 0
1800.01/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.00 c (at root node) : - 0 0 0.00 -
1800.01/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.00 c B&B Tree :
1800.01/1800.00 c number of runs : 1
1800.01/1800.00 c nodes : 2176618
1800.01/1800.00 c nodes (total) : 2176618
1800.01/1800.00 c nodes left : 103656
1800.01/1800.00 c max depth : 116
1800.01/1800.00 c max depth (total): 116
1800.01/1800.00 c backtracks : 820758 (37.7%)
1800.01/1800.00 c delayed cutoffs : 523822
1800.01/1800.00 c repropagations : 2668695 (11365617 domain reductions, 340728 cutoffs)
1800.01/1800.00 c avg switch length: 18.63
1800.01/1800.00 c switching time : 593.98
1800.01/1800.00 c Solution :
1800.01/1800.00 c Solutions found : 2 (2 improvements)
1800.01/1800.00 c First Solution : +1.64000000000000e+02 (in run 1, after 1435 nodes, 0.07 seconds, depth 80, found by <relaxation>)
1800.01/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 9563 nodes, 0.89 seconds, depth 65, found by <relaxation>)
1800.01/1800.00 c Dual Bound : +4.00000000000000e+01
1800.01/1800.00 c Gap : 102.50 %
1800.01/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Root Iterations : 0
1800.21/1800.25 c Time complete: 1800.27.