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-2694055-1277902958.wbo>
0.01/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.03 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.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.01/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.10 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.12 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.17 c 1965 implications, 9 cliques
0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.17 c 1770 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1770 constraints of type <linear>
0.09/0.17 c 824 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3771 |4373 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.51 o 1089
1.49/1.51 c * 1.4s| 5138 | 4691 | 0 | 0.0 | 16M|1926 | - |3771 |5139 | 0 | 0 | 0 |1223 | 0 | 0.000000e+00 | 1.089000e+03 | Inf
2.19/2.28 o 666
2.19/2.28 c * 2.1s| 7776 | 6821 | 0 | 0.0 | 17M|1926 | - |3771 |5046 | 0 | 0 | 0 |1244 | 0 | 0.000000e+00 | 6.660000e+02 | Inf
2.29/2.32 o 365
2.29/2.32 c * 2.1s| 7958 | 6579 | 0 | 0.0 | 17M|1926 | - |3771 |5029 | 0 | 0 | 0 |1244 | 0 | 0.000000e+00 | 3.650000e+02 | Inf
2.79/2.85 c 2.6s| 10000 | 8329 | 0 | 0.0 | 19M|1926 | - |3771 |5402 | 0 | 0 | 0 |2558 | 0 | 0.000000e+00 | 3.650000e+02 | Inf
5.99/6.00 c 5.5s| 20000 | 16292 | 0 | 0.0 | 28M|1926 | - |3771 |6457 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
10.49/10.54 c 9.8s| 30000 | 22517 | 0 | 0.0 | 37M|1926 | - |3771 |7539 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
10.60/10.61 o 357
10.60/10.61 c * 9.9s| 30183 | 22670 | 0 | 0.0 | 37M|1926 | - |3771 |7519 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.570000e+02 | Inf
10.69/10.73 o 344
10.69/10.73 c *10.0s| 30467 | 22917 | 0 | 0.0 | 37M|1926 | - |3771 |7441 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.440000e+02 | Inf
10.69/10.73 o 244
10.69/10.73 c *10.0s| 30468 | 22086 | 0 | 0.0 | 37M|1926 | - |3771 |7441 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.440000e+02 | Inf
10.79/10.85 o 233
10.79/10.85 c *10.1s| 30833 | 22306 | 0 | 0.0 | 37M|1926 | - |3771 |7349 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
11.00/11.01 o 210
11.00/11.01 c *10.3s| 31212 | 22626 | 0 | 0.0 | 38M|1926 | - |3771 |7240 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
11.19/11.20 o 207
11.19/11.20 c *10.4s| 31605 | 22986 | 0 | 0.0 | 38M|1926 | - |3771 |7093 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
11.69/11.71 o 190
11.69/11.71 c *10.9s| 32726 | 23859 | 0 | 0.0 | 39M|1926 | - |3771 |6953 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
11.69/11.71 o 188
11.69/11.71 c *10.9s| 32727 | 23841 | 0 | 0.0 | 39M|1926 | - |3771 |6953 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
11.80/11.80 o 185
11.80/11.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.80/11.80 c *11.0s| 32929 | 24033 | 0 | 0.0 | 39M|1926 | - |3771 |6883 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
11.80/11.80 o 159
11.80/11.80 c *11.0s| 32930 | 23881 | 0 | 0.0 | 39M|1926 | - |3771 |6883 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
12.19/12.21 o 142
12.19/12.21 c *11.4s| 33810 | 24614 | 0 | 0.0 | 39M|1926 | - |3771 |6487 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
12.19/12.21 o 122
12.19/12.21 c *11.4s| 33811 | 24404 | 0 | 0.0 | 39M|1926 | - |3771 |6487 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.220000e+02 | Inf
12.49/12.59 o 105
12.49/12.59 c *11.8s| 34629 | 24339 | 0 | 0.0 | 40M|1926 | - |3771 |6321 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
12.59/12.60 o 99
12.59/12.60 c *11.8s| 34630 | 24216 | 0 | 0.0 | 40M|1926 | - |3771 |6321 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
13.79/13.80 o 91
13.79/13.80 c *12.9s| 37156 | 26231 | 0 | 0.0 | 43M|1926 | - |3771 |6028 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
15.19/15.27 o 86
15.19/15.27 c *14.3s| 39471 | 28170 | 0 | 0.0 | 46M|1926 | - |3771 |5474 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
15.19/15.27 o 76
15.19/15.27 c *14.3s| 39472 | 27579 | 0 | 0.0 | 45M|1926 | - |3771 |5474 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
15.49/15.50 c 14.5s| 40000 | 28055 | 0 | 0.0 | 45M|1926 | - |3771 |5497 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
15.69/15.75 o 46
15.69/15.75 c *14.7s| 40589 | 25975 | 0 | 0.0 | 43M|1926 | - |3771 |5618 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
19.19/19.27 c 18.0s| 50000 | 34267 | 0 | 0.0 | 52M|1926 | - |3771 |5166 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
22.29/22.35 c 20.8s| 60000 | 42786 | 0 | 0.0 | 60M|1926 | - |3771 |5724 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
25.69/25.73 c 24.0s| 70000 | 50795 | 0 | 0.0 | 68M|1926 | - |3771 |5948 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
29.00/29.02 c 27.1s| 80000 | 58851 | 0 | 0.0 | 76M|1926 | - |3771 |5997 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
32.39/32.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.39/32.48 c 30.3s| 90000 | 66755 | 0 | 0.0 | 83M|1926 | - |3771 |6178 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
36.30/36.38 c 33.9s|100000 | 74139 | 0 | 0.0 | 91M|1926 | - |3771 |6788 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
40.49/40.51 c 37.8s|110000 | 81322 | 0 | 0.0 | 99M|1926 | - |3771 |6917 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
44.99/45.09 c 42.1s|120000 | 87867 | 0 | 0.0 | 107M|1926 | - |3771 |7337 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
50.29/50.35 c 47.1s|130000 | 93697 | 0 | 0.0 | 116M|1926 | - |3771 |7408 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
56.00/56.01 c 52.5s|140000 | 99008 | 0 | 0.0 | 125M|1926 | - |3771 |7923 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
61.89/61.98 c 58.1s|150000 |103965 | 0 | 0.0 | 135M|1926 | - |3771 |8400 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
68.40/68.45 c 64.3s|160000 |108427 | 0 | 0.0 | 144M|1926 | - |3771 |8487 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
75.29/75.37 c 71.0s|170000 |111405 | 0 | 0.0 | 151M|1926 | - |3771 |9470 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
81.10/81.10 c 76.4s|180000 |117043 | 0 | 0.0 | 156M|1926 | - |3771 |4734 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
85.59/85.69 c 80.7s|190000 |125345 | 0 | 0.0 | 167M|1926 | - |3771 |6004 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
90.59/90.65 o 35
90.59/90.65 c *85.4s|197925 |130745 | 0 | 0.0 | 178M|1926 | - |3771 |6207 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
91.80/91.81 c 86.5s|200000 |132350 | 0 | 0.0 | 181M|1926 | - |3771 |6234 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
94.39/94.48 o 16
94.39/94.48 c *89.0s|205051 |130851 | 0 | 0.0 | 168M|1926 | - |3771 |6470 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
97.30/97.37 c 91.8s|210000 |134372 | 0 | 0.0 | 174M|1926 | - |3771 |6579 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
100.90/100.98 o 10
100.90/100.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.90/100.98 c *95.2s|215808 |137786 | 0 | 0.0 | 178M|1926 | - |3771 |6909 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
104.19/104.27 c 98.3s|220000 |139626 | 0 | 0.0 | 183M|1926 | - |3771 |8043 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
109.09/109.17 c 103s|230000 |146189 | 0 | 0.0 | 190M|1926 | - |3771 |8671 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
114.29/114.37 c 108s|240000 |153001 | 0 | 0.0 | 199M|1926 | - |3771 |9010 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
119.39/119.40 c 113s|250000 |159957 | 0 | 0.0 | 209M|1926 | - |3771 |9666 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
121.99/122.00 o 7
121.99/122.00 c * 115s|255728 |164116 | 0 | 0.0 | 214M|1926 | - |3771 |8468 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
124.59/124.67 c 118s|260000 |166661 | 0 | 0.0 | 219M|1926 | - |3771 |9975 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
129.49/129.55 c 122s|270000 |173775 | 0 | 0.0 | 228M|1926 | - |3771 | 10k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
134.59/134.65 c 127s|280000 |180640 | 0 | 0.0 | 236M|1926 | - |3771 |9973 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
139.59/139.67 c 131s|290000 |187383 | 0 | 0.0 | 244M|1926 | - |3771 |8587 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
144.20/144.25 c 136s|300000 |194183 | 0 | 0.0 | 253M|1926 | - |3771 |8545 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
148.69/148.70 c 140s|310000 |201128 | 0 | 0.0 | 261M|1926 | - |3771 |8859 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
153.39/153.48 c 144s|320000 |207618 | 0 | 0.0 | 269M|1926 | - |3771 |9027 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
157.29/157.39 c 148s|330000 |215218 | 0 | 0.0 | 277M|1926 | - |3771 |9013 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
161.89/161.98 c 152s|340000 |221889 | 0 | 0.0 | 285M|1926 | - |3771 |9448 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.49/166.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.49/166.52 c 156s|350000 |228628 | 0 | 0.0 | 293M|1926 | - |3771 |9148 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
170.90/170.90 c 160s|360000 |235651 | 0 | 0.0 | 301M|1926 | - |3771 |8820 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
174.90/174.97 c 164s|370000 |242919 | 0 | 0.0 | 307M|1926 | - |3771 |4894 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
177.79/177.86 c 166s|380000 |251424 | 0 | 0.0 | 315M|1926 | - |3771 |5021 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
181.59/181.60 c 170s|390000 |258771 | 0 | 0.0 | 323M|1926 | - |3771 |6287 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
185.90/185.94 c 174s|400000 |265463 | 0 | 0.0 | 331M|1926 | - |3771 |7113 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.59/190.66 c 178s|410000 |271810 | 0 | 0.0 | 339M|1926 | - |3771 |7435 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
195.30/195.32 c 182s|420000 |278358 | 0 | 0.0 | 348M|1926 | - |3771 |7429 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
200.20/200.27 c 187s|430000 |284512 | 0 | 0.0 | 356M|1926 | - |3771 |7212 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
205.19/205.25 c 192s|440000 |290606 | 0 | 0.0 | 364M|1926 | - |3771 |7725 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
210.49/210.54 c 197s|450000 |296418 | 0 | 0.0 | 372M|1926 | - |3771 |7849 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
215.69/215.79 c 201s|460000 |302205 | 0 | 0.0 | 379M|1926 | - |3771 |7849 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
221.40/221.41 c 207s|470000 |307504 | 0 | 0.0 | 387M|1926 | - |3771 |7471 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
227.30/227.36 c 212s|480000 |312291 | 0 | 0.0 | 395M|1926 | - |3771 |7472 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
233.29/233.39 c 218s|490000 |316919 | 0 | 0.0 | 403M|1926 | - |3771 |7665 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
239.40/239.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.40/239.47 c 224s|500000 |321488 | 0 | 0.0 | 411M|1926 | - |3771 |7520 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
245.60/245.64 c 230s|510000 |325939 | 0 | 0.0 | 419M|1926 | - |3771 |8436 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
252.19/252.26 c 236s|520000 |330031 | 0 | 0.0 | 427M|1926 | - |3771 |8876 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
259.00/259.08 c 242s|530000 |333851 | 0 | 0.0 | 435M|1926 | - |3771 |8932 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
265.90/265.97 c 249s|540000 |337407 | 0 | 0.0 | 442M|1926 | - |3771 |8856 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
273.10/273.17 c 256s|550000 |340572 | 0 | 0.0 | 449M|1926 | - |3771 |8796 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
280.29/280.37 c 262s|560000 |343664 | 0 | 0.0 | 456M|1926 | - |3771 |8861 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
288.00/288.05 c 270s|570000 |346281 | 0 | 0.0 | 463M|1926 | - |3771 |9019 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
295.70/295.80 c 277s|580000 |348889 | 0 | 0.0 | 469M|1926 | - |3771 |9239 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
303.10/303.19 c 284s|590000 |351921 | 0 | 0.0 | 475M|1926 | - |3771 | 10k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
310.60/310.65 c 291s|600000 |354986 | 0 | 0.0 | 482M|1926 | - |3771 | 10k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
318.60/318.62 c 299s|610000 |357474 | 0 | 0.0 | 487M|1926 | - |3771 | 11k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
326.90/326.90 c 307s|620000 |359605 | 0 | 0.0 | 493M|1926 | - |3771 | 11k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
335.40/335.48 c 315s|630000 |361495 | 0 | 0.0 | 498M|1926 | - |3771 | 11k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
344.20/344.28 c 323s|640000 |363390 | 0 | 0.0 | 502M|1926 | - |3771 | 11k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
354.30/354.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.30/354.32 c 333s|650000 |363941 | 0 | 0.0 | 506M|1926 | - |3771 | 11k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
365.30/365.36 c 343s|660000 |363488 | 0 | 0.0 | 509M|1926 | - |3771 | 13k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
378.30/378.40 c 356s|670000 |361217 | 0 | 0.0 | 510M|1926 | - |3771 | 13k| 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
392.80/392.83 c 370s|680000 |358348 | 0 | 0.0 | 510M|1926 | - |3771 | 15k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
401.60/401.63 c 378s|690000 |361593 | 0 | 0.0 | 509M|1926 | - |3771 |5339 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
405.20/405.20 c 382s|700000 |369471 | 0 | 0.0 | 517M|1926 | - |3771 |4875 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
408.80/408.83 c 385s|710000 |377213 | 0 | 0.0 | 525M|1926 | - |3771 |5339 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
412.60/412.60 c 389s|720000 |384766 | 0 | 0.0 | 533M|1926 | - |3771 |5781 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
416.50/416.57 c 392s|730000 |392089 | 0 | 0.0 | 542M|1926 | - |3771 |6285 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
420.50/420.57 c 396s|740000 |399380 | 0 | 0.0 | 550M|1926 | - |3771 |6696 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
424.80/424.80 c 400s|750000 |406422 | 0 | 0.0 | 558M|1926 | - |3771 |6892 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
429.70/429.79 c 404s|760000 |412691 | 0 | 0.0 | 566M|1926 | - |3771 |7648 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
434.89/434.95 c 409s|770000 |418780 | 0 | 0.0 | 574M|1926 | - |3771 |8049 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
440.70/440.76 c 415s|780000 |424172 | 0 | 0.0 | 583M|1926 | - |3771 |8571 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
447.90/447.97 c 421s|790000 |428150 | 0 | 0.0 | 593M|1926 | - |3771 |9456 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
456.30/456.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.30/456.36 c 429s|800000 |430925 | 0 | 0.0 | 602M|1926 | - |3771 | 10k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
466.90/466.93 c 440s|810000 |431415 | 0 | 0.0 | 609M|1926 | - |3771 | 11k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
472.10/472.16 c 445s|820000 |437457 | 0 | 0.0 | 614M|1926 | - |3771 |5222 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
476.31/476.39 c 449s|830000 |444440 | 0 | 0.0 | 622M|1926 | - |3771 |5543 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.80/480.81 c 453s|840000 |451245 | 0 | 0.0 | 630M|1926 | - |3771 |6460 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
485.80/485.86 c 457s|850000 |457432 | 0 | 0.0 | 639M|1926 | - |3771 |7293 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
491.10/491.16 c 462s|860000 |463397 | 0 | 0.0 | 647M|1926 | - |3771 |7597 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
497.00/497.09 c 468s|870000 |468659 | 0 | 0.0 | 656M|1926 | - |3771 |7752 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
502.71/502.71 c 473s|880000 |474253 | 0 | 0.0 | 664M|1926 | - |3771 |7440 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
508.11/508.13 c 478s|890000 |480034 | 0 | 0.0 | 672M|1926 | - |3771 |7269 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
513.20/513.25 c 483s|900000 |486235 | 0 | 0.0 | 679M|1926 | - |3771 |7441 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
518.20/518.28 c 488s|910000 |492453 | 0 | 0.0 | 687M|1926 | - |3771 |7674 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
524.10/524.10 c 493s|920000 |497877 | 0 | 0.0 | 696M|1926 | - |3771 |8977 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
531.10/531.17 c 500s|930000 |502188 | 0 | 0.0 | 704M|1926 | - |3771 | 10k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
537.10/537.17 c 505s|940000 |507860 | 0 | 0.0 | 710M|1926 | - |3771 |6671 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
541.21/541.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
541.21/541.20 c 509s|950000 |515147 | 0 | 0.0 | 718M|1926 | - |3771 |6962 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
545.70/545.77 c 513s|960000 |521804 | 0 | 0.0 | 726M|1926 | - |3771 |8065 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
551.50/551.56 c 519s|970000 |527363 | 0 | 0.0 | 736M|1926 | - |3771 |9409 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
558.10/558.14 c 525s|980000 |532267 | 0 | 0.0 | 745M|1926 | - |3771 | 10k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
567.10/567.14 c 533s|990000 |534878 | 0 | 0.0 | 753M|1926 | - |3771 | 14k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
571.40/571.41 c 537s| 1000k|542476 | 0 | 0.0 | 759M|1926 | - |3771 |7027 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
575.50/575.58 c 541s| 1010k|549685 | 0 | 0.0 | 767M|1926 | - |3771 |7326 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
580.20/580.22 c 545s| 1020k|556343 | 0 | 0.0 | 775M|1926 | - |3771 |8251 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
585.71/585.71 c 550s| 1030k|562121 | 0 | 0.0 | 785M|1926 | - |3771 |9508 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
592.50/592.57 c 557s| 1040k|566619 | 0 | 0.0 | 794M|1926 | - |3771 | 11k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
600.51/600.59 c 564s| 1050k|570396 | 0 | 0.0 | 800M|1926 | - |3771 |9846 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
604.61/604.62 c 568s| 1060k|578031 | 0 | 0.0 | 808M|1926 | - |3771 |7371 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
609.10/609.18 c 572s| 1070k|584858 | 0 | 0.0 | 816M|1926 | - |3771 |8050 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
614.11/614.15 c 577s| 1080k|591241 | 0 | 0.0 | 825M|1926 | - |3771 |8861 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
620.21/620.25 c 582s| 1090k|596467 | 0 | 0.0 | 834M|1926 | - |3771 | 10k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
628.01/628.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.01/628.01 c 590s| 1100k|600110 | 0 | 0.0 | 843M|1926 | - |3771 | 12k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
635.31/635.36 c 597s| 1110k|604746 | 0 | 0.0 | 849M|1926 | - |3771 |8129 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
639.51/639.53 c 601s| 1120k|612114 | 0 | 0.0 | 857M|1926 | - |3771 |7570 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
644.01/644.09 c 605s| 1130k|618985 | 0 | 0.0 | 865M|1926 | - |3771 |8336 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
648.80/648.87 c 609s| 1140k|625574 | 0 | 0.0 | 873M|1926 | - |3771 |9096 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
654.70/654.73 c 615s| 1150k|631064 | 0 | 0.0 | 882M|1926 | - |3771 | 10k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
662.21/662.27 c 622s| 1160k|635035 | 0 | 0.0 | 891M|1926 | - |3771 | 12k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
668.81/668.88 c 628s| 1170k|640355 | 0 | 0.0 | 897M|1926 | - |3771 |7667 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
673.00/673.01 c 632s| 1180k|647691 | 0 | 0.0 | 905M|1926 | - |3771 |7698 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
677.51/677.59 c 636s| 1190k|654484 | 0 | 0.0 | 913M|1926 | - |3771 |8370 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
682.80/682.89 c 641s| 1200k|660446 | 0 | 0.0 | 922M|1926 | - |3771 |9167 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
689.21/689.26 c 647s| 1210k|665356 | 0 | 0.0 | 931M|1926 | - |3771 | 10k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
697.11/697.16 c 654s| 1220k|668748 | 0 | 0.0 | 940M|1926 | - |3771 | 12k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
704.31/704.32 c 661s| 1230k|673485 | 0 | 0.0 | 945M|1926 | - |3771 |9460 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
708.61/708.60 c 665s| 1240k|680727 | 0 | 0.0 | 953M|1926 | - |3771 |8221 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
713.31/713.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.31/713.39 c 670s| 1250k|687259 | 0 | 0.0 | 961M|1926 | - |3771 |8935 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
718.91/718.97 c 675s| 1260k|692963 | 0 | 0.0 | 971M|1926 | - |3771 | 10k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
725.51/725.57 c 681s| 1270k|697675 | 0 | 0.0 | 980M|1926 | - |3771 | 11k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
733.61/733.65 c 689s| 1280k|701130 | 0 | 0.0 | 989M|1926 | - |3771 | 13k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
741.42/741.47 c 696s| 1290k|705594 | 0 | 0.0 | 995M|1926 | - |3771 | 12k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
746.21/746.29 c 701s| 1300k|712769 | 0 | 0.0 |1003M|1926 | - |3771 | 10k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
751.61/751.61 c 706s| 1310k|719167 | 0 | 0.0 |1012M|1926 | - |3771 | 11k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
757.51/757.56 c 711s| 1320k|724959 | 0 | 0.0 |1020M|1926 | - |3771 | 11k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
764.30/764.38 c 718s| 1330k|729971 | 0 | 0.0 |1029M|1926 | - |3771 | 13k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
772.61/772.63 c 726s| 1340k|733854 | 0 | 0.0 |1038M|1926 | - |3771 | 14k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
780.61/780.65 c 733s| 1350k|738328 | 0 | 0.0 |1045M|1926 | - |3771 | 13k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
785.50/785.51 c 738s| 1360k|745566 | 0 | 0.0 |1052M|1926 | - |3771 | 10k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
790.60/790.68 c 743s| 1370k|752189 | 0 | 0.0 |1061M|1926 | - |3771 | 11k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
795.40/795.47 c 747s| 1380k|759059 | 0 | 0.0 |1069M|1926 | - |3771 | 11k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
800.31/800.37 c 752s| 1390k|765740 | 0 | 0.0 |1076M|1926 | - |3771 | 11k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
805.51/805.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.51/805.54 c 757s| 1400k|772187 | 0 | 0.0 |1084M|1926 | - |3771 | 12k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
812.51/812.50 c 763s| 1410k|777049 | 0 | 0.0 |1092M|1926 | - |3771 | 13k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
820.01/820.01 c 770s| 1420k|781829 | 0 | 0.0 |1098M|1926 | - |3771 | 12k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
825.91/825.95 c 776s| 1430k|787943 | 0 | 0.0 |1106M|1926 | - |3771 | 11k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
831.52/831.57 c 781s| 1440k|794126 | 0 | 0.0 |1114M|1926 | - |3771 | 11k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
837.71/837.79 c 787s| 1450k|799671 | 0 | 0.0 |1123M|1926 | - |3771 | 11k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
844.91/844.95 c 794s| 1460k|804500 | 0 | 0.0 |1132M|1926 | - |3771 | 13k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
853.31/853.37 c 802s| 1470k|808233 | 0 | 0.0 |1140M|1926 | - |3771 | 14k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
862.51/862.56 c 810s| 1480k|811732 | 0 | 0.0 |1146M|1926 | - |3771 | 12k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
866.81/866.88 c 814s| 1490k|819431 | 0 | 0.0 |1153M|1926 | - |3771 |9908 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
871.22/871.22 c 818s| 1500k|826773 | 0 | 0.0 |1161M|1926 | - |3771 | 10k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
876.11/876.12 c 823s| 1510k|833515 | 0 | 0.0 |1169M|1926 | - |3771 | 10k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
881.61/881.61 c 828s| 1520k|839673 | 0 | 0.0 |1177M|1926 | - |3771 | 11k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
887.62/887.65 c 834s| 1530k|845368 | 0 | 0.0 |1185M|1926 | - |3771 | 12k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
894.81/894.82 c 840s| 1540k|849929 | 0 | 0.0 |1194M|1926 | - |3771 | 13k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
902.51/902.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.51/902.57 c 848s| 1550k|854135 | 0 | 0.0 |1201M|1926 | - |3771 | 13k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
909.31/909.34 c 854s| 1560k|859536 | 0 | 0.0 |1208M|1926 | - |3771 | 11k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
914.51/914.58 c 859s| 1570k|866261 | 0 | 0.0 |1216M|1926 | - |3771 | 11k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
919.51/919.55 c 864s| 1580k|873127 | 0 | 0.0 |1223M|1926 | - |3771 | 11k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
925.02/925.09 c 869s| 1590k|879418 | 0 | 0.0 |1231M|1926 | - |3771 | 13k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
931.31/931.31 c 874s| 1600k|885228 | 0 | 0.0 |1239M|1926 | - |3771 | 14k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
939.32/939.39 c 882s| 1610k|889457 | 0 | 0.0 |1248M|1926 | - |3771 | 16k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
946.92/946.97 c 889s| 1620k|894701 | 0 | 0.0 |1253M|1926 | - |3771 | 12k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
951.52/951.57 c 893s| 1630k|902110 | 0 | 0.0 |1261M|1926 | - |3771 | 10k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
956.22/956.25 c 898s| 1640k|909123 | 0 | 0.0 |1268M|1926 | - |3771 | 10k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
961.42/961.49 c 903s| 1650k|915614 | 0 | 0.0 |1276M|1926 | - |3771 | 12k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
967.31/967.40 c 908s| 1660k|921579 | 0 | 0.0 |1284M|1926 | - |3771 | 13k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
974.62/974.62 c 915s| 1670k|926340 | 0 | 0.0 |1292M|1926 | - |3771 | 14k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
984.01/984.05 c 924s| 1680k|929367 | 0 | 0.0 |1298M|1926 | - |3771 | 15k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
989.01/989.03 c 929s| 1690k|936837 | 0 | 0.0 |1305M|1926 | - |3771 | 11k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
994.11/994.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.11/994.10 c 933s| 1700k|943731 | 0 | 0.0 |1313M|1926 | - |3771 | 11k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
999.82/999.80 c 939s| 1710k|949868 | 0 | 0.0 |1321M|1926 | - |3771 | 12k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1006.32/1006.38 c 945s| 1720k|955107 | 0 | 0.0 |1330M|1926 | - |3771 | 12k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1014.02/1014.07 c 952s| 1730k|959335 | 0 | 0.0 |1338M|1926 | - |3771 | 13k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1023.62/1023.62 c 961s| 1740k|961830 | 0 | 0.0 |1345M|1926 | - |3771 | 15k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1029.12/1029.17 c 966s| 1750k|968448 | 0 | 0.0 |1349M|1926 | - |3771 |6725 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1033.82/1033.85 c 971s| 1760k|975166 | 0 | 0.0 |1357M|1926 | - |3771 |6602 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1038.21/1038.20 c 975s| 1770k|982200 | 0 | 0.0 |1364M|1926 | - |3771 |6915 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1042.42/1042.45 c 978s| 1780k|989509 | 0 | 0.0 |1372M|1926 | - |3771 |6931 | 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1046.81/1046.87 c 983s| 1790k|996462 | 0 | 0.0 |1380M|1926 | - |3771 |7197 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1051.01/1051.09 c 986s| 1800k| 1003k| 0 | 0.0 |1387M|1926 | - |3771 |7653 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1055.41/1055.44 c 990s| 1810k| 1010k| 0 | 0.0 |1395M|1926 | - |3771 |7943 | 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1059.71/1059.75 c 994s| 1820k| 1017k| 0 | 0.0 |1403M|1926 | - |3771 |8097 | 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1063.81/1063.85 c 998s| 1830k| 1024k| 0 | 0.0 |1411M|1926 | - |3771 |7868 | 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1067.81/1067.82 c 1002s| 1840k| 1032k| 0 | 0.0 |1418M|1926 | - |3771 |6665 | 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1072.42/1072.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1072.42/1072.48 c 1006s| 1850k| 1038k| 0 | 0.0 |1426M|1926 | - |3771 |7955 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1076.51/1076.51 c 1010s| 1860k| 1046k| 0 | 0.0 |1433M|1926 | - |3771 |7110 | 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1080.51/1080.50 c 1013s| 1870k| 1053k| 0 | 0.0 |1441M|1926 | - |3771 |7175 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1085.12/1085.17 c 1018s| 1880k| 1060k| 0 | 0.0 |1449M|1926 | - |3771 |7573 | 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1090.31/1090.36 c 1022s| 1890k| 1066k| 0 | 0.0 |1457M|1926 | - |3771 |8465 | 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1095.31/1095.39 c 1027s| 1900k| 1073k| 0 | 0.0 |1464M|1926 | - |3771 |7079 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1099.92/1099.96 c 1031s| 1910k| 1079k| 0 | 0.0 |1471M|1926 | - |3771 |7603 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1104.42/1104.43 c 1035s| 1920k| 1086k| 0 | 0.0 |1479M|1926 | - |3771 |7506 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1109.01/1109.02 c 1040s| 1930k| 1093k| 0 | 0.0 |1486M|1926 | - |3771 |7994 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1113.61/1113.69 c 1044s| 1940k| 1100k| 0 | 0.0 |1493M|1926 | - |3771 |7057 | 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1116.71/1116.78 c 1047s| 1950k| 1108k| 0 | 0.0 |1500M|1926 | - |3771 |4493 | 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1122.21/1122.30 c 1052s| 1960k| 1114k| 0 | 0.0 |1508M|1926 | - |3771 |8604 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1129.01/1129.04 c 1058s| 1970k| 1118k| 0 | 0.0 |1516M|1926 | - |3771 | 11k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1136.91/1136.95 c 1066s| 1980k| 1122k| 0 | 0.0 |1523M|1926 | - |3771 | 13k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1146.22/1146.27 c 1075s| 1990k| 1126k| 0 | 0.0 |1530M|1926 | - |3771 | 13k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1155.72/1155.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.72/1155.78 c 1084s| 2000k| 1129k| 0 | 0.0 |1537M|1926 | - |3771 | 13k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1165.01/1165.09 c 1093s| 2010k| 1132k| 0 | 0.0 |1545M|1926 | - |3771 | 13k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1175.41/1175.47 c 1103s| 2020k| 1135k| 0 | 0.0 |1552M|1926 | - |3771 | 13k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1186.01/1186.09 c 1113s| 2030k| 1137k| 0 | 0.0 |1558M|1926 | - |3771 | 13k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1196.32/1196.35 c 1123s| 2040k| 1140k| 0 | 0.0 |1566M|1926 | - |3771 | 13k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1207.61/1207.69 c 1134s| 2050k| 1142k| 0 | 0.0 |1571M|1926 | - |3771 | 12k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1218.32/1218.36 c 1144s| 2060k| 1144k| 0 | 0.0 |1576M|1926 | - |3771 | 12k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1229.32/1229.32 c 1155s| 2070k| 1146k| 0 | 0.0 |1583M|1926 | - |3771 | 11k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1239.73/1239.73 c 1165s| 2080k| 1148k| 0 | 0.0 |1587M|1926 | - |3771 | 12k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1250.92/1250.93 c 1175s| 2090k| 1149k| 0 | 0.0 |1594M|1926 | - |3771 | 12k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1263.32/1263.38 c 1187s| 2100k| 1150k| 0 | 0.0 |1598M|1926 | - |3771 | 13k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1275.32/1275.37 c 1199s| 2110k| 1152k| 0 | 0.0 |1605M|1926 | - |3771 | 13k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1287.82/1287.89 c 1211s| 2120k| 1152k| 0 | 0.0 |1608M|1926 | - |3771 | 13k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1299.42/1299.48 c 1222s| 2130k| 1154k| 0 | 0.0 |1615M|1926 | - |3771 | 13k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1312.52/1312.59 c 1235s| 2140k| 1154k| 0 | 0.0 |1618M|1926 | - |3771 | 14k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1324.82/1324.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.82/1324.85 c 1247s| 2150k| 1155k| 0 | 0.0 |1624M|1926 | - |3771 | 14k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1338.82/1338.87 c 1260s| 2160k| 1155k| 0 | 0.0 |1625M|1926 | - |3771 | 14k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1351.02/1351.06 c 1272s| 2170k| 1156k| 0 | 0.0 |1632M|1926 | - |3771 | 14k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1365.13/1365.13 c 1286s| 2180k| 1156k| 0 | 0.0 |1634M|1926 | - |3771 | 15k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1378.02/1378.06 c 1298s| 2190k| 1158k| 0 | 0.0 |1640M|1926 | - |3771 | 15k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1392.72/1392.77 c 1313s| 2200k| 1157k| 0 | 0.0 |1642M|1926 | - |3771 | 16k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1405.72/1405.80 c 1325s| 2210k| 1158k| 0 | 0.0 |1648M|1926 | - |3771 | 16k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1421.22/1421.26 c 1340s| 2220k| 1157k| 0 | 0.0 |1649M|1926 | - |3771 | 16k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1435.22/1435.22 c 1354s| 2230k| 1158k| 0 | 0.0 |1652M|1926 | - |3771 | 16k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1450.13/1450.12 c 1369s| 2240k| 1158k| 0 | 0.0 |1656M|1926 | - |3771 | 16k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1465.42/1465.44 c 1383s| 2250k| 1157k| 0 | 0.0 |1657M|1926 | - |3771 | 18k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1480.12/1480.19 c 1398s| 2260k| 1158k| 0 | 0.0 |1662M|1926 | - |3771 | 18k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1497.02/1497.07 c 1414s| 2270k| 1157k| 0 | 0.0 |1664M|1926 | - |3771 | 19k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1513.71/1513.73 c 1431s| 2280k| 1156k| 0 | 0.0 |1665M|1926 | - |3771 | 19k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1529.03/1529.04 c 1446s| 2290k| 1157k| 0 | 0.0 |1669M|1926 | - |3771 | 19k| 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1546.21/1546.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.21/1546.20 c 1462s| 2300k| 1156k| 0 | 0.0 |1672M|1926 | - |3771 | 21k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1564.23/1564.26 c 1480s| 2310k| 1155k| 0 | 0.0 |1674M|1926 | - |3771 | 21k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1582.62/1582.66 c 1498s| 2320k| 1155k| 0 | 0.0 |1676M|1926 | - |3771 | 22k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1602.22/1602.20 c 1517s| 2330k| 1153k| 0 | 0.0 |1677M|1926 | - |3771 | 23k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1623.02/1623.01 c 1537s| 2340k| 1152k| 0 | 0.0 |1678M|1926 | - |3771 | 23k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1645.12/1645.14 c 1559s| 2350k| 1149k| 0 | 0.0 |1678M|1926 | - |3771 | 25k| 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1668.63/1668.61 c 1582s| 2360k| 1146k| 0 | 0.0 |1676M|1926 | - |3771 | 25k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1695.23/1695.28 c 1608s| 2370k| 1141k| 0 | 0.0 |1669M|1926 | - |3771 | 25k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1719.62/1719.67 c 1632s| 2380k| 1137k| 0 | 0.0 |1659M|1926 | - |3771 | 22k| 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1726.32/1726.38 c 1639s| 2390k| 1144k| 0 | 0.0 |1663M|1926 | - |3771 | 10k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1732.12/1732.11 c 1644s| 2400k| 1151k| 0 | 0.0 |1670M|1926 | - |3771 |8904 | 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1737.82/1737.83 c 1649s| 2410k| 1157k| 0 | 0.0 |1678M|1926 | - |3771 |8787 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1743.73/1743.75 c 1655s| 2420k| 1164k| 0 | 0.0 |1686M|1926 | - |3771 |9311 | 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1749.53/1749.51 c 1660s| 2430k| 1170k| 0 | 0.0 |1694M|1926 | - |3771 |9791 | 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1753.13/1753.18 o 3
1753.13/1753.18 c *1664s| 2435k| 1144k| 0 | 0.0 |1649M|1926 | - |3771 | 10k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1756.02/1756.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.02/1756.09 c 1666s| 2440k| 1147k| 0 | 0.0 |1655M|1926 | - |3771 | 10k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1763.52/1763.54 c 1673s| 2450k| 1153k| 0 | 0.0 |1669M|1926 | - |3771 | 10k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1771.32/1771.31 c 1681s| 2460k| 1158k| 0 | 0.0 |1683M|1926 | - |3771 | 11k| 0 | 0 | 0 |1966k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1779.33/1779.30 c 1688s| 2470k| 1164k| 0 | 0.0 |1696M|1926 | - |3771 | 11k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1787.43/1787.48 c 1696s| 2480k| 1170k| 0 | 0.0 |1710M|1926 | - |3771 | 11k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1795.63/1795.68 c 1703s| 2490k| 1175k| 0 | 0.0 |1723M|1926 | - |3771 | 12k| 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
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) : 1707.44
1800.03/1800.00 c Solving Nodes : 2495550
1800.03/1800.00 c Primal Bound : +3.00000000000000e+00 (26 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.03/1800.05 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.05 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.03/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.05 v -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.05 v -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.03/1800.05 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.03/1800.05 v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.03/1800.05 v -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 -x3 -x2
1800.03/1800.05 v -x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1707.44
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2694055-1277902958.wbo
1800.03/1800.05 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.03/1800.05 c Constraints : 4547 initial, 4547 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2694055-1277902958.wbo
1800.03/1800.05 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.03/1800.05 c Constraints : 4373 initial, 27163 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.05 0 0 0 1861 0 105 91 0
1800.03/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 1671 - - 3342 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 1770 0 4493615 0 1348373 121 1260539 0 0 0
1800.03/1800.05 c setppc : 9 0 7778263 0 2034222 26900 4321647 0 0 0
1800.03/1800.05 c linear : 1770 0 7754970 0 2035393 471051 42007650 0 0 0
1800.03/1800.05 c logicor : 824+ 0 4793116 0 2035405 240904 8601129 0 0 0
1800.03/1800.05 c bounddisjunction : 0+ 0 740458 0 0 8 483 0 0 0
1800.03/1800.05 c countsols : 0 0 0 0 2035405 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c indicator : 11.44 0.00 4.36 0.00 7.08
1800.03/1800.05 c setppc : 19.49 0.00 17.23 0.00 2.26
1800.03/1800.05 c linear : 318.02 0.00 317.20 0.00 0.82
1800.03/1800.05 c logicor : 420.00 0.00 370.33 0.00 49.67
1800.03/1800.05 c bounddisjunction : 3.79 0.00 3.79 0.00 0.00
1800.03/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.00 2 0 0
1800.03/1800.05 c rootredcost : 0.02 0 0 0
1800.03/1800.05 c pseudoobj : 260.84 7783206 1322 1229798
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 30.30 740185 740055 3537082 18.7 96953 11.4 -
1800.03/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.00 64 64 162 12.1 117 8.5 -
1800.03/1800.05 c applied globally : - - - 1990513 16.5 - - -
1800.03/1800.05 c applied locally : - - - 1 273.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.05 c redcost : 0.00 0 0 0 0 0
1800.03/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.00 0 0 0 0 0
1800.03/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.05 c cmir : 0.00 0 0 0 0 0
1800.03/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.05 c clique : 0.00 0 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 0 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 33.94 2035379 0 0 0 0 4070758
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.00 - 0
1800.03/1800.05 c pseudo solutions : 0.11 - 26
1800.03/1800.05 c oneopt : 0.05 0 0
1800.03/1800.05 c trivial : 0.01 2 0
1800.03/1800.05 c simplerounding : 0.00 0 0
1800.03/1800.05 c zirounding : 0.00 0 0
1800.03/1800.05 c rounding : 0.00 0 0
1800.03/1800.05 c shifting : 0.00 0 0
1800.03/1800.05 c intshifting : 0.00 0 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c feaspump : 0.00 0 0
1800.03/1800.05 c coefdiving : 0.00 0 0
1800.03/1800.05 c pscostdiving : 0.00 0 0
1800.03/1800.05 c fracdiving : 0.00 0 0
1800.03/1800.05 c veclendiving : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c objpscostdiving : 0.00 0 0
1800.03/1800.05 c rootsoldiving : 0.00 0 0
1800.03/1800.05 c linesearchdiving : 0.00 0 0
1800.03/1800.05 c guideddiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.00 0 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c crossover : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.00 0 0
1800.03/1800.05 c trysol : 0.01 1 0
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.05 c (at root node) : - 0 0 0.00 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 2495550
1800.03/1800.05 c nodes (total) : 2495550
1800.03/1800.05 c nodes left : 1178630
1800.03/1800.05 c max depth : 1926
1800.03/1800.05 c max depth (total): 1926
1800.03/1800.05 c backtracks : 433837 (17.4%)
1800.03/1800.05 c delayed cutoffs : 352700
1800.03/1800.05 c repropagations : 1470889 (17751056 domain reductions, 280225 cutoffs)
1800.03/1800.05 c avg switch length: 26.45
1800.03/1800.05 c switching time : 520.13
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 26 (26 improvements)
1800.03/1800.05 c First Solution : +1.08900000000000e+03 (in run 1, after 5138 nodes, 1.38 seconds, depth 909, found by <relaxation>)
1800.03/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2435888 nodes, 1663.58 seconds, depth 57, found by <relaxation>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 0