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-2693925-1277897568.wbo>
0.00/0.00 c original problem has 221 variables (195 bin, 0 int, 0 impl, 26 cont) and 128 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, 34 impls, 49 clqs
0.00/0.00 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 34 impls, 49 clqs
0.00/0.01 c (round 3) 2 del vars, 19 del conss, 24 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 34 impls, 49 clqs
0.00/0.01 c (round 4) 4 del vars, 19 del conss, 24 chg bounds, 2 chg sides, 0 chg coeffs, 61 upgd conss, 34 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/193 (52.3%) - 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 4 deleted vars, 19 deleted constraints, 24 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 34 implications, 49 cliques
0.00/0.02 c presolved problem has 217 variables (193 bin, 0 int, 0 impl, 24 cont) and 109 constraints
0.00/0.02 c 24 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 24 constraints of type <linear>
0.00/0.02 c 11 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 | - | 851k| 0 | - | 217 | 109 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.20/1.25 c 1.2s| 10000 | 7101 | 0 | 0.0 |5949k| 140 | - | 217 |2826 | 0 | 0 | 0 |4811 | 0 | 0.000000e+00 | -- | Inf
3.09/3.17 c 3.0s| 20000 | 12681 | 0 | 0.0 | 10M| 140 | - | 217 |3212 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
5.69/5.73 c 5.5s| 30000 | 17052 | 0 | 0.0 | 15M| 140 | - | 217 |6448 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
9.09/9.17 c 8.8s| 40000 | 20109 | 0 | 0.0 | 19M| 140 | - | 217 |8312 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
13.09/13.12 c 12.6s| 50000 | 22136 | 0 | 0.0 | 24M| 140 | - | 217 | 12k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
16.19/16.21 c 15.6s| 60000 | 27000 | 0 | 0.0 | 25M| 140 | - | 217 |4309 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
19.19/19.22 c 18.4s| 70000 | 30572 | 0 | 0.0 | 29M| 140 | - | 217 |6905 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
23.99/24.01 c 23.1s| 80000 | 31800 | 0 | 0.0 | 33M| 140 | - | 217 | 12k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
30.59/30.63 c 29.6s| 90000 | 31890 | 0 | 0.0 | 37M| 140 | - | 217 | 17k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
39.39/39.40 c 38.2s|100000 | 30742 | 0 | 0.0 | 39M| 140 | - | 217 | 21k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
48.99/49.01 c 47.7s|110000 | 28841 | 0 | 0.0 | 40M| 140 | - | 217 | 25k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
53.59/53.68 c 52.3s|120000 | 34271 | 0 | 0.0 | 38M| 140 | - | 217 |8004 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
55.89/55.93 c 54.4s|130000 | 40497 | 0 | 0.0 | 41M| 140 | - | 217 |5967 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
58.40/58.49 c 56.8s|140000 | 45810 | 0 | 0.0 | 46M| 140 | - | 217 |7837 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
61.69/61.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.69/61.73 c 60.0s|150000 | 50062 | 0 | 0.0 | 50M| 140 | - | 217 | 10k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
68.20/68.25 c 66.3s|160000 | 49553 | 0 | 0.0 | 52M| 140 | - | 217 | 14k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
80.09/80.11 c 78.0s|170000 | 44909 | 0 | 0.0 | 51M| 140 | - | 217 | 23k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
94.79/94.87 c 92.6s|180000 | 40209 | 0 | 0.0 | 44M| 140 | - | 217 | 21k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
100.39/100.49 c 98.1s|190000 | 44200 | 0 | 0.0 | 44M| 140 | - | 217 | 10k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
104.60/104.64 c 102s|200000 | 47930 | 0 | 0.0 | 46M| 140 | - | 217 |9945 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
108.79/108.83 c 106s|210000 | 51315 | 0 | 0.0 | 50M| 140 | - | 217 | 10k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
113.49/113.50 c 111s|220000 | 54221 | 0 | 0.0 | 53M| 140 | - | 217 | 12k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
118.39/118.44 c 116s|230000 | 57191 | 0 | 0.0 | 55M| 140 | - | 217 | 15k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
124.29/124.38 c 121s|240000 | 59446 | 0 | 0.0 | 58M| 140 | - | 217 | 18k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
131.39/131.46 c 128s|250000 | 60783 | 0 | 0.0 | 61M| 140 | - | 217 | 22k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
144.40/144.43 c 141s|260000 | 57421 | 0 | 0.0 | 54M| 140 | - | 217 | 20k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
154.90/154.95 c 151s|270000 | 56237 | 0 | 0.0 | 54M| 140 | - | 217 | 16k| 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | -- | Inf
163.50/163.55 c 160s|280000 | 55831 | 0 | 0.0 | 56M| 140 | - | 217 | 16k| 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | -- | Inf
171.49/171.56 c 168s|290000 | 56319 | 0 | 0.0 | 59M| 140 | - | 217 | 19k| 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | -- | Inf
180.30/180.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.30/180.31 c 176s|300000 | 56678 | 0 | 0.0 | 61M| 140 | - | 217 | 22k| 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | -- | Inf
189.99/190.02 c 186s|310000 | 56950 | 0 | 0.0 | 64M| 140 | - | 217 | 25k| 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | -- | Inf
201.10/201.17 c 197s|320000 | 56659 | 0 | 0.0 | 66M| 140 | - | 217 | 29k| 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | -- | Inf
214.89/214.91 c 210s|330000 | 54527 | 0 | 0.0 | 67M| 140 | - | 217 | 32k| 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | -- | Inf
233.90/233.91 c 229s|340000 | 49828 | 0 | 0.0 | 62M| 140 | - | 217 | 26k| 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | -- | Inf
249.70/249.78 c 245s|350000 | 46115 | 0 | 0.0 | 60M| 140 | - | 217 | 32k| 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | -- | Inf
264.70/264.74 o 88
264.70/264.74 c * 260s|356413 | 37026 | 0 | 0.0 | 52M| 140 | - | 217 | 36k| 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 8.800000e+01 |8700.00%
270.60/270.68 c 266s|360000 | 34827 | 0 | 0.0 | 44M| 140 | - | 217 | 17k| 0 | 0 | 0 | 358k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
272.69/272.72 c 268s|370000 | 42619 | 0 | 0.0 | 45M| 140 | - | 217 |7175 | 0 | 0 | 0 | 360k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
275.70/275.74 c 270s|380000 | 46507 | 0 | 0.0 | 46M| 140 | - | 217 |3312 | 0 | 0 | 0 | 367k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
277.20/277.22 c 272s|390000 | 53985 | 0 | 0.0 | 50M| 140 | - | 217 |3454 | 0 | 0 | 0 | 370k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
279.09/279.11 c 274s|400000 | 60649 | 0 | 0.0 | 55M| 140 | - | 217 |5771 | 0 | 0 | 0 | 375k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
281.40/281.46 c 276s|410000 | 66838 | 0 | 0.0 | 59M| 140 | - | 217 |7336 | 0 | 0 | 0 | 380k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
284.30/284.33 c 279s|420000 | 72231 | 0 | 0.0 | 63M| 140 | - | 217 |9534 | 0 | 0 | 0 | 386k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
288.39/288.43 c 283s|430000 | 75839 | 0 | 0.0 | 68M| 140 | - | 217 | 12k| 0 | 0 | 0 | 393k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
293.09/293.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.09/293.18 c 287s|440000 | 79154 | 0 | 0.0 | 68M| 140 | - | 217 |4831 | 0 | 0 | 0 | 400k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
295.50/295.57 c 290s|450000 | 84425 | 0 | 0.0 | 72M| 140 | - | 217 |4901 | 0 | 0 | 0 | 406k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
298.00/298.10 c 292s|460000 | 89560 | 0 | 0.0 | 76M| 140 | - | 217 |4534 | 0 | 0 | 0 | 412k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
301.10/301.11 c 295s|470000 | 94445 | 0 | 0.0 | 80M| 140 | - | 217 |7045 | 0 | 0 | 0 | 419k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
304.90/304.90 c 299s|480000 | 98438 | 0 | 0.0 | 85M| 140 | - | 217 |8606 | 0 | 0 | 0 | 428k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
309.30/309.30 c 303s|490000 |101695 | 0 | 0.0 | 89M| 140 | - | 217 | 10k| 0 | 0 | 0 | 437k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
314.20/314.26 c 308s|500000 |104576 | 0 | 0.0 | 92M| 140 | - | 217 | 11k| 0 | 0 | 0 | 447k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
319.70/319.80 c 313s|510000 |107081 | 0 | 0.0 | 96M| 140 | - | 217 | 13k| 0 | 0 | 0 | 456k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
326.70/326.75 c 320s|520000 |108269 | 0 | 0.0 | 100M| 140 | - | 217 | 15k| 0 | 0 | 0 | 468k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
335.20/335.26 c 328s|530000 |108038 | 0 | 0.0 | 103M| 140 | - | 217 | 18k| 0 | 0 | 0 | 480k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
345.70/345.72 c 338s|540000 |106478 | 0 | 0.0 | 104M| 140 | - | 217 | 22k| 0 | 0 | 0 | 494k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
356.10/356.11 c 349s|550000 |105936 | 0 | 0.0 | 100M| 140 | - | 217 |5391 | 0 | 0 | 0 | 505k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
359.00/359.00 c 352s|560000 |110806 | 0 | 0.0 | 104M| 140 | - | 217 |6011 | 0 | 0 | 0 | 511k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
362.30/362.32 c 355s|570000 |115017 | 0 | 0.0 | 108M| 140 | - | 217 |7679 | 0 | 0 | 0 | 517k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
366.30/366.33 c 359s|580000 |118284 | 0 | 0.0 | 112M| 140 | - | 217 |9030 | 0 | 0 | 0 | 525k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
371.20/371.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.20/371.26 c 363s|590000 |120157 | 0 | 0.0 | 115M| 140 | - | 217 | 10k| 0 | 0 | 0 | 533k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
373.50/373.53 c 365s|600000 |126428 | 0 | 0.0 | 117M| 140 | - | 217 |4751 | 0 | 0 | 0 | 537k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
378.30/378.38 c 370s|610000 |127767 | 0 | 0.0 | 121M| 140 | - | 217 |9499 | 0 | 0 | 0 | 549k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
385.30/385.35 c 377s|620000 |128500 | 0 | 0.0 | 125M| 140 | - | 217 | 13k| 0 | 0 | 0 | 562k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
395.20/395.23 c 387s|630000 |127127 | 0 | 0.0 | 127M| 140 | - | 217 | 16k| 0 | 0 | 0 | 577k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
407.11/407.12 c 398s|640000 |124453 | 0 | 0.0 | 128M| 140 | - | 217 | 19k| 0 | 0 | 0 | 593k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
421.80/421.88 c 413s|650000 |120295 | 0 | 0.0 | 127M| 140 | - | 217 | 23k| 0 | 0 | 0 | 610k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
440.30/440.33 c 431s|660000 |113575 | 0 | 0.0 | 123M| 140 | - | 217 | 29k| 0 | 0 | 0 | 629k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
451.70/451.76 c 443s|670000 |112085 | 0 | 0.0 | 116M| 140 | - | 217 |9854 | 0 | 0 | 0 | 642k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
457.90/457.96 c 449s|680000 |113148 | 0 | 0.0 | 119M| 140 | - | 217 | 12k| 0 | 0 | 0 | 653k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
465.20/465.20 c 456s|690000 |113514 | 0 | 0.0 | 121M| 140 | - | 217 | 14k| 0 | 0 | 0 | 664k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
472.40/472.41 c 463s|700000 |114220 | 0 | 0.0 | 123M| 140 | - | 217 | 15k| 0 | 0 | 0 | 674k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
480.50/480.51 c 471s|710000 |114067 | 0 | 0.0 | 125M| 140 | - | 217 | 17k| 0 | 0 | 0 | 685k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
487.41/487.42 c 478s|720000 |116793 | 0 | 0.0 | 124M| 140 | - | 217 | 10k| 0 | 0 | 0 | 693k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
489.80/489.87 c 480s|730000 |123545 | 0 | 0.0 | 127M| 140 | - | 217 |5183 | 0 | 0 | 0 | 697k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
492.60/492.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.60/492.66 c 483s|740000 |128961 | 0 | 0.0 | 131M| 140 | - | 217 |6343 | 0 | 0 | 0 | 702k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
496.80/496.81 c 487s|750000 |131951 | 0 | 0.0 | 135M| 140 | - | 217 |8364 | 0 | 0 | 0 | 710k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
504.30/504.36 c 494s|760000 |129549 | 0 | 0.0 | 136M| 140 | - | 217 | 13k| 0 | 0 | 0 | 723k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
522.90/522.98 c 512s|770000 |119273 | 0 | 0.0 | 126M| 140 | - | 217 | 24k| 0 | 0 | 0 | 746k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
535.90/535.98 c 525s|780000 |115719 | 0 | 0.0 | 121M| 140 | - | 217 | 16k| 0 | 0 | 0 | 762k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
548.30/548.31 c 537s|790000 |111744 | 0 | 0.0 | 119M| 140 | - | 217 | 19k| 0 | 0 | 0 | 777k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
561.11/561.15 c 550s|800000 |107525 | 0 | 0.0 | 118M| 140 | - | 217 | 23k| 0 | 0 | 0 | 792k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
570.00/570.02 c 559s|810000 |110430 | 0 | 0.0 | 117M| 140 | - | 217 | 14k| 0 | 0 | 0 | 800k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
574.90/574.94 c 563s|820000 |114664 | 0 | 0.0 | 119M| 140 | - | 217 |9618 | 0 | 0 | 0 | 807k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
579.61/579.65 c 568s|830000 |118089 | 0 | 0.0 | 122M| 140 | - | 217 |9496 | 0 | 0 | 0 | 814k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
584.90/584.97 c 573s|840000 |120603 | 0 | 0.0 | 126M| 140 | - | 217 | 10k| 0 | 0 | 0 | 823k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
591.70/591.76 c 580s|850000 |121619 | 0 | 0.0 | 128M| 140 | - | 217 | 12k| 0 | 0 | 0 | 833k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
599.91/599.90 c 588s|860000 |121095 | 0 | 0.0 | 130M| 140 | - | 217 | 15k| 0 | 0 | 0 | 844k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
611.31/611.36 c 599s|870000 |117140 | 0 | 0.0 | 128M| 140 | - | 217 | 18k| 0 | 0 | 0 | 858k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
623.21/623.25 c 611s|880000 |115480 | 0 | 0.0 | 125M| 140 | - | 217 | 17k| 0 | 0 | 0 | 871k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
633.21/633.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.21/633.21 c 621s|890000 |115355 | 0 | 0.0 | 126M| 140 | - | 217 | 15k| 0 | 0 | 0 | 882k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
644.20/644.28 c 632s|900000 |113518 | 0 | 0.0 | 127M| 140 | - | 217 | 16k| 0 | 0 | 0 | 896k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
657.41/657.44 c 645s|910000 |110439 | 0 | 0.0 | 128M| 140 | - | 217 | 20k| 0 | 0 | 0 | 911k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
673.90/673.92 c 661s|920000 |105234 | 0 | 0.0 | 127M| 140 | - | 217 | 24k| 0 | 0 | 0 | 927k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
692.81/692.86 c 680s|930000 | 99895 | 0 | 0.0 | 123M| 140 | - | 217 | 25k| 0 | 0 | 0 | 944k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
716.41/716.48 c 703s|940000 | 91991 | 0 | 0.0 | 113M| 140 | - | 217 | 25k| 0 | 0 | 0 | 962k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
722.91/722.97 c 709s|950000 | 96535 | 0 | 0.0 | 109M| 140 | - | 217 | 10k| 0 | 0 | 0 | 967k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
726.61/726.68 c 713s|960000 |101055 | 0 | 0.0 | 111M| 140 | - | 217 |3791 | 0 | 0 | 0 | 972k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
729.81/729.84 c 716s|970000 |105543 | 0 | 0.0 | 115M| 140 | - | 217 |4172 | 0 | 0 | 0 | 978k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
733.71/733.80 c 720s|980000 |108757 | 0 | 0.0 | 118M| 140 | - | 217 |5224 | 0 | 0 | 0 | 985k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
739.41/739.40 c 725s|990000 |109287 | 0 | 0.0 | 121M| 140 | - | 217 |6643 | 0 | 0 | 0 | 994k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
743.90/743.99 c 730s| 1000k|111879 | 0 | 0.0 | 121M| 140 | - | 217 |4313 | 0 | 0 | 0 |1001k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
746.11/746.11 c 732s| 1010k|118644 | 0 | 0.0 | 126M| 140 | - | 217 |5777 | 0 | 0 | 0 |1004k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
749.61/749.65 c 735s| 1020k|123050 | 0 | 0.0 | 130M| 140 | - | 217 |8370 | 0 | 0 | 0 |1009k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
756.01/756.03 c 742s| 1030k|123656 | 0 | 0.0 | 132M| 140 | - | 217 |4715 | 0 | 0 | 0 |1018k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
760.71/760.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.71/760.74 c 746s| 1040k|125439 | 0 | 0.0 | 134M| 140 | - | 217 |5135 | 0 | 0 | 0 |1026k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
765.91/765.90 c 751s| 1050k|126971 | 0 | 0.0 | 136M| 140 | - | 217 |6091 | 0 | 0 | 0 |1035k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
771.71/771.78 c 757s| 1060k|127482 | 0 | 0.0 | 138M| 140 | - | 217 |7017 | 0 | 0 | 0 |1045k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
778.10/778.11 c 763s| 1070k|127336 | 0 | 0.0 | 138M| 140 | - | 217 |8785 | 0 | 0 | 0 |1054k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
780.71/780.74 c 766s| 1080k|133723 | 0 | 0.0 | 141M| 140 | - | 217 |7892 | 0 | 0 | 0 |1059k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
784.10/784.15 c 769s| 1090k|138983 | 0 | 0.0 | 146M| 140 | - | 217 |9128 | 0 | 0 | 0 |1064k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
788.11/788.12 c 773s| 1100k|143750 | 0 | 0.0 | 150M| 140 | - | 217 | 10k| 0 | 0 | 0 |1070k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
792.81/792.84 c 777s| 1110k|147795 | 0 | 0.0 | 154M| 140 | - | 217 | 12k| 0 | 0 | 0 |1076k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
798.51/798.59 c 783s| 1120k|151037 | 0 | 0.0 | 158M| 140 | - | 217 | 13k| 0 | 0 | 0 |1083k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
805.21/805.20 c 789s| 1130k|153661 | 0 | 0.0 | 162M| 140 | - | 217 | 14k| 0 | 0 | 0 |1091k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
813.10/813.14 c 797s| 1140k|154878 | 0 | 0.0 | 165M| 140 | - | 217 | 15k| 0 | 0 | 0 |1100k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
823.71/823.74 c 808s| 1150k|153383 | 0 | 0.0 | 164M| 140 | - | 217 | 12k| 0 | 0 | 0 |1111k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
831.81/831.89 c 816s| 1160k|152578 | 0 | 0.0 | 164M| 140 | - | 217 |8818 | 0 | 0 | 0 |1122k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
840.11/840.11 c 824s| 1170k|151028 | 0 | 0.0 | 164M| 140 | - | 217 | 10k| 0 | 0 | 0 |1133k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
849.91/849.90 c 833s| 1180k|148268 | 0 | 0.0 | 164M| 140 | - | 217 | 13k| 0 | 0 | 0 |1146k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
853.11/853.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.11/853.13 c 837s| 1190k|154489 | 0 | 0.0 | 166M| 140 | - | 217 | 10k| 0 | 0 | 0 |1150k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
859.01/859.09 c 842s| 1200k|155781 | 0 | 0.0 | 168M| 140 | - | 217 |9571 | 0 | 0 | 0 |1159k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
864.91/864.94 c 848s| 1210k|157703 | 0 | 0.0 | 172M| 140 | - | 217 | 11k| 0 | 0 | 0 |1168k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
872.90/872.94 c 856s| 1220k|157996 | 0 | 0.0 | 175M| 140 | - | 217 | 14k| 0 | 0 | 0 |1178k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
882.32/882.36 c 865s| 1230k|157664 | 0 | 0.0 | 178M| 140 | - | 217 | 16k| 0 | 0 | 0 |1189k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
893.91/893.94 c 877s| 1240k|155923 | 0 | 0.0 | 180M| 140 | - | 217 | 18k| 0 | 0 | 0 |1201k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
907.21/907.24 c 890s| 1250k|153338 | 0 | 0.0 | 180M| 140 | - | 217 | 19k| 0 | 0 | 0 |1213k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
923.22/923.20 c 906s| 1260k|149005 | 0 | 0.0 | 179M| 140 | - | 217 | 21k| 0 | 0 | 0 |1227k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
942.82/942.83 c 925s| 1270k|142508 | 0 | 0.0 | 173M| 140 | - | 217 | 19k| 0 | 0 | 0 |1242k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
959.91/959.96 c 942s| 1280k|136231 | 0 | 0.0 | 168M| 140 | - | 217 | 19k| 0 | 0 | 0 |1257k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
964.41/964.46 c 946s| 1290k|142837 | 0 | 0.0 | 170M| 140 | - | 217 | 14k| 0 | 0 | 0 |1262k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
969.91/969.91 c 952s| 1300k|147588 | 0 | 0.0 | 175M| 140 | - | 217 | 16k| 0 | 0 | 0 |1270k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
977.11/977.19 c 959s| 1310k|150397 | 0 | 0.0 | 179M| 140 | - | 217 | 18k| 0 | 0 | 0 |1279k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
988.61/988.61 c 970s| 1320k|149206 | 0 | 0.0 | 179M| 140 | - | 217 | 17k| 0 | 0 | 0 |1290k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1004.42/1004.49 c 986s| 1330k|144461 | 0 | 0.0 | 176M| 140 | - | 217 | 20k| 0 | 0 | 0 |1305k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1031.21/1031.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.21/1031.24 c 1012s| 1340k|133297 | 0 | 0.0 | 164M| 140 | - | 217 | 26k| 0 | 0 | 0 |1323k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1040.21/1040.24 c 1021s| 1350k|137653 | 0 | 0.0 | 166M| 140 | - | 217 | 25k| 0 | 0 | 0 |1331k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1050.31/1050.35 c 1031s| 1360k|140874 | 0 | 0.0 | 169M| 140 | - | 217 | 23k| 0 | 0 | 0 |1341k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1062.61/1062.68 c 1044s| 1370k|142089 | 0 | 0.0 | 172M| 140 | - | 217 | 26k| 0 | 0 | 0 |1353k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1077.31/1077.31 c 1058s| 1380k|141980 | 0 | 0.0 | 175M| 140 | - | 217 | 28k| 0 | 0 | 0 |1366k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1096.62/1096.69 c 1077s| 1390k|138405 | 0 | 0.0 | 174M| 140 | - | 217 | 33k| 0 | 0 | 0 |1382k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1106.82/1106.89 o 87
1106.82/1106.89 c *1087s| 1396k|136910 | 0 | 0.0 | 169M| 140 | - | 217 | 24k| 0 | 0 | 0 |1389k| 0 | 2.400000e+01 | 8.700000e+01 | 262.50%
1111.12/1111.14 c 1091s| 1400k|136461 | 0 | 0.0 | 168M| 140 | - | 217 | 25k| 0 | 0 | 0 |1394k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1127.82/1127.87 c 1108s| 1410k|135251 | 0 | 0.0 | 171M| 140 | - | 217 | 28k| 0 | 0 | 0 |1409k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1152.82/1152.81 c 1133s| 1420k|130001 | 0 | 0.0 | 171M| 140 | - | 217 | 33k| 0 | 0 | 0 |1428k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1185.21/1185.28 c 1165s| 1430k|120882 | 0 | 0.0 | 166M| 140 | - | 217 | 42k| 0 | 0 | 0 |1450k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1193.82/1193.80 c 1173s| 1440k|126566 | 0 | 0.0 | 160M| 140 | - | 217 | 13k| 0 | 0 | 0 |1454k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1198.82/1198.86 c 1178s| 1450k|130615 | 0 | 0.0 | 163M| 140 | - | 217 | 12k| 0 | 0 | 0 |1461k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1205.01/1205.05 c 1184s| 1460k|131619 | 0 | 0.0 | 163M| 140 | - | 217 | 10k| 0 | 0 | 0 |1469k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1210.51/1210.53 c 1190s| 1470k|133945 | 0 | 0.0 | 159M| 140 | - | 217 |8978 | 0 | 0 | 0 |1478k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1213.72/1213.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.72/1213.79 c 1193s| 1480k|140055 | 0 | 0.0 | 163M| 140 | - | 217 | 10k| 0 | 0 | 0 |1483k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1218.12/1218.12 c 1197s| 1490k|145253 | 0 | 0.0 | 168M| 140 | - | 217 | 12k| 0 | 0 | 0 |1489k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1223.52/1223.55 c 1202s| 1500k|149503 | 0 | 0.0 | 172M| 140 | - | 217 | 14k| 0 | 0 | 0 |1496k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1230.11/1230.11 c 1209s| 1510k|152831 | 0 | 0.0 | 176M| 140 | - | 217 | 15k| 0 | 0 | 0 |1504k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1237.92/1237.90 c 1216s| 1520k|154481 | 0 | 0.0 | 180M| 140 | - | 217 | 16k| 0 | 0 | 0 |1513k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1245.72/1245.74 c 1224s| 1530k|156186 | 0 | 0.0 | 181M| 140 | - | 217 | 12k| 0 | 0 | 0 |1522k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1250.72/1250.72 c 1229s| 1540k|159978 | 0 | 0.0 | 182M| 140 | - | 217 |9825 | 0 | 0 | 0 |1528k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1255.02/1255.03 c 1233s| 1550k|163842 | 0 | 0.0 | 185M| 140 | - | 217 |9158 | 0 | 0 | 0 |1535k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1258.42/1258.43 c 1236s| 1560k|169585 | 0 | 0.0 | 189M| 140 | - | 217 | 10k| 0 | 0 | 0 |1541k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1263.72/1263.73 c 1241s| 1570k|173475 | 0 | 0.0 | 194M| 140 | - | 217 | 14k| 0 | 0 | 0 |1549k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1271.52/1271.54 c 1249s| 1580k|175796 | 0 | 0.0 | 198M| 140 | - | 217 | 18k| 0 | 0 | 0 |1559k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1281.62/1281.60 c 1259s| 1590k|177224 | 0 | 0.0 | 202M| 140 | - | 217 | 22k| 0 | 0 | 0 |1570k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1293.63/1293.61 c 1271s| 1600k|177869 | 0 | 0.0 | 205M| 140 | - | 217 | 24k| 0 | 0 | 0 |1581k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1307.72/1307.75 c 1285s| 1610k|177206 | 0 | 0.0 | 208M| 140 | - | 217 | 26k| 0 | 0 | 0 |1594k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1323.33/1323.34 c 1300s| 1620k|175792 | 0 | 0.0 | 210M| 140 | - | 217 | 28k| 0 | 0 | 0 |1607k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1340.72/1340.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.72/1340.74 c 1317s| 1630k|173246 | 0 | 0.0 | 210M| 140 | - | 217 | 28k| 0 | 0 | 0 |1620k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1356.22/1356.24 c 1333s| 1640k|172121 | 0 | 0.0 | 207M| 140 | - | 217 | 24k| 0 | 0 | 0 |1632k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1364.32/1364.30 c 1341s| 1650k|175819 | 0 | 0.0 | 208M| 140 | - | 217 | 16k| 0 | 0 | 0 |1640k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1372.12/1372.10 c 1348s| 1660k|178049 | 0 | 0.0 | 212M| 140 | - | 217 | 16k| 0 | 0 | 0 |1649k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1381.32/1381.37 c 1358s| 1670k|177723 | 0 | 0.0 | 215M| 140 | - | 217 | 18k| 0 | 0 | 0 |1661k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1390.53/1390.52 c 1367s| 1680k|178901 | 0 | 0.0 | 216M| 140 | - | 217 | 16k| 0 | 0 | 0 |1672k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1400.53/1400.57 c 1376s| 1690k|179439 | 0 | 0.0 | 219M| 140 | - | 217 | 19k| 0 | 0 | 0 |1683k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1413.32/1413.30 c 1389s| 1700k|179036 | 0 | 0.0 | 223M| 140 | - | 217 | 23k| 0 | 0 | 0 |1697k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1430.12/1430.13 c 1406s| 1710k|177263 | 0 | 0.0 | 225M| 140 | - | 217 | 27k| 0 | 0 | 0 |1711k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1451.12/1451.15 c 1426s| 1720k|173728 | 0 | 0.0 | 225M| 140 | - | 217 | 32k| 0 | 0 | 0 |1727k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1478.62/1478.61 c 1454s| 1730k|167182 | 0 | 0.0 | 221M| 140 | - | 217 | 37k| 0 | 0 | 0 |1746k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1505.02/1505.07 c 1480s| 1740k|162913 | 0 | 0.0 | 215M| 140 | - | 217 | 33k| 0 | 0 | 0 |1761k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1519.02/1519.10 c 1494s| 1750k|164556 | 0 | 0.0 | 215M| 140 | - | 217 | 25k| 0 | 0 | 0 |1773k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1533.92/1533.99 c 1509s| 1760k|164057 | 0 | 0.0 | 218M| 140 | - | 217 | 28k| 0 | 0 | 0 |1786k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1551.23/1551.25 c 1526s| 1770k|162228 | 0 | 0.0 | 219M| 140 | - | 217 | 31k| 0 | 0 | 0 |1801k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1571.03/1571.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.03/1571.00 c 1545s| 1780k|159058 | 0 | 0.0 | 217M| 140 | - | 217 | 33k| 0 | 0 | 0 |1815k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1601.13/1601.19 c 1575s| 1790k|150959 | 0 | 0.0 | 210M| 140 | - | 217 | 35k| 0 | 0 | 0 |1835k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1632.93/1632.93 c 1607s| 1800k|143175 | 0 | 0.0 | 199M| 140 | - | 217 | 30k| 0 | 0 | 0 |1855k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1659.33/1659.32 c 1633s| 1810k|137232 | 0 | 0.0 | 196M| 140 | - | 217 | 37k| 0 | 0 | 0 |1874k| 0 | 3.000000e+01 | 8.700000e+01 | 190.00%
1686.03/1686.06 c 1659s| 1820k|130984 | 0 | 0.0 | 184M| 140 | - | 217 | 29k| 0 | 0 | 0 |1891k| 0 | 3.000000e+01 | 8.700000e+01 | 190.00%
1693.73/1693.79 c 1667s| 1830k|135306 | 0 | 0.0 | 175M| 140 | - | 217 |7520 | 0 | 0 | 0 |1896k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1697.03/1697.02 c 1670s| 1840k|140362 | 0 | 0.0 | 179M| 140 | - | 217 |8475 | 0 | 0 | 0 |1901k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1700.93/1700.92 c 1674s| 1850k|144394 | 0 | 0.0 | 181M| 140 | - | 217 |5666 | 0 | 0 | 0 |1907k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1702.73/1702.76 c 1676s| 1860k|152023 | 0 | 0.0 | 185M| 140 | - | 217 |5641 | 0 | 0 | 0 |1910k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1705.03/1705.01 c 1678s| 1870k|158874 | 0 | 0.0 | 189M| 140 | - | 217 |7046 | 0 | 0 | 0 |1914k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1708.73/1708.70 c 1681s| 1880k|163525 | 0 | 0.0 | 194M| 140 | - | 217 |9139 | 0 | 0 | 0 |1920k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1713.53/1713.52 c 1686s| 1890k|166865 | 0 | 0.0 | 198M| 140 | - | 217 | 10k| 0 | 0 | 0 |1927k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1719.93/1719.93 c 1692s| 1900k|167750 | 0 | 0.0 | 202M| 140 | - | 217 | 10k| 0 | 0 | 0 |1937k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1727.53/1727.55 c 1700s| 1910k|166091 | 0 | 0.0 | 202M| 140 | - | 217 |9724 | 0 | 0 | 0 |1948k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1731.63/1731.69 c 1704s| 1920k|170509 | 0 | 0.0 | 205M| 140 | - | 217 |8641 | 0 | 0 | 0 |1955k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1735.23/1735.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.23/1735.20 c 1707s| 1930k|176085 | 0 | 0.0 | 209M| 140 | - | 217 |9550 | 0 | 0 | 0 |1961k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1739.33/1739.34 c 1711s| 1940k|181060 | 0 | 0.0 | 213M| 140 | - | 217 | 11k| 0 | 0 | 0 |1967k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1744.23/1744.20 c 1716s| 1950k|185361 | 0 | 0.0 | 217M| 140 | - | 217 | 12k| 0 | 0 | 0 |1974k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1749.63/1749.62 c 1721s| 1960k|189334 | 0 | 0.0 | 221M| 140 | - | 217 | 13k| 0 | 0 | 0 |1981k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1755.63/1755.61 c 1727s| 1970k|192761 | 0 | 0.0 | 225M| 140 | - | 217 | 14k| 0 | 0 | 0 |1989k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1762.03/1762.07 c 1733s| 1980k|195649 | 0 | 0.0 | 229M| 140 | - | 217 | 15k| 0 | 0 | 0 |1997k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1769.43/1769.42 c 1741s| 1990k|197827 | 0 | 0.0 | 232M| 140 | - | 217 | 16k| 0 | 0 | 0 |2006k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1778.03/1778.03 c 1749s| 2000k|198936 | 0 | 0.0 | 235M| 140 | - | 217 | 16k| 0 | 0 | 0 |2016k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1787.53/1787.53 c 1758s| 2010k|199158 | 0 | 0.0 | 238M| 140 | - | 217 | 17k| 0 | 0 | 0 |2027k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1798.93/1798.92 c 1770s| 2020k|197563 | 0 | 0.0 | 239M| 140 | - | 217 | 18k| 0 | 0 | 0 |2040k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1770.76
1800.03/1800.00 c Solving Nodes : 2020889
1800.03/1800.00 c Primal Bound : +8.70000000000000e+01 (2 solutions)
1800.03/1800.00 c Dual Bound : +3.40000000000000e+01
1800.03/1800.00 c Gap : 155.88 %
1800.03/1800.00 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.00 v -x4 x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1770.76
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693925-1277897568.wbo
1800.03/1800.00 c Variables : 221 (195 binary, 0 integer, 0 implicit integer, 26 continuous)
1800.03/1800.00 c Constraints : 128 initial, 128 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693925-1277897568.wbo
1800.03/1800.00 c Variables : 217 (193 binary, 0 integer, 0 implicit integer, 24 continuous)
1800.03/1800.00 c Constraints : 109 initial, 43788 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.03/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 24 0 17 2 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 24 0 5952149 0 1238824 2297 531728 0 0 0
1800.03/1800.00 c knapsack : 1 0 6389634 0 1321896 131154 23728585 0 0 0
1800.03/1800.00 c setppc : 49 0 6258478 0 1321896 768363 9529297 0 0 0
1800.03/1800.00 c linear : 24 0 5490116 0 1321892 27148 2162810 0 0 0
1800.03/1800.00 c logicor : 11+ 0 2780250 0 1321891 67593 1329734 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 93931 0 0 5 7256 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1321894 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 3.62 0.00 2.62 0.00 1.00
1800.03/1800.00 c knapsack : 201.24 0.00 198.33 0.00 2.91
1800.03/1800.00 c setppc : 47.50 0.00 41.05 0.00 6.45
1800.03/1800.00 c linear : 23.87 0.00 23.32 0.00 0.55
1800.03/1800.00 c logicor : 707.72 0.00 706.43 0.00 1.29
1800.03/1800.00 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.03/1800.00 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.60 2 0 0
1800.03/1800.00 c rootredcost : 1.22 0 0 0
1800.03/1800.00 c pseudoobj : 6.58 6392405 670 347545
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 24.16 994933 994737 4802380 18.3 33288 15.6 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 35 35 80 6.2 2 17.0 -
1800.03/1800.00 c applied globally : - - - 2033096 14.9 - - -
1800.03/1800.00 c applied locally : - - - 8227 35.3 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 9.25 1321892 0 0 0 0 2643784
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.02 - 2
1800.03/1800.00 c oneopt : 0.58 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.66 0 0
1800.03/1800.00 c trysol : 0.64 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2020889
1800.03/1800.00 c nodes (total) : 2020889
1800.03/1800.00 c nodes left : 197347
1800.03/1800.00 c max depth : 140
1800.03/1800.00 c max depth (total): 140
1800.03/1800.00 c backtracks : 725898 (35.9%)
1800.03/1800.00 c delayed cutoffs : 420585
1800.03/1800.00 c repropagations : 2391526 (9781008 domain reductions, 298270 cutoffs)
1800.03/1800.00 c avg switch length: 18.48
1800.03/1800.00 c switching time : 558.11
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 2 (2 improvements)
1800.03/1800.00 c First Solution : +8.80000000000000e+01 (in run 1, after 356413 nodes, 259.74 seconds, depth 45, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +8.70000000000000e+01 (in run 1, after 1396771 nodes, 1087.20 seconds, depth 27, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +3.40000000000000e+01
1800.03/1800.00 c Gap : 155.88 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1800.43/1800.46 c Time complete: 1800.5.