0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664084-1276508060.opb>
1.19/1.29 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80258 constraints
1.19/1.29 c problem read
1.19/1.29 c presolving settings loaded
1.19/1.30 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
1.38/1.50 o 0
1.38/1.50 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.38/1.50 c presolving:
2.49/2.56 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80258 upgd conss, 160516 impls, 0 clqs
4.29/4.38 c (2.8s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.29/4.38 c (2.8s) probing aborted: 100/100 successive totally useless probings
4.29/4.38 c presolving (2 rounds):
4.29/4.38 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.29/4.38 c 160516 implications, 0 cliques
4.29/4.38 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80258 constraints
4.29/4.38 c 80258 constraints of type <logicor>
4.29/4.38 c transformed objective value is always integral (scale: 1)
4.29/4.38 c Presolving Time: 2.67
4.29/4.38 c - non default parameters ----------------------------------------------------------------------
4.29/4.38 c # SCIP version 1.2.1.2
4.29/4.38 c
4.29/4.38 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.29/4.38 c # [type: int, range: [-1,2147483647], default: -1]
4.29/4.38 c conflict/interconss = 0
4.29/4.38 c
4.29/4.38 c # should binary conflicts be preferred?
4.29/4.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.29/4.38 c conflict/preferbinary = TRUE
4.29/4.38 c
4.29/4.38 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.29/4.38 c # [type: int, range: [-1,2147483647], default: 0]
4.29/4.38 c constraints/agelimit = 1
4.29/4.38 c
4.29/4.38 c # should enforcement of pseudo solution be disabled?
4.29/4.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.29/4.38 c constraints/disableenfops = TRUE
4.29/4.38 c
4.29/4.38 c # frequency for displaying node information lines
4.29/4.38 c # [type: int, range: [-1,2147483647], default: 100]
4.29/4.38 c display/freq = 10000
4.29/4.38 c
4.29/4.38 c # maximal time in seconds to run
4.29/4.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.29/4.38 c limits/time = 1798.72
4.29/4.38 c
4.29/4.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.29/4.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.29/4.38 c limits/memory = 1620
4.29/4.38 c
4.29/4.38 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.29/4.38 c # [type: int, range: [-1,2147483647], default: 1]
4.29/4.38 c lp/solvefreq = -1
4.29/4.38 c
4.29/4.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)
4.29/4.38 c # [type: char, range: {lafpsqd}, default: l]
4.29/4.38 c lp/pricing = a
4.29/4.38 c
4.29/4.38 c # should presolving try to simplify inequalities
4.29/4.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.29/4.38 c constraints/linear/simplifyinequalities = TRUE
4.29/4.38 c
4.29/4.38 c # should presolving try to simplify knapsacks
4.29/4.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.29/4.38 c constraints/knapsack/simplifyinequalities = TRUE
4.29/4.38 c
4.29/4.38 c # priority of node selection rule <dfs> in standard mode
4.29/4.38 c # [type: int, range: [-536870912,536870911], default: 0]
4.29/4.38 c nodeselection/dfs/stdpriority = 1000000
4.29/4.38 c
4.29/4.38 c -----------------------------------------------------------------------------------------------
4.29/4.38 c start solving
4.29/4.39 c
4.40/4.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.40/4.41 c t 2.8s| 1 | 2 | 0 | - | 56M| 0 | - |1150 | 80k| 0 | 0 | 0 | 0 | 0 |-1.150000e+03 | 0.000000e+00 | 100.00%
4.40/4.44 o -33
4.40/4.44 c * 2.8s| 34 | 29 | 0 | 0.0 | 57M| 33 | - |1150 | 80k| 0 | 0 | 0 | 0 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
4.40/4.46 o -34
4.40/4.46 c * 2.9s| 49 | 30 | 0 | 0.0 | 57M| 36 | - |1150 | 80k| 0 | 0 | 0 | 0 | 0 |-1.149000e+03 |-3.400000e+01 | 97.04%
4.49/4.53 o -35
4.49/4.53 c * 2.9s| 147 | 31 | 0 | 0.0 | 57M| 39 | - |1150 | 80k| 0 | 0 | 0 | 1 | 0 |-1.149000e+03 |-3.500000e+01 | 96.95%
10.90/10.96 c 9.2s| 10000 | 26 | 0 | 0.0 | 57M| 47 | - |1150 | 80k| 0 | 0 | 0 | 33 | 0 |-1.149000e+03 |-3.500000e+01 | 96.95%
17.49/17.53 c 15.7s| 20000 | 23 | 0 | 0.0 | 57M| 49 | - |1150 | 80k| 0 | 0 | 0 | 109 | 0 |-1.149000e+03 |-3.500000e+01 | 96.95%
23.99/24.05 c 22.1s| 30000 | 25 | 0 | 0.0 | 57M| 49 | - |1150 | 80k| 0 | 0 | 0 | 153 | 0 |-1.149000e+03 |-3.500000e+01 | 96.95%
30.58/30.61 c 28.5s| 40000 | 24 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 | 185 | 0 |-1.149000e+03 |-3.500000e+01 | 96.95%
37.17/37.23 c 35.0s| 50000 | 27 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 | 225 | 0 |-1.149000e+03 |-3.500000e+01 | 96.95%
43.47/43.54 o -36
43.47/43.54 c *41.2s| 59667 | 27 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 | 258 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
43.67/43.75 c 41.4s| 60000 | 26 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 | 259 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
50.37/50.46 c 47.9s| 70000 | 25 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 | 303 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
57.27/57.30 c 54.6s| 80000 | 28 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 | 353 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
64.07/64.13 c 61.3s| 90000 | 27 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 | 377 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
70.76/70.86 c 68.0s|100000 | 25 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 | 408 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
77.36/77.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.36/77.49 c 74.4s|110000 | 28 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 | 461 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
84.16/84.24 c 81.1s|120000 | 28 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 | 545 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
90.66/90.78 c 87.4s|130000 | 24 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 | 584 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
97.55/97.66 c 94.2s|140000 | 24 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 | 618 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
104.36/104.48 c 101s|150000 | 25 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 | 663 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
111.25/111.37 c 108s|160000 | 25 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 | 700 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
118.05/118.17 c 114s|170000 | 25 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 | 736 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
125.05/125.12 c 121s|180000 | 24 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 | 779 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
131.55/131.63 c 127s|190000 | 27 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 | 830 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
138.05/138.17 c 134s|200000 | 27 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 | 871 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
144.54/144.62 c 140s|210000 | 24 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 | 921 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
151.05/151.10 c 146s|220000 | 25 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 | 956 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
157.34/157.46 c 153s|230000 | 25 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1007 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
163.75/163.87 c 159s|240000 | 24 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1040 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
170.13/170.28 c 165s|250000 | 28 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1086 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
176.73/176.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.73/176.85 c 172s|260000 | 25 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1128 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
183.14/183.21 c 178s|270000 | 25 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1164 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
189.43/189.54 c 184s|280000 | 28 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1215 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
195.83/195.93 c 190s|290000 | 28 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1271 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
202.43/202.54 c 197s|300000 | 27 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1319 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
208.83/208.97 c 203s|310000 | 25 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1391 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
215.43/215.50 c 210s|320000 | 26 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1430 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
221.93/222.02 c 216s|330000 | 26 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |1486 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
228.42/228.54 c 222s|340000 | 23 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1533 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
234.51/234.64 c 228s|350000 | 26 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1588 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
240.91/241.06 c 235s|360000 | 28 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1640 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
247.42/247.56 c 241s|370000 | 25 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1685 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
253.91/254.06 c 247s|380000 | 28 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1742 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
260.40/260.59 c 254s|390000 | 27 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1789 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
267.01/267.13 c 260s|400000 | 26 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1830 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
273.50/273.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.50/273.63 c 267s|410000 | 25 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1875 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
280.00/280.14 c 273s|420000 | 24 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1918 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
286.50/286.65 c 279s|430000 | 26 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |1973 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
293.00/293.11 c 286s|440000 | 24 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |2025 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
299.39/299.53 c 292s|450000 | 23 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |2060 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
305.79/305.96 c 298s|460000 | 25 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |2110 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
312.20/312.34 c 304s|470000 | 22 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |2136 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
318.59/318.71 c 311s|480000 | 24 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |2176 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
325.08/325.23 c 317s|490000 | 23 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |2205 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
331.69/331.88 c 324s|500000 | 23 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |2240 | 0 |-1.149000e+03 |-3.600000e+01 | 96.87%
333.29/333.45 o -37
333.29/333.45 c * 325s|502415 | 26 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |2248 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
338.28/338.45 c 330s|510000 | 25 | 0 | 0.0 | 57M| 66 | - |1150 | 80k| 0 | 0 | 0 |2267 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
344.88/345.02 c 337s|520000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2313 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
351.38/351.60 c 343s|530000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2351 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
358.07/358.20 c 349s|540000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2384 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
364.67/364.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.67/364.88 c 356s|550000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2411 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
371.37/371.51 c 362s|560000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2435 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
377.97/378.10 c 369s|570000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2471 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
384.57/384.70 c 375s|580000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2501 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
391.27/391.46 c 382s|590000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2538 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
398.17/398.38 c 389s|600000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2573 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
405.17/405.30 c 396s|610000 | 22 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2603 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
411.76/411.97 c 402s|620000 | 22 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2638 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
418.36/418.57 c 409s|630000 | 27 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2662 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
424.85/425.05 c 415s|640000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2709 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
431.65/431.88 c 422s|650000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2753 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
438.46/438.65 c 428s|660000 | 23 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2805 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
445.15/445.34 c 435s|670000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2878 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
451.75/451.94 c 441s|680000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2930 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
458.15/458.32 c 448s|690000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |2984 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
464.65/464.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.65/464.87 c 454s|700000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3030 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
471.03/471.29 c 460s|710000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3073 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
477.44/477.67 c 467s|720000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3117 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
483.74/483.96 c 473s|730000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3151 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
490.13/490.36 c 479s|740000 | 23 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3172 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
496.63/496.81 c 485s|750000 | 27 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3203 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
503.43/503.61 c 492s|760000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3246 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
510.03/510.26 c 498s|770000 | 27 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3299 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
516.52/516.76 c 505s|780000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3333 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
522.72/522.93 c 511s|790000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3371 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
529.02/529.25 c 517s|800000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3395 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
535.53/535.75 c 523s|810000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3428 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
541.81/542.05 c 530s|820000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3448 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
548.42/548.69 c 536s|830000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3489 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
555.11/555.36 c 543s|840000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3523 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
561.82/562.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.82/562.05 c 549s|850000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3573 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
568.52/568.77 c 556s|860000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3620 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
575.01/575.27 c 562s|870000 | 27 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3675 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
581.20/581.50 c 568s|880000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3728 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
587.71/587.90 c 574s|890000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3786 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
594.30/594.50 c 581s|900000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3817 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
600.60/600.84 c 587s|910000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3846 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
607.10/607.30 c 593s|920000 | 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3885 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
613.30/613.59 c 600s|930000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3925 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
619.69/619.91 c 606s|940000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |3952 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
625.90/626.19 c 612s|950000 | 22 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4004 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
632.49/632.74 c 618s|960000 | 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4032 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
638.90/639.19 c 625s|970000 | 23 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4079 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
645.49/645.76 c 631s|980000 | 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4100 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
652.09/652.34 c 638s|990000 | 20 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4131 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
658.69/658.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
658.69/658.98 c 644s| 1000k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4152 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
665.49/665.73 c 651s| 1010k| 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4186 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
671.79/672.06 c 657s| 1020k| 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4226 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
678.39/678.70 c 663s| 1030k| 23 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4278 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
684.98/685.24 c 670s| 1040k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4298 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
691.27/691.54 c 676s| 1050k| 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4341 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
697.57/697.88 c 682s| 1060k| 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4367 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
703.87/704.11 c 688s| 1070k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4397 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
710.28/710.56 c 695s| 1080k| 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4431 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
716.77/717.03 c 701s| 1090k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4480 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
723.17/723.47 c 707s| 1100k| 23 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4521 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
729.56/729.89 c 713s| 1110k| 23 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4549 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
735.96/736.25 c 720s| 1120k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4599 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
742.36/742.63 c 726s| 1130k| 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4622 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
748.76/749.01 c 732s| 1140k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4651 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
755.15/755.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.15/755.48 c 739s| 1150k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4692 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
761.97/762.26 c 745s| 1160k| 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4721 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
768.75/769.08 c 752s| 1170k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4751 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
775.45/775.70 c 758s| 1180k| 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4786 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
781.75/782.05 c 765s| 1190k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4827 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
788.24/788.51 c 771s| 1200k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4866 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
794.54/794.86 c 777s| 1210k| 23 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4897 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
800.94/801.24 c 783s| 1220k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4950 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
807.44/807.77 c 790s| 1230k| 25 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |4977 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
813.84/814.14 c 796s| 1240k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |5011 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
820.25/820.55 c 802s| 1250k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |5050 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
826.64/826.93 c 809s| 1260k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |5096 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
832.93/833.20 c 815s| 1270k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |5131 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
839.23/839.50 c 821s| 1280k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |5176 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
845.64/845.96 c 827s| 1290k| 24 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |5214 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
852.13/852.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.13/852.41 c 834s| 1300k| 26 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |5253 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
858.52/858.84 c 840s| 1310k| 22 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |5282 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
865.02/865.35 c 846s| 1320k| 22 | 0 | 0.0 | 57M| 67 | - |1150 | 80k| 0 | 0 | 0 |5316 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
871.63/871.96 c 853s| 1330k| 24 | 0 | 0.0 | 57M| 70 | - |1150 | 80k| 0 | 0 | 0 |5358 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
878.12/878.47 c 859s| 1340k| 23 | 0 | 0.0 | 57M| 70 | - |1150 | 80k| 0 | 0 | 0 |5396 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
884.52/884.84 c 865s| 1350k| 22 | 0 | 0.0 | 57M| 70 | - |1150 | 80k| 0 | 0 | 0 |5434 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
891.22/891.57 c 872s| 1360k| 23 | 0 | 0.0 | 57M| 70 | - |1150 | 80k| 0 | 0 | 0 |5462 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
897.71/898.09 c 878s| 1370k| 22 | 0 | 0.0 | 57M| 70 | - |1150 | 80k| 0 | 0 | 0 |5487 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
904.12/904.45 c 884s| 1380k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5527 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
910.31/910.65 c 891s| 1390k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5573 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
916.60/916.93 c 897s| 1400k| 22 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5599 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
922.71/923.04 c 903s| 1410k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5620 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
929.11/929.42 c 909s| 1420k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5682 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
935.51/935.80 c 915s| 1430k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5759 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
941.81/942.18 c 921s| 1440k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5797 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
948.10/948.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.10/948.45 c 928s| 1450k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5829 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
954.40/954.78 c 934s| 1460k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5887 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
960.49/960.86 c 940s| 1470k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5925 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
966.51/966.81 c 945s| 1480k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |5976 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
972.59/972.95 c 951s| 1490k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6006 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
978.60/979.00 c 957s| 1500k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6044 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
984.49/984.88 c 963s| 1510k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6087 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
990.48/990.87 c 969s| 1520k| 22 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6126 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
996.19/996.59 c 975s| 1530k| 28 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6162 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1002.48/1002.86 c 981s| 1540k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6227 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1008.68/1009.03 c 987s| 1550k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6271 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1014.99/1015.32 c 993s| 1560k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6298 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1021.38/1021.77 c 999s| 1570k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6339 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1027.78/1028.18 c 1006s| 1580k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6390 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1034.08/1034.48 c 1012s| 1590k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6449 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1040.48/1040.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.48/1040.84 c 1018s| 1600k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6506 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1046.68/1047.05 c 1024s| 1610k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6561 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1052.87/1053.26 c 1030s| 1620k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6601 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1058.87/1059.30 c 1036s| 1630k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6629 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1064.97/1065.36 c 1042s| 1640k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6657 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1071.07/1071.41 c 1048s| 1650k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6684 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1077.07/1077.41 c 1054s| 1660k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6723 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1083.07/1083.46 c 1060s| 1670k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6776 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1089.16/1089.50 c 1065s| 1680k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6818 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1095.05/1095.43 c 1071s| 1690k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6856 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1101.15/1101.50 c 1077s| 1700k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6895 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1107.26/1107.70 c 1083s| 1710k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6947 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1113.36/1113.78 c 1089s| 1720k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |6980 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1119.25/1119.60 c 1095s| 1730k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7013 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1125.85/1126.25 c 1101s| 1740k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7062 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1132.35/1132.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.35/1132.73 c 1108s| 1750k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7088 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1138.94/1139.30 c 1114s| 1760k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7136 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1145.04/1145.45 c 1120s| 1770k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7185 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1151.15/1151.54 c 1126s| 1780k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7225 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1157.15/1157.55 c 1132s| 1790k| 22 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7287 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1163.45/1163.87 c 1138s| 1800k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7354 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1169.95/1170.30 c 1145s| 1810k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7384 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1176.04/1176.41 c 1151s| 1820k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7430 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1181.94/1182.37 c 1156s| 1830k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7469 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1188.13/1188.59 c 1162s| 1840k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7507 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1194.14/1194.56 c 1168s| 1850k| 22 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7545 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1200.13/1200.54 c 1174s| 1860k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7584 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1206.03/1206.48 c 1180s| 1870k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7602 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1212.23/1212.62 c 1186s| 1880k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7627 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1218.12/1218.55 c 1192s| 1890k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7715 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1224.32/1224.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.32/1224.74 c 1198s| 1900k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7743 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1230.22/1230.66 c 1204s| 1910k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7776 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1236.22/1236.69 c 1209s| 1920k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7818 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1242.71/1243.10 c 1216s| 1930k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7859 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1248.92/1249.34 c 1222s| 1940k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7898 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1255.31/1255.77 c 1228s| 1950k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7933 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1261.91/1262.35 c 1235s| 1960k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |7967 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1268.31/1268.73 c 1241s| 1970k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8007 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1274.61/1275.06 c 1247s| 1980k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8044 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1280.70/1281.19 c 1253s| 1990k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8079 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1286.90/1287.34 c 1259s| 2000k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8114 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1293.00/1293.46 c 1265s| 2010k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8154 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1299.20/1299.62 c 1271s| 2020k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8200 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1305.31/1305.72 c 1277s| 2030k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8230 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1311.59/1312.08 c 1283s| 2040k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8266 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1317.69/1318.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.69/1318.18 c 1289s| 2050k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8293 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1324.09/1324.55 c 1295s| 2060k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8343 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1330.39/1330.85 c 1302s| 2070k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8390 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1336.39/1336.84 c 1308s| 2080k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8446 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1342.49/1342.96 c 1314s| 2090k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8481 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1348.69/1349.12 c 1320s| 2100k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8524 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1354.98/1355.41 c 1326s| 2110k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8571 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1361.49/1361.97 c 1332s| 2120k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8622 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1368.08/1368.55 c 1339s| 2130k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8678 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1374.38/1374.89 c 1345s| 2140k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8714 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1380.98/1381.42 c 1351s| 2150k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8772 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1387.38/1387.80 c 1357s| 2160k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8809 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1393.57/1394.07 c 1364s| 2170k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8839 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1400.07/1400.50 c 1370s| 2180k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8875 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1406.17/1406.68 c 1376s| 2190k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8898 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1412.46/1412.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.46/1412.97 c 1382s| 2200k| 28 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8929 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1418.87/1419.33 c 1388s| 2210k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |8959 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1425.37/1425.89 c 1395s| 2220k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9002 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1431.67/1432.17 c 1401s| 2230k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9053 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1438.16/1438.63 c 1407s| 2240k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9091 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1444.46/1444.99 c 1413s| 2250k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9138 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1450.95/1451.46 c 1420s| 2260k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9183 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1457.56/1458.04 c 1426s| 2270k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9220 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1463.86/1464.39 c 1432s| 2280k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9259 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1470.55/1471.03 c 1439s| 2290k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9315 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1477.05/1477.52 c 1445s| 2300k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9355 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1483.36/1483.83 c 1451s| 2310k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9379 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1489.54/1490.03 c 1458s| 2320k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9423 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1495.74/1496.26 c 1464s| 2330k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9470 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1501.94/1502.45 c 1470s| 2340k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9501 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1508.34/1508.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.34/1508.90 c 1476s| 2350k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9576 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1514.64/1515.19 c 1482s| 2360k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9626 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1521.04/1521.52 c 1488s| 2370k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9668 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1527.34/1527.87 c 1495s| 2380k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9697 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1533.54/1534.02 c 1501s| 2390k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9751 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1539.94/1540.42 c 1507s| 2400k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9801 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1546.33/1546.82 c 1513s| 2410k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9838 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1552.64/1553.16 c 1519s| 2420k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9878 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1558.92/1559.48 c 1525s| 2430k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9904 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1565.42/1565.93 c 1532s| 2440k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9954 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1571.72/1572.20 c 1538s| 2450k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 |9994 | 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1578.03/1578.52 c 1544s| 2460k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1584.42/1584.92 c 1550s| 2470k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1590.71/1591.22 c 1557s| 2480k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1597.21/1597.75 c 1563s| 2490k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1603.60/1604.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.60/1604.10 c 1569s| 2500k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1609.70/1610.21 c 1575s| 2510k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1615.90/1616.40 c 1581s| 2520k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1621.79/1622.39 c 1587s| 2530k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1627.99/1628.58 c 1593s| 2540k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1634.39/1634.96 c 1599s| 2550k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1640.49/1641.00 c 1605s| 2560k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1646.68/1647.25 c 1611s| 2570k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1652.99/1653.55 c 1618s| 2580k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1659.29/1659.83 c 1624s| 2590k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1665.38/1665.92 c 1630s| 2600k| 22 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1671.58/1672.13 c 1636s| 2610k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1677.48/1678.03 c 1641s| 2620k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1683.59/1684.14 c 1647s| 2630k| 23 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1689.68/1690.24 c 1653s| 2640k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1695.68/1696.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1695.68/1696.27 c 1659s| 2650k| 22 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1701.87/1702.45 c 1665s| 2660k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1707.77/1708.32 c 1671s| 2670k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1713.97/1714.54 c 1677s| 2680k| 29 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1720.26/1720.82 c 1683s| 2690k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1726.66/1727.24 c 1690s| 2700k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1733.17/1733.70 c 1696s| 2710k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1739.46/1740.00 c 1702s| 2720k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1745.46/1746.04 c 1708s| 2730k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1751.96/1752.52 c 1714s| 2740k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1758.45/1759.08 c 1721s| 2750k| 24 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1764.65/1765.26 c 1727s| 2760k| 26 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1771.15/1771.72 c 1733s| 2770k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1777.24/1777.90 c 1739s| 2780k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1783.45/1784.04 c 1745s| 2790k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1789.64/1790.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.64/1790.27 c 1751s| 2800k| 27 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1795.65/1796.27 c 1757s| 2810k| 25 | 0 | 0.0 | 57M| 72 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.700000e+01 | 96.78%
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1761.49
1800.06/1800.61 c Solving Nodes : 2816878
1800.06/1800.61 c Primal Bound : -3.70000000000000e+01 (8 solutions)
1800.06/1800.61 c Dual Bound : -1.14900000000000e+03
1800.06/1800.61 c Gap : 96.78 %
1800.06/1800.66 s SATISFIABLE
1800.06/1800.66 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.06/1800.66 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.06/1800.66 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.06/1800.66 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
1800.06/1800.66 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
1800.06/1800.66 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.06/1800.66 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165
1800.06/1800.66 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.06/1800.66 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.06/1800.66 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.06/1800.66 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248
1800.06/1800.66 v -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269
1800.06/1800.66 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1800.06/1800.66 v -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311
1800.06/1800.66 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
1800.06/1800.66 v -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353
1800.06/1800.66 v -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
1800.06/1800.66 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.06/1800.66 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
1800.06/1800.66 v -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.06/1800.66 v -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1800.06/1800.66 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.06/1800.66 v x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.06/1800.66 v -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1800.06/1800.66 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542
1800.06/1800.66 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
1800.06/1800.66 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584
1800.06/1800.66 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
1800.06/1800.66 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626
1800.06/1800.66 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.06/1800.66 v -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
1800.06/1800.66 v -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.06/1800.66 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.06/1800.66 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.06/1800.66 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.06/1800.66 v -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1800.06/1800.66 v -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.06/1800.66 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1800.06/1800.66 v -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835
1800.06/1800.66 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856
1800.06/1800.66 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 x876 -x877 -x878
1800.06/1800.66 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1800.06/1800.66 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919
1800.06/1800.66 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1800.06/1800.66 v -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961
1800.06/1800.66 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
1800.06/1800.66 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
1800.06/1800.66 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
1800.06/1800.66 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038
1800.06/1800.66 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.06/1800.66 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.06/1800.66 v x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.06/1800.66 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.06/1800.66 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.06/1800.66 v -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.06/1800.66 v -x1147 -x1148 -x1149 -x1150
1800.06/1800.66 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.66 c Solving Time : 1761.49
1800.06/1800.66 c Original Problem :
1800.06/1800.66 c Problem name : HOME/instance-2664084-1276508060.opb
1800.06/1800.66 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.66 c Constraints : 80258 initial, 80258 maximal
1800.06/1800.66 c Presolved Problem :
1800.06/1800.66 c Problem name : t_HOME/instance-2664084-1276508060.opb
1800.06/1800.66 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.66 c Constraints : 80258 initial, 80271 maximal
1800.06/1800.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.66 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c probing : 1.69 0 0 0 0 0 0 0 0
1800.06/1800.66 c logicor : 0.23 0 0 0 0 0 0 0 0
1800.06/1800.66 c root node : - 0 - - 0 - - - -
1800.06/1800.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.66 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.66 c logicor : 80258+ 0 2701174 0 5 171274 4740680 0 0 0
1800.06/1800.66 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.06/1800.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.66 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.66 c logicor : 498.98 0.00 498.92 0.00 0.06
1800.06/1800.66 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.66 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.66 c vbounds : 2.34 2 0 0
1800.06/1800.66 c rootredcost : 2.40 0 0 0
1800.06/1800.66 c pseudoobj : 464.53 4232079 982236 1114786
1800.06/1800.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.66 c propagation : 252.21 171274 11610 11610 44.5 0 0.0 -
1800.06/1800.66 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.66 c pseudo solution : 470.71 252778 0 0 0.0 0 0.0 -
1800.06/1800.66 c applied globally : - - - 11610 44.5 - - -
1800.06/1800.66 c applied locally : - - - 0 0.0 - - -
1800.06/1800.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.66 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.66 c redcost : 0.00 0 0 0 0 0
1800.06/1800.66 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.66 c intobj : 0.00 0 0 0 0 0
1800.06/1800.66 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.66 c gomory : 0.00 0 0 0 0 0
1800.06/1800.66 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.66 c cmir : 0.00 0 0 0 0 0
1800.06/1800.66 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.66 c clique : 0.00 0 0 0 0 0
1800.06/1800.66 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.66 c mcf : 0.00 0 0 0 0 0
1800.06/1800.66 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.66 c Pricers : Time Calls Vars
1800.06/1800.66 c problem variables: 0.00 0 0
1800.06/1800.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.66 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.66 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.66 c inference : 16.80 1418308 0 0 0 0 2836616
1800.06/1800.66 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.66 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.66 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.66 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.66 c random : 0.00 0 0 0 0 0 0
1800.06/1800.66 c Primal Heuristics : Time Calls Found
1800.06/1800.66 c LP solutions : 0.00 - 0
1800.06/1800.66 c pseudo solutions : 0.00 - 5
1800.06/1800.66 c oneopt : 2.01 0 0
1800.06/1800.66 c trivial : 0.05 2 3
1800.06/1800.66 c simplerounding : 0.00 0 0
1800.06/1800.66 c zirounding : 0.00 0 0
1800.06/1800.66 c rounding : 0.00 0 0
1800.06/1800.66 c shifting : 0.00 0 0
1800.06/1800.66 c intshifting : 0.00 0 0
1800.06/1800.66 c twoopt : 0.00 0 0
1800.06/1800.66 c fixandinfer : 0.00 0 0
1800.06/1800.66 c feaspump : 0.00 0 0
1800.06/1800.66 c coefdiving : 0.00 0 0
1800.06/1800.66 c pscostdiving : 0.00 0 0
1800.06/1800.66 c fracdiving : 0.00 0 0
1800.06/1800.66 c veclendiving : 0.00 0 0
1800.06/1800.66 c intdiving : 0.00 0 0
1800.06/1800.66 c actconsdiving : 0.00 0 0
1800.06/1800.66 c objpscostdiving : 0.00 0 0
1800.06/1800.66 c rootsoldiving : 0.00 0 0
1800.06/1800.66 c linesearchdiving : 0.00 0 0
1800.06/1800.66 c guideddiving : 0.00 0 0
1800.06/1800.66 c octane : 0.00 0 0
1800.06/1800.66 c rens : 0.00 0 0
1800.06/1800.66 c rins : 0.00 0 0
1800.06/1800.66 c localbranching : 0.00 0 0
1800.06/1800.66 c mutation : 0.00 0 0
1800.06/1800.66 c crossover : 0.00 0 0
1800.06/1800.66 c dins : 0.00 0 0
1800.06/1800.66 c undercover : 0.00 0 0
1800.06/1800.66 c nlp : 1.64 0 0
1800.06/1800.66 c trysol : 1.32 0 0
1800.06/1800.66 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.66 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.66 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.66 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.66 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.66 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.66 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.66 c (at root node) : - 0 0 0.00 -
1800.06/1800.66 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.66 c B&B Tree :
1800.06/1800.66 c number of runs : 1
1800.06/1800.66 c nodes : 2816878
1800.06/1800.66 c nodes (total) : 2816878
1800.06/1800.66 c nodes left : 26
1800.06/1800.66 c max depth : 72
1800.06/1800.66 c max depth (total): 72
1800.06/1800.66 c backtracks : 481900 (17.1%)
1800.06/1800.66 c delayed cutoffs : 8360
1800.06/1800.66 c repropagations : 9693 (29359 domain reductions, 7723 cutoffs)
1800.06/1800.66 c avg switch length: 2.00
1800.06/1800.66 c switching time : 161.61
1800.06/1800.66 c Solution :
1800.06/1800.66 c Solutions found : 8 (6 improvements)
1800.06/1800.66 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1800.06/1800.66 c Primal Bound : -3.70000000000000e+01 (in run 1, after 502415 nodes, 325.20 seconds, depth 54, found by <relaxation>)
1800.06/1800.66 c Dual Bound : -1.14900000000000e+03
1800.06/1800.66 c Gap : 96.78 %
1800.06/1800.66 c Root Dual Bound : -1.15000000000000e+03
1800.06/1800.66 c Root Iterations : 0
1800.24/1800.83 c Time complete: 1800.27.