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-2693872-1277896268.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 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, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 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, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 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 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.12 c 0.9s| 10000 | 7109 | 0 | 0.0 |6800k| 168 | - | 305 |3919 | 0 | 0 | 0 |6954 | 0 | 0.000000e+00 | -- | Inf
3.09/3.10 c 2.5s| 20000 | 12367 | 0 | 0.0 | 11M| 168 | - | 305 |5231 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.59/5.60 c 4.8s| 30000 | 17063 | 0 | 0.0 | 16M| 168 | - | 305 |8467 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
8.70/8.76 c 7.7s| 40000 | 20687 | 0 | 0.0 | 22M| 168 | - | 305 | 11k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
12.99/13.01 c 11.6s| 50000 | 22193 | 0 | 0.0 | 26M| 168 | - | 305 | 16k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
15.09/15.14 o 607
15.09/15.14 c *13.5s| 59618 | 28371 | 0 | 0.0 | 28M| 168 | - | 305 |7546 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 6.070000e+02 | Inf
15.09/15.18 c 13.5s| 60000 | 28733 | 0 | 0.0 | 28M| 168 | - | 305 |7013 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 6.070000e+02 | Inf
15.19/15.23 o 142
15.19/15.23 c *13.6s| 60644 | 29273 | 0 | 0.0 | 28M| 168 | - | 305 |6164 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
17.69/17.73 c 15.8s| 70000 | 33152 | 0 | 0.0 | 32M| 168 | - | 305 |8899 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
22.89/22.90 c 20.6s| 80000 | 33916 | 0 | 0.0 | 37M| 168 | - | 305 | 14k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
29.09/29.11 c 26.5s| 90000 | 34702 | 0 | 0.0 | 42M| 168 | - | 305 | 19k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
36.69/36.73 c 33.8s|100000 | 34635 | 0 | 0.0 | 46M| 168 | - | 305 | 24k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
46.29/46.35 c 43.1s|110000 | 32849 | 0 | 0.0 | 48M| 168 | - | 305 | 29k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
51.99/52.06 c 48.5s|120000 | 37680 | 0 | 0.0 | 45M| 168 | - | 305 |9335 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
55.19/55.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.19/55.21 c 51.4s|130000 | 43126 | 0 | 0.0 | 49M| 168 | - | 305 | 10k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
59.59/59.62 c 55.5s|140000 | 46574 | 0 | 0.0 | 54M| 168 | - | 305 | 13k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
61.80/61.83 o 73
61.80/61.83 c *57.5s|145908 | 47535 | 0 | 0.0 | 52M| 168 | - | 305 |2329 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
62.19/62.26 c 57.8s|150000 | 50927 | 0 | 0.0 | 53M| 168 | - | 305 |1754 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
63.40/63.48 c 58.8s|160000 | 58611 | 0 | 0.0 | 57M| 168 | - | 305 |1901 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
65.09/65.10 c 60.2s|170000 | 65180 | 0 | 0.0 | 62M| 168 | - | 305 |3433 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
69.00/69.07 c 63.8s|180000 | 66385 | 0 | 0.0 | 67M| 168 | - | 305 |8841 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
77.89/77.93 c 72.2s|190000 | 62001 | 0 | 0.0 | 66M| 168 | - | 305 | 16k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
88.59/88.68 c 82.5s|200000 | 56256 | 0 | 0.0 | 61M| 168 | - | 305 | 21k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
93.40/93.46 c 86.9s|210000 | 58622 | 0 | 0.0 | 56M| 168 | - | 305 |6119 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
97.19/97.24 c 90.3s|220000 | 62076 | 0 | 0.0 | 60M| 168 | - | 305 |9644 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
102.29/102.31 c 95.1s|230000 | 64373 | 0 | 0.0 | 64M| 168 | - | 305 | 13k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
108.80/108.81 c 101s|240000 | 65821 | 0 | 0.0 | 67M| 168 | - | 305 | 17k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
117.09/117.11 c 109s|250000 | 65485 | 0 | 0.0 | 69M| 168 | - | 305 | 24k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
119.39/119.47 c 111s|260000 | 72745 | 0 | 0.0 | 67M| 168 | - | 305 |2356 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
120.99/121.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.99/121.09 c 113s|270000 | 79665 | 0 | 0.0 | 71M| 168 | - | 305 |2768 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
122.79/122.82 c 114s|280000 | 86262 | 0 | 0.0 | 75M| 168 | - | 305 |3395 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
124.69/124.75 c 116s|290000 | 92578 | 0 | 0.0 | 79M| 168 | - | 305 |4791 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
126.89/126.92 c 118s|300000 | 98627 | 0 | 0.0 | 83M| 168 | - | 305 |5594 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
129.29/129.38 c 120s|310000 |104280 | 0 | 0.0 | 87M| 168 | - | 305 |6643 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
132.09/132.11 c 122s|320000 |109722 | 0 | 0.0 | 91M| 168 | - | 305 |7924 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
134.89/134.90 c 125s|330000 |115252 | 0 | 0.0 | 95M| 168 | - | 305 |8540 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
137.79/137.82 c 127s|340000 |120616 | 0 | 0.0 | 99M| 168 | - | 305 |9452 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
140.89/140.98 c 130s|350000 |125657 | 0 | 0.0 | 103M| 168 | - | 305 | 10k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
144.29/144.36 c 133s|360000 |130536 | 0 | 0.0 | 107M| 168 | - | 305 | 11k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
147.99/148.00 c 136s|370000 |135183 | 0 | 0.0 | 112M| 168 | - | 305 | 13k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
152.39/152.43 c 141s|380000 |138923 | 0 | 0.0 | 118M| 168 | - | 305 | 15k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
157.99/158.01 c 146s|390000 |140970 | 0 | 0.0 | 117M| 168 | - | 305 | 10k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
165.89/166.00 c 153s|400000 |140512 | 0 | 0.0 | 120M| 168 | - | 305 | 16k| 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
176.69/176.77 c 164s|410000 |139877 | 0 | 0.0 | 125M| 168 | - | 305 | 23k| 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
191.49/191.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.49/191.51 c 178s|420000 |138289 | 0 | 0.0 | 128M| 168 | - | 305 | 32k| 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
210.09/210.11 c 196s|430000 |136462 | 0 | 0.0 | 131M| 168 | - | 305 | 40k| 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
228.99/229.01 c 215s|440000 |135364 | 0 | 0.0 | 131M| 168 | - | 305 | 38k| 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
235.99/236.04 c 222s|450000 |141110 | 0 | 0.0 | 127M| 168 | - | 305 | 12k| 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
239.99/240.09 c 225s|460000 |146467 | 0 | 0.0 | 130M| 168 | - | 305 | 10k| 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
243.89/243.98 c 229s|470000 |151461 | 0 | 0.0 | 134M| 168 | - | 305 |9360 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
247.79/247.89 c 232s|480000 |156233 | 0 | 0.0 | 138M| 168 | - | 305 |9561 | 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
251.59/251.63 c 236s|490000 |161211 | 0 | 0.0 | 143M| 168 | - | 305 |9802 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
255.40/255.44 c 239s|500000 |166033 | 0 | 0.0 | 147M| 168 | - | 305 | 10k| 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
259.60/259.60 c 243s|510000 |170425 | 0 | 0.0 | 151M| 168 | - | 305 | 11k| 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
263.69/263.78 c 247s|520000 |174866 | 0 | 0.0 | 156M| 168 | - | 305 | 11k| 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
267.89/267.90 c 251s|530000 |179409 | 0 | 0.0 | 160M| 168 | - | 305 | 11k| 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
272.19/272.23 c 255s|540000 |183646 | 0 | 0.0 | 164M| 168 | - | 305 | 11k| 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
276.39/276.47 c 259s|550000 |188108 | 0 | 0.0 | 168M| 168 | - | 305 | 12k| 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
280.79/280.85 c 263s|560000 |192474 | 0 | 0.0 | 173M| 168 | - | 305 | 12k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
285.69/285.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.69/285.77 c 268s|570000 |196191 | 0 | 0.0 | 177M| 168 | - | 305 | 13k| 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
290.79/290.82 c 272s|580000 |199843 | 0 | 0.0 | 182M| 168 | - | 305 | 13k| 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
296.09/296.11 c 277s|590000 |203341 | 0 | 0.0 | 186M| 168 | - | 305 | 14k| 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
301.69/301.70 c 283s|600000 |206423 | 0 | 0.0 | 190M| 168 | - | 305 | 14k| 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
307.39/307.48 c 288s|610000 |209358 | 0 | 0.0 | 194M| 168 | - | 305 | 15k| 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
313.40/313.47 c 294s|620000 |212247 | 0 | 0.0 | 198M| 168 | - | 305 | 15k| 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
319.49/319.57 c 299s|630000 |215012 | 0 | 0.0 | 202M| 168 | - | 305 | 15k| 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
325.70/325.71 c 305s|640000 |217800 | 0 | 0.0 | 206M| 168 | - | 305 | 16k| 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
331.99/332.08 c 311s|650000 |220392 | 0 | 0.0 | 210M| 168 | - | 305 | 16k| 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
338.60/338.60 c 317s|660000 |223004 | 0 | 0.0 | 215M| 168 | - | 305 | 17k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
345.49/345.53 c 324s|670000 |225334 | 0 | 0.0 | 219M| 168 | - | 305 | 17k| 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
352.19/352.29 c 330s|680000 |227862 | 0 | 0.0 | 225M| 168 | - | 305 | 18k| 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
359.60/359.69 c 337s|690000 |230109 | 0 | 0.0 | 230M| 168 | - | 305 | 19k| 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
367.00/367.08 c 344s|700000 |232595 | 0 | 0.0 | 234M| 168 | - | 305 | 20k| 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
374.50/374.50 c 352s|710000 |235214 | 0 | 0.0 | 239M| 168 | - | 305 | 20k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
382.09/382.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.09/382.16 c 359s|720000 |237848 | 0 | 0.0 | 244M| 168 | - | 305 | 21k| 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
390.09/390.10 c 367s|730000 |240360 | 0 | 0.0 | 248M| 168 | - | 305 | 21k| 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
398.40/398.40 c 374s|740000 |242549 | 0 | 0.0 | 252M| 168 | - | 305 | 23k| 0 | 0 | 0 | 809k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
406.80/406.83 c 383s|750000 |244712 | 0 | 0.0 | 255M| 168 | - | 305 | 19k| 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
410.40/410.43 c 386s|760000 |251012 | 0 | 0.0 | 255M| 168 | - | 305 |9600 | 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
415.10/415.10 c 390s|770000 |252992 | 0 | 0.0 | 256M| 168 | - | 305 | 11k| 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
423.40/423.44 c 398s|780000 |253252 | 0 | 0.0 | 254M| 168 | - | 305 | 13k| 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
428.79/428.86 c 403s|790000 |257087 | 0 | 0.0 | 257M| 168 | - | 305 | 10k| 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
433.99/434.01 c 408s|800000 |260624 | 0 | 0.0 | 260M| 168 | - | 305 | 11k| 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
439.50/439.55 c 413s|810000 |263979 | 0 | 0.0 | 264M| 168 | - | 305 | 14k| 0 | 0 | 0 | 881k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
445.99/446.08 c 420s|820000 |266879 | 0 | 0.0 | 267M| 168 | - | 305 | 14k| 0 | 0 | 0 | 892k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
452.40/452.41 c 426s|830000 |270105 | 0 | 0.0 | 271M| 168 | - | 305 | 17k| 0 | 0 | 0 | 902k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
459.40/459.46 c 432s|840000 |273376 | 0 | 0.0 | 276M| 168 | - | 305 | 19k| 0 | 0 | 0 | 912k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
467.29/467.31 c 440s|850000 |276293 | 0 | 0.0 | 280M| 168 | - | 305 | 21k| 0 | 0 | 0 | 923k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
475.69/475.74 c 448s|860000 |279117 | 0 | 0.0 | 285M| 168 | - | 305 | 23k| 0 | 0 | 0 | 933k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
484.59/484.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.59/484.69 c 457s|870000 |281872 | 0 | 0.0 | 289M| 168 | - | 305 | 25k| 0 | 0 | 0 | 944k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
494.50/494.58 c 466s|880000 |284335 | 0 | 0.0 | 293M| 168 | - | 305 | 27k| 0 | 0 | 0 | 955k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
504.20/504.26 c 475s|890000 |287396 | 0 | 0.0 | 297M| 168 | - | 305 | 28k| 0 | 0 | 0 | 965k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
514.30/514.37 c 485s|900000 |290434 | 0 | 0.0 | 302M| 168 | - | 305 | 31k| 0 | 0 | 0 | 975k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
526.10/526.11 c 497s|910000 |292773 | 0 | 0.0 | 306M| 168 | - | 305 | 32k| 0 | 0 | 0 | 986k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
537.90/537.95 c 508s|920000 |295340 | 0 | 0.0 | 310M| 168 | - | 305 | 33k| 0 | 0 | 0 | 997k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
549.00/549.05 c 519s|930000 |298541 | 0 | 0.0 | 314M| 168 | - | 305 | 36k| 0 | 0 | 0 |1007k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
562.80/562.87 c 532s|940000 |300502 | 0 | 0.0 | 318M| 168 | - | 305 | 37k| 0 | 0 | 0 |1018k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
577.00/577.08 c 546s|950000 |302600 | 0 | 0.0 | 322M| 168 | - | 305 | 37k| 0 | 0 | 0 |1029k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
590.50/590.60 c 559s|960000 |305128 | 0 | 0.0 | 326M| 168 | - | 305 | 38k| 0 | 0 | 0 |1040k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
605.71/605.70 c 574s|970000 |306778 | 0 | 0.0 | 330M| 168 | - | 305 | 40k| 0 | 0 | 0 |1052k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
620.70/620.76 c 589s|980000 |308657 | 0 | 0.0 | 334M| 168 | - | 305 | 40k| 0 | 0 | 0 |1063k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
630.51/630.50 o 62
630.51/630.50 c * 598s|987051 |293604 | 0 | 0.0 | 307M| 168 | - | 305 | 42k| 0 | 0 | 0 |1071k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
636.41/636.41 c 604s|990000 |293562 | 0 | 0.0 | 308M| 168 | - | 305 | 42k| 0 | 0 | 0 |1075k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
654.90/654.97 o 53
654.90/654.97 c * 622s|999946 |288110 | 0 | 0.0 | 304M| 168 | - | 305 | 43k| 0 | 0 | 0 |1088k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
655.00/655.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.00/655.06 c 622s| 1000k|288116 | 0 | 0.0 | 304M| 168 | - | 305 | 43k| 0 | 0 | 0 |1088k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
671.60/671.64 c 638s| 1010k|288106 | 0 | 0.0 | 304M| 168 | - | 305 | 28k| 0 | 0 | 0 |1104k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
686.70/686.77 c 653s| 1020k|287815 | 0 | 0.0 | 308M| 168 | - | 305 | 32k| 0 | 0 | 0 |1120k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
703.60/703.66 c 670s| 1030k|287449 | 0 | 0.0 | 312M| 168 | - | 305 | 35k| 0 | 0 | 0 |1136k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
722.71/722.77 c 688s| 1040k|286676 | 0 | 0.0 | 316M| 168 | - | 305 | 37k| 0 | 0 | 0 |1152k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
743.21/743.23 c 708s| 1050k|285513 | 0 | 0.0 | 318M| 168 | - | 305 | 38k| 0 | 0 | 0 |1169k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
764.81/764.80 c 729s| 1060k|284076 | 0 | 0.0 | 320M| 168 | - | 305 | 40k| 0 | 0 | 0 |1186k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
785.11/785.19 c 749s| 1070k|283409 | 0 | 0.0 | 323M| 168 | - | 305 | 42k| 0 | 0 | 0 |1201k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
806.10/806.12 c 770s| 1080k|282803 | 0 | 0.0 | 326M| 168 | - | 305 | 42k| 0 | 0 | 0 |1216k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
827.90/827.99 c 791s| 1090k|281471 | 0 | 0.0 | 328M| 168 | - | 305 | 43k| 0 | 0 | 0 |1232k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
848.61/848.60 c 812s| 1100k|280905 | 0 | 0.0 | 330M| 168 | - | 305 | 43k| 0 | 0 | 0 |1246k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
868.00/868.05 c 831s| 1110k|280972 | 0 | 0.0 | 333M| 168 | - | 305 | 44k| 0 | 0 | 0 |1259k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
887.62/887.63 c 850s| 1120k|281133 | 0 | 0.0 | 336M| 168 | - | 305 | 44k| 0 | 0 | 0 |1272k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
908.91/908.91 c 871s| 1130k|280413 | 0 | 0.0 | 339M| 168 | - | 305 | 46k| 0 | 0 | 0 |1285k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
934.81/934.86 c 896s| 1140k|278671 | 0 | 0.0 | 340M| 168 | - | 305 | 42k| 0 | 0 | 0 |1300k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
952.41/952.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.41/952.42 c 913s| 1150k|279285 | 0 | 0.0 | 338M| 168 | - | 305 | 38k| 0 | 0 | 0 |1314k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
962.71/962.74 c 923s| 1160k|283964 | 0 | 0.0 | 337M| 168 | - | 305 | 29k| 0 | 0 | 0 |1322k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
969.91/969.94 c 930s| 1170k|289578 | 0 | 0.0 | 338M| 168 | - | 305 | 21k| 0 | 0 | 0 |1329k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
976.21/976.29 c 936s| 1180k|294861 | 0 | 0.0 | 342M| 168 | - | 305 | 20k| 0 | 0 | 0 |1337k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
983.11/983.19 c 943s| 1190k|299339 | 0 | 0.0 | 346M| 168 | - | 305 | 21k| 0 | 0 | 0 |1346k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
992.91/992.93 c 952s| 1200k|300895 | 0 | 0.0 | 350M| 168 | - | 305 | 22k| 0 | 0 | 0 |1359k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
1001.61/1001.63 c 961s| 1210k|303427 | 0 | 0.0 | 349M| 168 | - | 305 |9200 | 0 | 0 | 0 |1369k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
1005.82/1005.85 c 964s| 1220k|307103 | 0 | 0.0 | 353M| 168 | - | 305 | 10k| 0 | 0 | 0 |1380k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
1008.62/1008.63 o 30
1008.62/1008.63 c * 967s| 1223k|249353 | 0 | 0.0 | 273M| 168 | - | 305 | 11k| 0 | 0 | 0 |1385k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1008.91/1008.92 o 29
1008.91/1008.92 c * 967s| 1223k|247733 | 0 | 0.0 | 270M| 168 | - | 305 |9649 | 0 | 0 | 0 |1386k| 0 | 2.000000e+00 | 2.900000e+01 |1350.00%
1017.81/1017.84 c 976s| 1230k|240768 | 0 | 0.0 | 271M| 168 | - | 305 | 11k| 0 | 0 | 0 |1405k| 0 | 2.000000e+00 | 2.900000e+01 |1350.00%
1040.62/1040.63 c 998s| 1240k|226836 | 0 | 0.0 | 271M| 168 | - | 305 | 21k| 0 | 0 | 0 |1436k| 0 | 2.000000e+00 | 2.900000e+01 |1350.00%
1072.92/1072.90 c 1030s| 1250k|212162 | 0 | 0.0 | 269M| 168 | - | 305 | 29k| 0 | 0 | 0 |1467k| 0 | 2.000000e+00 | 2.900000e+01 |1350.00%
1096.11/1096.15 o 12
1096.11/1096.15 c *1053s| 1255k|158244 | 0 | 0.0 | 215M| 168 | - | 305 | 32k| 0 | 0 | 0 |1485k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1121.32/1121.40 c 1078s| 1260k|140635 | 0 | 0.0 | 203M| 168 | - | 305 | 24k| 0 | 0 | 0 |1504k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1181.12/1181.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.12/1181.11 c 1136s| 1270k| 92784 | 0 | 0.0 | 152M| 168 | - | 305 | 31k| 0 | 0 | 0 |1545k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1206.72/1206.77 c 1162s| 1280k| 84039 | 0 | 0.0 | 135M| 168 | - | 305 | 28k| 0 | 0 | 0 |1566k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1219.02/1219.04 c 1173s| 1290k| 85641 | 0 | 0.0 | 133M| 168 | - | 305 | 25k| 0 | 0 | 0 |1579k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1231.22/1231.23 c 1185s| 1300k| 86598 | 0 | 0.0 | 132M| 168 | - | 305 | 25k| 0 | 0 | 0 |1592k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1244.13/1244.11 c 1198s| 1310k| 87789 | 0 | 0.0 | 133M| 168 | - | 305 | 27k| 0 | 0 | 0 |1607k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1257.32/1257.32 c 1211s| 1320k| 88989 | 0 | 0.0 | 134M| 168 | - | 305 | 29k| 0 | 0 | 0 |1621k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1272.82/1272.88 c 1226s| 1330k| 88930 | 0 | 0.0 | 134M| 168 | - | 305 | 30k| 0 | 0 | 0 |1636k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1290.81/1290.86 c 1244s| 1340k| 87472 | 0 | 0.0 | 132M| 168 | - | 305 | 31k| 0 | 0 | 0 |1653k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1311.23/1311.29 c 1264s| 1350k| 83793 | 0 | 0.0 | 127M| 168 | - | 305 | 33k| 0 | 0 | 0 |1671k| 0 | 3.000000e+00 | 1.200000e+01 | 300.00%
1333.32/1333.30 c 1285s| 1360k| 79831 | 0 | 0.0 | 123M| 168 | - | 305 | 30k| 0 | 0 | 0 |1690k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1339.52/1339.59 c 1291s| 1370k| 85619 | 0 | 0.0 | 122M| 168 | - | 305 | 11k| 0 | 0 | 0 |1699k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1344.52/1344.52 c 1296s| 1380k| 89631 | 0 | 0.0 | 127M| 168 | - | 305 | 12k| 0 | 0 | 0 |1711k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1351.53/1351.52 c 1302s| 1390k| 91330 | 0 | 0.0 | 130M| 168 | - | 305 | 11k| 0 | 0 | 0 |1725k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1354.92/1354.92 c 1305s| 1400k| 96327 | 0 | 0.0 | 133M| 168 | - | 305 |6368 | 0 | 0 | 0 |1734k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1361.83/1361.87 c 1312s| 1410k| 95228 | 0 | 0.0 | 134M| 168 | - | 305 | 12k| 0 | 0 | 0 |1753k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1370.82/1370.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.82/1370.85 c 1321s| 1420k| 93873 | 0 | 0.0 | 128M| 168 | - | 305 | 19k| 0 | 0 | 0 |1773k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1385.23/1385.24 c 1335s| 1430k| 93607 | 0 | 0.0 | 132M| 168 | - | 305 | 27k| 0 | 0 | 0 |1792k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1387.12/1387.16 o 10
1387.12/1387.16 c *1337s| 1431k| 79110 | 0 | 0.0 | 119M| 168 | - | 305 | 27k| 0 | 0 | 0 |1794k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1408.82/1408.85 c 1358s| 1440k| 75921 | 0 | 0.0 | 121M| 168 | - | 305 | 33k| 0 | 0 | 0 |1814k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1440.63/1440.62 c 1389s| 1450k| 70443 | 0 | 0.0 | 121M| 168 | - | 305 | 42k| 0 | 0 | 0 |1837k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1482.32/1482.30 c 1430s| 1460k| 61262 | 0 | 0.0 | 114M| 168 | - | 305 | 49k| 0 | 0 | 0 |1861k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1508.93/1508.90 c 1457s| 1470k| 60222 | 0 | 0.0 | 101M| 168 | - | 305 | 24k| 0 | 0 | 0 |1878k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1521.13/1521.14 c 1469s| 1480k| 61409 | 0 | 0.0 | 102M| 168 | - | 305 | 21k| 0 | 0 | 0 |1894k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1534.23/1534.24 c 1481s| 1490k| 61292 | 0 | 0.0 | 105M| 168 | - | 305 | 23k| 0 | 0 | 0 |1912k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1549.12/1549.11 c 1496s| 1500k| 60013 | 0 | 0.0 | 106M| 168 | - | 305 | 26k| 0 | 0 | 0 |1931k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1563.83/1563.88 c 1510s| 1510k| 59954 | 0 | 0.0 | 104M| 168 | - | 305 | 21k| 0 | 0 | 0 |1948k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1569.13/1569.10 c 1515s| 1520k| 65847 | 0 | 0.0 | 107M| 168 | - | 305 | 18k| 0 | 0 | 0 |1958k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1575.53/1575.58 c 1521s| 1530k| 70283 | 0 | 0.0 | 111M| 168 | - | 305 | 19k| 0 | 0 | 0 |1969k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1585.42/1585.43 c 1531s| 1540k| 71257 | 0 | 0.0 | 111M| 168 | - | 305 | 13k| 0 | 0 | 0 |1984k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1594.13/1594.17 c 1539s| 1550k| 70527 | 0 | 0.0 | 112M| 168 | - | 305 | 14k| 0 | 0 | 0 |2003k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1603.33/1603.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.33/1603.38 c 1548s| 1560k| 67800 | 0 | 0.0 | 107M| 168 | - | 305 |9237 | 0 | 0 | 0 |2022k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1620.83/1620.82 c 1565s| 1570k| 53088 | 0 | 0.0 | 78M| 168 | - | 305 | 24k| 0 | 0 | 0 |2050k| 0 | 4.000000e+00 | 1.000000e+01 | 150.00%
1639.63/1639.63 c 1584s| 1580k| 50288 | 0 | 0.0 | 76M| 168 | - | 305 | 28k| 0 | 0 | 0 |2072k| 0 | 5.000000e+00 | 1.000000e+01 | 100.00%
1664.23/1664.30 c 1608s| 1590k| 45486 | 0 | 0.0 | 75M| 168 | - | 305 | 36k| 0 | 0 | 0 |2096k| 0 | 5.000000e+00 | 1.000000e+01 | 100.00%
1694.73/1694.77 c 1638s| 1600k| 40211 | 0 | 0.0 | 69M| 168 | - | 305 | 38k| 0 | 0 | 0 |2120k| 0 | 5.000000e+00 | 1.000000e+01 | 100.00%
1709.34/1709.38 c 1652s| 1610k| 42966 | 0 | 0.0 | 68M| 168 | - | 305 | 25k| 0 | 0 | 0 |2135k| 0 | 5.000000e+00 | 1.000000e+01 | 100.00%
1722.93/1722.92 c 1666s| 1620k| 44306 | 0 | 0.0 | 72M| 168 | - | 305 | 29k| 0 | 0 | 0 |2151k| 0 | 5.000000e+00 | 1.000000e+01 | 100.00%
1739.43/1739.47 c 1682s| 1630k| 44314 | 0 | 0.0 | 75M| 168 | - | 305 | 34k| 0 | 0 | 0 |2170k| 0 | 5.000000e+00 | 1.000000e+01 | 100.00%
1758.13/1758.19 c 1700s| 1640k| 43658 | 0 | 0.0 | 78M| 168 | - | 305 | 38k| 0 | 0 | 0 |2188k| 0 | 5.000000e+00 | 1.000000e+01 | 100.00%
1778.83/1778.81 c 1720s| 1650k| 42085 | 0 | 0.0 | 78M| 168 | - | 305 | 41k| 0 | 0 | 0 |2207k| 0 | 5.000000e+00 | 1.000000e+01 | 100.00%
1799.94/1799.95 c 1741s| 1660k| 38757 | 0 | 0.0 | 69M| 168 | - | 305 | 19k| 0 | 0 | 0 |2229k| 0 | 5.000000e+00 | 1.000000e+01 | 100.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) : 1741.12
1800.04/1800.00 c Solving Nodes : 1660033
1800.04/1800.00 c Primal Bound : +1.00000000000000e+01 (9 solutions)
1800.04/1800.00 c Dual Bound : +5.00000000000000e+00
1800.04/1800.00 c Gap : 100.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 -x4
1800.04/1800.00 v -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1741.12
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693872-1277896268.wbo
1800.04/1800.00 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.04/1800.00 c Constraints : 171 initial, 171 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693872-1277896268.wbo
1800.04/1800.00 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.04/1800.00 c Constraints : 166 initial, 51789 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 68 0 4 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 : - 14 - - 28 - - - -
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 : 68 0 4717849 0 1058073 8111 1994939 0 0 0
1800.04/1800.00 c setppc : 20 0 5146768 0 1141804 39793 4131190 0 0 0
1800.04/1800.00 c linear : 68 0 5107012 0 1141815 550840 25215681 0 0 0
1800.04/1800.00 c logicor : 10+ 0 2484577 0 1141754 167144 1627376 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 435417 0 0 179 8317 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1141823 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 : 2.81 0.00 1.94 0.00 0.87
1800.04/1800.00 c setppc : 11.00 0.00 9.14 0.00 1.86
1800.04/1800.00 c linear : 124.76 0.00 124.62 0.00 0.14
1800.04/1800.00 c logicor : 807.73 0.00 807.24 0.00 0.49
1800.04/1800.00 c bounddisjunction : 1.58 0.00 1.58 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.01 2 0 0
1800.04/1800.00 c rootredcost : 0.00 0 0 0
1800.04/1800.00 c pseudoobj : 12.36 5160080 5345 1841625
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 42.34 763300 763239 4038028 24.7 211022 14.2 -
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 111 111 407 16.8 46 16.2 -
1800.04/1800.00 c applied globally : - - - 2176241 17.7 - - -
1800.04/1800.00 c applied locally : - - - 53012 36.4 - - -
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 : 8.61 1141814 0 0 0 0 2283628
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.32 - 9
1800.04/1800.00 c oneopt : 0.16 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.01 0 0
1800.04/1800.00 c trysol : 0.00 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 : 1660033
1800.04/1800.00 c nodes (total) : 1660033
1800.04/1800.00 c nodes left : 38734
1800.04/1800.00 c max depth : 168
1800.04/1800.00 c max depth (total): 168
1800.04/1800.00 c backtracks : 571484 (34.4%)
1800.04/1800.00 c delayed cutoffs : 439987
1800.04/1800.00 c repropagations : 1974543 (9663886 domain reductions, 253313 cutoffs)
1800.04/1800.00 c avg switch length: 22.17
1800.04/1800.00 c switching time : 573.16
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 9 (9 improvements)
1800.04/1800.00 c First Solution : +6.07000000000000e+02 (in run 1, after 59618 nodes, 13.49 seconds, depth 139, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +1.00000000000000e+01 (in run 1, after 1431160 nodes, 1336.57 seconds, depth 73, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +5.00000000000000e+00
1800.04/1800.00 c Gap : 100.00 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.14/1800.15 c Time complete: 1800.19.