0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665612-1276491869.opb>
0.59/0.64 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41263 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.19/1.28 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41263 upgd conss, 82526 impls, 0 clqs
2.29/2.38 c (1.6s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.29/2.38 c (1.6s) probing aborted: 100/100 successive totally useless probings
2.29/2.38 c presolving (2 rounds):
2.29/2.38 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.29/2.38 c 82526 implications, 0 cliques
2.29/2.38 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41263 constraints
2.29/2.38 c 41263 constraints of type <logicor>
2.29/2.38 c transformed objective value is always integral (scale: 1)
2.29/2.38 c Presolving Time: 1.52
2.29/2.38 c - non default parameters ----------------------------------------------------------------------
2.29/2.38 c # SCIP version 1.2.1.2
2.29/2.38 c
2.29/2.38 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.29/2.38 c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.38 c conflict/interconss = 0
2.29/2.38 c
2.29/2.38 c # should binary conflicts be preferred?
2.29/2.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.38 c conflict/preferbinary = TRUE
2.29/2.38 c
2.29/2.38 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.29/2.38 c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.38 c constraints/agelimit = 1
2.29/2.38 c
2.29/2.38 c # should enforcement of pseudo solution be disabled?
2.29/2.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.38 c constraints/disableenfops = TRUE
2.29/2.38 c
2.29/2.38 c # frequency for displaying node information lines
2.29/2.38 c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.38 c display/freq = 10000
2.29/2.38 c
2.29/2.38 c # maximal time in seconds to run
2.29/2.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.38 c limits/time = 1799.36
2.29/2.38 c
2.29/2.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.38 c limits/memory = 1620
2.29/2.38 c
2.29/2.38 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.29/2.38 c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.38 c lp/solvefreq = 0
2.29/2.38 c
2.29/2.38 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.29/2.38 c # [type: char, range: {lafpsqd}, default: l]
2.29/2.38 c lp/pricing = a
2.29/2.38 c
2.29/2.38 c # should presolving try to simplify inequalities
2.29/2.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.38 c constraints/linear/simplifyinequalities = TRUE
2.29/2.38 c
2.29/2.38 c # should presolving try to simplify knapsacks
2.29/2.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.38 c constraints/knapsack/simplifyinequalities = TRUE
2.29/2.38 c
2.29/2.38 c # priority of node selection rule <dfs> in standard mode
2.29/2.38 c # [type: int, range: [-536870912,536870911], default: 0]
2.29/2.38 c nodeselection/dfs/stdpriority = 1000000
2.29/2.38 c
2.29/2.38 c -----------------------------------------------------------------------------------------------
2.29/2.38 c start solving
2.29/2.39 c
2.89/2.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.97 c t 2.1s| 1 | 0 | 817 | - | 46M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | 100.00%
2.99/3.04 o -1
2.99/3.04 c R 2.2s| 1 | 0 | 817 | - | 46M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | 99.74%
6.69/6.77 c 5.8s| 1 | 0 | 1175 | - | 46M| 0 | 707 | 760 | 41k| 760 | 41k| 7 | 0 | 0 |-3.535000e+02 |-1.000000e+00 | 99.72%
6.79/6.81 o -28
6.79/6.81 c b 5.9s| 1 | 0 | 1175 | - | 46M| 0 | 707 | 760 | 41k| 760 | 41k| 7 | 0 | 0 |-3.535000e+02 |-2.800000e+01 | 92.08%
9.98/10.03 c 9.1s| 1 | 0 | 1420 | - | 46M| 0 | 674 | 760 | 41k| 760 | 41k| 12 | 0 | 0 |-3.370000e+02 |-2.800000e+01 | 91.69%
12.89/13.00 c 12.0s| 1 | 0 | 1622 | - | 46M| 0 | 640 | 760 | 41k| 760 | 41k| 17 | 0 | 0 |-3.200000e+02 |-2.800000e+01 | 91.25%
16.39/16.43 c 15.4s| 1 | 0 | 1846 | - | 46M| 0 | 610 | 760 | 41k| 760 | 41k| 26 | 0 | 0 |-3.050000e+02 |-2.800000e+01 | 90.82%
19.89/19.91 c 18.9s| 1 | 0 | 2056 | - | 46M| 0 | 576 | 760 | 41k| 760 | 41k| 31 | 0 | 0 |-2.880000e+02 |-2.800000e+01 | 90.28%
24.88/24.93 c 23.8s| 1 | 0 | 2409 | - | 46M| 0 | 539 | 760 | 41k| 760 | 41k| 38 | 0 | 0 |-2.695000e+02 |-2.800000e+01 | 89.61%
30.79/30.87 c 29.7s| 1 | 0 | 2907 | - | 46M| 0 | 506 | 760 | 41k| 760 | 41k| 46 | 0 | 0 |-2.517500e+02 |-2.800000e+01 | 88.88%
36.57/36.62 c 35.4s| 1 | 0 | 3349 | - | 46M| 0 | 471 | 760 | 41k| 760 | 41k| 57 | 0 | 0 |-2.355000e+02 |-2.800000e+01 | 88.11%
41.86/41.97 c 40.7s| 1 | 0 | 3750 | - | 46M| 0 | 438 | 760 | 41k| 760 | 41k| 61 | 0 | 0 |-2.190000e+02 |-2.800000e+01 | 87.21%
48.27/48.30 c 47.0s| 1 | 0 | 4376 | - | 46M| 0 | 389 | 760 | 41k| 760 | 41k| 71 | 0 | 0 |-1.945000e+02 |-2.800000e+01 | 85.60%
51.67/51.79 c 50.5s| 1 | 0 | 4866 | - | 46M| 0 | 357 | 760 | 41k| 760 | 41k| 76 | 0 | 0 |-1.785000e+02 |-2.800000e+01 | 84.31%
54.16/54.27 c 52.9s| 1 | 0 | 5254 | - | 46M| 0 | 322 | 760 | 41k| 760 | 41k| 83 | 0 | 0 |-1.610000e+02 |-2.800000e+01 | 82.61%
57.47/57.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.47/57.56 c 56.2s| 1 | 0 | 5833 | - | 46M| 0 | 287 | 760 | 41k| 760 | 41k| 89 | 0 | 0 |-1.435000e+02 |-2.800000e+01 | 80.49%
60.16/60.26 c 58.8s| 1 | 0 | 6298 | - | 46M| 0 | 252 | 760 | 41k| 760 | 41k| 93 | 0 | 0 |-1.260000e+02 |-2.800000e+01 | 77.78%
63.06/63.14 c 61.7s| 1 | 0 | 6917 | - | 46M| 0 | 217 | 760 | 41k| 760 | 41k| 101 | 0 | 0 |-1.085000e+02 |-2.800000e+01 | 74.19%
64.56/64.62 c 63.1s| 1 | 0 | 7243 | - | 46M| 0 | 188 | 760 | 41k| 760 | 41k| 109 | 0 | 0 |-9.150000e+01 |-2.800000e+01 | 69.40%
65.46/65.56 c 64.0s| 1 | 0 | 7470 | - | 46M| 0 | 158 | 760 | 41k| 760 | 41k| 115 | 0 | 0 |-7.600000e+01 |-2.800000e+01 | 63.16%
67.26/67.39 c 65.8s| 1 | 0 | 7909 | - | 46M| 0 | 147 | 760 | 41k| 760 | 41k| 122 | 0 | 0 |-6.750000e+01 |-2.800000e+01 | 58.52%
68.17/68.24 c 66.7s| 1 | 0 | 8104 | - | 46M| 0 | 130 | 760 | 41k| 760 | 41k| 132 | 0 | 0 |-5.950000e+01 |-2.800000e+01 | 52.94%
68.96/69.06 c 67.5s| 1 | 0 | 8315 | - | 46M| 0 | 123 | 760 | 41k| 760 | 41k| 137 | 0 | 0 |-5.350000e+01 |-2.800000e+01 | 47.66%
69.66/69.77 c 68.2s| 1 | 0 | 8533 | - | 46M| 0 | 123 | 760 | 41k| 760 | 41k| 143 | 0 | 0 |-4.850000e+01 |-2.800000e+01 | 42.27%
70.16/70.20 c 68.5s| 1 | 0 | 8653 | - | 46M| 0 | 117 | 760 | 41k| 760 | 41k| 155 | 0 | 0 |-4.350000e+01 |-2.800000e+01 | 35.63%
70.66/70.78 c 69.1s| 1 | 0 | 8824 | - | 46M| 0 | 116 | 760 | 41k| 760 | 41k| 166 | 0 | 0 |-4.200000e+01 |-2.800000e+01 | 33.33%
71.26/71.33 c 69.6s| 1 | 0 | 8977 | - | 47M| 0 | 125 | 760 | 41k| 760 | 41k| 179 | 0 | 0 |-4.087500e+01 |-2.800000e+01 | 31.50%
71.66/71.75 c 70.0s| 1 | 0 | 9061 | - | 47M| 0 | 128 | 760 | 41k| 760 | 41k| 194 | 0 | 0 |-4.075000e+01 |-2.800000e+01 | 31.29%
72.16/72.27 c 70.5s| 1 | 0 | 9180 | - | 47M| 0 | 119 | 760 | 41k| 760 | 41k| 209 | 0 | 0 |-4.066667e+01 |-2.800000e+01 | 31.15%
73.36/73.45 c 71.7s| 1 | 0 | 9379 | - | 47M| 0 | 129 | 760 | 41k| 760 | 41k| 222 | 0 | 0 |-4.050000e+01 |-2.800000e+01 | 30.86%
76.16/76.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.16/76.21 c 74.4s| 1 | 0 | 9720 | - | 47M| 0 | 172 | 760 | 41k| 760 | 41k| 232 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
77.76/77.85 c 76.0s| 1 | 0 | 10016 | - | 47M| 0 | 224 | 760 | 41k| 760 | 41k| 241 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
87.55/87.64 c 85.7s| 1 | 0 | 10125 | - | 47M| 0 | 240 | 760 | 41k| 760 | 41k| 251 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
98.65/98.73 c 96.7s| 1 | 0 | 10782 | - | 47M| 0 | 281 | 760 | 41k| 760 | 41k| 262 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
112.95/113.08 c 111s| 1 | 0 | 11533 | - | 47M| 0 | 244 | 760 | 41k| 760 | 41k| 270 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
125.75/125.87 c 124s| 1 | 0 | 12058 | - | 47M| 0 | 315 | 760 | 41k| 760 | 41k| 276 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
265.71/265.88 c 262s| 1 | 2 | 12058 | - | 47M| 0 | 315 | 760 | 41k| 760 | 41k| 276 | 0 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
269.51/269.61 c 266s| 10000 | 20 | 12058 | 0.0 | 47M| 41 | - | 760 | 41k| 0 | 0 | 276 | 52 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
273.20/273.34 c 269s| 20000 | 19 | 12058 | 0.0 | 47M| 41 | - | 760 | 41k| 0 | 0 | 276 | 144 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
276.81/276.90 c 273s| 30000 | 17 | 12058 | 0.0 | 47M| 42 | - | 760 | 41k| 0 | 0 | 276 | 190 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
280.61/280.76 c 276s| 40000 | 19 | 12058 | 0.0 | 47M| 43 | - | 760 | 41k| 0 | 0 | 276 | 234 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
284.31/284.44 c 280s| 50000 | 18 | 12058 | 0.0 | 47M| 44 | - | 760 | 41k| 0 | 0 | 276 | 299 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
288.01/288.20 c 284s| 60000 | 16 | 12058 | 0.0 | 47M| 45 | - | 760 | 41k| 0 | 0 | 276 | 339 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
291.80/291.91 c 287s| 70000 | 19 | 12058 | 0.0 | 47M| 45 | - | 760 | 41k| 0 | 0 | 276 | 389 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
295.40/295.53 c 291s| 80000 | 19 | 12058 | 0.0 | 47M| 46 | - | 760 | 41k| 0 | 0 | 276 | 425 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
299.20/299.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.20/299.32 c 294s| 90000 | 18 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 | 471 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
302.90/303.04 c 298s|100000 | 20 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 | 518 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
306.60/306.76 c 302s|110000 | 20 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 | 572 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
310.30/310.41 c 305s|120000 | 18 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 | 659 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
313.89/314.09 c 309s|130000 | 17 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 | 732 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
317.80/317.95 c 312s|140000 | 17 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 | 790 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
321.49/321.67 c 316s|150000 | 18 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 | 849 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
325.20/325.33 c 319s|160000 | 20 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 | 897 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
328.99/329.11 c 323s|170000 | 20 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 | 962 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
332.69/332.84 c 327s|180000 | 20 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 |1026 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
336.29/336.46 c 330s|190000 | 21 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 |1076 | 33 |-4.000000e+01 |-2.800000e+01 | 30.00%
337.79/337.99 o -29
337.79/337.99 c * 332s|194239 | 20 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 |1107 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
340.09/340.21 c 334s|200000 | 20 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 |1180 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
343.79/343.91 c 337s|210000 | 18 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 |1226 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
347.50/347.66 c 341s|220000 | 19 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 |1277 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
351.19/351.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
351.19/351.33 c 345s|230000 | 20 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 |1325 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
354.78/354.90 c 348s|240000 | 17 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 |1363 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
358.28/358.46 c 351s|250000 | 23 | 12058 | 0.0 | 47M| 50 | - | 760 | 41k| 0 | 0 | 276 |1397 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
361.98/362.11 c 355s|260000 | 21 | 12058 | 0.0 | 47M| 51 | - | 760 | 41k| 0 | 0 | 276 |1440 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
365.68/365.82 c 359s|270000 | 18 | 12058 | 0.0 | 47M| 51 | - | 760 | 41k| 0 | 0 | 276 |1499 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
369.28/369.47 c 362s|280000 | 20 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |1579 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
372.98/373.19 c 366s|290000 | 19 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |1631 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
376.67/376.82 c 369s|300000 | 20 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |1698 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
380.28/380.44 c 373s|310000 | 17 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |1756 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
383.98/384.16 c 376s|320000 | 19 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |1810 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
387.57/387.79 c 380s|330000 | 18 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |1858 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
391.18/391.38 c 383s|340000 | 19 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |1906 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
394.98/395.11 c 387s|350000 | 20 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |1974 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
398.77/398.92 c 390s|360000 | 19 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |1998 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
402.48/402.63 c 394s|370000 | 19 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2034 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
406.17/406.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.17/406.33 c 398s|380000 | 17 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2066 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
409.97/410.12 c 401s|390000 | 18 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2138 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
413.67/413.85 c 405s|400000 | 19 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2190 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
417.17/417.37 c 408s|410000 | 17 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2231 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
420.76/420.96 c 412s|420000 | 17 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2251 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
424.47/424.62 c 415s|430000 | 19 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2305 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
428.06/428.29 c 419s|440000 | 18 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2373 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
431.86/432.09 c 422s|450000 | 18 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2412 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
435.57/435.72 c 426s|460000 | 18 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2526 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
439.16/439.31 c 429s|470000 | 17 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2553 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
442.76/442.95 c 433s|480000 | 19 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2625 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
446.46/446.66 c 437s|490000 | 19 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2660 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
450.26/450.43 c 440s|500000 | 18 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2718 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
454.06/454.24 c 444s|510000 | 17 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2809 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
457.76/457.90 c 447s|520000 | 17 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2869 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
461.25/461.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.25/461.44 c 451s|530000 | 16 | 12058 | 0.0 | 47M| 52 | - | 760 | 41k| 0 | 0 | 276 |2891 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
464.86/465.09 c 454s|540000 | 19 | 12058 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 276 |2926 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
468.55/468.79 c 458s|550000 | 17 | 12058 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 276 |3009 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
472.15/472.37 c 461s|560000 | 17 | 12058 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 276 |3054 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
475.86/476.01 c 465s|570000 | 16 | 12058 | 0.0 | 47M| 54 | - | 760 | 41k| 0 | 0 | 276 |3091 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
479.46/479.65 c 468s|580000 | 20 | 12058 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 276 |3133 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
483.25/483.42 c 472s|590000 | 19 | 12058 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 276 |3176 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
486.95/487.10 c 476s|600000 | 16 | 12058 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 276 |3219 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
490.54/490.78 c 479s|610000 | 19 | 12058 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 276 |3253 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
494.25/494.40 c 483s|620000 | 18 | 12058 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 276 |3299 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
497.95/498.10 c 486s|630000 | 16 | 12058 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 276 |3350 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
501.55/501.75 c 490s|640000 | 19 | 12058 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 276 |3435 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
505.14/505.39 c 493s|650000 | 17 | 12058 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 276 |3485 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
509.05/509.27 c 497s|660000 | 17 | 12058 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 276 |3536 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
512.74/512.93 c 500s|670000 | 17 | 12058 | 0.0 | 47M| 57 | - | 760 | 41k| 0 | 0 | 276 |3571 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
516.44/516.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.44/516.60 c 504s|680000 | 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |3630 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
520.05/520.26 c 507s|690000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |3669 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
523.64/523.85 c 511s|700000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |3716 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
527.24/527.44 c 514s|710000 | 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |3784 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
530.84/531.05 c 518s|720000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |3841 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
534.45/534.66 c 521s|730000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |3872 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
538.13/538.34 c 525s|740000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |3923 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
541.73/541.94 c 528s|750000 | 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |3958 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
545.24/545.45 c 532s|760000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4001 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
548.84/549.02 c 535s|770000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4042 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
552.43/552.68 c 539s|780000 | 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4093 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
556.23/556.43 c 542s|790000 | 16 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4165 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
559.83/560.08 c 546s|800000 | 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4225 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
563.63/563.85 c 549s|810000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4305 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
567.34/567.55 c 553s|820000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4350 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
570.92/571.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.92/571.15 c 556s|830000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4389 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
574.63/574.83 c 560s|840000 | 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4449 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
578.22/578.42 c 563s|850000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4481 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
581.82/582.06 c 567s|860000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4505 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
585.32/585.60 c 570s|870000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4551 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
588.92/589.11 c 574s|880000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4594 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
592.42/592.66 c 577s|890000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4634 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
596.12/596.36 c 581s|900000 | 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4689 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
599.82/600.02 c 584s|910000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4758 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
603.32/603.57 c 588s|920000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4793 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
606.92/607.11 c 591s|930000 | 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4836 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
610.41/610.67 c 595s|940000 | 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4879 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
614.02/614.21 c 598s|950000 | 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4913 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
617.52/617.77 c 601s|960000 | 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |4977 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
621.11/621.38 c 605s|970000 | 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5040 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
624.71/624.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.71/624.97 c 608s|980000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5091 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
628.31/628.55 c 612s|990000 | 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5135 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
631.81/632.07 c 615s| 1000k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5177 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
635.40/635.62 c 619s| 1010k| 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5218 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
639.01/639.28 c 622s| 1020k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5242 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
642.61/642.81 c 626s| 1030k| 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5281 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
646.31/646.51 c 629s| 1040k| 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5347 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
649.81/650.05 c 632s| 1050k| 22 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5397 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
653.50/653.71 c 636s| 1060k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5450 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
657.20/657.42 c 640s| 1070k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5510 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
660.81/661.04 c 643s| 1080k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5539 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
664.40/664.66 c 647s| 1090k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5575 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
667.90/668.18 c 650s| 1100k| 16 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5611 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
671.59/671.81 c 653s| 1110k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5651 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
675.10/675.35 c 657s| 1120k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5704 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
678.69/678.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.69/678.94 c 660s| 1130k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5748 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
682.30/682.52 c 664s| 1140k| 20 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5798 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
685.99/686.22 c 667s| 1150k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5829 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
689.70/689.95 c 671s| 1160k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5928 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
693.39/693.68 c 674s| 1170k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |5989 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
697.10/697.37 c 678s| 1180k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6047 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
700.79/701.05 c 682s| 1190k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6092 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
704.49/704.75 c 685s| 1200k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6125 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
708.19/708.42 c 689s| 1210k| 16 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6187 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
711.79/712.08 c 692s| 1220k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6232 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
715.49/715.79 c 696s| 1230k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6302 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
719.20/719.41 c 699s| 1240k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6344 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
722.68/722.96 c 703s| 1250k| 21 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6390 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
726.28/726.59 c 706s| 1260k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6428 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
729.88/730.15 c 710s| 1270k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6478 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
733.49/733.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.49/733.74 c 713s| 1280k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6531 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
737.08/737.33 c 717s| 1290k| 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6571 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
740.68/740.94 c 720s| 1300k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6618 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
744.38/744.64 c 724s| 1310k| 19 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6653 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
747.97/748.29 c 727s| 1320k| 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6695 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
751.78/752.04 c 731s| 1330k| 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6750 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
755.38/755.69 c 734s| 1340k| 18 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6816 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
758.97/759.28 c 738s| 1350k| 16 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6870 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
762.67/762.90 c 741s| 1360k| 17 | 12058 | 0.0 | 47M| 59 | - | 760 | 41k| 0 | 0 | 276 |6897 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
766.17/766.46 c 745s| 1370k| 18 | 12058 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 276 |6937 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
769.77/770.03 c 748s| 1380k| 17 | 12058 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 276 |6984 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
773.26/773.54 c 751s| 1390k| 21 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7001 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
776.87/777.16 c 755s| 1400k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7027 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
780.36/780.67 c 758s| 1410k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7078 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
783.87/784.11 c 762s| 1420k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7113 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
787.37/787.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.37/787.62 c 765s| 1430k| 16 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7141 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
790.77/791.05 c 768s| 1440k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7175 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
794.57/794.87 c 772s| 1450k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7220 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
798.27/798.55 c 776s| 1460k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7265 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
801.86/802.15 c 779s| 1470k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7343 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
805.56/805.81 c 783s| 1480k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7384 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
809.16/809.43 c 786s| 1490k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7421 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
812.86/813.11 c 790s| 1500k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7463 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
816.46/816.70 c 793s| 1510k| 16 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7494 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
819.95/820.29 c 797s| 1520k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7530 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
823.57/823.82 c 800s| 1530k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7560 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
827.05/827.34 c 803s| 1540k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7619 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
830.65/830.98 c 807s| 1550k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7664 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
834.15/834.45 c 810s| 1560k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7721 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
837.75/838.04 c 814s| 1570k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7755 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
841.26/841.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.26/841.55 c 817s| 1580k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7785 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
844.95/845.20 c 821s| 1590k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7834 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
848.54/848.85 c 824s| 1600k| 21 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7874 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
852.16/852.48 c 828s| 1610k| 21 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7928 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
855.75/856.01 c 831s| 1620k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7955 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
859.35/859.60 c 834s| 1630k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |7984 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
862.95/863.23 c 838s| 1640k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8026 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
866.45/866.79 c 841s| 1650k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8086 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
870.14/870.43 c 845s| 1660k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8133 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
873.74/874.08 c 848s| 1670k| 16 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8174 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
877.34/877.63 c 852s| 1680k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8210 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
880.94/881.20 c 855s| 1690k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8239 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
884.54/884.83 c 859s| 1700k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8261 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
888.24/888.51 c 862s| 1710k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8293 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
891.75/892.05 c 866s| 1720k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8328 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
895.34/895.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.34/895.65 c 869s| 1730k| 22 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8375 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
899.04/899.33 c 873s| 1740k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8408 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
902.64/902.94 c 876s| 1750k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8443 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
906.24/906.54 c 880s| 1760k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8478 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
909.83/910.16 c 883s| 1770k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8512 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
913.53/913.82 c 887s| 1780k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8551 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
917.03/917.39 c 890s| 1790k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8593 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
920.63/920.99 c 894s| 1800k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8622 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
924.33/924.61 c 897s| 1810k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8650 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
927.83/928.17 c 900s| 1820k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8690 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
931.63/931.90 c 904s| 1830k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8724 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
935.32/935.66 c 908s| 1840k| 20 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8748 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
939.13/939.41 c 911s| 1850k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8805 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
942.82/943.14 c 915s| 1860k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8848 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
946.53/946.83 c 918s| 1870k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8911 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
950.03/950.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.03/950.40 c 922s| 1880k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |8958 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
953.72/954.05 c 925s| 1890k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9007 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
957.22/957.58 c 929s| 1900k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9036 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
960.82/961.11 c 932s| 1910k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9067 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
964.43/964.71 c 936s| 1920k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9096 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
968.02/968.31 c 939s| 1930k| 19 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9112 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
971.72/972.04 c 943s| 1940k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9140 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
975.42/975.75 c 946s| 1950k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9182 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
979.11/979.41 c 950s| 1960k| 17 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9220 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
982.61/982.91 c 953s| 1970k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9247 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
986.11/986.50 c 957s| 1980k| 18 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9273 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
989.72/990.05 c 960s| 1990k| 16 | 12058 | 0.0 | 47M| 61 | - | 760 | 41k| 0 | 0 | 276 |9308 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
993.21/993.52 c 963s| 2000k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9358 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
996.71/997.09 c 967s| 2010k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9388 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1000.31/1000.65 c 970s| 2020k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9422 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1004.01/1004.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.01/1004.35 c 974s| 2030k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9490 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1007.81/1008.12 c 978s| 2040k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9528 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1011.50/1011.85 c 981s| 2050k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9566 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1015.20/1015.56 c 985s| 2060k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9607 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1018.91/1019.24 c 988s| 2070k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9639 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1022.50/1022.87 c 992s| 2080k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9685 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1026.20/1026.51 c 995s| 2090k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9744 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1029.80/1030.16 c 999s| 2100k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9792 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1033.40/1033.76 c 1002s| 2110k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9841 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1037.10/1037.40 c 1006s| 2120k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9886 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1040.69/1041.00 c 1009s| 2130k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9943 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1044.30/1044.62 c 1013s| 2140k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 |9972 | 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1047.90/1048.21 c 1016s| 2150k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1051.50/1051.83 c 1020s| 2160k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1055.10/1055.48 c 1023s| 2170k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1058.90/1059.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.90/1059.26 c 1027s| 2180k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1062.79/1063.12 c 1030s| 2190k| 22 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1066.60/1066.93 c 1034s| 2200k| 22 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1070.39/1070.77 c 1038s| 2210k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1074.29/1074.69 c 1042s| 2220k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1077.98/1078.34 c 1045s| 2230k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1081.79/1082.10 c 1049s| 2240k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1085.48/1085.86 c 1052s| 2250k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1089.19/1089.59 c 1056s| 2260k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1092.88/1093.29 c 1060s| 2270k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1096.58/1096.93 c 1063s| 2280k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1100.08/1100.48 c 1066s| 2290k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1103.78/1104.13 c 1070s| 2300k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1107.28/1107.66 c 1073s| 2310k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1110.88/1111.28 c 1077s| 2320k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1114.48/1114.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.48/1114.81 c 1080s| 2330k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1117.98/1118.38 c 1084s| 2340k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1121.68/1122.06 c 1087s| 2350k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 10k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1125.37/1125.73 c 1091s| 2360k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1128.98/1129.31 c 1094s| 2370k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1132.58/1132.96 c 1098s| 2380k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1136.07/1136.46 c 1101s| 2390k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1139.87/1140.20 c 1105s| 2400k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1143.47/1143.82 c 1108s| 2410k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1146.98/1147.39 c 1112s| 2420k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1150.67/1151.07 c 1115s| 2430k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1154.47/1154.87 c 1119s| 2440k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1158.16/1158.58 c 1122s| 2450k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1161.76/1162.14 c 1126s| 2460k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1165.36/1165.75 c 1129s| 2470k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1168.97/1169.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.97/1169.35 c 1133s| 2480k| 15 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1172.56/1172.93 c 1136s| 2490k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1176.26/1176.64 c 1140s| 2500k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1180.06/1180.46 c 1144s| 2510k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1183.76/1184.10 c 1147s| 2520k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1187.45/1187.89 c 1151s| 2530k| 23 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1191.15/1191.57 c 1154s| 2540k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1194.96/1195.31 c 1158s| 2550k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 11k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1198.45/1198.89 c 1161s| 2560k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1202.06/1202.47 c 1165s| 2570k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1205.55/1205.98 c 1168s| 2580k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1209.35/1209.74 c 1172s| 2590k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1213.05/1213.42 c 1175s| 2600k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1216.75/1217.12 c 1179s| 2610k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1220.45/1220.82 c 1183s| 2620k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1224.05/1224.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.05/1224.49 c 1186s| 2630k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1227.65/1228.02 c 1190s| 2640k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1231.15/1231.55 c 1193s| 2650k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1234.85/1235.28 c 1196s| 2660k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1238.55/1238.98 c 1200s| 2670k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1242.44/1242.81 c 1204s| 2680k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1246.25/1246.66 c 1208s| 2690k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1250.04/1250.47 c 1211s| 2700k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1253.84/1254.25 c 1215s| 2710k| 21 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1257.54/1257.96 c 1218s| 2720k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1261.44/1261.82 c 1222s| 2730k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1265.03/1265.43 c 1226s| 2740k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1268.64/1269.07 c 1229s| 2750k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 12k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1272.24/1272.70 c 1233s| 2760k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1275.93/1276.39 c 1236s| 2770k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1279.83/1280.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.83/1280.26 c 1240s| 2780k| 21 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1283.54/1283.96 c 1244s| 2790k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1287.13/1287.59 c 1247s| 2800k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1290.83/1291.26 c 1251s| 2810k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1294.62/1295.07 c 1254s| 2820k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1298.63/1299.00 c 1258s| 2830k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1302.43/1302.80 c 1262s| 2840k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1306.02/1306.45 c 1265s| 2850k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1309.82/1310.20 c 1269s| 2860k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1313.42/1313.88 c 1272s| 2870k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1317.22/1317.63 c 1276s| 2880k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1320.92/1321.32 c 1280s| 2890k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1324.52/1324.94 c 1283s| 2900k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1328.33/1328.77 c 1287s| 2910k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1332.21/1332.69 c 1291s| 2920k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1336.12/1336.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.12/1336.60 c 1294s| 2930k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1340.22/1340.61 c 1298s| 2940k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1344.21/1344.65 c 1302s| 2950k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 13k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1348.02/1348.40 c 1306s| 2960k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1351.61/1352.08 c 1309s| 2970k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1355.41/1355.89 c 1313s| 2980k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1359.21/1359.69 c 1317s| 2990k| 15 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1363.01/1363.43 c 1320s| 3000k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1366.70/1367.16 c 1324s| 3010k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1370.41/1370.89 c 1327s| 3020k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1374.21/1374.63 c 1331s| 3030k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1378.00/1378.45 c 1335s| 3040k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1381.80/1382.21 c 1338s| 3050k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1385.51/1385.98 c 1342s| 3060k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1389.30/1389.77 c 1346s| 3070k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1393.11/1393.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.11/1393.52 c 1349s| 3080k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1396.70/1397.18 c 1353s| 3090k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1400.50/1400.90 c 1356s| 3100k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1404.10/1404.56 c 1360s| 3110k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1407.69/1408.19 c 1363s| 3120k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 14k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1411.39/1411.89 c 1367s| 3130k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1415.09/1415.50 c 1371s| 3140k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1418.70/1419.11 c 1374s| 3150k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1422.19/1422.69 c 1377s| 3160k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1425.89/1426.30 c 1381s| 3170k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1429.29/1429.77 c 1384s| 3180k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1432.90/1433.32 c 1388s| 3190k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1436.39/1436.89 c 1391s| 3200k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1439.99/1440.47 c 1395s| 3210k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1443.48/1443.90 c 1398s| 3220k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1446.88/1447.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1446.88/1447.39 c 1401s| 3230k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1450.58/1451.02 c 1405s| 3240k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1454.19/1454.63 c 1408s| 3250k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1457.68/1458.10 c 1411s| 3260k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1461.19/1461.60 c 1415s| 3270k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1464.69/1465.15 c 1418s| 3280k| 22 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1467.88/1468.37 c 1421s| 3290k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1471.28/1471.73 c 1425s| 3300k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1474.48/1474.99 c 1428s| 3310k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1477.99/1478.44 c 1431s| 3320k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1481.48/1481.94 c 1434s| 3330k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1485.08/1485.52 c 1438s| 3340k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1488.57/1489.06 c 1441s| 3350k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1492.18/1492.66 c 1445s| 3360k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 15k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1495.87/1496.38 c 1448s| 3370k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1499.77/1500.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.77/1500.26 c 1452s| 3380k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1503.57/1504.05 c 1456s| 3390k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1507.17/1507.66 c 1459s| 3400k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1510.98/1511.46 c 1463s| 3410k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1514.66/1515.16 c 1466s| 3420k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1518.17/1518.67 c 1470s| 3430k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1521.76/1522.22 c 1473s| 3440k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1525.37/1525.85 c 1477s| 3450k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1528.87/1529.38 c 1480s| 3460k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1532.56/1533.04 c 1484s| 3470k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1536.17/1536.62 c 1487s| 3480k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1539.86/1540.31 c 1491s| 3490k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1543.46/1543.90 c 1494s| 3500k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1546.86/1547.34 c 1497s| 3510k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1550.47/1550.91 c 1501s| 3520k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1553.96/1554.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.96/1554.48 c 1504s| 3530k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1557.56/1558.01 c 1508s| 3540k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1561.06/1561.54 c 1511s| 3550k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1564.66/1565.10 c 1515s| 3560k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1568.06/1568.51 c 1518s| 3570k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1571.46/1571.97 c 1521s| 3580k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1575.05/1575.57 c 1525s| 3590k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 16k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1578.65/1579.18 c 1528s| 3600k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1582.25/1582.77 c 1532s| 3610k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1585.76/1586.26 c 1535s| 3620k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1589.35/1589.83 c 1538s| 3630k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1592.95/1593.43 c 1542s| 3640k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1596.54/1597.00 c 1545s| 3650k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1600.06/1600.55 c 1549s| 3660k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1603.74/1604.25 c 1552s| 3670k| 21 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1607.45/1607.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.45/1607.94 c 1556s| 3680k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1611.05/1611.59 c 1559s| 3690k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1614.74/1615.25 c 1563s| 3700k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1618.44/1618.94 c 1566s| 3710k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1621.95/1622.44 c 1570s| 3720k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1625.54/1626.09 c 1573s| 3730k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1629.44/1629.91 c 1577s| 3740k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1633.05/1633.59 c 1581s| 3750k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1636.73/1637.24 c 1584s| 3760k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1640.34/1640.84 c 1588s| 3770k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1643.83/1644.37 c 1591s| 3780k| 21 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1647.43/1647.96 c 1594s| 3790k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1651.13/1651.68 c 1598s| 3800k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1654.93/1655.47 c 1602s| 3810k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1658.73/1659.26 c 1605s| 3820k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 17k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1662.63/1663.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.63/1663.13 c 1609s| 3830k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1666.33/1666.86 c 1613s| 3840k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1670.03/1670.51 c 1616s| 3850k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1673.63/1674.19 c 1620s| 3860k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1677.43/1677.95 c 1623s| 3870k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1681.12/1681.64 c 1627s| 3880k| 15 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1684.73/1685.24 c 1630s| 3890k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1688.42/1688.94 c 1634s| 3900k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1692.02/1692.58 c 1637s| 3910k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1695.82/1696.31 c 1641s| 3920k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1699.32/1699.89 c 1644s| 3930k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1703.02/1703.59 c 1648s| 3940k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1706.73/1707.28 c 1652s| 3950k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1710.42/1710.93 c 1655s| 3960k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1714.11/1714.64 c 1659s| 3970k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1717.81/1718.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.81/1718.33 c 1662s| 3980k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1721.41/1721.96 c 1666s| 3990k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1725.11/1725.64 c 1669s| 4000k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1728.62/1729.20 c 1673s| 4010k| 15 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1732.11/1732.68 c 1676s| 4020k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 18k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1735.51/1736.01 c 1679s| 4030k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1739.10/1739.65 c 1683s| 4040k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1742.71/1743.26 c 1686s| 4050k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1746.11/1746.64 c 1690s| 4060k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1749.41/1749.91 c 1693s| 4070k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1752.92/1753.45 c 1696s| 4080k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1756.40/1756.90 c 1699s| 4090k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1759.70/1760.27 c 1703s| 4100k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1763.20/1763.71 c 1706s| 4110k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-2.900000e+01 | 27.50%
1766.01/1766.51 o -30
1766.01/1766.51 c *1709s| 4117k| 16 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1766.71/1767.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.71/1767.26 c 1709s| 4120k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1770.20/1770.71 c 1713s| 4130k| 19 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1773.80/1774.32 c 1716s| 4140k| 20 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1777.40/1777.94 c 1720s| 4150k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1781.19/1781.76 c 1723s| 4160k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1785.00/1785.56 c 1727s| 4170k| 21 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1788.59/1789.15 c 1730s| 4180k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1792.20/1792.79 c 1734s| 4190k| 18 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1795.89/1796.48 c 1738s| 4200k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1799.59/1800.13 c 1741s| 4210k| 17 | 12058 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 276 | 19k| 33 |-4.000000e+01 |-3.000000e+01 | 25.00%
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1741.47
1800.10/1800.61 c Solving Nodes : 4211300
1800.10/1800.61 c Primal Bound : -3.00000000000000e+01 (12 solutions)
1800.10/1800.61 c Dual Bound : -3.99999999999998e+01
1800.10/1800.61 c Gap : 25.00 %
1800.10/1800.63 s SATISFIABLE
1800.10/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.10/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.10/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.10/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.10/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.10/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.10/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.10/1800.63 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1800.10/1800.63 v -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.10/1800.63 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 x229
1800.10/1800.63 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1800.10/1800.63 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271
1800.10/1800.63 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1800.10/1800.63 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313
1800.10/1800.63 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334
1800.10/1800.63 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355
1800.10/1800.63 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.10/1800.63 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1800.10/1800.63 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418
1800.10/1800.63 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1800.10/1800.63 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1800.10/1800.63 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1800.10/1800.63 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502
1800.10/1800.63 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523
1800.10/1800.63 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1800.10/1800.63 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1800.10/1800.63 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586
1800.10/1800.63 v -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1800.10/1800.63 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.10/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.10/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.10/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.10/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.10/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.10/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.10/1800.63 v -x754 -x755 -x756 -x757 -x758 -x759 -x760
1800.10/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.63 c Solving Time : 1741.47
1800.10/1800.63 c Original Problem :
1800.10/1800.63 c Problem name : HOME/instance-2665612-1276491869.opb
1800.10/1800.63 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63 c Constraints : 41263 initial, 41263 maximal
1800.10/1800.63 c Presolved Problem :
1800.10/1800.63 c Problem name : t_HOME/instance-2665612-1276491869.opb
1800.10/1800.63 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63 c Constraints : 41263 initial, 41283 maximal
1800.10/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c probing : 1.02 0 0 0 0 0 0 0 0
1800.10/1800.63 c logicor : 0.13 0 0 0 0 0 0 0 0
1800.10/1800.63 c root node : - 0 - - 0 - - - -
1800.10/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.63 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.63 c logicor : 41263+ 33 4259561 0 2 363970 7249698 0 0 0
1800.10/1800.63 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.10/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.63 c integral : 133.75 0.00 0.00 133.75 0.00
1800.10/1800.63 c logicor : 469.13 0.24 468.87 0.00 0.02
1800.10/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.63 c vbounds : 3.08 2 0 0
1800.10/1800.63 c rootredcost : 3.22 2 0 0
1800.10/1800.63 c pseudoobj : 419.12 6562840 1490091 2246417
1800.10/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.63 c propagation : 284.63 363970 19926 19926 38.7 0 0.0 -
1800.10/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c pseudo solution : 242.26 254735 0 0 0.0 0 0.0 -
1800.10/1800.63 c applied globally : - - - 19926 38.7 - - -
1800.10/1800.63 c applied locally : - - - 0 0.0 - - -
1800.10/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.63 c cut pool : 0.00 32 - - 121 - (maximal pool size: 554)
1800.10/1800.63 c redcost : 0.01 33 0 0 0 0
1800.10/1800.63 c impliedbounds : 0.06 33 0 0 0 0
1800.10/1800.63 c intobj : 0.00 0 0 0 0 0
1800.10/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.63 c gomory : 40.85 33 0 0 15030 0
1800.10/1800.63 c strongcg : 2.35 20 0 0 10000 0
1800.10/1800.63 c cmir : 7.54 10 0 0 0 0
1800.10/1800.63 c flowcover : 8.02 10 0 0 0 0
1800.10/1800.63 c clique : 1.10 33 0 0 293 0
1800.10/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.63 c mcf : 0.07 1 0 0 0 0
1800.10/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.63 c Pricers : Time Calls Vars
1800.10/1800.63 c problem variables: 0.00 0 0
1800.10/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.63 c relpscost : 133.75 1 0 0 0 0 2
1800.10/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.63 c inference : 18.38 2115130 0 0 0 0 4230260
1800.10/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.63 c random : 0.00 0 0 0 0 0 0
1800.10/1800.63 c Primal Heuristics : Time Calls Found
1800.10/1800.63 c LP solutions : 0.00 - 0
1800.10/1800.63 c pseudo solutions : 0.00 - 2
1800.10/1800.63 c crossover : 0.00 0 0
1800.10/1800.63 c oneopt : 3.14 2 1
1800.10/1800.63 c trivial : 0.03 2 3
1800.10/1800.63 c simplerounding : 0.01 34 2
1800.10/1800.63 c zirounding : 0.02 1 1
1800.10/1800.63 c rounding : 0.73 34 1
1800.10/1800.63 c shifting : 0.98 34 1
1800.10/1800.63 c intshifting : 0.00 0 0
1800.10/1800.63 c twoopt : 0.00 0 0
1800.10/1800.63 c fixandinfer : 0.00 0 0
1800.10/1800.63 c feaspump : 0.00 0 0
1800.10/1800.63 c coefdiving : 0.00 0 0
1800.10/1800.63 c pscostdiving : 0.00 0 0
1800.10/1800.63 c fracdiving : 0.00 0 0
1800.10/1800.63 c veclendiving : 0.00 0 0
1800.10/1800.63 c intdiving : 0.00 0 0
1800.10/1800.63 c actconsdiving : 0.00 0 0
1800.10/1800.63 c objpscostdiving : 0.00 0 0
1800.10/1800.63 c rootsoldiving : 0.00 0 0
1800.10/1800.63 c linesearchdiving : 0.00 0 0
1800.10/1800.63 c guideddiving : 0.00 0 0
1800.10/1800.63 c octane : 0.00 0 0
1800.10/1800.63 c rens : 4.65 1 1
1800.10/1800.63 c rins : 0.00 0 0
1800.10/1800.63 c localbranching : 0.00 0 0
1800.10/1800.63 c mutation : 0.00 0 0
1800.10/1800.63 c dins : 0.00 0 0
1800.10/1800.63 c undercover : 0.00 0 0
1800.10/1800.63 c nlp : 1.85 0 0
1800.10/1800.63 c trysol : 2.10 0 0
1800.10/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.63 c primal LP : 0.15 0 0 0.00 0.00
1800.10/1800.63 c dual LP : 59.41 34 12058 354.65 202.96
1800.10/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.63 c strong branching : 133.74 33 22370 677.88 167.26
1800.10/1800.63 c (at root node) : - 33 22370 677.88 -
1800.10/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.63 c B&B Tree :
1800.10/1800.63 c number of runs : 1
1800.10/1800.63 c nodes : 4211300
1800.10/1800.63 c nodes (total) : 4211300
1800.10/1800.63 c nodes left : 18
1800.10/1800.63 c max depth : 62
1800.10/1800.63 c max depth (total): 62
1800.10/1800.63 c backtracks : 735518 (17.5%)
1800.10/1800.63 c delayed cutoffs : 13753
1800.10/1800.63 c repropagations : 16077 (53625 domain reductions, 12629 cutoffs)
1800.10/1800.63 c avg switch length: 2.00
1800.10/1800.63 c switching time : 148.79
1800.10/1800.63 c Solution :
1800.10/1800.63 c Solutions found : 12 (5 improvements)
1800.10/1800.63 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.10/1800.63 c Primal Bound : -3.00000000000000e+01 (in run 1, after 4117865 nodes, 1708.58 seconds, depth 54, found by <relaxation>)
1800.10/1800.63 c Dual Bound : -3.99999999999998e+01
1800.10/1800.63 c Gap : 25.00 %
1800.10/1800.63 c Root Dual Bound : -4.00000000000000e+01
1800.10/1800.63 c Root Iterations : 12058
1800.29/1800.80 c Time complete: 1800.29.