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-2693846-1277895483.wbo>
0.00/0.00 c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/196 (51.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 32 implications, 49 cliques
0.00/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02 c 27 constraints of type <indicator>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 27 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 o 111
0.09/0.13 c * 0.1s| 1724 | 1407 | 0 | 0.0 |1715k| 116 | - | 223 | 572 | 0 | 0 | 0 | 608 | 0 | 0.000000e+00 | 1.110000e+02 | Inf
1.00/1.02 c 0.8s| 10000 | 6824 | 0 | 0.0 |6191k| 116 | - | 223 |3074 | 0 | 0 | 0 |5456 | 0 | 0.000000e+00 | 1.110000e+02 | Inf
1.59/1.67 o 81
1.59/1.67 c * 1.3s| 14161 | 8888 | 0 | 0.0 |8219k| 116 | - | 223 |3747 | 0 | 0 | 0 |8552 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.59/2.63 c 2.1s| 20000 | 12231 | 0 | 0.0 | 10M| 116 | - | 223 |4276 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.89/4.97 c 4.2s| 30000 | 16335 | 0 | 0.0 | 16M| 116 | - | 223 |7607 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.09/8.18 c 7.1s| 40000 | 18856 | 0 | 0.0 | 20M| 116 | - | 223 | 10k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.59/11.62 c 10.2s| 50000 | 21739 | 0 | 0.0 | 22M| 116 | - | 223 |1554 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
13.29/13.36 c 11.6s| 60000 | 26413 | 0 | 0.0 | 26M| 116 | - | 223 |2916 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
16.50/16.51 c 14.4s| 70000 | 27319 | 0 | 0.0 | 30M| 116 | - | 223 |6607 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
20.59/20.68 c 18.2s| 80000 | 26776 | 0 | 0.0 | 33M| 116 | - | 223 |9811 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
24.89/24.91 c 22.1s| 90000 | 26558 | 0 | 0.0 | 35M| 116 | - | 223 | 11k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
29.89/29.98 c 26.8s|100000 | 24936 | 0 | 0.0 | 35M| 116 | - | 223 | 14k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
31.99/32.05 c 28.6s|110000 | 31139 | 0 | 0.0 | 36M| 116 | - | 223 |3775 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.79/33.80 c 30.0s|120000 | 36968 | 0 | 0.0 | 40M| 116 | - | 223 |5901 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
36.39/36.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.39/36.42 c 32.3s|130000 | 40831 | 0 | 0.0 | 45M| 116 | - | 223 |7813 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
41.29/41.37 c 36.9s|140000 | 39082 | 0 | 0.0 | 46M| 116 | - | 223 | 12k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
49.89/49.96 c 45.1s|150000 | 33815 | 0 | 0.0 | 43M| 116 | - | 223 | 21k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
59.79/59.90 c 54.6s|160000 | 31289 | 0 | 0.0 | 37M| 116 | - | 223 | 16k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
64.90/64.92 c 59.3s|170000 | 33875 | 0 | 0.0 | 39M| 116 | - | 223 | 11k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
69.89/69.98 c 64.0s|180000 | 35493 | 0 | 0.0 | 42M| 116 | - | 223 | 13k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
75.69/75.74 c 69.4s|190000 | 36740 | 0 | 0.0 | 45M| 116 | - | 223 | 16k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
82.29/82.39 c 75.7s|200000 | 37307 | 0 | 0.0 | 48M| 116 | - | 223 | 20k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
90.19/90.26 c 83.1s|210000 | 36446 | 0 | 0.0 | 48M| 116 | - | 223 | 24k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
103.69/103.74 c 96.1s|220000 | 31319 | 0 | 0.0 | 41M| 116 | - | 223 | 20k| 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
115.79/115.80 c 108s|230000 | 27890 | 0 | 0.0 | 41M| 116 | - | 223 | 24k| 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
129.10/129.17 c 121s|240000 | 24272 | 0 | 0.0 | 42M| 116 | - | 223 | 30k| 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
146.30/146.39 c 137s|250000 | 19040 | 0 | 0.0 | 38M| 116 | - | 223 | 34k| 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
164.20/164.22 c 155s|260000 | 14466 | 0 | 0.0 | 24M| 116 | - | 223 | 18k| 0 | 0 | 0 | 284k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
166.00/166.03 c 156s|270000 | 22422 | 0 | 0.0 | 24M| 116 | - | 223 |6442 | 0 | 0 | 0 | 286k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
168.20/168.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.20/168.30 c 158s|280000 | 27827 | 0 | 0.0 | 29M| 116 | - | 223 |7724 | 0 | 0 | 0 | 292k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
171.30/171.32 c 161s|290000 | 30700 | 0 | 0.0 | 31M| 116 | - | 223 |5772 | 0 | 0 | 0 | 300k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
175.19/175.24 c 165s|300000 | 32024 | 0 | 0.0 | 33M| 116 | - | 223 |7707 | 0 | 0 | 0 | 309k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
178.89/178.95 c 168s|310000 | 34318 | 0 | 0.0 | 34M| 116 | - | 223 |8061 | 0 | 0 | 0 | 317k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
180.69/180.71 c 169s|320000 | 41589 | 0 | 0.0 | 38M| 116 | - | 223 |5217 | 0 | 0 | 0 | 320k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
182.40/182.40 c 171s|330000 | 48447 | 0 | 0.0 | 42M| 116 | - | 223 |5795 | 0 | 0 | 0 | 324k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
184.40/184.44 c 173s|340000 | 54596 | 0 | 0.0 | 46M| 116 | - | 223 |6890 | 0 | 0 | 0 | 329k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
186.80/186.82 c 175s|350000 | 60144 | 0 | 0.0 | 51M| 116 | - | 223 |8078 | 0 | 0 | 0 | 334k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
189.50/189.53 c 177s|360000 | 65211 | 0 | 0.0 | 55M| 116 | - | 223 |9197 | 0 | 0 | 0 | 340k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
192.79/192.88 c 180s|370000 | 69222 | 0 | 0.0 | 60M| 116 | - | 223 | 10k| 0 | 0 | 0 | 347k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
196.90/196.99 c 184s|380000 | 72033 | 0 | 0.0 | 64M| 116 | - | 223 | 11k| 0 | 0 | 0 | 356k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
202.10/202.18 c 189s|390000 | 72831 | 0 | 0.0 | 68M| 116 | - | 223 | 12k| 0 | 0 | 0 | 366k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
207.60/207.67 c 194s|400000 | 71893 | 0 | 0.0 | 66M| 116 | - | 223 |6200 | 0 | 0 | 0 | 378k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
213.09/213.19 c 199s|410000 | 70305 | 0 | 0.0 | 67M| 116 | - | 223 |9458 | 0 | 0 | 0 | 389k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
217.71/217.78 c 203s|420000 | 72168 | 0 | 0.0 | 68M| 116 | - | 223 |9921 | 0 | 0 | 0 | 398k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
221.10/221.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.10/221.12 c 206s|430000 | 77128 | 0 | 0.0 | 72M| 116 | - | 223 | 10k| 0 | 0 | 0 | 406k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
224.70/224.78 c 210s|440000 | 81552 | 0 | 0.0 | 76M| 116 | - | 223 | 11k| 0 | 0 | 0 | 414k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
228.50/228.53 c 213s|450000 | 86012 | 0 | 0.0 | 80M| 116 | - | 223 | 12k| 0 | 0 | 0 | 422k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
232.50/232.56 c 217s|460000 | 90196 | 0 | 0.0 | 84M| 116 | - | 223 | 12k| 0 | 0 | 0 | 431k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
236.70/236.78 c 221s|470000 | 94286 | 0 | 0.0 | 88M| 116 | - | 223 | 13k| 0 | 0 | 0 | 440k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
241.30/241.33 c 225s|480000 | 98003 | 0 | 0.0 | 92M| 116 | - | 223 | 13k| 0 | 0 | 0 | 448k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
246.20/246.30 c 229s|490000 |101204 | 0 | 0.0 | 96M| 116 | - | 223 | 14k| 0 | 0 | 0 | 456k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
251.70/251.75 c 235s|500000 |103744 | 0 | 0.0 | 100M| 116 | - | 223 | 15k| 0 | 0 | 0 | 464k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
257.80/257.84 c 240s|510000 |105684 | 0 | 0.0 | 103M| 116 | - | 223 | 16k| 0 | 0 | 0 | 473k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
264.20/264.27 c 246s|520000 |107468 | 0 | 0.0 | 106M| 116 | - | 223 | 16k| 0 | 0 | 0 | 482k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
271.29/271.39 c 253s|530000 |108427 | 0 | 0.0 | 110M| 116 | - | 223 | 17k| 0 | 0 | 0 | 492k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
279.41/279.41 c 261s|540000 |108516 | 0 | 0.0 | 112M| 116 | - | 223 | 18k| 0 | 0 | 0 | 503k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
288.50/288.51 c 269s|550000 |107633 | 0 | 0.0 | 115M| 116 | - | 223 | 19k| 0 | 0 | 0 | 515k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
298.01/298.08 c 279s|560000 |106471 | 0 | 0.0 | 117M| 116 | - | 223 | 19k| 0 | 0 | 0 | 527k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
308.60/308.68 c 289s|570000 |104346 | 0 | 0.0 | 118M| 116 | - | 223 | 21k| 0 | 0 | 0 | 540k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
319.80/319.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.80/319.85 c 300s|580000 |101871 | 0 | 0.0 | 118M| 116 | - | 223 | 23k| 0 | 0 | 0 | 553k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
332.60/332.64 c 312s|590000 | 96931 | 0 | 0.0 | 110M| 116 | - | 223 | 12k| 0 | 0 | 0 | 567k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
340.00/340.03 c 319s|600000 | 95479 | 0 | 0.0 | 109M| 116 | - | 223 | 14k| 0 | 0 | 0 | 579k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
347.30/347.35 c 326s|610000 | 96744 | 0 | 0.0 | 113M| 116 | - | 223 | 16k| 0 | 0 | 0 | 589k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
356.20/356.24 c 335s|620000 | 97200 | 0 | 0.0 | 116M| 116 | - | 223 | 18k| 0 | 0 | 0 | 600k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
367.00/367.01 c 345s|630000 | 97030 | 0 | 0.0 | 119M| 116 | - | 223 | 21k| 0 | 0 | 0 | 612k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
377.90/377.91 c 355s|640000 | 97256 | 0 | 0.0 | 123M| 116 | - | 223 | 24k| 0 | 0 | 0 | 623k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
390.70/390.77 c 368s|650000 | 96856 | 0 | 0.0 | 125M| 116 | - | 223 | 26k| 0 | 0 | 0 | 635k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
405.00/405.00 c 382s|660000 | 96151 | 0 | 0.0 | 128M| 116 | - | 223 | 27k| 0 | 0 | 0 | 648k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
419.20/419.22 c 396s|670000 | 95457 | 0 | 0.0 | 130M| 116 | - | 223 | 29k| 0 | 0 | 0 | 660k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
436.01/436.08 c 412s|680000 | 93473 | 0 | 0.0 | 132M| 116 | - | 223 | 29k| 0 | 0 | 0 | 673k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
455.50/455.54 c 431s|690000 | 90181 | 0 | 0.0 | 131M| 116 | - | 223 | 31k| 0 | 0 | 0 | 687k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
477.10/477.10 c 452s|700000 | 86000 | 0 | 0.0 | 130M| 116 | - | 223 | 32k| 0 | 0 | 0 | 702k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
501.00/501.01 c 476s|710000 | 80578 | 0 | 0.0 | 128M| 116 | - | 223 | 34k| 0 | 0 | 0 | 717k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
528.21/528.21 c 503s|720000 | 73492 | 0 | 0.0 | 122M| 116 | - | 223 | 36k| 0 | 0 | 0 | 734k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
557.11/557.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.11/557.17 c 531s|730000 | 64847 | 0 | 0.0 | 112M| 116 | - | 223 | 36k| 0 | 0 | 0 | 751k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
585.41/585.46 c 559s|740000 | 56004 | 0 | 0.0 | 98M| 116 | - | 223 | 28k| 0 | 0 | 0 | 768k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
612.41/612.43 c 585s|750000 | 48701 | 0 | 0.0 | 92M| 116 | - | 223 | 30k| 0 | 0 | 0 | 786k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
645.81/645.81 c 618s|760000 | 39513 | 0 | 0.0 | 84M| 116 | - | 223 | 36k| 0 | 0 | 0 | 805k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
687.61/687.62 c 659s|770000 | 27519 | 0 | 0.0 | 68M| 116 | - | 223 | 41k| 0 | 0 | 0 | 825k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
724.41/724.49 c 696s|780000 | 19437 | 0 | 0.0 | 41M| 116 | - | 223 | 23k| 0 | 0 | 0 | 840k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
738.02/738.04 c 709s|790000 | 17445 | 0 | 0.0 | 38M| 116 | - | 223 | 20k| 0 | 0 | 0 | 852k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
748.91/748.93 c 719s|800000 | 16347 | 0 | 0.0 | 38M| 116 | - | 223 | 19k| 0 | 0 | 0 | 863k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
756.61/756.68 c 727s|810000 | 16025 | 0 | 0.0 | 33M| 116 | - | 223 |8984 | 0 | 0 | 0 | 873k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
760.12/760.18 c 730s|820000 | 20023 | 0 | 0.0 | 34M| 116 | - | 223 |7877 | 0 | 0 | 0 | 878k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
762.22/762.21 c 732s|830000 | 26997 | 0 | 0.0 | 37M| 116 | - | 223 |6415 | 0 | 0 | 0 | 882k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
764.42/764.48 c 734s|840000 | 32777 | 0 | 0.0 | 42M| 116 | - | 223 |7613 | 0 | 0 | 0 | 887k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
767.91/767.99 c 737s|850000 | 36014 | 0 | 0.0 | 47M| 116 | - | 223 | 10k| 0 | 0 | 0 | 893k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
771.21/771.20 c 740s|860000 | 40820 | 0 | 0.0 | 51M| 116 | - | 223 |9757 | 0 | 0 | 0 | 898k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
774.11/774.11 c 742s|870000 | 46388 | 0 | 0.0 | 55M| 116 | - | 223 |9422 | 0 | 0 | 0 | 902k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
777.21/777.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.21/777.29 c 745s|880000 | 51287 | 0 | 0.0 | 60M| 116 | - | 223 | 10k| 0 | 0 | 0 | 906k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
781.22/781.28 c 749s|890000 | 54889 | 0 | 0.0 | 64M| 116 | - | 223 | 10k| 0 | 0 | 0 | 912k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
786.02/786.03 c 753s|900000 | 57408 | 0 | 0.0 | 68M| 116 | - | 223 | 11k| 0 | 0 | 0 | 919k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
791.92/791.99 c 759s|910000 | 58108 | 0 | 0.0 | 71M| 116 | - | 223 | 13k| 0 | 0 | 0 | 928k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
798.32/798.34 c 765s|920000 | 58068 | 0 | 0.0 | 73M| 116 | - | 223 | 17k| 0 | 0 | 0 | 937k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
804.51/804.54 c 771s|930000 | 61035 | 0 | 0.0 | 76M| 116 | - | 223 | 14k| 0 | 0 | 0 | 943k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
810.41/810.49 c 776s|940000 | 63858 | 0 | 0.0 | 80M| 116 | - | 223 | 14k| 0 | 0 | 0 | 949k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
817.82/817.83 c 783s|950000 | 64868 | 0 | 0.0 | 83M| 116 | - | 223 | 15k| 0 | 0 | 0 | 957k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
826.62/826.61 c 792s|960000 | 64543 | 0 | 0.0 | 87M| 116 | - | 223 | 17k| 0 | 0 | 0 | 966k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
836.82/836.89 c 801s|970000 | 63211 | 0 | 0.0 | 88M| 116 | - | 223 | 18k| 0 | 0 | 0 | 975k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
848.52/848.50 c 813s|980000 | 61080 | 0 | 0.0 | 89M| 116 | - | 223 | 20k| 0 | 0 | 0 | 986k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
861.33/861.36 c 825s|990000 | 57651 | 0 | 0.0 | 88M| 116 | - | 223 | 24k| 0 | 0 | 0 | 997k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
873.22/873.28 c 836s| 1000k| 55703 | 0 | 0.0 | 87M| 116 | - | 223 | 20k| 0 | 0 | 0 |1006k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
888.62/888.60 c 851s| 1010k| 50605 | 0 | 0.0 | 85M| 116 | - | 223 | 23k| 0 | 0 | 0 |1017k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
907.62/907.68 c 870s| 1020k| 43332 | 0 | 0.0 | 79M| 116 | - | 223 | 27k| 0 | 0 | 0 |1031k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
910.92/910.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.92/910.95 c 873s| 1030k| 50052 | 0 | 0.0 | 77M| 116 | - | 223 |7497 | 0 | 0 | 0 |1035k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
916.22/916.23 c 878s| 1040k| 47060 | 0 | 0.0 | 70M| 116 | - | 223 |7232 | 0 | 0 | 0 |1045k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
917.92/917.98 c 879s| 1050k| 54011 | 0 | 0.0 | 73M| 116 | - | 223 |4158 | 0 | 0 | 0 |1048k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
920.02/920.00 c 881s| 1060k| 59983 | 0 | 0.0 | 77M| 116 | - | 223 |6572 | 0 | 0 | 0 |1053k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
923.02/923.06 c 884s| 1070k| 64160 | 0 | 0.0 | 82M| 116 | - | 223 |9256 | 0 | 0 | 0 |1060k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
927.23/927.24 c 888s| 1080k| 66495 | 0 | 0.0 | 86M| 116 | - | 223 | 12k| 0 | 0 | 0 |1068k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
931.22/931.23 c 891s| 1090k| 68811 | 0 | 0.0 | 86M| 116 | - | 223 |4173 | 0 | 0 | 0 |1075k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
934.92/934.96 c 895s| 1100k| 70808 | 0 | 0.0 | 88M| 116 | - | 223 |6819 | 0 | 0 | 0 |1083k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
937.92/937.98 c 897s| 1110k| 75228 | 0 | 0.0 | 92M| 116 | - | 223 |7681 | 0 | 0 | 0 |1090k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
941.52/941.58 c 901s| 1120k| 78863 | 0 | 0.0 | 97M| 116 | - | 223 |9671 | 0 | 0 | 0 |1097k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
945.82/945.90 c 904s| 1130k| 81832 | 0 | 0.0 | 101M| 116 | - | 223 | 11k| 0 | 0 | 0 |1105k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
951.02/951.07 c 909s| 1140k| 84392 | 0 | 0.0 | 105M| 116 | - | 223 | 13k| 0 | 0 | 0 |1114k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
957.42/957.45 c 915s| 1150k| 86131 | 0 | 0.0 | 109M| 116 | - | 223 | 15k| 0 | 0 | 0 |1123k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
964.42/964.49 c 922s| 1160k| 87316 | 0 | 0.0 | 113M| 116 | - | 223 | 17k| 0 | 0 | 0 |1133k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
973.22/973.21 c 930s| 1170k| 87260 | 0 | 0.0 | 116M| 116 | - | 223 | 20k| 0 | 0 | 0 |1144k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
982.73/982.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.73/982.70 c 939s| 1180k| 86653 | 0 | 0.0 | 118M| 116 | - | 223 | 24k| 0 | 0 | 0 |1156k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
990.03/990.09 c 946s| 1190k| 88076 | 0 | 0.0 | 115M| 116 | - | 223 |5515 | 0 | 0 | 0 |1164k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
995.12/995.19 c 951s| 1200k| 88109 | 0 | 0.0 | 116M| 116 | - | 223 |7723 | 0 | 0 | 0 |1174k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1001.12/1001.10 c 957s| 1210k| 88015 | 0 | 0.0 | 120M| 116 | - | 223 | 11k| 0 | 0 | 0 |1185k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1009.52/1009.60 c 965s| 1220k| 86387 | 0 | 0.0 | 122M| 116 | - | 223 | 14k| 0 | 0 | 0 |1198k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1021.12/1021.18 c 976s| 1230k| 83061 | 0 | 0.0 | 123M| 116 | - | 223 | 18k| 0 | 0 | 0 |1212k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1035.63/1035.67 c 990s| 1240k| 78896 | 0 | 0.0 | 122M| 116 | - | 223 | 22k| 0 | 0 | 0 |1226k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1053.22/1053.27 c 1007s| 1250k| 73502 | 0 | 0.0 | 120M| 116 | - | 223 | 28k| 0 | 0 | 0 |1242k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1072.32/1072.38 c 1026s| 1260k| 68315 | 0 | 0.0 | 113M| 116 | - | 223 | 24k| 0 | 0 | 0 |1256k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1081.52/1081.52 c 1035s| 1270k| 66725 | 0 | 0.0 | 108M| 116 | - | 223 | 10k| 0 | 0 | 0 |1267k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1084.63/1084.63 c 1037s| 1280k| 71838 | 0 | 0.0 | 110M| 116 | - | 223 |7962 | 0 | 0 | 0 |1272k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1095.93/1095.92 c 1048s| 1290k| 63043 | 0 | 0.0 | 101M| 116 | - | 223 | 17k| 0 | 0 | 0 |1290k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1107.53/1107.58 c 1059s| 1300k| 58618 | 0 | 0.0 | 91M| 116 | - | 223 | 11k| 0 | 0 | 0 |1303k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1110.73/1110.77 c 1062s| 1310k| 64233 | 0 | 0.0 | 94M| 116 | - | 223 |9120 | 0 | 0 | 0 |1309k| 0 | 1.900000e+01 | 8.100000e+01 | 326.32%
1114.92/1114.97 c 1066s| 1320k| 67708 | 0 | 0.0 | 98M| 116 | - | 223 | 10k| 0 | 0 | 0 |1317k| 0 | 1.900000e+01 | 8.100000e+01 | 326.32%
1120.83/1120.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.83/1120.80 c 1072s| 1330k| 68312 | 0 | 0.0 | 101M| 116 | - | 223 | 14k| 0 | 0 | 0 |1327k| 0 | 1.900000e+01 | 8.100000e+01 | 326.32%
1126.23/1126.26 c 1077s| 1340k| 71472 | 0 | 0.0 | 103M| 116 | - | 223 | 13k| 0 | 0 | 0 |1336k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1132.93/1132.93 c 1083s| 1350k| 73328 | 0 | 0.0 | 107M| 116 | - | 223 | 15k| 0 | 0 | 0 |1346k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1140.53/1140.51 c 1090s| 1360k| 74283 | 0 | 0.0 | 111M| 116 | - | 223 | 17k| 0 | 0 | 0 |1358k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1149.53/1149.56 c 1099s| 1370k| 74208 | 0 | 0.0 | 114M| 116 | - | 223 | 20k| 0 | 0 | 0 |1370k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1160.73/1160.76 c 1110s| 1380k| 72444 | 0 | 0.0 | 115M| 116 | - | 223 | 24k| 0 | 0 | 0 |1383k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1171.02/1171.06 c 1120s| 1390k| 72643 | 0 | 0.0 | 112M| 116 | - | 223 | 10k| 0 | 0 | 0 |1394k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1177.03/1177.03 c 1125s| 1400k| 72570 | 0 | 0.0 | 111M| 116 | - | 223 |8073 | 0 | 0 | 0 |1404k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1184.63/1184.68 c 1133s| 1410k| 69634 | 0 | 0.0 | 108M| 116 | - | 223 | 11k| 0 | 0 | 0 |1418k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1193.62/1193.69 c 1141s| 1420k| 66850 | 0 | 0.0 | 106M| 116 | - | 223 | 15k| 0 | 0 | 0 |1431k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1207.63/1207.64 c 1155s| 1430k| 63449 | 0 | 0.0 | 108M| 116 | - | 223 | 23k| 0 | 0 | 0 |1448k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1228.22/1228.26 c 1175s| 1440k| 57630 | 0 | 0.0 | 106M| 116 | - | 223 | 30k| 0 | 0 | 0 |1466k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1250.23/1250.27 c 1197s| 1450k| 53082 | 0 | 0.0 | 97M| 116 | - | 223 | 21k| 0 | 0 | 0 |1482k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1260.93/1260.93 c 1207s| 1460k| 52151 | 0 | 0.0 | 94M| 116 | - | 223 | 12k| 0 | 0 | 0 |1493k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1270.83/1270.88 c 1217s| 1470k| 48608 | 0 | 0.0 | 91M| 116 | - | 223 | 15k| 0 | 0 | 0 |1506k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1282.54/1282.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.54/1282.56 c 1228s| 1480k| 42407 | 0 | 0.0 | 77M| 116 | - | 223 | 13k| 0 | 0 | 0 |1522k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1294.64/1294.66 c 1240s| 1490k| 36520 | 0 | 0.0 | 71M| 116 | - | 223 | 16k| 0 | 0 | 0 |1536k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1298.63/1298.68 c 1244s| 1500k| 39983 | 0 | 0.0 | 70M| 116 | - | 223 |8430 | 0 | 0 | 0 |1543k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1300.93/1300.95 c 1246s| 1510k| 46345 | 0 | 0.0 | 72M| 116 | - | 223 |7561 | 0 | 0 | 0 |1548k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1303.83/1303.89 c 1248s| 1520k| 51473 | 0 | 0.0 | 77M| 116 | - | 223 | 10k| 0 | 0 | 0 |1554k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1308.94/1309.00 c 1253s| 1530k| 53496 | 0 | 0.0 | 82M| 116 | - | 223 | 14k| 0 | 0 | 0 |1564k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1314.33/1314.40 c 1258s| 1540k| 56321 | 0 | 0.0 | 83M| 116 | - | 223 | 12k| 0 | 0 | 0 |1571k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1318.34/1318.32 c 1262s| 1550k| 61556 | 0 | 0.0 | 87M| 116 | - | 223 | 13k| 0 | 0 | 0 |1577k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1323.53/1323.57 c 1267s| 1560k| 65173 | 0 | 0.0 | 91M| 116 | - | 223 | 15k| 0 | 0 | 0 |1585k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1330.84/1330.86 c 1274s| 1570k| 67156 | 0 | 0.0 | 96M| 116 | - | 223 | 19k| 0 | 0 | 0 |1595k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1340.94/1340.93 c 1284s| 1580k| 67157 | 0 | 0.0 | 99M| 116 | - | 223 | 23k| 0 | 0 | 0 |1607k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1353.33/1353.38 c 1296s| 1590k| 65496 | 0 | 0.0 | 100M| 116 | - | 223 | 27k| 0 | 0 | 0 |1619k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1365.53/1365.53 c 1308s| 1600k| 67633 | 0 | 0.0 | 103M| 116 | - | 223 | 25k| 0 | 0 | 0 |1630k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1380.14/1380.12 c 1322s| 1610k| 67834 | 0 | 0.0 | 105M| 116 | - | 223 | 26k| 0 | 0 | 0 |1641k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1397.05/1397.05 c 1339s| 1620k| 66592 | 0 | 0.0 | 108M| 116 | - | 223 | 28k| 0 | 0 | 0 |1654k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1419.73/1419.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.73/1419.75 c 1361s| 1630k| 62719 | 0 | 0.0 | 108M| 116 | - | 223 | 33k| 0 | 0 | 0 |1669k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1447.84/1447.86 c 1389s| 1640k| 57424 | 0 | 0.0 | 105M| 116 | - | 223 | 37k| 0 | 0 | 0 |1685k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1488.84/1488.86 c 1430s| 1650k| 47849 | 0 | 0.0 | 94M| 116 | - | 223 | 41k| 0 | 0 | 0 |1705k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1510.44/1510.41 c 1451s| 1660k| 47320 | 0 | 0.0 | 83M| 116 | - | 223 | 17k| 0 | 0 | 0 |1715k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1519.84/1519.82 c 1460s| 1670k| 48217 | 0 | 0.0 | 83M| 116 | - | 223 | 14k| 0 | 0 | 0 |1725k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1529.94/1529.92 c 1470s| 1680k| 47172 | 0 | 0.0 | 83M| 116 | - | 223 | 16k| 0 | 0 | 0 |1736k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1537.74/1537.75 c 1478s| 1690k| 49059 | 0 | 0.0 | 84M| 116 | - | 223 | 12k| 0 | 0 | 0 |1745k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1545.84/1545.80 c 1485s| 1700k| 49616 | 0 | 0.0 | 86M| 116 | - | 223 | 14k| 0 | 0 | 0 |1755k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1552.54/1552.59 c 1492s| 1710k| 51344 | 0 | 0.0 | 87M| 116 | - | 223 | 17k| 0 | 0 | 0 |1764k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1561.84/1561.88 c 1501s| 1720k| 51556 | 0 | 0.0 | 87M| 116 | - | 223 | 14k| 0 | 0 | 0 |1774k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1568.74/1568.77 c 1507s| 1730k| 54340 | 0 | 0.0 | 89M| 116 | - | 223 | 18k| 0 | 0 | 0 |1782k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1574.84/1574.89 c 1513s| 1740k| 58197 | 0 | 0.0 | 94M| 116 | - | 223 | 21k| 0 | 0 | 0 |1790k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1583.35/1583.37 c 1521s| 1750k| 59397 | 0 | 0.0 | 97M| 116 | - | 223 | 21k| 0 | 0 | 0 |1799k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1592.14/1592.13 c 1530s| 1760k| 60667 | 0 | 0.0 | 96M| 116 | - | 223 | 18k| 0 | 0 | 0 |1808k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1600.14/1600.12 c 1538s| 1770k| 63085 | 0 | 0.0 | 100M| 116 | - | 223 | 22k| 0 | 0 | 0 |1817k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1610.24/1610.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.24/1610.20 c 1548s| 1780k| 64659 | 0 | 0.0 | 104M| 116 | - | 223 | 27k| 0 | 0 | 0 |1827k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1622.94/1622.91 c 1560s| 1790k| 64644 | 0 | 0.0 | 107M| 116 | - | 223 | 31k| 0 | 0 | 0 |1839k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1635.34/1635.32 c 1572s| 1800k| 65763 | 0 | 0.0 | 105M| 116 | - | 223 | 19k| 0 | 0 | 0 |1848k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1641.84/1641.89 c 1578s| 1810k| 67829 | 0 | 0.0 | 105M| 116 | - | 223 | 15k| 0 | 0 | 0 |1855k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1652.85/1652.84 c 1589s| 1820k| 67246 | 0 | 0.0 | 108M| 116 | - | 223 | 22k| 0 | 0 | 0 |1868k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1669.95/1669.93 c 1606s| 1830k| 64021 | 0 | 0.0 | 109M| 116 | - | 223 | 30k| 0 | 0 | 0 |1882k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1691.34/1691.36 c 1627s| 1840k| 59186 | 0 | 0.0 | 106M| 116 | - | 223 | 36k| 0 | 0 | 0 |1896k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1698.15/1698.19 c 1634s| 1850k| 65542 | 0 | 0.0 | 105M| 116 | - | 223 | 19k| 0 | 0 | 0 |1902k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1703.14/1703.10 c 1638s| 1860k| 70736 | 0 | 0.0 | 108M| 116 | - | 223 | 17k| 0 | 0 | 0 |1908k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1708.85/1708.83 c 1644s| 1870k| 74454 | 0 | 0.0 | 112M| 116 | - | 223 | 18k| 0 | 0 | 0 |1915k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1718.54/1718.52 c 1653s| 1880k| 73810 | 0 | 0.0 | 112M| 116 | - | 223 | 20k| 0 | 0 | 0 |1925k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1730.75/1730.77 c 1665s| 1890k| 72264 | 0 | 0.0 | 107M| 116 | - | 223 | 22k| 0 | 0 | 0 |1936k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1737.55/1737.56 c 1672s| 1900k| 76496 | 0 | 0.0 | 109M| 116 | - | 223 | 21k| 0 | 0 | 0 |1943k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1744.35/1744.39 c 1678s| 1910k| 80104 | 0 | 0.0 | 113M| 116 | - | 223 | 22k| 0 | 0 | 0 |1950k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1752.05/1752.03 c 1686s| 1920k| 83070 | 0 | 0.0 | 117M| 116 | - | 223 | 24k| 0 | 0 | 0 |1959k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1760.74/1760.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.74/1760.74 c 1694s| 1930k| 85384 | 0 | 0.0 | 120M| 116 | - | 223 | 26k| 0 | 0 | 0 |1968k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1770.84/1770.81 c 1704s| 1940k| 86531 | 0 | 0.0 | 124M| 116 | - | 223 | 28k| 0 | 0 | 0 |1978k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1782.65/1782.65 c 1715s| 1950k| 86218 | 0 | 0.0 | 126M| 116 | - | 223 | 31k| 0 | 0 | 0 |1989k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1796.55/1796.58 c 1729s| 1960k| 84512 | 0 | 0.0 | 127M| 116 | - | 223 | 34k| 0 | 0 | 0 |2000k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1732.33
1800.05/1800.00 c Solving Nodes : 1962649
1800.05/1800.00 c Primal Bound : +8.10000000000000e+01 (2 solutions)
1800.05/1800.00 c Dual Bound : +3.20000000000000e+01
1800.05/1800.00 c Gap : 153.12 %
1800.05/1800.00 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.00 v -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1732.33
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693846-1277895483.wbo
1800.05/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.05/1800.00 c Constraints : 130 initial, 130 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693846-1277895483.wbo
1800.05/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.05/1800.00 c Constraints : 112 initial, 43685 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 5 - - 10 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 27 0 5813208 0 1181138 307 231790 0 0 0
1800.05/1800.00 c setppc : 49 0 6186277 0 1252171 189097 12364845 0 0 0
1800.05/1800.00 c linear : 27 0 5997180 0 1252171 426119 22246820 0 0 0
1800.05/1800.00 c logicor : 9+ 0 3321730 0 1251984 411108 2098280 0 0 0
1800.05/1800.00 c bounddisjunction : 0+ 0 314766 0 0 8 1353 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1252173 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.97 0.00 0.43 0.00 0.54
1800.05/1800.00 c setppc : 34.90 0.00 29.08 0.00 5.82
1800.05/1800.00 c linear : 86.16 0.00 85.94 0.00 0.22
1800.05/1800.00 c logicor : 808.62 0.00 808.06 0.00 0.56
1800.05/1800.00 c bounddisjunction : 0.49 0.00 0.49 0.00 0.00
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.01 2 0 0
1800.05/1800.00 c rootredcost : 0.01 0 0 0
1800.05/1800.00 c pseudoobj : 4.94 6186504 117 138322
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 42.79 1026449 1026363 5287575 21.8 122442 15.5 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 16 16 36 8.9 2 14.0 -
1800.05/1800.00 c applied globally : - - - 1988025 16.7 - - -
1800.05/1800.00 c applied locally : - - - 14885 34.4 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 7.35 1252171 0 0 0 0 2504342
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 2
1800.05/1800.00 c oneopt : 0.08 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 1962649
1800.05/1800.00 c nodes (total) : 1962649
1800.05/1800.00 c nodes left : 85251
1800.05/1800.00 c max depth : 116
1800.05/1800.00 c max depth (total): 116
1800.05/1800.00 c backtracks : 739036 (37.7%)
1800.05/1800.00 c delayed cutoffs : 456297
1800.05/1800.00 c repropagations : 2337117 (9924228 domain reductions, 316296 cutoffs)
1800.05/1800.00 c avg switch length: 19.04
1800.05/1800.00 c switching time : 594.47
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 2 (2 improvements)
1800.05/1800.00 c First Solution : +1.11000000000000e+02 (in run 1, after 1724 nodes, 0.07 seconds, depth 87, found by <relaxation>)
1800.05/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 14161 nodes, 1.29 seconds, depth 73, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +3.20000000000000e+01
1800.05/1800.00 c Gap : 153.12 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.25/1800.24 c Time complete: 1800.29.