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-2664061-1276497970.opb>
0.89/0.95 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
0.89/0.95 c problem read
0.89/0.95 c presolving settings loaded
0.89/0.95 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.00/1.10 o 0
1.00/1.10 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.00/1.10 c presolving:
1.79/1.87 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58245 upgd conss, 116490 impls, 0 clqs
3.30/3.32 c (2.1s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.30/3.32 c (2.1s) probing aborted: 100/100 successive totally useless probings
3.30/3.32 c presolving (2 rounds):
3.30/3.32 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.30/3.32 c 116490 implications, 0 cliques
3.30/3.32 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
3.30/3.32 c 58245 constraints of type <logicor>
3.30/3.32 c transformed objective value is always integral (scale: 1)
3.30/3.32 c Presolving Time: 2.06
3.30/3.32 c - non default parameters ----------------------------------------------------------------------
3.30/3.32 c # SCIP version 1.2.1.2
3.30/3.32 c
3.30/3.32 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.30/3.32 c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.32 c conflict/interconss = 0
3.30/3.32 c
3.30/3.32 c # should binary conflicts be preferred?
3.30/3.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.32 c conflict/preferbinary = TRUE
3.30/3.32 c
3.30/3.32 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.30/3.32 c # [type: int, range: [-1,2147483647], default: 0]
3.30/3.32 c constraints/agelimit = 1
3.30/3.32 c
3.30/3.32 c # should enforcement of pseudo solution be disabled?
3.30/3.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.32 c constraints/disableenfops = TRUE
3.30/3.32 c
3.30/3.32 c # frequency for displaying node information lines
3.30/3.32 c # [type: int, range: [-1,2147483647], default: 100]
3.30/3.32 c display/freq = 10000
3.30/3.32 c
3.30/3.32 c # maximal time in seconds to run
3.30/3.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.32 c limits/time = 1799.06
3.30/3.32 c
3.30/3.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.30/3.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.32 c limits/memory = 1620
3.30/3.32 c
3.30/3.32 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.30/3.32 c # [type: int, range: [-1,2147483647], default: 1]
3.30/3.32 c lp/solvefreq = -1
3.30/3.32 c
3.30/3.32 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)
3.30/3.32 c # [type: char, range: {lafpsqd}, default: l]
3.30/3.32 c lp/pricing = a
3.30/3.32 c
3.30/3.32 c # should presolving try to simplify inequalities
3.30/3.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.32 c constraints/linear/simplifyinequalities = TRUE
3.30/3.32 c
3.30/3.32 c # should presolving try to simplify knapsacks
3.30/3.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.32 c constraints/knapsack/simplifyinequalities = TRUE
3.30/3.32 c
3.30/3.32 c # priority of node selection rule <dfs> in standard mode
3.30/3.32 c # [type: int, range: [-536870912,536870911], default: 0]
3.30/3.32 c nodeselection/dfs/stdpriority = 1000000
3.30/3.32 c
3.30/3.32 c -----------------------------------------------------------------------------------------------
3.30/3.32 c start solving
3.30/3.32 c
3.30/3.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.34 c t 2.2s| 1 | 2 | 0 | - | 41M| 0 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.450000e+02 | 0.000000e+00 | 100.00%
3.30/3.37 o -28
3.30/3.37 c * 2.2s| 29 | 27 | 0 | 0.0 | 41M| 28 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.440000e+02 |-2.800000e+01 | 97.03%
3.30/3.38 o -29
3.30/3.38 c * 2.2s| 33 | 25 | 0 | 0.0 | 41M| 30 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.440000e+02 |-2.900000e+01 | 96.93%
3.39/3.41 o -30
3.39/3.41 c * 2.2s| 62 | 22 | 0 | 0.0 | 41M| 32 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.440000e+02 |-3.000000e+01 | 96.82%
3.79/3.89 o -31
3.79/3.89 c * 2.7s| 1110 | 23 | 0 | 0.0 | 41M| 36 | - | 945 | 58k| 0 | 0 | 0 | 1 | 0 |-9.440000e+02 |-3.100000e+01 | 96.72%
8.19/8.26 c 7.0s| 10000 | 21 | 0 | 0.0 | 41M| 47 | - | 945 | 58k| 0 | 0 | 0 | 22 | 0 |-9.440000e+02 |-3.100000e+01 | 96.72%
12.99/13.00 c 11.6s| 20000 | 25 | 0 | 0.0 | 41M| 47 | - | 945 | 58k| 0 | 0 | 0 | 64 | 0 |-9.440000e+02 |-3.100000e+01 | 96.72%
13.88/13.93 o -32
13.88/13.93 c *12.5s| 21945 | 24 | 0 | 0.0 | 41M| 47 | - | 945 | 58k| 0 | 0 | 0 | 75 | 0 |-9.440000e+02 |-3.200000e+01 | 96.61%
17.59/17.61 c 16.0s| 30000 | 24 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 112 | 0 |-9.440000e+02 |-3.200000e+01 | 96.61%
22.39/22.45 c 20.8s| 40000 | 21 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 142 | 0 |-9.440000e+02 |-3.200000e+01 | 96.61%
27.09/27.19 c 25.4s| 50000 | 22 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 198 | 0 |-9.440000e+02 |-3.200000e+01 | 96.61%
31.08/31.11 o -33
31.08/31.11 c *29.2s| 58132 | 22 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 240 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
31.98/32.00 c 30.1s| 60000 | 21 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 244 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
36.78/36.88 c 34.8s| 70000 | 20 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 267 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
41.69/41.78 c 39.6s| 80000 | 19 | 0 | 0.0 | 41M| 52 | - | 945 | 58k| 0 | 0 | 0 | 300 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
46.68/46.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.68/46.70 c 44.3s| 90000 | 23 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 362 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
51.59/51.61 c 49.1s|100000 | 23 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 423 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
56.38/56.48 c 53.9s|110000 | 22 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 486 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
61.18/61.27 c 58.5s|120000 | 21 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 522 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
66.18/66.25 c 63.4s|130000 | 20 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 550 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
70.98/71.00 c 68.0s|140000 | 20 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 584 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
75.78/75.86 c 72.7s|150000 | 23 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 632 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
80.67/80.75 c 77.4s|160000 | 22 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 672 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
85.48/85.52 c 82.0s|170000 | 21 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 736 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
90.27/90.30 c 86.7s|180000 | 22 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 778 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
95.17/95.23 c 91.5s|190000 | 22 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 823 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
100.17/100.24 c 96.3s|200000 | 20 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 895 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
104.96/105.08 c 101s|210000 | 20 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 921 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
110.07/110.10 c 106s|220000 | 21 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 951 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
114.87/114.97 c 111s|230000 | 22 | 0 | 0.0 | 41M| 56 | - | 945 | 58k| 0 | 0 | 0 | 982 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
119.67/119.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.67/119.76 c 115s|240000 | 22 | 0 | 0.0 | 41M| 56 | - | 945 | 58k| 0 | 0 | 0 |1005 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
124.36/124.48 c 120s|250000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1046 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
129.16/129.22 c 125s|260000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1075 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
133.96/134.01 c 129s|270000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1135 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
138.76/138.87 c 134s|280000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1177 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
143.56/143.63 c 138s|290000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1247 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
148.36/148.50 c 143s|300000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1279 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
153.35/153.50 c 148s|310000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1316 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
158.55/158.64 c 153s|320000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1363 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
163.35/163.46 c 158s|330000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1384 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
168.16/168.20 c 162s|340000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1427 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
172.95/173.07 c 167s|350000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1467 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
177.95/178.06 c 172s|360000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1499 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
183.05/183.12 c 177s|370000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1546 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
187.96/188.05 c 182s|380000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1570 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
192.95/193.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.95/193.07 c 187s|390000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1620 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
198.05/198.12 c 192s|400000 | 23 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1647 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
203.05/203.17 c 196s|410000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1672 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
207.94/208.04 c 201s|420000 | 23 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1701 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
212.75/212.80 c 206s|430000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1728 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
217.44/217.51 c 210s|440000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1769 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
222.24/222.30 c 215s|450000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1800 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
226.94/227.09 c 220s|460000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1839 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
231.74/231.88 c 224s|470000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1868 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
236.44/236.53 c 229s|480000 | 21 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |1896 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
241.23/241.36 c 234s|490000 | 21 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |1937 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
245.93/246.06 c 238s|500000 | 19 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |1968 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
250.74/250.88 c 243s|510000 | 22 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |2009 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
255.63/255.70 c 248s|520000 | 21 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |2068 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
260.13/260.30 c 252s|530000 | 20 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |2086 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
264.94/265.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.94/265.02 c 257s|540000 | 18 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |2124 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
269.53/269.66 c 261s|550000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2153 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
274.23/274.38 c 266s|560000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2178 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
279.13/279.21 c 270s|570000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2209 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
283.83/283.98 c 275s|580000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2245 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
288.53/288.62 c 280s|590000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2269 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
293.42/293.58 c 284s|600000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2307 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
298.52/298.66 c 289s|610000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2342 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
303.62/303.76 c 294s|620000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2365 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
308.51/308.66 c 299s|630000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2396 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
313.43/313.52 c 304s|640000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2429 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
318.22/318.37 c 308s|650000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2464 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
323.01/323.11 c 313s|660000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2503 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
327.81/327.97 c 318s|670000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2557 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
332.61/332.76 c 322s|680000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2640 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
337.41/337.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.41/337.55 c 327s|690000 | 23 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2677 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
342.22/342.34 c 332s|700000 | 23 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2713 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
346.72/346.89 c 336s|710000 | 18 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2755 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
351.61/351.74 c 341s|720000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2809 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
356.32/356.48 c 346s|730000 | 22 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2849 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
361.10/361.29 c 350s|740000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2900 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
365.90/366.08 c 355s|750000 | 22 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2938 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
370.91/371.01 c 360s|760000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2971 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
375.71/375.81 c 364s|770000 | 18 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3018 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
380.51/380.67 c 369s|780000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3038 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
385.30/385.46 c 374s|790000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3056 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
390.10/390.23 c 378s|800000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3084 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
395.00/395.14 c 383s|810000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3104 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
399.80/399.97 c 388s|820000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3154 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
404.61/404.80 c 392s|830000 | 18 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3177 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
409.49/409.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.49/409.61 c 397s|840000 | 21 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3205 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
414.20/414.36 c 402s|850000 | 20 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3228 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
418.90/419.08 c 406s|860000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3262 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
423.90/424.01 c 411s|870000 | 20 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3295 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
428.80/428.94 c 416s|880000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3334 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
433.49/433.64 c 421s|890000 | 20 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3361 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
438.29/438.46 c 425s|900000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3381 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
443.19/443.35 c 430s|910000 | 20 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3406 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
447.99/448.18 c 435s|920000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3429 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
452.88/453.07 c 439s|930000 | 17 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3460 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
457.59/457.75 c 444s|940000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3492 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
462.28/462.49 c 449s|950000 | 20 | 0 | 0.0 | 41M| 65 | - | 945 | 58k| 0 | 0 | 0 |3531 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
467.18/467.30 c 453s|960000 | 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3554 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
472.28/472.48 c 458s|970000 | 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3580 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
477.68/477.82 c 464s|980000 | 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3604 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
483.08/483.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.08/483.22 c 469s|990000 | 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3627 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
488.08/488.26 c 474s| 1000k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3650 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
493.28/493.49 c 479s| 1010k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3668 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
498.48/498.66 c 484s| 1020k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3684 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
503.77/504.00 c 489s| 1030k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3705 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
509.08/509.23 c 494s| 1040k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3722 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
514.67/514.81 c 500s| 1050k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3744 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
520.08/520.22 c 505s| 1060k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3763 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
524.86/525.06 c 510s| 1070k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3791 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
529.87/530.01 c 514s| 1080k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3816 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
534.86/535.01 c 519s| 1090k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3848 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
539.77/539.97 c 524s| 1100k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3886 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
544.87/545.00 c 529s| 1110k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3915 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
549.66/549.81 c 534s| 1120k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3940 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
554.37/554.50 c 538s| 1130k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3968 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
559.16/559.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.16/559.36 c 543s| 1140k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3994 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
564.16/564.33 c 548s| 1150k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4040 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
568.95/569.13 c 552s| 1160k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4065 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
573.65/573.86 c 557s| 1170k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4083 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
578.65/578.82 c 562s| 1180k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4136 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
583.75/583.92 c 567s| 1190k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4200 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
588.75/588.91 c 572s| 1200k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4217 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
593.76/593.90 c 577s| 1210k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4245 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
598.45/598.62 c 581s| 1220k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4272 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
603.25/603.43 c 586s| 1230k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4325 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
608.06/608.25 c 591s| 1240k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4347 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
612.95/613.10 c 595s| 1250k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4374 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
617.74/617.90 c 600s| 1260k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4391 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
622.35/622.56 c 604s| 1270k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4409 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
627.15/627.39 c 609s| 1280k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4444 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
632.05/632.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.05/632.23 c 614s| 1290k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4466 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
636.95/637.14 c 619s| 1300k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4495 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
641.84/642.02 c 623s| 1310k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4532 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
646.55/646.74 c 628s| 1320k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4561 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
651.14/651.40 c 632s| 1330k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4606 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
655.94/656.10 c 637s| 1340k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4630 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
660.54/660.74 c 642s| 1350k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4675 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
665.24/665.44 c 646s| 1360k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4708 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
669.94/670.15 c 651s| 1370k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4734 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
674.43/674.66 c 655s| 1380k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4754 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
679.14/679.30 c 660s| 1390k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4782 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
683.73/683.95 c 664s| 1400k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4819 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
688.34/688.59 c 669s| 1410k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4849 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
693.03/693.27 c 673s| 1420k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4879 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
697.73/697.94 c 678s| 1430k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4903 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
702.33/702.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.33/702.57 c 682s| 1440k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4938 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
707.13/707.34 c 687s| 1450k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4990 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
712.02/712.25 c 692s| 1460k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5009 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
716.93/717.20 c 696s| 1470k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5026 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
721.93/722.13 c 701s| 1480k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5055 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
726.72/726.97 c 706s| 1490k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5085 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
731.52/731.76 c 711s| 1500k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5115 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
736.22/736.45 c 715s| 1510k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5142 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
740.82/741.05 c 720s| 1520k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5171 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
745.52/745.74 c 724s| 1530k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5190 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
750.21/750.43 c 729s| 1540k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5221 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
754.82/755.04 c 733s| 1550k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5240 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
759.51/759.75 c 738s| 1560k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5259 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
764.22/764.46 c 742s| 1570k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5276 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
768.91/769.15 c 747s| 1580k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5294 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
773.71/773.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.71/773.91 c 751s| 1590k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5337 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
778.52/778.74 c 756s| 1600k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5385 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
783.31/783.55 c 761s| 1610k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5407 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
788.10/788.32 c 765s| 1620k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5436 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
792.81/793.03 c 770s| 1630k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5459 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
797.60/797.84 c 775s| 1640k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5490 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
802.30/802.52 c 779s| 1650k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5523 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
806.90/807.15 c 784s| 1660k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5557 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
811.70/811.96 c 788s| 1670k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5596 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
816.50/816.73 c 793s| 1680k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5615 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
821.10/821.35 c 798s| 1690k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5654 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
825.90/826.11 c 802s| 1700k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5701 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
830.60/830.88 c 807s| 1710k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5747 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
835.19/835.46 c 811s| 1720k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5791 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
839.89/840.15 c 816s| 1730k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5838 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
844.50/844.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.50/844.80 c 820s| 1740k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5865 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
849.30/849.50 c 825s| 1750k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5942 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
854.00/854.23 c 829s| 1760k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5973 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
858.80/859.01 c 834s| 1770k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6019 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
863.59/863.84 c 839s| 1780k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6068 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
868.29/868.60 c 843s| 1790k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6105 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
873.19/873.41 c 848s| 1800k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6129 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
877.89/878.11 c 853s| 1810k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6166 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
882.59/882.89 c 857s| 1820k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6197 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
887.59/887.88 c 862s| 1830k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6240 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
892.37/892.67 c 867s| 1840k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6281 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
897.17/897.49 c 872s| 1850k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6328 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
901.78/902.07 c 876s| 1860k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6355 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
906.17/906.49 c 880s| 1870k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6389 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
910.76/911.09 c 885s| 1880k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6426 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
915.57/915.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.57/915.85 c 889s| 1890k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6468 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
920.26/920.50 c 894s| 1900k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6521 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
924.96/925.21 c 898s| 1910k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6547 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
929.56/929.86 c 903s| 1920k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6567 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
934.26/934.58 c 908s| 1930k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6601 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
938.75/939.01 c 912s| 1940k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6632 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
943.35/943.65 c 916s| 1950k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6670 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
948.06/948.32 c 921s| 1960k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6693 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
952.96/953.28 c 926s| 1970k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6712 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
957.95/958.21 c 931s| 1980k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6732 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
962.75/963.00 c 935s| 1990k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6751 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
967.45/967.79 c 940s| 2000k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6791 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
972.25/972.59 c 945s| 2010k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6832 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
977.25/977.53 c 949s| 2020k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6879 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
982.06/982.31 c 954s| 2030k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6907 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
986.65/986.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.65/987.00 c 959s| 2040k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6932 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
991.54/991.85 c 963s| 2050k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6976 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
996.45/996.71 c 968s| 2060k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7000 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1001.34/1001.62 c 973s| 2070k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7027 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1006.04/1006.36 c 977s| 2080k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7046 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1010.74/1011.06 c 982s| 2090k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7073 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1015.43/1015.78 c 987s| 2100k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7105 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1020.33/1020.63 c 991s| 2110k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7123 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1025.33/1025.61 c 996s| 2120k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7184 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1030.13/1030.43 c 1001s| 2130k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7209 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1034.93/1035.27 c 1005s| 2140k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7247 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1039.63/1039.99 c 1010s| 2150k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7291 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1044.33/1044.65 c 1015s| 2160k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7351 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1049.23/1049.54 c 1019s| 2170k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7365 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1054.03/1054.32 c 1024s| 2180k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7382 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1058.94/1059.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.94/1059.30 c 1029s| 2190k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7413 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1064.13/1064.44 c 1034s| 2200k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7459 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1069.13/1069.43 c 1039s| 2210k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7509 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1073.92/1074.29 c 1043s| 2220k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7527 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1078.83/1079.18 c 1048s| 2230k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7553 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1083.82/1084.14 c 1053s| 2240k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7569 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1088.93/1089.27 c 1058s| 2250k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7590 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1094.02/1094.35 c 1063s| 2260k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7615 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1099.12/1099.46 c 1068s| 2270k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7644 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1104.12/1104.43 c 1073s| 2280k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7677 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1109.01/1109.36 c 1078s| 2290k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7708 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1113.93/1114.24 c 1082s| 2300k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7727 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1119.02/1119.34 c 1087s| 2310k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7751 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1123.82/1124.14 c 1092s| 2320k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7767 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1128.71/1129.02 c 1097s| 2330k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7782 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1133.61/1133.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.61/1133.90 c 1101s| 2340k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7814 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1138.41/1138.78 c 1106s| 2350k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7860 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1143.51/1143.85 c 1111s| 2360k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7888 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1148.41/1148.77 c 1116s| 2370k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7922 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1153.41/1153.76 c 1121s| 2380k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7935 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1158.41/1158.73 c 1126s| 2390k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7961 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1163.20/1163.56 c 1130s| 2400k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7979 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1168.30/1168.61 c 1135s| 2410k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8010 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1173.10/1173.46 c 1140s| 2420k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8037 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1178.10/1178.49 c 1145s| 2430k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8062 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1183.10/1183.49 c 1150s| 2440k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8096 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1188.00/1188.31 c 1154s| 2450k| 24 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8126 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1192.60/1192.98 c 1159s| 2460k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8145 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1197.39/1197.74 c 1163s| 2470k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8185 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1202.29/1202.60 c 1168s| 2480k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8235 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1206.99/1207.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.99/1207.39 c 1173s| 2490k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8284 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1211.90/1212.29 c 1178s| 2500k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8305 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1216.80/1217.19 c 1182s| 2510k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8324 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1221.70/1222.07 c 1187s| 2520k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8359 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1226.59/1226.98 c 1192s| 2530k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8395 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1231.38/1231.75 c 1197s| 2540k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8429 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1236.10/1236.46 c 1201s| 2550k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8452 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1240.78/1241.15 c 1206s| 2560k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8474 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1245.48/1245.89 c 1210s| 2570k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8509 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1250.39/1250.74 c 1215s| 2580k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8545 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1255.28/1255.60 c 1220s| 2590k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8600 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1259.88/1260.22 c 1224s| 2600k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8631 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1264.48/1264.89 c 1229s| 2610k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8671 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1269.38/1269.75 c 1234s| 2620k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8703 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1274.18/1274.55 c 1238s| 2630k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8728 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1278.89/1279.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.89/1279.23 c 1243s| 2640k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8761 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1283.57/1283.99 c 1247s| 2650k| 24 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8791 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1288.38/1288.78 c 1252s| 2660k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8822 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1293.37/1293.75 c 1257s| 2670k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8869 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1298.17/1298.52 c 1262s| 2680k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8899 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1302.97/1303.36 c 1266s| 2690k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8921 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1307.77/1308.18 c 1271s| 2700k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8935 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1312.76/1313.12 c 1276s| 2710k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8969 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1317.77/1318.10 c 1281s| 2720k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8988 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1322.67/1323.06 c 1285s| 2730k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9010 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1327.76/1328.16 c 1290s| 2740k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9032 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1332.87/1333.21 c 1295s| 2750k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9054 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1337.46/1337.85 c 1300s| 2760k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9091 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1341.96/1342.36 c 1304s| 2770k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9143 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1346.57/1346.95 c 1309s| 2780k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9180 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1351.16/1351.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.16/1351.57 c 1313s| 2790k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9204 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1355.87/1356.29 c 1318s| 2800k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9223 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1360.46/1360.86 c 1322s| 2810k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9240 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1365.05/1365.47 c 1327s| 2820k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9265 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1369.85/1370.21 c 1331s| 2830k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9285 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1374.56/1375.00 c 1336s| 2840k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9305 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1379.46/1379.87 c 1341s| 2850k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9330 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1384.35/1384.73 c 1345s| 2860k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9363 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1389.15/1389.52 c 1350s| 2870k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9386 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1394.15/1394.50 c 1355s| 2880k| 22 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9435 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1399.05/1399.44 c 1360s| 2890k| 20 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9489 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1403.94/1404.38 c 1364s| 2900k| 22 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9522 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1408.75/1409.19 c 1369s| 2910k| 19 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9547 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1413.75/1414.13 c 1374s| 2920k| 21 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9583 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1418.84/1419.20 c 1379s| 2930k| 19 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9615 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1423.75/1424.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1423.75/1424.10 c 1384s| 2940k| 21 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9636 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1428.64/1429.07 c 1388s| 2950k| 19 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9677 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1433.64/1434.03 c 1393s| 2960k| 17 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9739 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1438.54/1438.97 c 1398s| 2970k| 19 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9755 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1443.64/1444.00 c 1403s| 2980k| 18 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9799 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1448.44/1448.86 c 1408s| 2990k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9820 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1453.33/1453.79 c 1412s| 3000k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9850 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1458.24/1458.63 c 1417s| 3010k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9899 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1463.03/1463.42 c 1422s| 3020k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9928 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1467.83/1468.24 c 1427s| 3030k| 18 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9958 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1472.73/1473.13 c 1431s| 3040k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9982 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1477.33/1477.72 c 1436s| 3050k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1482.23/1482.62 c 1440s| 3060k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1487.13/1487.56 c 1445s| 3070k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1492.13/1492.51 c 1450s| 3080k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1497.03/1497.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.03/1497.40 c 1455s| 3090k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1501.83/1502.25 c 1460s| 3100k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1506.83/1507.28 c 1464s| 3110k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1511.73/1512.12 c 1469s| 3120k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1516.42/1516.84 c 1474s| 3130k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1521.32/1521.70 c 1478s| 3140k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1526.02/1526.47 c 1483s| 3150k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1530.82/1531.29 c 1488s| 3160k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1535.72/1536.14 c 1493s| 3170k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1540.72/1541.17 c 1497s| 3180k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1545.62/1546.03 c 1502s| 3190k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1550.31/1550.73 c 1507s| 3200k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1555.02/1555.45 c 1511s| 3210k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1559.71/1560.16 c 1516s| 3220k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1564.61/1565.00 c 1521s| 3230k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1569.41/1569.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.41/1569.84 c 1525s| 3240k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1574.31/1574.76 c 1530s| 3250k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1579.22/1579.68 c 1535s| 3260k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1584.01/1584.44 c 1540s| 3270k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1588.81/1589.20 c 1544s| 3280k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1593.41/1593.86 c 1549s| 3290k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1598.10/1598.54 c 1553s| 3300k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1602.90/1603.32 c 1558s| 3310k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1607.70/1608.15 c 1563s| 3320k| 17 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1612.60/1613.04 c 1567s| 3330k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1617.30/1617.77 c 1572s| 3340k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1622.00/1622.49 c 1577s| 3350k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1626.89/1627.30 c 1581s| 3360k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1631.79/1632.22 c 1586s| 3370k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1636.90/1637.39 c 1591s| 3380k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1642.09/1642.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.09/1642.54 c 1596s| 3390k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1647.09/1647.58 c 1601s| 3400k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1652.09/1652.51 c 1606s| 3410k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1657.09/1657.58 c 1611s| 3420k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1662.19/1662.60 c 1616s| 3430k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1667.09/1667.53 c 1620s| 3440k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1671.98/1672.45 c 1625s| 3450k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1677.09/1677.55 c 1630s| 3460k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1682.18/1682.61 c 1635s| 3470k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1687.19/1687.67 c 1640s| 3480k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1692.08/1692.52 c 1645s| 3490k| 23 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1697.08/1697.58 c 1650s| 3500k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1701.98/1702.49 c 1654s| 3510k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1707.07/1707.59 c 1659s| 3520k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1712.08/1712.56 c 1664s| 3530k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1717.08/1717.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.08/1717.54 c 1669s| 3540k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1722.19/1722.62 c 1674s| 3550k| 23 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1727.07/1727.54 c 1679s| 3560k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1732.08/1732.56 c 1684s| 3570k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1736.87/1737.35 c 1688s| 3580k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1741.66/1742.11 c 1693s| 3590k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1746.38/1746.88 c 1698s| 3600k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1751.26/1751.78 c 1702s| 3610k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1756.07/1756.53 c 1707s| 3620k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1760.87/1761.38 c 1712s| 3630k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1765.76/1766.27 c 1716s| 3640k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1770.66/1771.10 c 1721s| 3650k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1775.46/1775.95 c 1726s| 3660k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1780.16/1780.68 c 1730s| 3670k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1785.06/1785.59 c 1735s| 3680k| 18 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1790.05/1790.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.05/1790.55 c 1740s| 3690k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1794.86/1795.31 c 1745s| 3700k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1799.45/1799.99 c 1749s| 3710k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.50 c
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time (sec) : 1749.73
1800.06/1800.50 c Solving Nodes : 3711095
1800.06/1800.50 c Primal Bound : -3.30000000000000e+01 (9 solutions)
1800.06/1800.50 c Dual Bound : -9.44000000000000e+02
1800.06/1800.50 c Gap : 96.50 %
1800.06/1800.54 s SATISFIABLE
1800.06/1800.54 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.54 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.54 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.54 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.54 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.54 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.54 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.54 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.54 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.54 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.54 v -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.06/1800.54 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.06/1800.54 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.06/1800.54 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.06/1800.54 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.06/1800.54 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.06/1800.54 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.06/1800.54 v -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.06/1800.54 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.06/1800.54 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.06/1800.54 v -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.06/1800.54 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.06/1800.54 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.06/1800.54 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.06/1800.54 v -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.06/1800.54 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.06/1800.54 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.06/1800.54 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.06/1800.54 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.06/1800.54 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648
1800.06/1800.54 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669
1800.06/1800.54 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.06/1800.54 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1800.06/1800.54 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.06/1800.54 v -x732 -x733 x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.06/1800.54 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774
1800.06/1800.54 v -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1800.06/1800.54 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.06/1800.54 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.06/1800.54 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.06/1800.54 v -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.06/1800.54 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.06/1800.54 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.06/1800.54 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.06/1800.54 v -x942 -x943 x944 -x945
1800.06/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.54 c Solving Time : 1749.73
1800.06/1800.54 c Original Problem :
1800.06/1800.54 c Problem name : HOME/instance-2664061-1276497970.opb
1800.06/1800.54 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.54 c Constraints : 58245 initial, 58245 maximal
1800.06/1800.54 c Presolved Problem :
1800.06/1800.54 c Problem name : t_HOME/instance-2664061-1276497970.opb
1800.06/1800.54 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.54 c Constraints : 58245 initial, 58261 maximal
1800.06/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.54 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c probing : 1.33 0 0 0 0 0 0 0 0
1800.06/1800.54 c logicor : 0.19 0 0 0 0 0 0 0 0
1800.06/1800.54 c root node : - 0 - - 0 - - - -
1800.06/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.54 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.54 c logicor : 58245+ 0 3720944 0 6 250267 8156670 0 0 0
1800.06/1800.54 c countsols : 0 0 0 0 6 0 0 0 0 0
1800.06/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.54 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.54 c logicor : 580.97 0.00 580.87 0.00 0.10
1800.06/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.54 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.54 c vbounds : 2.78 2 0 0
1800.06/1800.54 c rootredcost : 3.01 0 0 0
1800.06/1800.54 c pseudoobj : 502.34 5743222 1418796 1582367
1800.06/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.54 c propagation : 265.97 250267 12299 12299 42.7 0 0.0 -
1800.06/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.54 c pseudo solution : 236.31 188813 0 0 0.0 0 0.0 -
1800.06/1800.54 c applied globally : - - - 12299 42.7 - - -
1800.06/1800.54 c applied locally : - - - 0 0.0 - - -
1800.06/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.54 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.54 c redcost : 0.00 0 0 0 0 0
1800.06/1800.54 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.54 c intobj : 0.00 0 0 0 0 0
1800.06/1800.54 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.54 c gomory : 0.00 0 0 0 0 0
1800.06/1800.54 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.54 c cmir : 0.00 0 0 0 0 0
1800.06/1800.54 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.54 c clique : 0.00 0 0 0 0 0
1800.06/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.54 c mcf : 0.00 0 0 0 0 0
1800.06/1800.54 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.54 c Pricers : Time Calls Vars
1800.06/1800.54 c problem variables: 0.00 0 0
1800.06/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.54 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.54 c inference : 19.33 1861005 0 0 0 0 3722010
1800.06/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.54 c random : 0.00 0 0 0 0 0 0
1800.06/1800.54 c Primal Heuristics : Time Calls Found
1800.06/1800.54 c LP solutions : 0.00 - 0
1800.06/1800.54 c pseudo solutions : 0.00 - 6
1800.06/1800.54 c oneopt : 2.95 0 0
1800.06/1800.54 c trivial : 0.04 2 3
1800.06/1800.54 c simplerounding : 0.00 0 0
1800.06/1800.54 c zirounding : 0.00 0 0
1800.06/1800.54 c rounding : 0.00 0 0
1800.06/1800.54 c shifting : 0.00 0 0
1800.06/1800.54 c intshifting : 0.00 0 0
1800.06/1800.54 c twoopt : 0.00 0 0
1800.06/1800.54 c fixandinfer : 0.00 0 0
1800.06/1800.54 c feaspump : 0.00 0 0
1800.06/1800.54 c coefdiving : 0.00 0 0
1800.06/1800.54 c pscostdiving : 0.00 0 0
1800.06/1800.54 c fracdiving : 0.00 0 0
1800.06/1800.54 c veclendiving : 0.00 0 0
1800.06/1800.54 c intdiving : 0.00 0 0
1800.06/1800.54 c actconsdiving : 0.00 0 0
1800.06/1800.54 c objpscostdiving : 0.00 0 0
1800.06/1800.54 c rootsoldiving : 0.00 0 0
1800.06/1800.54 c linesearchdiving : 0.00 0 0
1800.06/1800.54 c guideddiving : 0.00 0 0
1800.06/1800.54 c octane : 0.00 0 0
1800.06/1800.54 c rens : 0.00 0 0
1800.06/1800.54 c rins : 0.00 0 0
1800.06/1800.54 c localbranching : 0.00 0 0
1800.06/1800.54 c mutation : 0.00 0 0
1800.06/1800.54 c crossover : 0.00 0 0
1800.06/1800.54 c dins : 0.00 0 0
1800.06/1800.54 c undercover : 0.00 0 0
1800.06/1800.54 c nlp : 1.38 0 0
1800.06/1800.54 c trysol : 1.97 0 0
1800.06/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.54 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.54 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.54 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.54 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.54 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.54 c (at root node) : - 0 0 0.00 -
1800.06/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.54 c B&B Tree :
1800.06/1800.54 c number of runs : 1
1800.06/1800.54 c nodes : 3711095
1800.06/1800.54 c nodes (total) : 3711095
1800.06/1800.54 c nodes left : 20
1800.06/1800.54 c max depth : 73
1800.06/1800.54 c max depth (total): 73
1800.06/1800.54 c backtracks : 570355 (15.4%)
1800.06/1800.54 c delayed cutoffs : 8327
1800.06/1800.54 c repropagations : 9437 (33074 domain reductions, 7792 cutoffs)
1800.06/1800.54 c avg switch length: 2.00
1800.06/1800.54 c switching time : 208.74
1800.06/1800.54 c Solution :
1800.06/1800.54 c Solutions found : 9 (7 improvements)
1800.06/1800.54 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
1800.06/1800.54 c Primal Bound : -3.30000000000000e+01 (in run 1, after 58132 nodes, 29.20 seconds, depth 40, found by <relaxation>)
1800.06/1800.54 c Dual Bound : -9.44000000000000e+02
1800.06/1800.54 c Gap : 96.50 %
1800.06/1800.54 c Root Dual Bound : -9.45000000000000e+02
1800.06/1800.54 c Root Iterations : 0
1800.17/1800.67 c Time complete: 1800.23.