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-2693630-1277913492.wbo>
0.00/0.03 c original problem has 3364 variables (2277 bin, 0 int, 0 impl, 1087 cont) and 4271 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/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.00/0.04 c presolving:
0.00/0.05 c (round 1) 52 del vars, 10 del conss, 2 chg bounds, 64 chg sides, 130 chg coeffs, 0 upgd conss, 12912 impls, 0 clqs
0.00/0.06 c (round 2) 53 del vars, 107 del conss, 2 chg bounds, 64 chg sides, 130 chg coeffs, 0 upgd conss, 12912 impls, 0 clqs
0.00/0.08 c (round 3) 54 del vars, 109 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 0 upgd conss, 12912 impls, 0 clqs
0.09/0.10 c (round 4) 55 del vars, 110 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 12912 impls, 0 clqs
0.09/0.11 c (round 5) 56 del vars, 110 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 12913 impls, 0 clqs
0.19/0.25 c (round 6) 107 del vars, 110 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 14439 impls, 0 clqs
0.29/0.38 c (0.3s) probing: 1000/2223 (45.0%) - 0 fixings, 62 aggregations, 463 implications, 0 bound changes
0.39/0.41 c (0.3s) probing: 1156/2223 (52.0%) - 0 fixings, 62 aggregations, 467 implications, 0 bound changes
0.39/0.41 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.41 c (round 7) 118 del vars, 110 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 14597 impls, 0 clqs
0.39/0.42 c (0.3s) probing: 1166/2223 (52.5%) - 0 fixings, 62 aggregations, 467 implications, 0 bound changes
0.39/0.42 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.42 c presolving (8 rounds):
0.39/0.42 c 118 deleted vars, 110 deleted constraints, 1088 tightened bounds, 0 added holes, 66 changed sides, 130 changed coefficients
0.39/0.42 c 14597 implications, 0 cliques
0.39/0.42 c presolved problem has 3246 variables (2161 bin, 0 int, 0 impl, 1085 cont) and 4161 constraints
0.39/0.42 c 1085 constraints of type <indicator>
0.39/0.42 c 1 constraints of type <varbound>
0.39/0.42 c 83 constraints of type <knapsack>
0.39/0.42 c 1084 constraints of type <linear>
0.39/0.42 c 1908 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.32
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 1.2.1.2
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1799.97
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 3420
0.39/0.42 c
0.39/0.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c lp/solvefreq = -1
0.39/0.42 c
0.39/0.43 c # should presolving try to simplify inequalities
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/linear/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify knapsacks
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c separating/rapidlearning/freq = 0
0.39/0.43 c
0.39/0.43 c -----------------------------------------------------------------------------------------------
0.39/0.43 c start solving
0.39/0.43 c
0.39/0.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.43 c 0.3s| 1 | 2 | 0 | - | 11M| 0 | - |3246 |4161 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.49/5.50 c 4.9s| 10000 | 9993 | 0 | 0.0 | 19M| 81 | - |3246 |4165 | 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
10.29/10.37 c 9.2s| 20000 | 19993 | 0 | 0.0 | 26M| 93 | - |3246 |4165 | 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
15.09/15.19 c 13.5s| 30000 | 29991 | 0 | 0.0 | 32M| 105 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
19.80/19.88 c 17.7s| 40000 | 39991 | 0 | 0.0 | 39M| 105 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
24.49/24.50 c 21.8s| 50000 | 49991 | 0 | 0.0 | 45M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
28.99/29.00 c 25.9s| 60000 | 59991 | 0 | 0.0 | 51M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
33.39/33.42 c 29.8s| 70000 | 69991 | 0 | 0.0 | 57M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
37.69/37.77 c 33.7s| 80000 | 79991 | 0 | 0.0 | 62M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
41.90/41.95 c 37.5s| 90000 | 89991 | 0 | 0.0 | 68M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
46.10/46.12 c 41.2s|100000 | 99991 | 0 | 0.0 | 73M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
50.50/50.55 c 45.2s|110000 |109991 | 0 | 0.0 | 79M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
55.29/55.37 c 49.6s|120000 |119991 | 0 | 0.0 | 86M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
60.09/60.11 c 53.9s|130000 |129991 | 0 | 0.0 | 92M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
64.80/64.85 c 58.1s|140000 |139991 | 0 | 0.0 | 99M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
69.50/69.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.50/69.55 c 62.3s|150000 |149991 | 0 | 0.0 | 105M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
74.19/74.24 c 66.5s|160000 |159991 | 0 | 0.0 | 111M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
78.80/78.88 c 70.7s|170000 |169991 | 0 | 0.0 | 117M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
83.39/83.49 c 74.8s|180000 |179991 | 0 | 0.0 | 123M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
88.09/88.11 c 79.0s|190000 |189991 | 0 | 0.0 | 130M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
92.69/92.70 c 83.2s|200000 |199991 | 0 | 0.0 | 136M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
97.19/97.28 c 87.3s|210000 |209991 | 0 | 0.0 | 142M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
101.79/101.82 c 91.4s|220000 |219991 | 0 | 0.0 | 148M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
106.29/106.36 c 95.5s|230000 |229991 | 0 | 0.0 | 154M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
110.90/110.91 c 99.6s|240000 |239991 | 0 | 0.0 | 160M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
115.30/115.39 c 104s|250000 |249991 | 0 | 0.0 | 166M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
119.80/119.89 c 108s|260000 |259991 | 0 | 0.0 | 171M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
124.30/124.35 c 112s|270000 |269991 | 0 | 0.0 | 177M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
128.71/128.75 c 116s|280000 |279991 | 0 | 0.0 | 183M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
133.10/133.13 c 120s|290000 |289991 | 0 | 0.0 | 189M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
137.40/137.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.40/137.45 c 123s|300000 |299991 | 0 | 0.0 | 194M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
141.69/141.73 c 127s|310000 |309991 | 0 | 0.0 | 200M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
145.89/145.97 c 131s|320000 |319991 | 0 | 0.0 | 205M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
150.10/150.19 c 135s|330000 |329991 | 0 | 0.0 | 210M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
154.40/154.40 c 139s|340000 |339991 | 0 | 0.0 | 216M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
158.59/158.60 c 142s|350000 |349991 | 0 | 0.0 | 221M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
162.70/162.78 c 146s|360000 |359991 | 0 | 0.0 | 227M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
166.89/166.92 c 150s|370000 |369991 | 0 | 0.0 | 232M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
171.00/171.10 c 154s|380000 |379991 | 0 | 0.0 | 237M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
175.20/175.26 c 157s|390000 |389991 | 0 | 0.0 | 242M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
179.30/179.37 c 161s|400000 |399991 | 0 | 0.0 | 248M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
183.50/183.50 c 165s|410000 |409991 | 0 | 0.0 | 253M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
187.50/187.58 c 168s|420000 |419991 | 0 | 0.0 | 258M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
191.60/191.63 c 172s|430000 |429991 | 0 | 0.0 | 263M| 107 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
195.70/195.74 c 176s|440000 |439991 | 0 | 0.0 | 268M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
200.00/200.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.00/200.01 c 180s|450000 |449991 | 0 | 0.0 | 273M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
204.61/204.64 c 184s|460000 |459991 | 0 | 0.0 | 280M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
209.10/209.10 c 188s|470000 |469991 | 0 | 0.0 | 286M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
213.40/213.47 c 192s|480000 |479991 | 0 | 0.0 | 291M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
217.70/217.70 c 196s|490000 |489991 | 0 | 0.0 | 297M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
221.80/221.83 c 199s|500000 |499991 | 0 | 0.0 | 302M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
226.61/226.61 c 204s|510000 |509991 | 0 | 0.0 | 308M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
231.40/231.42 c 208s|520000 |519991 | 0 | 0.0 | 315M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
236.10/236.19 c 212s|530000 |529991 | 0 | 0.0 | 321M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
240.90/240.93 c 217s|540000 |539991 | 0 | 0.0 | 328M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
245.60/245.69 c 221s|550000 |549991 | 0 | 0.0 | 334M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
250.40/250.41 c 225s|560000 |559991 | 0 | 0.0 | 340M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
255.11/255.13 c 229s|570000 |569991 | 0 | 0.0 | 347M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
259.79/259.81 c 234s|580000 |579991 | 0 | 0.0 | 353M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
264.40/264.48 c 238s|590000 |589991 | 0 | 0.0 | 359M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
269.10/269.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.10/269.16 c 242s|600000 |599991 | 0 | 0.0 | 365M| 111 | - |3246 |4166 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
273.70/273.77 c 246s|610000 |609989 | 0 | 0.0 | 371M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
278.40/278.42 c 250s|620000 |619989 | 0 | 0.0 | 377M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
283.00/283.04 c 254s|630000 |629989 | 0 | 0.0 | 383M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
287.60/287.61 c 259s|640000 |639989 | 0 | 0.0 | 389M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
292.20/292.22 c 263s|650000 |649989 | 0 | 0.0 | 395M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
296.80/296.83 c 267s|660000 |659989 | 0 | 0.0 | 401M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
301.31/301.37 c 271s|670000 |669989 | 0 | 0.0 | 407M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
305.90/305.98 c 275s|680000 |679989 | 0 | 0.0 | 413M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
310.50/310.57 c 279s|690000 |689989 | 0 | 0.0 | 419M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
315.00/315.09 c 283s|700000 |699989 | 0 | 0.0 | 425M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
319.60/319.67 c 287s|710000 |709989 | 0 | 0.0 | 431M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
324.20/324.23 c 292s|720000 |719989 | 0 | 0.0 | 437M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
328.70/328.74 c 296s|730000 |729989 | 0 | 0.0 | 443M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
333.20/333.26 c 300s|740000 |739989 | 0 | 0.0 | 449M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
337.71/337.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.71/337.78 c 304s|750000 |749989 | 0 | 0.0 | 455M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
342.30/342.33 c 308s|760000 |759989 | 0 | 0.0 | 461M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
346.70/346.77 c 312s|770000 |769989 | 0 | 0.0 | 466M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
351.20/351.24 c 316s|780000 |779989 | 0 | 0.0 | 472M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
355.70/355.76 c 320s|790000 |789989 | 0 | 0.0 | 478M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
360.20/360.23 c 324s|800000 |799989 | 0 | 0.0 | 484M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
364.60/364.67 c 328s|810000 |809989 | 0 | 0.0 | 489M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
369.10/369.11 c 332s|820000 |819989 | 0 | 0.0 | 495M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
373.50/373.55 c 336s|830000 |829989 | 0 | 0.0 | 501M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
377.90/377.94 c 340s|840000 |839989 | 0 | 0.0 | 507M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
382.31/382.39 c 344s|850000 |849989 | 0 | 0.0 | 512M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
386.80/386.83 c 348s|860000 |859989 | 0 | 0.0 | 518M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
391.21/391.21 c 352s|870000 |869989 | 0 | 0.0 | 524M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
395.60/395.60 c 356s|880000 |879989 | 0 | 0.0 | 529M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
399.90/399.98 c 359s|890000 |889989 | 0 | 0.0 | 535M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
404.30/404.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.30/404.33 c 363s|900000 |899989 | 0 | 0.0 | 540M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
408.60/408.68 c 367s|910000 |909989 | 0 | 0.0 | 546M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
412.90/412.97 c 371s|920000 |919989 | 0 | 0.0 | 551M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
417.30/417.31 c 375s|930000 |929989 | 0 | 0.0 | 557M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
421.60/421.64 c 379s|940000 |939989 | 0 | 0.0 | 563M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
425.91/425.90 c 383s|950000 |949989 | 0 | 0.0 | 568M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
430.20/430.21 c 386s|960000 |959989 | 0 | 0.0 | 573M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
434.41/434.48 c 390s|970000 |969989 | 0 | 0.0 | 579M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
438.71/438.76 c 394s|980000 |979989 | 0 | 0.0 | 584M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
443.00/443.05 c 398s|990000 |989989 | 0 | 0.0 | 590M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
447.30/447.30 c 402s| 1000k|999989 | 0 | 0.0 | 595M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
451.50/451.53 c 406s| 1010k| 1009k| 0 | 0.0 | 600M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
455.70/455.77 c 409s| 1020k| 1019k| 0 | 0.0 | 606M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
460.01/460.01 c 413s| 1030k| 1029k| 0 | 0.0 | 611M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
464.21/464.22 c 417s| 1040k| 1039k| 0 | 0.0 | 616M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
468.40/468.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.40/468.42 c 421s| 1050k| 1049k| 0 | 0.0 | 622M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
472.50/472.59 c 425s| 1060k| 1059k| 0 | 0.0 | 627M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
476.70/476.72 c 428s| 1070k| 1069k| 0 | 0.0 | 632M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
480.81/480.84 c 432s| 1080k| 1079k| 0 | 0.0 | 637M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
484.91/484.94 c 436s| 1090k| 1089k| 0 | 0.0 | 642M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
489.01/489.04 c 439s| 1100k| 1099k| 0 | 0.0 | 647M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
493.10/493.12 c 443s| 1110k| 1109k| 0 | 0.0 | 652M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
497.11/497.19 c 447s| 1120k| 1119k| 0 | 0.0 | 658M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
501.21/501.24 c 450s| 1130k| 1129k| 0 | 0.0 | 663M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
505.20/505.29 c 454s| 1140k| 1139k| 0 | 0.0 | 668M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
509.31/509.31 c 458s| 1150k| 1149k| 0 | 0.0 | 673M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
513.31/513.33 c 461s| 1160k| 1159k| 0 | 0.0 | 677M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
517.31/517.33 c 465s| 1170k| 1169k| 0 | 0.0 | 682M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
521.31/521.31 c 468s| 1180k| 1179k| 0 | 0.0 | 687M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
525.20/525.28 c 472s| 1190k| 1189k| 0 | 0.0 | 692M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
529.21/529.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.21/529.23 c 475s| 1200k| 1199k| 0 | 0.0 | 697M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
533.11/533.16 c 479s| 1210k| 1209k| 0 | 0.0 | 702M| 111 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
537.10/537.13 c 482s| 1220k| 1219k| 0 | 0.0 | 707M| 115 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
541.61/541.64 c 487s| 1230k| 1229k| 0 | 0.0 | 712M| 115 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
545.91/545.98 c 490s| 1240k| 1239k| 0 | 0.0 | 718M| 115 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
550.21/550.23 c 494s| 1250k| 1249k| 0 | 0.0 | 723M| 115 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
554.42/554.43 c 498s| 1260k| 1259k| 0 | 0.0 | 728M| 115 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
558.51/558.53 c 502s| 1270k| 1269k| 0 | 0.0 | 733M| 115 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
562.81/562.88 c 506s| 1280k| 1279k| 0 | 0.0 | 739M| 115 | - |3246 |4167 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
567.51/567.54 c 510s| 1290k| 1289k| 0 | 0.0 | 746M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
572.11/572.14 c 514s| 1300k| 1299k| 0 | 0.0 | 752M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
576.71/576.74 c 518s| 1310k| 1309k| 0 | 0.0 | 758M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
581.31/581.30 c 522s| 1320k| 1319k| 0 | 0.0 | 764M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
585.81/585.81 c 526s| 1330k| 1329k| 0 | 0.0 | 770M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
590.21/590.28 c 530s| 1340k| 1339k| 0 | 0.0 | 776M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
594.71/594.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.71/594.75 c 534s| 1350k| 1349k| 0 | 0.0 | 782M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
599.21/599.22 c 538s| 1360k| 1359k| 0 | 0.0 | 788M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
603.60/603.66 c 542s| 1370k| 1369k| 0 | 0.0 | 794M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
608.01/608.09 c 546s| 1380k| 1379k| 0 | 0.0 | 800M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
612.41/612.47 c 550s| 1390k| 1389k| 0 | 0.0 | 806M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
616.81/616.81 c 554s| 1400k| 1399k| 0 | 0.0 | 811M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
621.11/621.16 c 558s| 1410k| 1409k| 0 | 0.0 | 817M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
625.41/625.46 c 562s| 1420k| 1419k| 0 | 0.0 | 822M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
629.71/629.74 c 566s| 1430k| 1429k| 0 | 0.0 | 828M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
633.91/634.00 c 570s| 1440k| 1439k| 0 | 0.0 | 833M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
638.21/638.21 c 573s| 1450k| 1449k| 0 | 0.0 | 839M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
642.32/642.39 c 577s| 1460k| 1459k| 0 | 0.0 | 844M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
646.51/646.50 c 581s| 1470k| 1469k| 0 | 0.0 | 849M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
650.51/650.58 c 584s| 1480k| 1479k| 0 | 0.0 | 854M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
654.61/654.61 c 588s| 1490k| 1489k| 0 | 0.0 | 859M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
658.81/658.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
658.81/658.82 c 592s| 1500k| 1499k| 0 | 0.0 | 864M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
662.81/662.86 c 596s| 1510k| 1509k| 0 | 0.0 | 869M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
666.91/666.97 c 599s| 1520k| 1519k| 0 | 0.0 | 874M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
671.02/671.07 c 603s| 1530k| 1529k| 0 | 0.0 | 879M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
675.11/675.15 c 607s| 1540k| 1539k| 0 | 0.0 | 884M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
679.21/679.22 c 610s| 1550k| 1549k| 0 | 0.0 | 889M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
683.21/683.29 c 614s| 1560k| 1559k| 0 | 0.0 | 894M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
687.31/687.33 c 618s| 1570k| 1569k| 0 | 0.0 | 899M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
691.31/691.36 c 621s| 1580k| 1579k| 0 | 0.0 | 904M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
695.31/695.35 c 625s| 1590k| 1589k| 0 | 0.0 | 909M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
699.31/699.32 c 628s| 1600k| 1599k| 0 | 0.0 | 914M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
703.32/703.34 c 632s| 1610k| 1609k| 0 | 0.0 | 919M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
707.32/707.33 c 636s| 1620k| 1619k| 0 | 0.0 | 924M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
712.21/712.23 c 640s| 1630k| 1629k| 0 | 0.0 | 930M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
717.01/717.10 c 644s| 1640k| 1639k| 0 | 0.0 | 937M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
721.91/721.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.91/721.90 c 649s| 1650k| 1649k| 0 | 0.0 | 943M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
726.61/726.68 c 653s| 1660k| 1659k| 0 | 0.0 | 950M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
731.42/731.44 c 657s| 1670k| 1669k| 0 | 0.0 | 956M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
736.22/736.20 c 662s| 1680k| 1679k| 0 | 0.0 | 962M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
740.91/740.94 c 666s| 1690k| 1689k| 0 | 0.0 | 968M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
745.61/745.63 c 670s| 1700k| 1699k| 0 | 0.0 | 974M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
750.22/750.29 c 674s| 1710k| 1709k| 0 | 0.0 | 980M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
755.01/755.03 c 678s| 1720k| 1719k| 0 | 0.0 | 987M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
759.71/759.72 c 683s| 1730k| 1729k| 0 | 0.0 | 993M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
764.31/764.35 c 687s| 1740k| 1739k| 0 | 0.0 | 999M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
768.92/768.98 c 691s| 1750k| 1749k| 0 | 0.0 |1005M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
773.62/773.66 c 695s| 1760k| 1759k| 0 | 0.0 |1011M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
778.21/778.29 c 699s| 1770k| 1769k| 0 | 0.0 |1017M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
782.91/782.90 c 703s| 1780k| 1779k| 0 | 0.0 |1023M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
787.41/787.48 c 708s| 1790k| 1789k| 0 | 0.0 |1029M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
792.02/792.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.02/792.08 c 712s| 1800k| 1799k| 0 | 0.0 |1034M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
796.62/796.69 c 716s| 1810k| 1809k| 0 | 0.0 |1040M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
801.32/801.34 c 720s| 1820k| 1819k| 0 | 0.0 |1046M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
805.92/805.98 c 724s| 1830k| 1829k| 0 | 0.0 |1053M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
810.51/810.58 c 728s| 1840k| 1839k| 0 | 0.0 |1058M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
815.12/815.15 c 732s| 1850k| 1849k| 0 | 0.0 |1064M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
819.71/819.75 c 737s| 1860k| 1859k| 0 | 0.0 |1070M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
824.31/824.34 c 741s| 1870k| 1869k| 0 | 0.0 |1076M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
828.92/828.94 c 745s| 1880k| 1879k| 0 | 0.0 |1082M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
833.62/833.62 c 749s| 1890k| 1889k| 0 | 0.0 |1088M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
838.22/838.22 c 753s| 1900k| 1899k| 0 | 0.0 |1094M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
842.82/842.82 c 757s| 1910k| 1909k| 0 | 0.0 |1100M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
847.32/847.37 c 761s| 1920k| 1919k| 0 | 0.0 |1106M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
851.92/851.91 c 766s| 1930k| 1929k| 0 | 0.0 |1112M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
856.41/856.50 c 770s| 1940k| 1939k| 0 | 0.0 |1118M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
861.01/861.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.01/861.09 c 774s| 1950k| 1949k| 0 | 0.0 |1124M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
865.62/865.62 c 778s| 1960k| 1959k| 0 | 0.0 |1129M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
870.22/870.22 c 782s| 1970k| 1969k| 0 | 0.0 |1135M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
874.72/874.77 c 786s| 1980k| 1979k| 0 | 0.0 |1141M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
879.22/879.25 c 790s| 1990k| 1989k| 0 | 0.0 |1147M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
883.72/883.72 c 794s| 2000k| 1999k| 0 | 0.0 |1153M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
888.21/888.20 c 798s| 2010k| 2009k| 0 | 0.0 |1158M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
892.72/892.74 c 802s| 2020k| 2019k| 0 | 0.0 |1164M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
897.22/897.25 c 806s| 2030k| 2029k| 0 | 0.0 |1170M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
901.71/901.77 c 810s| 2040k| 2039k| 0 | 0.0 |1176M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
906.32/906.32 c 815s| 2050k| 2049k| 0 | 0.0 |1182M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
910.82/910.83 c 819s| 2060k| 2059k| 0 | 0.0 |1188M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
915.23/915.27 c 823s| 2070k| 2069k| 0 | 0.0 |1193M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
919.72/919.74 c 827s| 2080k| 2079k| 0 | 0.0 |1199M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
924.22/924.21 c 831s| 2090k| 2089k| 0 | 0.0 |1205M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
928.61/928.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.61/928.69 c 835s| 2100k| 2099k| 0 | 0.0 |1210M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
933.12/933.19 c 839s| 2110k| 2109k| 0 | 0.0 |1216M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
937.72/937.74 c 843s| 2120k| 2119k| 0 | 0.0 |1222M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
942.22/942.24 c 847s| 2130k| 2129k| 0 | 0.0 |1228M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
946.82/946.81 c 851s| 2140k| 2139k| 0 | 0.0 |1234M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
951.22/951.29 c 855s| 2150k| 2149k| 0 | 0.0 |1239M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
955.72/955.73 c 859s| 2160k| 2159k| 0 | 0.0 |1245M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
960.23/960.23 c 863s| 2170k| 2169k| 0 | 0.0 |1251M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
964.73/964.71 c 867s| 2180k| 2179k| 0 | 0.0 |1256M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
969.13/969.16 c 871s| 2190k| 2189k| 0 | 0.0 |1262M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
973.52/973.59 c 875s| 2200k| 2199k| 0 | 0.0 |1268M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
978.12/978.10 c 879s| 2210k| 2209k| 0 | 0.0 |1274M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
982.52/982.54 c 883s| 2220k| 2219k| 0 | 0.0 |1279M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
987.02/987.07 c 887s| 2230k| 2229k| 0 | 0.0 |1285M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
991.52/991.50 c 891s| 2240k| 2239k| 0 | 0.0 |1291M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
995.92/995.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.92/995.94 c 895s| 2250k| 2249k| 0 | 0.0 |1296M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1000.32/1000.39 c 899s| 2260k| 2259k| 0 | 0.0 |1302M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1004.82/1004.84 c 903s| 2270k| 2269k| 0 | 0.0 |1308M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1009.22/1009.27 c 907s| 2280k| 2279k| 0 | 0.0 |1313M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1013.73/1013.72 c 911s| 2290k| 2289k| 0 | 0.0 |1319M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1018.12/1018.17 c 915s| 2300k| 2299k| 0 | 0.0 |1325M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1022.63/1022.61 c 919s| 2310k| 2309k| 0 | 0.0 |1330M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1027.02/1027.05 c 923s| 2320k| 2319k| 0 | 0.0 |1336M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1031.43/1031.43 c 927s| 2330k| 2329k| 0 | 0.0 |1341M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1035.82/1035.82 c 931s| 2340k| 2339k| 0 | 0.0 |1347M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1040.22/1040.25 c 935s| 2350k| 2349k| 0 | 0.0 |1352M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1044.62/1044.69 c 939s| 2360k| 2359k| 0 | 0.0 |1358M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1049.03/1049.09 c 943s| 2370k| 2369k| 0 | 0.0 |1364M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1053.52/1053.52 c 947s| 2380k| 2379k| 0 | 0.0 |1369M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1057.92/1057.91 c 951s| 2390k| 2389k| 0 | 0.0 |1375M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1062.32/1062.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.32/1062.32 c 955s| 2400k| 2399k| 0 | 0.0 |1380M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1066.72/1066.75 c 959s| 2410k| 2409k| 0 | 0.0 |1386M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1071.12/1071.15 c 963s| 2420k| 2419k| 0 | 0.0 |1392M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1075.52/1075.51 c 967s| 2430k| 2429k| 0 | 0.0 |1397M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1079.83/1079.87 c 970s| 2440k| 2439k| 0 | 0.0 |1403M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1084.22/1084.24 c 974s| 2450k| 2449k| 0 | 0.0 |1408M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1088.62/1088.61 c 978s| 2460k| 2459k| 0 | 0.0 |1414M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1092.92/1092.95 c 982s| 2470k| 2469k| 0 | 0.0 |1419M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1097.33/1097.33 c 986s| 2480k| 2479k| 0 | 0.0 |1425M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1101.62/1101.67 c 990s| 2490k| 2489k| 0 | 0.0 |1430M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1106.03/1106.04 c 994s| 2500k| 2499k| 0 | 0.0 |1436M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1110.42/1110.43 c 998s| 2510k| 2509k| 0 | 0.0 |1441M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1114.72/1114.74 c 1002s| 2520k| 2519k| 0 | 0.0 |1446M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1119.03/1119.10 c 1006s| 2530k| 2529k| 0 | 0.0 |1452M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1123.42/1123.43 c 1010s| 2540k| 2539k| 0 | 0.0 |1457M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1127.72/1127.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.72/1127.76 c 1014s| 2550k| 2549k| 0 | 0.0 |1463M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1132.13/1132.12 c 1018s| 2560k| 2559k| 0 | 0.0 |1468M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1136.42/1136.47 c 1021s| 2570k| 2569k| 0 | 0.0 |1473M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1140.73/1140.80 c 1025s| 2580k| 2579k| 0 | 0.0 |1479M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1145.13/1145.15 c 1029s| 2590k| 2589k| 0 | 0.0 |1484M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1149.53/1149.51 c 1033s| 2600k| 2599k| 0 | 0.0 |1490M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1153.83/1153.80 c 1037s| 2610k| 2609k| 0 | 0.0 |1495M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1158.12/1158.13 c 1041s| 2620k| 2619k| 0 | 0.0 |1501M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1162.42/1162.44 c 1045s| 2630k| 2629k| 0 | 0.0 |1506M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1166.72/1166.75 c 1049s| 2640k| 2639k| 0 | 0.0 |1511M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1171.03/1171.08 c 1053s| 2650k| 2649k| 0 | 0.0 |1517M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1175.33/1175.40 c 1056s| 2660k| 2659k| 0 | 0.0 |1522M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1179.72/1179.75 c 1060s| 2670k| 2669k| 0 | 0.0 |1527M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1184.02/1184.02 c 1064s| 2680k| 2679k| 0 | 0.0 |1533M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1188.33/1188.30 c 1068s| 2690k| 2689k| 0 | 0.0 |1538M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1192.62/1192.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.62/1192.61 c 1072s| 2700k| 2699k| 0 | 0.0 |1543M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1196.93/1196.91 c 1076s| 2710k| 2709k| 0 | 0.0 |1549M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1201.23/1201.22 c 1080s| 2720k| 2719k| 0 | 0.0 |1554M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1205.53/1205.53 c 1084s| 2730k| 2729k| 0 | 0.0 |1559M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1209.83/1209.85 c 1087s| 2740k| 2739k| 0 | 0.0 |1565M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1214.13/1214.13 c 1091s| 2750k| 2749k| 0 | 0.0 |1570M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1218.32/1218.39 c 1095s| 2760k| 2759k| 0 | 0.0 |1575M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1222.63/1222.64 c 1099s| 2770k| 2769k| 0 | 0.0 |1581M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1226.93/1226.90 c 1103s| 2780k| 2779k| 0 | 0.0 |1586M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1231.13/1231.18 c 1107s| 2790k| 2789k| 0 | 0.0 |1591M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1235.43/1235.45 c 1110s| 2800k| 2799k| 0 | 0.0 |1596M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1239.73/1239.76 c 1114s| 2810k| 2809k| 0 | 0.0 |1602M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1244.04/1244.05 c 1118s| 2820k| 2819k| 0 | 0.0 |1607M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1248.23/1248.28 c 1122s| 2830k| 2829k| 0 | 0.0 |1612M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1252.43/1252.49 c 1126s| 2840k| 2839k| 0 | 0.0 |1617M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1256.73/1256.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.73/1256.73 c 1130s| 2850k| 2849k| 0 | 0.0 |1623M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1261.03/1261.00 c 1133s| 2860k| 2859k| 0 | 0.0 |1628M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1265.23/1265.27 c 1137s| 2870k| 2869k| 0 | 0.0 |1633M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1269.53/1269.54 c 1141s| 2880k| 2879k| 0 | 0.0 |1639M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1273.74/1273.76 c 1145s| 2890k| 2889k| 0 | 0.0 |1644M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1277.93/1277.96 c 1149s| 2900k| 2899k| 0 | 0.0 |1649M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1282.13/1282.17 c 1152s| 2910k| 2909k| 0 | 0.0 |1654M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1286.43/1286.40 c 1156s| 2920k| 2919k| 0 | 0.0 |1659M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1290.63/1290.62 c 1160s| 2930k| 2929k| 0 | 0.0 |1665M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1294.83/1294.85 c 1164s| 2940k| 2939k| 0 | 0.0 |1670M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1299.03/1299.09 c 1168s| 2950k| 2949k| 0 | 0.0 |1675M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1303.23/1303.27 c 1171s| 2960k| 2959k| 0 | 0.0 |1680M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1307.43/1307.45 c 1175s| 2970k| 2969k| 0 | 0.0 |1685M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1311.63/1311.63 c 1179s| 2980k| 2979k| 0 | 0.0 |1690M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1315.83/1315.83 c 1183s| 2990k| 2989k| 0 | 0.0 |1696M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1320.03/1320.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.03/1320.04 c 1187s| 3000k| 2999k| 0 | 0.0 |1701M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1324.23/1324.22 c 1190s| 3010k| 3009k| 0 | 0.0 |1706M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1328.33/1328.38 c 1194s| 3020k| 3019k| 0 | 0.0 |1711M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1332.53/1332.56 c 1198s| 3030k| 3029k| 0 | 0.0 |1716M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1336.73/1336.73 c 1202s| 3040k| 3039k| 0 | 0.0 |1721M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1340.94/1340.93 c 1205s| 3050k| 3049k| 0 | 0.0 |1726M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1345.13/1345.14 c 1209s| 3060k| 3059k| 0 | 0.0 |1731M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1349.33/1349.31 c 1213s| 3070k| 3069k| 0 | 0.0 |1736M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1353.43/1353.44 c 1217s| 3080k| 3079k| 0 | 0.0 |1741M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1357.53/1357.56 c 1220s| 3090k| 3089k| 0 | 0.0 |1746M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1361.63/1361.67 c 1224s| 3100k| 3099k| 0 | 0.0 |1751M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1365.84/1365.81 c 1228s| 3110k| 3109k| 0 | 0.0 |1756M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1369.93/1369.93 c 1231s| 3120k| 3119k| 0 | 0.0 |1761M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1374.04/1374.04 c 1235s| 3130k| 3129k| 0 | 0.0 |1766M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1378.13/1378.14 c 1239s| 3140k| 3139k| 0 | 0.0 |1771M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1382.23/1382.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.23/1382.25 c 1243s| 3150k| 3149k| 0 | 0.0 |1776M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1386.33/1386.39 c 1246s| 3160k| 3159k| 0 | 0.0 |1781M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1390.44/1390.48 c 1250s| 3170k| 3169k| 0 | 0.0 |1786M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1394.54/1394.55 c 1254s| 3180k| 3179k| 0 | 0.0 |1791M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1398.63/1398.62 c 1257s| 3190k| 3189k| 0 | 0.0 |1796M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1402.74/1402.72 c 1261s| 3200k| 3199k| 0 | 0.0 |1801M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1406.84/1406.81 c 1265s| 3210k| 3209k| 0 | 0.0 |1806M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1410.94/1410.90 c 1268s| 3220k| 3219k| 0 | 0.0 |1811M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1414.93/1414.97 c 1272s| 3230k| 3229k| 0 | 0.0 |1816M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1419.04/1419.03 c 1276s| 3240k| 3239k| 0 | 0.0 |1821M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1423.03/1423.08 c 1279s| 3250k| 3249k| 0 | 0.0 |1826M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1427.14/1427.18 c 1283s| 3260k| 3259k| 0 | 0.0 |1831M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1431.24/1431.24 c 1287s| 3270k| 3269k| 0 | 0.0 |1836M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1435.33/1435.32 c 1290s| 3280k| 3279k| 0 | 0.0 |1841M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1439.33/1439.34 c 1294s| 3290k| 3289k| 0 | 0.0 |1846M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1443.43/1443.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.43/1443.41 c 1298s| 3300k| 3299k| 0 | 0.0 |1850M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1447.43/1447.49 c 1302s| 3310k| 3309k| 0 | 0.0 |1855M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1451.53/1451.55 c 1305s| 3320k| 3319k| 0 | 0.0 |1860M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1455.54/1455.58 c 1309s| 3330k| 3329k| 0 | 0.0 |1865M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1459.64/1459.61 c 1312s| 3340k| 3339k| 0 | 0.0 |1870M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1463.63/1463.66 c 1316s| 3350k| 3349k| 0 | 0.0 |1875M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1467.74/1467.71 c 1320s| 3360k| 3359k| 0 | 0.0 |1880M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1471.74/1471.73 c 1323s| 3370k| 3369k| 0 | 0.0 |1885M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1475.73/1475.79 c 1327s| 3380k| 3379k| 0 | 0.0 |1890M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1479.84/1479.82 c 1331s| 3390k| 3389k| 0 | 0.0 |1894M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1483.84/1483.82 c 1334s| 3400k| 3399k| 0 | 0.0 |1899M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1487.84/1487.81 c 1338s| 3410k| 3409k| 0 | 0.0 |1904M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1491.84/1491.83 c 1342s| 3420k| 3419k| 0 | 0.0 |1909M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1495.84/1495.82 c 1345s| 3430k| 3429k| 0 | 0.0 |1914M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1499.84/1499.80 c 1349s| 3440k| 3439k| 0 | 0.0 |1919M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1503.74/1503.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.74/1503.78 c 1352s| 3450k| 3449k| 0 | 0.0 |1923M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1507.74/1507.75 c 1356s| 3460k| 3459k| 0 | 0.0 |1928M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1511.73/1511.74 c 1359s| 3470k| 3469k| 0 | 0.0 |1933M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1515.74/1515.74 c 1363s| 3480k| 3479k| 0 | 0.0 |1938M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1519.74/1519.75 c 1367s| 3490k| 3489k| 0 | 0.0 |1943M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1523.74/1523.74 c 1370s| 3500k| 3499k| 0 | 0.0 |1948M| 115 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1527.73/1527.74 c 1374s| 3510k| 3509k| 0 | 0.0 |1952M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1532.13/1532.12 c 1378s| 3520k| 3519k| 0 | 0.0 |1958M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1536.44/1536.45 c 1382s| 3530k| 3529k| 0 | 0.0 |1963M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1540.83/1540.81 c 1386s| 3540k| 3539k| 0 | 0.0 |1968M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1545.14/1545.12 c 1390s| 3550k| 3549k| 0 | 0.0 |1974M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1549.44/1549.42 c 1393s| 3560k| 3559k| 0 | 0.0 |1979M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1553.73/1553.71 c 1397s| 3570k| 3569k| 0 | 0.0 |1984M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1558.04/1558.03 c 1401s| 3580k| 3579k| 0 | 0.0 |1989M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1562.33/1562.38 c 1405s| 3590k| 3589k| 0 | 0.0 |1995M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1566.64/1566.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.64/1566.69 c 1409s| 3600k| 3599k| 0 | 0.0 |2000M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1571.04/1571.04 c 1413s| 3610k| 3609k| 0 | 0.0 |2005M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1575.34/1575.32 c 1417s| 3620k| 3619k| 0 | 0.0 |2011M| 117 | - |3246 |4166 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1579.74/1579.71 c 1421s| 3630k| 3629k| 0 | 0.0 |2016M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1584.14/1584.15 c 1425s| 3640k| 3639k| 0 | 0.0 |2022M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1588.54/1588.52 c 1428s| 3650k| 3649k| 0 | 0.0 |2027M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1592.84/1592.84 c 1432s| 3660k| 3659k| 0 | 0.0 |2032M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1597.15/1597.15 c 1436s| 3670k| 3669k| 0 | 0.0 |2037M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1601.44/1601.42 c 1440s| 3680k| 3679k| 0 | 0.0 |2043M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1605.64/1605.64 c 1444s| 3690k| 3689k| 0 | 0.0 |2048M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1609.84/1609.85 c 1448s| 3700k| 3699k| 0 | 0.0 |2053M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1614.14/1614.12 c 1452s| 3710k| 3709k| 0 | 0.0 |2058M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1618.32/1618.38 c 1456s| 3720k| 3719k| 0 | 0.0 |2063M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1622.53/1622.54 c 1460s| 3730k| 3729k| 0 | 0.0 |2068M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1626.62/1626.67 c 1464s| 3740k| 3739k| 0 | 0.0 |2073M| 119 | - |3246 |4170 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1630.72/1630.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.72/1630.78 c 1468s| 3750k| 3749k| 0 | 0.0 |2077M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1634.82/1634.87 c 1472s| 3760k| 3759k| 0 | 0.0 |2082M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1638.91/1638.99 c 1476s| 3770k| 3769k| 0 | 0.0 |2087M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1643.10/1643.18 c 1480s| 3780k| 3779k| 0 | 0.0 |2092M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1647.58/1647.64 c 1484s| 3790k| 3789k| 0 | 0.0 |2097M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1652.28/1652.30 c 1489s| 3800k| 3799k| 0 | 0.0 |2103M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1656.89/1656.96 c 1493s| 3810k| 3809k| 0 | 0.0 |2109M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1661.58/1661.62 c 1498s| 3820k| 3819k| 0 | 0.0 |2115M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1666.18/1666.20 c 1502s| 3830k| 3829k| 0 | 0.0 |2121M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1670.78/1670.83 c 1507s| 3840k| 3839k| 0 | 0.0 |2127M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1675.28/1675.39 c 1511s| 3850k| 3849k| 0 | 0.0 |2133M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1679.98/1680.03 c 1516s| 3860k| 3859k| 0 | 0.0 |2139M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1684.48/1684.57 c 1520s| 3870k| 3869k| 0 | 0.0 |2145M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1689.08/1689.15 c 1525s| 3880k| 3879k| 0 | 0.0 |2150M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1693.68/1693.70 c 1529s| 3890k| 3889k| 0 | 0.0 |2156M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1698.19/1698.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.19/1698.20 c 1533s| 3900k| 3899k| 0 | 0.0 |2162M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1702.69/1702.76 c 1538s| 3910k| 3909k| 0 | 0.0 |2168M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1707.19/1707.25 c 1542s| 3920k| 3919k| 0 | 0.0 |2173M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1711.68/1711.72 c 1546s| 3930k| 3929k| 0 | 0.0 |2179M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1716.19/1716.21 c 1551s| 3940k| 3939k| 0 | 0.0 |2184M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1720.58/1720.62 c 1555s| 3950k| 3949k| 0 | 0.0 |2190M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1724.98/1725.07 c 1559s| 3960k| 3959k| 0 | 0.0 |2195M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1729.48/1729.54 c 1564s| 3970k| 3969k| 0 | 0.0 |2201M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1733.89/1733.94 c 1568s| 3980k| 3979k| 0 | 0.0 |2206M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1738.28/1738.33 c 1572s| 3990k| 3989k| 0 | 0.0 |2212M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1742.68/1742.77 c 1577s| 4000k| 3999k| 0 | 0.0 |2217M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1747.09/1747.11 c 1581s| 4010k| 4009k| 0 | 0.0 |2222M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1751.39/1751.49 c 1585s| 4020k| 4019k| 0 | 0.0 |2228M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1755.78/1755.88 c 1589s| 4030k| 4029k| 0 | 0.0 |2233M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1760.08/1760.18 c 1594s| 4040k| 4039k| 0 | 0.0 |2239M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1764.49/1764.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.49/1764.51 c 1598s| 4050k| 4049k| 0 | 0.0 |2244M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1768.79/1768.87 c 1602s| 4060k| 4059k| 0 | 0.0 |2249M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1773.09/1773.16 c 1606s| 4070k| 4069k| 0 | 0.0 |2254M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1777.49/1777.52 c 1611s| 4080k| 4079k| 0 | 0.0 |2260M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1781.78/1781.80 c 1615s| 4090k| 4089k| 0 | 0.0 |2265M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1785.99/1786.06 c 1619s| 4100k| 4099k| 0 | 0.0 |2270M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1790.29/1790.37 c 1623s| 4110k| 4109k| 0 | 0.0 |2275M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1794.58/1794.63 c 1627s| 4120k| 4119k| 0 | 0.0 |2280M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1798.89/1798.93 c 1631s| 4130k| 4129k| 0 | 0.0 |2286M| 119 | - |3246 |4169 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1632.53
1800.09/1800.10 c Solving Nodes : 4132795
1800.09/1800.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.10 s UNKNOWN
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time : 1632.53
1800.09/1800.10 c Original Problem :
1800.09/1800.10 c Problem name : HOME/instance-2693630-1277913492.wbo
1800.09/1800.10 c Variables : 3364 (2277 binary, 0 integer, 0 implicit integer, 1087 continuous)
1800.09/1800.10 c Constraints : 4271 initial, 4271 maximal
1800.09/1800.10 c Presolved Problem :
1800.09/1800.10 c Problem name : t_HOME/instance-2693630-1277913492.wbo
1800.09/1800.10 c Variables : 3246 (2161 binary, 0 integer, 0 implicit integer, 1085 continuous)
1800.09/1800.10 c Constraints : 4161 initial, 4170 maximal
1800.09/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.10 c trivial : 0.00 1 0 0 0 0 0 0 0
1800.09/1800.10 c dualfix : 0.00 3 0 0 0 0 0 0 0
1800.09/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c implics : 0.00 0 47 0 0 0 0 0 0
1800.09/1800.10 c probing : 0.25 0 62 0 0 0 0 0 0
1800.09/1800.10 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.09/1800.10 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c knapsack : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.10 c linear : 0.03 2 3 0 1088 0 108 66 130
1800.09/1800.10 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.10 c root node : - 0 - - 0 - - - -
1800.09/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.10 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.10 c indicator : 1085 0 11452779 0 4132788 0 2752973 0 0 0
1800.09/1800.10 c varbound : 1 0 2846174 0 746040 0 0 0 0 0
1800.09/1800.10 c knapsack : 83 0 11452779 0 4132788 0 0 0 0 0
1800.09/1800.10 c linear : 1084 0 11452779 0 4132788 0 2535606 0 0 0
1800.09/1800.10 c logicor : 1908+ 0 8183310 0 4132788 7 12927007 0 0 0
1800.09/1800.10 c countsols : 0 0 0 0 4132788 0 0 0 0 0
1800.09/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.10 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.10 c indicator : 344.40 0.00 118.06 0.00 226.34
1800.09/1800.10 c varbound : 0.17 0.00 0.14 0.00 0.03
1800.09/1800.10 c knapsack : 7.66 0.00 7.12 0.00 0.54
1800.09/1800.10 c linear : 75.52 0.00 72.88 0.00 2.64
1800.09/1800.10 c logicor : 308.50 0.00 19.01 0.00 289.49
1800.09/1800.10 c countsols : 0.12 0.00 0.00 0.00 0.12
1800.09/1800.10 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.10 c vbounds : 0.48 327499 0 3463
1800.09/1800.10 c rootredcost : 0.25 0 0 0
1800.09/1800.10 c pseudoobj : 273.08 11450104 0 0
1800.09/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.10 c propagation : 0.00 7 7 7 2.6 3 3.0 -
1800.09/1800.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.10 c applied globally : - - - 10 2.7 - - -
1800.09/1800.10 c applied locally : - - - 0 0.0 - - -
1800.09/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.10 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.10 c redcost : 0.00 0 0 0 0 0
1800.09/1800.10 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.10 c intobj : 0.00 0 0 0 0 0
1800.09/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.10 c gomory : 0.00 0 0 0 0 0
1800.09/1800.10 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.10 c cmir : 0.00 0 0 0 0 0
1800.09/1800.10 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.10 c clique : 0.00 0 0 0 0 0
1800.09/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.10 c mcf : 0.00 0 0 0 0 0
1800.09/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.10 c Pricers : Time Calls Vars
1800.09/1800.10 c problem variables: 0.00 0 0
1800.09/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.10 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.10 c inference : 545.94 4132788 0 0 0 0 8265576
1800.09/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.10 c random : 0.00 0 0 0 0 0 0
1800.09/1800.10 c Primal Heuristics : Time Calls Found
1800.09/1800.10 c LP solutions : 0.00 - 0
1800.09/1800.10 c pseudo solutions : 0.00 - 0
1800.09/1800.10 c oneopt : 0.16 0 0
1800.09/1800.10 c trivial : 0.00 2 0
1800.09/1800.10 c simplerounding : 0.00 0 0
1800.09/1800.10 c zirounding : 0.00 0 0
1800.09/1800.10 c rounding : 0.00 0 0
1800.09/1800.10 c shifting : 0.00 0 0
1800.09/1800.10 c intshifting : 0.00 0 0
1800.09/1800.10 c twoopt : 0.00 0 0
1800.09/1800.10 c fixandinfer : 0.00 0 0
1800.09/1800.10 c feaspump : 0.00 0 0
1800.09/1800.10 c coefdiving : 0.00 0 0
1800.09/1800.10 c pscostdiving : 0.00 0 0
1800.09/1800.10 c fracdiving : 0.00 0 0
1800.09/1800.10 c veclendiving : 0.00 0 0
1800.09/1800.10 c intdiving : 0.00 0 0
1800.09/1800.10 c actconsdiving : 0.00 0 0
1800.09/1800.10 c objpscostdiving : 0.00 0 0
1800.09/1800.10 c rootsoldiving : 0.00 0 0
1800.09/1800.10 c linesearchdiving : 0.00 0 0
1800.09/1800.10 c guideddiving : 0.00 0 0
1800.09/1800.10 c octane : 0.00 0 0
1800.09/1800.10 c rens : 0.00 0 0
1800.09/1800.10 c rins : 0.00 0 0
1800.09/1800.10 c localbranching : 0.00 0 0
1800.09/1800.10 c mutation : 0.00 0 0
1800.09/1800.10 c crossover : 0.00 0 0
1800.09/1800.10 c dins : 0.00 0 0
1800.09/1800.10 c undercover : 0.00 0 0
1800.09/1800.10 c nlp : 0.22 0 0
1800.09/1800.10 c trysol : 0.13 1 0
1800.09/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.10 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.10 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.10 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.10 c (at root node) : - 0 0 0.00 -
1800.09/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.10 c B&B Tree :
1800.09/1800.10 c number of runs : 1
1800.09/1800.10 c nodes : 4132795
1800.09/1800.10 c nodes (total) : 4132795
1800.09/1800.10 c nodes left : 4132782
1800.09/1800.10 c max depth : 119
1800.09/1800.10 c max depth (total): 119
1800.09/1800.10 c backtracks : 67255 (1.6%)
1800.09/1800.10 c delayed cutoffs : 0
1800.09/1800.10 c repropagations : 164 (22 domain reductions, 0 cutoffs)
1800.09/1800.10 c avg switch length: 2.68
1800.09/1800.10 c switching time : 44.75
1800.09/1800.10 c Solution :
1800.09/1800.10 c Solutions found : 0 (0 improvements)
1800.09/1800.10 c Primal Bound : -
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Root Iterations : 0