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-2693852-1277895654.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.01 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
0.09/0.14 o 164
0.09/0.14 c * 0.1s| 1861 | 1523 | 0 | 0.0 |1718k| 116 | - | 223 | 563 | 0 | 0 | 0 | 516 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
0.99/1.09 c 1.0s| 10000 | 7020 | 0 | 0.0 |6124k| 116 | - | 223 |2889 | 0 | 0 | 0 |4618 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1.99/2.09 o 104
1.99/2.09 c * 2.0s| 15674 | 9895 | 0 | 0.0 |9400k| 116 | - | 223 |4824 | 0 | 0 | 0 |8840 | 0 | 0.000000e+00 | 1.040000e+02 | Inf
2.09/2.12 o 81
2.09/2.12 c * 2.0s| 15930 | 10022 | 0 | 0.0 |9278k| 116 | - | 223 |4174 | 0 | 0 | 0 |8879 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.79/2.83 c 2.6s| 20000 | 12455 | 0 | 0.0 | 10M| 116 | - | 223 |3712 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.99/5.06 c 4.8s| 30000 | 17310 | 0 | 0.0 | 16M| 116 | - | 223 |7390 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.09/8.12 c 7.8s| 40000 | 21034 | 0 | 0.0 | 21M| 116 | - | 223 |9495 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.69/11.71 c 11.2s| 50000 | 23538 | 0 | 0.0 | 25M| 116 | - | 223 | 11k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
15.09/15.16 c 14.6s| 60000 | 27469 | 0 | 0.0 | 26M| 116 | - | 223 |2193 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
16.89/16.99 c 16.3s| 70000 | 32347 | 0 | 0.0 | 30M| 116 | - | 223 |2547 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.80/19.82 c 19.1s| 80000 | 34937 | 0 | 0.0 | 34M| 116 | - | 223 |6500 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
23.29/23.35 c 22.5s| 90000 | 37002 | 0 | 0.0 | 38M| 116 | - | 223 |8333 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
27.69/27.70 c 26.8s|100000 | 37608 | 0 | 0.0 | 41M| 116 | - | 223 |9949 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
32.39/32.41 c 31.3s|110000 | 37831 | 0 | 0.0 | 43M| 116 | - | 223 | 10k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
37.50/37.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.50/37.53 c 36.3s|120000 | 37141 | 0 | 0.0 | 45M| 116 | - | 223 | 12k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
42.29/42.38 c 41.1s|130000 | 38668 | 0 | 0.0 | 43M| 116 | - | 223 |5028 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
43.89/43.95 c 42.6s|140000 | 45333 | 0 | 0.0 | 47M| 116 | - | 223 |3573 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
45.89/45.93 c 44.4s|150000 | 50902 | 0 | 0.0 | 51M| 116 | - | 223 |5009 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
48.50/48.53 c 46.9s|160000 | 55292 | 0 | 0.0 | 56M| 116 | - | 223 |6672 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
51.89/51.91 c 50.2s|170000 | 58035 | 0 | 0.0 | 60M| 116 | - | 223 |8096 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
57.30/57.33 c 55.5s|180000 | 56600 | 0 | 0.0 | 61M| 116 | - | 223 | 11k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
66.20/66.29 c 64.3s|190000 | 53038 | 0 | 0.0 | 62M| 116 | - | 223 | 19k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
79.89/79.92 c 77.8s|200000 | 48157 | 0 | 0.0 | 60M| 116 | - | 223 | 26k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
96.09/96.14 c 93.9s|210000 | 42866 | 0 | 0.0 | 55M| 116 | - | 223 | 31k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
103.09/103.10 c 101s|220000 | 47947 | 0 | 0.0 | 52M| 116 | - | 223 | 12k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
107.49/107.58 c 105s|230000 | 52084 | 0 | 0.0 | 55M| 116 | - | 223 |9999 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
112.00/112.09 c 110s|240000 | 55425 | 0 | 0.0 | 58M| 116 | - | 223 |9987 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
116.80/116.81 c 114s|250000 | 58124 | 0 | 0.0 | 61M| 116 | - | 223 | 10k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
122.20/122.29 c 120s|260000 | 59411 | 0 | 0.0 | 63M| 116 | - | 223 | 11k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
128.30/128.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.30/128.37 c 125s|270000 | 59998 | 0 | 0.0 | 66M| 116 | - | 223 | 13k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
135.20/135.22 c 132s|280000 | 59989 | 0 | 0.0 | 67M| 116 | - | 223 | 15k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
143.60/143.63 c 140s|290000 | 57947 | 0 | 0.0 | 66M| 116 | - | 223 | 16k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
156.00/156.05 c 153s|300000 | 53467 | 0 | 0.0 | 57M| 116 | - | 223 | 18k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
164.89/164.94 c 162s|310000 | 54219 | 0 | 0.0 | 56M| 116 | - | 223 | 15k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
174.30/174.38 c 171s|320000 | 53518 | 0 | 0.0 | 57M| 116 | - | 223 | 16k| 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
185.20/185.27 c 182s|330000 | 52054 | 0 | 0.0 | 59M| 116 | - | 223 | 18k| 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
196.79/196.84 c 193s|340000 | 50237 | 0 | 0.0 | 60M| 116 | - | 223 | 19k| 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
209.19/209.28 c 205s|350000 | 47768 | 0 | 0.0 | 60M| 116 | - | 223 | 21k| 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
223.00/223.01 c 219s|360000 | 44372 | 0 | 0.0 | 59M| 116 | - | 223 | 24k| 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
240.60/240.69 c 236s|370000 | 39508 | 0 | 0.0 | 56M| 116 | - | 223 | 25k| 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
261.50/261.59 c 257s|380000 | 32483 | 0 | 0.0 | 52M| 116 | - | 223 | 28k| 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
285.10/285.10 c 281s|390000 | 24027 | 0 | 0.0 | 41M| 116 | - | 223 | 28k| 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
291.00/291.07 c 286s|400000 | 28044 | 0 | 0.0 | 33M| 116 | - | 223 |5846 | 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
292.90/292.93 c 288s|410000 | 35089 | 0 | 0.0 | 37M| 116 | - | 223 |5879 | 0 | 0 | 0 | 433k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
296.40/296.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.40/296.45 c 292s|420000 | 38461 | 0 | 0.0 | 40M| 116 | - | 223 |6703 | 0 | 0 | 0 | 442k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
300.50/300.53 c 296s|430000 | 40907 | 0 | 0.0 | 43M| 116 | - | 223 |6947 | 0 | 0 | 0 | 450k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
305.20/305.28 c 300s|440000 | 42271 | 0 | 0.0 | 44M| 116 | - | 223 |7798 | 0 | 0 | 0 | 459k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
310.90/310.93 c 306s|450000 | 41945 | 0 | 0.0 | 44M| 116 | - | 223 |8958 | 0 | 0 | 0 | 469k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
315.60/315.69 c 310s|460000 | 43616 | 0 | 0.0 | 44M| 116 | - | 223 |7221 | 0 | 0 | 0 | 477k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
317.50/317.55 c 312s|470000 | 50983 | 0 | 0.0 | 47M| 116 | - | 223 |5518 | 0 | 0 | 0 | 481k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
319.50/319.54 c 314s|480000 | 57817 | 0 | 0.0 | 51M| 116 | - | 223 |5967 | 0 | 0 | 0 | 486k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
321.90/321.96 c 316s|490000 | 64016 | 0 | 0.0 | 56M| 116 | - | 223 |6965 | 0 | 0 | 0 | 491k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
324.90/324.91 c 319s|500000 | 69534 | 0 | 0.0 | 60M| 116 | - | 223 |8752 | 0 | 0 | 0 | 499k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
328.50/328.52 c 323s|510000 | 74263 | 0 | 0.0 | 65M| 116 | - | 223 | 10k| 0 | 0 | 0 | 507k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
332.90/332.92 c 327s|520000 | 78102 | 0 | 0.0 | 69M| 116 | - | 223 | 12k| 0 | 0 | 0 | 516k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
338.50/338.52 c 333s|530000 | 80395 | 0 | 0.0 | 73M| 116 | - | 223 | 13k| 0 | 0 | 0 | 526k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
345.40/345.43 c 339s|540000 | 80193 | 0 | 0.0 | 76M| 116 | - | 223 | 14k| 0 | 0 | 0 | 537k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
352.40/352.46 c 346s|550000 | 80553 | 0 | 0.0 | 76M| 116 | - | 223 | 10k| 0 | 0 | 0 | 548k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
359.71/359.75 c 353s|560000 | 79448 | 0 | 0.0 | 77M| 116 | - | 223 | 11k| 0 | 0 | 0 | 560k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
367.70/367.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.70/367.76 c 361s|570000 | 77060 | 0 | 0.0 | 75M| 116 | - | 223 | 13k| 0 | 0 | 0 | 571k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
371.51/371.58 c 365s|580000 | 82419 | 0 | 0.0 | 78M| 116 | - | 223 | 10k| 0 | 0 | 0 | 578k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
375.11/375.13 c 368s|590000 | 87985 | 0 | 0.0 | 82M| 116 | - | 223 | 11k| 0 | 0 | 0 | 584k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
379.20/379.24 c 372s|600000 | 92924 | 0 | 0.0 | 86M| 116 | - | 223 | 12k| 0 | 0 | 0 | 591k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
384.10/384.14 c 377s|610000 | 97172 | 0 | 0.0 | 90M| 116 | - | 223 | 13k| 0 | 0 | 0 | 598k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
389.30/389.34 c 382s|620000 |101211 | 0 | 0.0 | 94M| 116 | - | 223 | 14k| 0 | 0 | 0 | 606k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
394.70/394.71 c 388s|630000 |105257 | 0 | 0.0 | 98M| 116 | - | 223 | 15k| 0 | 0 | 0 | 614k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
400.30/400.39 c 393s|640000 |109052 | 0 | 0.0 | 101M| 116 | - | 223 | 15k| 0 | 0 | 0 | 622k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
406.70/406.75 c 399s|650000 |112117 | 0 | 0.0 | 105M| 116 | - | 223 | 16k| 0 | 0 | 0 | 632k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
413.71/413.76 c 406s|660000 |114727 | 0 | 0.0 | 109M| 116 | - | 223 | 16k| 0 | 0 | 0 | 641k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
421.01/421.03 c 413s|670000 |117233 | 0 | 0.0 | 112M| 116 | - | 223 | 17k| 0 | 0 | 0 | 651k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
428.91/428.96 c 421s|680000 |119135 | 0 | 0.0 | 116M| 116 | - | 223 | 18k| 0 | 0 | 0 | 662k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
437.91/437.92 c 430s|690000 |120178 | 0 | 0.0 | 119M| 116 | - | 223 | 20k| 0 | 0 | 0 | 673k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
447.61/447.61 c 440s|700000 |121066 | 0 | 0.0 | 122M| 116 | - | 223 | 21k| 0 | 0 | 0 | 684k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
458.71/458.78 c 451s|710000 |120996 | 0 | 0.0 | 125M| 116 | - | 223 | 24k| 0 | 0 | 0 | 696k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
471.50/471.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.50/471.59 c 463s|720000 |120299 | 0 | 0.0 | 127M| 116 | - | 223 | 26k| 0 | 0 | 0 | 709k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
485.51/485.58 c 477s|730000 |119169 | 0 | 0.0 | 129M| 116 | - | 223 | 28k| 0 | 0 | 0 | 722k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
501.90/501.92 c 494s|740000 |116342 | 0 | 0.0 | 129M| 116 | - | 223 | 28k| 0 | 0 | 0 | 736k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
520.91/520.92 c 512s|750000 |111738 | 0 | 0.0 | 125M| 116 | - | 223 | 24k| 0 | 0 | 0 | 750k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
537.00/537.06 c 528s|760000 |106292 | 0 | 0.0 | 120M| 116 | - | 223 | 20k| 0 | 0 | 0 | 765k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
546.20/546.22 c 537s|770000 |108561 | 0 | 0.0 | 122M| 116 | - | 223 | 18k| 0 | 0 | 0 | 775k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
556.20/556.26 c 547s|780000 |109955 | 0 | 0.0 | 125M| 116 | - | 223 | 17k| 0 | 0 | 0 | 786k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
567.71/567.74 c 559s|790000 |110541 | 0 | 0.0 | 128M| 116 | - | 223 | 20k| 0 | 0 | 0 | 798k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
580.41/580.47 c 571s|800000 |110753 | 0 | 0.0 | 132M| 116 | - | 223 | 21k| 0 | 0 | 0 | 810k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
595.10/595.17 c 586s|810000 |109930 | 0 | 0.0 | 134M| 116 | - | 223 | 22k| 0 | 0 | 0 | 823k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
610.61/610.60 c 601s|820000 |109034 | 0 | 0.0 | 136M| 116 | - | 223 | 24k| 0 | 0 | 0 | 836k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
628.00/628.06 c 618s|830000 |107869 | 0 | 0.0 | 138M| 116 | - | 223 | 25k| 0 | 0 | 0 | 849k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
646.51/646.50 c 636s|840000 |106104 | 0 | 0.0 | 139M| 116 | - | 223 | 26k| 0 | 0 | 0 | 862k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
666.90/666.92 c 656s|850000 |103767 | 0 | 0.0 | 140M| 116 | - | 223 | 28k| 0 | 0 | 0 | 876k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
688.21/688.26 c 677s|860000 |101407 | 0 | 0.0 | 141M| 116 | - | 223 | 29k| 0 | 0 | 0 | 890k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
712.21/712.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.21/712.28 c 701s|870000 | 97687 | 0 | 0.0 | 140M| 116 | - | 223 | 30k| 0 | 0 | 0 | 905k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
737.40/737.45 c 726s|880000 | 93871 | 0 | 0.0 | 138M| 116 | - | 223 | 32k| 0 | 0 | 0 | 921k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
764.81/764.88 c 753s|890000 | 89325 | 0 | 0.0 | 136M| 116 | - | 223 | 34k| 0 | 0 | 0 | 936k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
794.22/794.29 c 782s|900000 | 84216 | 0 | 0.0 | 133M| 116 | - | 223 | 37k| 0 | 0 | 0 | 952k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
828.50/828.57 c 816s|910000 | 77422 | 0 | 0.0 | 126M| 116 | - | 223 | 41k| 0 | 0 | 0 | 969k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
868.11/868.16 c 855s|920000 | 68609 | 0 | 0.0 | 114M| 116 | - | 223 | 37k| 0 | 0 | 0 | 986k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
906.01/906.06 c 892s|930000 | 61679 | 0 | 0.0 | 108M| 116 | - | 223 | 31k| 0 | 0 | 0 |1005k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
946.81/946.87 c 932s|940000 | 51880 | 0 | 0.0 | 99M| 116 | - | 223 | 35k| 0 | 0 | 0 |1025k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
992.32/992.35 c 977s|950000 | 40640 | 0 | 0.0 | 86M| 116 | - | 223 | 38k| 0 | 0 | 0 |1046k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1044.12/1044.11 c 1029s|960000 | 26322 | 0 | 0.0 | 63M| 116 | - | 223 | 46k| 0 | 0 | 0 |1067k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1079.02/1079.00 c 1063s|970000 | 22877 | 0 | 0.0 | 44M| 116 | - | 223 | 22k| 0 | 0 | 0 |1080k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1090.52/1090.51 c 1074s|980000 | 24405 | 0 | 0.0 | 44M| 116 | - | 223 | 19k| 0 | 0 | 0 |1089k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1103.71/1103.79 c 1087s|990000 | 24103 | 0 | 0.0 | 43M| 116 | - | 223 | 18k| 0 | 0 | 0 |1101k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1116.63/1116.66 c 1100s| 1000k| 23648 | 0 | 0.0 | 44M| 116 | - | 223 | 18k| 0 | 0 | 0 |1113k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1127.62/1127.68 c 1110s| 1010k| 23446 | 0 | 0.0 | 43M| 116 | - | 223 | 16k| 0 | 0 | 0 |1123k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1140.42/1140.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.42/1140.43 c 1123s| 1020k| 20326 | 0 | 0.0 | 43M| 116 | - | 223 | 17k| 0 | 0 | 0 |1138k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1147.22/1147.22 c 1129s| 1030k| 23333 | 0 | 0.0 | 40M| 116 | - | 223 |8696 | 0 | 0 | 0 |1144k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1153.22/1153.26 c 1135s| 1040k| 22931 | 0 | 0.0 | 39M| 116 | - | 223 | 13k| 0 | 0 | 0 |1155k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1155.62/1155.66 c 1137s| 1050k| 30378 | 0 | 0.0 | 41M| 116 | - | 223 |7521 | 0 | 0 | 0 |1158k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1157.92/1157.92 c 1139s| 1060k| 36996 | 0 | 0.0 | 45M| 116 | - | 223 |8163 | 0 | 0 | 0 |1162k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1160.71/1160.72 c 1141s| 1070k| 42713 | 0 | 0.0 | 49M| 116 | - | 223 |9148 | 0 | 0 | 0 |1166k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1164.51/1164.58 c 1145s| 1080k| 46718 | 0 | 0.0 | 52M| 116 | - | 223 | 11k| 0 | 0 | 0 |1172k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1169.52/1169.56 c 1149s| 1090k| 48999 | 0 | 0.0 | 56M| 116 | - | 223 | 14k| 0 | 0 | 0 |1180k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1172.81/1172.88 c 1153s| 1100k| 55175 | 0 | 0.0 | 59M| 116 | - | 223 |9179 | 0 | 0 | 0 |1183k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1175.72/1175.79 c 1155s| 1110k| 60639 | 0 | 0.0 | 63M| 116 | - | 223 |9299 | 0 | 0 | 0 |1187k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1178.72/1178.77 c 1158s| 1120k| 65770 | 0 | 0.0 | 67M| 116 | - | 223 |9833 | 0 | 0 | 0 |1191k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1182.22/1182.29 c 1161s| 1130k| 70067 | 0 | 0.0 | 71M| 116 | - | 223 | 10k| 0 | 0 | 0 |1196k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1186.22/1186.27 c 1165s| 1140k| 73899 | 0 | 0.0 | 75M| 116 | - | 223 | 12k| 0 | 0 | 0 |1202k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1191.12/1191.14 c 1169s| 1150k| 76597 | 0 | 0.0 | 79M| 116 | - | 223 | 13k| 0 | 0 | 0 |1209k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1196.52/1196.57 c 1174s| 1160k| 79088 | 0 | 0.0 | 82M| 116 | - | 223 | 14k| 0 | 0 | 0 |1216k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1202.72/1202.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.72/1202.70 c 1180s| 1170k| 81011 | 0 | 0.0 | 86M| 116 | - | 223 | 16k| 0 | 0 | 0 |1224k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1209.62/1209.64 c 1187s| 1180k| 82817 | 0 | 0.0 | 89M| 116 | - | 223 | 18k| 0 | 0 | 0 |1232k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1219.12/1219.15 c 1196s| 1190k| 82768 | 0 | 0.0 | 91M| 116 | - | 223 | 21k| 0 | 0 | 0 |1241k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1228.92/1228.99 c 1205s| 1200k| 84300 | 0 | 0.0 | 92M| 116 | - | 223 | 15k| 0 | 0 | 0 |1248k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1235.72/1235.75 c 1212s| 1210k| 86919 | 0 | 0.0 | 95M| 116 | - | 223 | 13k| 0 | 0 | 0 |1254k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1242.42/1242.49 c 1218s| 1220k| 88450 | 0 | 0.0 | 98M| 116 | - | 223 | 13k| 0 | 0 | 0 |1261k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1249.82/1249.84 c 1225s| 1230k| 89315 | 0 | 0.0 | 101M| 116 | - | 223 | 14k| 0 | 0 | 0 |1268k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1257.82/1257.90 c 1233s| 1240k| 89752 | 0 | 0.0 | 104M| 116 | - | 223 | 16k| 0 | 0 | 0 |1276k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1267.62/1267.60 c 1242s| 1250k| 89172 | 0 | 0.0 | 106M| 116 | - | 223 | 17k| 0 | 0 | 0 |1284k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1278.52/1278.54 c 1252s| 1260k| 87922 | 0 | 0.0 | 107M| 116 | - | 223 | 19k| 0 | 0 | 0 |1294k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1290.13/1290.16 c 1264s| 1270k| 86742 | 0 | 0.0 | 108M| 116 | - | 223 | 21k| 0 | 0 | 0 |1303k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1303.63/1303.62 c 1277s| 1280k| 85259 | 0 | 0.0 | 110M| 116 | - | 223 | 23k| 0 | 0 | 0 |1313k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1319.12/1319.12 c 1292s| 1290k| 83289 | 0 | 0.0 | 110M| 116 | - | 223 | 26k| 0 | 0 | 0 |1324k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1336.63/1336.63 c 1309s| 1300k| 80621 | 0 | 0.0 | 108M| 116 | - | 223 | 21k| 0 | 0 | 0 |1334k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1352.62/1352.69 c 1324s| 1310k| 77288 | 0 | 0.0 | 107M| 116 | - | 223 | 19k| 0 | 0 | 0 |1343k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1371.73/1371.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.73/1371.71 c 1343s| 1320k| 71327 | 0 | 0.0 | 104M| 116 | - | 223 | 22k| 0 | 0 | 0 |1354k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1393.53/1393.53 c 1364s| 1330k| 64856 | 0 | 0.0 | 99M| 116 | - | 223 | 26k| 0 | 0 | 0 |1366k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1418.32/1418.38 c 1389s| 1340k| 57339 | 0 | 0.0 | 90M| 116 | - | 223 | 28k| 0 | 0 | 0 |1379k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1423.43/1423.50 c 1394s| 1350k| 63519 | 0 | 0.0 | 90M| 116 | - | 223 | 17k| 0 | 0 | 0 |1384k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1436.23/1436.29 c 1406s| 1360k| 56757 | 0 | 0.0 | 79M| 116 | - | 223 | 15k| 0 | 0 | 0 |1395k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1439.23/1439.27 c 1409s| 1370k| 63736 | 0 | 0.0 | 81M| 116 | - | 223 | 10k| 0 | 0 | 0 |1399k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1442.03/1442.05 c 1411s| 1380k| 70129 | 0 | 0.0 | 84M| 116 | - | 223 | 11k| 0 | 0 | 0 |1403k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1445.83/1445.88 c 1415s| 1390k| 75130 | 0 | 0.0 | 89M| 116 | - | 223 | 13k| 0 | 0 | 0 |1409k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1451.03/1451.01 c 1419s| 1400k| 78679 | 0 | 0.0 | 93M| 116 | - | 223 | 15k| 0 | 0 | 0 |1417k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1457.73/1457.73 c 1426s| 1410k| 80437 | 0 | 0.0 | 95M| 116 | - | 223 | 15k| 0 | 0 | 0 |1426k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1463.53/1463.50 c 1431s| 1420k| 79655 | 0 | 0.0 | 92M| 116 | - | 223 |9314 | 0 | 0 | 0 |1435k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1466.63/1466.61 c 1434s| 1430k| 85063 | 0 | 0.0 | 95M| 116 | - | 223 | 10k| 0 | 0 | 0 |1440k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1470.23/1470.22 c 1437s| 1440k| 90035 | 0 | 0.0 | 99M| 116 | - | 223 | 10k| 0 | 0 | 0 |1446k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1474.53/1474.54 c 1441s| 1450k| 94380 | 0 | 0.0 | 104M| 116 | - | 223 | 12k| 0 | 0 | 0 |1453k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1479.53/1479.50 c 1446s| 1460k| 98259 | 0 | 0.0 | 108M| 116 | - | 223 | 14k| 0 | 0 | 0 |1460k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1485.53/1485.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.53/1485.59 c 1452s| 1470k|101376 | 0 | 0.0 | 112M| 116 | - | 223 | 16k| 0 | 0 | 0 |1468k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1493.13/1493.16 c 1459s| 1480k|103594 | 0 | 0.0 | 115M| 116 | - | 223 | 18k| 0 | 0 | 0 |1476k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1503.03/1503.08 c 1469s| 1490k|104551 | 0 | 0.0 | 119M| 116 | - | 223 | 21k| 0 | 0 | 0 |1487k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1515.53/1515.52 c 1481s| 1500k|103982 | 0 | 0.0 | 121M| 116 | - | 223 | 24k| 0 | 0 | 0 |1500k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1529.53/1529.56 c 1494s| 1510k|103303 | 0 | 0.0 | 120M| 116 | - | 223 | 18k| 0 | 0 | 0 |1511k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1534.83/1534.80 c 1499s| 1520k|106679 | 0 | 0.0 | 120M| 116 | - | 223 |7108 | 0 | 0 | 0 |1517k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1539.63/1539.63 c 1504s| 1530k|108044 | 0 | 0.0 | 122M| 116 | - | 223 | 11k| 0 | 0 | 0 |1527k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1547.74/1547.77 c 1511s| 1540k|108725 | 0 | 0.0 | 126M| 116 | - | 223 | 15k| 0 | 0 | 0 |1538k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1558.03/1558.04 c 1521s| 1550k|108625 | 0 | 0.0 | 129M| 116 | - | 223 | 17k| 0 | 0 | 0 |1549k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1570.33/1570.33 c 1533s| 1560k|108078 | 0 | 0.0 | 132M| 116 | - | 223 | 20k| 0 | 0 | 0 |1560k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1584.23/1584.23 c 1547s| 1570k|107262 | 0 | 0.0 | 135M| 116 | - | 223 | 25k| 0 | 0 | 0 |1572k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1601.63/1601.63 c 1564s| 1580k|105854 | 0 | 0.0 | 137M| 116 | - | 223 | 29k| 0 | 0 | 0 |1584k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1623.24/1623.23 c 1585s| 1590k|103201 | 0 | 0.0 | 138M| 116 | - | 223 | 33k| 0 | 0 | 0 |1597k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1649.24/1649.25 c 1610s| 1600k| 98891 | 0 | 0.0 | 136M| 116 | - | 223 | 36k| 0 | 0 | 0 |1611k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1670.24/1670.21 c 1631s| 1610k| 98578 | 0 | 0.0 | 129M| 116 | - | 223 | 15k| 0 | 0 | 0 |1621k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1679.24/1679.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.24/1679.23 c 1640s| 1620k| 98913 | 0 | 0.0 | 130M| 116 | - | 223 | 11k| 0 | 0 | 0 |1629k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1684.03/1684.10 c 1644s| 1630k|102992 | 0 | 0.0 | 131M| 116 | - | 223 | 10k| 0 | 0 | 0 |1636k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1696.24/1696.30 c 1656s| 1640k| 98229 | 0 | 0.0 | 131M| 116 | - | 223 | 17k| 0 | 0 | 0 |1652k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1717.93/1717.96 c 1677s| 1650k| 90564 | 0 | 0.0 | 125M| 116 | - | 223 | 27k| 0 | 0 | 0 |1669k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1746.53/1746.58 c 1705s| 1660k| 83445 | 0 | 0.0 | 112M| 116 | - | 223 | 18k| 0 | 0 | 0 |1684k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1762.54/1762.59 c 1721s| 1670k| 79914 | 0 | 0.0 | 108M| 116 | - | 223 | 16k| 0 | 0 | 0 |1695k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1766.34/1766.37 c 1725s| 1680k| 86497 | 0 | 0.0 | 111M| 116 | - | 223 | 13k| 0 | 0 | 0 |1699k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1770.84/1770.80 c 1729s| 1690k| 91547 | 0 | 0.0 | 115M| 116 | - | 223 | 14k| 0 | 0 | 0 |1706k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1778.54/1778.59 c 1736s| 1700k| 93305 | 0 | 0.0 | 118M| 116 | - | 223 | 17k| 0 | 0 | 0 |1716k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1790.84/1790.81 c 1748s| 1710k| 91131 | 0 | 0.0 | 114M| 116 | - | 223 | 15k| 0 | 0 | 0 |1728k| 0 | 1.900000e+01 | 8.100000e+01 | 326.32%
1798.14/1798.14 c 1755s| 1720k| 94883 | 0 | 0.0 | 118M| 116 | - | 223 | 17k| 0 | 0 | 0 |1736k| 0 | 2.000000e+01 | 8.100000e+01 | 305.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) : 1756.81
1800.04/1800.00 c Solving Nodes : 1722277
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (3 solutions)
1800.04/1800.00 c Dual Bound : +2.00000000000000e+01
1800.04/1800.00 c Gap : 305.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 : 1756.81
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693852-1277895654.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-2693852-1277895654.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, 46677 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 4849995 0 1002048 636 203135 0 0 0
1800.04/1800.00 c setppc : 49 0 5360732 0 1098887 139964 10036408 0 0 0
1800.04/1800.00 c linear : 27 0 5220768 0 1098887 358844 19550317 0 0 0
1800.04/1800.00 c logicor : 9+ 0 2773284 0 1098859 375225 1655753 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 86166 0 0 0 1921 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1098890 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.45 0.00 0.91 0.00 0.54
1800.04/1800.00 c setppc : 29.06 0.00 23.61 0.00 5.45
1800.04/1800.00 c linear : 79.11 0.00 78.74 0.00 0.37
1800.04/1800.00 c logicor : 863.03 0.00 862.21 0.00 0.82
1800.04/1800.00 c bounddisjunction : 0.08 0.00 0.08 0.00 0.00
1800.04/1800.00 c countsols : 0.11 0.00 0.00 0.00 0.11
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.67 2 0 0
1800.04/1800.00 c rootredcost : 0.57 0 0 0
1800.04/1800.00 c pseudoobj : 5.14 5361301 128 138391
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 39.00 874161 874108 4463992 20.6 156329 14.9 -
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 14 14 42 11.0 1 14.0 -
1800.04/1800.00 c applied globally : - - - 1728285 16.1 - - -
1800.04/1800.00 c applied locally : - - - 10380 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.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.46 1098887 0 0 0 0 2197774
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 - 3
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.16 0 0
1800.04/1800.00 c trysol : 0.21 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 : 1722277
1800.04/1800.00 c nodes (total) : 1722277
1800.04/1800.00 c nodes left : 95588
1800.04/1800.00 c max depth : 116
1800.04/1800.00 c max depth (total): 116
1800.04/1800.00 c backtracks : 649604 (37.7%)
1800.04/1800.00 c delayed cutoffs : 379810
1800.04/1800.00 c repropagations : 2138765 (7935983 domain reductions, 251424 cutoffs)
1800.04/1800.00 c avg switch length: 19.85
1800.04/1800.00 c switching time : 576.31
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 3 (3 improvements)
1800.04/1800.00 c First Solution : +1.64000000000000e+02 (in run 1, after 1861 nodes, 0.12 seconds, depth 78, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 15930 nodes, 1.99 seconds, depth 68, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +2.00000000000000e+01
1800.04/1800.00 c Gap : 305.00 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.33/1800.30 c Time complete: 1800.33.