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-2663836-1276663496.opb>
0.09/0.19 c original problem has 16772 variables (16772 bin, 0 int, 0 impl, 0 cont) and 16772 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.19/0.20 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.39/0.41 o 0
0.39/0.41 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.41 c presolving:
0.89/0.91 c (round 1) 15772 del vars, 1000 del conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63088 impls, 0 clqs
1.10/1.15 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (2 rounds):
1.10/1.15 c 15772 deleted vars, 1000 deleted constraints, 15772 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15 c 94632 implications, 0 cliques
1.10/1.15 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
1.10/1.15 c 15772 constraints of type <logicor>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 0.70
1.10/1.15 c - non default parameters ----------------------------------------------------------------------
1.10/1.15 c # SCIP version 1.2.1.2
1.10/1.15 c
1.10/1.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15 c conflict/interconss = 0
1.10/1.15 c
1.10/1.15 c # should binary conflicts be preferred?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c conflict/preferbinary = TRUE
1.10/1.15 c
1.10/1.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15 c constraints/agelimit = 1
1.10/1.15 c
1.10/1.15 c # should enforcement of pseudo solution be disabled?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/disableenfops = TRUE
1.10/1.15 c
1.10/1.15 c # frequency for displaying node information lines
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15 c display/freq = 10000
1.10/1.15 c
1.10/1.15 c # maximal time in seconds to run
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/time = 1799.81
1.10/1.15 c
1.10/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/memory = 1620
1.10/1.15 c
1.10/1.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15 c lp/solvefreq = -1
1.10/1.15 c
1.10/1.15 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.10/1.15 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.15 c lp/pricing = a
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify inequalities
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/linear/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify knapsacks
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # priority of node selection rule <dfs> in standard mode
1.10/1.15 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.15 c nodeselection/dfs/stdpriority = 1000000
1.10/1.15 c
1.10/1.15 c -----------------------------------------------------------------------------------------------
1.10/1.15 c start solving
1.10/1.16 c
1.10/1.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.16 c t 0.8s| 1 | 2 | 0 | - | 37M| 0 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-1.000000e+03 | 0.000000e+00 | 100.00%
1.10/1.18 o -88
1.10/1.18 c * 0.8s| 89 | 78 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-8.800000e+01 | 91.19%
1.29/1.30 o -89
1.29/1.30 c * 0.9s| 356 | 72 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 3 | 0 |-9.990000e+02 |-8.900000e+01 | 91.09%
2.89/2.94 o -90
2.89/2.94 c * 2.5s| 4818 | 68 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 16 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
4.59/4.62 c 4.1s| 10000 | 66 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 28 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
7.69/7.78 c 7.1s| 20000 | 68 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 37 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
10.88/10.97 c 10.2s| 30000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 46 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
14.18/14.21 c 13.3s| 40000 | 66 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 51 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
17.38/17.46 c 16.4s| 50000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 53 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
20.58/20.69 c 19.4s| 60000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 61 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
23.98/24.07 c 22.7s| 70000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 70 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
27.28/27.35 c 25.8s| 80000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 80 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
30.58/30.69 c 29.0s| 90000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 85 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
33.68/33.73 c 32.0s|100000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 94 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
36.57/36.63 c 34.7s|110000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 106 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
39.58/39.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.58/39.69 c 37.6s|120000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 120 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
42.67/42.76 c 40.6s|130000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 126 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
45.68/45.76 c 43.4s|140000 | 66 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 137 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
48.87/48.93 c 46.5s|150000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 146 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
52.17/52.27 c 49.7s|160000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 153 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
55.37/55.44 c 52.7s|170000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 155 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
58.67/58.70 c 55.8s|180000 | 68 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 161 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
61.87/61.93 c 58.9s|190000 | 66 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 165 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
65.27/65.30 c 62.1s|200000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 170 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
68.47/68.56 c 65.2s|210000 | 69 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 176 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
71.57/71.62 c 68.2s|220000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 187 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
74.67/74.79 c 71.2s|230000 | 71 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 192 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
77.87/77.98 c 74.3s|240000 | 66 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 200 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
81.06/81.11 c 77.3s|250000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 208 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
84.26/84.30 c 80.3s|260000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 214 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
87.36/87.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.36/87.49 c 83.4s|270000 | 66 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 221 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
90.45/90.53 c 86.3s|280000 | 66 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 228 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
93.57/93.61 c 89.2s|290000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 236 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
96.66/96.71 c 92.2s|300000 | 62 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 241 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
99.76/99.85 c 95.2s|310000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 251 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
102.95/103.04 c 98.2s|320000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 265 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
106.16/106.20 c 101s|330000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 276 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
109.35/109.40 c 104s|340000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 279 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
112.65/112.71 c 108s|350000 | 61 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 287 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
116.06/116.14 c 111s|360000 | 66 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 298 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
119.46/119.55 c 114s|370000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 312 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
122.76/122.89 c 117s|380000 | 66 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 327 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
125.95/126.04 c 120s|390000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 336 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
129.24/129.36 c 123s|400000 | 62 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 351 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
132.44/132.52 c 126s|410000 | 62 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 357 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
135.54/135.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.54/135.66 c 129s|420000 | 62 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 363 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
138.94/139.01 c 133s|430000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 373 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
142.15/142.27 c 136s|440000 | 62 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 377 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
145.45/145.50 c 139s|450000 | 62 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 387 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
148.45/148.57 c 142s|460000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 398 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
151.64/151.72 c 145s|470000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 407 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
154.74/154.88 c 148s|480000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 416 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
158.04/158.16 c 151s|490000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 420 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
161.34/161.47 c 154s|500000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 429 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
164.74/164.85 c 157s|510000 | 69 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 432 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
168.13/168.20 c 161s|520000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 435 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
171.24/171.38 c 164s|530000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 437 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
174.23/174.39 c 167s|540000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 443 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
177.53/177.61 c 170s|550000 | 61 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 451 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
180.74/180.89 c 173s|560000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 457 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
184.24/184.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.24/184.33 c 176s|570000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 463 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
187.53/187.64 c 179s|580000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 473 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
190.63/190.73 c 182s|590000 | 62 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 483 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
193.73/193.85 c 185s|600000 | 62 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 489 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
196.84/196.97 c 188s|610000 | 61 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 492 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
199.93/200.05 c 191s|620000 | 59 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 500 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
203.13/203.25 c 194s|630000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 507 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
206.53/206.60 c 197s|640000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 522 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
209.73/209.84 c 200s|650000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 526 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
212.93/213.00 c 203s|660000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 530 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
216.33/216.44 c 207s|670000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 536 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
219.63/219.70 c 210s|680000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 540 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
222.82/222.94 c 213s|690000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 545 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
225.92/226.02 c 216s|700000 | 61 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 550 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
229.03/229.14 c 219s|710000 | 61 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 564 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
232.22/232.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.22/232.32 c 222s|720000 | 62 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 568 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
235.62/235.76 c 225s|730000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 576 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
238.92/239.04 c 228s|740000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 585 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
242.12/242.28 c 232s|750000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 595 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
245.22/245.39 c 234s|760000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 606 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
248.62/248.71 c 238s|770000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 616 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
251.92/252.06 c 241s|780000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 622 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
255.22/255.32 c 244s|790000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 631 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
258.42/258.55 c 247s|800000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 635 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
261.72/261.89 c 250s|810000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 638 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
264.91/265.08 c 253s|820000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 653 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
268.31/268.43 c 257s|830000 | 63 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 658 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
271.72/271.89 c 260s|840000 | 65 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 667 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
275.21/275.39 c 263s|850000 | 64 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 675 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
278.51/278.68 c 266s|860000 | 60 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 680 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
282.01/282.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.01/282.16 c 270s|870000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 702 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
285.51/285.63 c 273s|880000 | 69 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 717 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
288.91/289.06 c 276s|890000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 732 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
292.40/292.58 c 280s|900000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 752 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
295.91/296.01 c 283s|910000 | 68 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 772 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
299.30/299.43 c 286s|920000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 794 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
302.81/302.97 c 290s|930000 | 70 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 808 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
306.30/306.44 c 293s|940000 | 68 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 827 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
309.90/310.04 c 297s|950000 | 68 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 841 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
313.40/313.51 c 300s|960000 | 68 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 862 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
316.70/316.80 c 303s|970000 | 67 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 881 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
319.90/320.02 c 306s|980000 | 67 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 | 903 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
323.30/323.46 c 309s|990000 | 64 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 | 920 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
326.71/326.83 c 313s| 1000k| 65 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 | 931 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
329.90/330.10 c 316s| 1010k| 63 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 | 952 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
330.40/330.57 o -91
330.40/330.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.40/330.57 c * 316s| 1011k| 70 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 | 955 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
333.30/333.42 c 319s| 1020k| 66 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 | 977 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
336.50/336.70 c 322s| 1030k| 65 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1003 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
339.90/340.02 c 325s| 1040k| 64 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1021 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
343.19/343.30 c 328s| 1050k| 64 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1043 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
346.49/346.65 c 332s| 1060k| 67 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1062 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
349.89/350.05 c 335s| 1070k| 69 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1079 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
353.38/353.56 c 338s| 1080k| 67 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1103 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
356.69/356.80 c 341s| 1090k| 65 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1112 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
359.69/359.81 c 344s| 1100k| 66 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1121 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
362.90/363.09 c 347s| 1110k| 65 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1127 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
365.88/366.05 c 350s| 1120k| 65 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1132 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
368.88/369.02 c 353s| 1130k| 63 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1139 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
371.98/372.18 c 356s| 1140k| 68 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1147 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
375.28/375.46 c 359s| 1150k| 65 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1149 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
378.58/378.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.58/378.72 c 362s| 1160k| 60 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1157 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
381.78/381.91 c 365s| 1170k| 66 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1175 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
384.98/385.18 c 369s| 1180k| 62 | 0 | 0.0 | 37M| 90 | - |1000 | 15k| 0 | 0 | 0 |1186 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
388.29/388.41 c 372s| 1190k| 64 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1196 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
391.38/391.54 c 375s| 1200k| 64 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1201 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
394.48/394.67 c 378s| 1210k| 65 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1216 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
397.67/397.89 c 381s| 1220k| 65 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1229 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
400.98/401.11 c 384s| 1230k| 62 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1239 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
404.08/404.27 c 387s| 1240k| 62 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1247 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
407.27/407.48 c 390s| 1250k| 64 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1256 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
410.57/410.78 c 393s| 1260k| 65 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1265 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
413.97/414.11 c 396s| 1270k| 61 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1278 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
417.17/417.34 c 399s| 1280k| 60 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1296 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
420.37/420.52 c 402s| 1290k| 63 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1312 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
423.67/423.85 c 406s| 1300k| 65 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1334 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
426.87/427.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.87/427.01 c 409s| 1310k| 63 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1341 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
430.07/430.27 c 412s| 1320k| 63 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1348 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
433.27/433.46 c 415s| 1330k| 64 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1363 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
436.57/436.70 c 418s| 1340k| 66 | 0 | 0.0 | 37M| 93 | - |1000 | 15k| 0 | 0 | 0 |1382 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
439.77/439.91 c 421s| 1350k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1401 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
443.07/443.22 c 424s| 1360k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1409 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
446.26/446.44 c 427s| 1370k| 60 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1420 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
449.27/449.49 c 430s| 1380k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1427 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
452.46/452.69 c 433s| 1390k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1435 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
455.76/455.98 c 436s| 1400k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1445 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
459.16/459.33 c 440s| 1410k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1455 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
462.56/462.73 c 443s| 1420k| 60 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1465 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
465.76/465.97 c 446s| 1430k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1480 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
469.16/469.33 c 449s| 1440k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1496 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
472.46/472.61 c 452s| 1450k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1502 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
475.55/475.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.55/475.77 c 455s| 1460k| 60 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1517 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
478.85/479.08 c 459s| 1470k| 69 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1527 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
482.05/482.26 c 462s| 1480k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1536 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
485.35/485.55 c 465s| 1490k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1542 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
488.76/488.91 c 468s| 1500k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1548 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
492.15/492.31 c 471s| 1510k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1568 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
495.45/495.61 c 474s| 1520k| 61 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1580 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
498.85/499.07 c 478s| 1530k| 69 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1586 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
502.25/502.44 c 481s| 1540k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1594 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
505.64/505.81 c 484s| 1550k| 60 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1609 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
508.75/508.98 c 487s| 1560k| 66 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1616 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
512.05/512.21 c 490s| 1570k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1628 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
515.34/515.57 c 494s| 1580k| 68 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1630 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
518.84/519.01 c 497s| 1590k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1636 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
522.14/522.33 c 500s| 1600k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1643 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
525.55/525.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.55/525.73 c 503s| 1610k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1655 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
528.84/529.08 c 507s| 1620k| 66 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1674 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
532.35/532.51 c 510s| 1630k| 67 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1680 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
535.74/535.93 c 513s| 1640k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1694 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
539.13/539.38 c 516s| 1650k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1701 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
542.54/542.79 c 520s| 1660k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1707 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
545.94/546.19 c 523s| 1670k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1718 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
549.13/549.34 c 526s| 1680k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1724 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
552.54/552.76 c 529s| 1690k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1733 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
556.03/556.28 c 533s| 1700k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1744 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
559.43/559.63 c 536s| 1710k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1747 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
562.84/563.05 c 539s| 1720k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1752 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
566.34/566.51 c 542s| 1730k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1760 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
569.64/569.87 c 546s| 1740k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1767 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
572.94/573.12 c 549s| 1750k| 61 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1771 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
576.23/576.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.23/576.40 c 552s| 1760k| 67 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1774 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
579.73/579.96 c 555s| 1770k| 61 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1782 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
583.22/583.47 c 559s| 1780k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1787 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
586.43/586.65 c 562s| 1790k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1794 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
589.73/589.99 c 565s| 1800k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1797 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
593.12/593.35 c 568s| 1810k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1802 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
596.42/596.69 c 571s| 1820k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1810 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
599.82/600.02 c 575s| 1830k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1820 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
603.12/603.33 c 578s| 1840k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1826 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
606.52/606.70 c 581s| 1850k| 61 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1835 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
609.82/610.03 c 584s| 1860k| 66 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1851 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
612.82/613.08 c 587s| 1870k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1860 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
616.02/616.25 c 590s| 1880k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1864 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
619.12/619.38 c 593s| 1890k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1871 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
622.32/622.54 c 596s| 1900k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1872 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
625.51/625.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.51/625.70 c 599s| 1910k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1878 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
628.82/629.02 c 602s| 1920k| 60 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1884 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
631.91/632.15 c 605s| 1930k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1891 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
635.11/635.31 c 608s| 1940k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1899 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
638.11/638.30 c 611s| 1950k| 61 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1907 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
641.31/641.52 c 614s| 1960k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1915 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
644.42/644.67 c 617s| 1970k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1929 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
647.61/647.89 c 620s| 1980k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1947 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
650.91/651.13 c 624s| 1990k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1964 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
654.10/654.35 c 627s| 2000k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1980 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
657.31/657.56 c 630s| 2010k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |1997 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
660.50/660.75 c 633s| 2020k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2008 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
663.61/663.89 c 636s| 2030k| 60 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2024 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
666.71/666.99 c 639s| 2040k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2031 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
670.10/670.34 c 642s| 2050k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2040 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
673.41/673.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.41/673.68 c 645s| 2060k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2043 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
676.70/676.98 c 648s| 2070k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2046 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
680.10/680.35 c 651s| 2080k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2055 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
683.40/683.65 c 655s| 2090k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2061 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
686.59/686.87 c 658s| 2100k| 66 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2078 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
689.80/690.05 c 661s| 2110k| 61 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2087 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
693.10/693.36 c 664s| 2120k| 68 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2101 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
696.49/696.75 c 667s| 2130k| 59 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2109 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
699.90/700.18 c 671s| 2140k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2118 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
703.30/703.56 c 674s| 2150k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2124 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
706.69/706.93 c 677s| 2160k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2131 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
710.09/710.32 c 680s| 2170k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2143 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
713.19/713.46 c 683s| 2180k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2147 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
716.49/716.76 c 686s| 2190k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2160 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
719.79/720.03 c 690s| 2200k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2167 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
723.09/723.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.09/723.35 c 693s| 2210k| 61 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2179 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
726.48/726.79 c 696s| 2220k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2195 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
729.68/729.97 c 699s| 2230k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2210 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
733.09/733.39 c 702s| 2240k| 60 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2217 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
736.38/736.63 c 705s| 2250k| 67 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2222 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
739.38/739.60 c 708s| 2260k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2223 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
742.78/743.03 c 712s| 2270k| 65 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2224 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
746.08/746.36 c 715s| 2280k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2229 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
749.58/749.86 c 718s| 2290k| 67 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2242 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
753.08/753.37 c 722s| 2300k| 64 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2248 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
756.48/756.71 c 725s| 2310k| 63 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2256 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
759.88/760.17 c 728s| 2320k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2264 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
763.37/763.66 c 731s| 2330k| 62 | 0 | 0.0 | 37M| 95 | - |1000 | 15k| 0 | 0 | 0 |2275 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
766.68/766.97 c 735s| 2340k| 64 | 0 | 0.0 | 37M| 96 | - |1000 | 15k| 0 | 0 | 0 |2286 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
770.17/770.41 c 738s| 2350k| 65 | 0 | 0.0 | 37M| 96 | - |1000 | 15k| 0 | 0 | 0 |2301 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
773.47/773.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.47/773.79 c 741s| 2360k| 62 | 0 | 0.0 | 37M| 96 | - |1000 | 15k| 0 | 0 | 0 |2312 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
776.98/777.27 c 745s| 2370k| 63 | 0 | 0.0 | 37M| 96 | - |1000 | 15k| 0 | 0 | 0 |2318 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
780.47/780.73 c 748s| 2380k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2329 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
783.77/784.05 c 751s| 2390k| 67 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2343 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
787.07/787.32 c 754s| 2400k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2358 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
790.37/790.64 c 757s| 2410k| 67 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2359 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
793.47/793.78 c 760s| 2420k| 67 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2363 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
796.67/796.98 c 763s| 2430k| 69 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2367 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
799.87/800.14 c 766s| 2440k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2374 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
803.17/803.46 c 770s| 2450k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2378 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
806.47/806.74 c 773s| 2460k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2380 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
809.77/810.00 c 776s| 2470k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2385 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
812.96/813.26 c 779s| 2480k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2391 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
816.07/816.32 c 782s| 2490k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2396 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
819.17/819.49 c 785s| 2500k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2402 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
822.37/822.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.37/822.66 c 788s| 2510k| 67 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2406 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
825.56/825.87 c 791s| 2520k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2415 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
828.86/829.12 c 794s| 2530k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2425 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
831.96/832.26 c 797s| 2540k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2430 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
835.16/835.46 c 800s| 2550k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2438 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
838.46/838.77 c 804s| 2560k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2450 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
841.85/842.10 c 807s| 2570k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2457 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
845.35/845.60 c 810s| 2580k| 67 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2460 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
848.56/848.83 c 813s| 2590k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2464 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
852.05/852.38 c 817s| 2600k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2466 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
855.56/855.83 c 820s| 2610k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2472 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
858.65/858.98 c 823s| 2620k| 67 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2478 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
861.95/862.23 c 826s| 2630k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2484 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
864.95/865.27 c 829s| 2640k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2491 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
868.24/868.59 c 832s| 2650k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2497 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
871.75/872.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.75/872.06 c 835s| 2660k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2501 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
875.24/875.59 c 839s| 2670k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2508 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
878.66/879.00 c 842s| 2680k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2513 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
881.95/882.26 c 845s| 2690k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2518 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
885.25/885.54 c 848s| 2700k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2528 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
888.55/888.81 c 852s| 2710k| 67 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2534 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
891.74/892.09 c 855s| 2720k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2538 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
895.04/895.40 c 858s| 2730k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2541 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
898.24/898.53 c 861s| 2740k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2544 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
901.44/901.75 c 864s| 2750k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2570 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
904.74/905.02 c 867s| 2760k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2580 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
907.84/908.17 c 870s| 2770k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2584 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
911.14/911.47 c 873s| 2780k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2587 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
914.44/914.78 c 876s| 2790k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2594 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
917.64/917.93 c 879s| 2800k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2596 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
920.83/921.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.83/921.12 c 882s| 2810k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2597 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
924.03/924.33 c 886s| 2820k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2600 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
927.33/927.61 c 889s| 2830k| 68 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2604 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
930.64/930.94 c 892s| 2840k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2605 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
933.83/934.18 c 895s| 2850k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2605 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
937.04/937.33 c 898s| 2860k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2610 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
940.13/940.43 c 901s| 2870k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2611 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
943.23/943.55 c 904s| 2880k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2613 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
946.33/946.60 c 907s| 2890k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2615 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
949.73/950.07 c 910s| 2900k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2616 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
953.43/953.73 c 914s| 2910k| 60 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2617 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
956.63/956.97 c 917s| 2920k| 59 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2619 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
959.92/960.26 c 920s| 2930k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2620 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
963.22/963.53 c 923s| 2940k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2623 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
966.22/966.58 c 926s| 2950k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2626 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
969.41/969.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.41/969.74 c 929s| 2960k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2639 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
972.51/972.81 c 932s| 2970k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2646 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
975.61/975.95 c 935s| 2980k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2655 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
978.81/979.13 c 938s| 2990k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2660 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
982.01/982.38 c 941s| 3000k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2661 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
985.21/985.55 c 944s| 3010k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2666 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
988.41/988.73 c 947s| 3020k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2677 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
991.61/991.93 c 950s| 3030k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2685 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
994.90/995.20 c 953s| 3040k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2691 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
998.01/998.39 c 956s| 3050k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2702 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1001.30/1001.67 c 960s| 3060k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2709 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1004.70/1005.05 c 963s| 3070k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2711 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1008.01/1008.33 c 966s| 3080k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2717 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1011.20/1011.55 c 969s| 3090k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2725 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1014.40/1014.74 c 972s| 3100k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2738 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1017.60/1017.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.60/1017.91 c 975s| 3110k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2752 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1020.90/1021.23 c 978s| 3120k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2763 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1024.19/1024.53 c 981s| 3130k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2769 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1027.40/1027.76 c 985s| 3140k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2778 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1030.70/1031.06 c 988s| 3150k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2794 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1033.89/1034.28 c 991s| 3160k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2801 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1037.10/1037.48 c 994s| 3170k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2810 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1040.40/1040.76 c 997s| 3180k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2823 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1043.79/1044.12 c 1000s| 3190k| 60 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2830 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1047.09/1047.45 c 1003s| 3200k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2838 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1050.39/1050.77 c 1007s| 3210k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2857 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1053.79/1054.17 c 1010s| 3220k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2874 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1057.18/1057.53 c 1013s| 3230k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2876 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1060.59/1060.94 c 1016s| 3240k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2882 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1064.09/1064.41 c 1020s| 3250k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2893 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1067.19/1067.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.19/1067.57 c 1023s| 3260k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2899 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1070.39/1070.77 c 1026s| 3270k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2904 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1073.58/1073.90 c 1029s| 3280k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2906 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1076.59/1076.92 c 1032s| 3290k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2910 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1079.59/1079.94 c 1034s| 3300k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2912 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1082.78/1083.14 c 1038s| 3310k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2918 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1085.98/1086.33 c 1041s| 3320k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2921 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1089.38/1089.76 c 1044s| 3330k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2927 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1092.58/1092.92 c 1047s| 3340k| 60 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2938 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1095.88/1096.24 c 1050s| 3350k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2940 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1098.88/1099.25 c 1053s| 3360k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2949 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1101.99/1102.39 c 1056s| 3370k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2967 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1105.28/1105.67 c 1059s| 3380k| 67 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2981 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1108.48/1108.80 c 1062s| 3390k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2990 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1111.57/1111.95 c 1065s| 3400k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |2996 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1114.87/1115.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.87/1115.28 c 1068s| 3410k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3003 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1118.38/1118.70 c 1072s| 3420k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3011 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1121.57/1121.92 c 1075s| 3430k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3017 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1124.87/1125.21 c 1078s| 3440k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3022 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1128.27/1128.69 c 1081s| 3450k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3028 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1131.58/1131.92 c 1084s| 3460k| 67 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3039 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1134.57/1134.93 c 1087s| 3470k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3044 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1137.66/1138.04 c 1090s| 3480k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3050 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1140.67/1141.05 c 1093s| 3490k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3062 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1143.97/1144.36 c 1096s| 3500k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3073 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1147.27/1147.68 c 1099s| 3510k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3081 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1150.46/1150.84 c 1102s| 3520k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3094 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1153.67/1154.07 c 1105s| 3530k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3103 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1156.87/1157.29 c 1108s| 3540k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3114 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1160.26/1160.64 c 1112s| 3550k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3124 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1163.35/1163.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.35/1163.79 c 1115s| 3560k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3131 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1166.55/1166.95 c 1118s| 3570k| 60 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3137 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1169.86/1170.20 c 1121s| 3580k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3142 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1173.06/1173.42 c 1124s| 3590k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3148 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1176.25/1176.66 c 1127s| 3600k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3160 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1179.76/1180.11 c 1130s| 3610k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3170 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1183.05/1183.42 c 1134s| 3620k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3174 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1186.26/1186.60 c 1137s| 3630k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3176 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1189.75/1190.13 c 1140s| 3640k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3181 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1192.95/1193.36 c 1143s| 3650k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3189 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1196.15/1196.58 c 1146s| 3660k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3200 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1199.45/1199.83 c 1149s| 3670k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3212 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1202.74/1203.12 c 1152s| 3680k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3213 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1205.95/1206.37 c 1156s| 3690k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3216 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1209.45/1209.81 c 1159s| 3700k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3225 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1212.65/1213.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.65/1213.04 c 1162s| 3710k| 60 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3231 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1215.84/1216.21 c 1165s| 3720k| 60 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3241 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1219.05/1219.49 c 1168s| 3730k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3246 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1222.45/1222.82 c 1171s| 3740k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3250 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1225.75/1226.14 c 1174s| 3750k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3257 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1229.04/1229.49 c 1178s| 3760k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3264 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1232.34/1232.77 c 1181s| 3770k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3268 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1235.73/1236.17 c 1184s| 3780k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3273 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1239.13/1239.54 c 1187s| 3790k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3278 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1242.54/1242.99 c 1191s| 3800k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3282 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1245.94/1246.36 c 1194s| 3810k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3287 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1249.25/1249.63 c 1197s| 3820k| 60 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3299 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1252.64/1253.05 c 1200s| 3830k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3305 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1256.04/1256.48 c 1203s| 3840k| 59 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3312 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1259.24/1259.61 c 1206s| 3850k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3319 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1262.13/1262.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.13/1262.53 c 1209s| 3860k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3324 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1265.03/1265.43 c 1212s| 3870k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3326 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1267.94/1268.33 c 1215s| 3880k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3330 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1270.93/1271.39 c 1218s| 3890k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3338 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1273.83/1274.29 c 1221s| 3900k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3341 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1276.83/1277.29 c 1223s| 3910k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3342 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1279.92/1280.39 c 1226s| 3920k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3344 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1283.03/1283.40 c 1229s| 3930k| 59 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3349 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1286.03/1286.46 c 1232s| 3940k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3358 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1289.13/1289.52 c 1235s| 3950k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3377 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1291.82/1292.27 c 1238s| 3960k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3384 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1294.83/1295.20 c 1240s| 3970k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3397 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1297.73/1298.17 c 1243s| 3980k| 57 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3401 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1300.62/1301.07 c 1246s| 3990k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3412 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1303.42/1303.87 c 1249s| 4000k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3424 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1306.43/1306.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.43/1306.87 c 1252s| 4010k| 58 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3436 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1309.42/1309.84 c 1254s| 4020k| 59 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3442 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1312.42/1312.81 c 1257s| 4030k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3452 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1315.51/1315.95 c 1260s| 4040k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3459 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1318.72/1319.11 c 1263s| 4050k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3470 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1321.82/1322.27 c 1266s| 4060k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3482 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1325.12/1325.57 c 1269s| 4070k| 66 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3489 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1328.61/1329.01 c 1273s| 4080k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3492 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1331.72/1332.12 c 1276s| 4090k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3500 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1334.92/1335.37 c 1279s| 4100k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3507 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1338.32/1338.72 c 1282s| 4110k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3511 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1341.41/1341.89 c 1285s| 4120k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3519 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1344.61/1345.03 c 1288s| 4130k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3525 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1348.11/1348.52 c 1291s| 4140k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3535 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1351.52/1351.96 c 1295s| 4150k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3549 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1354.71/1355.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.71/1355.15 c 1298s| 4160k| 65 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3553 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1357.91/1358.37 c 1301s| 4170k| 63 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3557 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1361.21/1361.60 c 1304s| 4180k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3565 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1364.50/1364.93 c 1307s| 4190k| 59 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3569 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1367.70/1368.11 c 1310s| 4200k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3575 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1370.80/1371.26 c 1313s| 4210k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3577 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1374.10/1374.51 c 1316s| 4220k| 64 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3585 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1377.31/1377.74 c 1319s| 4230k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3593 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1380.40/1380.90 c 1322s| 4240k| 60 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3600 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1383.60/1384.01 c 1325s| 4250k| 61 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3607 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1386.60/1387.01 c 1328s| 4260k| 59 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3616 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1389.60/1390.06 c 1331s| 4270k| 62 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3620 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1392.80/1393.27 c 1334s| 4280k| 58 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3623 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1396.09/1396.51 c 1337s| 4290k| 60 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3625 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1399.19/1399.63 c 1340s| 4300k| 59 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3631 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1402.39/1402.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.39/1402.89 c 1343s| 4310k| 59 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3633 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1403.49/1403.92 o -92
1403.49/1403.92 c *1344s| 4313k| 71 | 0 | 0.0 | 37M| 97 | - |1000 | 15k| 0 | 0 | 0 |3638 | 0 |-9.990000e+02 |-9.200000e+01 | 90.79%
1405.70/1406.17 o -93
1405.70/1406.17 c *1347s| 4319k| 71 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3646 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
1405.90/1406.37 c 1347s| 4320k| 70 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3646 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
1409.19/1409.69 c 1350s| 4330k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3659 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
1412.39/1412.88 c 1353s| 4340k| 67 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3664 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
1415.79/1416.21 c 1356s| 4350k| 69 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3680 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
1419.19/1419.66 c 1360s| 4360k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3689 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
1422.69/1423.11 c 1363s| 4370k| 68 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3704 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
1425.59/1426.07 o -94
1425.59/1426.07 c *1366s| 4378k| 66 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3713 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1426.29/1426.76 c 1366s| 4380k| 67 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3715 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1429.70/1430.20 c 1370s| 4390k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3728 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1433.18/1433.62 c 1373s| 4400k| 66 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3738 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1436.58/1437.04 c 1376s| 4410k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3746 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1439.99/1440.46 c 1379s| 4420k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3757 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1443.18/1443.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.18/1443.62 c 1383s| 4430k| 68 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3759 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1446.29/1446.73 c 1385s| 4440k| 67 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3760 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1449.49/1449.91 c 1389s| 4450k| 66 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3766 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1452.69/1453.17 c 1392s| 4460k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3772 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1455.88/1456.35 c 1395s| 4470k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3777 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1459.08/1459.59 c 1398s| 4480k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3781 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1462.28/1462.76 c 1401s| 4490k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3785 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1465.37/1465.88 c 1404s| 4500k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3792 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1468.28/1468.73 c 1407s| 4510k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3796 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1471.38/1471.85 c 1409s| 4520k| 66 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3798 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1474.38/1474.81 c 1412s| 4530k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3798 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1477.37/1477.85 c 1415s| 4540k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3803 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1480.78/1481.21 c 1418s| 4550k| 66 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3811 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1483.97/1484.43 c 1421s| 4560k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3816 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1487.08/1487.56 c 1424s| 4570k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3821 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1490.37/1490.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1490.37/1490.85 c 1428s| 4580k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3828 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1493.57/1494.02 c 1431s| 4590k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3838 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1496.77/1497.24 c 1434s| 4600k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3845 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1499.77/1500.26 c 1437s| 4610k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3855 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1502.97/1503.47 c 1440s| 4620k| 66 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3862 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1506.16/1506.67 c 1443s| 4630k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3868 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1509.47/1509.92 c 1446s| 4640k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3881 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1512.66/1513.11 c 1449s| 4650k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3890 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1515.86/1516.30 c 1452s| 4660k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3899 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1518.86/1519.39 c 1455s| 4670k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3901 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1522.16/1522.66 c 1458s| 4680k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3904 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1525.37/1525.82 c 1461s| 4690k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3907 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1528.46/1528.99 c 1464s| 4700k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3915 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1531.66/1532.16 c 1467s| 4710k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3921 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1534.76/1535.25 c 1470s| 4720k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3931 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1537.86/1538.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.86/1538.36 c 1473s| 4730k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3933 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1541.06/1541.54 c 1476s| 4740k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3936 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1544.16/1544.61 c 1479s| 4750k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3941 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1547.26/1547.72 c 1482s| 4760k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3944 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1550.45/1550.98 c 1485s| 4770k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3949 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1553.56/1554.03 c 1488s| 4780k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3956 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1556.65/1557.18 c 1491s| 4790k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3958 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1559.85/1560.33 c 1494s| 4800k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3965 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1562.95/1563.47 c 1497s| 4810k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3969 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1566.15/1566.63 c 1500s| 4820k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3973 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1569.36/1569.88 c 1503s| 4830k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3976 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1572.56/1573.01 c 1506s| 4840k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3983 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1575.65/1576.18 c 1509s| 4850k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3990 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1578.75/1579.27 c 1512s| 4860k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3991 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1581.75/1582.28 c 1515s| 4870k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3998 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1584.75/1585.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.75/1585.27 c 1518s| 4880k| 67 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |3999 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1587.74/1588.29 c 1521s| 4890k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4002 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1590.74/1591.29 c 1524s| 4900k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4012 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1593.84/1594.30 c 1527s| 4910k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4016 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1596.85/1597.36 c 1530s| 4920k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4016 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1599.94/1600.42 c 1532s| 4930k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4022 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1602.94/1603.49 c 1535s| 4940k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4029 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1606.14/1606.67 c 1538s| 4950k| 59 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4029 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1609.04/1609.55 c 1541s| 4960k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4033 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1612.04/1612.58 c 1544s| 4970k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4035 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1615.13/1615.60 c 1547s| 4980k| 60 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4039 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1618.14/1618.66 c 1550s| 4990k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4047 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1621.23/1621.72 c 1553s| 5000k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4056 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1624.04/1624.56 c 1556s| 5010k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4061 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1627.04/1627.57 c 1558s| 5020k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4068 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1630.14/1630.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.14/1630.63 c 1561s| 5030k| 58 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4073 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1633.14/1633.67 c 1564s| 5040k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4081 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1636.23/1636.73 c 1567s| 5050k| 60 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4088 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1639.33/1639.81 c 1570s| 5060k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4090 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1642.33/1642.87 c 1573s| 5070k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4096 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1645.43/1645.96 c 1576s| 5080k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4103 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1648.33/1648.89 c 1579s| 5090k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4112 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1651.52/1652.01 c 1582s| 5100k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4115 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1654.53/1655.05 c 1585s| 5110k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4121 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1657.63/1658.12 c 1588s| 5120k| 60 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4128 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1660.73/1661.20 c 1591s| 5130k| 60 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4138 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1663.83/1664.30 c 1594s| 5140k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4145 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1667.02/1667.58 c 1597s| 5150k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4152 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1670.33/1670.84 c 1600s| 5160k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4154 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1673.42/1673.94 c 1603s| 5170k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4163 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1676.72/1677.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.72/1677.20 c 1606s| 5180k| 60 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4169 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1679.82/1680.36 c 1609s| 5190k| 66 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4175 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1683.02/1683.54 c 1612s| 5200k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4178 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1686.12/1686.60 c 1615s| 5210k| 59 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4182 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1689.32/1689.82 c 1618s| 5220k| 67 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4183 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1692.43/1692.92 c 1621s| 5230k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4189 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1695.32/1695.89 c 1624s| 5240k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4197 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1698.31/1698.84 c 1627s| 5250k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4204 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1701.41/1701.98 c 1630s| 5260k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4215 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1704.52/1705.08 c 1633s| 5270k| 68 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4218 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1707.82/1708.33 c 1636s| 5280k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4222 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1710.91/1711.41 c 1639s| 5290k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4227 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1714.01/1714.53 c 1642s| 5300k| 60 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4231 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1717.21/1717.73 c 1645s| 5310k| 59 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4239 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1720.41/1720.90 c 1648s| 5320k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4243 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1723.50/1724.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.50/1724.06 c 1651s| 5330k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4246 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1726.81/1727.30 c 1654s| 5340k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4252 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1730.00/1730.51 c 1657s| 5350k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4258 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1732.91/1733.45 c 1660s| 5360k| 60 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4260 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1736.01/1736.56 c 1663s| 5370k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4263 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1739.10/1739.69 c 1666s| 5380k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4265 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1742.20/1742.74 c 1669s| 5390k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4267 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1745.41/1745.93 c 1672s| 5400k| 60 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4271 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1748.51/1749.04 c 1675s| 5410k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4276 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1751.60/1752.17 c 1678s| 5420k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4282 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1754.80/1755.30 c 1681s| 5430k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4287 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1758.00/1758.57 c 1684s| 5440k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4291 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1761.10/1761.67 c 1687s| 5450k| 60 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4298 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1764.20/1764.79 c 1690s| 5460k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4304 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1767.40/1767.93 c 1693s| 5470k| 63 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4310 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1770.60/1771.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1770.60/1771.19 c 1696s| 5480k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4319 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1773.80/1774.32 c 1699s| 5490k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4329 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1776.99/1777.53 c 1702s| 5500k| 67 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4336 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1780.19/1780.77 c 1705s| 5510k| 67 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4342 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1783.29/1783.83 c 1708s| 5520k| 66 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4348 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1786.49/1787.03 c 1711s| 5530k| 62 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4354 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1789.59/1790.19 c 1714s| 5540k| 65 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4362 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1792.69/1793.27 c 1717s| 5550k| 61 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4373 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1795.90/1796.42 c 1720s| 5560k| 66 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4389 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1799.09/1799.67 c 1723s| 5570k| 64 | 0 | 0.0 | 38M| 97 | - |1000 | 15k| 0 | 0 | 0 |4398 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
1800.10/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.60 c
1800.10/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.60 c Solving Time (sec) : 1723.99
1800.10/1800.60 c Solving Nodes : 5572966
1800.10/1800.60 c Primal Bound : -9.40000000000000e+01 (9 solutions)
1800.10/1800.60 c Dual Bound : -9.99000000000000e+02
1800.10/1800.60 c Gap : 90.59 %
1800.10/1800.64 s SATISFIABLE
1800.10/1800.64 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
1800.10/1800.64 v -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.10/1800.64 v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.10/1800.64 v -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.10/1800.64 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.10/1800.64 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.10/1800.64 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 x853
1800.10/1800.64 v -x852 -x851 x850 -x849 -x848 -x847 x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832
1800.10/1800.64 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 -x817 -x816 -x815 x814 x813 -x812 -x811
1800.10/1800.64 v -x810 -x809 -x808 x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789
1800.10/1800.64 v x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 x772 -x771 -x770 -x769 -x768
1800.10/1800.64 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1800.10/1800.64 v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1800.10/1800.64 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1800.10/1800.64 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 x684
1800.10/1800.64 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1800.10/1800.64 v -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1800.10/1800.64 v -x641 -x640 -x639 -x638 x637 x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1800.10/1800.64 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1800.10/1800.64 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579
1800.10/1800.64 v -x578 -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1800.10/1800.64 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1800.10/1800.64 v -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1800.10/1800.64 v x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1800.10/1800.64 v -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474
1800.10/1800.64 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453
1800.10/1800.64 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 x435 -x434 -x433 -x432
1800.10/1800.64 v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1800.10/1800.64 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390
1800.10/1800.64 v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369
1800.10/1800.64 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1800.10/1800.64 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1800.10/1800.64 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1800.10/1800.64 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1800.10/1800.64 v x284 -x283 -x282 -x281 x280 -x279 x278 x277 -x276 -x275 -x274 -x273 x272 x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1800.10/1800.64 v x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1800.10/1800.64 v -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1800.10/1800.64 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.10/1800.64 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1800.10/1800.64 v -x178 -x177 -x176 -x175 x174 x173 -x172 x171 -x170 -x169 -x168 x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.10/1800.64 v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136
1800.10/1800.64 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115
1800.10/1800.64 v -x114 x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 x104 -x103 x102 -x101 -x100 -x99 x98 -x97 -x96 x95 -x94 -x93 -x92
1800.10/1800.64 v -x91 x90 x89 -x88 -x87 -x86 x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
1800.10/1800.64 v -x64 -x63 -x62 x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 -x45 x44 x43 -x42 -x41 -x40 -x39
1800.10/1800.64 v x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 x28 x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13
1800.10/1800.64 v -x12 x11 -x10 x9 x8 -x7 x6 -x5 x4 -x3 -x2 -x1
1800.10/1800.64 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.64 c Solving Time : 1723.99
1800.10/1800.64 c Original Problem :
1800.10/1800.64 c Problem name : HOME/instance-2663836-1276663496.opb
1800.10/1800.64 c Variables : 16772 (16772 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.64 c Constraints : 16772 initial, 16772 maximal
1800.10/1800.64 c Presolved Problem :
1800.10/1800.64 c Problem name : t_HOME/instance-2663836-1276663496.opb
1800.10/1800.64 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.64 c Constraints : 15772 initial, 15778 maximal
1800.10/1800.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.64 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.64 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.64 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.64 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.64 c probing : 0.09 0 0 0 0 0 0 0 0
1800.10/1800.64 c linear : 0.10 15772 0 0 15772 0 1000 0 0
1800.10/1800.64 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.10/1800.64 c root node : - 0 - - 0 - - - -
1800.10/1800.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.64 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.64 c logicor : 15772+ 0 5720115 0 7 12308 7063522 0 0 0
1800.10/1800.64 c countsols : 0 0 0 0 7 0 0 0 0 0
1800.10/1800.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.64 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.64 c logicor : 86.25 0.00 86.24 0.00 0.01
1800.10/1800.64 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.64 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.64 c vbounds : 5.07 2 0 0
1800.10/1800.64 c rootredcost : 4.49 0 0 0
1800.10/1800.64 c pseudoobj : 753.22 9858232 2342033 8400586
1800.10/1800.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.64 c propagation : 11.59 12308 4400 4400 76.1 0 0.0 -
1800.10/1800.64 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.64 c pseudo solution : 605.91 393448 0 0 0.0 0 0.0 -
1800.10/1800.64 c applied globally : - - - 4400 76.1 - - -
1800.10/1800.64 c applied locally : - - - 0 0.0 - - -
1800.10/1800.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.64 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.64 c redcost : 0.00 0 0 0 0 0
1800.10/1800.64 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.64 c intobj : 0.00 0 0 0 0 0
1800.10/1800.64 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.64 c gomory : 0.00 0 0 0 0 0
1800.10/1800.64 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.64 c cmir : 0.00 0 0 0 0 0
1800.10/1800.64 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.64 c clique : 0.00 0 0 0 0 0
1800.10/1800.64 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.64 c mcf : 0.00 0 0 0 0 0
1800.10/1800.64 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.64 c Pricers : Time Calls Vars
1800.10/1800.64 c problem variables: 0.00 0 0
1800.10/1800.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.64 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.64 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.64 c inference : 30.81 2827159 0 0 0 0 5654318
1800.10/1800.64 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.64 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.64 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.64 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.64 c random : 0.00 0 0 0 0 0 0
1800.10/1800.64 c Primal Heuristics : Time Calls Found
1800.10/1800.64 c LP solutions : 0.00 - 0
1800.10/1800.64 c pseudo solutions : 0.00 - 7
1800.10/1800.64 c oneopt : 3.39 0 0
1800.10/1800.64 c trivial : 0.04 2 2
1800.10/1800.64 c simplerounding : 0.00 0 0
1800.10/1800.64 c zirounding : 0.00 0 0
1800.10/1800.64 c rounding : 0.00 0 0
1800.10/1800.64 c shifting : 0.00 0 0
1800.10/1800.64 c intshifting : 0.00 0 0
1800.10/1800.64 c twoopt : 0.00 0 0
1800.10/1800.64 c fixandinfer : 0.00 0 0
1800.10/1800.64 c feaspump : 0.00 0 0
1800.10/1800.64 c coefdiving : 0.00 0 0
1800.10/1800.64 c pscostdiving : 0.00 0 0
1800.10/1800.64 c fracdiving : 0.00 0 0
1800.10/1800.64 c veclendiving : 0.00 0 0
1800.10/1800.64 c intdiving : 0.00 0 0
1800.10/1800.64 c actconsdiving : 0.00 0 0
1800.10/1800.64 c objpscostdiving : 0.00 0 0
1800.10/1800.64 c rootsoldiving : 0.00 0 0
1800.10/1800.64 c linesearchdiving : 0.00 0 0
1800.10/1800.64 c guideddiving : 0.00 0 0
1800.10/1800.64 c octane : 0.00 0 0
1800.10/1800.64 c rens : 0.00 0 0
1800.10/1800.64 c rins : 0.00 0 0
1800.10/1800.64 c localbranching : 0.00 0 0
1800.10/1800.64 c mutation : 0.00 0 0
1800.10/1800.64 c crossover : 0.00 0 0
1800.10/1800.64 c dins : 0.00 0 0
1800.10/1800.64 c undercover : 0.00 0 0
1800.10/1800.64 c nlp : 2.20 0 0
1800.10/1800.64 c trysol : 2.43 0 0
1800.10/1800.64 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.64 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.64 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.64 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.64 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.64 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.64 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.64 c (at root node) : - 0 0 0.00 -
1800.10/1800.64 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.64 c B&B Tree :
1800.10/1800.64 c number of runs : 1
1800.10/1800.64 c nodes : 5572966
1800.10/1800.64 c nodes (total) : 5572966
1800.10/1800.64 c nodes left : 64
1800.10/1800.64 c max depth : 97
1800.10/1800.64 c max depth (total): 97
1800.10/1800.64 c backtracks : 1387459 (24.9%)
1800.10/1800.64 c delayed cutoffs : 2754
1800.10/1800.64 c repropagations : 3845 (14366 domain reductions, 1989 cutoffs)
1800.10/1800.64 c avg switch length: 2.00
1800.10/1800.64 c switching time : 83.75
1800.10/1800.64 c Solution :
1800.10/1800.64 c Solutions found : 9 (8 improvements)
1800.10/1800.64 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1800.10/1800.64 c Primal Bound : -9.40000000000000e+01 (in run 1, after 4378001 nodes, 1365.65 seconds, depth 95, found by <relaxation>)
1800.10/1800.64 c Dual Bound : -9.99000000000000e+02
1800.10/1800.64 c Gap : 90.59 %
1800.10/1800.64 c Root Dual Bound : -1.00000000000000e+03
1800.10/1800.64 c Root Iterations : 0
1800.20/1800.73 c Time complete: 1800.22.