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-2693841-1277895353.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.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.99/1.08 c 1.0s| 10000 | 6575 | 0 | 0.0 |6240k| 116 | - | 223 |3145 | 0 | 0 | 0 |5262 | 0 | 0.000000e+00 | -- | Inf
1.49/1.51 o 178
1.49/1.51 c * 1.4s| 12190 | 7246 | 0 | 0.0 |7464k| 116 | - | 223 |4576 | 0 | 0 | 0 |7375 | 0 | 0.000000e+00 | 1.780000e+02 | Inf
1.49/1.58 o 81
1.49/1.58 c * 1.5s| 13121 | 7998 | 0 | 0.0 |7702k| 116 | - | 223 |3985 | 0 | 0 | 0 |7451 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.59/2.65 c 2.5s| 20000 | 12203 | 0 | 0.0 | 10M| 116 | - | 223 |4721 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.69/4.78 c 4.5s| 30000 | 16706 | 0 | 0.0 | 15M| 116 | - | 223 |6046 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
7.70/7.73 c 7.4s| 40000 | 19087 | 0 | 0.0 | 19M| 116 | - | 223 |9896 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
9.99/10.07 c 9.7s| 50000 | 23614 | 0 | 0.0 | 21M| 116 | - | 223 |1770 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
12.39/12.41 c 11.9s| 60000 | 26489 | 0 | 0.0 | 25M| 116 | - | 223 |4643 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
15.59/15.67 c 15.1s| 70000 | 27816 | 0 | 0.0 | 29M| 116 | - | 223 |6470 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.29/19.37 c 18.6s| 80000 | 28322 | 0 | 0.0 | 31M| 116 | - | 223 |7901 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
23.39/23.48 c 22.6s| 90000 | 27985 | 0 | 0.0 | 33M| 116 | - | 223 |9814 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
27.99/28.08 c 27.1s|100000 | 27563 | 0 | 0.0 | 32M| 116 | - | 223 |6774 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
30.29/30.33 c 29.3s|110000 | 32322 | 0 | 0.0 | 36M| 116 | - | 223 |5378 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.29/33.39 c 32.2s|120000 | 34971 | 0 | 0.0 | 40M| 116 | - | 223 |8260 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
39.00/39.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.00/39.06 c 37.8s|130000 | 32646 | 0 | 0.0 | 42M| 116 | - | 223 | 13k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
48.09/48.10 c 46.7s|140000 | 28021 | 0 | 0.0 | 41M| 116 | - | 223 | 19k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
58.99/59.09 c 57.6s|150000 | 23472 | 0 | 0.0 | 35M| 116 | - | 223 | 20k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
65.00/65.00 c 63.4s|160000 | 25105 | 0 | 0.0 | 35M| 116 | - | 223 | 11k| 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
70.39/70.45 c 68.8s|170000 | 25816 | 0 | 0.0 | 38M| 116 | - | 223 | 14k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
77.19/77.23 c 75.4s|180000 | 25399 | 0 | 0.0 | 40M| 116 | - | 223 | 19k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
88.69/88.77 c 86.8s|190000 | 20216 | 0 | 0.0 | 31M| 116 | - | 223 | 20k| 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
98.70/98.77 c 96.7s|200000 | 18263 | 0 | 0.0 | 31M| 116 | - | 223 | 19k| 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
109.40/109.43 c 107s|210000 | 15355 | 0 | 0.0 | 31M| 116 | - | 223 | 24k| 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
124.59/124.67 c 122s|220000 | 9604 | 0 | 0.0 | 26M| 120 | - | 223 | 27k| 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
131.80/131.87 c 129s|230000 | 11702 | 0 | 0.0 | 17M| 120 | - | 223 |5505 | 0 | 0 | 0 | 246k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
133.49/133.55 c 131s|240000 | 18495 | 0 | 0.0 | 21M| 120 | - | 223 |5510 | 0 | 0 | 0 | 250k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
137.29/137.33 c 135s|250000 | 19371 | 0 | 0.0 | 23M| 120 | - | 223 |7857 | 0 | 0 | 0 | 259k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
139.20/139.21 c 136s|260000 | 26072 | 0 | 0.0 | 26M| 120 | - | 223 |4671 | 0 | 0 | 0 | 263k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
141.30/141.31 c 138s|270000 | 31778 | 0 | 0.0 | 30M| 120 | - | 223 |6194 | 0 | 0 | 0 | 268k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
144.00/144.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.00/144.08 c 141s|280000 | 36332 | 0 | 0.0 | 35M| 120 | - | 223 |7820 | 0 | 0 | 0 | 275k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
147.40/147.43 c 144s|290000 | 40084 | 0 | 0.0 | 39M| 120 | - | 223 |9119 | 0 | 0 | 0 | 282k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
151.70/151.78 c 149s|300000 | 42160 | 0 | 0.0 | 43M| 120 | - | 223 | 10k| 0 | 0 | 0 | 291k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
157.60/157.67 c 154s|310000 | 40726 | 0 | 0.0 | 45M| 120 | - | 223 | 11k| 0 | 0 | 0 | 302k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
161.60/161.67 c 158s|320000 | 44088 | 0 | 0.0 | 47M| 120 | - | 223 |9485 | 0 | 0 | 0 | 309k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
165.10/165.19 c 162s|330000 | 48122 | 0 | 0.0 | 50M| 120 | - | 223 | 10k| 0 | 0 | 0 | 317k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
169.50/169.57 c 166s|340000 | 51217 | 0 | 0.0 | 55M| 120 | - | 223 | 12k| 0 | 0 | 0 | 325k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
174.90/174.95 c 171s|350000 | 53458 | 0 | 0.0 | 59M| 120 | - | 223 | 14k| 0 | 0 | 0 | 333k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
180.90/180.98 c 177s|360000 | 55266 | 0 | 0.0 | 62M| 120 | - | 223 | 14k| 0 | 0 | 0 | 342k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
187.70/187.75 c 184s|370000 | 56187 | 0 | 0.0 | 65M| 120 | - | 223 | 15k| 0 | 0 | 0 | 352k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
195.60/195.69 c 192s|380000 | 55818 | 0 | 0.0 | 68M| 120 | - | 223 | 17k| 0 | 0 | 0 | 363k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
204.40/204.50 c 200s|390000 | 54614 | 0 | 0.0 | 70M| 120 | - | 223 | 19k| 0 | 0 | 0 | 375k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
215.20/215.29 c 211s|400000 | 51595 | 0 | 0.0 | 70M| 120 | - | 223 | 20k| 0 | 0 | 0 | 388k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
226.70/226.75 c 222s|410000 | 47948 | 0 | 0.0 | 65M| 120 | - | 223 | 16k| 0 | 0 | 0 | 402k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
236.30/236.30 c 232s|420000 | 47365 | 0 | 0.0 | 68M| 120 | - | 223 | 15k| 0 | 0 | 0 | 414k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
247.20/247.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.20/247.27 c 243s|430000 | 44959 | 0 | 0.0 | 69M| 120 | - | 223 | 16k| 0 | 0 | 0 | 427k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
259.70/259.75 c 255s|440000 | 41693 | 0 | 0.0 | 69M| 120 | - | 223 | 18k| 0 | 0 | 0 | 441k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
273.70/273.75 c 269s|450000 | 37622 | 0 | 0.0 | 68M| 120 | - | 223 | 21k| 0 | 0 | 0 | 456k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
290.00/290.04 c 285s|460000 | 31705 | 0 | 0.0 | 63M| 120 | - | 223 | 24k| 0 | 0 | 0 | 472k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
310.70/310.73 c 306s|470000 | 22732 | 0 | 0.0 | 50M| 120 | - | 223 | 23k| 0 | 0 | 0 | 489k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
334.41/334.45 c 329s|480000 | 9616 | 0 | 0.0 | 29M| 120 | - | 223 | 24k| 0 | 0 | 0 | 510k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
343.11/343.18 c 338s|490000 | 11042 | 0 | 0.0 | 23M| 120 | - | 223 |8604 | 0 | 0 | 0 | 518k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
345.50/345.51 c 340s|500000 | 17076 | 0 | 0.0 | 26M| 120 | - | 223 |6800 | 0 | 0 | 0 | 522k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
348.30/348.39 c 343s|510000 | 21537 | 0 | 0.0 | 31M| 120 | - | 223 |8940 | 0 | 0 | 0 | 528k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
352.01/352.09 c 346s|520000 | 24681 | 0 | 0.0 | 34M| 120 | - | 223 | 10k| 0 | 0 | 0 | 534k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
355.90/355.98 c 350s|530000 | 28624 | 0 | 0.0 | 38M| 120 | - | 223 | 11k| 0 | 0 | 0 | 539k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
361.10/361.14 c 355s|540000 | 30523 | 0 | 0.0 | 42M| 120 | - | 223 | 13k| 0 | 0 | 0 | 546k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
367.80/367.80 c 362s|550000 | 30191 | 0 | 0.0 | 45M| 120 | - | 223 | 16k| 0 | 0 | 0 | 555k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
374.80/374.84 c 369s|560000 | 31103 | 0 | 0.0 | 46M| 120 | - | 223 | 14k| 0 | 0 | 0 | 563k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
383.10/383.12 c 377s|570000 | 30325 | 0 | 0.0 | 49M| 120 | - | 223 | 16k| 0 | 0 | 0 | 572k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
392.71/392.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.71/392.72 c 386s|580000 | 28267 | 0 | 0.0 | 50M| 120 | - | 223 | 19k| 0 | 0 | 0 | 582k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
403.40/403.44 c 397s|590000 | 25199 | 0 | 0.0 | 48M| 120 | - | 223 | 17k| 0 | 0 | 0 | 593k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
416.21/416.20 c 410s|600000 | 18639 | 0 | 0.0 | 40M| 120 | - | 223 | 19k| 0 | 0 | 0 | 605k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
421.31/421.33 c 415s|610000 | 20450 | 0 | 0.0 | 36M| 120 | - | 223 | 11k| 0 | 0 | 0 | 613k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
424.30/424.36 c 418s|620000 | 25761 | 0 | 0.0 | 39M| 120 | - | 223 |8853 | 0 | 0 | 0 | 618k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
428.51/428.50 c 422s|630000 | 28509 | 0 | 0.0 | 44M| 120 | - | 223 | 12k| 0 | 0 | 0 | 626k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
433.81/433.88 c 427s|640000 | 29532 | 0 | 0.0 | 44M| 120 | - | 223 |7912 | 0 | 0 | 0 | 635k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
437.30/437.30 c 430s|650000 | 33392 | 0 | 0.0 | 48M| 120 | - | 223 | 10k| 0 | 0 | 0 | 643k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
443.31/443.34 c 436s|660000 | 34085 | 0 | 0.0 | 52M| 120 | - | 223 | 14k| 0 | 0 | 0 | 653k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
451.11/451.15 c 444s|670000 | 33713 | 0 | 0.0 | 55M| 120 | - | 223 | 18k| 0 | 0 | 0 | 663k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
460.82/460.84 c 453s|680000 | 32530 | 0 | 0.0 | 54M| 120 | - | 223 | 15k| 0 | 0 | 0 | 674k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
467.51/467.53 c 460s|690000 | 32822 | 0 | 0.0 | 55M| 120 | - | 223 | 12k| 0 | 0 | 0 | 685k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
476.71/476.71 c 469s|700000 | 30836 | 0 | 0.0 | 57M| 120 | - | 223 | 16k| 0 | 0 | 0 | 698k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
490.71/490.70 c 483s|710000 | 24920 | 0 | 0.0 | 53M| 120 | - | 223 | 24k| 0 | 0 | 0 | 713k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
499.80/499.89 c 492s|720000 | 25801 | 0 | 0.0 | 49M| 120 | - | 223 | 12k| 0 | 0 | 0 | 723k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
509.21/509.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.21/509.23 c 501s|730000 | 22701 | 0 | 0.0 | 42M| 120 | - | 223 | 12k| 0 | 0 | 0 | 735k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
513.40/513.42 c 505s|740000 | 26954 | 0 | 0.0 | 44M| 120 | - | 223 | 12k| 0 | 0 | 0 | 742k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
519.22/519.26 c 511s|750000 | 28695 | 0 | 0.0 | 48M| 120 | - | 223 | 16k| 0 | 0 | 0 | 752k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
527.21/527.23 c 519s|760000 | 29804 | 0 | 0.0 | 51M| 120 | - | 223 | 16k| 0 | 0 | 0 | 763k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
537.92/537.94 c 529s|770000 | 28040 | 0 | 0.0 | 53M| 120 | - | 223 | 19k| 0 | 0 | 0 | 777k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
550.51/550.57 c 542s|780000 | 24318 | 0 | 0.0 | 49M| 120 | - | 223 | 19k| 0 | 0 | 0 | 791k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
565.91/565.96 c 557s|790000 | 18896 | 0 | 0.0 | 47M| 120 | - | 223 | 23k| 0 | 0 | 0 | 808k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
580.51/580.60 c 572s|800000 | 14972 | 0 | 0.0 | 33M| 120 | - | 223 | 13k| 0 | 0 | 0 | 822k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
584.21/584.21 c 575s|810000 | 19754 | 0 | 0.0 | 36M| 120 | - | 223 | 10k| 0 | 0 | 0 | 829k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
589.01/589.09 c 580s|820000 | 21484 | 0 | 0.0 | 40M| 120 | - | 223 | 14k| 0 | 0 | 0 | 839k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
595.71/595.76 c 587s|830000 | 23085 | 0 | 0.0 | 43M| 120 | - | 223 | 16k| 0 | 0 | 0 | 849k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
605.51/605.52 c 596s|840000 | 20966 | 0 | 0.0 | 45M| 120 | - | 223 | 22k| 0 | 0 | 0 | 863k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
620.61/620.67 c 611s|850000 | 16716 | 0 | 0.0 | 43M| 120 | - | 223 | 25k| 0 | 0 | 0 | 879k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
634.51/634.58 c 625s|860000 | 15125 | 0 | 0.0 | 36M| 120 | - | 223 | 17k| 0 | 0 | 0 | 892k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
640.81/640.84 c 631s|870000 | 17660 | 0 | 0.0 | 37M| 120 | - | 223 | 13k| 0 | 0 | 0 | 901k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
644.71/644.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.71/644.76 c 635s|880000 | 22803 | 0 | 0.0 | 41M| 120 | - | 223 | 15k| 0 | 0 | 0 | 907k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
651.42/651.40 c 641s|890000 | 24046 | 0 | 0.0 | 43M| 120 | - | 223 | 15k| 0 | 0 | 0 | 917k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
658.11/658.18 c 648s|900000 | 25860 | 0 | 0.0 | 47M| 120 | - | 223 | 19k| 0 | 0 | 0 | 927k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
668.41/668.48 c 658s|910000 | 24568 | 0 | 0.0 | 50M| 120 | - | 223 | 24k| 0 | 0 | 0 | 939k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
676.71/676.70 c 666s|920000 | 26114 | 0 | 0.0 | 49M| 120 | - | 223 | 16k| 0 | 0 | 0 | 949k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
688.82/688.86 c 678s|930000 | 21883 | 0 | 0.0 | 49M| 120 | - | 223 | 23k| 0 | 0 | 0 | 965k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
697.11/697.11 c 687s|940000 | 23369 | 0 | 0.0 | 45M| 120 | - | 223 | 13k| 0 | 0 | 0 | 974k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
703.71/703.73 c 693s|950000 | 23616 | 0 | 0.0 | 47M| 120 | - | 223 | 19k| 0 | 0 | 0 | 985k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
711.92/711.97 c 701s|960000 | 24212 | 0 | 0.0 | 46M| 120 | - | 223 | 17k| 0 | 0 | 0 | 996k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
721.21/721.25 c 710s|970000 | 23223 | 0 | 0.0 | 49M| 120 | - | 223 | 23k| 0 | 0 | 0 |1009k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
735.02/735.01 c 724s|980000 | 19962 | 0 | 0.0 | 48M| 120 | - | 223 | 24k| 0 | 0 | 0 |1024k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
747.61/747.64 c 736s|990000 | 17246 | 0 | 0.0 | 42M| 120 | - | 223 | 19k| 0 | 0 | 0 |1037k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
753.92/753.91 c 743s| 1000k| 19743 | 0 | 0.0 | 40M| 120 | - | 223 | 14k| 0 | 0 | 0 |1046k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
758.22/758.20 c 747s| 1010k| 23820 | 0 | 0.0 | 43M| 120 | - | 223 | 13k| 0 | 0 | 0 |1053k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
764.12/764.11 c 753s| 1020k| 26102 | 0 | 0.0 | 47M| 120 | - | 223 | 17k| 0 | 0 | 0 |1062k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
772.71/772.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.71/772.79 c 761s| 1030k| 25915 | 0 | 0.0 | 48M| 120 | - | 223 | 19k| 0 | 0 | 0 |1074k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
779.52/779.50 c 768s| 1040k| 29027 | 0 | 0.0 | 52M| 120 | - | 223 | 20k| 0 | 0 | 0 |1082k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
791.12/791.13 c 779s| 1050k| 27606 | 0 | 0.0 | 54M| 120 | - | 223 | 24k| 0 | 0 | 0 |1095k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
806.02/806.03 c 794s| 1060k| 24801 | 0 | 0.0 | 53M| 120 | - | 223 | 26k| 0 | 0 | 0 |1109k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
826.42/826.44 c 814s| 1070k| 19279 | 0 | 0.0 | 50M| 120 | - | 223 | 30k| 0 | 0 | 0 |1126k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
838.02/838.04 c 826s| 1080k| 19119 | 0 | 0.0 | 40M| 120 | - | 223 | 16k| 0 | 0 | 0 |1136k| 0 | 3.800000e+01 | 8.100000e+01 | 113.16%
842.22/842.21 c 830s| 1090k| 24091 | 0 | 0.0 | 42M| 120 | - | 223 | 11k| 0 | 0 | 0 |1143k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
845.42/845.46 c 833s| 1100k| 29530 | 0 | 0.0 | 46M| 120 | - | 223 | 12k| 0 | 0 | 0 |1149k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
851.42/851.48 c 839s| 1110k| 31732 | 0 | 0.0 | 50M| 120 | - | 223 | 15k| 0 | 0 | 0 |1159k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
858.42/858.47 c 846s| 1120k| 33297 | 0 | 0.0 | 53M| 120 | - | 223 | 14k| 0 | 0 | 0 |1170k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
864.02/864.04 c 851s| 1130k| 35497 | 0 | 0.0 | 55M| 120 | - | 223 | 11k| 0 | 0 | 0 |1179k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
868.82/868.86 c 856s| 1140k| 38891 | 0 | 0.0 | 58M| 120 | - | 223 | 14k| 0 | 0 | 0 |1188k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
877.32/877.33 c 864s| 1150k| 39000 | 0 | 0.0 | 62M| 120 | - | 223 | 19k| 0 | 0 | 0 |1200k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
889.02/889.09 c 876s| 1160k| 37866 | 0 | 0.0 | 64M| 120 | - | 223 | 23k| 0 | 0 | 0 |1215k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
901.62/901.63 c 889s| 1170k| 36961 | 0 | 0.0 | 65M| 120 | - | 223 | 25k| 0 | 0 | 0 |1228k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
909.52/909.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.52/909.51 c 896s| 1180k| 40735 | 0 | 0.0 | 66M| 120 | - | 223 | 18k| 0 | 0 | 0 |1235k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
918.22/918.20 c 905s| 1190k| 41689 | 0 | 0.0 | 69M| 120 | - | 223 | 19k| 0 | 0 | 0 |1247k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
928.92/928.95 c 916s| 1200k| 40693 | 0 | 0.0 | 70M| 120 | - | 223 | 19k| 0 | 0 | 0 |1260k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
947.52/947.57 c 934s| 1210k| 34644 | 0 | 0.0 | 67M| 120 | - | 223 | 27k| 0 | 0 | 0 |1278k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
965.73/965.73 c 952s| 1220k| 31786 | 0 | 0.0 | 63M| 120 | - | 223 | 26k| 0 | 0 | 0 |1293k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
979.33/979.35 c 965s| 1230k| 31754 | 0 | 0.0 | 65M| 120 | - | 223 | 27k| 0 | 0 | 0 |1306k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
997.12/997.13 c 983s| 1240k| 28891 | 0 | 0.0 | 63M| 120 | - | 223 | 28k| 0 | 0 | 0 |1320k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1017.92/1017.91 c 1004s| 1250k| 23518 | 0 | 0.0 | 57M| 120 | - | 223 | 31k| 0 | 0 | 0 |1338k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1041.82/1041.81 c 1028s| 1260k| 17613 | 0 | 0.0 | 48M| 120 | - | 223 | 31k| 0 | 0 | 0 |1355k| 0 | 4.600000e+01 | 8.100000e+01 | 76.09%
1058.23/1058.23 c 1044s| 1270k| 16056 | 0 | 0.0 | 44M| 120 | - | 223 | 23k| 0 | 0 | 0 |1368k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1062.53/1062.57 c 1048s| 1280k| 21284 | 0 | 0.0 | 45M| 120 | - | 223 | 17k| 0 | 0 | 0 |1374k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1067.23/1067.24 c 1053s| 1290k| 26143 | 0 | 0.0 | 50M| 120 | - | 223 | 19k| 0 | 0 | 0 |1381k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1075.32/1075.30 c 1061s| 1300k| 27642 | 0 | 0.0 | 53M| 120 | - | 223 | 24k| 0 | 0 | 0 |1392k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1084.53/1084.53 c 1070s| 1310k| 29285 | 0 | 0.0 | 57M| 120 | - | 223 | 25k| 0 | 0 | 0 |1403k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1097.63/1097.65 c 1083s| 1320k| 27835 | 0 | 0.0 | 59M| 120 | - | 223 | 29k| 0 | 0 | 0 |1417k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1114.23/1114.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.23/1114.21 c 1099s| 1330k| 25011 | 0 | 0.0 | 59M| 120 | - | 223 | 31k| 0 | 0 | 0 |1433k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1136.23/1136.29 c 1121s| 1340k| 18572 | 0 | 0.0 | 52M| 120 | - | 223 | 32k| 0 | 0 | 0 |1451k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1146.82/1146.86 c 1132s| 1350k| 20262 | 0 | 0.0 | 48M| 120 | - | 223 | 24k| 0 | 0 | 0 |1461k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1153.83/1153.85 c 1138s| 1360k| 24458 | 0 | 0.0 | 50M| 120 | - | 223 | 24k| 0 | 0 | 0 |1468k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1163.33/1163.39 c 1148s| 1370k| 25792 | 0 | 0.0 | 53M| 120 | - | 223 | 27k| 0 | 0 | 0 |1478k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1171.63/1171.63 c 1156s| 1380k| 29336 | 0 | 0.0 | 57M| 120 | - | 223 | 28k| 0 | 0 | 0 |1486k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1184.53/1184.59 c 1169s| 1390k| 28676 | 0 | 0.0 | 60M| 120 | - | 223 | 33k| 0 | 0 | 0 |1499k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1200.93/1200.92 c 1185s| 1400k| 27137 | 0 | 0.0 | 60M| 120 | - | 223 | 33k| 0 | 0 | 0 |1512k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1215.83/1215.80 c 1200s| 1410k| 26309 | 0 | 0.0 | 62M| 120 | - | 223 | 33k| 0 | 0 | 0 |1524k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1238.03/1238.00 c 1222s| 1420k| 19609 | 0 | 0.0 | 54M| 120 | - | 223 | 33k| 0 | 0 | 0 |1541k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1252.94/1252.92 c 1237s| 1430k| 18023 | 0 | 0.0 | 44M| 120 | - | 223 | 22k| 0 | 0 | 0 |1553k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1258.73/1258.75 c 1242s| 1440k| 22661 | 0 | 0.0 | 47M| 120 | - | 223 | 22k| 0 | 0 | 0 |1560k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1266.43/1266.47 c 1250s| 1450k| 25317 | 0 | 0.0 | 52M| 120 | - | 223 | 26k| 0 | 0 | 0 |1570k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1275.03/1275.04 c 1258s| 1460k| 28039 | 0 | 0.0 | 54M| 120 | - | 223 | 27k| 0 | 0 | 0 |1579k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1285.34/1285.30 c 1269s| 1470k| 29582 | 0 | 0.0 | 58M| 120 | - | 223 | 28k| 0 | 0 | 0 |1590k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1299.63/1299.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.63/1299.61 c 1283s| 1480k| 27505 | 0 | 0.0 | 58M| 120 | - | 223 | 30k| 0 | 0 | 0 |1604k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1310.23/1310.21 c 1293s| 1490k| 28751 | 0 | 0.0 | 60M| 120 | - | 223 | 29k| 0 | 0 | 0 |1615k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1328.53/1328.50 c 1311s| 1500k| 23241 | 0 | 0.0 | 56M| 120 | - | 223 | 33k| 0 | 0 | 0 |1632k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1334.64/1334.63 c 1318s| 1510k| 29366 | 0 | 0.0 | 57M| 120 | - | 223 | 23k| 0 | 0 | 0 |1638k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1345.04/1345.07 c 1328s| 1520k| 28128 | 0 | 0.0 | 53M| 120 | - | 223 | 24k| 0 | 0 | 0 |1650k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1351.53/1351.59 c 1334s| 1530k| 32729 | 0 | 0.0 | 56M| 120 | - | 223 | 23k| 0 | 0 | 0 |1658k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1360.33/1360.39 c 1343s| 1540k| 35186 | 0 | 0.0 | 60M| 120 | - | 223 | 26k| 0 | 0 | 0 |1669k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1371.33/1371.37 c 1354s| 1550k| 35374 | 0 | 0.0 | 64M| 120 | - | 223 | 31k| 0 | 0 | 0 |1682k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1378.53/1378.55 c 1361s| 1560k| 40053 | 0 | 0.0 | 64M| 120 | - | 223 | 22k| 0 | 0 | 0 |1689k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1385.94/1385.99 c 1368s| 1570k| 43261 | 0 | 0.0 | 67M| 120 | - | 223 | 22k| 0 | 0 | 0 |1698k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1396.44/1396.48 c 1379s| 1580k| 44465 | 0 | 0.0 | 71M| 120 | - | 223 | 27k| 0 | 0 | 0 |1710k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1411.54/1411.54 c 1394s| 1590k| 43677 | 0 | 0.0 | 74M| 120 | - | 223 | 33k| 0 | 0 | 0 |1725k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1430.14/1430.16 c 1412s| 1600k| 41493 | 0 | 0.0 | 76M| 120 | - | 223 | 39k| 0 | 0 | 0 |1740k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1445.44/1445.47 c 1427s| 1610k| 43071 | 0 | 0.0 | 75M| 120 | - | 223 | 34k| 0 | 0 | 0 |1751k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1457.24/1457.26 c 1439s| 1620k| 45537 | 0 | 0.0 | 79M| 120 | - | 223 | 34k| 0 | 0 | 0 |1763k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1469.04/1469.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.04/1469.06 c 1451s| 1630k| 47765 | 0 | 0.0 | 80M| 120 | - | 223 | 26k| 0 | 0 | 0 |1773k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1483.25/1483.24 c 1465s| 1640k| 46514 | 0 | 0.0 | 79M| 120 | - | 223 | 27k| 0 | 0 | 0 |1787k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1503.54/1503.57 c 1485s| 1650k| 42150 | 0 | 0.0 | 78M| 120 | - | 223 | 33k| 0 | 0 | 0 |1804k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1526.44/1526.44 c 1508s| 1660k| 38081 | 0 | 0.0 | 74M| 120 | - | 223 | 41k| 0 | 0 | 0 |1821k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1542.74/1542.70 c 1524s| 1670k| 39897 | 0 | 0.0 | 76M| 120 | - | 223 | 39k| 0 | 0 | 0 |1833k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1563.34/1563.36 c 1544s| 1680k| 38688 | 0 | 0.0 | 77M| 120 | - | 223 | 44k| 0 | 0 | 0 |1848k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1583.65/1583.63 c 1565s| 1690k| 38683 | 0 | 0.0 | 75M| 120 | - | 223 | 35k| 0 | 0 | 0 |1860k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1599.45/1599.46 c 1580s| 1700k| 38902 | 0 | 0.0 | 76M| 120 | - | 223 | 33k| 0 | 0 | 0 |1873k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1620.74/1620.74 c 1601s| 1710k| 33728 | 0 | 0.0 | 69M| 120 | - | 223 | 38k| 0 | 0 | 0 |1891k| 0 | 6.400000e+01 | 8.100000e+01 | 26.56%
1650.55/1650.56 c 1631s| 1720k| 27528 | 0 | 0.0 | 68M| 120 | - | 223 | 48k| 0 | 0 | 0 |1912k| 0 | 6.400000e+01 | 8.100000e+01 | 26.56%
1676.35/1676.40 c 1657s| 1730k| 25045 | 0 | 0.0 | 64M| 120 | - | 223 | 40k| 0 | 0 | 0 |1928k| 0 | 6.400000e+01 | 8.100000e+01 | 26.56%
1701.45/1701.41 c 1682s| 1740k| 19910 | 0 | 0.0 | 57M| 120 | - | 223 | 44k| 0 | 0 | 0 |1947k| 0 | 6.400000e+01 | 8.100000e+01 | 26.56%
1730.85/1730.80 c 1711s| 1750k| 13739 | 0 | 0.0 | 46M| 120 | - | 223 | 41k| 0 | 0 | 0 |1965k| 0 | 6.900000e+01 | 8.100000e+01 | 17.39%
1746.35/1746.38 c 1726s| 1760k| 14527 | 0 | 0.0 | 42M| 120 | - | 223 | 32k| 0 | 0 | 0 |1976k| 0 | 6.900000e+01 | 8.100000e+01 | 17.39%
1758.45/1758.43 c 1738s| 1770k| 15226 | 0 | 0.0 | 44M| 120 | - | 223 | 32k| 0 | 0 | 0 |1988k| 0 | 7.000000e+01 | 8.100000e+01 | 15.71%
1773.44/1773.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.44/1773.48 c 1753s| 1780k| 13352 | 0 | 0.0 | 41M| 120 | - | 223 | 29k| 0 | 0 | 0 |2002k| 0 | 7.000000e+01 | 8.100000e+01 | 15.71%
1785.45/1785.42 c 1765s| 1790k| 13780 | 0 | 0.0 | 39M| 120 | - | 223 | 27k| 0 | 0 | 0 |2013k| 0 | 7.000000e+01 | 8.100000e+01 | 15.71%
1795.26/1795.25 c 1775s| 1800k| 15492 | 0 | 0.0 | 39M| 120 | - | 223 | 29k| 0 | 0 | 0 |2023k| 0 | 7.200000e+01 | 8.100000e+01 | 12.50%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1779.41
1800.05/1800.00 c Solving Nodes : 1804421
1800.05/1800.00 c Primal Bound : +8.10000000000000e+01 (2 solutions)
1800.05/1800.00 c Dual Bound : +7.20000000000000e+01
1800.05/1800.00 c Gap : 12.50 %
1800.05/1800.00 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.00 v -x4 -x3 -x2 x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1779.41
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693841-1277895353.wbo
1800.05/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.05/1800.00 c Constraints : 130 initial, 130 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693841-1277895353.wbo
1800.05/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.05/1800.00 c Constraints : 112 initial, 51366 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 5 - - 10 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 27 0 5331217 0 1068185 375 158094 0 0 0
1800.05/1800.00 c setppc : 49 0 5714035 0 1141374 170336 12480789 0 0 0
1800.05/1800.00 c linear : 27 0 5543700 0 1141374 452880 24593593 0 0 0
1800.05/1800.00 c logicor : 9+ 0 3137901 0 1141254 382197 1834196 0 0 0
1800.05/1800.00 c bounddisjunction : 0+ 0 461283 0 0 1 1828 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1141376 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 2.34 0.00 1.52 0.00 0.82
1800.05/1800.00 c setppc : 40.13 0.00 33.96 0.00 6.17
1800.05/1800.00 c linear : 94.45 0.00 93.66 0.00 0.79
1800.05/1800.00 c logicor : 807.87 0.00 806.53 0.00 1.34
1800.05/1800.00 c bounddisjunction : 0.99 0.00 0.99 0.00 0.00
1800.05/1800.00 c countsols : 0.17 0.00 0.00 0.00 0.17
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 1.12 2 0 0
1800.05/1800.00 c rootredcost : 1.24 0 0 0
1800.05/1800.00 c pseudoobj : 6.87 5714485 272 108163
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 41.56 1005686 1005443 5127957 19.7 125809 15.5 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 13 13 18 3.4 5 21.2 -
1800.05/1800.00 c applied globally : - - - 2021389 15.4 - - -
1800.05/1800.00 c applied locally : - - - 6246 34.1 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 7.57 1141374 0 0 0 0 2282748
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 2
1800.05/1800.00 c oneopt : 0.62 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.35 0 0
1800.05/1800.00 c trysol : 0.35 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 1804421
1800.05/1800.00 c nodes (total) : 1804421
1800.05/1800.00 c nodes left : 16435
1800.05/1800.00 c max depth : 120
1800.05/1800.00 c max depth (total): 120
1800.05/1800.00 c backtracks : 720714 (39.9%)
1800.05/1800.00 c delayed cutoffs : 461724
1800.05/1800.00 c repropagations : 2140152 (11821233 domain reductions, 343029 cutoffs)
1800.05/1800.00 c avg switch length: 17.42
1800.05/1800.00 c switching time : 591.56
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 2 (2 improvements)
1800.05/1800.00 c First Solution : +1.78000000000000e+02 (in run 1, after 12190 nodes, 1.41 seconds, depth 66, found by <relaxation>)
1800.05/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 13121 nodes, 1.48 seconds, depth 68, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +7.20000000000000e+01
1800.05/1800.00 c Gap : 12.50 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.05/1800.08 c Time complete: 1800.13.