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-2693895-1277896680.wbo>
0.00/0.00 c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/196 (51.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 32 implications, 49 cliques
0.00/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02 c 27 constraints of type <indicator>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 27 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.11 c 0.8s| 10000 | 6475 | 0 | 0.0 |6393k| 116 | - | 223 |3237 | 0 | 0 | 0 |5703 | 0 | 0.000000e+00 | -- | Inf
1.49/1.58 o 235
1.49/1.58 c * 1.2s| 12611 | 7466 | 0 | 0.0 |7898k| 116 | - | 223 |4401 | 0 | 0 | 0 |7917 | 0 | 0.000000e+00 | 2.350000e+02 | Inf
1.49/1.58 o 152
1.49/1.58 c * 1.2s| 12612 | 7465 | 0 | 0.0 |7901k| 116 | - | 223 |4401 | 0 | 0 | 0 |7917 | 0 | 0.000000e+00 | 1.520000e+02 | Inf
1.70/1.71 o 81
1.70/1.71 c * 1.3s| 13988 | 8480 | 0 | 0.0 |8137k| 116 | - | 223 |3310 | 0 | 0 | 0 |8106 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.40/2.46 c 1.9s| 20000 | 12137 | 0 | 0.0 | 10M| 116 | - | 223 |1903 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.19/4.20 c 3.4s| 30000 | 16495 | 0 | 0.0 | 14M| 116 | - | 223 |3844 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
6.60/6.62 c 5.5s| 40000 | 18907 | 0 | 0.0 | 18M| 116 | - | 223 |5773 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.49/8.57 c 7.2s| 50000 | 23322 | 0 | 0.0 | 21M| 116 | - | 223 |1508 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
9.99/10.08 c 8.4s| 60000 | 28862 | 0 | 0.0 | 26M| 116 | - | 223 |4550 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
13.59/13.61 c 11.6s| 70000 | 31124 | 0 | 0.0 | 30M| 116 | - | 223 |7522 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
17.89/17.96 c 15.6s| 80000 | 31800 | 0 | 0.0 | 33M| 116 | - | 223 |9862 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
22.49/22.55 c 19.9s| 90000 | 32571 | 0 | 0.0 | 37M| 116 | - | 223 | 13k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
28.09/28.18 c 25.2s|100000 | 32374 | 0 | 0.0 | 39M| 116 | - | 223 | 17k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.09/33.16 c 29.9s|110000 | 34822 | 0 | 0.0 | 37M| 116 | - | 223 |4427 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
34.90/34.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.90/34.97 c 31.4s|120000 | 41120 | 0 | 0.0 | 42M| 116 | - | 223 |4987 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
37.20/37.27 c 33.4s|130000 | 46149 | 0 | 0.0 | 46M| 116 | - | 223 |6643 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
40.29/40.35 c 36.2s|140000 | 49413 | 0 | 0.0 | 50M| 116 | - | 223 |7781 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
44.29/44.32 c 39.8s|150000 | 50216 | 0 | 0.0 | 53M| 116 | - | 223 |8508 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
51.00/51.05 c 46.1s|160000 | 46691 | 0 | 0.0 | 54M| 116 | - | 223 | 13k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
59.49/59.52 c 54.2s|170000 | 43200 | 0 | 0.0 | 53M| 116 | - | 223 | 17k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
69.39/69.42 c 63.8s|180000 | 38944 | 0 | 0.0 | 49M| 116 | - | 223 | 22k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
73.89/73.93 c 68.0s|190000 | 42964 | 0 | 0.0 | 47M| 116 | - | 223 |7696 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
77.29/77.40 c 71.1s|200000 | 46159 | 0 | 0.0 | 51M| 116 | - | 223 |8632 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
81.40/81.46 c 74.8s|210000 | 48468 | 0 | 0.0 | 54M| 116 | - | 223 |9777 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
85.80/85.88 c 79.0s|220000 | 50416 | 0 | 0.0 | 57M| 116 | - | 223 | 11k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
90.89/90.99 c 83.8s|230000 | 51670 | 0 | 0.0 | 60M| 116 | - | 223 | 12k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
96.70/96.73 c 89.1s|240000 | 52153 | 0 | 0.0 | 62M| 116 | - | 223 | 13k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
103.09/103.15 c 95.2s|250000 | 51672 | 0 | 0.0 | 63M| 116 | - | 223 | 15k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
110.20/110.25 c 102s|260000 | 50223 | 0 | 0.0 | 63M| 116 | - | 223 | 17k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
121.09/121.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.09/121.19 c 112s|270000 | 45625 | 0 | 0.0 | 53M| 116 | - | 223 | 15k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
129.19/129.26 c 120s|280000 | 44630 | 0 | 0.0 | 53M| 116 | - | 223 | 16k| 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
138.69/138.78 c 129s|290000 | 42822 | 0 | 0.0 | 55M| 116 | - | 223 | 18k| 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
150.40/150.44 c 141s|300000 | 39958 | 0 | 0.0 | 56M| 116 | - | 223 | 22k| 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
163.79/163.85 c 154s|310000 | 36335 | 0 | 0.0 | 56M| 116 | - | 223 | 24k| 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
178.39/178.41 c 168s|320000 | 32611 | 0 | 0.0 | 54M| 116 | - | 223 | 25k| 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
192.89/192.99 c 182s|330000 | 28285 | 0 | 0.0 | 52M| 116 | - | 223 | 26k| 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
210.79/210.83 c 199s|340000 | 22604 | 0 | 0.0 | 47M| 116 | - | 223 | 25k| 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
233.89/233.91 c 222s|350000 | 12694 | 0 | 0.0 | 34M| 116 | - | 223 | 30k| 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
241.60/241.64 c 229s|360000 | 14816 | 0 | 0.0 | 22M| 116 | - | 223 |7350 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
243.19/243.26 c 231s|370000 | 22050 | 0 | 0.0 | 25M| 116 | - | 223 |5211 | 0 | 0 | 0 | 391k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
245.89/245.93 c 233s|380000 | 26283 | 0 | 0.0 | 29M| 116 | - | 223 |4516 | 0 | 0 | 0 | 398k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
249.70/249.77 c 237s|390000 | 26605 | 0 | 0.0 | 29M| 116 | - | 223 |6052 | 0 | 0 | 0 | 408k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
251.30/251.38 c 238s|400000 | 33844 | 0 | 0.0 | 32M| 116 | - | 223 |5206 | 0 | 0 | 0 | 411k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
253.19/253.28 c 240s|410000 | 40353 | 0 | 0.0 | 37M| 116 | - | 223 |6374 | 0 | 0 | 0 | 416k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
255.60/255.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.60/255.69 c 242s|420000 | 46028 | 0 | 0.0 | 41M| 116 | - | 223 |7921 | 0 | 0 | 0 | 422k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
258.40/258.44 c 244s|430000 | 51165 | 0 | 0.0 | 45M| 116 | - | 223 |8462 | 0 | 0 | 0 | 428k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
261.70/261.76 c 247s|440000 | 55198 | 0 | 0.0 | 50M| 116 | - | 223 |8988 | 0 | 0 | 0 | 436k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
265.30/265.30 c 250s|450000 | 58771 | 0 | 0.0 | 54M| 116 | - | 223 |9695 | 0 | 0 | 0 | 444k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
269.29/269.36 c 254s|460000 | 61349 | 0 | 0.0 | 58M| 116 | - | 223 | 10k| 0 | 0 | 0 | 454k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
274.09/274.12 c 258s|470000 | 62726 | 0 | 0.0 | 62M| 116 | - | 223 | 12k| 0 | 0 | 0 | 464k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
279.69/279.72 c 264s|480000 | 61699 | 0 | 0.0 | 60M| 116 | - | 223 |6917 | 0 | 0 | 0 | 475k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
282.10/282.12 c 266s|490000 | 67457 | 0 | 0.0 | 64M| 116 | - | 223 |8113 | 0 | 0 | 0 | 481k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
285.10/285.10 c 269s|500000 | 72596 | 0 | 0.0 | 69M| 116 | - | 223 |9944 | 0 | 0 | 0 | 488k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
288.99/289.00 c 272s|510000 | 76754 | 0 | 0.0 | 73M| 116 | - | 223 | 12k| 0 | 0 | 0 | 496k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
293.40/293.42 c 276s|520000 | 80519 | 0 | 0.0 | 77M| 116 | - | 223 | 13k| 0 | 0 | 0 | 504k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
298.59/298.68 c 281s|530000 | 83641 | 0 | 0.0 | 81M| 116 | - | 223 | 14k| 0 | 0 | 0 | 513k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
304.50/304.55 c 287s|540000 | 85959 | 0 | 0.0 | 85M| 116 | - | 223 | 15k| 0 | 0 | 0 | 523k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
311.10/311.14 c 293s|550000 | 87888 | 0 | 0.0 | 89M| 116 | - | 223 | 16k| 0 | 0 | 0 | 533k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
318.09/318.16 c 300s|560000 | 89208 | 0 | 0.0 | 93M| 116 | - | 223 | 17k| 0 | 0 | 0 | 543k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
326.20/326.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.20/326.28 c 307s|570000 | 89726 | 0 | 0.0 | 96M| 116 | - | 223 | 18k| 0 | 0 | 0 | 555k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
334.69/334.77 c 316s|580000 | 89861 | 0 | 0.0 | 98M| 116 | - | 223 | 18k| 0 | 0 | 0 | 567k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
343.40/343.49 c 324s|590000 | 89816 | 0 | 0.0 | 101M| 116 | - | 223 | 18k| 0 | 0 | 0 | 578k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
352.50/352.53 c 333s|600000 | 89329 | 0 | 0.0 | 103M| 116 | - | 223 | 19k| 0 | 0 | 0 | 590k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
361.80/361.86 c 342s|610000 | 88405 | 0 | 0.0 | 105M| 116 | - | 223 | 20k| 0 | 0 | 0 | 602k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
371.59/371.69 c 351s|620000 | 86777 | 0 | 0.0 | 106M| 116 | - | 223 | 21k| 0 | 0 | 0 | 615k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
382.89/382.90 c 362s|630000 | 83608 | 0 | 0.0 | 105M| 116 | - | 223 | 24k| 0 | 0 | 0 | 628k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
391.80/391.85 c 370s|640000 | 83540 | 0 | 0.0 | 103M| 116 | - | 223 | 14k| 0 | 0 | 0 | 640k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
399.70/399.72 c 378s|650000 | 85010 | 0 | 0.0 | 106M| 116 | - | 223 | 17k| 0 | 0 | 0 | 651k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
409.89/409.97 c 388s|660000 | 84985 | 0 | 0.0 | 110M| 116 | - | 223 | 18k| 0 | 0 | 0 | 663k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
422.20/422.29 c 400s|670000 | 83881 | 0 | 0.0 | 112M| 116 | - | 223 | 21k| 0 | 0 | 0 | 676k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
436.10/436.17 c 413s|680000 | 82106 | 0 | 0.0 | 114M| 116 | - | 223 | 22k| 0 | 0 | 0 | 690k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
452.20/452.27 c 429s|690000 | 79261 | 0 | 0.0 | 115M| 116 | - | 223 | 24k| 0 | 0 | 0 | 704k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
469.80/469.89 c 446s|700000 | 75839 | 0 | 0.0 | 114M| 116 | - | 223 | 25k| 0 | 0 | 0 | 718k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
489.30/489.31 c 465s|710000 | 71928 | 0 | 0.0 | 113M| 116 | - | 223 | 27k| 0 | 0 | 0 | 734k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
511.80/511.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.80/511.89 c 488s|720000 | 66501 | 0 | 0.0 | 109M| 116 | - | 223 | 30k| 0 | 0 | 0 | 750k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
536.81/536.88 c 512s|730000 | 59928 | 0 | 0.0 | 104M| 116 | - | 223 | 31k| 0 | 0 | 0 | 766k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
561.40/561.46 c 536s|740000 | 52990 | 0 | 0.0 | 96M| 116 | - | 223 | 34k| 0 | 0 | 0 | 783k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
588.41/588.40 c 563s|750000 | 45787 | 0 | 0.0 | 86M| 116 | - | 223 | 28k| 0 | 0 | 0 | 800k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
620.70/620.79 c 595s|760000 | 35676 | 0 | 0.0 | 75M| 116 | - | 223 | 30k| 0 | 0 | 0 | 820k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
661.81/661.86 c 635s|770000 | 20741 | 0 | 0.0 | 49M| 116 | - | 223 | 37k| 0 | 0 | 0 | 842k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
679.20/679.26 c 652s|780000 | 20230 | 0 | 0.0 | 40M| 116 | - | 223 | 20k| 0 | 0 | 0 | 853k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
694.01/694.10 c 667s|790000 | 17039 | 0 | 0.0 | 38M| 116 | - | 223 | 22k| 0 | 0 | 0 | 865k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
705.11/705.10 c 677s|800000 | 16518 | 0 | 0.0 | 36M| 116 | - | 223 | 17k| 0 | 0 | 0 | 875k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
715.02/715.10 c 687s|810000 | 14397 | 0 | 0.0 | 33M| 116 | - | 223 | 12k| 0 | 0 | 0 | 887k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
720.20/720.28 c 692s|820000 | 16694 | 0 | 0.0 | 30M| 116 | - | 223 |4057 | 0 | 0 | 0 | 894k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
722.90/722.96 c 694s|830000 | 20375 | 0 | 0.0 | 30M| 116 | - | 223 |4231 | 0 | 0 | 0 | 900k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
724.71/724.70 c 696s|840000 | 26932 | 0 | 0.0 | 35M| 116 | - | 223 |4576 | 0 | 0 | 0 | 904k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
727.21/727.25 c 698s|850000 | 31286 | 0 | 0.0 | 40M| 116 | - | 223 |5569 | 0 | 0 | 0 | 910k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
730.31/730.36 c 701s|860000 | 34405 | 0 | 0.0 | 44M| 116 | - | 223 |7117 | 0 | 0 | 0 | 918k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
732.41/732.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.41/732.44 c 702s|870000 | 40584 | 0 | 0.0 | 48M| 116 | - | 223 |6225 | 0 | 0 | 0 | 921k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
734.91/734.94 c 705s|880000 | 45616 | 0 | 0.0 | 52M| 116 | - | 223 |7024 | 0 | 0 | 0 | 926k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
738.01/738.03 c 707s|890000 | 49540 | 0 | 0.0 | 56M| 116 | - | 223 |7730 | 0 | 0 | 0 | 932k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
741.90/741.92 c 711s|900000 | 51925 | 0 | 0.0 | 61M| 116 | - | 223 |8450 | 0 | 0 | 0 | 940k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
746.51/746.54 c 715s|910000 | 52905 | 0 | 0.0 | 64M| 116 | - | 223 |9893 | 0 | 0 | 0 | 949k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
751.31/751.35 c 720s|920000 | 53891 | 0 | 0.0 | 67M| 116 | - | 223 | 12k| 0 | 0 | 0 | 958k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
755.91/755.92 c 724s|930000 | 56602 | 0 | 0.0 | 70M| 123 | - | 223 | 10k| 0 | 0 | 0 | 965k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
760.71/760.75 c 728s|940000 | 58683 | 0 | 0.0 | 73M| 123 | - | 223 | 10k| 0 | 0 | 0 | 972k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
766.31/766.32 c 734s|950000 | 59547 | 0 | 0.0 | 77M| 123 | - | 223 | 11k| 0 | 0 | 0 | 980k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
773.11/773.11 c 740s|960000 | 59003 | 0 | 0.0 | 79M| 123 | - | 223 | 12k| 0 | 0 | 0 | 989k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
780.51/780.50 c 747s|970000 | 57801 | 0 | 0.0 | 81M| 123 | - | 223 | 13k| 0 | 0 | 0 | 999k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
788.21/788.20 c 754s|980000 | 56423 | 0 | 0.0 | 82M| 123 | - | 223 | 15k| 0 | 0 | 0 |1009k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
795.80/795.80 c 761s|990000 | 55307 | 0 | 0.0 | 83M| 123 | - | 223 | 19k| 0 | 0 | 0 |1019k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
803.80/803.88 c 769s| 1000k| 55054 | 0 | 0.0 | 83M| 123 | - | 223 | 14k| 0 | 0 | 0 |1027k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
814.91/814.91 c 780s| 1010k| 50650 | 0 | 0.0 | 82M| 123 | - | 223 | 17k| 0 | 0 | 0 |1038k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
827.61/827.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.61/827.66 c 792s| 1020k| 45474 | 0 | 0.0 | 79M| 123 | - | 223 | 21k| 0 | 0 | 0 |1050k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
838.01/838.04 c 802s| 1030k| 44623 | 0 | 0.0 | 77M| 123 | - | 223 | 17k| 0 | 0 | 0 |1058k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
844.82/844.85 c 808s| 1040k| 45160 | 0 | 0.0 | 75M| 123 | - | 223 | 11k| 0 | 0 | 0 |1068k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
853.21/853.23 c 816s| 1050k| 42353 | 0 | 0.0 | 70M| 123 | - | 223 | 13k| 0 | 0 | 0 |1077k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
856.51/856.53 c 819s| 1060k| 48293 | 0 | 0.0 | 73M| 123 | - | 223 | 12k| 0 | 0 | 0 |1083k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
861.11/861.20 c 824s| 1070k| 52131 | 0 | 0.0 | 77M| 123 | - | 223 | 15k| 0 | 0 | 0 |1092k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
868.31/868.37 c 831s| 1080k| 52928 | 0 | 0.0 | 77M| 123 | - | 223 | 11k| 0 | 0 | 0 |1102k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
872.11/872.11 c 834s| 1090k| 56525 | 0 | 0.0 | 79M| 123 | - | 223 |6143 | 0 | 0 | 0 |1108k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
877.11/877.15 c 839s| 1100k| 56844 | 0 | 0.0 | 80M| 123 | - | 223 |8314 | 0 | 0 | 0 |1117k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
880.41/880.42 c 842s| 1110k| 61242 | 0 | 0.0 | 84M| 123 | - | 223 | 10k| 0 | 0 | 0 |1125k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
884.61/884.67 c 846s| 1120k| 64955 | 0 | 0.0 | 89M| 123 | - | 223 | 14k| 0 | 0 | 0 |1133k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
890.52/890.50 c 851s| 1130k| 67914 | 0 | 0.0 | 94M| 123 | - | 223 | 18k| 0 | 0 | 0 |1144k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
898.01/898.08 c 858s| 1140k| 69919 | 0 | 0.0 | 98M| 123 | - | 223 | 21k| 0 | 0 | 0 |1154k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
907.91/907.96 c 868s| 1150k| 70695 | 0 | 0.0 | 102M| 123 | - | 223 | 26k| 0 | 0 | 0 |1165k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
921.51/921.59 c 881s| 1160k| 69116 | 0 | 0.0 | 104M| 123 | - | 223 | 28k| 0 | 0 | 0 |1179k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
930.71/930.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.71/930.72 c 890s| 1170k| 70408 | 0 | 0.0 | 100M| 123 | - | 223 |7852 | 0 | 0 | 0 |1187k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
936.81/936.82 c 896s| 1180k| 71095 | 0 | 0.0 | 102M| 123 | - | 223 |9684 | 0 | 0 | 0 |1197k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
943.91/943.97 c 902s| 1190k| 70594 | 0 | 0.0 | 104M| 123 | - | 223 | 11k| 0 | 0 | 0 |1208k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
951.11/951.17 c 909s| 1200k| 71354 | 0 | 0.0 | 108M| 123 | - | 223 | 16k| 0 | 0 | 0 |1221k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
962.42/962.48 c 920s| 1210k| 70575 | 0 | 0.0 | 112M| 123 | - | 223 | 23k| 0 | 0 | 0 |1234k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
977.61/977.67 c 935s| 1220k| 68674 | 0 | 0.0 | 114M| 123 | - | 223 | 30k| 0 | 0 | 0 |1249k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
998.41/998.42 c 955s| 1230k| 64932 | 0 | 0.0 | 114M| 123 | - | 223 | 37k| 0 | 0 | 0 |1264k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1026.41/1026.42 c 983s| 1240k| 59965 | 0 | 0.0 | 106M| 123 | - | 223 | 23k| 0 | 0 | 0 |1280k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1040.52/1040.51 c 997s| 1250k| 56387 | 0 | 0.0 | 102M| 123 | - | 223 | 15k| 0 | 0 | 0 |1293k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1048.32/1048.35 c 1004s| 1260k| 57925 | 0 | 0.0 | 102M| 123 | - | 223 | 14k| 0 | 0 | 0 |1302k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1061.92/1061.96 c 1017s| 1270k| 52588 | 0 | 0.0 | 99M| 123 | - | 223 | 21k| 0 | 0 | 0 |1320k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1083.42/1083.49 c 1039s| 1280k| 44258 | 0 | 0.0 | 84M| 123 | - | 223 | 19k| 0 | 0 | 0 |1338k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1088.52/1088.59 c 1043s| 1290k| 49547 | 0 | 0.0 | 87M| 123 | - | 223 | 16k| 0 | 0 | 0 |1344k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1096.01/1096.00 c 1050s| 1300k| 51297 | 0 | 0.0 | 91M| 123 | - | 223 | 19k| 0 | 0 | 0 |1354k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1105.81/1105.88 c 1060s| 1310k| 51644 | 0 | 0.0 | 88M| 123 | - | 223 | 21k| 0 | 0 | 0 |1366k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1114.81/1114.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.81/1114.81 c 1069s| 1320k| 54402 | 0 | 0.0 | 93M| 123 | - | 223 | 23k| 0 | 0 | 0 |1376k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1128.02/1128.01 c 1081s| 1330k| 54284 | 0 | 0.0 | 96M| 123 | - | 223 | 29k| 0 | 0 | 0 |1390k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1144.21/1144.23 c 1097s| 1340k| 52638 | 0 | 0.0 | 96M| 123 | - | 223 | 31k| 0 | 0 | 0 |1403k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1158.32/1158.38 c 1111s| 1350k| 52153 | 0 | 0.0 | 93M| 123 | - | 223 | 20k| 0 | 0 | 0 |1415k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1172.42/1172.43 c 1125s| 1360k| 49643 | 0 | 0.0 | 92M| 123 | - | 223 | 24k| 0 | 0 | 0 |1430k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1192.02/1192.06 c 1144s| 1370k| 46681 | 0 | 0.0 | 95M| 123 | - | 223 | 32k| 0 | 0 | 0 |1448k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1219.82/1219.82 c 1171s| 1380k| 41654 | 0 | 0.0 | 93M| 123 | - | 223 | 42k| 0 | 0 | 0 |1466k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1239.81/1239.81 c 1191s| 1390k| 41524 | 0 | 0.0 | 87M| 123 | - | 223 | 28k| 0 | 0 | 0 |1477k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1257.11/1257.18 c 1208s| 1400k| 38145 | 0 | 0.0 | 80M| 123 | - | 223 | 20k| 0 | 0 | 0 |1491k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1271.52/1271.60 c 1222s| 1410k| 35433 | 0 | 0.0 | 74M| 123 | - | 223 | 23k| 0 | 0 | 0 |1506k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1281.72/1281.77 c 1232s| 1420k| 36178 | 0 | 0.0 | 70M| 123 | - | 223 | 14k| 0 | 0 | 0 |1515k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1289.61/1289.65 c 1239s| 1430k| 35923 | 0 | 0.0 | 69M| 123 | - | 223 | 14k| 0 | 0 | 0 |1526k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1293.12/1293.16 c 1242s| 1440k| 42107 | 0 | 0.0 | 72M| 123 | - | 223 | 13k| 0 | 0 | 0 |1532k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1298.12/1298.14 c 1247s| 1450k| 46402 | 0 | 0.0 | 76M| 123 | - | 223 | 15k| 0 | 0 | 0 |1539k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1305.32/1305.30 c 1254s| 1460k| 48022 | 0 | 0.0 | 79M| 123 | - | 223 | 18k| 0 | 0 | 0 |1550k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1310.62/1310.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.62/1310.65 c 1259s| 1470k| 53202 | 0 | 0.0 | 83M| 123 | - | 223 | 19k| 0 | 0 | 0 |1556k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1317.12/1317.18 c 1265s| 1480k| 57087 | 0 | 0.0 | 87M| 123 | - | 223 | 20k| 0 | 0 | 0 |1564k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1325.32/1325.36 c 1273s| 1490k| 59743 | 0 | 0.0 | 92M| 123 | - | 223 | 23k| 0 | 0 | 0 |1573k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1335.12/1335.10 c 1282s| 1500k| 61413 | 0 | 0.0 | 96M| 123 | - | 223 | 26k| 0 | 0 | 0 |1584k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1346.62/1346.69 c 1294s| 1510k| 61840 | 0 | 0.0 | 99M| 123 | - | 223 | 29k| 0 | 0 | 0 |1595k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1361.52/1361.54 c 1308s| 1520k| 61471 | 0 | 0.0 | 101M| 123 | - | 223 | 30k| 0 | 0 | 0 |1607k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1378.42/1378.47 c 1325s| 1530k| 61960 | 0 | 0.0 | 103M| 123 | - | 223 | 31k| 0 | 0 | 0 |1619k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1397.32/1397.37 c 1343s| 1540k| 61452 | 0 | 0.0 | 106M| 123 | - | 223 | 33k| 0 | 0 | 0 |1631k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1418.62/1418.67 c 1364s| 1550k| 60424 | 0 | 0.0 | 108M| 123 | - | 223 | 37k| 0 | 0 | 0 |1644k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1443.03/1443.06 c 1388s| 1560k| 58127 | 0 | 0.0 | 109M| 123 | - | 223 | 42k| 0 | 0 | 0 |1657k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1477.83/1477.83 c 1422s| 1570k| 52750 | 0 | 0.0 | 105M| 123 | - | 223 | 43k| 0 | 0 | 0 |1673k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1528.33/1528.37 c 1473s| 1580k| 43453 | 0 | 0.0 | 97M| 123 | - | 223 | 49k| 0 | 0 | 0 |1692k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1565.12/1565.17 c 1509s| 1590k| 40122 | 0 | 0.0 | 84M| 123 | - | 223 | 26k| 0 | 0 | 0 |1704k| 0 | 2.900000e+01 | 8.100000e+01 | 179.31%
1583.82/1583.86 c 1528s| 1600k| 38953 | 0 | 0.0 | 80M| 123 | - | 223 | 19k| 0 | 0 | 0 |1714k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1592.62/1592.68 c 1536s| 1610k| 42196 | 0 | 0.0 | 81M| 123 | - | 223 | 16k| 0 | 0 | 0 |1722k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1600.43/1600.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.43/1600.45 c 1544s| 1620k| 45392 | 0 | 0.0 | 84M| 123 | - | 223 | 16k| 0 | 0 | 0 |1730k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1607.14/1607.13 c 1551s| 1630k| 50296 | 0 | 0.0 | 88M| 123 | - | 223 | 17k| 0 | 0 | 0 |1737k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1614.84/1614.83 c 1558s| 1640k| 54244 | 0 | 0.0 | 92M| 123 | - | 223 | 21k| 0 | 0 | 0 |1745k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1625.22/1625.28 c 1569s| 1650k| 55593 | 0 | 0.0 | 97M| 123 | - | 223 | 24k| 0 | 0 | 0 |1755k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1635.12/1635.19 c 1578s| 1660k| 58487 | 0 | 0.0 | 98M| 123 | - | 223 | 20k| 0 | 0 | 0 |1764k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1644.43/1644.43 c 1588s| 1670k| 62295 | 0 | 0.0 | 103M| 123 | - | 223 | 24k| 0 | 0 | 0 |1773k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1656.43/1656.40 c 1599s| 1680k| 65199 | 0 | 0.0 | 107M| 123 | - | 223 | 27k| 0 | 0 | 0 |1783k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1671.53/1671.60 c 1615s| 1690k| 66840 | 0 | 0.0 | 111M| 123 | - | 223 | 31k| 0 | 0 | 0 |1793k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1691.23/1691.25 c 1634s| 1700k| 66885 | 0 | 0.0 | 115M| 123 | - | 223 | 35k| 0 | 0 | 0 |1805k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1717.43/1717.44 c 1660s| 1710k| 64273 | 0 | 0.0 | 115M| 123 | - | 223 | 38k| 0 | 0 | 0 |1819k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1728.43/1728.41 c 1671s| 1720k| 68330 | 0 | 0.0 | 112M| 123 | - | 223 | 20k| 0 | 0 | 0 |1826k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1744.13/1744.13 c 1687s| 1730k| 68743 | 0 | 0.0 | 117M| 123 | - | 223 | 27k| 0 | 0 | 0 |1840k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1767.64/1767.69 c 1710s| 1740k| 67335 | 0 | 0.0 | 120M| 123 | - | 223 | 33k| 0 | 0 | 0 |1855k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
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) : 1742.20
1800.04/1800.00 c Solving Nodes : 1749733
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (3 solutions)
1800.04/1800.00 c Dual Bound : +3.00000000000000e+01
1800.04/1800.00 c Gap : 170.00 %
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 : 1742.20
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693895-1277896680.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-2693895-1277896680.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, 49319 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.01 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 5136168 0 1040053 378 251934 0 0 0
1800.04/1800.00 c setppc : 49 0 5542050 0 1117757 135197 11438273 0 0 0
1800.04/1800.00 c linear : 27 0 5406855 0 1117753 430217 19260848 0 0 0
1800.04/1800.00 c logicor : 9+ 0 2985453 0 1117742 355716 1784579 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 383960 0 0 14 3247 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1117756 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 : 0.81 0.00 0.32 0.00 0.49
1800.04/1800.00 c setppc : 30.47 0.00 25.01 0.00 5.46
1800.04/1800.00 c linear : 82.65 0.00 82.48 0.00 0.17
1800.04/1800.00 c logicor : 849.46 0.00 848.72 0.00 0.74
1800.04/1800.00 c bounddisjunction : 2.90 0.00 2.90 0.00 0.00
1800.04/1800.00 c countsols : 0.01 0.00 0.00 0.00 0.01
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.13 2 0 0
1800.04/1800.00 c rootredcost : 0.11 0 0 0
1800.04/1800.00 c pseudoobj : 4.65 5542420 188 169729
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 38.33 921332 921237 4772886 21.6 181145 14.8 -
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.01 14 14 56 10.9 0 0.0 -
1800.04/1800.00 c applied globally : - - - 1856933 16.5 - - -
1800.04/1800.00 c applied locally : - - - 13627 35.0 - - -
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.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 7.14 1117753 0 0 0 0 2235506
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 3
1800.04/1800.01 c oneopt : 0.09 0 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.09 0 0
1800.04/1800.01 c trysol : 0.03 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 1749733
1800.04/1800.01 c nodes (total) : 1749733
1800.04/1800.01 c nodes left : 63474
1800.04/1800.01 c max depth : 123
1800.04/1800.01 c max depth (total): 123
1800.04/1800.01 c backtracks : 661745 (37.8%)
1800.04/1800.01 c delayed cutoffs : 422094
1800.04/1800.01 c repropagations : 2081150 (8949557 domain reductions, 289747 cutoffs)
1800.04/1800.01 c avg switch length: 18.76
1800.04/1800.01 c switching time : 564.96
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 3 (3 improvements)
1800.04/1800.01 c First Solution : +2.35000000000000e+02 (in run 1, after 12611 nodes, 1.23 seconds, depth 82, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +8.10000000000000e+01 (in run 1, after 13988 nodes, 1.33 seconds, depth 77, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +3.00000000000000e+01
1800.04/1800.01 c Gap : 170.00 %
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
1800.23/1800.28 c Time complete: 1800.32.