0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666125-1276461756.opb>
0.02/0.04 c original problem has 456 variables (456 bin, 0 int, 0 impl, 0 cont) and 1602 constraints
0.02/0.04 c problem read
0.02/0.04 c presolving settings loaded
0.02/0.05 c presolving:
0.09/0.10 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 10440 impls, 0 clqs
0.09/0.11 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1602 upgd conss, 10440 impls, 0 clqs
0.09/0.15 c (0.1s) probing: 101/456 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 10440 implications, 0 cliques
0.09/0.15 c presolved problem has 456 variables (456 bin, 0 int, 0 impl, 0 cont) and 1602 constraints
0.09/0.15 c 1602 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.09
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c conflict/interconss = 0
0.09/0.15 c
0.09/0.15 c # should binary conflicts be preferred?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c conflict/preferbinary = TRUE
0.09/0.15 c
0.09/0.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c constraints/agelimit = 1
0.09/0.15 c
0.09/0.15 c # should enforcement of pseudo solution be disabled?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/disableenfops = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.97
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = 0
0.09/0.15 c
0.09/0.15 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.15 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.15 c lp/pricing = a
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # priority of node selection rule <dfs> in standard mode
0.09/0.15 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.15 c nodeselection/dfs/stdpriority = 1000000
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.19 c 0.1s| 1 | 0 | 467 | - |3669k| 0 | 327 | 456 |1602 | 456 |1602 | 0 | 0 | 0 | 1.314869e+02 | -- | Inf
0.29/0.30 c 0.2s| 1 | 0 | 569 | - |4010k| 0 | 317 | 456 |1602 | 456 |1609 | 7 | 0 | 0 | 1.336453e+02 | -- | Inf
0.40/0.40 c 0.3s| 1 | 0 | 658 | - |4313k| 0 | 312 | 456 |1602 | 456 |1615 | 13 | 0 | 0 | 1.347960e+02 | -- | Inf
0.49/0.51 c 0.4s| 1 | 0 | 777 | - |4527k| 0 | 301 | 456 |1602 | 456 |1620 | 18 | 0 | 0 | 1.353598e+02 | -- | Inf
0.59/0.62 c 0.5s| 1 | 0 | 883 | - |4670k| 0 | 305 | 456 |1602 | 456 |1626 | 24 | 0 | 0 | 1.361268e+02 | -- | Inf
0.69/0.74 c 0.7s| 1 | 0 | 1073 | - |4776k| 0 | 327 | 456 |1602 | 456 |1632 | 30 | 0 | 0 | 1.364040e+02 | -- | Inf
0.89/0.90 c 0.8s| 1 | 0 | 1244 | - |4850k| 0 | 317 | 456 |1602 | 456 |1638 | 36 | 0 | 0 | 1.374261e+02 | -- | Inf
1.00/1.03 c 0.9s| 1 | 0 | 1373 | - |4891k| 0 | 319 | 456 |1602 | 456 |1641 | 39 | 0 | 0 | 1.379267e+02 | -- | Inf
1.09/1.19 c 1.1s| 1 | 0 | 1563 | - |4910k| 0 | 302 | 456 |1602 | 456 |1645 | 43 | 0 | 0 | 1.379267e+02 | -- | Inf
1.29/1.34 c 1.2s| 1 | 0 | 1779 | - |4936k| 0 | 322 | 456 |1602 | 456 |1652 | 50 | 0 | 0 | 1.382761e+02 | -- | Inf
1.49/1.50 c 1.4s| 1 | 0 | 1997 | - |5132k| 0 | 308 | 456 |1602 | 456 |1656 | 54 | 0 | 0 | 1.388705e+02 | -- | Inf
1.59/1.60 c 1.5s| 1 | 0 | 2178 | - |5178k| 0 | 312 | 456 |1602 | 456 |1660 | 58 | 0 | 0 | 1.394261e+02 | -- | Inf
1.69/1.74 c 1.6s| 1 | 0 | 2387 | - |5279k| 0 | 316 | 456 |1602 | 456 |1664 | 62 | 0 | 0 | 1.404261e+02 | -- | Inf
1.80/1.84 c 1.7s| 1 | 0 | 2454 | - |5387k| 0 | 314 | 456 |1602 | 456 |1668 | 66 | 0 | 0 | 1.409261e+02 | -- | Inf
1.99/2.04 c 1.9s| 1 | 0 | 2504 | - |5447k| 0 | 315 | 456 |1602 | 456 |1670 | 68 | 0 | 0 | 1.409261e+02 | -- | Inf
2.19/2.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.19/2.25 c 2.1s| 1 | 0 | 2561 | - |5484k| 0 | 316 | 456 |1602 | 456 |1673 | 71 | 0 | 0 | 1.409261e+02 | -- | Inf
2.29/2.36 c 2.2s| 1 | 0 | 2659 | - |5516k| 0 | 318 | 456 |1602 | 456 |1677 | 75 | 0 | 0 | 1.409261e+02 | -- | Inf
2.49/2.52 c 2.4s| 1 | 0 | 2764 | - |5671k| 0 | 318 | 456 |1602 | 456 |1673 | 78 | 0 | 0 | 1.409261e+02 | -- | Inf
2.79/2.80 c 2.7s| 1 | 0 | 2865 | - |5834k| 0 | 317 | 456 |1602 | 456 |1676 | 81 | 0 | 0 | 1.409261e+02 | -- | Inf
7.59/7.61 c 7.4s| 1 | 2 | 2865 | - |5841k| 0 | 317 | 456 |1602 | 456 |1676 | 81 | 0 | 34 | 1.409261e+02 | -- | Inf
7.69/7.75 o 224
7.69/7.75 c * 7.5s| 346 | 132 | 2865 | 0.0 |5934k| 160 | - | 456 |1603 | 0 | 0 | 81 | 127 | 34 | 1.427638e+02 | 2.240000e+02 | 56.90%
7.69/7.75 o 215
7.69/7.75 c * 7.5s| 364 | 131 | 2865 | 0.0 |5942k| 160 | - | 456 |1603 | 0 | 0 | 81 | 127 | 34 | 1.427638e+02 | 2.150000e+02 | 50.60%
7.78/7.89 o 214
7.78/7.89 c * 7.6s| 571 | 127 | 2865 | 0.0 |5956k| 160 | - | 456 |1604 | 0 | 0 | 81 | 247 | 34 | 1.427638e+02 | 2.140000e+02 | 49.90%
7.89/7.90 o 213
7.89/7.90 c * 7.6s| 626 | 123 | 2865 | 0.0 |5962k| 160 | - | 456 |1604 | 0 | 0 | 81 | 259 | 34 | 1.427638e+02 | 2.130000e+02 | 49.20%
7.89/7.94 o 208
7.89/7.94 c * 7.7s| 777 | 125 | 2865 | 0.0 |5972k| 160 | - | 456 |1604 | 0 | 0 | 81 | 287 | 34 | 1.427638e+02 | 2.080000e+02 | 45.70%
7.89/7.98 o 206
7.89/7.98 c * 7.7s| 936 | 124 | 2865 | 0.0 |5980k| 160 | - | 456 |1606 | 0 | 0 | 81 | 324 | 34 | 1.427638e+02 | 2.060000e+02 | 44.29%
7.99/8.00 o 197
7.99/8.00 c * 7.7s| 1045 | 142 | 2865 | 0.0 |5992k| 167 | - | 456 |1606 | 0 | 0 | 81 | 338 | 34 | 1.427638e+02 | 1.970000e+02 | 37.99%
7.99/8.01 o 196
7.99/8.01 c * 7.7s| 1076 | 137 | 2865 | 0.0 |5995k| 167 | - | 456 |1606 | 0 | 0 | 81 | 346 | 34 | 1.427638e+02 | 1.960000e+02 | 37.29%
8.09/8.14 o 195
8.09/8.14 c * 7.8s| 1674 | 139 | 2865 | 0.0 |6000k| 167 | - | 456 |1606 | 0 | 0 | 81 | 458 | 34 | 1.427638e+02 | 1.950000e+02 | 36.59%
8.09/8.15 o 194
8.09/8.15 c * 7.9s| 1714 | 130 | 2865 | 0.0 |6004k| 167 | - | 456 |1606 | 0 | 0 | 81 | 465 | 34 | 1.427638e+02 | 1.940000e+02 | 35.89%
8.09/8.16 o 193
8.09/8.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.09/8.17 c * 7.9s| 1761 | 124 | 2865 | 0.0 |6009k| 167 | - | 456 |1606 | 0 | 0 | 81 | 481 | 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
11.49/11.58 c 11.0s| 10000 | 90 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |3767 | 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
14.68/14.77 c 14.0s| 20000 | 98 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |7910 | 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
17.59/17.64 c 16.7s| 30000 | 92 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 | 11k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
20.28/20.37 c 19.3s| 40000 | 94 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 15k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
23.28/23.34 c 22.0s| 50000 | 94 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 19k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
26.29/26.39 c 24.9s| 60000 | 95 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 23k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
29.28/29.37 c 27.8s| 70000 | 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 28k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
32.28/32.36 c 30.6s| 80000 | 89 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 | 31k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
35.38/35.48 c 33.5s| 90000 | 91 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 36k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
38.48/38.54 c 36.4s|100000 | 94 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 40k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
41.38/41.45 c 39.1s|110000 | 92 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 44k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
44.28/44.37 c 41.9s|120000 | 97 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 48k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
47.37/47.47 c 44.8s|130000 | 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 52k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
50.37/50.41 c 47.6s|140000 | 92 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 56k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
53.17/53.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.17/53.29 c 50.3s|150000 | 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 60k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
55.98/56.10 c 52.9s|160000 | 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 64k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
58.87/58.93 c 55.6s|170000 | 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 68k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
62.08/62.10 c 58.6s|180000 | 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 72k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
64.97/65.03 c 61.4s|190000 | 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 76k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
67.78/67.85 c 64.0s|200000 | 87 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 80k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
70.77/70.80 c 66.8s|210000 | 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 83k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
73.78/73.81 c 69.6s|220000 | 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 87k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
76.67/76.78 c 72.4s|230000 | 94 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 91k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
79.87/79.91 c 75.4s|240000 | 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 95k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
83.27/83.33 c 78.6s|250000 | 98 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 100k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
86.67/86.73 c 81.8s|260000 | 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 104k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
89.96/90.09 c 85.0s|270000 | 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 108k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
93.57/93.64 c 88.3s|280000 | 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 112k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
96.56/96.66 c 91.2s|290000 | 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 116k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
99.46/99.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.46/99.54 c 93.9s|300000 | 94 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 120k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
102.86/102.90 c 97.1s|310000 | 87 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 | 124k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
105.86/105.96 c 100s|320000 | 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 128k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
108.87/108.92 c 103s|330000 | 91 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 132k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
111.86/111.95 c 106s|340000 | 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 136k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
114.76/114.85 c 108s|350000 | 87 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 | 140k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
117.57/117.67 c 111s|360000 | 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 144k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
120.35/120.47 c 114s|370000 | 91 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 148k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
122.96/123.06 c 116s|380000 | 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 151k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
125.96/126.07 c 119s|390000 | 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 155k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
128.96/129.04 c 122s|400000 | 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 159k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
131.96/132.09 c 124s|410000 | 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 163k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
135.06/135.16 c 127s|420000 | 91 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 167k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
138.16/138.21 c 130s|430000 | 94 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 170k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
140.95/141.09 c 133s|440000 | 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 174k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
144.35/144.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.35/144.43 c 136s|450000 | 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 178k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
147.65/147.71 c 139s|460000 | 86 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 182k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
150.55/150.66 c 142s|470000 | 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 187k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
153.65/153.70 c 145s|480000 | 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 191k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
156.54/156.63 c 148s|490000 | 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 195k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
159.46/159.57 c 150s|500000 | 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 199k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
162.65/162.76 c 153s|510000 | 89 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 | 203k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
165.75/165.85 c 156s|520000 | 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 207k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
168.84/168.90 c 159s|530000 | 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 211k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
172.35/172.41 c 162s|540000 | 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 216k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
175.95/176.05 c 166s|550000 | 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 220k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
179.25/179.37 c 169s|560000 | 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 225k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
182.45/182.51 c 172s|570000 | 85 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 228k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
185.44/185.59 c 175s|580000 | 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 233k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
188.94/189.09 c 178s|590000 | 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 237k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
192.45/192.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.45/192.55 c 181s|600000 | 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 241k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
195.64/195.73 c 184s|610000 | 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 245k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
198.63/198.75 c 187s|620000 | 96 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 249k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
201.73/201.86 c 190s|630000 | 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 253k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
205.03/205.15 c 193s|640000 | 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 257k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
208.04/208.16 c 196s|650000 | 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 261k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
211.23/211.35 c 199s|660000 | 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 266k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
214.34/214.43 c 202s|670000 | 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 270k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
217.53/217.63 c 205s|680000 | 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 274k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
220.94/221.05 c 208s|690000 | 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 278k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
224.13/224.24 c 211s|700000 | 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 282k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
227.13/227.23 c 214s|710000 | 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 286k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
229.93/230.00 c 217s|720000 | 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 290k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
232.43/232.52 c 219s|730000 | 95 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 293k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
235.23/235.34 c 222s|740000 | 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 297k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
238.22/238.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.22/238.34 c 224s|750000 | 87 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 301k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
241.22/241.35 c 227s|760000 | 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 305k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
244.03/244.16 c 230s|770000 | 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 309k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
247.02/247.12 c 233s|780000 | 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 313k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
250.02/250.19 c 236s|790000 | 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 317k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
253.32/253.40 c 239s|800000 | 93 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 321k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
256.62/256.74 c 242s|810000 | 92 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 325k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
260.02/260.11 c 245s|820000 | 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 329k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
263.32/263.43 c 248s|830000 | 94 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 334k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
266.82/266.98 c 251s|840000 | 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 338k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
270.12/270.21 c 254s|850000 | 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 342k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
272.92/273.01 c 257s|860000 | 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 346k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
275.61/275.78 c 260s|870000 | 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 350k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
278.51/278.69 c 262s|880000 | 94 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 354k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
281.52/281.63 c 265s|890000 | 97 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 358k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
284.32/284.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.32/284.42 c 268s|900000 | 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 362k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
287.02/287.18 c 270s|910000 | 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 366k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
290.01/290.19 c 273s|920000 | 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 370k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
293.31/293.46 c 276s|930000 | 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 374k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
296.21/296.39 c 279s|940000 | 87 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 378k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
299.20/299.30 c 282s|950000 | 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 382k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
301.91/302.08 c 284s|960000 | 96 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 386k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
304.70/304.88 c 287s|970000 | 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 390k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
307.91/308.07 c 290s|980000 | 102 | 2865 | 0.0 |6053k| 167 | - | 456 |1615 | 0 | 0 | 81 | 395k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
311.00/311.15 c 293s|990000 | 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 399k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
314.20/314.30 c 296s| 1000k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 403k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
317.41/317.57 c 299s| 1010k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 407k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
320.50/320.66 c 302s| 1020k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 412k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
323.70/323.82 c 305s| 1030k| 86 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 416k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
326.90/327.06 c 308s| 1040k| 86 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 421k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
329.81/329.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.81/329.94 c 311s| 1050k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 424k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
332.70/332.83 c 313s| 1060k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 428k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
335.69/335.83 c 316s| 1070k| 95 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 433k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
339.00/339.15 c 319s| 1080k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 437k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
342.29/342.45 c 322s| 1090k| 87 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 | 441k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
345.50/345.69 c 325s| 1100k| 87 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 445k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
348.79/348.95 c 328s| 1110k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 450k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
352.10/352.25 c 332s| 1120k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 454k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
354.89/355.00 c 334s| 1130k| 90 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 458k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
357.49/357.68 c 337s| 1140k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 462k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
360.29/360.46 c 339s| 1150k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 466k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
363.69/363.82 c 342s| 1160k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 470k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
366.88/367.04 c 346s| 1170k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 474k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
370.08/370.28 c 349s| 1180k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 478k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
373.29/373.49 c 352s| 1190k| 85 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 482k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
376.68/376.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.68/376.87 c 355s| 1200k| 101 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 487k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
379.39/379.59 c 357s| 1210k| 100 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 491k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
382.18/382.39 c 360s| 1220k| 95 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 495k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
384.89/385.06 c 363s| 1230k| 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 499k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
388.08/388.21 c 365s| 1240k| 88 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 503k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
390.98/391.16 c 368s| 1250k| 91 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 507k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
394.08/394.22 c 371s| 1260k| 94 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 511k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
396.98/397.19 c 374s| 1270k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 515k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
399.88/400.01 c 377s| 1280k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 519k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
402.78/402.95 c 379s| 1290k| 87 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 523k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
405.58/405.78 c 382s| 1300k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 526k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
409.08/409.21 c 385s| 1310k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 531k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
412.38/412.57 c 388s| 1320k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 535k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
415.87/416.07 c 392s| 1330k| 91 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 539k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
419.18/419.34 c 395s| 1340k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 543k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
422.57/422.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.57/422.77 c 398s| 1350k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 547k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
426.07/426.26 c 401s| 1360k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 552k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
429.57/429.74 c 405s| 1370k| 85 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 556k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
432.97/433.12 c 408s| 1380k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 560k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
436.37/436.50 c 411s| 1390k| 94 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 565k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
439.56/439.70 c 414s| 1400k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 569k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
442.86/443.03 c 417s| 1410k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 573k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
446.27/446.48 c 420s| 1420k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 577k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
449.06/449.26 c 423s| 1430k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 581k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
452.06/452.26 c 426s| 1440k| 91 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 585k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
455.36/455.52 c 429s| 1450k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 589k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
458.66/458.80 c 432s| 1460k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 593k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
461.87/462.03 c 435s| 1470k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 597k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
465.07/465.28 c 438s| 1480k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 601k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
468.46/468.69 c 441s| 1490k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 606k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
471.86/472.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.86/472.00 c 444s| 1500k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 610k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
474.96/475.19 c 447s| 1510k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 614k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
478.36/478.56 c 451s| 1520k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 618k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
481.76/481.91 c 454s| 1530k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 622k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
485.06/485.20 c 457s| 1540k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 626k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
487.75/487.99 c 459s| 1550k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 630k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
490.55/490.74 c 462s| 1560k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 634k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
493.45/493.64 c 465s| 1570k| 91 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 638k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
496.65/496.81 c 468s| 1580k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 642k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
499.75/499.94 c 471s| 1590k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 646k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
502.65/502.88 c 473s| 1600k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 650k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
505.45/505.67 c 476s| 1610k| 96 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 654k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
508.15/508.30 c 479s| 1620k| 97 | 2865 | 0.0 |6053k| 167 | - | 456 |1615 | 0 | 0 | 81 | 658k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
510.84/511.04 c 481s| 1630k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 662k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
513.56/513.77 c 484s| 1640k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 665k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
516.25/516.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.25/516.41 c 486s| 1650k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 669k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
519.54/519.74 c 489s| 1660k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 673k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
522.74/522.95 c 492s| 1670k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 678k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
526.24/526.40 c 496s| 1680k| 84 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 683k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
529.15/529.35 c 498s| 1690k| 88 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 687k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
532.35/532.53 c 501s| 1700k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 691k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
535.45/535.70 c 504s| 1710k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 696k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
538.74/538.95 c 507s| 1720k| 88 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 700k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
541.64/541.85 c 510s| 1730k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 704k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
544.25/544.43 c 513s| 1740k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 707k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
546.84/547.06 c 515s| 1750k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 711k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
549.74/549.91 c 518s| 1760k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 715k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
552.34/552.53 c 520s| 1770k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 718k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
554.74/555.00 c 522s| 1780k| 87 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 | 722k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
557.63/557.81 c 525s| 1790k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 725k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
560.63/560.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.63/560.80 c 528s| 1800k| 96 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 729k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
563.53/563.74 c 531s| 1810k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 733k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
566.53/566.75 c 534s| 1820k| 95 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 738k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
569.64/569.82 c 536s| 1830k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 742k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
572.83/573.00 c 539s| 1840k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 746k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
575.63/575.82 c 542s| 1850k| 97 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 750k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
578.52/578.75 c 545s| 1860k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 754k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
581.53/581.72 c 548s| 1870k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 758k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
584.22/584.45 c 550s| 1880k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 761k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
586.82/587.04 c 552s| 1890k| 94 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 765k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
589.63/589.86 c 555s| 1900k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 769k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
592.53/592.77 c 558s| 1910k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 773k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
595.42/595.66 c 561s| 1920k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 777k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
598.23/598.48 c 563s| 1930k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 780k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
601.12/601.35 c 566s| 1940k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 784k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
604.22/604.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.22/604.42 c 569s| 1950k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 789k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
607.42/607.65 c 572s| 1960k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 793k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
610.71/610.95 c 575s| 1970k| 99 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 798k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
613.92/614.16 c 578s| 1980k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 802k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
617.32/617.54 c 581s| 1990k| 86 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 806k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
620.41/620.69 c 584s| 2000k| 88 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 810k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
623.71/623.93 c 587s| 2010k| 88 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 815k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
626.91/627.14 c 590s| 2020k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 819k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
630.12/630.39 c 593s| 2030k| 85 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 | 824k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
633.51/633.70 c 596s| 2040k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 828k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
636.72/636.92 c 599s| 2050k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 832k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
639.81/640.09 c 602s| 2060k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 836k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
643.22/643.43 c 605s| 2070k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 840k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
646.51/646.74 c 609s| 2080k| 85 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 844k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
649.82/650.05 c 612s| 2090k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 848k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
653.31/653.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.31/653.51 c 615s| 2100k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 852k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
656.41/656.67 c 618s| 2110k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 857k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
659.10/659.37 c 621s| 2120k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 860k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
661.91/662.15 c 623s| 2130k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 864k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
664.71/664.94 c 626s| 2140k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 868k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
667.20/667.49 c 628s| 2150k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 871k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
670.01/670.23 c 631s| 2160k| 85 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 875k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
672.80/673.00 c 633s| 2170k| 101 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 879k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
675.60/675.83 c 636s| 2180k| 95 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 883k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
678.60/678.81 c 639s| 2190k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 887k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
681.30/681.51 c 641s| 2200k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 891k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
684.20/684.45 c 644s| 2210k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 895k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
687.31/687.54 c 647s| 2220k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 899k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
690.50/690.79 c 650s| 2230k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 903k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
693.59/693.82 c 653s| 2240k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 907k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
696.49/696.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.49/696.76 c 656s| 2250k| 90 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 911k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
699.59/699.80 c 658s| 2260k| 87 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 914k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
702.49/702.72 c 661s| 2270k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 918k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
705.39/705.69 c 664s| 2280k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 922k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
708.39/708.69 c 667s| 2290k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 926k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
711.40/711.64 c 670s| 2300k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 930k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
714.39/714.67 c 672s| 2310k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 934k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
717.39/717.60 c 675s| 2320k| 94 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 938k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
720.39/720.66 c 678s| 2330k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 942k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
723.38/723.62 c 681s| 2340k| 91 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 946k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
726.18/726.45 c 683s| 2350k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 949k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
728.89/729.11 c 686s| 2360k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 953k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
731.48/731.75 c 688s| 2370k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 956k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
734.09/734.35 c 691s| 2380k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 960k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
736.98/737.25 c 694s| 2390k| 86 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 964k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
739.68/739.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.68/739.96 c 696s| 2400k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 967k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
742.29/742.55 c 699s| 2410k| 87 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 | 971k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
745.08/745.34 c 701s| 2420k| 86 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 975k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
747.88/748.13 c 704s| 2430k| 88 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 979k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
750.68/750.92 c 706s| 2440k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 983k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
753.48/753.71 c 709s| 2450k| 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 | 986k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
756.38/756.63 c 712s| 2460k| 84 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 | 990k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
759.37/759.66 c 715s| 2470k| 97 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 | 994k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
762.18/762.47 c 717s| 2480k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 | 998k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
765.08/765.31 c 720s| 2490k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1002k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
767.98/768.24 c 723s| 2500k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1006k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
770.97/771.24 c 725s| 2510k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1010k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
773.97/774.23 c 728s| 2520k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1014k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
776.88/777.18 c 731s| 2530k| 92 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1018k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
779.77/780.05 c 734s| 2540k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1022k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
782.67/782.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.67/782.90 c 736s| 2550k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1025k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
785.67/785.94 c 739s| 2560k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1029k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
788.57/788.85 c 742s| 2570k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1033k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
791.57/791.80 c 745s| 2580k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1037k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
794.47/794.78 c 748s| 2590k| 91 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1041k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
797.47/797.70 c 750s| 2600k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1045k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
800.36/800.65 c 753s| 2610k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1049k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
803.06/803.36 c 756s| 2620k| 86 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1053k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
805.76/806.01 c 758s| 2630k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1056k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
808.57/808.82 c 761s| 2640k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1060k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
811.06/811.39 c 763s| 2650k| 90 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1063k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
813.87/814.14 c 766s| 2660k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1067k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
816.56/816.86 c 768s| 2670k| 96 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1071k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
819.17/819.48 c 771s| 2680k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1074k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
822.47/822.80 c 774s| 2690k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1079k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
825.16/825.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.16/825.44 c 776s| 2700k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1082k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
827.96/828.23 c 779s| 2710k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1086k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
831.05/831.32 c 782s| 2720k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1090k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
833.95/834.20 c 785s| 2730k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1094k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
836.76/837.07 c 787s| 2740k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1097k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
839.65/839.98 c 790s| 2750k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1101k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
842.56/842.86 c 793s| 2760k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1105k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
845.95/846.21 c 796s| 2770k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1110k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
849.25/849.57 c 799s| 2780k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1114k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
852.45/852.79 c 802s| 2790k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1118k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
855.35/855.67 c 805s| 2800k| 92 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1122k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
858.45/858.73 c 808s| 2810k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1126k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
861.45/861.77 c 811s| 2820k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1130k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
864.44/864.77 c 813s| 2830k| 96 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1134k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
867.44/867.75 c 816s| 2840k| 88 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1138k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
870.75/871.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.75/871.02 c 819s| 2850k| 88 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1142k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
874.05/874.32 c 822s| 2860k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1146k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
877.45/877.78 c 826s| 2870k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1151k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
880.64/880.91 c 828s| 2880k| 87 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1155k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
883.75/884.00 c 831s| 2890k| 85 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1159k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
886.94/887.26 c 834s| 2900k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1163k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
890.24/890.57 c 838s| 2910k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1167k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
893.43/893.71 c 841s| 2920k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1171k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
896.53/896.80 c 843s| 2930k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1175k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
899.94/900.20 c 847s| 2940k| 83 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1179k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
902.74/903.01 c 849s| 2950k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1182k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
905.54/905.82 c 852s| 2960k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1186k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
908.53/908.89 c 855s| 2970k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1190k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
911.54/911.89 c 858s| 2980k| 90 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1194k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
914.63/914.92 c 860s| 2990k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1198k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
917.53/917.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.53/917.89 c 863s| 3000k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1202k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
920.73/921.00 c 866s| 3010k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1207k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
923.93/924.25 c 869s| 3020k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1211k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
927.23/927.56 c 872s| 3030k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1215k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
930.43/930.77 c 875s| 3040k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1220k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
933.13/933.47 c 878s| 3050k| 95 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1223k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
935.73/936.10 c 880s| 3060k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1227k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
938.53/938.85 c 883s| 3070k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1230k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
941.42/941.79 c 886s| 3080k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1234k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
944.53/944.85 c 889s| 3090k| 85 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |1238k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
947.62/947.94 c 892s| 3100k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1242k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
950.63/950.96 c 894s| 3110k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1246k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
953.72/954.01 c 897s| 3120k| 85 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |1249k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
956.73/957.07 c 900s| 3130k| 86 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1253k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
959.92/960.26 c 903s| 3140k| 85 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1257k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
963.02/963.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.02/963.34 c 906s| 3150k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1261k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
966.02/966.33 c 909s| 3160k| 87 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1264k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
969.22/969.51 c 912s| 3170k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1268k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
972.31/972.64 c 915s| 3180k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1272k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
975.42/975.78 c 918s| 3190k| 85 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1276k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
978.51/978.84 c 921s| 3200k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1280k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
981.61/981.93 c 924s| 3210k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1284k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
984.42/984.79 c 926s| 3220k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1288k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
987.31/987.63 c 929s| 3230k| 85 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |1292k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
990.22/990.54 c 932s| 3240k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1296k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
993.31/993.62 c 934s| 3250k| 84 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1300k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
996.21/996.60 c 937s| 3260k| 88 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1304k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
999.41/999.72 c 940s| 3270k| 83 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1307k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1002.41/1002.70 c 943s| 3280k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1311k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1005.41/1005.72 c 946s| 3290k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1315k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1008.21/1008.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.21/1008.55 c 949s| 3300k| 91 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1319k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1011.20/1011.55 c 951s| 3310k| 88 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1323k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1014.51/1014.86 c 954s| 3320k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1327k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1017.80/1018.13 c 958s| 3330k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1331k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1020.90/1021.21 c 960s| 3340k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1335k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1023.91/1024.26 c 963s| 3350k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1339k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1027.01/1027.39 c 966s| 3360k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1344k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1030.20/1030.56 c 969s| 3370k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1348k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1033.30/1033.67 c 972s| 3380k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1352k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1036.50/1036.83 c 975s| 3390k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1356k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1039.60/1039.97 c 978s| 3400k| 90 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1359k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1042.90/1043.23 c 981s| 3410k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1364k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1046.10/1046.43 c 984s| 3420k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1368k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1049.30/1049.69 c 987s| 3430k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1372k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1052.60/1052.95 c 990s| 3440k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1376k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1055.60/1055.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.60/1055.94 c 993s| 3450k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1380k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1058.60/1058.94 c 996s| 3460k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1383k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1061.69/1062.05 c 999s| 3470k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1388k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1064.59/1064.92 c 1002s| 3480k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1391k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1067.59/1067.99 c 1004s| 3490k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1396k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1070.49/1070.80 c 1007s| 3500k| 85 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1399k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1073.19/1073.54 c 1010s| 3510k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1403k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1076.09/1076.47 c 1012s| 3520k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1407k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1078.89/1079.21 c 1015s| 3530k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1410k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1081.58/1081.96 c 1018s| 3540k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1414k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1084.29/1084.64 c 1020s| 3550k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1418k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1086.89/1087.27 c 1023s| 3560k| 94 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1421k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1089.69/1090.05 c 1025s| 3570k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1425k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1092.69/1093.00 c 1028s| 3580k| 83 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1429k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1095.29/1095.62 c 1030s| 3590k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1432k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1097.88/1098.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.88/1098.23 c 1033s| 3600k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1436k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1100.48/1100.88 c 1035s| 3610k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1439k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1103.28/1103.62 c 1038s| 3620k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1443k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1105.77/1106.19 c 1040s| 3630k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1446k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1108.26/1108.66 c 1043s| 3640k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1449k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1111.07/1111.42 c 1045s| 3650k| 85 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1453k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1114.16/1114.59 c 1048s| 3660k| 86 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1457k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1117.28/1117.60 c 1051s| 3670k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1461k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1120.17/1120.55 c 1054s| 3680k| 82 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |1466k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1122.96/1123.32 c 1056s| 3690k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1469k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1125.56/1125.91 c 1059s| 3700k| 82 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1473k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1128.27/1128.69 c 1061s| 3710k| 99 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1477k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1131.06/1131.42 c 1064s| 3720k| 90 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1480k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1133.67/1134.01 c 1066s| 3730k| 90 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1484k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1136.36/1136.75 c 1069s| 3740k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1488k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1139.06/1139.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.06/1139.41 c 1071s| 3750k| 91 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1491k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1141.66/1142.08 c 1074s| 3760k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1495k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1144.36/1144.74 c 1076s| 3770k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1498k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1147.06/1147.45 c 1079s| 3780k| 93 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1502k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1149.56/1149.94 c 1081s| 3790k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1506k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1152.16/1152.53 c 1084s| 3800k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1509k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1154.95/1155.34 c 1086s| 3810k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1513k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1157.36/1157.77 c 1089s| 3820k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1516k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1159.95/1160.30 c 1091s| 3830k| 83 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1519k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1162.75/1163.11 c 1094s| 3840k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1523k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1165.56/1165.95 c 1096s| 3850k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1527k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1168.75/1169.12 c 1099s| 3860k| 82 | 2865 | 0.0 |6046k| 167 | - | 456 |1615 | 0 | 0 | 81 |1531k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1171.35/1171.75 c 1102s| 3870k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1535k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1173.95/1174.37 c 1104s| 3880k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1538k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1176.66/1177.00 c 1107s| 3890k| 85 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |1542k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1179.45/1179.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.45/1179.89 c 1109s| 3900k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1546k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1182.45/1182.84 c 1112s| 3910k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1550k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1185.45/1185.81 c 1115s| 3920k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1555k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1188.35/1188.73 c 1118s| 3930k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1559k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1191.25/1191.62 c 1120s| 3940k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1563k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1194.15/1194.50 c 1123s| 3950k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1567k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1196.84/1197.20 c 1126s| 3960k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1570k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1199.45/1199.86 c 1128s| 3970k| 85 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1574k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1202.05/1202.49 c 1130s| 3980k| 86 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1578k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1204.54/1204.97 c 1133s| 3990k| 87 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1581k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1207.04/1207.46 c 1135s| 4000k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1584k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1209.34/1209.78 c 1137s| 4010k| 91 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1587k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1212.14/1212.54 c 1140s| 4020k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1591k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1215.04/1215.50 c 1143s| 4030k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1595k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1218.03/1218.48 c 1145s| 4040k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1599k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1220.74/1221.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.74/1221.10 c 1148s| 4050k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1602k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1223.54/1223.96 c 1151s| 4060k| 84 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |1606k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1225.93/1226.36 c 1153s| 4070k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1609k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1228.63/1229.07 c 1155s| 4080k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1613k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1231.33/1231.78 c 1158s| 4090k| 88 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1617k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1234.03/1234.45 c 1160s| 4100k| 85 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1620k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1236.73/1237.11 c 1163s| 4110k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1624k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1239.24/1239.68 c 1165s| 4120k| 86 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1627k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1241.93/1242.34 c 1168s| 4130k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1631k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1244.63/1245.01 c 1170s| 4140k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1634k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1247.33/1247.78 c 1173s| 4150k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1638k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1250.33/1250.73 c 1176s| 4160k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1642k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1253.02/1253.46 c 1178s| 4170k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1646k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1255.62/1256.01 c 1180s| 4180k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1649k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1258.22/1258.63 c 1183s| 4190k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1653k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1260.72/1261.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.72/1261.18 c 1185s| 4200k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1656k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1263.43/1263.86 c 1188s| 4210k| 83 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1660k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1265.93/1266.39 c 1190s| 4220k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1663k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1268.63/1269.03 c 1193s| 4230k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1667k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1271.02/1271.48 c 1195s| 4240k| 84 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |1670k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1273.62/1274.01 c 1197s| 4250k| 81 | 2865 | 0.0 |6046k| 167 | - | 456 |1615 | 0 | 0 | 81 |1674k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1276.22/1276.67 c 1200s| 4260k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1677k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1278.83/1279.26 c 1202s| 4270k| 87 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1681k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1281.42/1281.87 c 1205s| 4280k| 86 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1684k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1284.12/1284.52 c 1207s| 4290k| 83 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1688k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1286.81/1287.25 c 1210s| 4300k| 83 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1691k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1289.52/1289.99 c 1212s| 4310k| 85 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1695k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1292.21/1292.60 c 1215s| 4320k| 96 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1699k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1295.12/1295.52 c 1217s| 4330k| 98 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1703k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1297.91/1298.36 c 1220s| 4340k| 97 | 2865 | 0.0 |6051k| 167 | - | 456 |1616 | 0 | 0 | 81 |1707k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1300.61/1301.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.61/1301.08 c 1223s| 4350k| 95 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1711k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1303.41/1303.85 c 1225s| 4360k| 97 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1715k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1306.21/1306.60 c 1228s| 4370k| 96 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1719k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1309.21/1309.64 c 1231s| 4380k| 96 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1724k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1312.21/1312.61 c 1233s| 4390k| 97 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1728k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1315.12/1315.60 c 1236s| 4400k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1733k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1317.91/1318.30 c 1239s| 4410k| 94 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1736k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1320.72/1321.11 c 1241s| 4420k| 94 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1740k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1323.61/1324.00 c 1244s| 4430k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1744k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1326.71/1327.11 c 1247s| 4440k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1749k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1329.51/1330.00 c 1250s| 4450k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1753k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1332.40/1332.87 c 1252s| 4460k| 94 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1757k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1335.21/1335.65 c 1255s| 4470k| 95 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1761k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1338.21/1338.67 c 1258s| 4480k| 88 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1765k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1341.20/1341.62 c 1261s| 4490k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1769k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1343.71/1344.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.71/1344.16 c 1263s| 4500k| 94 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1773k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1346.50/1346.90 c 1266s| 4510k| 90 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1776k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1349.50/1349.94 c 1268s| 4520k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1780k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1352.70/1353.11 c 1271s| 4530k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1785k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1355.30/1355.78 c 1274s| 4540k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1788k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1358.00/1358.41 c 1276s| 4550k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1792k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1360.70/1361.11 c 1279s| 4560k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1795k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1363.70/1364.12 c 1282s| 4570k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1799k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1366.80/1367.20 c 1285s| 4580k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1803k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1369.29/1369.71 c 1287s| 4590k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1806k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1372.19/1372.61 c 1290s| 4600k| 85 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1810k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1375.09/1375.53 c 1292s| 4610k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1814k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1377.80/1378.29 c 1295s| 4620k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1817k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1381.20/1381.64 c 1298s| 4630k| 92 | 2865 | 0.0 |6053k| 167 | - | 456 |1615 | 0 | 0 | 81 |1822k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1384.69/1385.16 c 1301s| 4640k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1827k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1387.99/1388.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.99/1388.43 c 1305s| 4650k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1832k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1390.99/1391.50 c 1307s| 4660k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1837k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1394.40/1394.82 c 1311s| 4670k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1841k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1397.18/1397.65 c 1313s| 4680k| 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1845k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1399.69/1400.14 c 1316s| 4690k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1849k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1402.29/1402.72 c 1318s| 4700k| 87 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1852k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1404.98/1405.48 c 1321s| 4710k| 93 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1856k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1407.78/1408.23 c 1323s| 4720k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1860k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1410.49/1410.91 c 1326s| 4730k| 95 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1863k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1413.29/1413.79 c 1328s| 4740k| 97 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1867k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1416.58/1417.02 c 1331s| 4750k| 88 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1872k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1419.69/1420.15 c 1334s| 4760k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1876k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1422.28/1422.70 c 1337s| 4770k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1879k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1424.88/1425.37 c 1339s| 4780k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1882k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1427.48/1427.97 c 1342s| 4790k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1886k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1430.38/1430.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.38/1430.85 c 1344s| 4800k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1890k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1433.18/1433.65 c 1347s| 4810k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1894k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1435.87/1436.33 c 1349s| 4820k| 93 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1898k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1438.67/1439.11 c 1352s| 4830k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1902k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1441.37/1441.86 c 1355s| 4840k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1905k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1444.07/1444.53 c 1357s| 4850k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1909k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1446.57/1447.03 c 1359s| 4860k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |1912k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1449.28/1449.75 c 1362s| 4870k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1916k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1451.87/1452.37 c 1364s| 4880k| 86 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1920k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1454.67/1455.11 c 1367s| 4890k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1923k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1457.27/1457.72 c 1370s| 4900k| 85 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1927k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1459.97/1460.40 c 1372s| 4910k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1931k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1462.77/1463.22 c 1375s| 4920k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1934k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1465.47/1465.97 c 1377s| 4930k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1938k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1468.27/1468.74 c 1380s| 4940k| 85 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |1942k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1470.96/1471.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.96/1471.46 c 1382s| 4950k| 88 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1946k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1473.87/1474.35 c 1385s| 4960k| 94 | 2865 | 0.0 |6054k| 167 | - | 456 |1615 | 0 | 0 | 81 |1950k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1476.77/1477.30 c 1388s| 4970k| 93 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1954k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1479.97/1480.40 c 1391s| 4980k| 102 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1959k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1482.86/1483.35 c 1394s| 4990k| 91 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |1963k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1485.76/1486.22 c 1396s| 5000k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1967k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1488.66/1489.13 c 1399s| 5010k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |1971k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1491.56/1492.02 c 1402s| 5020k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1976k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1494.37/1494.87 c 1404s| 5030k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1980k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1497.06/1497.55 c 1407s| 5040k| 96 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1983k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1499.97/1500.44 c 1410s| 5050k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1988k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1502.66/1503.18 c 1412s| 5060k| 95 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |1991k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1505.66/1506.12 c 1415s| 5070k| 94 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |1996k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1508.76/1509.21 c 1418s| 5080k| 94 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2000k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1511.75/1512.25 c 1421s| 5090k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2004k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1514.66/1515.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.66/1515.11 c 1423s| 5100k| 93 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2008k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1517.35/1517.88 c 1426s| 5110k| 98 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2012k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1520.25/1520.75 c 1429s| 5120k| 96 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2016k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1522.96/1523.50 c 1431s| 5130k| 93 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2020k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1526.05/1526.59 c 1434s| 5140k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2024k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1528.95/1529.46 c 1437s| 5150k| 95 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2028k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1531.75/1532.26 c 1439s| 5160k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2032k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1534.84/1535.34 c 1442s| 5170k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2036k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1538.04/1538.60 c 1445s| 5180k| 88 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2041k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1541.24/1541.72 c 1448s| 5190k| 97 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2045k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1544.04/1544.53 c 1451s| 5200k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2049k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1546.85/1547.33 c 1454s| 5210k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2053k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1549.64/1550.15 c 1456s| 5220k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2057k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1552.54/1553.08 c 1459s| 5230k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2061k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1555.34/1555.83 c 1462s| 5240k| 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2064k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1558.15/1558.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.15/1558.66 c 1464s| 5250k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2068k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1560.94/1561.43 c 1467s| 5260k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2072k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1563.94/1564.40 c 1470s| 5270k| 101 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2076k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1566.74/1567.27 c 1472s| 5280k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2080k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1569.74/1570.27 c 1475s| 5290k| 98 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2084k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1572.63/1573.13 c 1478s| 5300k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2088k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1575.64/1576.12 c 1481s| 5310k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2092k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1578.34/1578.88 c 1483s| 5320k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2096k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1581.03/1581.59 c 1486s| 5330k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2099k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1583.83/1584.39 c 1488s| 5340k| 89 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2103k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1586.85/1587.31 c 1491s| 5350k| 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2107k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1589.43/1589.95 c 1494s| 5360k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2111k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1592.23/1592.73 c 1496s| 5370k| 87 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2115k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1594.83/1595.33 c 1499s| 5380k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2118k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1597.63/1598.16 c 1501s| 5390k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2122k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1600.53/1601.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.53/1601.00 c 1504s| 5400k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2125k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1603.73/1604.25 c 1507s| 5410k| 88 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2130k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1606.72/1607.25 c 1510s| 5420k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2134k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1609.52/1610.05 c 1512s| 5430k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2138k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1612.73/1613.21 c 1515s| 5440k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2142k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1615.82/1616.32 c 1518s| 5450k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2147k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1618.82/1619.32 c 1521s| 5460k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2151k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1621.62/1622.15 c 1524s| 5470k| 96 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2155k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1624.23/1624.74 c 1526s| 5480k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2159k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1627.02/1627.53 c 1529s| 5490k| 88 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2162k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1629.63/1630.11 c 1531s| 5500k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2166k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1632.33/1632.89 c 1534s| 5510k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2170k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1635.02/1635.60 c 1536s| 5520k| 96 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2174k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1637.72/1638.29 c 1539s| 5530k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2177k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1640.52/1641.06 c 1542s| 5540k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2181k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1643.22/1643.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.22/1643.80 c 1544s| 5550k| 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2185k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1646.12/1646.63 c 1547s| 5560k| 92 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2189k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1648.72/1649.25 c 1549s| 5570k| 91 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2192k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1651.52/1652.04 c 1552s| 5580k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2196k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1654.32/1654.86 c 1554s| 5590k| 92 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2200k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1656.91/1657.48 c 1557s| 5600k| 88 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2204k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1659.61/1660.11 c 1559s| 5610k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2207k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1662.41/1662.98 c 1562s| 5620k| 91 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2211k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1665.11/1665.70 c 1565s| 5630k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2215k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1668.22/1668.74 c 1567s| 5640k| 90 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2220k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1670.91/1671.46 c 1570s| 5650k| 98 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2223k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1673.62/1674.20 c 1573s| 5660k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2227k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1676.71/1677.30 c 1575s| 5670k| 90 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2231k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1679.61/1680.18 c 1578s| 5680k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2235k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1682.80/1683.35 c 1581s| 5690k| 91 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2240k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1685.82/1686.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1685.82/1686.39 c 1584s| 5700k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2244k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1688.80/1689.37 c 1587s| 5710k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2248k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1691.90/1692.44 c 1590s| 5720k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2253k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1694.51/1695.09 c 1592s| 5730k| 92 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2256k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1697.40/1697.96 c 1595s| 5740k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2260k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1700.50/1701.02 c 1598s| 5750k| 94 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2265k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1703.50/1704.06 c 1601s| 5760k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2269k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1706.40/1706.95 c 1603s| 5770k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2273k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1709.20/1709.78 c 1606s| 5780k| 93 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2277k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1712.21/1712.73 c 1609s| 5790k| 87 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2281k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1715.20/1715.71 c 1612s| 5800k| 91 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2285k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1718.09/1718.68 c 1614s| 5810k| 92 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2289k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1720.91/1721.45 c 1617s| 5820k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2293k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1723.70/1724.28 c 1620s| 5830k| 90 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2297k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1726.60/1727.16 c 1622s| 5840k| 93 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2301k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1729.59/1730.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.59/1730.10 c 1625s| 5850k| 91 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2305k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1732.59/1733.13 c 1628s| 5860k| 93 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2309k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1735.49/1736.04 c 1631s| 5870k| 87 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2312k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1738.39/1738.90 c 1633s| 5880k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2316k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1741.29/1741.88 c 1636s| 5890k| 88 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |2320k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1744.59/1745.12 c 1639s| 5900k| 89 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2324k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1747.89/1748.44 c 1642s| 5910k| 89 | 2865 | 0.0 |6049k| 167 | - | 456 |1615 | 0 | 0 | 81 |2329k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1751.19/1751.74 c 1645s| 5920k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2333k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1754.39/1754.92 c 1648s| 5930k| 88 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2337k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1757.38/1757.99 c 1651s| 5940k| 87 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2341k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1760.38/1760.98 c 1654s| 5950k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2345k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1763.39/1764.00 c 1657s| 5960k| 85 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2349k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1766.28/1766.81 c 1659s| 5970k| 90 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2353k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1769.79/1770.32 c 1663s| 5980k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2357k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1773.18/1773.70 c 1666s| 5990k| 89 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2362k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1775.99/1776.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.99/1776.57 c 1669s| 6000k| 89 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2366k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1778.98/1779.56 c 1671s| 6010k| 86 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2370k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1781.97/1782.57 c 1674s| 6020k| 102 | 2865 | 0.0 |6052k| 167 | - | 456 |1615 | 0 | 0 | 81 |2373k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1785.38/1785.98 c 1678s| 6030k| 88 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2379k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1788.88/1789.43 c 1681s| 6040k| 88 | 2865 | 0.0 |6051k| 167 | - | 456 |1615 | 0 | 0 | 81 |2384k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1792.27/1792.87 c 1684s| 6050k| 90 | 2865 | 0.0 |6050k| 167 | - | 456 |1615 | 0 | 0 | 81 |2389k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1795.47/1796.06 c 1687s| 6060k| 85 | 2865 | 0.0 |6048k| 167 | - | 456 |1615 | 0 | 0 | 81 |2393k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1798.77/1799.34 c 1690s| 6070k| 85 | 2865 | 0.0 |6047k| 167 | - | 456 |1615 | 0 | 0 | 81 |2397k| 34 | 1.427638e+02 | 1.930000e+02 | 35.19%
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1691.28
1800.08/1800.61 c Solving Nodes : 6073877
1800.08/1800.61 c Primal Bound : +1.93000000000000e+02 (11 solutions)
1800.08/1800.61 c Dual Bound : +1.42763763120373e+02
1800.08/1800.61 c Gap : 35.19 %
1800.08/1800.61 s SATISFIABLE
1800.08/1800.61 v x456 -x455 -x454 x453 x452 -x451 x450 -x449 x448 -x447 -x446 x445 -x444 x443 x442 -x441 x440 -x439 x438 -x437 -x436 x435 x434 -x433
1800.08/1800.61 v x432 -x431 -x430 x429 x428 -x427 x426 -x425 -x424 x423 x422 -x421 -x420 x419 x418 -x417 x416 -x415 x414 -x413 -x412 x411
1800.08/1800.61 v x410 -x409 x408 -x407 -x406 x405 x404 -x403 x402 -x401 -x400 x399 x398 -x397 x396 -x395 -x394 x393 x392 -x391 -x390 x389 x388
1800.08/1800.61 v -x387 x386 -x385 -x384 x383 -x382 -x381 -x380 x379 x378 -x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366
1800.08/1800.61 v x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343
1800.08/1800.61 v -x342 -x341 -x340 -x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 -x325 -x324 x323 -x322 x321
1800.08/1800.61 v -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298
1800.08/1800.61 v x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 -x275
1800.08/1800.61 v -x274 x273 x272 -x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253
1800.08/1800.61 v -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 x230
1800.08/1800.61 v -x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 x220 -x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207
1800.08/1800.61 v -x206 x205 -x204 x203 x202 -x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185
1800.08/1800.61 v -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162
1800.08/1800.61 v x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139
1800.08/1800.61 v -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 x117
1800.08/1800.61 v x116 -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 x105 -x104 x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 x95 x94
1800.08/1800.61 v -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 x71 -x70 -x69 -x68
1800.08/1800.61 v x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 x59 x58 -x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 x43 -x42 -x41
1800.08/1800.61 v -x40 -x39 -x38 x37 -x36 x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 x17 -x16 x15
1800.08/1800.61 v -x14 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1691.28
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-2666125-1276461756.opb
1800.08/1800.61 c Variables : 456 (456 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 1602 initial, 1602 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-2666125-1276461756.opb
1800.08/1800.61 c Variables : 456 (456 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 1602 initial, 1625 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 0 - - 0 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.61 c logicor : 1602+ 18 10470717 0 11 2417466 8663054 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 11 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 4.71 0.00 0.00 4.71 0.00
1800.08/1800.61 c logicor : 924.05 0.01 924.04 0.00 0.00
1800.08/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c vbounds : 7.34 2 0 0
1800.08/1800.61 c rootredcost : 6.56 11 0 0
1800.08/1800.61 c pseudoobj : 380.45 15519727 798707 47111115
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 839.33 2398948 2398947 2398947 80.2 3423 97.2 -
1800.08/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 16.99 189854 0 0 0.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 1479 26.0 - - -
1800.08/1800.61 c applied locally : - - - 2397688 80.3 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.01 17 - - 82 - (maximal pool size: 1060)
1800.08/1800.61 c redcost : 0.00 18 0 0 0 0
1800.08/1800.61 c impliedbounds : 0.00 18 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.82 18 0 0 8328 0
1800.08/1800.61 c strongcg : 0.71 18 0 0 9000 0
1800.08/1800.61 c cmir : 0.14 10 0 0 3 0
1800.08/1800.61 c flowcover : 0.15 10 0 0 2 0
1800.08/1800.61 c clique : 0.01 1 0 0 0 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 1 0 0 0 0
1800.08/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 4.71 1 0 0 0 0 2
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 31.97 3533326 0 0 0 0 7066652
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.00 - 0
1800.08/1800.61 c pseudo solutions : 0.00 - 11
1800.08/1800.61 c oneopt : 4.79 0 0
1800.08/1800.61 c crossover : 0.00 0 0
1800.08/1800.61 c trivial : 0.00 2 0
1800.08/1800.61 c simplerounding : 0.00 0 0
1800.08/1800.61 c zirounding : 0.00 1 0
1800.08/1800.61 c rounding : 0.02 19 0
1800.08/1800.61 c shifting : 0.02 19 0
1800.08/1800.61 c intshifting : 0.00 0 0
1800.08/1800.61 c twoopt : 0.00 0 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c feaspump : 0.02 1 0
1800.08/1800.61 c coefdiving : 0.00 0 0
1800.08/1800.61 c pscostdiving : 0.00 0 0
1800.08/1800.61 c fracdiving : 0.00 0 0
1800.08/1800.61 c veclendiving : 0.00 0 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c objpscostdiving : 0.00 0 0
1800.08/1800.61 c rootsoldiving : 0.00 0 0
1800.08/1800.61 c linesearchdiving : 0.00 0 0
1800.08/1800.61 c guideddiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.00 0 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c undercover : 0.00 0 0
1800.08/1800.61 c nlp : 2.64 0 0
1800.08/1800.61 c trysol : 2.77 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 0.60 19 2865 150.79 4775.00
1800.08/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 0.01 0 0 0.00 0.00
1800.08/1800.61 c strong branching : 4.71 34 19722 580.06 4187.26
1800.08/1800.61 c (at root node) : - 34 19722 580.06 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 6073877
1800.08/1800.61 c nodes (total) : 6073877
1800.08/1800.61 c nodes left : 88
1800.08/1800.61 c max depth : 167
1800.08/1800.61 c max depth (total): 167
1800.08/1800.61 c backtracks : 2000944 (32.9%)
1800.08/1800.61 c delayed cutoffs : 919323
1800.08/1800.61 c repropagations : 1939156 (14783147 domain reductions, 865488 cutoffs)
1800.08/1800.61 c avg switch length: 2.11
1800.08/1800.61 c switching time : 98.93
1800.08/1800.61 c Solution :
1800.08/1800.61 c Solutions found : 11 (11 improvements)
1800.08/1800.61 c First Solution : +2.24000000000000e+02 (in run 1, after 346 nodes, 7.49 seconds, depth 136, found by <relaxation>)
1800.08/1800.61 c Primal Bound : +1.93000000000000e+02 (in run 1, after 1761 nodes, 7.87 seconds, depth 135, found by <relaxation>)
1800.08/1800.61 c Dual Bound : +1.42763763120373e+02
1800.08/1800.61 c Gap : 35.19 %
1800.08/1800.61 c Root Dual Bound : +1.40926075270983e+02
1800.08/1800.61 c Root Iterations : 2865
1800.08/1800.63 c Time complete: 1800.11.