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-2693951-1277898292.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.79/0.89 c 0.8s| 10000 | 7444 | 0 | 0.0 |5892k| 116 | - | 223 |2416 | 0 | 0 | 0 |3882 | 0 | 0.000000e+00 | -- | Inf
1.88/1.90 o 254
1.88/1.90 c * 1.8s| 15383 | 9858 | 0 | 0.0 |9169k| 116 | - | 223 |5416 | 0 | 0 | 0 |8660 | 0 | 0.000000e+00 | 2.540000e+02 | Inf
1.88/1.96 o 135
1.88/1.96 c * 1.8s| 15983 | 10403 | 0 | 0.0 |9402k| 116 | - | 223 |5030 | 0 | 0 | 0 |8714 | 0 | 0.000000e+00 | 1.350000e+02 | Inf
1.88/1.96 o 111
1.88/1.96 c * 1.8s| 15984 | 10402 | 0 | 0.0 |9406k| 116 | - | 223 |5030 | 0 | 0 | 0 |8714 | 0 | 0.000000e+00 | 1.110000e+02 | Inf
1.88/1.97 o 98
1.88/1.97 c * 1.8s| 16030 | 10438 | 0 | 0.0 |9407k| 116 | - | 223 |4968 | 0 | 0 | 0 |8714 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
2.39/2.49 c 2.3s| 20000 | 13297 | 0 | 0.0 | 10M| 116 | - | 223 |3195 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
4.09/4.16 c 3.9s| 30000 | 19281 | 0 | 0.0 | 15M| 116 | - | 223 |4734 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
6.08/6.17 c 5.9s| 40000 | 24648 | 0 | 0.0 | 19M| 116 | - | 223 |5668 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
8.80/8.82 c 8.4s| 50000 | 28567 | 0 | 0.0 | 24M| 116 | - | 223 |6882 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
11.99/12.07 c 11.6s| 60000 | 31340 | 0 | 0.0 | 28M| 116 | - | 223 |9441 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
16.08/16.17 c 15.6s| 70000 | 33621 | 0 | 0.0 | 31M| 116 | - | 223 |9184 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
16.29/16.30 o 81
16.29/16.30 c *15.7s| 70739 | 33966 | 0 | 0.0 | 31M| 116 | - | 223 |6857 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
17.29/17.31 c 16.6s| 80000 | 40966 | 0 | 0.0 | 33M| 116 | - | 223 |1405 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.29/19.34 c 18.5s| 90000 | 44950 | 0 | 0.0 | 38M| 116 | - | 223 |3379 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
21.99/22.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.99/22.03 c 21.1s|100000 | 47949 | 0 | 0.0 | 42M| 116 | - | 223 |4621 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
25.09/25.12 c 24.1s|110000 | 50223 | 0 | 0.0 | 45M| 116 | - | 223 |5660 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
28.49/28.54 c 27.4s|120000 | 51927 | 0 | 0.0 | 49M| 116 | - | 223 |5667 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
32.09/32.19 c 30.9s|130000 | 52911 | 0 | 0.0 | 52M| 116 | - | 223 |7251 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
36.19/36.28 c 34.9s|140000 | 53272 | 0 | 0.0 | 55M| 116 | - | 223 |7571 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
40.49/40.51 c 39.0s|150000 | 53530 | 0 | 0.0 | 57M| 116 | - | 223 |8411 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
45.19/45.22 c 43.6s|160000 | 53108 | 0 | 0.0 | 59M| 116 | - | 223 | 10k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
50.39/50.41 c 48.7s|170000 | 52478 | 0 | 0.0 | 61M| 116 | - | 223 | 13k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
54.08/54.14 c 52.3s|180000 | 56168 | 0 | 0.0 | 60M| 116 | - | 223 |2674 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
55.49/55.58 c 53.7s|190000 | 62875 | 0 | 0.0 | 65M| 116 | - | 223 |3198 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
57.39/57.43 c 55.4s|200000 | 68682 | 0 | 0.0 | 69M| 116 | - | 223 |4587 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
59.69/59.72 c 57.6s|210000 | 73691 | 0 | 0.0 | 73M| 116 | - | 223 |5961 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
62.70/62.72 c 60.5s|220000 | 77506 | 0 | 0.0 | 77M| 116 | - | 223 |6796 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
66.00/66.07 c 63.8s|230000 | 80242 | 0 | 0.0 | 81M| 116 | - | 223 |7456 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
70.59/70.69 c 68.2s|240000 | 80253 | 0 | 0.0 | 84M| 116 | - | 223 |9538 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
77.59/77.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.59/77.62 c 75.0s|250000 | 78916 | 0 | 0.0 | 87M| 116 | - | 223 | 15k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
87.19/87.26 c 84.6s|260000 | 76658 | 0 | 0.0 | 89M| 116 | - | 223 | 19k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
99.00/99.09 c 96.3s|270000 | 74138 | 0 | 0.0 | 90M| 116 | - | 223 | 23k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
113.79/113.82 c 111s|280000 | 70120 | 0 | 0.0 | 88M| 116 | - | 223 | 24k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
129.49/129.57 c 127s|290000 | 64943 | 0 | 0.0 | 82M| 116 | - | 223 | 23k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
143.69/143.73 c 141s|300000 | 59529 | 0 | 0.0 | 76M| 116 | - | 223 | 26k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
148.89/148.94 c 146s|310000 | 64884 | 0 | 0.0 | 74M| 116 | - | 223 |8649 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
152.19/152.23 c 149s|320000 | 69668 | 0 | 0.0 | 78M| 116 | - | 223 |8665 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
156.10/156.11 c 153s|330000 | 73774 | 0 | 0.0 | 82M| 116 | - | 223 | 10k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
160.50/160.52 c 157s|340000 | 77640 | 0 | 0.0 | 85M| 116 | - | 223 | 11k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
165.49/165.54 c 162s|350000 | 80571 | 0 | 0.0 | 89M| 116 | - | 223 | 11k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
170.99/171.00 c 167s|360000 | 82657 | 0 | 0.0 | 92M| 116 | - | 223 | 11k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
176.60/176.69 c 173s|370000 | 84232 | 0 | 0.0 | 94M| 116 | - | 223 | 11k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
182.30/182.31 c 178s|380000 | 85686 | 0 | 0.0 | 97M| 116 | - | 223 | 12k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
187.89/187.99 c 184s|390000 | 87011 | 0 | 0.0 | 99M| 116 | - | 223 | 12k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
193.89/193.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.89/193.92 c 190s|400000 | 87863 | 0 | 0.0 | 101M| 116 | - | 223 | 12k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
200.30/200.39 c 196s|410000 | 87754 | 0 | 0.0 | 103M| 116 | - | 223 | 12k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
207.50/207.54 c 203s|420000 | 86265 | 0 | 0.0 | 103M| 116 | - | 223 | 13k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
218.30/218.35 c 214s|430000 | 79843 | 0 | 0.0 | 97M| 116 | - | 223 | 16k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
233.99/234.04 c 229s|440000 | 71773 | 0 | 0.0 | 79M| 116 | - | 223 | 17k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
240.60/240.61 c 236s|450000 | 73386 | 0 | 0.0 | 77M| 116 | - | 223 | 11k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
247.19/247.24 c 242s|460000 | 74433 | 0 | 0.0 | 80M| 116 | - | 223 | 14k| 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
256.40/256.40 c 251s|470000 | 74635 | 0 | 0.0 | 84M| 116 | - | 223 | 18k| 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
267.90/267.99 c 263s|480000 | 74195 | 0 | 0.0 | 87M| 116 | - | 223 | 22k| 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
281.19/281.21 c 276s|490000 | 73808 | 0 | 0.0 | 90M| 116 | - | 223 | 25k| 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
297.39/297.46 c 292s|500000 | 72334 | 0 | 0.0 | 92M| 116 | - | 223 | 28k| 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
314.40/314.42 c 309s|510000 | 71287 | 0 | 0.0 | 94M| 116 | - | 223 | 30k| 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
333.39/333.49 c 328s|520000 | 69123 | 0 | 0.0 | 95M| 116 | - | 223 | 31k| 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
353.10/353.19 c 347s|530000 | 66441 | 0 | 0.0 | 95M| 116 | - | 223 | 31k| 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
373.30/373.34 c 367s|540000 | 63200 | 0 | 0.0 | 93M| 116 | - | 223 | 31k| 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
391.90/391.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.90/391.98 c 386s|550000 | 60129 | 0 | 0.0 | 92M| 116 | - | 223 | 30k| 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
411.19/411.20 c 405s|560000 | 55760 | 0 | 0.0 | 89M| 116 | - | 223 | 30k| 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
432.60/432.63 c 426s|570000 | 50985 | 0 | 0.0 | 84M| 116 | - | 223 | 24k| 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
456.60/456.61 c 450s|580000 | 45278 | 0 | 0.0 | 81M| 116 | - | 223 | 28k| 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
485.00/485.08 c 478s|590000 | 38469 | 0 | 0.0 | 76M| 116 | - | 223 | 35k| 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
518.10/518.19 c 511s|600000 | 30066 | 0 | 0.0 | 66M| 116 | - | 223 | 38k| 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
542.10/542.10 c 535s|610000 | 24921 | 0 | 0.0 | 51M| 116 | - | 223 | 24k| 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
552.71/552.79 c 545s|620000 | 25912 | 0 | 0.0 | 38M| 116 | - | 223 |6752 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
554.50/554.56 c 547s|630000 | 33160 | 0 | 0.0 | 41M| 116 | - | 223 |5318 | 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
557.71/557.72 c 550s|640000 | 37034 | 0 | 0.0 | 45M| 116 | - | 223 |6589 | 0 | 0 | 0 | 672k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
561.60/561.66 c 554s|650000 | 39798 | 0 | 0.0 | 48M| 116 | - | 223 |7412 | 0 | 0 | 0 | 681k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
567.20/567.22 c 560s|660000 | 39893 | 0 | 0.0 | 47M| 116 | - | 223 |9862 | 0 | 0 | 0 | 691k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
572.90/572.96 c 565s|670000 | 41043 | 0 | 0.0 | 46M| 116 | - | 223 |9262 | 0 | 0 | 0 | 699k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
575.00/575.08 c 567s|680000 | 48281 | 0 | 0.0 | 50M| 116 | - | 223 |6357 | 0 | 0 | 0 | 703k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
577.21/577.21 c 569s|690000 | 54889 | 0 | 0.0 | 54M| 116 | - | 223 |6885 | 0 | 0 | 0 | 707k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
579.51/579.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.51/579.57 c 571s|700000 | 61175 | 0 | 0.0 | 58M| 116 | - | 223 |7181 | 0 | 0 | 0 | 712k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
581.91/581.99 c 574s|710000 | 67239 | 0 | 0.0 | 62M| 116 | - | 223 |7293 | 0 | 0 | 0 | 716k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
584.50/584.55 c 576s|720000 | 73127 | 0 | 0.0 | 66M| 116 | - | 223 |7649 | 0 | 0 | 0 | 721k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
587.41/587.40 c 579s|730000 | 78436 | 0 | 0.0 | 71M| 116 | - | 223 |8267 | 0 | 0 | 0 | 727k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
590.40/590.41 c 582s|740000 | 83438 | 0 | 0.0 | 75M| 116 | - | 223 |8778 | 0 | 0 | 0 | 733k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
593.70/593.78 c 585s|750000 | 87863 | 0 | 0.0 | 79M| 116 | - | 223 |8956 | 0 | 0 | 0 | 740k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
597.40/597.46 c 589s|760000 | 91568 | 0 | 0.0 | 83M| 116 | - | 223 |9835 | 0 | 0 | 0 | 747k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
601.61/601.68 c 593s|770000 | 94740 | 0 | 0.0 | 87M| 116 | - | 223 | 11k| 0 | 0 | 0 | 755k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
607.40/607.40 c 598s|780000 | 95621 | 0 | 0.0 | 90M| 116 | - | 223 | 12k| 0 | 0 | 0 | 764k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
612.50/612.52 c 603s|790000 | 97761 | 0 | 0.0 | 92M| 116 | - | 223 |9739 | 0 | 0 | 0 | 773k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
618.10/618.19 c 609s|800000 | 98673 | 0 | 0.0 | 93M| 116 | - | 223 | 10k| 0 | 0 | 0 | 783k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
624.70/624.73 c 615s|810000 | 98257 | 0 | 0.0 | 93M| 116 | - | 223 | 12k| 0 | 0 | 0 | 793k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
627.69/627.70 c 618s|820000 |104558 | 0 | 0.0 | 97M| 116 | - | 223 | 10k| 0 | 0 | 0 | 797k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
630.70/630.78 c 621s|830000 |110314 | 0 | 0.0 | 101M| 116 | - | 223 | 11k| 0 | 0 | 0 | 803k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
634.10/634.17 c 625s|840000 |115594 | 0 | 0.0 | 105M| 116 | - | 223 | 11k| 0 | 0 | 0 | 809k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
637.60/637.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.60/637.66 c 628s|850000 |120766 | 0 | 0.0 | 109M| 116 | - | 223 | 12k| 0 | 0 | 0 | 815k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
641.50/641.53 c 632s|860000 |125588 | 0 | 0.0 | 113M| 116 | - | 223 | 13k| 0 | 0 | 0 | 822k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
645.70/645.72 c 636s|870000 |130322 | 0 | 0.0 | 117M| 116 | - | 223 | 14k| 0 | 0 | 0 | 828k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
650.50/650.53 c 640s|880000 |134835 | 0 | 0.0 | 121M| 116 | - | 223 | 15k| 0 | 0 | 0 | 835k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
655.60/655.66 c 645s|890000 |138887 | 0 | 0.0 | 125M| 116 | - | 223 | 16k| 0 | 0 | 0 | 842k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
661.01/661.06 c 651s|900000 |142635 | 0 | 0.0 | 129M| 116 | - | 223 | 16k| 0 | 0 | 0 | 850k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
666.40/666.45 c 656s|910000 |146334 | 0 | 0.0 | 132M| 116 | - | 223 | 16k| 0 | 0 | 0 | 857k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
672.20/672.21 c 661s|920000 |149572 | 0 | 0.0 | 136M| 116 | - | 223 | 16k| 0 | 0 | 0 | 865k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
678.30/678.39 c 668s|930000 |152402 | 0 | 0.0 | 140M| 116 | - | 223 | 17k| 0 | 0 | 0 | 874k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
684.60/684.67 c 674s|940000 |155163 | 0 | 0.0 | 144M| 116 | - | 223 | 16k| 0 | 0 | 0 | 882k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
690.90/690.99 c 680s|950000 |157625 | 0 | 0.0 | 147M| 116 | - | 223 | 16k| 0 | 0 | 0 | 891k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
697.60/697.69 c 687s|960000 |159641 | 0 | 0.0 | 151M| 116 | - | 223 | 17k| 0 | 0 | 0 | 900k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
704.50/704.51 c 693s|970000 |161606 | 0 | 0.0 | 154M| 116 | - | 223 | 17k| 0 | 0 | 0 | 910k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
711.50/711.51 c 700s|980000 |163210 | 0 | 0.0 | 157M| 116 | - | 223 | 17k| 0 | 0 | 0 | 919k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
718.60/718.65 c 707s|990000 |164653 | 0 | 0.0 | 160M| 116 | - | 223 | 17k| 0 | 0 | 0 | 929k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
725.91/726.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.91/726.00 c 714s| 1000k|165951 | 0 | 0.0 | 164M| 116 | - | 223 | 18k| 0 | 0 | 0 | 939k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
734.10/734.15 c 722s| 1010k|166405 | 0 | 0.0 | 166M| 116 | - | 223 | 18k| 0 | 0 | 0 | 950k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
742.10/742.10 c 730s| 1020k|167063 | 0 | 0.0 | 169M| 116 | - | 223 | 19k| 0 | 0 | 0 | 960k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
750.31/750.40 c 738s| 1030k|167271 | 0 | 0.0 | 171M| 116 | - | 223 | 19k| 0 | 0 | 0 | 971k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
758.91/758.97 c 747s| 1040k|167225 | 0 | 0.0 | 173M| 116 | - | 223 | 20k| 0 | 0 | 0 | 982k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
768.91/768.96 c 757s| 1050k|166097 | 0 | 0.0 | 175M| 116 | - | 223 | 22k| 0 | 0 | 0 | 993k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
781.20/781.20 c 769s| 1060k|163373 | 0 | 0.0 | 175M| 116 | - | 223 | 24k| 0 | 0 | 0 |1006k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
791.40/791.48 c 779s| 1070k|163477 | 0 | 0.0 | 173M| 116 | - | 223 | 14k| 0 | 0 | 0 |1017k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
800.71/800.75 c 788s| 1080k|162259 | 0 | 0.0 | 174M| 116 | - | 223 | 15k| 0 | 0 | 0 |1029k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
809.61/809.68 c 797s| 1090k|161606 | 0 | 0.0 | 174M| 116 | - | 223 | 17k| 0 | 0 | 0 |1039k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
817.00/817.01 c 804s| 1100k|164479 | 0 | 0.0 | 177M| 116 | - | 223 | 17k| 0 | 0 | 0 |1048k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
825.01/825.04 c 812s| 1110k|166767 | 0 | 0.0 | 180M| 116 | - | 223 | 17k| 0 | 0 | 0 |1057k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
833.50/833.57 c 821s| 1120k|168480 | 0 | 0.0 | 183M| 116 | - | 223 | 18k| 0 | 0 | 0 |1067k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
843.20/843.26 c 830s| 1130k|169678 | 0 | 0.0 | 187M| 116 | - | 223 | 19k| 0 | 0 | 0 |1078k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
853.90/853.91 c 841s| 1140k|170350 | 0 | 0.0 | 190M| 116 | - | 223 | 21k| 0 | 0 | 0 |1089k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
865.01/865.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
865.01/865.09 c 852s| 1150k|170740 | 0 | 0.0 | 193M| 116 | - | 223 | 21k| 0 | 0 | 0 |1100k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
877.10/877.18 c 864s| 1160k|170713 | 0 | 0.0 | 196M| 116 | - | 223 | 23k| 0 | 0 | 0 |1111k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
890.10/890.16 c 877s| 1170k|170405 | 0 | 0.0 | 199M| 116 | - | 223 | 24k| 0 | 0 | 0 |1123k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
904.40/904.45 c 891s| 1180k|169588 | 0 | 0.0 | 201M| 116 | - | 223 | 25k| 0 | 0 | 0 |1136k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
919.61/919.64 c 906s| 1190k|168504 | 0 | 0.0 | 203M| 116 | - | 223 | 25k| 0 | 0 | 0 |1148k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
935.20/935.24 c 921s| 1200k|167105 | 0 | 0.0 | 205M| 116 | - | 223 | 26k| 0 | 0 | 0 |1161k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
951.71/951.73 c 938s| 1210k|165321 | 0 | 0.0 | 206M| 116 | - | 223 | 26k| 0 | 0 | 0 |1174k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
967.71/967.71 c 954s| 1220k|163695 | 0 | 0.0 | 207M| 116 | - | 223 | 26k| 0 | 0 | 0 |1186k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
983.91/983.96 c 970s| 1230k|161993 | 0 | 0.0 | 208M| 116 | - | 223 | 27k| 0 | 0 | 0 |1199k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1000.92/1000.91 c 987s| 1240k|159968 | 0 | 0.0 | 209M| 116 | - | 223 | 27k| 0 | 0 | 0 |1212k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1021.21/1021.26 c 1007s| 1250k|157681 | 0 | 0.0 | 209M| 116 | - | 223 | 28k| 0 | 0 | 0 |1225k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1043.82/1043.87 c 1029s| 1260k|154415 | 0 | 0.0 | 208M| 116 | - | 223 | 29k| 0 | 0 | 0 |1240k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1067.71/1067.70 c 1052s| 1270k|150424 | 0 | 0.0 | 206M| 116 | - | 223 | 29k| 0 | 0 | 0 |1254k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1092.11/1092.14 c 1076s| 1280k|146629 | 0 | 0.0 | 204M| 116 | - | 223 | 29k| 0 | 0 | 0 |1269k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1116.91/1116.90 c 1101s| 1290k|142345 | 0 | 0.0 | 202M| 116 | - | 223 | 31k| 0 | 0 | 0 |1283k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1142.61/1142.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.61/1142.63 c 1126s| 1300k|137891 | 0 | 0.0 | 198M| 116 | - | 223 | 31k| 0 | 0 | 0 |1298k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1169.41/1169.44 c 1152s| 1310k|132058 | 0 | 0.0 | 193M| 116 | - | 223 | 32k| 0 | 0 | 0 |1313k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1200.21/1200.20 c 1183s| 1320k|125399 | 0 | 0.0 | 183M| 116 | - | 223 | 27k| 0 | 0 | 0 |1329k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1221.11/1221.18 c 1203s| 1330k|120101 | 0 | 0.0 | 177M| 116 | - | 223 | 21k| 0 | 0 | 0 |1343k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1240.21/1240.20 c 1222s| 1340k|117771 | 0 | 0.0 | 177M| 116 | - | 223 | 22k| 0 | 0 | 0 |1357k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1264.11/1264.10 c 1245s| 1350k|113799 | 0 | 0.0 | 176M| 116 | - | 223 | 24k| 0 | 0 | 0 |1372k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1293.12/1293.20 c 1274s| 1360k|107876 | 0 | 0.0 | 173M| 116 | - | 223 | 27k| 0 | 0 | 0 |1388k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1327.51/1327.52 c 1308s| 1370k|100460 | 0 | 0.0 | 167M| 116 | - | 223 | 31k| 0 | 0 | 0 |1406k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1367.22/1367.28 c 1347s| 1380k| 91600 | 0 | 0.0 | 157M| 116 | - | 223 | 34k| 0 | 0 | 0 |1424k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1412.72/1412.70 c 1392s| 1390k| 81644 | 0 | 0.0 | 145M| 116 | - | 223 | 36k| 0 | 0 | 0 |1442k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1463.72/1463.78 c 1443s| 1400k| 69821 | 0 | 0.0 | 127M| 116 | - | 223 | 40k| 0 | 0 | 0 |1462k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1517.93/1517.91 c 1496s| 1410k| 57046 | 0 | 0.0 | 103M| 116 | - | 223 | 35k| 0 | 0 | 0 |1482k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1557.12/1557.15 c 1535s| 1420k| 49166 | 0 | 0.0 | 77M| 116 | - | 223 | 25k| 0 | 0 | 0 |1497k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1571.33/1571.32 c 1549s| 1430k| 51089 | 0 | 0.0 | 76M| 116 | - | 223 | 20k| 0 | 0 | 0 |1506k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1585.53/1585.53 c 1563s| 1440k| 51806 | 0 | 0.0 | 78M| 116 | - | 223 | 20k| 0 | 0 | 0 |1517k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1599.72/1599.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.72/1599.74 c 1577s| 1450k| 52201 | 0 | 0.0 | 80M| 116 | - | 223 | 21k| 0 | 0 | 0 |1527k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1613.92/1613.93 c 1590s| 1460k| 52260 | 0 | 0.0 | 82M| 116 | - | 223 | 21k| 0 | 0 | 0 |1538k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1628.12/1628.16 c 1604s| 1470k| 51757 | 0 | 0.0 | 83M| 116 | - | 223 | 22k| 0 | 0 | 0 |1548k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1642.43/1642.41 c 1618s| 1480k| 50870 | 0 | 0.0 | 84M| 116 | - | 223 | 23k| 0 | 0 | 0 |1559k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1656.53/1656.53 c 1632s| 1490k| 50316 | 0 | 0.0 | 83M| 116 | - | 223 | 19k| 0 | 0 | 0 |1569k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1670.53/1670.56 c 1646s| 1500k| 49684 | 0 | 0.0 | 83M| 116 | - | 223 | 18k| 0 | 0 | 0 |1580k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1686.34/1686.31 c 1661s| 1510k| 47781 | 0 | 0.0 | 84M| 116 | - | 223 | 19k| 0 | 0 | 0 |1592k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1704.03/1704.01 c 1678s| 1520k| 45000 | 0 | 0.0 | 83M| 116 | - | 223 | 21k| 0 | 0 | 0 |1605k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1722.64/1722.68 c 1697s| 1530k| 41636 | 0 | 0.0 | 81M| 116 | - | 223 | 23k| 0 | 0 | 0 |1617k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1738.83/1738.85 c 1712s| 1540k| 39586 | 0 | 0.0 | 76M| 116 | - | 223 | 16k| 0 | 0 | 0 |1628k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1755.73/1755.72 c 1729s| 1550k| 33387 | 0 | 0.0 | 70M| 116 | - | 223 | 18k| 0 | 0 | 0 |1643k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1768.73/1768.75 c 1741s| 1560k| 32058 | 0 | 0.0 | 62M| 116 | - | 223 | 10k| 0 | 0 | 0 |1653k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1771.62/1771.66 c 1744s| 1570k| 37952 | 0 | 0.0 | 65M| 116 | - | 223 |9521 | 0 | 0 | 0 |1657k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1776.33/1776.33 c 1748s| 1580k| 40344 | 0 | 0.0 | 60M| 116 | - | 223 |5897 | 0 | 0 | 0 |1663k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1777.64/1777.68 c 1750s| 1590k| 48239 | 0 | 0.0 | 64M| 116 | - | 223 |5428 | 0 | 0 | 0 |1665k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1779.03/1779.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.03/1779.08 c 1751s| 1600k| 55808 | 0 | 0.0 | 68M| 116 | - | 223 |5733 | 0 | 0 | 0 |1668k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1780.63/1780.62 c 1752s| 1610k| 62918 | 0 | 0.0 | 72M| 116 | - | 223 |6243 | 0 | 0 | 0 |1671k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1782.63/1782.69 c 1754s| 1620k| 68969 | 0 | 0.0 | 77M| 116 | - | 223 |7097 | 0 | 0 | 0 |1675k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1785.13/1785.20 c 1756s| 1630k| 74217 | 0 | 0.0 | 82M| 116 | - | 223 |8284 | 0 | 0 | 0 |1680k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1788.23/1788.24 c 1759s| 1640k| 78624 | 0 | 0.0 | 86M| 116 | - | 223 |9213 | 0 | 0 | 0 |1685k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1792.03/1792.10 c 1762s| 1650k| 81707 | 0 | 0.0 | 90M| 116 | - | 223 | 10k| 0 | 0 | 0 |1692k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1794.13/1794.11 c 1764s| 1660k| 89194 | 0 | 0.0 | 93M| 116 | - | 223 |7612 | 0 | 0 | 0 |1694k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1796.13/1796.13 c 1766s| 1670k| 95988 | 0 | 0.0 | 98M| 116 | - | 223 |6930 | 0 | 0 | 0 |1697k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1798.13/1798.16 c 1768s| 1680k|102390 | 0 | 0.0 | 102M| 116 | - | 223 |6869 | 0 | 0 | 0 |1700k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1769.21
1800.04/1800.00 c Solving Nodes : 1688842
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (5 solutions)
1800.04/1800.00 c Dual Bound : +1.30000000000000e+01
1800.04/1800.00 c Gap : 523.08 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.04/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.04/1800.00 v -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.04/1800.00 v x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82
1800.04/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56
1800.04/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.04/1800.00 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1800.04/1800.00 v -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1769.21
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693951-1277898292.wbo
1800.04/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.04/1800.00 c Constraints : 130 initial, 130 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693951-1277898292.wbo
1800.04/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.04/1800.00 c Constraints : 112 initial, 42394 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 5 - - 10 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 27 0 4271939 0 943743 56 111943 0 0 0
1800.04/1800.00 c setppc : 49 0 5044250 0 1094001 159729 10557932 0 0 0
1800.04/1800.00 c linear : 27 0 4884522 0 1093998 342682 15308868 0 0 0
1800.04/1800.00 c logicor : 9+ 0 2879858 0 1093941 370162 1957123 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 30034 0 0 0 717 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1094003 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 1.82 0.00 1.01 0.00 0.81
1800.04/1800.00 c setppc : 34.61 0.00 28.83 0.00 5.78
1800.04/1800.00 c linear : 76.82 0.00 76.37 0.00 0.45
1800.04/1800.00 c logicor : 875.72 0.00 874.61 0.00 1.11
1800.04/1800.00 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1800.04/1800.00 c countsols : 0.17 0.00 0.00 0.00 0.17
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.68 2 0 0
1800.04/1800.00 c rootredcost : 0.66 0 0 0
1800.04/1800.00 c pseudoobj : 5.54 5044147 35 49437
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 38.62 872608 872546 4655238 23.7 116982 15.4 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 12 12 30 6.5 3 9.3 -
1800.04/1800.00 c applied globally : - - - 1679607 17.4 - - -
1800.04/1800.00 c applied locally : - - - 23969 34.8 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 7.44 1093998 0 0 0 0 2187996
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 5
1800.04/1800.00 c oneopt : 0.38 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.29 0 0
1800.04/1800.00 c trysol : 0.25 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 1688842
1800.04/1800.00 c nodes (total) : 1688842
1800.04/1800.00 c nodes left : 107831
1800.04/1800.00 c max depth : 116
1800.04/1800.00 c max depth (total): 116
1800.04/1800.00 c backtracks : 604404 (35.8%)
1800.04/1800.00 c delayed cutoffs : 391009
1800.04/1800.00 c repropagations : 1700435 (7708708 domain reductions, 277837 cutoffs)
1800.04/1800.00 c avg switch length: 19.63
1800.04/1800.00 c switching time : 563.66
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 5 (5 improvements)
1800.04/1800.00 c First Solution : +2.54000000000000e+02 (in run 1, after 15383 nodes, 1.78 seconds, depth 80, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 70739 nodes, 15.68 seconds, depth 51, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +1.30000000000000e+01
1800.04/1800.00 c Gap : 523.08 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.23/1800.26 c Time complete: 1800.29.