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-2693899-1277896755.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
0.89/0.99 c 0.8s| 10000 | 7023 | 0 | 0.0 |6172k| 116 | - | 223 |2700 | 0 | 0 | 0 |5006 | 0 | 0.000000e+00 | -- | Inf
1.59/1.65 o 245
1.59/1.65 c * 1.3s| 13533 | 8356 | 0 | 0.0 |8262k| 116 | - | 223 |4375 | 0 | 0 | 0 |8475 | 0 | 0.000000e+00 | 2.450000e+02 | Inf
1.59/1.67 o 228
1.59/1.67 c * 1.3s| 13787 | 8598 | 0 | 0.0 |8374k| 116 | - | 223 |4279 | 0 | 0 | 0 |8489 | 0 | 0.000000e+00 | 2.280000e+02 | Inf
1.59/1.68 o 81
1.59/1.68 c * 1.4s| 13965 | 8731 | 0 | 0.0 |8405k| 116 | - | 223 |4181 | 0 | 0 | 0 |8494 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.49/2.55 c 2.0s| 20000 | 12495 | 0 | 0.0 | 11M| 116 | - | 223 |4069 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.59/4.67 c 3.9s| 30000 | 17220 | 0 | 0.0 | 16M| 116 | - | 223 |6895 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
7.40/7.49 c 6.4s| 40000 | 20561 | 0 | 0.0 | 20M| 116 | - | 223 |8627 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
10.79/10.85 c 9.4s| 50000 | 22742 | 0 | 0.0 | 24M| 116 | - | 223 | 10k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
12.99/13.05 c 11.3s| 60000 | 28357 | 0 | 0.0 | 25M| 116 | - | 223 |2022 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
15.30/15.35 c 13.3s| 70000 | 31333 | 0 | 0.0 | 30M| 116 | - | 223 |4328 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
18.59/18.63 c 16.2s| 80000 | 32383 | 0 | 0.0 | 33M| 116 | - | 223 |6273 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
22.00/22.09 c 19.3s| 90000 | 33553 | 0 | 0.0 | 37M| 116 | - | 223 |7468 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
25.69/25.76 c 22.6s|100000 | 34292 | 0 | 0.0 | 39M| 116 | - | 223 |8987 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
29.89/29.99 c 26.5s|110000 | 33743 | 0 | 0.0 | 40M| 116 | - | 223 |9543 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
34.79/34.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.79/34.84 c 31.0s|120000 | 32810 | 0 | 0.0 | 39M| 116 | - | 223 |7000 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
36.20/36.30 c 32.1s|130000 | 39397 | 0 | 0.0 | 42M| 116 | - | 223 |2366 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
37.79/37.87 c 33.4s|140000 | 45166 | 0 | 0.0 | 47M| 116 | - | 223 |3728 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
39.89/39.96 c 35.2s|150000 | 49739 | 0 | 0.0 | 51M| 116 | - | 223 |6178 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
42.99/43.07 c 37.9s|160000 | 52081 | 0 | 0.0 | 55M| 116 | - | 223 |8070 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
48.80/48.80 c 43.3s|170000 | 49213 | 0 | 0.0 | 56M| 116 | - | 223 | 12k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
56.69/56.79 c 50.9s|180000 | 45643 | 0 | 0.0 | 55M| 116 | - | 223 | 19k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
66.80/66.88 c 60.5s|190000 | 40301 | 0 | 0.0 | 51M| 116 | - | 223 | 21k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
72.70/72.77 c 66.1s|200000 | 42037 | 0 | 0.0 | 46M| 116 | - | 223 |6063 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
75.70/75.79 c 68.8s|210000 | 45200 | 0 | 0.0 | 49M| 116 | - | 223 |6545 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
79.29/79.30 c 72.0s|220000 | 47587 | 0 | 0.0 | 53M| 116 | - | 223 |8883 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
83.49/83.54 c 75.8s|230000 | 49416 | 0 | 0.0 | 56M| 116 | - | 223 | 11k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
88.19/88.28 c 80.2s|240000 | 50999 | 0 | 0.0 | 58M| 116 | - | 223 | 12k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
93.40/93.46 c 85.1s|250000 | 51962 | 0 | 0.0 | 60M| 116 | - | 223 | 15k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
99.79/99.82 c 91.0s|260000 | 51045 | 0 | 0.0 | 61M| 116 | - | 223 | 17k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
110.79/110.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.79/110.83 c 102s|270000 | 44654 | 0 | 0.0 | 50M| 116 | - | 223 | 14k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
118.19/118.20 c 109s|280000 | 42609 | 0 | 0.0 | 47M| 116 | - | 223 | 11k| 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
126.40/126.47 c 117s|290000 | 39660 | 0 | 0.0 | 48M| 116 | - | 223 | 16k| 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
135.99/136.05 c 126s|300000 | 37123 | 0 | 0.0 | 49M| 116 | - | 223 | 21k| 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
146.50/146.58 o 37
146.50/146.58 c * 136s|309885 | 34142 | 0 | 0.0 | 49M| 116 | - | 223 | 25k| 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 3.700000e+01 |3600.00%
146.69/146.73 c 136s|310000 | 34115 | 0 | 0.0 | 49M| 116 | - | 223 | 25k| 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 3.700000e+01 |3600.00%
159.50/159.51 c 148s|320000 | 29850 | 0 | 0.0 | 48M| 116 | - | 223 | 28k| 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 3.700000e+01 |3600.00%
180.19/180.20 c 168s|330000 | 19532 | 0 | 0.0 | 37M| 123 | - | 223 | 27k| 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 3.700000e+01 |3600.00%
188.09/188.11 c 176s|340000 | 20463 | 0 | 0.0 | 25M| 123 | - | 223 |6342 | 0 | 0 | 0 | 362k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
189.49/189.53 c 177s|350000 | 27920 | 0 | 0.0 | 29M| 123 | - | 223 |6598 | 0 | 0 | 0 | 365k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
192.20/192.20 c 179s|360000 | 31893 | 0 | 0.0 | 32M| 123 | - | 223 |2720 | 0 | 0 | 0 | 372k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
195.50/195.53 c 182s|370000 | 33044 | 0 | 0.0 | 35M| 123 | - | 223 |6720 | 0 | 0 | 0 | 382k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
200.10/200.10 c 187s|380000 | 33297 | 0 | 0.0 | 36M| 123 | - | 223 |9568 | 0 | 0 | 0 | 392k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
204.89/204.98 c 191s|390000 | 34127 | 0 | 0.0 | 36M| 123 | - | 223 |8707 | 0 | 0 | 0 | 401k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
206.80/206.89 c 193s|400000 | 40944 | 0 | 0.0 | 40M| 123 | - | 223 |6962 | 0 | 0 | 0 | 405k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
209.09/209.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.09/209.11 c 195s|410000 | 46933 | 0 | 0.0 | 44M| 123 | - | 223 |8629 | 0 | 0 | 0 | 410k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
211.89/211.95 c 197s|420000 | 52140 | 0 | 0.0 | 49M| 123 | - | 223 | 10k| 0 | 0 | 0 | 416k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
215.18/215.20 c 200s|430000 | 56814 | 0 | 0.0 | 53M| 123 | - | 223 | 11k| 0 | 0 | 0 | 424k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
218.99/219.02 c 204s|440000 | 60743 | 0 | 0.0 | 58M| 123 | - | 223 | 13k| 0 | 0 | 0 | 431k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
223.59/223.66 c 208s|450000 | 63655 | 0 | 0.0 | 62M| 123 | - | 223 | 14k| 0 | 0 | 0 | 439k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
228.49/228.54 c 213s|460000 | 66061 | 0 | 0.0 | 66M| 123 | - | 223 | 16k| 0 | 0 | 0 | 448k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
234.49/234.52 c 218s|470000 | 66698 | 0 | 0.0 | 68M| 123 | - | 223 | 14k| 0 | 0 | 0 | 458k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
239.59/239.70 c 223s|480000 | 66279 | 0 | 0.0 | 67M| 123 | - | 223 |7683 | 0 | 0 | 0 | 470k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
245.39/245.47 c 228s|490000 | 64656 | 0 | 0.0 | 67M| 123 | - | 223 |9880 | 0 | 0 | 0 | 482k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
250.09/250.13 c 233s|500000 | 65942 | 0 | 0.0 | 67M| 123 | - | 223 |8633 | 0 | 0 | 0 | 491k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
253.00/253.05 c 235s|510000 | 70858 | 0 | 0.0 | 71M| 123 | - | 223 |9621 | 0 | 0 | 0 | 498k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
256.49/256.59 c 239s|520000 | 75122 | 0 | 0.0 | 75M| 123 | - | 223 | 11k| 0 | 0 | 0 | 505k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
260.79/260.84 c 242s|530000 | 78860 | 0 | 0.0 | 79M| 123 | - | 223 | 13k| 0 | 0 | 0 | 512k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
265.79/265.84 c 247s|540000 | 81813 | 0 | 0.0 | 84M| 123 | - | 223 | 15k| 0 | 0 | 0 | 521k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
272.09/272.17 c 253s|550000 | 83599 | 0 | 0.0 | 88M| 123 | - | 223 | 16k| 0 | 0 | 0 | 530k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
279.29/279.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.29/279.34 c 260s|560000 | 84747 | 0 | 0.0 | 91M| 123 | - | 223 | 18k| 0 | 0 | 0 | 541k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
287.59/287.65 c 268s|570000 | 84923 | 0 | 0.0 | 94M| 123 | - | 223 | 19k| 0 | 0 | 0 | 552k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
296.09/296.12 c 276s|580000 | 85120 | 0 | 0.0 | 97M| 123 | - | 223 | 21k| 0 | 0 | 0 | 563k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
305.80/305.80 c 285s|590000 | 84666 | 0 | 0.0 | 100M| 123 | - | 223 | 23k| 0 | 0 | 0 | 574k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
316.19/316.20 c 295s|600000 | 84188 | 0 | 0.0 | 102M| 123 | - | 223 | 26k| 0 | 0 | 0 | 586k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
327.48/327.55 c 306s|610000 | 83606 | 0 | 0.0 | 104M| 123 | - | 223 | 28k| 0 | 0 | 0 | 598k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
339.69/339.72 c 318s|620000 | 82848 | 0 | 0.0 | 106M| 123 | - | 223 | 30k| 0 | 0 | 0 | 611k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
352.29/352.37 c 330s|630000 | 81444 | 0 | 0.0 | 107M| 123 | - | 223 | 31k| 0 | 0 | 0 | 622k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
366.89/366.94 c 344s|640000 | 76646 | 0 | 0.0 | 99M| 123 | - | 223 | 14k| 0 | 0 | 0 | 637k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
375.39/375.41 c 352s|650000 | 74776 | 0 | 0.0 | 97M| 123 | - | 223 | 14k| 0 | 0 | 0 | 649k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
383.29/383.39 c 360s|660000 | 74905 | 0 | 0.0 | 100M| 123 | - | 223 | 16k| 0 | 0 | 0 | 661k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
394.69/394.73 c 371s|670000 | 73500 | 0 | 0.0 | 102M| 123 | - | 223 | 20k| 0 | 0 | 0 | 673k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
408.19/408.25 c 384s|680000 | 71850 | 0 | 0.0 | 104M| 123 | - | 223 | 24k| 0 | 0 | 0 | 686k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
425.09/425.14 c 401s|690000 | 68997 | 0 | 0.0 | 105M| 123 | - | 223 | 27k| 0 | 0 | 0 | 699k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
445.69/445.73 c 421s|700000 | 64737 | 0 | 0.0 | 104M| 123 | - | 223 | 31k| 0 | 0 | 0 | 714k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
469.39/469.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.39/469.43 c 444s|710000 | 59606 | 0 | 0.0 | 102M| 123 | - | 223 | 33k| 0 | 0 | 0 | 730k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
493.39/493.46 c 468s|720000 | 54577 | 0 | 0.0 | 98M| 123 | - | 223 | 36k| 0 | 0 | 0 | 745k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
518.70/518.74 c 492s|730000 | 49476 | 0 | 0.0 | 94M| 123 | - | 223 | 39k| 0 | 0 | 0 | 760k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
543.40/543.40 c 517s|740000 | 43860 | 0 | 0.0 | 88M| 123 | - | 223 | 42k| 0 | 0 | 0 | 774k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
579.30/579.30 c 552s|750000 | 32240 | 0 | 0.0 | 71M| 123 | - | 223 | 30k| 0 | 0 | 0 | 793k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
624.21/624.29 c 597s|760000 | 19663 | 0 | 0.0 | 53M| 123 | - | 223 | 37k| 0 | 0 | 0 | 812k| 0 | 6.000000e+00 | 3.700000e+01 | 516.67%
666.90/666.93 c 639s|770000 | 11567 | 0 | 0.0 | 32M| 123 | - | 223 | 25k| 0 | 0 | 0 | 827k| 0 | 1.200000e+01 | 3.700000e+01 | 208.33%
691.81/691.81 c 664s|780000 | 7472 | 0 | 0.0 | 26M| 123 | - | 223 | 23k| 0 | 0 | 0 | 841k| 0 | 1.200000e+01 | 3.700000e+01 | 208.33%
698.90/698.95 c 671s|790000 | 11318 | 0 | 0.0 | 23M| 123 | - | 223 |9944 | 0 | 0 | 0 | 848k| 0 | 1.200000e+01 | 3.700000e+01 | 208.33%
701.91/701.94 c 674s|800000 | 16645 | 0 | 0.0 | 25M| 123 | - | 223 |8587 | 0 | 0 | 0 | 854k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
704.10/704.10 c 676s|810000 | 23308 | 0 | 0.0 | 29M| 123 | - | 223 |9728 | 0 | 0 | 0 | 859k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
706.90/706.93 c 678s|820000 | 28844 | 0 | 0.0 | 34M| 123 | - | 223 | 11k| 0 | 0 | 0 | 866k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
710.41/710.44 c 682s|830000 | 33279 | 0 | 0.0 | 38M| 123 | - | 223 | 12k| 0 | 0 | 0 | 874k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
715.31/715.35 c 686s|840000 | 35214 | 0 | 0.0 | 43M| 123 | - | 223 | 14k| 0 | 0 | 0 | 885k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
719.61/719.67 c 690s|850000 | 39784 | 0 | 0.0 | 46M| 123 | - | 223 | 13k| 0 | 0 | 0 | 891k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
723.60/723.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.60/723.63 c 694s|860000 | 44913 | 0 | 0.0 | 50M| 123 | - | 223 | 13k| 0 | 0 | 0 | 898k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
728.11/728.16 c 698s|870000 | 49024 | 0 | 0.0 | 54M| 123 | - | 223 | 14k| 0 | 0 | 0 | 905k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
733.51/733.50 c 703s|880000 | 52184 | 0 | 0.0 | 59M| 123 | - | 223 | 16k| 0 | 0 | 0 | 913k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
739.51/739.53 c 709s|890000 | 54692 | 0 | 0.0 | 63M| 123 | - | 223 | 17k| 0 | 0 | 0 | 922k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
746.31/746.35 c 715s|900000 | 56536 | 0 | 0.0 | 67M| 123 | - | 223 | 18k| 0 | 0 | 0 | 932k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
754.00/754.04 c 723s|910000 | 57418 | 0 | 0.0 | 70M| 123 | - | 223 | 19k| 0 | 0 | 0 | 942k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
763.01/763.04 c 731s|920000 | 56602 | 0 | 0.0 | 73M| 123 | - | 223 | 21k| 0 | 0 | 0 | 954k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
772.71/772.76 c 741s|930000 | 54852 | 0 | 0.0 | 73M| 123 | - | 223 | 23k| 0 | 0 | 0 | 967k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
783.50/783.53 c 751s|940000 | 56915 | 0 | 0.0 | 76M| 123 | - | 223 | 22k| 0 | 0 | 0 | 978k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
795.41/795.42 c 763s|950000 | 57352 | 0 | 0.0 | 79M| 123 | - | 223 | 23k| 0 | 0 | 0 | 989k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
807.51/807.57 c 775s|960000 | 57660 | 0 | 0.0 | 82M| 123 | - | 223 | 25k| 0 | 0 | 0 |1001k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
820.81/820.81 c 788s|970000 | 57154 | 0 | 0.0 | 84M| 123 | - | 223 | 27k| 0 | 0 | 0 |1012k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
836.41/836.43 c 803s|980000 | 55563 | 0 | 0.0 | 86M| 123 | - | 223 | 30k| 0 | 0 | 0 |1025k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
854.41/854.49 c 821s|990000 | 52614 | 0 | 0.0 | 86M| 123 | - | 223 | 33k| 0 | 0 | 0 |1038k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
875.71/875.76 c 842s| 1000k| 46466 | 0 | 0.0 | 80M| 123 | - | 223 | 36k| 0 | 0 | 0 |1054k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
899.12/899.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.12/899.12 c 865s| 1010k| 41869 | 0 | 0.0 | 76M| 123 | - | 223 | 30k| 0 | 0 | 0 |1070k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
926.62/926.68 c 892s| 1020k| 33357 | 0 | 0.0 | 68M| 123 | - | 223 | 34k| 0 | 0 | 0 |1087k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
944.42/944.49 c 909s| 1030k| 31411 | 0 | 0.0 | 55M| 123 | - | 223 | 18k| 0 | 0 | 0 |1098k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
950.43/950.41 c 915s| 1040k| 31448 | 0 | 0.0 | 47M| 123 | - | 223 |9061 | 0 | 0 | 0 |1108k| 0 | 1.300000e+01 | 3.700000e+01 | 184.62%
952.53/952.51 c 917s| 1050k| 38070 | 0 | 0.0 | 50M| 123 | - | 223 |7794 | 0 | 0 | 0 |1112k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
955.01/955.02 c 919s| 1060k| 43775 | 0 | 0.0 | 54M| 123 | - | 223 |9150 | 0 | 0 | 0 |1117k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
958.52/958.59 c 922s| 1070k| 47569 | 0 | 0.0 | 59M| 123 | - | 223 | 10k| 0 | 0 | 0 |1125k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
963.42/963.40 c 926s| 1080k| 49334 | 0 | 0.0 | 61M| 123 | - | 223 |9274 | 0 | 0 | 0 |1134k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
968.62/968.61 c 931s| 1090k| 50538 | 0 | 0.0 | 63M| 123 | - | 223 | 10k| 0 | 0 | 0 |1145k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
972.91/972.94 c 935s| 1100k| 54128 | 0 | 0.0 | 64M| 123 | - | 223 | 10k| 0 | 0 | 0 |1153k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
977.12/977.12 c 939s| 1110k| 58030 | 0 | 0.0 | 69M| 123 | - | 223 | 13k| 0 | 0 | 0 |1163k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
983.02/983.03 c 945s| 1120k| 60447 | 0 | 0.0 | 74M| 123 | - | 223 | 17k| 0 | 0 | 0 |1172k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
990.52/990.50 c 952s| 1130k| 61847 | 0 | 0.0 | 77M| 123 | - | 223 | 19k| 0 | 0 | 0 |1183k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
999.22/999.27 c 960s| 1140k| 62285 | 0 | 0.0 | 81M| 123 | - | 223 | 20k| 0 | 0 | 0 |1195k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1008.32/1008.36 c 969s| 1150k| 62054 | 0 | 0.0 | 83M| 123 | - | 223 | 19k| 0 | 0 | 0 |1206k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1018.32/1018.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.32/1018.32 c 979s| 1160k| 60528 | 0 | 0.0 | 84M| 123 | - | 223 | 20k| 0 | 0 | 0 |1219k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1028.53/1028.57 c 989s| 1170k| 59653 | 0 | 0.0 | 82M| 123 | - | 223 | 14k| 0 | 0 | 0 |1232k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1037.42/1037.44 c 997s| 1180k| 59318 | 0 | 0.0 | 82M| 123 | - | 223 | 15k| 0 | 0 | 0 |1244k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1045.32/1045.38 c 1005s| 1190k| 60112 | 0 | 0.0 | 85M| 123 | - | 223 | 16k| 0 | 0 | 0 |1257k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1056.82/1056.80 c 1016s| 1200k| 58789 | 0 | 0.0 | 89M| 123 | - | 223 | 23k| 0 | 0 | 0 |1273k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1072.82/1072.81 c 1031s| 1210k| 56037 | 0 | 0.0 | 91M| 123 | - | 223 | 31k| 0 | 0 | 0 |1289k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1095.33/1095.39 c 1053s| 1220k| 51542 | 0 | 0.0 | 91M| 123 | - | 223 | 40k| 0 | 0 | 0 |1306k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1124.73/1124.78 c 1082s| 1230k| 45654 | 0 | 0.0 | 87M| 123 | - | 223 | 43k| 0 | 0 | 0 |1324k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1157.93/1157.91 c 1115s| 1240k| 38684 | 0 | 0.0 | 75M| 123 | - | 223 | 29k| 0 | 0 | 0 |1342k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1165.83/1165.80 c 1123s| 1250k| 41828 | 0 | 0.0 | 74M| 123 | - | 223 | 18k| 0 | 0 | 0 |1350k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1187.73/1187.71 c 1144s| 1260k| 32094 | 0 | 0.0 | 62M| 123 | - | 223 | 30k| 0 | 0 | 0 |1373k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1199.83/1199.86 c 1156s| 1270k| 34257 | 0 | 0.0 | 54M| 123 | - | 223 | 16k| 0 | 0 | 0 |1382k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1204.44/1204.44 c 1160s| 1280k| 39474 | 0 | 0.0 | 57M| 123 | - | 223 | 16k| 0 | 0 | 0 |1390k| 0 | 1.700000e+01 | 3.700000e+01 | 117.65%
1211.03/1211.10 c 1167s| 1290k| 41300 | 0 | 0.0 | 59M| 123 | - | 223 | 18k| 0 | 0 | 0 |1399k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1216.33/1216.34 c 1171s| 1300k| 45765 | 0 | 0.0 | 62M| 123 | - | 223 | 18k| 0 | 0 | 0 |1406k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1221.63/1221.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.63/1221.60 c 1176s| 1310k| 50408 | 0 | 0.0 | 66M| 123 | - | 223 | 18k| 0 | 0 | 0 |1413k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1228.03/1228.05 c 1183s| 1320k| 53708 | 0 | 0.0 | 70M| 123 | - | 223 | 19k| 0 | 0 | 0 |1423k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1236.53/1236.54 c 1191s| 1330k| 55317 | 0 | 0.0 | 74M| 123 | - | 223 | 22k| 0 | 0 | 0 |1434k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1246.73/1246.79 c 1201s| 1340k| 55088 | 0 | 0.0 | 77M| 123 | - | 223 | 24k| 0 | 0 | 0 |1446k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1258.23/1258.30 c 1212s| 1350k| 53272 | 0 | 0.0 | 78M| 123 | - | 223 | 26k| 0 | 0 | 0 |1460k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1270.53/1270.53 c 1224s| 1360k| 52974 | 0 | 0.0 | 75M| 123 | - | 223 | 16k| 0 | 0 | 0 |1472k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1279.93/1279.95 c 1233s| 1370k| 52021 | 0 | 0.0 | 75M| 123 | - | 223 | 18k| 0 | 0 | 0 |1485k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1291.13/1291.15 c 1243s| 1380k| 51500 | 0 | 0.0 | 78M| 123 | - | 223 | 20k| 0 | 0 | 0 |1498k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1303.94/1303.94 c 1256s| 1390k| 50020 | 0 | 0.0 | 81M| 123 | - | 223 | 23k| 0 | 0 | 0 |1512k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1318.73/1318.77 c 1270s| 1400k| 47492 | 0 | 0.0 | 82M| 123 | - | 223 | 25k| 0 | 0 | 0 |1526k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1335.74/1335.78 c 1287s| 1410k| 43357 | 0 | 0.0 | 80M| 123 | - | 223 | 29k| 0 | 0 | 0 |1542k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1355.14/1355.15 c 1306s| 1420k| 38822 | 0 | 0.0 | 74M| 123 | - | 223 | 26k| 0 | 0 | 0 |1558k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1369.64/1369.67 c 1320s| 1430k| 36554 | 0 | 0.0 | 71M| 123 | - | 223 | 21k| 0 | 0 | 0 |1572k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1385.74/1385.74 c 1336s| 1440k| 29060 | 0 | 0.0 | 61M| 123 | - | 223 | 22k| 0 | 0 | 0 |1590k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1403.34/1403.35 c 1353s| 1450k| 23311 | 0 | 0.0 | 50M| 123 | - | 223 | 23k| 0 | 0 | 0 |1608k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1412.24/1412.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.24/1412.25 c 1361s| 1460k| 25457 | 0 | 0.0 | 46M| 123 | - | 223 | 14k| 0 | 0 | 0 |1617k| 0 | 2.000000e+01 | 3.700000e+01 | 85.00%
1419.53/1419.50 c 1368s| 1470k| 26310 | 0 | 0.0 | 42M| 123 | - | 223 | 12k| 0 | 0 | 0 |1628k| 0 | 2.300000e+01 | 3.700000e+01 | 60.87%
1422.63/1422.65 c 1371s| 1480k| 32303 | 0 | 0.0 | 46M| 123 | - | 223 | 12k| 0 | 0 | 0 |1634k| 0 | 2.300000e+01 | 3.700000e+01 | 60.87%
1427.24/1427.27 c 1375s| 1490k| 36158 | 0 | 0.0 | 51M| 123 | - | 223 | 16k| 0 | 0 | 0 |1642k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1435.44/1435.46 c 1383s| 1500k| 36243 | 0 | 0.0 | 51M| 123 | - | 223 | 17k| 0 | 0 | 0 |1654k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1440.24/1440.28 c 1388s| 1510k| 41171 | 0 | 0.0 | 55M| 123 | - | 223 | 18k| 0 | 0 | 0 |1663k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1447.34/1447.30 c 1394s| 1520k| 44344 | 0 | 0.0 | 60M| 123 | - | 223 | 21k| 0 | 0 | 0 |1675k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1456.45/1456.41 c 1403s| 1530k| 46392 | 0 | 0.0 | 64M| 123 | - | 223 | 24k| 0 | 0 | 0 |1687k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1467.94/1467.96 c 1414s| 1540k| 46874 | 0 | 0.0 | 68M| 123 | - | 223 | 28k| 0 | 0 | 0 |1700k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1481.84/1481.85 c 1428s| 1550k| 45663 | 0 | 0.0 | 71M| 123 | - | 223 | 32k| 0 | 0 | 0 |1715k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1497.74/1497.72 c 1443s| 1560k| 44322 | 0 | 0.0 | 69M| 123 | - | 223 | 29k| 0 | 0 | 0 |1730k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1513.74/1513.77 c 1459s| 1570k| 44381 | 0 | 0.0 | 72M| 123 | - | 223 | 30k| 0 | 0 | 0 |1744k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1533.05/1533.05 c 1478s| 1580k| 42940 | 0 | 0.0 | 74M| 123 | - | 223 | 34k| 0 | 0 | 0 |1760k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1555.94/1555.99 c 1501s| 1590k| 39756 | 0 | 0.0 | 74M| 123 | - | 223 | 38k| 0 | 0 | 0 |1777k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1584.85/1584.88 c 1529s| 1600k| 33242 | 0 | 0.0 | 69M| 123 | - | 223 | 42k| 0 | 0 | 0 |1797k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1624.65/1624.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.65/1624.68 c 1568s| 1610k| 23861 | 0 | 0.0 | 58M| 123 | - | 223 | 45k| 0 | 0 | 0 |1819k| 0 | 2.400000e+01 | 3.700000e+01 | 54.17%
1647.45/1647.48 c 1591s| 1620k| 22683 | 0 | 0.0 | 46M| 123 | - | 223 | 24k| 0 | 0 | 0 |1832k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1659.15/1659.18 c 1602s| 1630k| 23505 | 0 | 0.0 | 45M| 123 | - | 223 | 22k| 0 | 0 | 0 |1844k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1669.65/1669.65 c 1612s| 1640k| 24773 | 0 | 0.0 | 46M| 123 | - | 223 | 19k| 0 | 0 | 0 |1855k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1679.85/1679.80 c 1622s| 1650k| 25675 | 0 | 0.0 | 47M| 123 | - | 223 | 19k| 0 | 0 | 0 |1867k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1686.75/1686.76 c 1629s| 1660k| 28770 | 0 | 0.0 | 49M| 123 | - | 223 | 20k| 0 | 0 | 0 |1876k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1697.05/1697.03 c 1639s| 1670k| 28976 | 0 | 0.0 | 49M| 123 | - | 223 | 18k| 0 | 0 | 0 |1888k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1704.45/1704.43 c 1646s| 1680k| 32388 | 0 | 0.0 | 50M| 123 | - | 223 | 20k| 0 | 0 | 0 |1897k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1709.76/1709.74 c 1651s| 1690k| 37393 | 0 | 0.0 | 54M| 123 | - | 223 | 23k| 0 | 0 | 0 |1904k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1716.06/1716.03 c 1657s| 1700k| 41133 | 0 | 0.0 | 59M| 123 | - | 223 | 25k| 0 | 0 | 0 |1912k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1724.06/1724.06 c 1664s| 1710k| 42626 | 0 | 0.0 | 62M| 123 | - | 223 | 25k| 0 | 0 | 0 |1922k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1733.85/1733.87 c 1674s| 1720k| 44036 | 0 | 0.0 | 60M| 123 | - | 223 | 22k| 0 | 0 | 0 |1933k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1740.65/1740.69 c 1680s| 1730k| 48389 | 0 | 0.0 | 65M| 123 | - | 223 | 25k| 0 | 0 | 0 |1942k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1749.75/1749.77 c 1689s| 1740k| 51483 | 0 | 0.0 | 69M| 123 | - | 223 | 30k| 0 | 0 | 0 |1952k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1760.85/1760.83 c 1700s| 1750k| 53558 | 0 | 0.0 | 74M| 123 | - | 223 | 34k| 0 | 0 | 0 |1963k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1774.36/1774.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.36/1774.31 c 1713s| 1760k| 54491 | 0 | 0.0 | 78M| 123 | - | 223 | 38k| 0 | 0 | 0 |1974k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1790.86/1790.81 c 1729s| 1770k| 53759 | 0 | 0.0 | 80M| 123 | - | 223 | 40k| 0 | 0 | 0 |1988k| 0 | 3.000000e+01 | 3.700000e+01 | 23.33%
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1737.95
1800.06/1800.00 c Solving Nodes : 1774622
1800.06/1800.00 c Primal Bound : +3.70000000000000e+01 (4 solutions)
1800.06/1800.00 c Dual Bound : +3.00000000000000e+01
1800.06/1800.00 c Gap : 23.33 %
1800.06/1800.00 s SATISFIABLE
1800.06/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.06/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.06/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.06/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.06/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.06/1800.00 v -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31
1800.06/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.06/1800.00 v -x4 -x3 -x2 -x1
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time : 1737.95
1800.06/1800.00 c Original Problem :
1800.06/1800.00 c Problem name : HOME/instance-2693899-1277896755.wbo
1800.06/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.06/1800.00 c Constraints : 130 initial, 130 maximal
1800.06/1800.00 c Presolved Problem :
1800.06/1800.00 c Problem name : t_HOME/instance-2693899-1277896755.wbo
1800.06/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.06/1800.00 c Constraints : 112 initial, 46549 maximal
1800.06/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.06/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.06/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.06/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c root node : - 5 - - 10 - - - -
1800.06/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c indicator : 27 0 4984402 0 1025763 36 118253 0 0 0
1800.06/1800.00 c setppc : 49 0 5531705 0 1133196 183640 11928134 0 0 0
1800.06/1800.00 c linear : 27 0 5348075 0 1133203 440452 18772038 0 0 0
1800.06/1800.00 c logicor : 9+ 0 2922432 0 1133196 318437 1755187 0 0 0
1800.06/1800.00 c bounddisjunction : 0+ 0 193804 0 0 6 120 0 0 0
1800.06/1800.00 c countsols : 0 0 0 0 1133207 0 0 0 0 0
1800.06/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c indicator : 0.47 0.00 0.17 0.00 0.30
1800.06/1800.00 c setppc : 34.48 0.00 29.32 0.00 5.16
1800.06/1800.00 c linear : 83.31 0.00 83.16 0.00 0.15
1800.06/1800.00 c logicor : 830.77 0.00 830.22 0.00 0.55
1800.06/1800.00 c bounddisjunction : 0.44 0.00 0.44 0.00 0.00
1800.06/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.00 c vbounds : 0.03 2 0 0
1800.06/1800.00 c rootredcost : 0.03 0 0 0
1800.06/1800.00 c pseudoobj : 3.31 5531588 27 68446
1800.06/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.00 c propagation : 42.02 942562 942347 5053158 21.7 176122 14.9 -
1800.06/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c pseudo solution : 0.00 7 7 9 2.4 0 0.0 -
1800.06/1800.00 c applied globally : - - - 1982362 16.3 - - -
1800.06/1800.00 c applied locally : - - - 12832 34.4 - - -
1800.06/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.00 c redcost : 0.00 0 0 0 0 0
1800.06/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.00 c intobj : 0.00 0 0 0 0 0
1800.06/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.00 c gomory : 0.00 0 0 0 0 0
1800.06/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.00 c cmir : 0.00 0 0 0 0 0
1800.06/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.00 c clique : 0.00 0 0 0 0 0
1800.06/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.00 c mcf : 0.00 0 0 0 0 0
1800.06/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.00 c Pricers : Time Calls Vars
1800.06/1800.00 c problem variables: 0.00 0 0
1800.06/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.00 c inference : 6.38 1133203 0 0 0 0 2266406
1800.06/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c random : 0.00 0 0 0 0 0 0
1800.06/1800.00 c Primal Heuristics : Time Calls Found
1800.06/1800.00 c LP solutions : 0.00 - 0
1800.06/1800.00 c pseudo solutions : 0.00 - 4
1800.06/1800.00 c oneopt : 0.05 0 0
1800.06/1800.00 c trivial : 0.00 2 0
1800.06/1800.00 c simplerounding : 0.00 0 0
1800.06/1800.00 c zirounding : 0.00 0 0
1800.06/1800.00 c rounding : 0.00 0 0
1800.06/1800.00 c shifting : 0.00 0 0
1800.06/1800.00 c intshifting : 0.00 0 0
1800.06/1800.00 c twoopt : 0.00 0 0
1800.06/1800.00 c fixandinfer : 0.00 0 0
1800.06/1800.00 c feaspump : 0.00 0 0
1800.06/1800.00 c coefdiving : 0.00 0 0
1800.06/1800.00 c pscostdiving : 0.00 0 0
1800.06/1800.00 c fracdiving : 0.00 0 0
1800.06/1800.00 c veclendiving : 0.00 0 0
1800.06/1800.00 c intdiving : 0.00 0 0
1800.06/1800.00 c actconsdiving : 0.00 0 0
1800.06/1800.00 c objpscostdiving : 0.00 0 0
1800.06/1800.00 c rootsoldiving : 0.00 0 0
1800.06/1800.00 c linesearchdiving : 0.00 0 0
1800.06/1800.00 c guideddiving : 0.00 0 0
1800.06/1800.00 c octane : 0.00 0 0
1800.06/1800.00 c rens : 0.00 0 0
1800.06/1800.00 c rins : 0.00 0 0
1800.06/1800.00 c localbranching : 0.00 0 0
1800.06/1800.00 c mutation : 0.00 0 0
1800.06/1800.00 c crossover : 0.00 0 0
1800.06/1800.00 c dins : 0.00 0 0
1800.06/1800.00 c undercover : 0.00 0 0
1800.06/1800.00 c nlp : 0.02 0 0
1800.06/1800.00 c trysol : 0.01 1 0
1800.06/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.00 c (at root node) : - 0 0 0.00 -
1800.06/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.00 c B&B Tree :
1800.06/1800.00 c number of runs : 1
1800.06/1800.00 c nodes : 1774622
1800.06/1800.00 c nodes (total) : 1774622
1800.06/1800.00 c nodes left : 52353
1800.06/1800.00 c max depth : 123
1800.06/1800.00 c max depth (total): 123
1800.06/1800.00 c backtracks : 673261 (37.9%)
1800.06/1800.00 c delayed cutoffs : 438591
1800.06/1800.00 c repropagations : 2048142 (9069968 domain reductions, 301190 cutoffs)
1800.06/1800.00 c avg switch length: 18.57
1800.06/1800.00 c switching time : 573.92
1800.06/1800.00 c Solution :
1800.06/1800.00 c Solutions found : 4 (4 improvements)
1800.06/1800.00 c First Solution : +2.45000000000000e+02 (in run 1, after 13533 nodes, 1.32 seconds, depth 88, found by <relaxation>)
1800.06/1800.00 c Primal Bound : +3.70000000000000e+01 (in run 1, after 309885 nodes, 135.81 seconds, depth 53, found by <relaxation>)
1800.06/1800.00 c Dual Bound : +3.00000000000000e+01
1800.06/1800.00 c Gap : 23.33 %
1800.06/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Root Iterations : 0
1800.16/1800.15 c Time complete: 1800.21.