0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667043-1276492627.opb>
0.59/0.64 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41314 constraints
0.59/0.64 c problem read
0.59/0.64 c presolving settings loaded
0.69/0.75 o 0
0.69/0.75 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.69/0.75 c presolving:
1.29/1.30 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41314 upgd conss, 82628 impls, 0 clqs
2.39/2.43 c (1.6s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.43 c (1.6s) probing aborted: 100/100 successive totally useless probings
2.39/2.43 c presolving (2 rounds):
2.39/2.43 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.43 c 82628 implications, 0 cliques
2.39/2.43 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41314 constraints
2.39/2.43 c 41314 constraints of type <logicor>
2.39/2.43 c transformed objective value is always integral (scale: 1)
2.39/2.43 c Presolving Time: 1.56
2.39/2.43 c - non default parameters ----------------------------------------------------------------------
2.39/2.43 c # SCIP version 1.2.1.2
2.39/2.43 c
2.39/2.43 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.43 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.43 c conflict/interconss = 0
2.39/2.43 c
2.39/2.43 c # should binary conflicts be preferred?
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c conflict/preferbinary = TRUE
2.39/2.43 c
2.39/2.43 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.43 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.43 c constraints/agelimit = 1
2.39/2.43 c
2.39/2.43 c # should enforcement of pseudo solution be disabled?
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/disableenfops = TRUE
2.39/2.43 c
2.39/2.43 c # frequency for displaying node information lines
2.39/2.43 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.43 c display/freq = 10000
2.39/2.43 c
2.39/2.43 c # maximal time in seconds to run
2.39/2.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.43 c limits/time = 1799.36
2.39/2.43 c
2.39/2.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.43 c limits/memory = 1620
2.39/2.43 c
2.39/2.43 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.43 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.43 c lp/solvefreq = 0
2.39/2.43 c
2.39/2.43 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)
2.39/2.43 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.43 c lp/pricing = a
2.39/2.43 c
2.39/2.43 c # should presolving try to simplify inequalities
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/linear/simplifyinequalities = TRUE
2.39/2.43 c
2.39/2.43 c # should presolving try to simplify knapsacks
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.43 c
2.39/2.43 c # priority of node selection rule <dfs> in standard mode
2.39/2.43 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.43 c nodeselection/dfs/stdpriority = 1000000
2.39/2.43 c
2.39/2.43 c -----------------------------------------------------------------------------------------------
2.39/2.43 c start solving
2.39/2.44 c
4.09/4.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.19 c t 3.3s| 1 | 0 | 760 | - | 46M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | 100.00%
4.19/4.26 o -1
4.19/4.26 c R 3.4s| 1 | 0 | 760 | - | 46M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | 99.74%
4.29/4.35 o -2
4.29/4.35 c s 3.5s| 1 | 0 | 760 | - | 46M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | 99.47%
7.09/7.13 c 5.9s| 1 | 0 | 1005 | - | 46M| 0 | 710 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.550000e+02 |-2.000000e+00 | 99.44%
7.09/7.17 o -27
7.09/7.17 c b 6.0s| 1 | 0 | 1005 | - | 46M| 0 | 710 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.550000e+02 |-2.700000e+01 | 92.39%
9.80/9.87 c 8.4s| 1 | 0 | 1176 | - | 46M| 0 | 669 | 760 | 41k| 760 | 41k| 17 | 0 | 0 |-3.345000e+02 |-2.700000e+01 | 91.93%
13.59/13.67 c 11.9s| 1 | 0 | 1389 | - | 46M| 0 | 632 | 760 | 41k| 760 | 41k| 24 | 0 | 0 |-3.160000e+02 |-2.700000e+01 | 91.46%
17.60/17.65 c 15.6s| 1 | 0 | 1589 | - | 46M| 0 | 593 | 760 | 41k| 760 | 41k| 34 | 0 | 0 |-2.965000e+02 |-2.700000e+01 | 90.89%
21.89/21.96 c 19.6s| 1 | 0 | 1803 | - | 46M| 0 | 572 | 760 | 41k| 760 | 41k| 41 | 0 | 0 |-2.860000e+02 |-2.700000e+01 | 90.56%
26.19/26.29 c 23.7s| 1 | 0 | 2005 | - | 46M| 0 | 540 | 760 | 41k| 760 | 41k| 45 | 0 | 0 |-2.700000e+02 |-2.700000e+01 | 90.00%
30.69/30.72 c 27.9s| 1 | 0 | 2250 | - | 46M| 0 | 504 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-2.520000e+02 |-2.700000e+01 | 89.29%
35.19/35.28 c 32.2s| 1 | 0 | 2538 | - | 46M| 0 | 469 | 760 | 41k| 760 | 41k| 60 | 0 | 0 |-2.345000e+02 |-2.700000e+01 | 88.49%
39.98/40.05 c 36.7s| 1 | 0 | 2848 | - | 46M| 0 | 436 | 760 | 41k| 760 | 41k| 65 | 0 | 0 |-2.180000e+02 |-2.700000e+01 | 87.61%
44.68/44.76 c 41.1s| 1 | 0 | 3202 | - | 46M| 0 | 386 | 760 | 41k| 760 | 41k| 71 | 0 | 0 |-1.930000e+02 |-2.700000e+01 | 86.01%
47.68/47.73 c 43.8s| 1 | 0 | 3584 | - | 46M| 0 | 351 | 760 | 41k| 760 | 41k| 79 | 0 | 0 |-1.755000e+02 |-2.700000e+01 | 84.62%
50.48/50.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.48/50.50 c 46.3s| 1 | 0 | 3903 | - | 46M| 0 | 312 | 760 | 41k| 760 | 41k| 85 | 0 | 0 |-1.560000e+02 |-2.700000e+01 | 82.69%
53.08/53.18 c 48.7s| 1 | 0 | 4225 | - | 46M| 0 | 276 | 760 | 41k| 760 | 41k| 93 | 0 | 0 |-1.380000e+02 |-2.700000e+01 | 80.43%
55.58/55.61 c 50.9s| 1 | 0 | 4477 | - | 46M| 0 | 241 | 760 | 41k| 760 | 41k| 98 | 0 | 0 |-1.205000e+02 |-2.700000e+01 | 77.59%
58.48/58.56 c 53.6s| 1 | 0 | 4854 | - | 46M| 0 | 208 | 760 | 41k| 760 | 41k| 103 | 0 | 0 |-1.040000e+02 |-2.700000e+01 | 74.04%
61.37/61.40 c 56.1s| 1 | 0 | 5229 | - | 46M| 0 | 173 | 760 | 41k| 760 | 41k| 108 | 0 | 0 |-8.750000e+01 |-2.700000e+01 | 69.14%
64.78/64.83 c 59.3s| 1 | 0 | 5736 | - | 46M| 0 | 142 | 760 | 41k| 760 | 41k| 114 | 0 | 0 |-7.100000e+01 |-2.700000e+01 | 61.97%
67.08/67.17 c 61.4s| 1 | 0 | 6011 | - | 46M| 0 | 126 | 760 | 41k| 760 | 41k| 117 | 0 | 0 |-6.300000e+01 |-2.700000e+01 | 57.14%
68.87/68.92 c 62.9s| 1 | 0 | 6171 | - | 46M| 0 | 96 | 760 | 41k| 760 | 41k| 127 | 0 | 0 |-5.000000e+01 |-2.700000e+01 | 46.00%
71.17/71.25 c 64.9s| 1 | 0 | 6455 | - | 46M| 0 | 139 | 760 | 41k| 760 | 41k| 131 | 0 | 0 |-4.494444e+01 |-2.700000e+01 | 39.93%
72.87/72.92 c 66.4s| 1 | 0 | 6642 | - | 46M| 0 | 110 | 760 | 41k| 760 | 41k| 140 | 0 | 0 |-4.150000e+01 |-2.700000e+01 | 34.94%
73.77/73.82 c 67.2s| 1 | 0 | 6706 | - | 47M| 0 | 111 | 760 | 41k| 760 | 41k| 144 | 0 | 0 |-4.100000e+01 |-2.700000e+01 | 34.15%
75.17/75.25 c 68.5s| 1 | 0 | 6875 | - | 47M| 0 | 132 | 760 | 41k| 760 | 41k| 156 | 0 | 0 |-4.100000e+01 |-2.700000e+01 | 34.15%
79.27/79.33 c 71.8s| 1 | 0 | 7007 | - | 47M| 0 | 138 | 760 | 41k| 760 | 41k| 165 | 0 | 0 |-4.100000e+01 |-2.700000e+01 | 34.15%
96.67/96.78 c 85.5s| 1 | 0 | 7168 | - | 47M| 0 | 140 | 760 | 41k| 760 | 41k| 177 | 0 | 0 |-4.100000e+01 |-2.700000e+01 | 34.15%
114.37/114.44 c 99.5s| 1 | 0 | 7382 | - | 47M| 0 | 142 | 760 | 41k| 760 | 41k| 183 | 0 | 0 |-4.100000e+01 |-2.700000e+01 | 34.15%
132.05/132.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.05/132.11 c 114s| 1 | 0 | 7642 | - | 47M| 0 | 164 | 760 | 41k| 760 | 41k| 194 | 0 | 0 |-4.085714e+01 |-2.700000e+01 | 33.92%
152.34/152.45 c 130s| 1 | 0 | 7789 | - | 47M| 0 | 159 | 760 | 41k| 760 | 41k| 208 | 0 | 0 |-4.085714e+01 |-2.700000e+01 | 33.92%
155.74/155.89 c 133s| 1 | 0 | 8072 | - | 47M| 0 | 141 | 760 | 41k| 760 | 41k| 221 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
158.85/158.91 c 135s| 1 | 0 | 8309 | - | 47M| 0 | 155 | 760 | 41k| 760 | 41k| 235 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
178.15/178.26 c 151s| 1 | 0 | 8543 | - | 47M| 0 | 147 | 760 | 41k| 760 | 41k| 245 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
184.94/185.01 c 156s| 1 | 0 | 8712 | - | 47M| 0 | 159 | 760 | 41k| 760 | 41k| 256 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
202.25/202.35 c 170s| 1 | 0 | 8980 | - | 47M| 0 | 156 | 760 | 41k| 760 | 41k| 266 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
222.23/222.39 c 186s| 1 | 0 | 9229 | - | 47M| 0 | 142 | 760 | 41k| 760 | 41k| 277 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
280.91/281.08 c 244s| 1 | 2 | 9229 | - | 47M| 0 | 142 | 760 | 41k| 760 | 41k| 277 | 0 | 22 |-4.000000e+01 |-2.700000e+01 | 32.50%
281.01/281.13 o -28
281.01/281.13 c * 244s| 29 | 25 | 9229 | 0.0 | 47M| 28 | - | 760 | 41k| 0 | 0 | 277 | 0 | 22 |-4.000000e+01 |-2.800000e+01 | 30.00%
284.21/284.36 c 247s| 10000 | 16 | 9229 | 0.0 | 47M| 38 | - | 760 | 41k| 0 | 0 | 277 | 66 | 22 |-4.000000e+01 |-2.800000e+01 | 30.00%
285.81/286.00 o -29
285.81/286.00 c * 249s| 15130 | 18 | 9229 | 0.0 | 47M| 42 | - | 760 | 41k| 0 | 0 | 277 | 95 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
287.61/287.70 c 250s| 20000 | 19 | 9229 | 0.0 | 47M| 42 | - | 760 | 41k| 0 | 0 | 277 | 120 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
290.81/290.95 c 253s| 30000 | 17 | 9229 | 0.0 | 47M| 42 | - | 760 | 41k| 0 | 0 | 277 | 193 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
294.01/294.19 c 256s| 40000 | 18 | 9229 | 0.0 | 47M| 42 | - | 760 | 41k| 0 | 0 | 277 | 239 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
297.41/297.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.41/297.58 c 260s| 50000 | 18 | 9229 | 0.0 | 47M| 43 | - | 760 | 41k| 0 | 0 | 277 | 297 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
300.80/300.94 c 263s| 60000 | 20 | 9229 | 0.0 | 47M| 43 | - | 760 | 41k| 0 | 0 | 277 | 370 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
304.40/304.50 c 266s| 70000 | 19 | 9229 | 0.0 | 47M| 43 | - | 760 | 41k| 0 | 0 | 277 | 456 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
307.71/307.85 c 270s| 80000 | 18 | 9229 | 0.0 | 47M| 46 | - | 760 | 41k| 0 | 0 | 277 | 509 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
311.01/311.17 c 273s| 90000 | 20 | 9229 | 0.0 | 47M| 46 | - | 760 | 41k| 0 | 0 | 277 | 556 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
314.41/314.54 c 276s|100000 | 22 | 9229 | 0.0 | 47M| 48 | - | 760 | 41k| 0 | 0 | 277 | 613 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
317.60/317.75 c 279s|110000 | 17 | 9229 | 0.0 | 47M| 48 | - | 760 | 41k| 0 | 0 | 277 | 703 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
320.90/321.00 c 282s|120000 | 17 | 9229 | 0.0 | 47M| 48 | - | 760 | 41k| 0 | 0 | 277 | 803 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
324.10/324.23 c 285s|130000 | 18 | 9229 | 0.0 | 47M| 48 | - | 760 | 41k| 0 | 0 | 277 | 849 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
327.20/327.39 c 288s|140000 | 16 | 9229 | 0.0 | 47M| 51 | - | 760 | 41k| 0 | 0 | 277 | 901 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
330.40/330.58 c 291s|150000 | 18 | 9229 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 277 | 945 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
333.69/333.82 c 295s|160000 | 18 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 | 990 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
337.00/337.18 c 298s|170000 | 15 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1034 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
340.50/340.61 c 301s|180000 | 18 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1071 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
343.99/344.12 c 304s|190000 | 16 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1126 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
347.29/347.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.29/347.42 c 308s|200000 | 19 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1162 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
350.59/350.74 c 311s|210000 | 18 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1198 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
353.89/354.01 c 314s|220000 | 16 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1248 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
357.09/357.29 c 317s|230000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1292 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
360.49/360.67 c 320s|240000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1365 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
363.99/364.14 c 324s|250000 | 18 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1421 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
367.29/367.47 c 327s|260000 | 15 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1485 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
370.59/370.77 c 330s|270000 | 16 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1514 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
374.08/374.28 c 333s|280000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1579 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
377.58/377.78 c 337s|290000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1641 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
381.08/381.24 c 340s|300000 | 20 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1685 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
384.58/384.71 c 344s|310000 | 16 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1720 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
388.08/388.26 c 347s|320000 | 20 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1794 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
391.48/391.63 c 350s|330000 | 15 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1832 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
394.79/394.91 c 353s|340000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1887 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
398.09/398.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.09/398.27 c 357s|350000 | 19 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |1964 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
401.47/401.61 c 360s|360000 | 18 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2002 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
404.77/404.99 c 363s|370000 | 18 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2041 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
408.08/408.29 c 366s|380000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2112 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
411.57/411.72 c 369s|390000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2181 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
414.97/415.14 c 373s|400000 | 18 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2218 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
418.37/418.52 c 376s|410000 | 16 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2270 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
421.67/421.87 c 379s|420000 | 19 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2335 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
425.17/425.30 c 382s|430000 | 20 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2370 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
428.37/428.52 c 386s|440000 | 18 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2400 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
431.57/431.78 c 389s|450000 | 18 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2452 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
434.86/435.03 c 392s|460000 | 16 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2483 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
438.17/438.34 c 395s|470000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2538 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
441.36/441.56 c 398s|480000 | 19 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2570 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
444.56/444.77 c 401s|490000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2610 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
447.86/448.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.86/448.08 c 404s|500000 | 16 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2679 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
451.26/451.41 c 408s|510000 | 16 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2756 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
454.56/454.76 c 411s|520000 | 17 | 9229 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 277 |2808 | 22 |-4.000000e+01 |-2.900000e+01 | 27.50%
455.76/455.90 o -30
455.76/455.90 c * 412s|523475 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |2814 | 22 |-4.000000e+01 |-3.000000e+01 | 25.00%
457.96/458.17 c 414s|530000 | 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |2855 | 22 |-4.000000e+01 |-3.000000e+01 | 25.00%
458.47/458.68 o -31
458.47/458.68 c * 414s|531488 | 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |2870 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
461.36/461.50 c 417s|540000 | 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |2914 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
464.56/464.79 c 420s|550000 | 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |2953 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
468.06/468.20 c 424s|560000 | 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |2990 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
471.45/471.63 c 427s|570000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3046 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
474.75/474.96 c 430s|580000 | 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3081 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
478.05/478.20 c 433s|590000 | 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3129 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
481.35/481.54 c 436s|600000 | 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3207 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
484.65/484.89 c 440s|610000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3251 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
488.05/488.21 c 443s|620000 | 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3281 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
491.35/491.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.35/491.54 c 446s|630000 | 15 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3330 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
494.85/495.08 c 449s|640000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3361 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
498.35/498.52 c 453s|650000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3401 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
501.75/502.00 c 456s|660000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3447 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
505.24/505.45 c 459s|670000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3527 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
508.74/508.90 c 463s|680000 | 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3551 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
512.24/512.45 c 466s|690000 | 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3613 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
515.64/515.80 c 469s|700000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3673 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
519.14/519.30 c 473s|710000 | 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3712 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
522.84/523.06 c 476s|720000 | 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3751 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
526.43/526.63 c 480s|730000 | 15 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3797 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
530.05/530.22 c 483s|740000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3840 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
533.54/533.73 c 487s|750000 | 15 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3888 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
536.94/537.16 c 490s|760000 | 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3930 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
540.43/540.65 c 493s|770000 | 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3971 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
543.73/543.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.73/543.97 c 496s|780000 | 15 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |3997 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
547.24/547.42 c 500s|790000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4031 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
550.63/550.80 c 503s|800000 | 15 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4063 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
554.03/554.29 c 506s|810000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4164 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
557.44/557.69 c 510s|820000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4219 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
560.84/561.01 c 513s|830000 | 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4273 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
564.14/564.39 c 516s|840000 | 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4332 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
567.63/567.81 c 519s|850000 | 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4377 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
571.03/571.29 c 523s|860000 | 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4405 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
574.43/574.62 c 526s|870000 | 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4459 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
577.73/577.96 c 529s|880000 | 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4495 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
581.22/581.43 c 532s|890000 | 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4535 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
584.62/584.87 c 536s|900000 | 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4589 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
588.02/588.24 c 539s|910000 | 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4637 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
591.53/591.70 c 542s|920000 | 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4692 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
594.92/595.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.92/595.15 c 546s|930000 | 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4773 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
598.31/598.54 c 549s|940000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4820 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
601.71/601.96 c 552s|950000 | 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4861 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
605.01/605.28 c 555s|960000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4907 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
608.51/608.76 c 559s|970000 | 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4946 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
611.91/612.17 c 562s|980000 | 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |4989 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
615.31/615.55 c 565s|990000 | 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5027 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
618.71/618.98 c 568s| 1000k| 21 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5070 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
622.11/622.30 c 572s| 1010k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5106 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
625.62/625.81 c 575s| 1020k| 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5179 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
628.91/629.11 c 578s| 1030k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5231 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
632.31/632.56 c 582s| 1040k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5272 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
635.70/635.93 c 585s| 1050k| 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5327 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
639.00/639.27 c 588s| 1060k| 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5374 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
642.40/642.65 c 591s| 1070k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5447 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
645.70/645.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.70/645.95 c 594s| 1080k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5503 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
649.00/649.28 c 598s| 1090k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5555 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
652.60/652.80 c 601s| 1100k| 27 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5596 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
656.00/656.24 c 604s| 1110k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5633 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
659.50/659.77 c 608s| 1120k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5782 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
663.00/663.24 c 611s| 1130k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5876 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
666.40/666.64 c 614s| 1140k| 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5947 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
669.89/670.19 c 618s| 1150k| 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |5988 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
673.39/673.64 c 621s| 1160k| 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6044 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
676.80/677.10 c 624s| 1170k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6097 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
680.19/680.42 c 627s| 1180k| 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6173 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
683.59/683.81 c 631s| 1190k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6233 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
687.08/687.37 c 634s| 1200k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6257 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
690.69/690.97 c 638s| 1210k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6301 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
694.38/694.64 c 641s| 1220k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6349 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
697.98/698.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.98/698.27 c 645s| 1230k| 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6391 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
701.60/701.84 c 648s| 1240k| 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6440 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
705.08/705.36 c 651s| 1250k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6460 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
708.57/708.83 c 655s| 1260k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6489 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
711.88/712.17 c 658s| 1270k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6529 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
715.08/715.31 c 661s| 1280k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6575 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
718.37/718.63 c 664s| 1290k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6643 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
721.78/722.05 c 667s| 1300k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6695 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
725.27/725.52 c 671s| 1310k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6737 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
728.67/728.94 c 674s| 1320k| 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6768 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
731.97/732.29 c 677s| 1330k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6843 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
735.47/735.75 c 681s| 1340k| 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6894 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
738.88/739.20 c 684s| 1350k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6913 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
742.46/742.79 c 687s| 1360k| 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |6989 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
746.06/746.39 c 691s| 1370k| 21 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7042 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
749.67/749.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.67/749.93 c 694s| 1380k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7106 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
753.17/753.42 c 698s| 1390k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7131 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
756.67/756.90 c 701s| 1400k| 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7164 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
760.06/760.32 c 704s| 1410k| 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7205 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
763.36/763.68 c 708s| 1420k| 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7243 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
766.86/767.14 c 711s| 1430k| 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7270 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
770.36/770.68 c 714s| 1440k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7317 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
773.86/774.19 c 718s| 1450k| 15 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7359 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
777.37/777.63 c 721s| 1460k| 17 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7394 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
780.85/781.14 c 724s| 1470k| 20 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7429 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
784.25/784.56 c 728s| 1480k| 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7467 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
787.75/788.04 c 731s| 1490k| 19 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7520 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
791.16/791.42 c 734s| 1500k| 18 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7561 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
794.55/794.82 c 737s| 1510k| 16 | 9229 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 277 |7615 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
797.85/798.19 c 741s| 1520k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |7638 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
801.15/801.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.15/801.48 c 744s| 1530k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |7663 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
804.55/804.85 c 747s| 1540k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |7715 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
807.95/808.27 c 750s| 1550k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |7754 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
811.35/811.61 c 754s| 1560k| 21 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |7804 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
814.75/815.02 c 757s| 1570k| 20 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |7854 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
817.94/818.27 c 760s| 1580k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |7921 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
821.25/821.54 c 763s| 1590k| 15 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |7981 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
824.65/824.97 c 766s| 1600k| 16 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8036 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
828.06/828.37 c 770s| 1610k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8109 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
831.64/831.95 c 773s| 1620k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8156 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
834.94/835.23 c 776s| 1630k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8229 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
838.34/838.61 c 780s| 1640k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8279 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
841.64/841.90 c 783s| 1650k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8348 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
844.84/845.12 c 786s| 1660k| 16 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8386 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
848.24/848.55 c 789s| 1670k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8449 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
851.74/852.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.74/852.07 c 792s| 1680k| 20 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8496 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
855.24/855.58 c 796s| 1690k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8524 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
858.93/859.21 c 799s| 1700k| 15 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8574 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
862.44/862.72 c 803s| 1710k| 16 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8614 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
865.93/866.26 c 806s| 1720k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8660 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
869.43/869.75 c 809s| 1730k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8706 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
872.83/873.16 c 813s| 1740k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8746 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
876.44/876.71 c 816s| 1750k| 16 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8785 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
879.92/880.27 c 820s| 1760k| 20 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8814 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
883.33/883.66 c 823s| 1770k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8849 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
886.83/887.17 c 826s| 1780k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8896 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
890.32/890.64 c 829s| 1790k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8931 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
893.83/894.15 c 833s| 1800k| 16 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8957 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
897.23/897.57 c 836s| 1810k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |8998 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
900.72/901.08 c 840s| 1820k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9054 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
904.22/904.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.22/904.57 c 843s| 1830k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9084 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
907.92/908.24 c 846s| 1840k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9117 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
911.53/911.90 c 850s| 1850k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9159 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
915.12/915.42 c 853s| 1860k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9201 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
918.51/918.82 c 857s| 1870k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9237 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
921.92/922.26 c 860s| 1880k| 16 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9290 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
925.42/925.77 c 863s| 1890k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9320 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
929.02/929.35 c 867s| 1900k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9404 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
932.52/932.89 c 870s| 1910k| 15 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9453 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
936.22/936.58 c 874s| 1920k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9493 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
939.91/940.22 c 877s| 1930k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9556 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
943.42/943.70 c 881s| 1940k| 16 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9597 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
946.81/947.18 c 884s| 1950k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9669 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
950.31/950.64 c 887s| 1960k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9725 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
953.90/954.22 c 891s| 1970k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9793 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
957.31/957.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.31/957.67 c 894s| 1980k| 16 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9828 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
960.80/961.10 c 897s| 1990k| 20 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9879 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
964.20/964.60 c 901s| 2000k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9927 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
967.80/968.12 c 904s| 2010k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9972 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
971.10/971.45 c 907s| 2020k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 |9998 | 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
974.40/974.70 c 910s| 2030k| 16 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
977.70/978.09 c 914s| 2040k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
981.20/981.53 c 917s| 2050k| 22 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
984.70/985.07 c 920s| 2060k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
988.20/988.51 c 924s| 2070k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
991.60/991.95 c 927s| 2080k| 20 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
995.10/995.43 c 930s| 2090k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
998.59/998.91 c 934s| 2100k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1002.09/1002.44 c 937s| 2110k| 18 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1005.49/1005.84 c 940s| 2120k| 17 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1008.89/1009.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.89/1009.28 c 944s| 2130k| 19 | 9229 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1012.39/1012.75 c 947s| 2140k| 16 | 9229 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1015.99/1016.30 c 950s| 2150k| 18 | 9229 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1019.49/1019.86 c 954s| 2160k| 15 | 9229 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1022.98/1023.36 c 957s| 2170k| 17 | 9229 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1026.49/1026.85 c 960s| 2180k| 18 | 9229 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1029.98/1030.39 c 964s| 2190k| 17 | 9229 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1033.69/1034.03 c 967s| 2200k| 19 | 9229 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1037.08/1037.46 c 971s| 2210k| 16 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1040.48/1040.86 c 974s| 2220k| 16 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1043.88/1044.29 c 977s| 2230k| 16 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 10k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1047.37/1047.72 c 981s| 2240k| 18 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1050.68/1051.02 c 984s| 2250k| 17 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1054.08/1054.46 c 987s| 2260k| 18 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1057.48/1057.81 c 990s| 2270k| 17 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1060.78/1061.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.78/1061.17 c 993s| 2280k| 16 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1064.18/1064.58 c 997s| 2290k| 16 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1067.57/1067.93 c 1000s| 2300k| 16 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1071.08/1071.42 c 1003s| 2310k| 18 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1074.57/1074.98 c 1007s| 2320k| 17 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1078.17/1078.55 c 1010s| 2330k| 18 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1081.67/1082.05 c 1013s| 2340k| 17 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1085.17/1085.57 c 1017s| 2350k| 16 | 9229 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1088.68/1089.04 c 1020s| 2360k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1092.17/1092.53 c 1024s| 2370k| 14 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1095.66/1096.03 c 1027s| 2380k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1099.06/1099.40 c 1030s| 2390k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1102.47/1102.80 c 1033s| 2400k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1105.86/1106.22 c 1037s| 2410k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1109.36/1109.71 c 1040s| 2420k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1112.87/1113.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.87/1113.20 c 1043s| 2430k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1116.26/1116.63 c 1047s| 2440k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 11k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1119.75/1120.14 c 1050s| 2450k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1123.15/1123.55 c 1053s| 2460k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1126.76/1127.10 c 1057s| 2470k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1130.06/1130.48 c 1060s| 2480k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1133.46/1133.89 c 1063s| 2490k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1136.86/1137.22 c 1066s| 2500k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1140.26/1140.61 c 1070s| 2510k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1143.75/1144.12 c 1073s| 2520k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1147.25/1147.65 c 1077s| 2530k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1150.75/1151.16 c 1080s| 2540k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1154.35/1154.73 c 1083s| 2550k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1157.85/1158.22 c 1087s| 2560k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1161.35/1161.72 c 1090s| 2570k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1164.85/1165.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.85/1165.27 c 1093s| 2580k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1168.35/1168.75 c 1097s| 2590k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1171.55/1171.98 c 1100s| 2600k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1174.95/1175.31 c 1103s| 2610k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1178.34/1178.77 c 1106s| 2620k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 12k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1181.94/1182.30 c 1110s| 2630k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1185.45/1185.88 c 1113s| 2640k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1189.04/1189.41 c 1117s| 2650k| 22 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1192.64/1193.00 c 1120s| 2660k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1196.24/1196.68 c 1124s| 2670k| 21 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1199.84/1200.30 c 1127s| 2680k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1203.44/1203.80 c 1130s| 2690k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1206.83/1207.25 c 1134s| 2700k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1210.54/1210.91 c 1137s| 2710k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1214.13/1214.58 c 1141s| 2720k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1217.63/1218.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.63/1218.08 c 1144s| 2730k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1221.03/1221.47 c 1147s| 2740k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1224.53/1224.95 c 1151s| 2750k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1228.13/1228.55 c 1154s| 2760k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1231.64/1232.01 c 1158s| 2770k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1235.03/1235.49 c 1161s| 2780k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1238.62/1239.06 c 1164s| 2790k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1241.92/1242.40 c 1168s| 2800k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1245.33/1245.78 c 1171s| 2810k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 13k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1248.82/1249.27 c 1174s| 2820k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1252.22/1252.60 c 1177s| 2830k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1255.62/1256.07 c 1181s| 2840k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1259.02/1259.48 c 1184s| 2850k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1262.42/1262.88 c 1187s| 2860k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1265.82/1266.27 c 1190s| 2870k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1269.11/1269.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.11/1269.54 c 1194s| 2880k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1272.42/1272.87 c 1197s| 2890k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1275.72/1276.17 c 1200s| 2900k| 21 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1279.01/1279.46 c 1203s| 2910k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1282.22/1282.66 c 1206s| 2920k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1285.42/1285.88 c 1209s| 2930k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1288.71/1289.17 c 1212s| 2940k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1292.02/1292.50 c 1216s| 2950k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1295.31/1295.76 c 1219s| 2960k| 15 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1298.62/1299.08 c 1222s| 2970k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1302.01/1302.49 c 1225s| 2980k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1305.40/1305.86 c 1228s| 2990k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1308.81/1309.22 c 1232s| 3000k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1312.10/1312.57 c 1235s| 3010k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 14k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1315.60/1316.07 c 1238s| 3020k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1319.00/1319.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1319.00/1319.45 c 1242s| 3030k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1322.21/1322.66 c 1245s| 3040k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1325.51/1325.96 c 1248s| 3050k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1329.00/1329.47 c 1251s| 3060k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1332.40/1332.83 c 1254s| 3070k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1335.80/1336.28 c 1258s| 3080k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1339.30/1339.75 c 1261s| 3090k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1342.71/1343.18 c 1264s| 3100k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1346.10/1346.56 c 1268s| 3110k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1349.39/1349.86 c 1271s| 3120k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1352.70/1353.11 c 1274s| 3130k| 15 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1356.19/1356.60 c 1277s| 3140k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1359.40/1359.88 c 1280s| 3150k| 15 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1362.79/1363.26 c 1284s| 3160k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1366.09/1366.56 c 1287s| 3170k| 15 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1369.58/1370.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.58/1370.09 c 1290s| 3180k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1373.09/1373.56 c 1294s| 3190k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1376.49/1376.99 c 1297s| 3200k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1380.00/1380.48 c 1300s| 3210k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1383.48/1383.94 c 1303s| 3220k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1386.98/1387.43 c 1307s| 3230k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 15k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1390.48/1390.92 c 1310s| 3240k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1393.88/1394.38 c 1313s| 3250k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1397.48/1397.95 c 1317s| 3260k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1400.89/1401.39 c 1320s| 3270k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1404.37/1404.81 c 1324s| 3280k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1407.78/1408.29 c 1327s| 3290k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1411.38/1411.82 c 1330s| 3300k| 21 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1414.88/1415.32 c 1334s| 3310k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1418.38/1418.83 c 1337s| 3320k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1421.88/1422.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.88/1422.34 c 1340s| 3330k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1425.47/1426.00 c 1344s| 3340k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1429.17/1429.61 c 1347s| 3350k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1432.67/1433.19 c 1351s| 3360k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1436.27/1436.70 c 1354s| 3370k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1439.77/1440.29 c 1358s| 3380k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1443.27/1443.75 c 1361s| 3390k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1446.76/1447.28 c 1364s| 3400k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1450.37/1450.88 c 1368s| 3410k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1453.87/1454.39 c 1371s| 3420k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1457.46/1457.94 c 1375s| 3430k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1460.96/1461.42 c 1378s| 3440k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1464.46/1464.90 c 1381s| 3450k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1468.07/1468.52 c 1385s| 3460k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1471.56/1472.06 c 1388s| 3470k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1474.95/1475.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.95/1475.48 c 1392s| 3480k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 16k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1478.35/1478.82 c 1395s| 3490k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1481.96/1482.40 c 1398s| 3500k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1485.45/1485.92 c 1402s| 3510k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1489.05/1489.57 c 1405s| 3520k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1492.65/1493.11 c 1409s| 3530k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1496.05/1496.55 c 1412s| 3540k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1499.45/1499.95 c 1415s| 3550k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1502.85/1503.36 c 1418s| 3560k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1506.34/1506.80 c 1422s| 3570k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1509.85/1510.31 c 1425s| 3580k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1513.34/1513.80 c 1428s| 3590k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1516.75/1517.28 c 1432s| 3600k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1520.34/1520.84 c 1435s| 3610k| 14 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1523.74/1524.21 c 1438s| 3620k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1527.04/1527.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.04/1527.56 c 1442s| 3630k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1530.44/1530.99 c 1445s| 3640k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1534.14/1534.61 c 1448s| 3650k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1537.64/1538.13 c 1452s| 3660k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1541.24/1541.78 c 1455s| 3670k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1544.84/1545.36 c 1459s| 3680k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1548.44/1548.96 c 1462s| 3690k| 15 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1551.83/1552.39 c 1466s| 3700k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1555.33/1555.83 c 1469s| 3710k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1558.93/1559.49 c 1472s| 3720k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1562.43/1562.93 c 1476s| 3730k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1565.73/1566.24 c 1479s| 3740k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1569.13/1569.63 c 1482s| 3750k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 17k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1572.53/1573.08 c 1485s| 3760k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1575.93/1576.45 c 1489s| 3770k| 15 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1579.33/1579.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1579.33/1579.86 c 1492s| 3780k| 13 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1582.83/1583.35 c 1495s| 3790k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1586.32/1586.83 c 1499s| 3800k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1589.62/1590.18 c 1502s| 3810k| 21 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1593.12/1593.63 c 1505s| 3820k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1596.42/1596.99 c 1508s| 3830k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1599.72/1600.22 c 1512s| 3840k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1602.92/1603.46 c 1515s| 3850k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1606.32/1606.84 c 1518s| 3860k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1609.71/1610.26 c 1521s| 3870k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1613.23/1613.74 c 1525s| 3880k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1616.52/1617.03 c 1528s| 3890k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1619.92/1620.46 c 1531s| 3900k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1623.32/1623.83 c 1534s| 3910k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1626.81/1627.33 c 1538s| 3920k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1630.31/1630.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.31/1630.85 c 1541s| 3930k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 18k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1633.91/1634.40 c 1544s| 3940k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1637.41/1637.97 c 1548s| 3950k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1641.01/1641.52 c 1551s| 3960k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1644.51/1645.04 c 1555s| 3970k| 15 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1648.11/1648.62 c 1558s| 3980k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1651.62/1652.19 c 1562s| 3990k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1655.20/1655.72 c 1565s| 4000k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1658.80/1659.33 c 1568s| 4010k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1662.30/1662.89 c 1572s| 4020k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1666.01/1666.53 c 1575s| 4030k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1669.50/1670.03 c 1579s| 4040k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1673.00/1673.52 c 1582s| 4050k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1676.59/1677.11 c 1586s| 4060k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1680.09/1680.66 c 1589s| 4070k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1683.60/1684.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.60/1684.17 c 1592s| 4080k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1687.09/1687.61 c 1596s| 4090k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1690.49/1691.01 c 1599s| 4100k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 19k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1693.90/1694.45 c 1602s| 4110k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1697.29/1697.86 c 1605s| 4120k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1700.80/1701.32 c 1609s| 4130k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1704.29/1704.83 c 1612s| 4140k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1707.79/1708.35 c 1616s| 4150k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1711.29/1711.88 c 1619s| 4160k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1714.79/1715.37 c 1622s| 4170k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1718.29/1718.88 c 1626s| 4180k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1721.89/1722.42 c 1629s| 4190k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1725.40/1725.96 c 1633s| 4200k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1728.89/1729.44 c 1636s| 4210k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1732.28/1732.80 c 1639s| 4220k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1735.58/1736.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.58/1736.11 c 1642s| 4230k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1739.08/1739.62 c 1646s| 4240k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1742.58/1743.12 c 1649s| 4250k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1745.98/1746.56 c 1652s| 4260k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 20k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1749.48/1750.03 c 1656s| 4270k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1752.88/1753.40 c 1659s| 4280k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1756.48/1757.02 c 1662s| 4290k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1759.87/1760.47 c 1666s| 4300k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1763.47/1764.00 c 1669s| 4310k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1766.77/1767.38 c 1672s| 4320k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1770.38/1770.97 c 1676s| 4330k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1773.97/1774.55 c 1679s| 4340k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1777.47/1778.09 c 1683s| 4350k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1781.07/1781.60 c 1686s| 4360k| 20 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1784.47/1785.07 c 1689s| 4370k| 21 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1787.98/1788.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.98/1788.53 c 1693s| 4380k| 19 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1791.57/1792.10 c 1696s| 4390k| 16 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1794.97/1795.59 c 1700s| 4400k| 18 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1798.56/1799.15 c 1703s| 4410k| 17 | 9229 | 0.0 | 47M| 64 | - | 760 | 41k| 0 | 0 | 277 | 21k| 22 |-4.000000e+01 |-3.100000e+01 | 22.50%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1704.31
1800.07/1800.61 c Solving Nodes : 4414309
1800.07/1800.61 c Primal Bound : -3.10000000000000e+01 (16 solutions)
1800.07/1800.61 c Dual Bound : -4.00000000000000e+01
1800.07/1800.61 c Gap : 22.50 %
1800.07/1800.63 s SATISFIABLE
1800.07/1800.63 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.07/1800.63 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.07/1800.63 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78
1800.07/1800.63 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.07/1800.63 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.07/1800.63 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.07/1800.63 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.07/1800.63 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.07/1800.63 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.07/1800.63 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.07/1800.63 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.07/1800.63 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.07/1800.63 v -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.07/1800.63 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.07/1800.63 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.07/1800.63 v -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354
1800.07/1800.63 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375
1800.07/1800.63 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.07/1800.63 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.07/1800.63 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.07/1800.63 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.07/1800.63 v -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.07/1800.63 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501
1800.07/1800.63 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.07/1800.63 v -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.07/1800.63 v -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.07/1800.63 v -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.07/1800.63 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.07/1800.63 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.07/1800.63 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.07/1800.63 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.07/1800.63 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.07/1800.63 v -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711
1800.07/1800.63 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732
1800.07/1800.63 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.07/1800.63 v -x754 -x755 -x756 -x757 -x758 -x759 -x760
1800.07/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.63 c Solving Time : 1704.31
1800.07/1800.63 c Original Problem :
1800.07/1800.63 c Problem name : HOME/instance-2667043-1276492627.opb
1800.07/1800.63 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.63 c Constraints : 41314 initial, 41314 maximal
1800.07/1800.63 c Presolved Problem :
1800.07/1800.63 c Problem name : t_HOME/instance-2667043-1276492627.opb
1800.07/1800.63 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.63 c Constraints : 41314 initial, 41336 maximal
1800.07/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c probing : 1.04 0 0 0 0 0 0 0 0
1800.07/1800.63 c logicor : 0.13 0 0 0 0 0 0 0 0
1800.07/1800.63 c root node : - 0 - - 0 - - - -
1800.07/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.63 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.63 c logicor : 41314+ 34 4608393 0 4 366623 7966146 0 0 0
1800.07/1800.63 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.07/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.63 c integral : 56.47 0.00 0.00 56.47 0.00
1800.07/1800.63 c logicor : 488.33 0.25 488.04 0.00 0.04
1800.07/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.63 c vbounds : 3.35 2 0 0
1800.07/1800.63 c rootredcost : 3.43 4 0 0
1800.07/1800.63 c pseudoobj : 445.28 7115086 1660089 2897198
1800.07/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.63 c propagation : 279.93 366623 21711 21711 38.1 0 0.0 -
1800.07/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c pseudo solution : 160.21 185035 0 0 0.0 0 0.0 -
1800.07/1800.63 c applied globally : - - - 21711 38.1 - - -
1800.07/1800.63 c applied locally : - - - 0 0.0 - - -
1800.07/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.63 c cut pool : 0.00 33 - - 90 - (maximal pool size: 482)
1800.07/1800.63 c redcost : 0.00 34 0 0 0 0
1800.07/1800.63 c impliedbounds : 0.05 34 0 0 0 0
1800.07/1800.63 c intobj : 0.00 0 0 0 0 0
1800.07/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.63 c gomory : 114.16 34 0 0 14663 0
1800.07/1800.63 c strongcg : 8.06 20 0 0 10000 0
1800.07/1800.63 c cmir : 7.33 10 0 0 0 0
1800.07/1800.63 c flowcover : 7.65 10 0 0 0 0
1800.07/1800.63 c clique : 0.62 34 0 0 300 0
1800.07/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.63 c mcf : 0.06 1 0 0 0 0
1800.07/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.63 c Pricers : Time Calls Vars
1800.07/1800.63 c problem variables: 0.00 0 0
1800.07/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.63 c relpscost : 56.47 1 0 0 0 0 2
1800.07/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.63 c inference : 18.09 2215901 0 0 0 0 4431802
1800.07/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.64 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.64 c random : 0.00 0 0 0 0 0 0
1800.07/1800.64 c Primal Heuristics : Time Calls Found
1800.07/1800.64 c LP solutions : 0.00 - 0
1800.07/1800.64 c pseudo solutions : 0.00 - 4
1800.07/1800.64 c crossover : 0.00 0 0
1800.07/1800.64 c oneopt : 2.95 2 1
1800.07/1800.64 c trivial : 0.02 2 3
1800.07/1800.64 c simplerounding : 0.02 35 4
1800.07/1800.64 c zirounding : 0.02 1 1
1800.07/1800.64 c rounding : 0.73 35 1
1800.07/1800.64 c shifting : 0.96 35 1
1800.07/1800.64 c intshifting : 0.00 0 0
1800.07/1800.64 c twoopt : 0.00 0 0
1800.07/1800.64 c fixandinfer : 0.00 0 0
1800.07/1800.64 c feaspump : 0.00 0 0
1800.07/1800.64 c coefdiving : 0.00 0 0
1800.07/1800.64 c pscostdiving : 0.00 0 0
1800.07/1800.64 c fracdiving : 0.00 0 0
1800.07/1800.64 c veclendiving : 0.00 0 0
1800.07/1800.64 c intdiving : 0.00 0 0
1800.07/1800.64 c actconsdiving : 0.00 0 0
1800.07/1800.64 c objpscostdiving : 0.00 0 0
1800.07/1800.64 c rootsoldiving : 0.00 0 0
1800.07/1800.64 c linesearchdiving : 0.00 0 0
1800.07/1800.64 c guideddiving : 0.00 0 0
1800.07/1800.64 c octane : 0.00 0 0
1800.07/1800.64 c rens : 1.58 1 1
1800.07/1800.64 c rins : 0.00 0 0
1800.07/1800.64 c localbranching : 0.00 0 0
1800.07/1800.64 c mutation : 0.00 0 0
1800.07/1800.64 c dins : 0.00 0 0
1800.07/1800.64 c undercover : 0.00 0 0
1800.07/1800.64 c nlp : 1.99 0 0
1800.07/1800.64 c trysol : 2.13 0 0
1800.07/1800.64 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.64 c primal LP : 0.12 0 0 0.00 0.00
1800.07/1800.64 c dual LP : 43.48 35 9229 263.69 212.26
1800.07/1800.64 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.64 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.64 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.64 c strong branching : 56.47 22 11415 518.86 202.14
1800.07/1800.64 c (at root node) : - 22 11415 518.86 -
1800.07/1800.64 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.64 c B&B Tree :
1800.07/1800.64 c number of runs : 1
1800.07/1800.64 c nodes : 4414309
1800.07/1800.64 c nodes (total) : 4414309
1800.07/1800.64 c nodes left : 17
1800.07/1800.64 c max depth : 64
1800.07/1800.64 c max depth (total): 64
1800.07/1800.64 c backtracks : 778741 (17.6%)
1800.07/1800.64 c delayed cutoffs : 14890
1800.07/1800.64 c repropagations : 17033 (60743 domain reductions, 13344 cutoffs)
1800.07/1800.64 c avg switch length: 2.00
1800.07/1800.64 c switching time : 155.15
1800.07/1800.64 c Solution :
1800.07/1800.64 c Solutions found : 16 (8 improvements)
1800.07/1800.64 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1800.07/1800.64 c Primal Bound : -3.10000000000000e+01 (in run 1, after 531488 nodes, 414.46 seconds, depth 34, found by <relaxation>)
1800.07/1800.64 c Dual Bound : -4.00000000000000e+01
1800.07/1800.64 c Gap : 22.50 %
1800.07/1800.64 c Root Dual Bound : -4.00000000000000e+01
1800.07/1800.64 c Root Iterations : 9229
1800.26/1800.81 c Time complete: 1800.28.