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-2693992-1277899292.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.00 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.01/0.02 c (0.0s) probing: 101/196 (51.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.02 c presolving (5 rounds):
0.01/0.02 c 2 deleted vars, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.01/0.02 c 32 implications, 49 cliques
0.01/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.01/0.02 c 27 constraints of type <indicator>
0.01/0.02 c 49 constraints of type <setppc>
0.01/0.02 c 27 constraints of type <linear>
0.01/0.02 c 9 constraints of type <logicor>
0.01/0.02 c transformed objective value is always integral (scale: 1)
0.01/0.02 c Presolving Time: 0.01
0.01/0.02 c - non default parameters ----------------------------------------------------------------------
0.01/0.02 c # SCIP version 1.2.1.2
0.01/0.02 c
0.01/0.02 c # frequency for displaying node information lines
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.02 c display/freq = 10000
0.01/0.02 c
0.01/0.02 c # maximal time in seconds to run
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/time = 1800
0.01/0.02 c
0.01/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/memory = 3420
0.01/0.02 c
0.01/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.02 c lp/solvefreq = -1
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify inequalities
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/linear/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify knapsacks
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.02 c separating/rapidlearning/freq = 0
0.01/0.02 c
0.01/0.02 c -----------------------------------------------------------------------------------------------
0.01/0.02 c start solving
0.01/0.02 c
0.01/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.01/0.02 c 0.0s| 1 | 2 | 0 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.15 c 1.1s| 10000 | 6298 | 0 | 0.0 |6526k| 116 | - | 223 |3866 | 0 | 0 | 0 |5705 | 0 | 0.000000e+00 | -- | Inf
1.39/1.44 o 181
1.39/1.44 c * 1.3s| 11554 | 6881 | 0 | 0.0 |7651k| 116 | - | 223 |5215 | 0 | 0 | 0 |7311 | 0 | 0.000000e+00 | 1.810000e+02 | Inf
1.39/1.44 o 81
1.39/1.44 c * 1.3s| 11555 | 6858 | 0 | 0.0 |7648k| 116 | - | 223 |5215 | 0 | 0 | 0 |7311 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.49/2.52 c 2.4s| 20000 | 12218 | 0 | 0.0 | 10M| 116 | - | 223 |2212 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.19/4.26 c 4.0s| 30000 | 16901 | 0 | 0.0 | 14M| 116 | - | 223 |3401 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
6.69/6.73 c 6.4s| 40000 | 19082 | 0 | 0.0 | 18M| 116 | - | 223 |6421 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.29/8.35 c 7.9s| 50000 | 24649 | 0 | 0.0 | 20M| 116 | - | 223 |2200 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.09/11.11 c 10.6s| 60000 | 27567 | 0 | 0.0 | 25M| 116 | - | 223 |7778 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
15.39/15.44 c 14.8s| 70000 | 28835 | 0 | 0.0 | 29M| 116 | - | 223 | 10k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
21.19/21.29 c 20.6s| 80000 | 27571 | 0 | 0.0 | 31M| 116 | - | 223 | 11k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
27.99/28.01 c 27.1s| 90000 | 25670 | 0 | 0.0 | 32M| 116 | - | 223 | 14k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
32.49/32.59 c 31.6s|100000 | 28798 | 0 | 0.0 | 31M| 116 | - | 223 |5048 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
34.79/34.87 c 33.8s|110000 | 34596 | 0 | 0.0 | 35M| 116 | - | 223 |5585 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
37.89/37.99 c 36.8s|120000 | 38511 | 0 | 0.0 | 39M| 116 | - | 223 |6789 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
43.48/43.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.48/43.59 c 42.3s|130000 | 37094 | 0 | 0.0 | 41M| 116 | - | 223 | 11k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
54.38/54.48 c 53.0s|140000 | 31356 | 0 | 0.0 | 39M| 116 | - | 223 | 18k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
65.29/65.31 c 63.7s|150000 | 27893 | 0 | 0.0 | 32M| 116 | - | 223 | 14k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
69.68/69.72 c 68.0s|160000 | 31109 | 0 | 0.0 | 33M| 116 | - | 223 |8010 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
74.88/74.97 c 73.1s|170000 | 31932 | 0 | 0.0 | 36M| 116 | - | 223 |9774 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
81.19/81.21 c 79.2s|180000 | 31797 | 0 | 0.0 | 38M| 116 | - | 223 | 12k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
88.68/88.77 c 86.7s|190000 | 29879 | 0 | 0.0 | 38M| 116 | - | 223 | 14k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
99.09/99.16 c 96.9s|200000 | 25119 | 0 | 0.0 | 31M| 116 | - | 223 | 11k| 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
109.29/109.34 c 107s|210000 | 20223 | 0 | 0.0 | 31M| 116 | - | 223 | 18k| 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
123.09/123.20 c 121s|220000 | 14442 | 0 | 0.0 | 28M| 116 | - | 223 | 27k| 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
135.89/135.97 c 133s|230000 | 13363 | 0 | 0.0 | 18M| 116 | - | 223 |9825 | 0 | 0 | 0 | 262k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
137.89/137.91 c 135s|240000 | 20811 | 0 | 0.0 | 21M| 116 | - | 223 |7133 | 0 | 0 | 0 | 267k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
141.49/141.57 c 139s|250000 | 24341 | 0 | 0.0 | 24M| 116 | - | 223 |4656 | 0 | 0 | 0 | 276k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
146.20/146.28 c 143s|260000 | 24718 | 0 | 0.0 | 25M| 116 | - | 223 |7932 | 0 | 0 | 0 | 287k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
149.89/149.90 c 147s|270000 | 28674 | 0 | 0.0 | 27M| 116 | - | 223 |6272 | 0 | 0 | 0 | 294k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
151.89/151.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.89/151.99 c 149s|280000 | 35423 | 0 | 0.0 | 31M| 116 | - | 223 |6499 | 0 | 0 | 0 | 298k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
154.48/154.56 c 151s|290000 | 41471 | 0 | 0.0 | 35M| 116 | - | 223 |8482 | 0 | 0 | 0 | 305k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
158.19/158.22 c 155s|300000 | 46183 | 0 | 0.0 | 40M| 116 | - | 223 | 10k| 0 | 0 | 0 | 313k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
162.49/162.58 c 159s|310000 | 50180 | 0 | 0.0 | 44M| 116 | - | 223 | 11k| 0 | 0 | 0 | 323k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
167.59/167.61 c 164s|320000 | 53189 | 0 | 0.0 | 48M| 116 | - | 223 | 12k| 0 | 0 | 0 | 334k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
173.29/173.32 c 170s|330000 | 54684 | 0 | 0.0 | 51M| 116 | - | 223 | 13k| 0 | 0 | 0 | 344k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
180.79/180.88 c 177s|340000 | 51666 | 0 | 0.0 | 49M| 116 | - | 223 |6850 | 0 | 0 | 0 | 358k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
184.99/185.03 c 181s|350000 | 54488 | 0 | 0.0 | 52M| 116 | - | 223 |9166 | 0 | 0 | 0 | 367k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
188.78/188.87 c 185s|360000 | 59316 | 0 | 0.0 | 56M| 116 | - | 223 | 11k| 0 | 0 | 0 | 374k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
193.59/193.69 c 189s|370000 | 63192 | 0 | 0.0 | 60M| 116 | - | 223 | 12k| 0 | 0 | 0 | 382k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
199.19/199.25 c 195s|380000 | 66424 | 0 | 0.0 | 64M| 116 | - | 223 | 14k| 0 | 0 | 0 | 391k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
206.09/206.15 c 202s|390000 | 68640 | 0 | 0.0 | 68M| 116 | - | 223 | 16k| 0 | 0 | 0 | 401k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
214.29/214.39 c 210s|400000 | 69927 | 0 | 0.0 | 72M| 116 | - | 223 | 17k| 0 | 0 | 0 | 413k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
223.69/223.70 c 219s|410000 | 70754 | 0 | 0.0 | 76M| 116 | - | 223 | 19k| 0 | 0 | 0 | 425k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
234.29/234.33 c 229s|420000 | 71062 | 0 | 0.0 | 79M| 116 | - | 223 | 21k| 0 | 0 | 0 | 437k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
246.49/246.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.49/246.59 c 242s|430000 | 70523 | 0 | 0.0 | 82M| 116 | - | 223 | 23k| 0 | 0 | 0 | 451k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
260.60/260.67 c 256s|440000 | 69024 | 0 | 0.0 | 85M| 116 | - | 223 | 26k| 0 | 0 | 0 | 465k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
276.49/276.51 c 271s|450000 | 66773 | 0 | 0.0 | 86M| 116 | - | 223 | 27k| 0 | 0 | 0 | 480k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
295.39/295.40 c 290s|460000 | 61560 | 0 | 0.0 | 83M| 116 | - | 223 | 27k| 0 | 0 | 0 | 496k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
308.39/308.49 c 303s|470000 | 59676 | 0 | 0.0 | 79M| 116 | - | 223 | 17k| 0 | 0 | 0 | 509k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
321.69/321.71 c 316s|480000 | 59041 | 0 | 0.0 | 82M| 116 | - | 223 | 21k| 0 | 0 | 0 | 523k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
340.79/340.85 c 335s|490000 | 56199 | 0 | 0.0 | 84M| 116 | - | 223 | 23k| 0 | 0 | 0 | 538k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
364.79/364.87 c 359s|500000 | 50804 | 0 | 0.0 | 83M| 116 | - | 223 | 27k| 0 | 0 | 0 | 555k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
394.39/394.47 c 388s|510000 | 44396 | 0 | 0.0 | 80M| 116 | - | 223 | 33k| 0 | 0 | 0 | 573k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
433.99/434.02 c 427s|520000 | 35289 | 0 | 0.0 | 72M| 116 | - | 223 | 40k| 0 | 0 | 0 | 593k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
489.88/489.91 c 482s|530000 | 22847 | 0 | 0.0 | 53M| 116 | - | 223 | 32k| 0 | 0 | 0 | 615k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
528.58/528.67 c 521s|540000 | 13387 | 0 | 0.0 | 30M| 116 | - | 223 | 23k| 0 | 0 | 0 | 632k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
550.38/550.49 c 542s|550000 | 9553 | 0 | 0.0 | 25M| 116 | - | 223 | 21k| 0 | 0 | 0 | 646k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
562.68/562.72 c 554s|560000 | 7240 | 0 | 0.0 | 20M| 116 | - | 223 | 13k| 0 | 0 | 0 | 659k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
565.39/565.41 c 556s|570000 | 13000 | 0 | 0.0 | 21M| 116 | - | 223 |7387 | 0 | 0 | 0 | 664k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
566.98/567.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.98/567.04 c 558s|580000 | 20562 | 0 | 0.0 | 25M| 116 | - | 223 |6040 | 0 | 0 | 0 | 666k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
568.98/569.09 c 559s|590000 | 26769 | 0 | 0.0 | 30M| 116 | - | 223 |7156 | 0 | 0 | 0 | 669k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
571.68/571.71 c 562s|600000 | 31815 | 0 | 0.0 | 35M| 116 | - | 223 |8261 | 0 | 0 | 0 | 674k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
575.18/575.25 c 565s|610000 | 34609 | 0 | 0.0 | 39M| 116 | - | 223 | 10k| 0 | 0 | 0 | 682k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
577.49/577.59 c 567s|620000 | 41327 | 0 | 0.0 | 43M| 116 | - | 223 |7384 | 0 | 0 | 0 | 686k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
580.28/580.30 c 569s|630000 | 46557 | 0 | 0.0 | 47M| 116 | - | 223 |7657 | 0 | 0 | 0 | 692k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
583.38/583.40 c 572s|640000 | 50854 | 0 | 0.0 | 52M| 116 | - | 223 |8523 | 0 | 0 | 0 | 698k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
587.18/587.22 c 576s|650000 | 54052 | 0 | 0.0 | 56M| 116 | - | 223 |9773 | 0 | 0 | 0 | 704k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
591.98/592.06 c 580s|660000 | 55782 | 0 | 0.0 | 60M| 116 | - | 223 | 10k| 0 | 0 | 0 | 712k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
597.48/597.52 c 585s|670000 | 56638 | 0 | 0.0 | 64M| 116 | - | 223 | 12k| 0 | 0 | 0 | 720k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
603.68/603.79 c 591s|680000 | 56745 | 0 | 0.0 | 65M| 116 | - | 223 | 13k| 0 | 0 | 0 | 729k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
607.78/607.80 c 595s|690000 | 61325 | 0 | 0.0 | 69M| 116 | - | 223 | 10k| 0 | 0 | 0 | 734k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
612.28/612.32 c 599s|700000 | 64328 | 0 | 0.0 | 73M| 116 | - | 223 | 10k| 0 | 0 | 0 | 740k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
617.68/617.75 c 604s|710000 | 66328 | 0 | 0.0 | 76M| 116 | - | 223 | 12k| 0 | 0 | 0 | 747k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
624.79/624.83 c 611s|720000 | 66745 | 0 | 0.0 | 80M| 116 | - | 223 | 14k| 0 | 0 | 0 | 755k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
633.78/633.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.78/633.80 c 619s|730000 | 65914 | 0 | 0.0 | 82M| 116 | - | 223 | 15k| 0 | 0 | 0 | 765k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
644.38/644.40 c 629s|740000 | 64044 | 0 | 0.0 | 83M| 116 | - | 223 | 18k| 0 | 0 | 0 | 775k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
656.59/656.63 c 641s|750000 | 61135 | 0 | 0.0 | 82M| 116 | - | 223 | 20k| 0 | 0 | 0 | 786k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
667.58/667.67 c 652s|760000 | 59966 | 0 | 0.0 | 80M| 116 | - | 223 | 14k| 0 | 0 | 0 | 796k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
677.18/677.23 c 661s|770000 | 58323 | 0 | 0.0 | 82M| 116 | - | 223 | 14k| 0 | 0 | 0 | 805k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
690.38/690.42 c 674s|780000 | 53342 | 0 | 0.0 | 80M| 116 | - | 223 | 17k| 0 | 0 | 0 | 816k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
707.68/707.71 c 690s|790000 | 45260 | 0 | 0.0 | 73M| 116 | - | 223 | 20k| 0 | 0 | 0 | 829k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
713.58/713.68 c 696s|800000 | 49539 | 0 | 0.0 | 71M| 116 | - | 223 | 10k| 0 | 0 | 0 | 836k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
720.39/720.49 c 702s|810000 | 44620 | 0 | 0.0 | 64M| 116 | - | 223 | 10k| 0 | 0 | 0 | 847k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
723.18/723.22 c 705s|820000 | 50874 | 0 | 0.0 | 67M| 116 | - | 223 |7969 | 0 | 0 | 0 | 852k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
726.89/726.91 c 708s|830000 | 55130 | 0 | 0.0 | 71M| 116 | - | 223 | 11k| 0 | 0 | 0 | 861k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
732.38/732.48 c 713s|840000 | 56759 | 0 | 0.0 | 74M| 116 | - | 223 | 12k| 0 | 0 | 0 | 872k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
737.79/737.81 c 718s|850000 | 58341 | 0 | 0.0 | 75M| 116 | - | 223 |4826 | 0 | 0 | 0 | 881k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
741.28/741.34 c 722s|860000 | 59710 | 0 | 0.0 | 76M| 116 | - | 223 |5507 | 0 | 0 | 0 | 889k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
744.38/744.49 c 724s|870000 | 63943 | 0 | 0.0 | 81M| 116 | - | 223 |9386 | 0 | 0 | 0 | 898k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
749.78/749.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.78/749.86 c 729s|880000 | 66023 | 0 | 0.0 | 85M| 116 | - | 223 | 13k| 0 | 0 | 0 | 909k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
757.68/757.72 c 737s|890000 | 66794 | 0 | 0.0 | 90M| 116 | - | 223 | 18k| 0 | 0 | 0 | 921k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
768.18/768.24 c 747s|900000 | 66607 | 0 | 0.0 | 93M| 116 | - | 223 | 24k| 0 | 0 | 0 | 934k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
784.58/784.60 c 763s|910000 | 63496 | 0 | 0.0 | 95M| 116 | - | 223 | 30k| 0 | 0 | 0 | 948k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
795.58/795.63 c 774s|920000 | 64859 | 0 | 0.0 | 89M| 116 | - | 223 |5872 | 0 | 0 | 0 | 956k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
800.79/800.82 c 779s|930000 | 65087 | 0 | 0.0 | 91M| 116 | - | 223 |8734 | 0 | 0 | 0 | 967k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
810.58/810.61 c 788s|940000 | 62686 | 0 | 0.0 | 95M| 116 | - | 223 | 15k| 0 | 0 | 0 | 983k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
826.78/826.84 c 804s|950000 | 58295 | 0 | 0.0 | 95M| 116 | - | 223 | 23k| 0 | 0 | 0 |1000k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
849.58/849.60 c 826s|960000 | 52172 | 0 | 0.0 | 91M| 116 | - | 223 | 34k| 0 | 0 | 0 |1018k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
866.78/866.81 c 843s|970000 | 49186 | 0 | 0.0 | 81M| 116 | - | 223 | 10k| 0 | 0 | 0 |1030k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
872.38/872.40 c 848s|980000 | 51091 | 0 | 0.0 | 82M| 116 | - | 223 | 11k| 0 | 0 | 0 |1039k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
890.08/890.12 c 865s|990000 | 42699 | 0 | 0.0 | 67M| 116 | - | 223 | 13k| 0 | 0 | 0 |1058k| 0 | 1.900000e+01 | 8.100000e+01 | 326.32%
893.78/893.86 c 869s| 1000k| 48302 | 0 | 0.0 | 70M| 116 | - | 223 | 11k| 0 | 0 | 0 |1065k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
899.08/899.12 c 874s| 1010k| 51208 | 0 | 0.0 | 74M| 116 | - | 223 | 14k| 0 | 0 | 0 |1076k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
905.98/906.09 c 880s| 1020k| 53747 | 0 | 0.0 | 78M| 116 | - | 223 | 18k| 0 | 0 | 0 |1088k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
915.19/915.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.19/915.21 c 889s| 1030k| 55725 | 0 | 0.0 | 82M| 116 | - | 223 | 18k| 0 | 0 | 0 |1100k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
926.58/926.66 c 900s| 1040k| 55385 | 0 | 0.0 | 84M| 116 | - | 223 | 20k| 0 | 0 | 0 |1114k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
941.08/941.19 c 914s| 1050k| 52676 | 0 | 0.0 | 85M| 116 | - | 223 | 22k| 0 | 0 | 0 |1130k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
953.38/953.46 c 926s| 1060k| 52538 | 0 | 0.0 | 82M| 116 | - | 223 | 15k| 0 | 0 | 0 |1142k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
964.38/964.46 c 937s| 1070k| 51410 | 0 | 0.0 | 84M| 116 | - | 223 | 20k| 0 | 0 | 0 |1159k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
982.78/982.87 c 955s| 1080k| 47424 | 0 | 0.0 | 83M| 116 | - | 223 | 26k| 0 | 0 | 0 |1178k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1007.58/1007.67 c 979s| 1090k| 42607 | 0 | 0.0 | 76M| 116 | - | 223 | 22k| 0 | 0 | 0 |1196k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1025.58/1025.60 c 997s| 1100k| 37650 | 0 | 0.0 | 68M| 116 | - | 223 | 20k| 0 | 0 | 0 |1214k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1037.48/1037.59 c 1008s| 1110k| 37753 | 0 | 0.0 | 61M| 116 | - | 223 | 10k| 0 | 0 | 0 |1226k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1040.88/1040.92 c 1011s| 1120k| 43169 | 0 | 0.0 | 63M| 116 | - | 223 |8382 | 0 | 0 | 0 |1232k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1042.79/1042.88 c 1013s| 1130k| 50161 | 0 | 0.0 | 67M| 116 | - | 223 |9135 | 0 | 0 | 0 |1236k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1045.28/1045.36 c 1015s| 1140k| 56311 | 0 | 0.0 | 71M| 116 | - | 223 | 10k| 0 | 0 | 0 |1241k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1049.39/1049.44 c 1019s| 1150k| 60067 | 0 | 0.0 | 76M| 116 | - | 223 | 13k| 0 | 0 | 0 |1250k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1054.88/1054.92 c 1024s| 1160k| 62776 | 0 | 0.0 | 79M| 116 | - | 223 | 13k| 0 | 0 | 0 |1260k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1059.38/1059.48 c 1028s| 1170k| 67575 | 0 | 0.0 | 82M| 116 | - | 223 | 12k| 0 | 0 | 0 |1268k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1064.08/1064.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.08/1064.15 c 1032s| 1180k| 71547 | 0 | 0.0 | 86M| 116 | - | 223 | 12k| 0 | 0 | 0 |1278k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1069.08/1069.13 c 1037s| 1190k| 74954 | 0 | 0.0 | 90M| 116 | - | 223 | 13k| 0 | 0 | 0 |1288k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1074.77/1074.86 c 1043s| 1200k| 77611 | 0 | 0.0 | 94M| 116 | - | 223 | 14k| 0 | 0 | 0 |1298k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1081.87/1081.93 c 1049s| 1210k| 78982 | 0 | 0.0 | 98M| 116 | - | 223 | 16k| 0 | 0 | 0 |1309k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1090.37/1090.45 c 1057s| 1220k| 79016 | 0 | 0.0 | 102M| 116 | - | 223 | 17k| 0 | 0 | 0 |1321k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1100.17/1100.24 c 1067s| 1230k| 77897 | 0 | 0.0 | 105M| 116 | - | 223 | 19k| 0 | 0 | 0 |1334k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1111.27/1111.35 c 1077s| 1240k| 77130 | 0 | 0.0 | 105M| 116 | - | 223 | 20k| 0 | 0 | 0 |1347k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1123.47/1123.54 c 1089s| 1250k| 77913 | 0 | 0.0 | 108M| 116 | - | 223 | 20k| 0 | 0 | 0 |1359k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1137.16/1137.28 c 1102s| 1260k| 76577 | 0 | 0.0 | 111M| 116 | - | 223 | 21k| 0 | 0 | 0 |1372k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1152.47/1152.56 c 1117s| 1270k| 74097 | 0 | 0.0 | 112M| 116 | - | 223 | 22k| 0 | 0 | 0 |1387k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1169.96/1170.07 c 1134s| 1280k| 69995 | 0 | 0.0 | 111M| 116 | - | 223 | 24k| 0 | 0 | 0 |1402k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1192.97/1193.03 c 1157s| 1290k| 61023 | 0 | 0.0 | 101M| 116 | - | 223 | 29k| 0 | 0 | 0 |1420k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1222.56/1222.63 c 1186s| 1300k| 51788 | 0 | 0.0 | 92M| 116 | - | 223 | 31k| 0 | 0 | 0 |1439k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1244.37/1244.50 c 1207s| 1310k| 47601 | 0 | 0.0 | 76M| 116 | - | 223 | 15k| 0 | 0 | 0 |1453k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1252.97/1253.05 c 1216s| 1320k| 48595 | 0 | 0.0 | 77M| 116 | - | 223 | 11k| 0 | 0 | 0 |1463k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1259.17/1259.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.17/1259.23 c 1221s| 1330k| 50855 | 0 | 0.0 | 79M| 116 | - | 223 | 12k| 0 | 0 | 0 |1473k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1264.56/1264.66 c 1226s| 1340k| 55117 | 0 | 0.0 | 81M| 116 | - | 223 | 13k| 0 | 0 | 0 |1480k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1270.56/1270.64 c 1232s| 1350k| 58257 | 0 | 0.0 | 86M| 116 | - | 223 | 17k| 0 | 0 | 0 |1490k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1277.66/1277.79 c 1239s| 1360k| 60564 | 0 | 0.0 | 88M| 116 | - | 223 | 16k| 0 | 0 | 0 |1500k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1284.16/1284.27 c 1245s| 1370k| 64753 | 0 | 0.0 | 92M| 116 | - | 223 | 18k| 0 | 0 | 0 |1510k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1293.75/1293.80 c 1254s| 1380k| 66776 | 0 | 0.0 | 96M| 116 | - | 223 | 20k| 0 | 0 | 0 |1522k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1308.76/1308.83 c 1269s| 1390k| 64952 | 0 | 0.0 | 99M| 116 | - | 223 | 25k| 0 | 0 | 0 |1536k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1319.75/1319.82 c 1279s| 1400k| 66727 | 0 | 0.0 | 95M| 116 | - | 223 |9935 | 0 | 0 | 0 |1546k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1324.55/1324.69 c 1284s| 1410k| 69855 | 0 | 0.0 | 100M| 116 | - | 223 | 15k| 0 | 0 | 0 |1558k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1337.35/1337.49 c 1296s| 1420k| 68268 | 0 | 0.0 | 103M| 116 | - | 223 | 20k| 0 | 0 | 0 |1574k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1357.95/1358.02 c 1316s| 1430k| 63022 | 0 | 0.0 | 101M| 116 | - | 223 | 25k| 0 | 0 | 0 |1592k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1369.15/1369.26 c 1327s| 1440k| 64648 | 0 | 0.0 | 93M| 116 | - | 223 |8822 | 0 | 0 | 0 |1602k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1372.35/1372.41 c 1330s| 1450k| 69723 | 0 | 0.0 | 97M| 116 | - | 223 |8412 | 0 | 0 | 0 |1610k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1376.65/1376.70 c 1334s| 1460k| 72862 | 0 | 0.0 | 101M| 116 | - | 223 | 11k| 0 | 0 | 0 |1620k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1386.95/1387.09 c 1344s| 1470k| 70197 | 0 | 0.0 | 103M| 116 | - | 223 | 19k| 0 | 0 | 0 |1638k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1398.75/1398.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.75/1398.84 c 1355s| 1480k| 69360 | 0 | 0.0 | 94M| 116 | - | 223 | 10k| 0 | 0 | 0 |1651k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1404.15/1404.25 c 1361s| 1490k| 71360 | 0 | 0.0 | 97M| 116 | - | 223 | 11k| 0 | 0 | 0 |1662k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1410.85/1410.90 c 1367s| 1500k| 72068 | 0 | 0.0 | 101M| 116 | - | 223 | 13k| 0 | 0 | 0 |1676k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1420.15/1420.29 c 1376s| 1510k| 70666 | 0 | 0.0 | 103M| 116 | - | 223 | 18k| 0 | 0 | 0 |1691k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1431.45/1431.52 c 1387s| 1520k| 69765 | 0 | 0.0 | 105M| 116 | - | 223 | 25k| 0 | 0 | 0 |1706k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1445.84/1445.97 c 1401s| 1530k| 67155 | 0 | 0.0 | 104M| 116 | - | 223 | 17k| 0 | 0 | 0 |1722k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1462.74/1462.89 c 1417s| 1540k| 61966 | 0 | 0.0 | 101M| 116 | - | 223 | 23k| 0 | 0 | 0 |1741k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1480.94/1481.08 c 1435s| 1550k| 59368 | 0 | 0.0 | 97M| 116 | - | 223 | 18k| 0 | 0 | 0 |1756k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1495.44/1495.54 c 1449s| 1560k| 54252 | 0 | 0.0 | 87M| 116 | - | 223 | 19k| 0 | 0 | 0 |1773k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1501.84/1501.96 c 1455s| 1570k| 58143 | 0 | 0.0 | 87M| 116 | - | 223 | 12k| 0 | 0 | 0 |1782k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1509.94/1510.01 c 1463s| 1580k| 58872 | 0 | 0.0 | 88M| 116 | - | 223 | 13k| 0 | 0 | 0 |1791k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1518.64/1518.78 c 1471s| 1590k| 58186 | 0 | 0.0 | 86M| 116 | - | 223 | 14k| 0 | 0 | 0 |1802k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1522.44/1522.51 c 1474s| 1600k| 64495 | 0 | 0.0 | 90M| 116 | - | 223 | 13k| 0 | 0 | 0 |1808k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1527.04/1527.19 c 1479s| 1610k| 69434 | 0 | 0.0 | 94M| 116 | - | 223 | 14k| 0 | 0 | 0 |1816k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1533.14/1533.21 c 1484s| 1620k| 72431 | 0 | 0.0 | 98M| 116 | - | 223 | 16k| 0 | 0 | 0 |1826k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1544.04/1544.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.04/1544.13 c 1495s| 1630k| 70510 | 0 | 0.0 | 98M| 116 | - | 223 | 17k| 0 | 0 | 0 |1839k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1555.84/1555.98 c 1506s| 1640k| 68098 | 0 | 0.0 | 95M| 116 | - | 223 | 11k| 0 | 0 | 0 |1853k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1562.64/1562.71 c 1513s| 1650k| 69906 | 0 | 0.0 | 97M| 116 | - | 223 | 14k| 0 | 0 | 0 |1864k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1568.84/1568.96 c 1519s| 1660k| 73508 | 0 | 0.0 | 101M| 116 | - | 223 | 17k| 0 | 0 | 0 |1873k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1576.34/1576.47 c 1526s| 1670k| 76561 | 0 | 0.0 | 105M| 116 | - | 223 | 19k| 0 | 0 | 0 |1883k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1585.73/1585.87 c 1535s| 1680k| 78584 | 0 | 0.0 | 109M| 116 | - | 223 | 21k| 0 | 0 | 0 |1895k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1597.53/1597.65 c 1546s| 1690k| 79036 | 0 | 0.0 | 112M| 116 | - | 223 | 23k| 0 | 0 | 0 |1908k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1612.24/1612.35 c 1561s| 1700k| 77160 | 0 | 0.0 | 114M| 116 | - | 223 | 25k| 0 | 0 | 0 |1923k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1633.84/1633.99 c 1582s| 1710k| 70895 | 0 | 0.0 | 105M| 116 | - | 223 | 17k| 0 | 0 | 0 |1940k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1645.84/1645.90 c 1593s| 1720k| 70456 | 0 | 0.0 | 108M| 116 | - | 223 | 21k| 0 | 0 | 0 |1954k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1664.44/1664.55 c 1611s| 1730k| 68131 | 0 | 0.0 | 110M| 116 | - | 223 | 27k| 0 | 0 | 0 |1970k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1688.14/1688.25 c 1635s| 1740k| 64451 | 0 | 0.0 | 111M| 116 | - | 223 | 32k| 0 | 0 | 0 |1988k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1717.44/1717.59 c 1664s| 1750k| 58573 | 0 | 0.0 | 108M| 116 | - | 223 | 35k| 0 | 0 | 0 |2007k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1750.63/1750.74 c 1696s| 1760k| 51687 | 0 | 0.0 | 94M| 116 | - | 223 | 21k| 0 | 0 | 0 |2025k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1774.53/1774.61 c 1720s| 1770k| 43508 | 0 | 0.0 | 80M| 116 | - | 223 | 26k| 0 | 0 | 0 |2045k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1777.63/1777.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1777.63/1777.76 c 1723s| 1780k| 51135 | 0 | 0.0 | 78M| 116 | - | 223 |9300 | 0 | 0 | 0 |2049k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1781.13/1781.28 c 1726s| 1790k| 55241 | 0 | 0.0 | 80M| 116 | - | 223 |5949 | 0 | 0 | 0 |2057k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1783.13/1783.23 c 1727s| 1800k| 61785 | 0 | 0.0 | 82M| 116 | - | 223 |5355 | 0 | 0 | 0 |2062k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1785.43/1785.52 c 1729s| 1810k| 67834 | 0 | 0.0 | 87M| 116 | - | 223 |8435 | 0 | 0 | 0 |2069k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1788.83/1788.95 c 1733s| 1820k| 72584 | 0 | 0.0 | 92M| 116 | - | 223 | 10k| 0 | 0 | 0 |2077k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1792.83/1792.95 c 1736s| 1830k| 76860 | 0 | 0.0 | 96M| 116 | - | 223 | 10k| 0 | 0 | 0 |2085k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1797.24/1797.35 c 1740s| 1840k| 80714 | 0 | 0.0 | 100M| 116 | - | 223 | 12k| 0 | 0 | 0 |2094k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1800.04/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.10 c
1800.04/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.10 c Solving Time (sec) : 1742.94
1800.04/1800.10 c Solving Nodes : 1844769
1800.04/1800.10 c Primal Bound : +8.10000000000000e+01 (2 solutions)
1800.04/1800.10 c Dual Bound : +4.00000000000000e+01
1800.04/1800.10 c Gap : 102.50 %
1800.04/1800.10 s SATISFIABLE
1800.04/1800.10 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.10 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.10 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.10 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.10 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.10 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.10 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.10 v -x4 -x3 -x2 -x1
1800.04/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.10 c Solving Time : 1742.94
1800.04/1800.10 c Original Problem :
1800.04/1800.10 c Problem name : HOME/instance-2693992-1277899292.wbo
1800.04/1800.10 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.04/1800.10 c Constraints : 130 initial, 130 maximal
1800.04/1800.10 c Presolved Problem :
1800.04/1800.10 c Problem name : t_HOME/instance-2693992-1277899292.wbo
1800.04/1800.10 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.04/1800.10 c Constraints : 112 initial, 43519 maximal
1800.04/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.10 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.10 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.10 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.10 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.10 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.10 c linear : 0.00 0 0 0 27 0 17 1 0
1800.04/1800.10 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.10 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.10 c root node : - 5 - - 10 - - - -
1800.04/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.10 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.10 c indicator : 27 0 5536436 0 1103627 3089 367956 0 0 0
1800.04/1800.10 c setppc : 49 0 5887633 0 1169958 135482 12059810 0 0 0
1800.04/1800.10 c linear : 27 0 5752151 0 1169956 427590 23931719 0 0 0
1800.04/1800.10 c logicor : 9+ 0 3077593 0 1169899 391763 1830566 0 0 0
1800.04/1800.10 c bounddisjunction : 0+ 0 482140 0 0 49 2675 0 0 0
1800.04/1800.10 c countsols : 0 0 0 0 1169958 0 0 0 0 0
1800.04/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.10 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.10 c indicator : 1.23 0.00 0.71 0.00 0.52
1800.04/1800.10 c setppc : 31.58 0.00 25.61 0.00 5.97
1800.04/1800.10 c linear : 87.59 0.00 87.34 0.00 0.25
1800.04/1800.10 c logicor : 829.93 0.00 829.22 0.00 0.71
1800.04/1800.10 c bounddisjunction : 3.27 0.00 3.27 0.00 0.00
1800.04/1800.10 c countsols : 0.08 0.00 0.00 0.00 0.08
1800.04/1800.10 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.10 c vbounds : 0.35 2 0 0
1800.04/1800.10 c rootredcost : 0.37 0 0 0
1800.04/1800.10 c pseudoobj : 4.83 5890693 169 248211
1800.04/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.10 c propagation : 40.39 955053 954967 4730997 19.7 280795 14.5 -
1800.04/1800.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.10 c pseudo solution : 0.00 10 10 22 5.9 1 14.0 -
1800.04/1800.10 c applied globally : - - - 2092648 15.9 - - -
1800.04/1800.10 c applied locally : - - - 7388 34.3 - - -
1800.04/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.10 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.10 c redcost : 0.00 0 0 0 0 0
1800.04/1800.10 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.10 c intobj : 0.00 0 0 0 0 0
1800.04/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.10 c gomory : 0.00 0 0 0 0 0
1800.04/1800.10 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.10 c cmir : 0.00 0 0 0 0 0
1800.04/1800.10 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.10 c clique : 0.00 0 0 0 0 0
1800.04/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.10 c mcf : 0.00 0 0 0 0 0
1800.04/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.10 c Pricers : Time Calls Vars
1800.04/1800.10 c problem variables: 0.00 0 0
1800.04/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.10 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.10 c inference : 8.32 1169956 0 0 0 0 2339912
1800.04/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.10 c random : 0.00 0 0 0 0 0 0
1800.04/1800.10 c Primal Heuristics : Time Calls Found
1800.04/1800.10 c LP solutions : 0.00 - 0
1800.04/1800.10 c pseudo solutions : 0.00 - 2
1800.04/1800.10 c oneopt : 0.17 0 0
1800.04/1800.10 c trivial : 0.00 2 0
1800.04/1800.10 c simplerounding : 0.00 0 0
1800.04/1800.10 c zirounding : 0.00 0 0
1800.04/1800.10 c rounding : 0.00 0 0
1800.04/1800.10 c shifting : 0.00 0 0
1800.04/1800.10 c intshifting : 0.00 0 0
1800.04/1800.10 c twoopt : 0.00 0 0
1800.04/1800.10 c fixandinfer : 0.00 0 0
1800.04/1800.10 c feaspump : 0.00 0 0
1800.04/1800.10 c coefdiving : 0.00 0 0
1800.04/1800.10 c pscostdiving : 0.00 0 0
1800.04/1800.10 c fracdiving : 0.00 0 0
1800.04/1800.10 c veclendiving : 0.00 0 0
1800.04/1800.10 c intdiving : 0.00 0 0
1800.04/1800.10 c actconsdiving : 0.00 0 0
1800.04/1800.10 c objpscostdiving : 0.00 0 0
1800.04/1800.10 c rootsoldiving : 0.00 0 0
1800.04/1800.10 c linesearchdiving : 0.00 0 0
1800.04/1800.10 c guideddiving : 0.00 0 0
1800.04/1800.10 c octane : 0.00 0 0
1800.04/1800.10 c rens : 0.00 0 0
1800.04/1800.10 c rins : 0.00 0 0
1800.04/1800.10 c localbranching : 0.00 0 0
1800.04/1800.10 c mutation : 0.00 0 0
1800.04/1800.10 c crossover : 0.00 0 0
1800.04/1800.10 c dins : 0.00 0 0
1800.04/1800.10 c undercover : 0.00 0 0
1800.04/1800.10 c nlp : 0.06 0 0
1800.04/1800.10 c trysol : 0.09 1 0
1800.04/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.10 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.10 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.10 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.10 c (at root node) : - 0 0 0.00 -
1800.04/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.10 c B&B Tree :
1800.04/1800.10 c number of runs : 1
1800.04/1800.10 c nodes : 1844769
1800.04/1800.10 c nodes (total) : 1844769
1800.04/1800.10 c nodes left : 81814
1800.04/1800.10 c max depth : 116
1800.04/1800.10 c max depth (total): 116
1800.04/1800.10 c backtracks : 715202 (38.8%)
1800.04/1800.10 c delayed cutoffs : 413262
1800.04/1800.10 c repropagations : 2372715 (9931356 domain reductions, 283341 cutoffs)
1800.04/1800.10 c avg switch length: 18.56
1800.04/1800.10 c switching time : 587.53
1800.04/1800.10 c Solution :
1800.04/1800.10 c Solutions found : 2 (2 improvements)
1800.04/1800.10 c First Solution : +1.81000000000000e+02 (in run 1, after 11554 nodes, 1.34 seconds, depth 85, found by <relaxation>)
1800.04/1800.10 c Primal Bound : +8.10000000000000e+01 (in run 1, after 11555 nodes, 1.34 seconds, depth 85, found by <relaxation>)
1800.04/1800.10 c Dual Bound : +4.00000000000000e+01
1800.04/1800.10 c Gap : 102.50 %
1800.04/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.10 c Root Iterations : 0
1800.23/1800.32 c Time complete: 1800.26.