0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667021-1276426720.opb>
0.01/0.09 c original problem has 2782 variables (2782 bin, 0 int, 0 impl, 0 cont) and 4517 constraints
0.01/0.09 c problem read
0.01/0.09 c presolving settings loaded
0.09/0.13 c presolving:
0.19/0.22 c (round 1) 2230 del vars, 1430 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 62206 impls, 0 clqs
0.19/0.25 c (round 2) 2242 del vars, 3329 del conss, 22 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62233 impls, 0 clqs
0.19/0.25 c (round 3) 2261 del vars, 3365 del conss, 32 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62233 impls, 0 clqs
0.19/0.26 c (round 4) 2267 del vars, 3394 del conss, 34 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62421 impls, 0 clqs
0.19/0.26 c (round 5) 2275 del vars, 3403 del conss, 34 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62679 impls, 0 clqs
0.19/0.26 c (round 6) 2280 del vars, 3415 del conss, 34 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62705 impls, 0 clqs
0.19/0.27 c (round 7) 2280 del vars, 3418 del conss, 34 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62705 impls, 0 clqs
0.29/0.35 c (round 8) 2280 del vars, 3429 del conss, 34 chg bounds, 6 chg sides, 2 chg coeffs, 1025 upgd conss, 62705 impls, 0 clqs
0.29/0.36 c (round 9) 2280 del vars, 3429 del conss, 34 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 62705 impls, 0 clqs
0.29/0.37 c (round 10) 2335 del vars, 3429 del conss, 34 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 63487 impls, 0 clqs
0.29/0.37 c (round 11) 2379 del vars, 3595 del conss, 53 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 63932 impls, 0 clqs
0.29/0.38 c (round 12) 2416 del vars, 3643 del conss, 56 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64004 impls, 0 clqs
0.29/0.38 c (round 13) 2426 del vars, 3661 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64051 impls, 0 clqs
0.29/0.38 c (round 14) 2428 del vars, 3666 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64051 impls, 0 clqs
0.39/0.41 c (round 15) 2428 del vars, 3676 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64051 impls, 0 clqs
0.39/0.45 c (0.3s) probing: 427/502 (85.1%) - 50 fixings, 41 aggregations, 599 implications, 0 bound changes
0.39/0.45 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.45 c (round 16) 2464 del vars, 3676 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64569 impls, 0 clqs
0.39/0.45 c (round 17) 2464 del vars, 3689 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64581 impls, 0 clqs
0.39/0.45 c (round 18) 2466 del vars, 3691 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64581 impls, 0 clqs
0.39/0.47 c (0.3s) probing: 437/502 (87.1%) - 50 fixings, 41 aggregations, 599 implications, 0 bound changes
0.39/0.47 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.47 c presolving (19 rounds):
0.39/0.47 c 2466 deleted vars, 3691 deleted constraints, 57 tightened bounds, 0 added holes, 6 changed sides, 2 changed coefficients
0.39/0.47 c 64581 implications, 0 cliques
0.39/0.47 c presolved problem has 316 variables (316 bin, 0 int, 0 impl, 0 cont) and 826 constraints
0.39/0.47 c 826 constraints of type <logicor>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.31
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 1.2.1.2
0.39/0.47 c
0.39/0.47 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c conflict/interconss = 0
0.39/0.47 c
0.39/0.47 c # should binary conflicts be preferred?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c conflict/preferbinary = TRUE
0.39/0.47 c
0.39/0.47 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c constraints/agelimit = 1
0.39/0.47 c
0.39/0.47 c # should enforcement of pseudo solution be disabled?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/disableenfops = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1799.91
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 1620
0.39/0.47 c
0.39/0.47 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c lp/solvefreq = 0
0.39/0.47 c
0.39/0.47 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.39/0.47 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.47 c lp/pricing = a
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # priority of node selection rule <dfs> in standard mode
0.39/0.47 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.47 c nodeselection/dfs/stdpriority = 1000000
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.39/0.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.48 c 0.3s| 1 | 0 | 174 | - |7325k| 0 | 88 | 316 | 826 | 316 | 687 | 0 | 0 | 0 | 1.328500e+03 | -- | Inf
0.39/0.48 o 1387
0.39/0.48 c s 0.3s| 1 | 0 | 174 | - |7425k| 0 | 88 | 316 | 826 | 316 | 687 | 0 | 0 | 0 | 1.328500e+03 | 1.387000e+03 | 4.40%
0.49/0.52 c 0.4s| 1 | 0 | 197 | - |7435k| 0 | 108 | 316 | 826 | 316 | 701 | 14 | 0 | 0 | 1.329500e+03 | 1.387000e+03 | 4.32%
0.49/0.52 o 1359
0.49/0.52 c b 0.4s| 1 | 0 | 197 | - |7505k| 0 | 108 | 316 | 826 | 316 | 701 | 14 | 0 | 0 | 1.329500e+03 | 1.359000e+03 | 2.22%
0.49/0.56 c 0.4s| 1 | 0 | 209 | - |7484k| 0 | 108 | 316 | 826 | 316 | 715 | 28 | 0 | 0 | 1.330000e+03 | 1.359000e+03 | 2.18%
0.49/0.59 c 0.4s| 1 | 0 | 214 | - |7485k| 0 | 107 | 316 | 826 | 316 | 717 | 30 | 0 | 0 | 1.330000e+03 | 1.359000e+03 | 2.18%
0.60/0.63 c 0.5s| 1 | 0 | 225 | - |7486k| 0 | 110 | 316 | 826 | 316 | 719 | 32 | 0 | 0 | 1.330000e+03 | 1.359000e+03 | 2.18%
0.60/0.67 c 0.5s| 1 | 0 | 236 | - |7489k| 0 | 113 | 316 | 826 | 316 | 722 | 35 | 0 | 0 | 1.330750e+03 | 1.359000e+03 | 2.12%
0.69/0.71 c 0.5s| 1 | 0 | 239 | - |7493k| 0 | 108 | 316 | 826 | 316 | 724 | 37 | 0 | 0 | 1.331000e+03 | 1.359000e+03 | 2.10%
0.69/0.75 c 0.6s| 1 | 0 | 250 | - |7496k| 0 | 111 | 316 | 826 | 316 | 725 | 38 | 0 | 0 | 1.331000e+03 | 1.359000e+03 | 2.10%
0.69/0.78 c 0.6s| 1 | 0 | 264 | - |7499k| 0 | 108 | 316 | 826 | 316 | 728 | 41 | 0 | 0 | 1.331500e+03 | 1.359000e+03 | 2.07%
0.79/0.82 c 0.7s| 1 | 0 | 267 | - |7500k| 0 | 109 | 316 | 826 | 316 | 729 | 42 | 0 | 0 | 1.332000e+03 | 1.359000e+03 | 2.03%
0.79/0.86 c 0.7s| 1 | 0 | 281 | - |7501k| 0 | 111 | 316 | 826 | 316 | 731 | 44 | 0 | 0 | 1.332000e+03 | 1.359000e+03 | 2.03%
0.79/0.88 c 0.7s| 1 | 0 | 286 | - |7503k| 0 | 115 | 316 | 826 | 316 | 726 | 45 | 0 | 0 | 1.332000e+03 | 1.359000e+03 | 2.03%
0.89/0.92 c 0.8s| 1 | 0 | 306 | - |7510k| 0 | 117 | 316 | 826 | 316 | 727 | 46 | 0 | 0 | 1.332333e+03 | 1.359000e+03 | 2.00%
0.89/0.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.95 c 0.8s| 1 | 0 | 324 | - |7519k| 0 | 121 | 316 | 826 | 316 | 729 | 48 | 0 | 0 | 1.332833e+03 | 1.359000e+03 | 1.96%
0.89/0.98 c 0.8s| 1 | 0 | 342 | - |7539k| 0 | 122 | 316 | 826 | 316 | 733 | 52 | 0 | 0 | 1.333333e+03 | 1.359000e+03 | 1.93%
1.00/1.02 c 0.8s| 1 | 0 | 365 | - |7552k| 0 | 115 | 316 | 826 | 316 | 736 | 55 | 0 | 0 | 1.334000e+03 | 1.359000e+03 | 1.87%
1.00/1.05 c 0.9s| 1 | 0 | 400 | - |7601k| 0 | 123 | 316 | 826 | 316 | 739 | 58 | 0 | 0 | 1.334000e+03 | 1.359000e+03 | 1.87%
1.00/1.09 c 0.9s| 1 | 0 | 408 | - |7630k| 0 | 124 | 316 | 826 | 316 | 730 | 65 | 0 | 0 | 1.334500e+03 | 1.359000e+03 | 1.84%
1.10/1.13 c 0.9s| 1 | 0 | 425 | - |7660k| 0 | 122 | 316 | 826 | 316 | 735 | 70 | 0 | 0 | 1.335000e+03 | 1.359000e+03 | 1.80%
1.10/1.17 c 1.0s| 1 | 0 | 461 | - |7727k| 0 | 126 | 316 | 826 | 316 | 738 | 73 | 0 | 0 | 1.335000e+03 | 1.359000e+03 | 1.80%
1.19/1.22 c 1.0s| 1 | 0 | 503 | - |7871k| 0 | 130 | 316 | 826 | 316 | 744 | 79 | 0 | 0 | 1.335500e+03 | 1.359000e+03 | 1.76%
1.19/1.25 c 1.1s| 1 | 0 | 538 | - |7917k| 0 | 135 | 316 | 826 | 316 | 748 | 83 | 0 | 0 | 1.336000e+03 | 1.359000e+03 | 1.72%
1.19/1.28 c 1.1s| 1 | 0 | 562 | - |7986k| 0 | 132 | 316 | 826 | 316 | 752 | 87 | 0 | 0 | 1.336500e+03 | 1.359000e+03 | 1.68%
1.29/1.33 c 1.1s| 1 | 0 | 634 | - |8076k| 0 | 135 | 316 | 826 | 316 | 754 | 94 | 0 | 0 | 1.337000e+03 | 1.359000e+03 | 1.65%
1.29/1.37 c 1.2s| 1 | 0 | 711 | - |8096k| 0 | 124 | 316 | 826 | 316 | 764 | 104 | 0 | 0 | 1.337000e+03 | 1.359000e+03 | 1.65%
1.40/1.41 c 1.2s| 1 | 0 | 766 | - |8165k| 0 | 127 | 316 | 826 | 316 | 770 | 110 | 0 | 0 | 1.337000e+03 | 1.359000e+03 | 1.65%
1.40/1.46 c 1.3s| 1 | 0 | 859 | - |8279k| 0 | 129 | 316 | 826 | 316 | 780 | 120 | 0 | 0 | 1.337000e+03 | 1.359000e+03 | 1.65%
1.40/1.49 c 1.3s| 1 | 0 | 912 | - |8350k| 0 | 139 | 316 | 826 | 316 | 786 | 126 | 0 | 0 | 1.337500e+03 | 1.359000e+03 | 1.61%
1.49/1.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.55 c 1.3s| 1 | 0 | 987 | - |8481k| 0 | 140 | 316 | 826 | 316 | 794 | 134 | 0 | 0 | 1.338000e+03 | 1.359000e+03 | 1.57%
1.49/1.59 c 1.4s| 1 | 0 | 1037 | - |8595k| 0 | 142 | 316 | 826 | 316 | 781 | 139 | 0 | 0 | 1.338500e+03 | 1.359000e+03 | 1.53%
1.59/1.65 c 1.4s| 1 | 0 | 1188 | - |8631k| 0 | 152 | 316 | 826 | 316 | 787 | 145 | 0 | 0 | 1.339333e+03 | 1.359000e+03 | 1.47%
1.69/1.70 c 1.5s| 1 | 0 | 1291 | - |8688k| 0 | 145 | 316 | 826 | 316 | 795 | 153 | 0 | 0 | 1.339833e+03 | 1.359000e+03 | 1.43%
1.69/1.79 c 1.6s| 1 | 0 | 1457 | - |8794k| 0 | 140 | 316 | 826 | 316 | 800 | 158 | 0 | 0 | 1.340364e+03 | 1.359000e+03 | 1.39%
1.80/1.83 c 1.6s| 1 | 0 | 1542 | - |8861k| 0 | 134 | 316 | 826 | 316 | 803 | 161 | 0 | 0 | 1.340900e+03 | 1.359000e+03 | 1.35%
1.80/1.86 c 1.6s| 1 | 0 | 1588 | - |8965k| 0 | 136 | 316 | 826 | 316 | 806 | 164 | 0 | 0 | 1.341000e+03 | 1.359000e+03 | 1.34%
1.89/1.95 c 1.7s| 1 | 0 | 1860 | - |9076k| 0 | 157 | 316 | 826 | 316 | 792 | 169 | 0 | 0 | 1.341525e+03 | 1.359000e+03 | 1.30%
1.99/2.02 c 1.8s| 1 | 0 | 2017 | - |9172k| 0 | 155 | 316 | 826 | 316 | 798 | 175 | 0 | 0 | 1.342214e+03 | 1.359000e+03 | 1.25%
1.99/2.06 c 1.8s| 1 | 0 | 2075 | - |9329k| 0 | 153 | 316 | 826 | 316 | 804 | 181 | 0 | 0 | 1.342714e+03 | 1.359000e+03 | 1.21%
2.10/2.10 c 1.9s| 1 | 0 | 2121 | - |9417k| 0 | 151 | 316 | 826 | 316 | 808 | 185 | 0 | 0 | 1.343214e+03 | 1.359000e+03 | 1.18%
2.10/2.14 c 1.9s| 1 | 0 | 2173 | - |9538k| 0 | 147 | 316 | 826 | 316 | 812 | 189 | 0 | 0 | 1.343714e+03 | 1.359000e+03 | 1.14%
2.10/2.20 c 2.0s| 1 | 0 | 2289 | - |9641k| 0 | 146 | 316 | 826 | 316 | 816 | 193 | 0 | 0 | 1.344250e+03 | 1.359000e+03 | 1.10%
2.20/2.24 c 2.0s| 1 | 0 | 2349 | - |9704k| 0 | 155 | 316 | 826 | 316 | 801 | 199 | 0 | 0 | 1.344857e+03 | 1.359000e+03 | 1.05%
2.20/2.28 c 2.0s| 1 | 0 | 2388 | - |9781k| 0 | 157 | 316 | 826 | 316 | 805 | 203 | 0 | 0 | 1.345457e+03 | 1.359000e+03 | 1.01%
2.29/2.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.32 c 2.1s| 1 | 0 | 2420 | - |9792k| 0 | 159 | 316 | 826 | 316 | 810 | 208 | 0 | 0 | 1.345957e+03 | 1.359000e+03 | 0.97%
2.29/2.37 c 2.1s| 1 | 0 | 2491 | - |9800k| 0 | 163 | 316 | 826 | 316 | 813 | 211 | 0 | 0 | 1.346457e+03 | 1.359000e+03 | 0.93%
2.39/2.42 c 2.2s| 1 | 0 | 2548 | - |9815k| 0 | 165 | 316 | 826 | 316 | 819 | 217 | 0 | 0 | 1.346973e+03 | 1.359000e+03 | 0.89%
2.39/2.48 c 2.2s| 1 | 0 | 2700 | - |9863k| 0 | 164 | 316 | 826 | 316 | 824 | 222 | 0 | 0 | 1.347473e+03 | 1.359000e+03 | 0.86%
2.49/2.53 c 2.3s| 1 | 0 | 2755 | - |9887k| 0 | 161 | 316 | 826 | 316 | 794 | 226 | 0 | 0 | 1.347984e+03 | 1.359000e+03 | 0.82%
2.49/2.58 c 2.3s| 1 | 0 | 2866 | - |9946k| 0 | 172 | 316 | 826 | 316 | 798 | 230 | 0 | 0 | 1.348484e+03 | 1.359000e+03 | 0.78%
2.59/2.64 c 2.4s| 1 | 0 | 2970 | - |9983k| 0 | 175 | 316 | 826 | 316 | 804 | 236 | 0 | 0 | 1.348984e+03 | 1.359000e+03 | 0.74%
2.59/2.70 c 2.5s| 1 | 0 | 3057 | - |9988k| 0 | 174 | 316 | 826 | 316 | 808 | 240 | 0 | 0 | 1.349484e+03 | 1.359000e+03 | 0.71%
2.69/2.75 c 2.5s| 1 | 0 | 3169 | - |9998k| 0 | 175 | 316 | 826 | 316 | 813 | 245 | 0 | 0 | 1.350075e+03 | 1.359000e+03 | 0.66%
2.80/2.83 c 2.6s| 1 | 0 | 3326 | - | 10M| 0 | 178 | 316 | 826 | 316 | 819 | 251 | 0 | 0 | 1.350575e+03 | 1.359000e+03 | 0.62%
2.80/2.90 c 2.6s| 1 | 0 | 3438 | - | 10M| 0 | 173 | 316 | 826 | 316 | 806 | 253 | 0 | 0 | 1.351075e+03 | 1.359000e+03 | 0.59%
2.90/2.96 c 2.7s| 1 | 0 | 3558 | - | 10M| 0 | 179 | 316 | 826 | 316 | 809 | 256 | 0 | 0 | 1.351575e+03 | 1.359000e+03 | 0.55%
2.99/3.01 c 2.8s| 1 | 0 | 3618 | - | 10M| 0 | 186 | 316 | 826 | 316 | 818 | 265 | 0 | 0 | 1.352075e+03 | 1.359000e+03 | 0.51%
2.99/3.08 c 2.8s| 1 | 0 | 3743 | - | 10M| 0 | 179 | 316 | 826 | 316 | 824 | 271 | 0 | 0 | 1.352575e+03 | 1.359000e+03 | 0.48%
3.09/3.15 c 2.9s| 1 | 0 | 3889 | - | 10M| 0 | 164 | 316 | 826 | 316 | 828 | 275 | 0 | 0 | 1.353113e+03 | 1.359000e+03 | 0.44%
3.19/3.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.19/3.23 c 3.0s| 1 | 0 | 4111 | - | 10M| 0 | 173 | 316 | 826 | 316 | 832 | 279 | 0 | 0 | 1.353613e+03 | 1.359000e+03 | 0.40%
3.19/3.28 c 3.0s| 1 | 0 | 4201 | - | 10M| 0 | 178 | 316 | 826 | 316 | 822 | 283 | 0 | 0 | 1.354113e+03 | 1.359000e+03 | 0.36%
3.30/3.35 c 3.1s| 1 | 0 | 4357 | - | 10M| 0 | 198 | 316 | 826 | 316 | 827 | 288 | 0 | 0 | 1.354550e+03 | 1.359000e+03 | 0.33%
3.39/3.44 c 3.2s| 1 | 0 | 4566 | - | 10M| 0 | 188 | 316 | 826 | 316 | 835 | 296 | 0 | 0 | 1.354926e+03 | 1.359000e+03 | 0.30%
3.49/3.52 c 3.3s| 1 | 0 | 4722 | - | 10M| 0 | 190 | 316 | 826 | 316 | 842 | 303 | 0 | 0 | 1.354958e+03 | 1.359000e+03 | 0.30%
3.59/3.65 c 3.4s| 1 | 0 | 4975 | - | 10M| 0 | 193 | 316 | 826 | 316 | 845 | 306 | 0 | 0 | 1.355014e+03 | 1.359000e+03 | 0.29%
3.70/3.72 c 3.5s| 1 | 0 | 5119 | - | 10M| 0 | 166 | 316 | 826 | 316 | 854 | 315 | 0 | 0 | 1.355079e+03 | 1.359000e+03 | 0.29%
3.70/3.80 c 3.5s| 1 | 0 | 5298 | - | 10M| 0 | 187 | 316 | 826 | 316 | 853 | 320 | 0 | 0 | 1.355500e+03 | 1.359000e+03 | 0.26%
3.89/3.92 c 3.6s| 1 | 0 | 5519 | - | 10M| 0 | 147 | 316 | 826 | 316 | 857 | 324 | 0 | 0 | 1.356000e+03 | 1.359000e+03 | 0.22%
3.89/3.98 c 3.7s| 1 | 0 | 5663 | - | 10M| 0 | 187 | 316 | 826 | 316 | 864 | 331 | 0 | 0 | 1.356000e+03 | 1.359000e+03 | 0.22%
3.99/4.07 c 3.8s| 1 | 0 | 5953 | - | 10M| 0 | 203 | 316 | 826 | 316 | 868 | 335 | 0 | 0 | 1.356200e+03 | 1.359000e+03 | 0.21%
4.09/4.13 c 3.8s| 1 | 0 | 6071 | - | 10M| 0 | 206 | 316 | 826 | 316 | 876 | 343 | 0 | 0 | 1.356600e+03 | 1.359000e+03 | 0.18%
4.09/4.19 c 3.9s| 1 | 0 | 6144 | - | 10M| 0 | 190 | 316 | 826 | 316 | 882 | 349 | 0 | 0 | 1.357000e+03 | 1.359000e+03 | 0.15%
4.30/4.33 c 4.0s| 1 | 0 | 6401 | - | 11M| 0 | 194 | 316 | 826 | 316 | 862 | 353 | 0 | 0 | 1.357000e+03 | 1.359000e+03 | 0.15%
4.40/4.41 c 4.1s| 1 | 0 | 6430 | - | 11M| 0 | 205 | 316 | 826 | 316 | 864 | 355 | 0 | 0 | 1.357000e+03 | 1.359000e+03 | 0.15%
4.40/4.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.40/4.49 c 4.2s| 1 | 0 | 6455 | - | 11M| 0 | 201 | 316 | 826 | 316 | 869 | 360 | 0 | 0 | 1.357000e+03 | 1.359000e+03 | 0.15%
4.49/4.57 c 4.3s| 1 | 0 | 6467 | - | 11M| 0 | 197 | 316 | 826 | 316 | 871 | 362 | 0 | 0 | 1.357000e+03 | 1.359000e+03 | 0.15%
4.59/4.64 c 4.3s| 1 | 0 | 6469 | - | 11M| 0 | 197 | 316 | 826 | 316 | 872 | 363 | 0 | 0 | 1.357000e+03 | 1.359000e+03 | 0.15%
5.29/5.34 c 5.0s| 1 | 2 | 6469 | - | 11M| 0 | 197 | 316 | 826 | 316 | 872 | 363 | 0 | 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
8.49/8.56 c 8.0s| 10000 | 37 | 6469 | 0.0 | 11M| 100 | - | 316 | 863 | 0 | 0 | 363 |6165 | 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
12.00/12.04 c 11.2s| 20000 | 37 | 6469 | 0.0 | 11M| 100 | - | 316 |1116 | 0 | 0 | 363 | 12k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
15.49/15.56 c 14.4s| 30000 | 34 | 6469 | 0.0 | 11M| 100 | - | 316 |1229 | 0 | 0 | 363 | 19k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
18.99/19.00 c 17.5s| 40000 | 33 | 6469 | 0.0 | 11M| 100 | - | 316 |1353 | 0 | 0 | 363 | 26k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
22.48/22.52 c 20.7s| 50000 | 37 | 6469 | 0.0 | 11M| 100 | - | 316 |1422 | 0 | 0 | 363 | 33k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
25.99/26.10 c 24.0s| 60000 | 35 | 6469 | 0.0 | 11M| 100 | - | 316 |1631 | 0 | 0 | 363 | 40k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
29.59/29.64 c 27.3s| 70000 | 32 | 6469 | 0.0 | 11M| 100 | - | 316 |1997 | 0 | 0 | 363 | 47k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
33.09/33.19 c 30.5s| 80000 | 31 | 6469 | 0.0 | 11M| 100 | - | 316 |2379 | 0 | 0 | 363 | 54k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
36.68/36.73 c 33.7s| 90000 | 34 | 6469 | 0.0 | 11M| 100 | - | 316 |2428 | 0 | 0 | 363 | 61k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
40.18/40.22 c 36.9s|100000 | 35 | 6469 | 0.0 | 11M| 100 | - | 316 |2418 | 0 | 0 | 363 | 67k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
43.68/43.75 c 40.1s|110000 | 33 | 6469 | 0.0 | 11M| 100 | - | 316 |2632 | 0 | 0 | 363 | 74k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
47.18/47.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.18/47.22 c 43.3s|120000 | 32 | 6469 | 0.0 | 11M| 100 | - | 316 |2829 | 0 | 0 | 363 | 81k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
50.68/50.78 c 46.5s|130000 | 35 | 6469 | 0.0 | 11M| 100 | - | 316 |3084 | 0 | 0 | 363 | 88k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
54.37/54.40 c 49.8s|140000 | 29 | 6469 | 0.0 | 11M| 100 | - | 316 |3411 | 0 | 0 | 363 | 95k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
57.87/57.99 c 53.1s|150000 | 33 | 6469 | 0.0 | 11M| 100 | - | 316 |3531 | 0 | 0 | 363 | 102k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
61.37/61.49 c 56.2s|160000 | 31 | 6469 | 0.0 | 11M| 100 | - | 316 |3585 | 0 | 0 | 363 | 108k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
64.98/65.01 c 59.5s|170000 | 34 | 6469 | 0.0 | 11M| 100 | - | 316 |3657 | 0 | 0 | 363 | 115k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
68.37/68.44 c 62.6s|180000 | 37 | 6469 | 0.0 | 11M| 100 | - | 316 |3724 | 0 | 0 | 363 | 122k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
71.57/71.68 c 65.5s|190000 | 34 | 6469 | 0.0 | 11M| 100 | - | 316 |3744 | 0 | 0 | 363 | 128k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
74.98/75.07 c 68.6s|200000 | 34 | 6469 | 0.0 | 11M| 100 | - | 316 |3730 | 0 | 0 | 363 | 135k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
78.47/78.52 c 71.8s|210000 | 36 | 6469 | 0.0 | 11M| 100 | - | 316 |3721 | 0 | 0 | 363 | 142k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
81.76/81.81 c 74.8s|220000 | 34 | 6469 | 0.0 | 11M| 100 | - | 316 |3751 | 0 | 0 | 363 | 148k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
85.07/85.15 c 77.9s|230000 | 33 | 6469 | 0.0 | 11M| 100 | - | 316 |3749 | 0 | 0 | 363 | 155k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
88.36/88.44 c 80.9s|240000 | 33 | 6469 | 0.0 | 11M| 100 | - | 316 |3777 | 0 | 0 | 363 | 162k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
91.56/91.67 c 83.9s|250000 | 35 | 6469 | 0.0 | 11M| 100 | - | 316 |3745 | 0 | 0 | 363 | 168k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
94.86/94.95 c 86.9s|260000 | 35 | 6469 | 0.0 | 11M| 100 | - | 316 |3731 | 0 | 0 | 363 | 175k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
98.27/98.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.27/98.34 c 90.0s|270000 | 27 | 6469 | 0.0 | 11M| 100 | - | 316 |3787 | 0 | 0 | 363 | 182k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
101.67/101.73 c 93.1s|280000 | 32 | 6469 | 0.0 | 11M| 100 | - | 316 |3986 | 0 | 0 | 363 | 189k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
104.97/105.10 c 96.2s|290000 | 35 | 6469 | 0.0 | 11M| 100 | - | 316 |4338 | 0 | 0 | 363 | 196k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
108.47/108.51 c 99.3s|300000 | 33 | 6469 | 0.0 | 12M| 100 | - | 316 |4669 | 0 | 0 | 363 | 203k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
111.96/112.02 c 103s|310000 | 33 | 6469 | 0.0 | 12M| 100 | - | 316 |5046 | 0 | 0 | 363 | 211k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
115.26/115.38 c 106s|320000 | 35 | 6469 | 0.0 | 12M| 100 | - | 316 |5313 | 0 | 0 | 363 | 218k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
118.76/118.88 c 109s|330000 | 35 | 6469 | 0.0 | 12M| 100 | - | 316 |5532 | 0 | 0 | 363 | 225k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
122.26/122.30 c 112s|340000 | 30 | 6469 | 0.0 | 12M| 100 | - | 316 |5819 | 0 | 0 | 363 | 233k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
125.66/125.71 c 115s|350000 | 32 | 6469 | 0.0 | 12M| 100 | - | 316 |5875 | 0 | 0 | 363 | 241k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
129.06/129.16 c 118s|360000 | 35 | 6469 | 0.0 | 12M| 100 | - | 316 |5924 | 0 | 0 | 363 | 247k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
132.56/132.64 c 121s|370000 | 32 | 6469 | 0.0 | 12M| 100 | - | 316 |6028 | 0 | 0 | 363 | 254k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
136.06/136.10 c 125s|380000 | 30 | 6469 | 0.0 | 12M| 100 | - | 316 |6292 | 0 | 0 | 363 | 262k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
139.56/139.66 c 128s|390000 | 33 | 6469 | 0.0 | 12M| 100 | - | 316 |6450 | 0 | 0 | 363 | 269k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
143.15/143.26 c 131s|400000 | 31 | 6469 | 0.0 | 12M| 100 | - | 316 |6708 | 0 | 0 | 363 | 276k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
146.75/146.81 c 134s|410000 | 31 | 6469 | 0.0 | 12M| 100 | - | 316 |6908 | 0 | 0 | 363 | 283k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
150.15/150.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.15/150.26 c 138s|420000 | 31 | 6469 | 0.0 | 12M| 100 | - | 316 |7014 | 0 | 0 | 363 | 290k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
153.45/153.59 c 141s|430000 | 30 | 6469 | 0.0 | 12M| 100 | - | 316 |7013 | 0 | 0 | 363 | 297k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
156.75/156.87 c 144s|440000 | 30 | 6469 | 0.0 | 12M| 100 | - | 316 |7169 | 0 | 0 | 363 | 303k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
160.24/160.32 c 147s|450000 | 36 | 6469 | 0.0 | 12M| 100 | - | 316 |7279 | 0 | 0 | 363 | 310k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
163.64/163.71 c 150s|460000 | 33 | 6469 | 0.0 | 12M| 100 | - | 316 |7597 | 0 | 0 | 363 | 318k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
167.05/167.17 c 153s|470000 | 35 | 6469 | 0.0 | 12M| 100 | - | 316 |7890 | 0 | 0 | 363 | 325k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
170.35/170.46 c 156s|480000 | 31 | 6469 | 0.0 | 12M| 100 | - | 316 |8095 | 0 | 0 | 363 | 332k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
173.65/173.77 c 159s|490000 | 31 | 6469 | 0.0 | 12M| 100 | - | 316 |8173 | 0 | 0 | 363 | 339k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
177.14/177.20 c 162s|500000 | 34 | 6469 | 0.0 | 12M| 100 | - | 316 |8451 | 0 | 0 | 363 | 346k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
180.43/180.57 c 165s|510000 | 30 | 6469 | 0.0 | 13M| 100 | - | 316 |8766 | 0 | 0 | 363 | 353k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
183.83/183.95 c 168s|520000 | 31 | 6469 | 0.0 | 13M| 100 | - | 316 |9063 | 0 | 0 | 363 | 360k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
187.24/187.30 c 171s|530000 | 32 | 6469 | 0.0 | 13M| 100 | - | 316 |9247 | 0 | 0 | 363 | 367k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
190.54/190.63 c 174s|540000 | 33 | 6469 | 0.0 | 13M| 100 | - | 316 |9259 | 0 | 0 | 363 | 374k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
193.94/194.08 c 178s|550000 | 31 | 6469 | 0.0 | 13M| 100 | - | 316 |9333 | 0 | 0 | 363 | 381k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
197.54/197.60 c 181s|560000 | 30 | 6469 | 0.0 | 13M| 100 | - | 316 |9482 | 0 | 0 | 363 | 387k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
200.93/201.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.93/201.07 c 184s|570000 | 33 | 6469 | 0.0 | 13M| 100 | - | 316 |9686 | 0 | 0 | 363 | 394k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
204.44/204.50 c 187s|580000 | 33 | 6469 | 0.0 | 13M| 100 | - | 316 |9684 | 0 | 0 | 363 | 401k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
207.84/207.92 c 190s|590000 | 33 | 6469 | 0.0 | 13M| 100 | - | 316 |9667 | 0 | 0 | 363 | 408k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
211.23/211.30 c 193s|600000 | 34 | 6469 | 0.0 | 13M| 100 | - | 316 |9698 | 0 | 0 | 363 | 414k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
214.53/214.67 c 196s|610000 | 34 | 6469 | 0.0 | 13M| 100 | - | 316 | 10k| 0 | 0 | 363 | 422k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
218.03/218.18 c 200s|620000 | 31 | 6469 | 0.0 | 13M| 100 | - | 316 | 10k| 0 | 0 | 363 | 428k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
221.63/221.72 c 203s|630000 | 31 | 6469 | 0.0 | 13M| 100 | - | 316 | 10k| 0 | 0 | 363 | 435k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
225.23/225.36 c 206s|640000 | 32 | 6469 | 0.0 | 13M| 100 | - | 316 | 10k| 0 | 0 | 363 | 442k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
228.82/228.96 c 209s|650000 | 33 | 6469 | 0.0 | 13M| 100 | - | 316 | 10k| 0 | 0 | 363 | 449k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
232.33/232.42 c 213s|660000 | 31 | 6469 | 0.0 | 13M| 100 | - | 316 | 11k| 0 | 0 | 363 | 456k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
235.73/235.87 c 216s|670000 | 30 | 6469 | 0.0 | 13M| 100 | - | 316 | 11k| 0 | 0 | 363 | 464k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
239.23/239.37 c 219s|680000 | 33 | 6469 | 0.0 | 13M| 100 | - | 316 | 11k| 0 | 0 | 363 | 472k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
242.72/242.87 c 222s|690000 | 35 | 6469 | 0.0 | 13M| 100 | - | 316 | 11k| 0 | 0 | 363 | 479k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
246.23/246.34 c 225s|700000 | 28 | 6469 | 0.0 | 13M| 100 | - | 316 | 11k| 0 | 0 | 363 | 487k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
249.63/249.78 c 228s|710000 | 34 | 6469 | 0.0 | 13M| 100 | - | 316 | 12k| 0 | 0 | 363 | 494k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
253.12/253.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.12/253.25 c 232s|720000 | 36 | 6469 | 0.0 | 13M| 100 | - | 316 | 12k| 0 | 0 | 363 | 501k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
256.52/256.62 c 235s|730000 | 36 | 6469 | 0.0 | 13M| 100 | - | 316 | 12k| 0 | 0 | 363 | 508k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
260.01/260.13 c 238s|740000 | 36 | 6469 | 0.0 | 13M| 100 | - | 316 | 12k| 0 | 0 | 363 | 515k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
263.42/263.54 c 241s|750000 | 31 | 6469 | 0.0 | 14M| 100 | - | 316 | 12k| 0 | 0 | 363 | 522k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
267.01/267.12 c 244s|760000 | 28 | 6469 | 0.0 | 14M| 100 | - | 316 | 12k| 0 | 0 | 363 | 528k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
270.43/270.56 c 247s|770000 | 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 12k| 0 | 0 | 363 | 535k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
273.82/273.91 c 250s|780000 | 28 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 542k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
277.12/277.27 c 253s|790000 | 32 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 549k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
280.51/280.70 c 257s|800000 | 28 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 555k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
284.02/284.10 c 260s|810000 | 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 562k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
287.32/287.44 c 263s|820000 | 34 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 569k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
290.62/290.72 c 266s|830000 | 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 576k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
293.91/294.07 c 269s|840000 | 34 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 583k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
297.51/297.61 c 272s|850000 | 34 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 590k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
301.01/301.18 c 275s|860000 | 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 597k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
304.41/304.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.41/304.56 c 278s|870000 | 36 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 603k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
307.92/308.01 c 282s|880000 | 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 610k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
311.21/311.39 c 285s|890000 | 29 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 617k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
314.71/314.84 c 288s|900000 | 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 623k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
318.21/318.35 c 291s|910000 | 32 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 630k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
321.80/321.94 c 294s|920000 | 27 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 637k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
325.20/325.32 c 297s|930000 | 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 643k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
328.60/328.72 c 300s|940000 | 31 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 650k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
331.90/332.03 c 304s|950000 | 32 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 657k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
335.20/335.37 c 307s|960000 | 29 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 663k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
338.61/338.80 c 310s|970000 | 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 670k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
342.10/342.23 c 313s|980000 | 32 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 677k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
345.50/345.61 c 316s|990000 | 32 | 6469 | 0.0 | 14M| 100 | - | 316 | 13k| 0 | 0 | 363 | 684k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
348.89/349.02 c 319s| 1000k| 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 14k| 0 | 0 | 363 | 691k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
352.30/352.40 c 322s| 1010k| 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 14k| 0 | 0 | 363 | 698k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
355.69/355.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.69/355.83 c 325s| 1020k| 33 | 6469 | 0.0 | 14M| 100 | - | 316 | 14k| 0 | 0 | 363 | 705k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
359.10/359.22 c 328s| 1030k| 29 | 6469 | 0.0 | 14M| 100 | - | 316 | 15k| 0 | 0 | 363 | 713k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
362.60/362.80 c 332s| 1040k| 29 | 6469 | 0.0 | 14M| 100 | - | 316 | 15k| 0 | 0 | 363 | 720k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
366.10/366.22 c 335s| 1050k| 31 | 6469 | 0.0 | 14M| 100 | - | 316 | 15k| 0 | 0 | 363 | 727k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
369.50/369.64 c 338s| 1060k| 29 | 6469 | 0.0 | 14M| 100 | - | 316 | 15k| 0 | 0 | 363 | 734k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
372.89/373.07 c 341s| 1070k| 30 | 6469 | 0.0 | 14M| 100 | - | 316 | 16k| 0 | 0 | 363 | 741k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
376.39/376.51 c 344s| 1080k| 30 | 6469 | 0.0 | 14M| 100 | - | 316 | 16k| 0 | 0 | 363 | 748k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
379.89/380.03 c 347s| 1090k| 29 | 6469 | 0.0 | 14M| 100 | - | 316 | 16k| 0 | 0 | 363 | 755k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
383.39/383.58 c 350s| 1100k| 28 | 6469 | 0.0 | 14M| 100 | - | 316 | 16k| 0 | 0 | 363 | 762k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
387.00/387.12 c 354s| 1110k| 31 | 6469 | 0.0 | 14M| 100 | - | 316 | 16k| 0 | 0 | 363 | 769k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
390.58/390.73 c 357s| 1120k| 31 | 6469 | 0.0 | 14M| 100 | - | 316 | 16k| 0 | 0 | 363 | 776k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
394.39/394.55 c 361s| 1130k| 32 | 6469 | 0.0 | 14M| 100 | - | 316 | 17k| 0 | 0 | 363 | 783k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
398.18/398.40 c 364s| 1140k| 30 | 6469 | 0.0 | 15M| 100 | - | 316 | 17k| 0 | 0 | 363 | 791k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
401.68/401.84 c 367s| 1150k| 32 | 6469 | 0.0 | 15M| 100 | - | 316 | 17k| 0 | 0 | 363 | 798k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
405.18/405.32 c 370s| 1160k| 32 | 6469 | 0.0 | 15M| 100 | - | 316 | 17k| 0 | 0 | 363 | 805k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
408.68/408.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.68/408.89 c 374s| 1170k| 30 | 6469 | 0.0 | 15M| 100 | - | 316 | 17k| 0 | 0 | 363 | 811k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
412.29/412.42 c 377s| 1180k| 35 | 6469 | 0.0 | 15M| 100 | - | 316 | 17k| 0 | 0 | 363 | 818k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
415.88/416.05 c 380s| 1190k| 34 | 6469 | 0.0 | 15M| 100 | - | 316 | 17k| 0 | 0 | 363 | 825k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
419.58/419.78 c 383s| 1200k| 35 | 6469 | 0.0 | 15M| 100 | - | 316 | 17k| 0 | 0 | 363 | 832k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
423.28/423.49 c 387s| 1210k| 33 | 6469 | 0.0 | 15M| 100 | - | 316 | 17k| 0 | 0 | 363 | 841k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
426.98/427.16 c 390s| 1220k| 29 | 6469 | 0.0 | 15M| 100 | - | 316 | 18k| 0 | 0 | 363 | 848k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
430.58/430.76 c 394s| 1230k| 36 | 6469 | 0.0 | 15M| 100 | - | 316 | 18k| 0 | 0 | 363 | 855k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
434.39/434.56 c 397s| 1240k| 28 | 6469 | 0.0 | 15M| 100 | - | 316 | 18k| 0 | 0 | 363 | 862k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
438.18/438.35 c 400s| 1250k| 31 | 6469 | 0.0 | 15M| 100 | - | 316 | 18k| 0 | 0 | 363 | 869k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
441.87/442.07 c 404s| 1260k| 31 | 6469 | 0.0 | 15M| 100 | - | 316 | 18k| 0 | 0 | 363 | 876k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
445.29/445.41 c 407s| 1270k| 30 | 6469 | 0.0 | 15M| 100 | - | 316 | 18k| 0 | 0 | 363 | 883k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
448.68/448.87 c 410s| 1280k| 29 | 6469 | 0.0 | 15M| 100 | - | 316 | 18k| 0 | 0 | 363 | 890k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
452.27/452.48 c 413s| 1290k| 29 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 897k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
455.87/456.02 c 417s| 1300k| 30 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 904k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
459.37/459.51 c 420s| 1310k| 28 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 911k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
462.87/463.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.87/463.03 c 423s| 1320k| 34 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 918k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
466.37/466.58 c 426s| 1330k| 34 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 924k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
469.97/470.19 c 430s| 1340k| 33 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 931k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
473.47/473.65 c 433s| 1350k| 30 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 938k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
476.77/476.96 c 436s| 1360k| 34 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 945k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
480.27/480.44 c 439s| 1370k| 32 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 952k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
483.77/483.93 c 442s| 1380k| 32 | 6469 | 0.0 | 15M| 100 | - | 316 | 19k| 0 | 0 | 363 | 959k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
487.36/487.56 c 445s| 1390k| 34 | 6469 | 0.0 | 15M| 100 | - | 316 | 20k| 0 | 0 | 363 | 967k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
490.86/491.10 c 449s| 1400k| 29 | 6469 | 0.0 | 15M| 100 | - | 316 | 20k| 0 | 0 | 363 | 975k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
494.57/494.70 c 452s| 1410k| 30 | 6469 | 0.0 | 15M| 100 | - | 316 | 20k| 0 | 0 | 363 | 981k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
498.17/498.38 c 455s| 1420k| 35 | 6469 | 0.0 | 15M| 100 | - | 316 | 20k| 0 | 0 | 363 | 988k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
501.66/501.82 c 459s| 1430k| 29 | 6469 | 0.0 | 15M| 100 | - | 316 | 20k| 0 | 0 | 363 | 995k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
505.26/505.40 c 462s| 1440k| 30 | 6469 | 0.0 | 15M| 100 | - | 316 | 20k| 0 | 0 | 363 |1002k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
508.86/509.01 c 465s| 1450k| 30 | 6469 | 0.0 | 15M| 100 | - | 316 | 20k| 0 | 0 | 363 |1009k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
512.36/512.57 c 468s| 1460k| 31 | 6469 | 0.0 | 15M| 100 | - | 316 | 21k| 0 | 0 | 363 |1016k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
515.95/516.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.95/516.11 c 472s| 1470k| 27 | 6469 | 0.0 | 16M| 100 | - | 316 | 21k| 0 | 0 | 363 |1023k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
519.36/519.55 c 475s| 1480k| 32 | 6469 | 0.0 | 16M| 100 | - | 316 | 21k| 0 | 0 | 363 |1030k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
522.76/522.97 c 478s| 1490k| 32 | 6469 | 0.0 | 16M| 100 | - | 316 | 21k| 0 | 0 | 363 |1037k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
526.15/526.31 c 481s| 1500k| 31 | 6469 | 0.0 | 16M| 100 | - | 316 | 21k| 0 | 0 | 363 |1044k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
529.45/529.69 c 484s| 1510k| 33 | 6469 | 0.0 | 16M| 100 | - | 316 | 22k| 0 | 0 | 363 |1052k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
532.86/533.01 c 487s| 1520k| 29 | 6469 | 0.0 | 16M| 100 | - | 316 | 22k| 0 | 0 | 363 |1060k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
536.05/536.29 c 490s| 1530k| 32 | 6469 | 0.0 | 16M| 100 | - | 316 | 22k| 0 | 0 | 363 |1067k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
539.55/539.74 c 493s| 1540k| 30 | 6469 | 0.0 | 16M| 100 | - | 316 | 22k| 0 | 0 | 363 |1074k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
542.85/543.03 c 496s| 1550k| 28 | 6469 | 0.0 | 16M| 100 | - | 316 | 23k| 0 | 0 | 363 |1081k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
546.35/546.51 c 499s| 1560k| 30 | 6469 | 0.0 | 16M| 100 | - | 316 | 23k| 0 | 0 | 363 |1088k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
549.95/550.14 c 503s| 1570k| 31 | 6469 | 0.0 | 16M| 100 | - | 316 | 23k| 0 | 0 | 363 |1095k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
553.44/553.67 c 506s| 1580k| 30 | 6469 | 0.0 | 16M| 100 | - | 316 | 23k| 0 | 0 | 363 |1102k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
557.05/557.20 c 509s| 1590k| 33 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1109k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
560.65/560.88 c 513s| 1600k| 29 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1116k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
564.24/564.41 c 516s| 1610k| 32 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1123k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
567.74/567.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.74/567.95 c 519s| 1620k| 31 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1130k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
571.35/571.57 c 522s| 1630k| 30 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1138k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
574.94/575.12 c 525s| 1640k| 33 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1145k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
578.45/578.62 c 529s| 1650k| 34 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1151k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
581.95/582.15 c 532s| 1660k| 31 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1158k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
585.44/585.66 c 535s| 1670k| 29 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1164k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
588.84/589.04 c 538s| 1680k| 30 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1171k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
592.24/592.44 c 541s| 1690k| 30 | 6469 | 0.0 | 16M| 100 | - | 316 | 24k| 0 | 0 | 363 |1178k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
595.54/595.72 c 544s| 1700k| 30 | 6469 | 0.0 | 16M| 100 | - | 316 | 25k| 0 | 0 | 363 |1185k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
598.83/599.06 c 547s| 1710k| 29 | 6469 | 0.0 | 16M| 100 | - | 316 | 25k| 0 | 0 | 363 |1192k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
602.34/602.52 c 551s| 1720k| 32 | 6469 | 0.0 | 16M| 100 | - | 316 | 25k| 0 | 0 | 363 |1199k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
605.74/605.97 c 554s| 1730k| 32 | 6469 | 0.0 | 17M| 100 | - | 316 | 25k| 0 | 0 | 363 |1206k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
609.15/609.39 c 557s| 1740k| 31 | 6469 | 0.0 | 17M| 100 | - | 316 | 25k| 0 | 0 | 363 |1213k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
612.63/612.83 c 560s| 1750k| 34 | 6469 | 0.0 | 17M| 100 | - | 316 | 26k| 0 | 0 | 363 |1220k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
616.13/616.35 c 563s| 1760k| 30 | 6469 | 0.0 | 17M| 100 | - | 316 | 26k| 0 | 0 | 363 |1227k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
619.73/619.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.73/619.94 c 566s| 1770k| 32 | 6469 | 0.0 | 17M| 100 | - | 316 | 26k| 0 | 0 | 363 |1234k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
623.23/623.42 c 570s| 1780k| 25 | 6469 | 0.0 | 17M| 100 | - | 316 | 26k| 0 | 0 | 363 |1241k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
626.74/626.98 c 573s| 1790k| 30 | 6469 | 0.0 | 17M| 100 | - | 316 | 26k| 0 | 0 | 363 |1247k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
630.32/630.50 c 576s| 1800k| 35 | 6469 | 0.0 | 17M| 100 | - | 316 | 26k| 0 | 0 | 363 |1254k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
633.73/633.99 c 579s| 1810k| 33 | 6469 | 0.0 | 17M| 100 | - | 316 | 26k| 0 | 0 | 363 |1261k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
637.33/637.56 c 583s| 1820k| 29 | 6469 | 0.0 | 17M| 100 | - | 316 | 26k| 0 | 0 | 363 |1270k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
640.83/641.03 c 586s| 1830k| 29 | 6469 | 0.0 | 17M| 100 | - | 316 | 26k| 0 | 0 | 363 |1277k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
644.22/644.43 c 589s| 1840k| 31 | 6469 | 0.0 | 17M| 100 | - | 316 | 27k| 0 | 0 | 363 |1284k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
647.63/647.88 c 592s| 1850k| 33 | 6469 | 0.0 | 17M| 100 | - | 316 | 27k| 0 | 0 | 363 |1291k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
651.12/651.32 c 595s| 1860k| 32 | 6469 | 0.0 | 17M| 100 | - | 316 | 27k| 0 | 0 | 363 |1298k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
654.62/654.83 c 598s| 1870k| 26 | 6469 | 0.0 | 17M| 100 | - | 316 | 27k| 0 | 0 | 363 |1305k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
658.12/658.35 c 602s| 1880k| 29 | 6469 | 0.0 | 17M| 100 | - | 316 | 27k| 0 | 0 | 363 |1312k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
661.63/661.82 c 605s| 1890k| 31 | 6469 | 0.0 | 17M| 100 | - | 316 | 28k| 0 | 0 | 363 |1319k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
665.13/665.31 c 608s| 1900k| 28 | 6469 | 0.0 | 17M| 100 | - | 316 | 28k| 0 | 0 | 363 |1326k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
668.62/668.81 c 611s| 1910k| 31 | 6469 | 0.0 | 17M| 100 | - | 316 | 28k| 0 | 0 | 363 |1333k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
671.93/672.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.93/672.11 c 614s| 1920k| 28 | 6469 | 0.0 | 17M| 100 | - | 316 | 28k| 0 | 0 | 363 |1340k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
675.32/675.58 c 617s| 1930k| 32 | 6469 | 0.0 | 17M| 100 | - | 316 | 28k| 0 | 0 | 363 |1347k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
678.72/678.98 c 620s| 1940k| 25 | 6469 | 0.0 | 17M| 100 | - | 316 | 28k| 0 | 0 | 363 |1355k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
682.22/682.40 c 624s| 1950k| 28 | 6469 | 0.0 | 17M| 100 | - | 316 | 28k| 0 | 0 | 363 |1361k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
685.52/685.79 c 627s| 1960k| 32 | 6469 | 0.0 | 17M| 100 | - | 316 | 28k| 0 | 0 | 363 |1369k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
688.92/689.14 c 630s| 1970k| 29 | 6469 | 0.0 | 17M| 100 | - | 316 | 29k| 0 | 0 | 363 |1376k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
692.31/692.53 c 633s| 1980k| 29 | 6469 | 0.0 | 17M| 100 | - | 316 | 29k| 0 | 0 | 363 |1383k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
695.61/695.85 c 636s| 1990k| 31 | 6469 | 0.0 | 17M| 100 | - | 316 | 29k| 0 | 0 | 363 |1390k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
699.02/699.25 c 639s| 2000k| 32 | 6469 | 0.0 | 17M| 100 | - | 316 | 29k| 0 | 0 | 363 |1397k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
702.51/702.70 c 642s| 2010k| 32 | 6469 | 0.0 | 18M| 100 | - | 316 | 29k| 0 | 0 | 363 |1404k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
705.91/706.16 c 645s| 2020k| 28 | 6469 | 0.0 | 18M| 100 | - | 316 | 30k| 0 | 0 | 363 |1411k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
709.32/709.57 c 648s| 2030k| 32 | 6469 | 0.0 | 18M| 100 | - | 316 | 30k| 0 | 0 | 363 |1418k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
712.71/712.94 c 651s| 2040k| 34 | 6469 | 0.0 | 18M| 100 | - | 316 | 30k| 0 | 0 | 363 |1425k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
716.01/716.29 c 654s| 2050k| 29 | 6469 | 0.0 | 18M| 100 | - | 316 | 30k| 0 | 0 | 363 |1432k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
719.51/719.70 c 657s| 2060k| 29 | 6469 | 0.0 | 18M| 100 | - | 316 | 30k| 0 | 0 | 363 |1439k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
722.90/723.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.90/723.12 c 661s| 2070k| 30 | 6469 | 0.0 | 18M| 100 | - | 316 | 30k| 0 | 0 | 363 |1446k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
726.21/726.45 c 664s| 2080k| 27 | 6469 | 0.0 | 18M| 100 | - | 316 | 30k| 0 | 0 | 363 |1453k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
729.50/729.78 c 667s| 2090k| 27 | 6469 | 0.0 | 18M| 100 | - | 316 | 31k| 0 | 0 | 363 |1460k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
732.81/733.07 c 670s| 2100k| 30 | 6469 | 0.0 | 18M| 100 | - | 316 | 31k| 0 | 0 | 363 |1467k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
736.00/736.29 c 673s| 2110k| 27 | 6469 | 0.0 | 18M| 100 | - | 316 | 31k| 0 | 0 | 363 |1475k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
739.40/739.65 c 676s| 2120k| 31 | 6469 | 0.0 | 18M| 100 | - | 316 | 32k| 0 | 0 | 363 |1482k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
742.80/743.02 c 679s| 2130k| 29 | 6469 | 0.0 | 18M| 100 | - | 316 | 32k| 0 | 0 | 363 |1489k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
746.30/746.51 c 682s| 2140k| 29 | 6469 | 0.0 | 18M| 100 | - | 316 | 32k| 0 | 0 | 363 |1496k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
749.70/749.98 c 685s| 2150k| 32 | 6469 | 0.0 | 18M| 100 | - | 316 | 32k| 0 | 0 | 363 |1503k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
753.21/753.47 c 688s| 2160k| 26 | 6469 | 0.0 | 18M| 100 | - | 316 | 32k| 0 | 0 | 363 |1510k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
756.69/756.91 c 691s| 2170k| 32 | 6469 | 0.0 | 18M| 100 | - | 316 | 32k| 0 | 0 | 363 |1517k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
760.10/760.38 c 695s| 2180k| 31 | 6469 | 0.0 | 18M| 100 | - | 316 | 33k| 0 | 0 | 363 |1524k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
763.59/763.88 c 698s| 2190k| 26 | 6469 | 0.0 | 18M| 100 | - | 316 | 33k| 0 | 0 | 363 |1531k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
767.19/767.43 c 701s| 2200k| 31 | 6469 | 0.0 | 19M| 100 | - | 316 | 33k| 0 | 0 | 363 |1538k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
770.70/770.98 c 704s| 2210k| 30 | 6469 | 0.0 | 19M| 100 | - | 316 | 33k| 0 | 0 | 363 |1545k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
774.29/774.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.29/774.58 c 708s| 2220k| 29 | 6469 | 0.0 | 19M| 100 | - | 316 | 33k| 0 | 0 | 363 |1552k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
777.89/778.17 c 711s| 2230k| 27 | 6469 | 0.0 | 19M| 100 | - | 316 | 33k| 0 | 0 | 363 |1558k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
781.59/781.85 c 714s| 2240k| 27 | 6469 | 0.0 | 19M| 100 | - | 316 | 33k| 0 | 0 | 363 |1565k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
785.20/785.41 c 717s| 2250k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 33k| 0 | 0 | 363 |1572k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
788.69/788.95 c 721s| 2260k| 29 | 6469 | 0.0 | 19M| 100 | - | 316 | 34k| 0 | 0 | 363 |1579k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
792.19/792.50 c 724s| 2270k| 32 | 6469 | 0.0 | 19M| 100 | - | 316 | 33k| 0 | 0 | 363 |1586k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
795.69/795.98 c 727s| 2280k| 32 | 6469 | 0.0 | 19M| 100 | - | 316 | 34k| 0 | 0 | 363 |1594k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
799.19/799.41 c 730s| 2290k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 34k| 0 | 0 | 363 |1601k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
802.70/802.96 c 733s| 2300k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 34k| 0 | 0 | 363 |1607k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
806.28/806.50 c 737s| 2310k| 32 | 6469 | 0.0 | 19M| 100 | - | 316 | 34k| 0 | 0 | 363 |1614k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
809.68/809.93 c 740s| 2320k| 32 | 6469 | 0.0 | 19M| 100 | - | 316 | 34k| 0 | 0 | 363 |1621k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
813.19/813.44 c 743s| 2330k| 29 | 6469 | 0.0 | 19M| 100 | - | 316 | 34k| 0 | 0 | 363 |1628k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
816.79/817.00 c 746s| 2340k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 34k| 0 | 0 | 363 |1636k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
820.29/820.56 c 750s| 2350k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 35k| 0 | 0 | 363 |1643k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
823.78/824.00 c 753s| 2360k| 32 | 6469 | 0.0 | 19M| 100 | - | 316 | 35k| 0 | 0 | 363 |1651k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
827.08/827.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.08/827.35 c 756s| 2370k| 29 | 6469 | 0.0 | 19M| 100 | - | 316 | 35k| 0 | 0 | 363 |1658k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
830.48/830.73 c 759s| 2380k| 30 | 6469 | 0.0 | 19M| 100 | - | 316 | 35k| 0 | 0 | 363 |1665k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
833.78/834.04 c 762s| 2390k| 30 | 6469 | 0.0 | 19M| 100 | - | 316 | 35k| 0 | 0 | 363 |1672k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
837.08/837.36 c 765s| 2400k| 27 | 6469 | 0.0 | 19M| 100 | - | 316 | 35k| 0 | 0 | 363 |1679k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
840.58/840.82 c 768s| 2410k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 36k| 0 | 0 | 363 |1686k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
843.98/844.22 c 771s| 2420k| 30 | 6469 | 0.0 | 19M| 100 | - | 316 | 36k| 0 | 0 | 363 |1693k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
847.38/847.64 c 774s| 2430k| 29 | 6469 | 0.0 | 19M| 100 | - | 316 | 36k| 0 | 0 | 363 |1700k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
850.87/851.15 c 778s| 2440k| 30 | 6469 | 0.0 | 19M| 100 | - | 316 | 36k| 0 | 0 | 363 |1707k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
854.27/854.52 c 781s| 2450k| 30 | 6469 | 0.0 | 19M| 100 | - | 316 | 36k| 0 | 0 | 363 |1713k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
857.57/857.83 c 784s| 2460k| 30 | 6469 | 0.0 | 19M| 100 | - | 316 | 36k| 0 | 0 | 363 |1720k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
860.88/861.19 c 787s| 2470k| 24 | 6469 | 0.0 | 19M| 100 | - | 316 | 36k| 0 | 0 | 363 |1727k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
864.28/864.57 c 790s| 2480k| 29 | 6469 | 0.0 | 19M| 100 | - | 316 | 36k| 0 | 0 | 363 |1735k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
867.68/867.97 c 793s| 2490k| 32 | 6469 | 0.0 | 19M| 100 | - | 316 | 36k| 0 | 0 | 363 |1741k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
871.07/871.37 c 796s| 2500k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 37k| 0 | 0 | 363 |1749k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
874.47/874.72 c 799s| 2510k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 37k| 0 | 0 | 363 |1756k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
877.87/878.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.87/878.14 c 802s| 2520k| 33 | 6469 | 0.0 | 19M| 100 | - | 316 | 37k| 0 | 0 | 363 |1764k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
881.17/881.44 c 805s| 2530k| 31 | 6469 | 0.0 | 19M| 100 | - | 316 | 37k| 0 | 0 | 363 |1773k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
884.57/884.85 c 808s| 2540k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 37k| 0 | 0 | 363 |1782k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
887.87/888.15 c 811s| 2550k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 38k| 0 | 0 | 363 |1788k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
891.27/891.50 c 814s| 2560k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 38k| 0 | 0 | 363 |1795k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
894.56/894.88 c 817s| 2570k| 28 | 6469 | 0.0 | 19M| 100 | - | 316 | 38k| 0 | 0 | 363 |1802k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
897.86/898.17 c 820s| 2580k| 28 | 6469 | 0.0 | 20M| 100 | - | 316 | 38k| 0 | 0 | 363 |1810k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
901.27/901.50 c 824s| 2590k| 28 | 6469 | 0.0 | 20M| 100 | - | 316 | 38k| 0 | 0 | 363 |1818k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
904.56/904.89 c 827s| 2600k| 26 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1825k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
908.06/908.34 c 830s| 2610k| 30 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1832k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
911.36/911.69 c 833s| 2620k| 32 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1840k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
914.76/915.05 c 836s| 2630k| 32 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1848k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
918.17/918.49 c 839s| 2640k| 31 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1855k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
921.66/921.95 c 842s| 2650k| 33 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1863k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
925.16/925.42 c 845s| 2660k| 31 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1870k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
928.55/928.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.55/928.84 c 849s| 2670k| 28 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1877k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
931.95/932.22 c 852s| 2680k| 30 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1884k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
935.26/935.53 c 855s| 2690k| 26 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1891k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
938.56/938.84 c 858s| 2700k| 28 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1898k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
941.85/942.15 c 861s| 2710k| 29 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1905k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
945.15/945.49 c 864s| 2720k| 28 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1913k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
948.45/948.79 c 867s| 2730k| 28 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1921k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
951.75/952.06 c 870s| 2740k| 28 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1928k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
955.15/955.46 c 873s| 2750k| 30 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1934k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
958.45/958.78 c 876s| 2760k| 31 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1941k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
961.95/962.28 c 879s| 2770k| 33 | 6469 | 0.0 | 20M| 100 | - | 316 | 39k| 0 | 0 | 363 |1948k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
965.56/965.85 c 882s| 2780k| 30 | 6469 | 0.0 | 20M| 100 | - | 316 | 40k| 0 | 0 | 363 |1955k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
969.05/969.33 c 886s| 2790k| 28 | 6469 | 0.0 | 20M| 100 | - | 316 | 40k| 0 | 0 | 363 |1962k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
972.35/972.66 c 889s| 2800k| 27 | 6469 | 0.0 | 20M| 100 | - | 316 | 40k| 0 | 0 | 363 |1970k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
975.75/976.03 c 892s| 2810k| 29 | 6469 | 0.0 | 20M| 100 | - | 316 | 41k| 0 | 0 | 363 |1978k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
979.05/979.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.05/979.34 c 895s| 2820k| 30 | 6469 | 0.0 | 20M| 100 | - | 316 | 41k| 0 | 0 | 363 |1986k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
982.25/982.56 c 898s| 2830k| 30 | 6469 | 0.0 | 20M| 100 | - | 316 | 41k| 0 | 0 | 363 |1993k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
985.44/985.78 c 901s| 2840k| 26 | 6469 | 0.0 | 20M| 100 | - | 316 | 41k| 0 | 0 | 363 |2000k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
988.75/989.06 c 904s| 2850k| 30 | 6469 | 0.0 | 20M| 100 | - | 316 | 41k| 0 | 0 | 363 |2008k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
992.14/992.45 c 907s| 2860k| 26 | 6469 | 0.0 | 20M| 100 | - | 316 | 41k| 0 | 0 | 363 |2015k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
995.45/995.79 c 910s| 2870k| 30 | 6469 | 0.0 | 20M| 100 | - | 316 | 41k| 0 | 0 | 363 |2022k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
998.84/999.19 c 913s| 2880k| 30 | 6469 | 0.0 | 20M| 100 | - | 316 | 41k| 0 | 0 | 363 |2029k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1002.24/1002.55 c 916s| 2890k| 28 | 6469 | 0.0 | 20M| 100 | - | 316 | 42k| 0 | 0 | 363 |2036k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1005.64/1005.95 c 919s| 2900k| 29 | 6469 | 0.0 | 20M| 100 | - | 316 | 42k| 0 | 0 | 363 |2043k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1009.03/1009.33 c 922s| 2910k| 26 | 6469 | 0.0 | 21M| 100 | - | 316 | 42k| 0 | 0 | 363 |2051k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1012.34/1012.64 c 925s| 2920k| 25 | 6469 | 0.0 | 21M| 100 | - | 316 | 42k| 0 | 0 | 363 |2058k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1015.64/1015.99 c 928s| 2930k| 28 | 6469 | 0.0 | 21M| 100 | - | 316 | 42k| 0 | 0 | 363 |2066k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1019.04/1019.32 c 931s| 2940k| 24 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2073k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1022.44/1022.80 c 934s| 2950k| 33 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2080k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1026.05/1026.31 c 938s| 2960k| 30 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2086k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1029.44/1029.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.44/1029.77 c 941s| 2970k| 29 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2095k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1033.04/1033.34 c 944s| 2980k| 31 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2101k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1036.64/1036.95 c 947s| 2990k| 27 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2108k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1040.24/1040.55 c 951s| 3000k| 32 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2115k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1043.73/1044.04 c 954s| 3010k| 28 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2121k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1047.23/1047.51 c 957s| 3020k| 29 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2128k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1050.63/1050.95 c 960s| 3030k| 29 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2134k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1054.03/1054.37 c 963s| 3040k| 29 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2141k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1057.43/1057.78 c 966s| 3050k| 28 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2147k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1060.92/1061.20 c 970s| 3060k| 28 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2154k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1064.33/1064.67 c 973s| 3070k| 30 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2161k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1067.73/1068.09 c 976s| 3080k| 30 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2167k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1071.23/1071.59 c 979s| 3090k| 28 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2173k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1074.82/1075.10 c 982s| 3100k| 34 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2181k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1078.42/1078.73 c 986s| 3110k| 31 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2188k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1082.02/1082.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.02/1082.37 c 989s| 3120k| 31 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2196k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1085.62/1085.99 c 992s| 3130k| 29 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2203k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1089.12/1089.43 c 995s| 3140k| 32 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2210k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1092.62/1092.94 c 999s| 3150k| 26 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2216k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1096.02/1096.38 c 1002s| 3160k| 31 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2225k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1099.52/1099.89 c 1005s| 3170k| 32 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2233k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1103.12/1103.46 c 1008s| 3180k| 29 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2242k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1106.72/1107.05 c 1012s| 3190k| 30 | 6469 | 0.0 | 21M| 100 | - | 316 | 43k| 0 | 0 | 363 |2249k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1110.11/1110.48 c 1015s| 3200k| 30 | 6469 | 0.0 | 21M| 100 | - | 316 | 44k| 0 | 0 | 363 |2256k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1113.61/1113.92 c 1018s| 3210k| 27 | 6469 | 0.0 | 21M| 100 | - | 316 | 44k| 0 | 0 | 363 |2264k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1117.12/1117.43 c 1021s| 3220k| 31 | 6469 | 0.0 | 21M| 100 | - | 316 | 44k| 0 | 0 | 363 |2271k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1120.62/1120.91 c 1024s| 3230k| 29 | 6469 | 0.0 | 21M| 100 | - | 316 | 44k| 0 | 0 | 363 |2278k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1124.11/1124.41 c 1027s| 3240k| 30 | 6469 | 0.0 | 21M| 100 | - | 316 | 44k| 0 | 0 | 363 |2285k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1127.71/1128.00 c 1031s| 3250k| 32 | 6469 | 0.0 | 21M| 100 | - | 316 | 44k| 0 | 0 | 363 |2293k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1131.31/1131.61 c 1034s| 3260k| 30 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2301k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1134.81/1135.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.81/1135.13 c 1037s| 3270k| 26 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2308k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1138.21/1138.58 c 1040s| 3280k| 32 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2315k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1141.71/1142.07 c 1044s| 3290k| 28 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2322k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1145.21/1145.56 c 1047s| 3300k| 31 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2329k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1148.61/1148.98 c 1050s| 3310k| 32 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2336k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1152.11/1152.45 c 1053s| 3320k| 30 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2343k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1155.60/1155.94 c 1056s| 3330k| 32 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2349k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1159.01/1159.40 c 1059s| 3340k| 29 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2356k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1162.60/1162.90 c 1063s| 3350k| 34 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2363k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1166.20/1166.54 c 1066s| 3360k| 31 | 6469 | 0.0 | 21M| 100 | - | 316 | 45k| 0 | 0 | 363 |2370k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1169.70/1170.06 c 1069s| 3370k| 32 | 6469 | 0.0 | 21M| 100 | - | 316 | 46k| 0 | 0 | 363 |2377k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1173.31/1173.64 c 1072s| 3380k| 26 | 6469 | 0.0 | 22M| 100 | - | 316 | 46k| 0 | 0 | 363 |2385k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1176.90/1177.20 c 1076s| 3390k| 32 | 6469 | 0.0 | 22M| 100 | - | 316 | 46k| 0 | 0 | 363 |2392k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1180.39/1180.79 c 1079s| 3400k| 31 | 6469 | 0.0 | 22M| 100 | - | 316 | 46k| 0 | 0 | 363 |2399k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1184.00/1184.31 c 1082s| 3410k| 26 | 6469 | 0.0 | 22M| 100 | - | 316 | 46k| 0 | 0 | 363 |2406k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1187.39/1187.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.39/1187.77 c 1085s| 3420k| 29 | 6469 | 0.0 | 22M| 100 | - | 316 | 46k| 0 | 0 | 363 |2413k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1190.80/1191.19 c 1089s| 3430k| 28 | 6469 | 0.0 | 22M| 100 | - | 316 | 47k| 0 | 0 | 363 |2421k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1194.30/1194.62 c 1092s| 3440k| 28 | 6469 | 0.0 | 22M| 100 | - | 316 | 47k| 0 | 0 | 363 |2428k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1197.79/1198.12 c 1095s| 3450k| 29 | 6469 | 0.0 | 22M| 100 | - | 316 | 47k| 0 | 0 | 363 |2435k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1201.30/1201.65 c 1098s| 3460k| 29 | 6469 | 0.0 | 22M| 100 | - | 316 | 47k| 0 | 0 | 363 |2443k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1204.69/1205.03 c 1101s| 3470k| 25 | 6469 | 0.0 | 22M| 100 | - | 316 | 48k| 0 | 0 | 363 |2451k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1208.19/1208.50 c 1104s| 3480k| 29 | 6469 | 0.0 | 22M| 100 | - | 316 | 48k| 0 | 0 | 363 |2458k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1211.59/1211.99 c 1108s| 3490k| 25 | 6469 | 0.0 | 22M| 100 | - | 316 | 48k| 0 | 0 | 363 |2465k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1215.19/1215.59 c 1111s| 3500k| 30 | 6469 | 0.0 | 22M| 100 | - | 316 | 48k| 0 | 0 | 363 |2472k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1218.79/1219.13 c 1114s| 3510k| 31 | 6469 | 0.0 | 22M| 100 | - | 316 | 48k| 0 | 0 | 363 |2479k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1222.29/1222.61 c 1117s| 3520k| 28 | 6469 | 0.0 | 22M| 100 | - | 316 | 48k| 0 | 0 | 363 |2486k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1225.78/1226.10 c 1120s| 3530k| 29 | 6469 | 0.0 | 22M| 100 | - | 316 | 48k| 0 | 0 | 363 |2493k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1229.19/1229.57 c 1124s| 3540k| 29 | 6469 | 0.0 | 22M| 100 | - | 316 | 49k| 0 | 0 | 363 |2502k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1232.69/1233.08 c 1127s| 3550k| 29 | 6469 | 0.0 | 22M| 100 | - | 316 | 49k| 0 | 0 | 363 |2510k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1236.18/1236.53 c 1130s| 3560k| 23 | 6469 | 0.0 | 22M| 100 | - | 316 | 49k| 0 | 0 | 363 |2517k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1239.68/1240.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.68/1240.00 c 1133s| 3570k| 28 | 6469 | 0.0 | 22M| 100 | - | 316 | 50k| 0 | 0 | 363 |2524k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1243.18/1243.52 c 1136s| 3580k| 28 | 6469 | 0.0 | 22M| 100 | - | 316 | 50k| 0 | 0 | 363 |2531k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1246.68/1247.03 c 1140s| 3590k| 30 | 6469 | 0.0 | 22M| 100 | - | 316 | 50k| 0 | 0 | 363 |2538k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1250.18/1250.56 c 1143s| 3600k| 27 | 6469 | 0.0 | 22M| 100 | - | 316 | 50k| 0 | 0 | 363 |2545k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1253.69/1254.03 c 1146s| 3610k| 26 | 6469 | 0.0 | 22M| 100 | - | 316 | 50k| 0 | 0 | 363 |2553k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1257.18/1257.50 c 1149s| 3620k| 27 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2560k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1260.67/1261.02 c 1152s| 3630k| 28 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2567k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1264.28/1264.60 c 1156s| 3640k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2574k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1267.68/1268.04 c 1159s| 3650k| 34 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2580k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1271.07/1271.41 c 1162s| 3660k| 32 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2587k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1274.37/1274.76 c 1165s| 3670k| 34 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2594k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1277.78/1278.16 c 1168s| 3680k| 28 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2601k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1281.18/1281.52 c 1171s| 3690k| 33 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2610k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1284.67/1285.04 c 1174s| 3700k| 30 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2617k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1288.17/1288.53 c 1177s| 3710k| 27 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2623k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1291.57/1291.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.57/1291.99 c 1181s| 3720k| 27 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2630k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1295.07/1295.45 c 1184s| 3730k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2637k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1298.47/1298.83 c 1187s| 3740k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2644k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1301.77/1302.18 c 1190s| 3750k| 28 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2651k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1305.27/1305.68 c 1193s| 3760k| 30 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2657k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1308.77/1309.16 c 1196s| 3770k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2664k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1312.17/1312.58 c 1199s| 3780k| 33 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2671k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1315.56/1315.99 c 1203s| 3790k| 28 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2679k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1319.06/1319.44 c 1206s| 3800k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2686k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1322.46/1322.84 c 1209s| 3810k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2693k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1325.86/1326.26 c 1212s| 3820k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2700k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1329.36/1329.78 c 1215s| 3830k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2707k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1332.77/1333.20 c 1218s| 3840k| 32 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2714k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1336.17/1336.51 c 1221s| 3850k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2722k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1339.36/1339.79 c 1224s| 3860k| 28 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2729k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1342.77/1343.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.77/1343.11 c 1227s| 3870k| 31 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2737k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1346.16/1346.50 c 1230s| 3880k| 31 | 6469 | 0.0 | 23M| 100 | - | 316 | 51k| 0 | 0 | 363 |2744k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1349.36/1349.78 c 1233s| 3890k| 28 | 6469 | 0.0 | 23M| 100 | - | 316 | 52k| 0 | 0 | 363 |2752k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1352.66/1353.06 c 1236s| 3900k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 52k| 0 | 0 | 363 |2759k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1355.97/1356.36 c 1240s| 3910k| 28 | 6469 | 0.0 | 23M| 100 | - | 316 | 52k| 0 | 0 | 363 |2767k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1359.26/1359.62 c 1242s| 3920k| 26 | 6469 | 0.0 | 23M| 100 | - | 316 | 52k| 0 | 0 | 363 |2774k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1362.56/1362.95 c 1246s| 3930k| 28 | 6469 | 0.0 | 23M| 100 | - | 316 | 52k| 0 | 0 | 363 |2780k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1365.86/1366.24 c 1249s| 3940k| 27 | 6469 | 0.0 | 23M| 100 | - | 316 | 52k| 0 | 0 | 363 |2788k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1369.16/1369.54 c 1252s| 3950k| 25 | 6469 | 0.0 | 23M| 100 | - | 316 | 53k| 0 | 0 | 363 |2795k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1372.45/1372.86 c 1255s| 3960k| 27 | 6469 | 0.0 | 23M| 100 | - | 316 | 53k| 0 | 0 | 363 |2802k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1375.76/1376.15 c 1258s| 3970k| 24 | 6469 | 0.0 | 23M| 100 | - | 316 | 53k| 0 | 0 | 363 |2809k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1379.06/1379.48 c 1261s| 3980k| 32 | 6469 | 0.0 | 23M| 100 | - | 316 | 53k| 0 | 0 | 363 |2816k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1382.55/1382.99 c 1264s| 3990k| 28 | 6469 | 0.0 | 23M| 100 | - | 316 | 53k| 0 | 0 | 363 |2823k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1386.05/1386.48 c 1267s| 4000k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 53k| 0 | 0 | 363 |2830k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1389.55/1389.92 c 1270s| 4010k| 30 | 6469 | 0.0 | 23M| 100 | - | 316 | 53k| 0 | 0 | 363 |2837k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1392.94/1393.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.94/1393.38 c 1273s| 4020k| 30 | 6469 | 0.0 | 23M| 100 | - | 316 | 53k| 0 | 0 | 363 |2844k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1396.44/1396.84 c 1276s| 4030k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 54k| 0 | 0 | 363 |2851k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1399.85/1400.27 c 1280s| 4040k| 30 | 6469 | 0.0 | 23M| 100 | - | 316 | 54k| 0 | 0 | 363 |2858k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1403.34/1403.70 c 1283s| 4050k| 27 | 6469 | 0.0 | 23M| 100 | - | 316 | 54k| 0 | 0 | 363 |2865k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1406.64/1407.08 c 1286s| 4060k| 29 | 6469 | 0.0 | 23M| 100 | - | 316 | 55k| 0 | 0 | 363 |2872k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1410.04/1410.47 c 1289s| 4070k| 31 | 6469 | 0.0 | 24M| 100 | - | 316 | 55k| 0 | 0 | 363 |2882k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1413.34/1413.75 c 1292s| 4080k| 31 | 6469 | 0.0 | 24M| 100 | - | 316 | 55k| 0 | 0 | 363 |2889k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1416.64/1417.04 c 1295s| 4090k| 29 | 6469 | 0.0 | 24M| 100 | - | 316 | 55k| 0 | 0 | 363 |2896k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1419.94/1420.38 c 1298s| 4100k| 28 | 6469 | 0.0 | 24M| 100 | - | 316 | 55k| 0 | 0 | 363 |2905k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1423.24/1423.68 c 1301s| 4110k| 28 | 6469 | 0.0 | 24M| 100 | - | 316 | 55k| 0 | 0 | 363 |2912k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1426.63/1427.02 c 1304s| 4120k| 25 | 6469 | 0.0 | 24M| 100 | - | 316 | 56k| 0 | 0 | 363 |2919k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1430.03/1430.42 c 1307s| 4130k| 30 | 6469 | 0.0 | 24M| 100 | - | 316 | 56k| 0 | 0 | 363 |2926k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1433.64/1434.02 c 1310s| 4140k| 27 | 6469 | 0.0 | 24M| 100 | - | 316 | 56k| 0 | 0 | 363 |2934k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1437.14/1437.60 c 1314s| 4150k| 25 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |2942k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1440.55/1440.96 c 1317s| 4160k| 31 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |2949k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1443.94/1444.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.94/1444.33 c 1320s| 4170k| 27 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |2955k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1447.14/1447.58 c 1323s| 4180k| 29 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |2962k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1450.54/1450.92 c 1326s| 4190k| 29 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |2970k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1453.83/1454.25 c 1329s| 4200k| 31 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |2976k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1457.13/1457.57 c 1332s| 4210k| 30 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |2984k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1460.53/1460.95 c 1335s| 4220k| 26 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |2992k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1463.83/1464.23 c 1338s| 4230k| 27 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |2998k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1467.23/1467.63 c 1341s| 4240k| 29 | 6469 | 0.0 | 24M| 100 | - | 316 | 57k| 0 | 0 | 363 |3005k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1470.63/1471.09 c 1344s| 4250k| 30 | 6469 | 0.0 | 24M| 100 | - | 316 | 58k| 0 | 0 | 363 |3012k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1474.23/1474.60 c 1347s| 4260k| 25 | 6469 | 0.0 | 24M| 100 | - | 316 | 58k| 0 | 0 | 363 |3019k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1477.63/1478.09 c 1351s| 4270k| 27 | 6469 | 0.0 | 24M| 100 | - | 316 | 58k| 0 | 0 | 363 |3027k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1481.12/1481.58 c 1354s| 4280k| 27 | 6469 | 0.0 | 24M| 100 | - | 316 | 58k| 0 | 0 | 363 |3034k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1484.53/1484.99 c 1357s| 4290k| 27 | 6469 | 0.0 | 24M| 100 | - | 316 | 59k| 0 | 0 | 363 |3041k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1487.93/1488.36 c 1360s| 4300k| 23 | 6469 | 0.0 | 25M| 100 | - | 316 | 59k| 0 | 0 | 363 |3048k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1491.32/1491.78 c 1363s| 4310k| 25 | 6469 | 0.0 | 25M| 100 | - | 316 | 59k| 0 | 0 | 363 |3055k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1494.82/1495.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.82/1495.20 c 1366s| 4320k| 23 | 6469 | 0.0 | 25M| 100 | - | 316 | 59k| 0 | 0 | 363 |3062k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1498.32/1498.79 c 1369s| 4330k| 30 | 6469 | 0.0 | 25M| 100 | - | 316 | 59k| 0 | 0 | 363 |3070k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1502.02/1502.44 c 1373s| 4340k| 31 | 6469 | 0.0 | 25M| 100 | - | 316 | 59k| 0 | 0 | 363 |3076k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1505.62/1506.00 c 1376s| 4350k| 30 | 6469 | 0.0 | 25M| 100 | - | 316 | 59k| 0 | 0 | 363 |3084k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1509.11/1509.50 c 1379s| 4360k| 28 | 6469 | 0.0 | 25M| 100 | - | 316 | 60k| 0 | 0 | 363 |3091k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1512.61/1513.01 c 1382s| 4370k| 30 | 6469 | 0.0 | 25M| 100 | - | 316 | 60k| 0 | 0 | 363 |3099k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1516.11/1516.54 c 1386s| 4380k| 31 | 6469 | 0.0 | 25M| 100 | - | 316 | 60k| 0 | 0 | 363 |3106k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1519.61/1520.06 c 1389s| 4390k| 29 | 6469 | 0.0 | 25M| 100 | - | 316 | 60k| 0 | 0 | 363 |3113k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1523.21/1523.61 c 1392s| 4400k| 28 | 6469 | 0.0 | 25M| 100 | - | 316 | 61k| 0 | 0 | 363 |3120k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1526.71/1527.14 c 1395s| 4410k| 28 | 6469 | 0.0 | 25M| 100 | - | 316 | 61k| 0 | 0 | 363 |3128k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1530.31/1530.73 c 1399s| 4420k| 31 | 6469 | 0.0 | 25M| 100 | - | 316 | 61k| 0 | 0 | 363 |3135k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1533.92/1534.36 c 1402s| 4430k| 30 | 6469 | 0.0 | 25M| 100 | - | 316 | 62k| 0 | 0 | 363 |3142k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1537.51/1537.92 c 1405s| 4440k| 29 | 6469 | 0.0 | 25M| 100 | - | 316 | 62k| 0 | 0 | 363 |3150k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1541.11/1541.52 c 1409s| 4450k| 31 | 6469 | 0.0 | 25M| 100 | - | 316 | 62k| 0 | 0 | 363 |3157k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1544.71/1545.10 c 1412s| 4460k| 28 | 6469 | 0.0 | 25M| 100 | - | 316 | 62k| 0 | 0 | 363 |3164k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1548.21/1548.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.21/1548.69 c 1415s| 4470k| 28 | 6469 | 0.0 | 25M| 100 | - | 316 | 63k| 0 | 0 | 363 |3172k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1551.81/1552.23 c 1418s| 4480k| 29 | 6469 | 0.0 | 25M| 100 | - | 316 | 63k| 0 | 0 | 363 |3180k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1555.31/1555.75 c 1422s| 4490k| 28 | 6469 | 0.0 | 25M| 100 | - | 316 | 63k| 0 | 0 | 363 |3187k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1558.81/1559.26 c 1425s| 4500k| 25 | 6469 | 0.0 | 25M| 100 | - | 316 | 63k| 0 | 0 | 363 |3193k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1562.41/1562.89 c 1428s| 4510k| 28 | 6469 | 0.0 | 25M| 100 | - | 316 | 63k| 0 | 0 | 363 |3200k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1566.01/1566.44 c 1431s| 4520k| 28 | 6469 | 0.0 | 25M| 100 | - | 316 | 63k| 0 | 0 | 363 |3207k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1569.61/1570.00 c 1435s| 4530k| 29 | 6469 | 0.0 | 26M| 100 | - | 316 | 64k| 0 | 0 | 363 |3215k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1573.10/1573.56 c 1438s| 4540k| 28 | 6469 | 0.0 | 26M| 100 | - | 316 | 64k| 0 | 0 | 363 |3222k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1576.61/1577.05 c 1441s| 4550k| 23 | 6469 | 0.0 | 26M| 100 | - | 316 | 64k| 0 | 0 | 363 |3229k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1580.00/1580.47 c 1444s| 4560k| 24 | 6469 | 0.0 | 26M| 100 | - | 316 | 64k| 0 | 0 | 363 |3236k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1583.61/1584.01 c 1447s| 4570k| 27 | 6469 | 0.0 | 26M| 100 | - | 316 | 64k| 0 | 0 | 363 |3243k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1587.00/1587.44 c 1450s| 4580k| 27 | 6469 | 0.0 | 26M| 100 | - | 316 | 65k| 0 | 0 | 363 |3250k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1590.50/1590.98 c 1454s| 4590k| 26 | 6469 | 0.0 | 26M| 100 | - | 316 | 65k| 0 | 0 | 363 |3257k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1594.10/1594.54 c 1457s| 4600k| 27 | 6469 | 0.0 | 26M| 100 | - | 316 | 65k| 0 | 0 | 363 |3264k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1597.60/1598.03 c 1460s| 4610k| 30 | 6469 | 0.0 | 26M| 100 | - | 316 | 65k| 0 | 0 | 363 |3271k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1601.10/1601.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.10/1601.55 c 1463s| 4620k| 29 | 6469 | 0.0 | 26M| 100 | - | 316 | 65k| 0 | 0 | 363 |3278k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1604.60/1605.03 c 1467s| 4630k| 29 | 6469 | 0.0 | 26M| 100 | - | 316 | 65k| 0 | 0 | 363 |3285k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1608.10/1608.55 c 1470s| 4640k| 29 | 6469 | 0.0 | 26M| 100 | - | 316 | 65k| 0 | 0 | 363 |3292k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1611.49/1611.96 c 1473s| 4650k| 28 | 6469 | 0.0 | 26M| 100 | - | 316 | 66k| 0 | 0 | 363 |3300k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1614.99/1615.44 c 1476s| 4660k| 30 | 6469 | 0.0 | 26M| 100 | - | 316 | 66k| 0 | 0 | 363 |3308k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1618.39/1618.87 c 1479s| 4670k| 30 | 6469 | 0.0 | 26M| 100 | - | 316 | 66k| 0 | 0 | 363 |3315k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1621.78/1622.27 c 1482s| 4680k| 30 | 6469 | 0.0 | 26M| 100 | - | 316 | 66k| 0 | 0 | 363 |3322k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1625.30/1625.73 c 1485s| 4690k| 28 | 6469 | 0.0 | 26M| 100 | - | 316 | 66k| 0 | 0 | 363 |3329k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1628.70/1629.15 c 1489s| 4700k| 30 | 6469 | 0.0 | 26M| 100 | - | 316 | 67k| 0 | 0 | 363 |3337k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1632.09/1632.59 c 1492s| 4710k| 31 | 6469 | 0.0 | 27M| 100 | - | 316 | 67k| 0 | 0 | 363 |3344k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1635.59/1636.02 c 1495s| 4720k| 32 | 6469 | 0.0 | 27M| 100 | - | 316 | 67k| 0 | 0 | 363 |3351k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1638.99/1639.46 c 1498s| 4730k| 28 | 6469 | 0.0 | 27M| 100 | - | 316 | 68k| 0 | 0 | 363 |3358k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1642.49/1642.95 c 1501s| 4740k| 30 | 6469 | 0.0 | 27M| 100 | - | 316 | 68k| 0 | 0 | 363 |3365k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1645.99/1646.40 c 1504s| 4750k| 36 | 6469 | 0.0 | 27M| 100 | - | 316 | 68k| 0 | 0 | 363 |3372k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1649.38/1649.89 c 1507s| 4760k| 31 | 6469 | 0.0 | 27M| 100 | - | 316 | 68k| 0 | 0 | 363 |3379k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1652.89/1653.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1652.89/1653.36 c 1511s| 4770k| 31 | 6469 | 0.0 | 27M| 100 | - | 316 | 68k| 0 | 0 | 363 |3386k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1656.38/1656.82 c 1514s| 4780k| 29 | 6469 | 0.0 | 27M| 100 | - | 316 | 68k| 0 | 0 | 363 |3392k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1659.68/1660.19 c 1517s| 4790k| 27 | 6469 | 0.0 | 27M| 100 | - | 316 | 68k| 0 | 0 | 363 |3399k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1663.18/1663.61 c 1520s| 4800k| 32 | 6469 | 0.0 | 27M| 100 | - | 316 | 68k| 0 | 0 | 363 |3406k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1666.48/1666.98 c 1523s| 4810k| 32 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3413k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1669.98/1670.48 c 1526s| 4820k| 30 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3420k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1673.48/1673.93 c 1529s| 4830k| 28 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3428k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1676.99/1677.46 c 1533s| 4840k| 27 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3435k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1680.48/1680.96 c 1536s| 4850k| 28 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3442k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1683.97/1684.45 c 1539s| 4860k| 25 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3449k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1687.48/1687.98 c 1542s| 4870k| 28 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3456k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1691.07/1691.51 c 1545s| 4880k| 29 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3462k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1694.47/1694.96 c 1549s| 4890k| 29 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3469k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1697.97/1698.42 c 1552s| 4900k| 27 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3476k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1701.47/1701.90 c 1555s| 4910k| 30 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3482k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1704.87/1705.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.87/1705.37 c 1558s| 4920k| 26 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3489k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1708.37/1708.86 c 1561s| 4930k| 28 | 6469 | 0.0 | 27M| 100 | - | 316 | 69k| 0 | 0 | 363 |3497k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1711.87/1712.31 c 1564s| 4940k| 27 | 6469 | 0.0 | 27M| 100 | - | 316 | 70k| 0 | 0 | 363 |3504k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1715.26/1715.73 c 1568s| 4950k| 28 | 6469 | 0.0 | 27M| 100 | - | 316 | 70k| 0 | 0 | 363 |3511k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1718.66/1719.16 c 1571s| 4960k| 26 | 6469 | 0.0 | 27M| 100 | - | 316 | 70k| 0 | 0 | 363 |3519k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1722.07/1722.58 c 1574s| 4970k| 31 | 6469 | 0.0 | 27M| 100 | - | 316 | 71k| 0 | 0 | 363 |3526k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1725.47/1725.98 c 1577s| 4980k| 28 | 6469 | 0.0 | 27M| 100 | - | 316 | 71k| 0 | 0 | 363 |3533k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1728.96/1729.41 c 1580s| 4990k| 28 | 6469 | 0.0 | 27M| 100 | - | 316 | 71k| 0 | 0 | 363 |3541k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1732.26/1732.77 c 1583s| 5000k| 25 | 6469 | 0.0 | 27M| 100 | - | 316 | 71k| 0 | 0 | 363 |3548k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1735.77/1736.23 c 1586s| 5010k| 26 | 6469 | 0.0 | 28M| 100 | - | 316 | 72k| 0 | 0 | 363 |3555k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1739.16/1739.69 c 1589s| 5020k| 31 | 6469 | 0.0 | 28M| 100 | - | 316 | 72k| 0 | 0 | 363 |3562k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1742.76/1743.22 c 1593s| 5030k| 28 | 6469 | 0.0 | 28M| 100 | - | 316 | 72k| 0 | 0 | 363 |3569k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1746.27/1746.77 c 1596s| 5040k| 30 | 6469 | 0.0 | 28M| 100 | - | 316 | 72k| 0 | 0 | 363 |3576k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1749.86/1750.30 c 1599s| 5050k| 28 | 6469 | 0.0 | 28M| 100 | - | 316 | 72k| 0 | 0 | 363 |3583k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1753.36/1753.83 c 1602s| 5060k| 28 | 6469 | 0.0 | 28M| 100 | - | 316 | 72k| 0 | 0 | 363 |3589k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1756.76/1757.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.76/1757.26 c 1605s| 5070k| 26 | 6469 | 0.0 | 28M| 100 | - | 316 | 72k| 0 | 0 | 363 |3596k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1760.25/1760.70 c 1609s| 5080k| 30 | 6469 | 0.0 | 28M| 100 | - | 316 | 72k| 0 | 0 | 363 |3603k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1763.66/1764.12 c 1612s| 5090k| 29 | 6469 | 0.0 | 28M| 100 | - | 316 | 73k| 0 | 0 | 363 |3610k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1767.05/1767.51 c 1615s| 5100k| 30 | 6469 | 0.0 | 28M| 100 | - | 316 | 73k| 0 | 0 | 363 |3617k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1770.46/1770.98 c 1618s| 5110k| 29 | 6469 | 0.0 | 28M| 100 | - | 316 | 73k| 0 | 0 | 363 |3623k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1773.95/1774.41 c 1621s| 5120k| 28 | 6469 | 0.0 | 28M| 100 | - | 316 | 73k| 0 | 0 | 363 |3631k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1777.46/1777.90 c 1624s| 5130k| 29 | 6469 | 0.0 | 28M| 100 | - | 316 | 73k| 0 | 0 | 363 |3638k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1780.95/1781.41 c 1628s| 5140k| 27 | 6469 | 0.0 | 28M| 100 | - | 316 | 73k| 0 | 0 | 363 |3644k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1784.36/1784.88 c 1631s| 5150k| 27 | 6469 | 0.0 | 28M| 100 | - | 316 | 73k| 0 | 0 | 363 |3651k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1787.85/1788.38 c 1634s| 5160k| 26 | 6469 | 0.0 | 28M| 100 | - | 316 | 73k| 0 | 0 | 363 |3658k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1791.36/1791.88 c 1637s| 5170k| 25 | 6469 | 0.0 | 28M| 100 | - | 316 | 74k| 0 | 0 | 363 |3665k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1794.85/1795.34 c 1640s| 5180k| 25 | 6469 | 0.0 | 28M| 100 | - | 316 | 74k| 0 | 0 | 363 |3672k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1798.35/1798.81 c 1644s| 5190k| 31 | 6469 | 0.0 | 28M| 100 | - | 316 | 74k| 0 | 0 | 363 |3679k| 20 | 1.357000e+03 | 1.359000e+03 | 0.15%
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1645.12
1800.05/1800.50 c Solving Nodes : 5194953
1800.05/1800.50 c Primal Bound : +1.35900000000000e+03 (13 solutions)
1800.05/1800.50 c Dual Bound : +1.35700000000000e+03
1800.05/1800.50 c Gap : 0.15 %
1800.05/1800.52 s SATISFIABLE
1800.05/1800.52 v -x2782 x2781 -x2780 x2779 x2778 -x2777 -x2776 x2775 -x2774 x2773 x2772 -x2771 -x2770 x2769 x2768 -x2767 x2766 -x2765 x2764 -x2763
1800.05/1800.52 v x2762 -x2761 x2760 -x2759 x2758 -x2757 x2756 -x2755 x2754 -x2753 x2752 -x2751 -x2750 x2749 x2748 -x2747 -x2746 x2745 x2744
1800.05/1800.52 v -x2743 -x2742 x2741 x2740 -x2739 x2738 -x2737 x2736 -x2735 x2734 -x2733 x2732 -x2731 x2730 -x2729 x2728 -x2727 x2726 -x2725
1800.05/1800.52 v x2724 -x2723 x2722 -x2721 -x2720 x2719 x2718 -x2717 -x2716 x2715 x2714 -x2713 -x2712 x2711 x2710 -x2709 x2708 -x2707 -x2706 x2705
1800.05/1800.52 v x2704 -x2703 -x2702 x2701 -x2700 x2699 x2698 -x2697 -x2696 x2695 x2694 -x2693 x2692 -x2691 -x2690 x2689 -x2688 x2687 x2686
1800.05/1800.52 v -x2685 -x2684 x2683 -x2682 x2681 -x2680 x2679 x2678 -x2677 x2676 -x2675 x2674 -x2673 x2672 -x2671 -x2670 x2669 x2668 -x2667
1800.05/1800.52 v x2666 -x2665 -x2664 x2663 -x2662 x2661 -x2660 x2659 x2658 -x2657 x2656 -x2655 -x2654 x2653 -x2652 x2651 -x2650 x2649 x2648
1800.05/1800.52 v -x2647 -x2646 x2645 x2644 -x2643 x2642 -x2641 -x2640 x2639 -x2638 x2637 x2636 -x2635 x2634 -x2633 -x2632 x2631 -x2630 x2629 -x2628
1800.05/1800.52 v x2627 x2626 -x2625 x2624 -x2623 x2622 -x2621 -x2620 x2619 x2618 -x2617 x2616 -x2615 -x2614 x2613 -x2612 x2611 x2610 -x2609
1800.05/1800.52 v x2608 -x2607 -x2606 x2605 -x2604 x2603 x2602 -x2601 x2600 -x2599 x2598 -x2597 -x2596 x2595 x2594 -x2593 x2592 -x2591 x2590
1800.05/1800.52 v -x2589 -x2588 x2587 x2586 -x2585 -x2584 x2583 x2582 -x2581 x2580 -x2579 x2578 -x2577 -x2576 x2575 x2574 -x2573 -x2572 x2571
1800.05/1800.52 v x2570 -x2569 -x2568 x2567 -x2566 x2565 -x2564 x2563 -x2562 x2561 x2560 -x2559 -x2558 x2557 -x2556 x2555 -x2554 x2553 x2552 -x2551
1800.05/1800.52 v -x2550 x2549 x2548 -x2547 x2546 -x2545 x2544 -x2543 -x2542 x2541 x2540 -x2539 x2538 -x2537 x2536 -x2535 -x2534 x2533 -x2532
1800.05/1800.52 v x2531 -x2530 x2529 -x2528 x2527 -x2526 x2525 -x2524 x2523 -x2522 x2521 -x2520 x2519 x2518 -x2517 x2516 -x2515 -x2514 x2513
1800.05/1800.52 v -x2512 x2511 x2510 -x2509 -x2508 x2507 -x2506 x2505 -x2504 x2503 x2502 -x2501 -x2500 x2499 -x2498 x2497 x2496 -x2495 x2494
1800.05/1800.52 v -x2493 x2492 -x2491 -x2490 x2489 x2488 -x2487 -x2486 x2485 -x2484 x2483 -x2482 x2481 -x2480 x2479 -x2478 x2477 x2476 -x2475
1800.05/1800.52 v x2474 -x2473 -x2472 x2471 -x2470 x2469 -x2468 x2467 x2466 -x2465 x2464 -x2463 x2462 -x2461 -x2460 x2459 -x2458 x2457 x2456 -x2455
1800.05/1800.52 v x2454 -x2453 -x2452 x2451 -x2450 x2449 x2448 -x2447 -x2446 x2445 x2444 -x2443 x2442 -x2441 x2440 -x2439 x2438 -x2437 x2436
1800.05/1800.52 v -x2435 x2434 -x2433 x2432 -x2431 x2430 -x2429 x2428 -x2427 x2426 -x2425 -x2424 x2423 -x2422 x2421 x2420 -x2419 -x2418 x2417
1800.05/1800.52 v x2416 -x2415 x2414 -x2413 -x2412 x2411 -x2410 x2409 -x2408 x2407 x2406 -x2405 x2404 -x2403 x2402 -x2401 x2400 -x2399 x2398
1800.05/1800.52 v -x2397 x2396 -x2395 -x2394 x2393 -x2392 x2391 -x2390 x2389 x2388 -x2387 -x2386 x2385 -x2384 x2383 -x2382 x2381 x2380 -x2379 -x2378
1800.05/1800.52 v x2377 -x2376 x2375 -x2374 x2373 x2372 -x2371 -x2370 x2369 x2368 -x2367 -x2366 x2365 x2364 -x2363 -x2362 x2361 -x2360 x2359
1800.05/1800.52 v -x2358 x2357 x2356 -x2355 -x2354 x2353 x2352 -x2351 x2350 -x2349 -x2348 x2347 x2346 -x2345 x2344 -x2343 x2342 -x2341 -x2340
1800.05/1800.52 v x2339 -x2338 x2337 x2336 -x2335 x2334 -x2333 -x2332 x2331 x2330 -x2329 -x2328 x2327 -x2326 x2325 x2324 -x2323 x2322 -x2321
1800.05/1800.52 v x2320 -x2319 -x2318 x2317 x2316 -x2315 -x2314 x2313 x2312 -x2311 -x2310 x2309 x2308 -x2307 -x2306 x2305 x2304 -x2303 -x2302
1800.05/1800.52 v x2301 x2300 -x2299 -x2298 x2297 x2296 -x2295 x2294 -x2293 x2292 -x2291 x2290 -x2289 x2288 -x2287 -x2286 x2285 -x2284 x2283 x2282
1800.05/1800.52 v -x2281 -x2280 x2279 -x2278 x2277 x2276 -x2275 -x2274 x2273 -x2272 x2271 -x2270 x2269 -x2268 x2267 -x2266 x2265 x2264 -x2263
1800.05/1800.52 v x2262 -x2261 x2260 -x2259 x2258 -x2257 -x2256 x2255 -x2254 x2253 x2252 -x2251 -x2250 x2249 -x2248 x2247 x2246 -x2245 -x2244
1800.05/1800.52 v x2243 -x2242 x2241 -x2240 x2239 x2238 -x2237 -x2236 x2235 -x2234 x2233 x2232 -x2231 x2230 -x2229 x2228 -x2227 x2226 -x2225
1800.05/1800.52 v -x2224 x2223 x2222 -x2221 x2220 -x2219 -x2218 x2217 x2216 -x2215 -x2214 x2213 -x2212 x2211 x2210 -x2209 x2208 -x2207 -x2206 x2205
1800.05/1800.52 v -x2204 x2203 -x2202 x2201 x2200 -x2199 -x2198 x2197 -x2196 x2195 -x2194 x2193 -x2192 x2191 -x2190 x2189 -x2188 x2187 -x2186
1800.05/1800.52 v x2185 x2184 -x2183 -x2182 x2181 -x2180 x2179 -x2178 x2177 -x2176 x2175 -x2174 x2173 -x2172 x2171 x2170 -x2169 -x2168 x2167
1800.05/1800.52 v x2166 -x2165 x2164 -x2163 x2162 -x2161 x2160 -x2159 -x2158 x2157 -x2156 x2155 x2154 -x2153 -x2152 x2151 x2150 -x2149 x2148
1800.05/1800.52 v -x2147 x2146 -x2145 x2144 -x2143 x2142 -x2141 -x2140 x2139 -x2138 x2137 x2136 -x2135 x2134 -x2133 -x2132 x2131 x2130 -x2129 x2128
1800.05/1800.52 v -x2127 x2126 -x2125 -x2124 x2123 x2122 -x2121 x2120 -x2119 x2118 -x2117 -x2116 x2115 -x2114 x2113 -x2112 x2111 -x2110 x2109
1800.05/1800.52 v -x2108 x2107 -x2106 x2105 x2104 -x2103 x2102 -x2101 x2100 -x2099 x2098 -x2097 x2096 -x2095 -x2094 x2093 -x2092 x2091 x2090
1800.05/1800.52 v -x2089 -x2088 x2087 x2086 -x2085 -x2084 x2083 -x2082 x2081 -x2080 x2079 x2078 -x2077 x2076 -x2075 x2074 -x2073 -x2072 x2071
1800.05/1800.52 v -x2070 x2069 -x2068 x2067 x2066 -x2065 x2064 -x2063 x2062 -x2061 -x2060 x2059 x2058 -x2057 x2056 -x2055 -x2054 x2053 -x2052
1800.05/1800.52 v x2051 -x2050 x2049 x2048 -x2047 x2046 -x2045 -x2044 x2043 x2042 -x2041 -x2040 x2039 x2038 -x2037 -x2036 x2035 -x2034 x2033 -x2032
1800.05/1800.52 v x2031 x2030 -x2029 -x2028 x2027 x2026 -x2025 -x2024 x2023 x2022 -x2021 -x2020 x2019 -x2018 x2017 -x2016 x2015 -x2014 x2013
1800.05/1800.52 v x2012 -x2011 x2010 -x2009 x2008 -x2007 x2006 -x2005 -x2004 x2003 x2002 -x2001 x2000 -x1999 x1998 -x1997 x1996 -x1995 x1994
1800.05/1800.52 v -x1993 x1992 -x1991 x1990 -x1989 x1988 -x1987 x1986 -x1985 x1984 -x1983 -x1982 x1981 -x1980 x1979 x1978 -x1977 x1976 -x1975
1800.05/1800.52 v -x1974 x1973 -x1972 x1971 -x1970 x1969 -x1968 x1967 x1966 -x1965 x1964 -x1963 -x1962 x1961 x1960 -x1959 x1958 -x1957 -x1956 x1955
1800.05/1800.52 v -x1954 x1953 -x1952 x1951 -x1950 x1949 -x1948 x1947 -x1946 x1945 x1944 -x1943 x1942 -x1941 x1940 -x1939 x1938 -x1937 -x1936
1800.05/1800.52 v x1935 x1934 -x1933 x1932 -x1931 x1930 -x1929 x1928 -x1927 x1926 -x1925 x1924 -x1923 -x1922 x1921 -x1920 x1919 x1918 -x1917
1800.05/1800.52 v -x1916 x1915 x1914 -x1913 x1912 -x1911 x1910 -x1909 x1908 -x1907 x1906 -x1905 x1904 -x1903 x1902 -x1901 x1900 -x1899 x1898
1800.05/1800.52 v -x1897 -x1896 x1895 -x1894 x1893 -x1892 x1891 -x1890 x1889 x1888 -x1887 x1886 -x1885 -x1884 x1883 x1882 -x1881 -x1880 x1879 -x1878
1800.05/1800.52 v x1877 x1876 -x1875 x1874 -x1873 x1872 -x1871 x1870 -x1869 x1868 -x1867 x1866 -x1865 x1864 -x1863 x1862 -x1861 -x1860 x1859
1800.05/1800.52 v x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852 -x1851 -x1850 x1849 x1848 -x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841 -x1840
1800.05/1800.52 v x1839 -x1838 x1837 x1836 -x1835 -x1834 x1833 -x1832 x1831 -x1830 x1829 x1828 -x1827 x1826 -x1825 x1824 -x1823 -x1822 x1821
1800.05/1800.52 v -x1820 x1819 -x1818 x1817 -x1816 x1815 -x1814 x1813 x1812 -x1811 -x1810 x1809 x1808 -x1807 -x1806 x1805 x1804 -x1803 x1802 -x1801
1800.05/1800.52 v -x1800 x1799 -x1798 x1797 x1796 -x1795 x1794 -x1793 -x1792 x1791 x1790 -x1789 -x1788 x1787 x1786 -x1785 -x1784 x1783 -x1782
1800.05/1800.52 v x1781 x1780 -x1779 x1778 -x1777 x1776 -x1775 -x1774 x1773 x1772 -x1771 x1770 -x1769 -x1768 x1767 x1766 -x1765 x1764 -x1763
1800.05/1800.52 v -x1762 x1761 -x1760 x1759 x1758 -x1757 x1756 -x1755 x1754 -x1753 -x1752 x1751 -x1750 x1749 -x1748 x1747 x1746 -x1745 -x1744
1800.05/1800.52 v x1743 -x1742 x1741 -x1740 x1739 -x1738 x1737 -x1736 x1735 x1734 -x1733 x1732 -x1731 -x1730 x1729 -x1728 x1727 x1726 -x1725
1800.05/1800.52 v x1724 -x1723 x1722 -x1721 -x1720 x1719 x1718 -x1717 -x1716 x1715 x1714 -x1713 -x1712 x1711 -x1710 x1709 -x1708 x1707 x1706 -x1705
1800.05/1800.52 v x1704 -x1703 -x1702 x1701 -x1700 x1699 x1698 -x1697 x1696 -x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689 x1688 -x1687 x1686
1800.05/1800.52 v -x1685 -x1684 x1683 -x1682 x1681 x1680 -x1679 -x1678 x1677 x1676 -x1675 x1674 -x1673 -x1672 x1671 -x1670 x1669 x1668 -x1667
1800.05/1800.52 v x1666 -x1665 x1664 -x1663 x1662 -x1661 x1660 -x1659 x1658 -x1657 x1656 -x1655 x1654 -x1653 x1652 -x1651 x1650 -x1649 x1648
1800.05/1800.52 v -x1647 -x1646 x1645 x1644 -x1643 -x1642 x1641 x1640 -x1639 x1638 -x1637 x1636 -x1635 x1634 -x1633 x1632 -x1631 x1630 -x1629 x1628
1800.05/1800.52 v -x1627 -x1626 x1625 -x1624 x1623 -x1622 x1621 x1620 -x1619 -x1618 x1617 -x1616 x1615 -x1614 x1613 -x1612 x1611 x1610 -x1609
1800.05/1800.52 v -x1608 x1607 x1606 -x1605 x1604 -x1603 x1602 -x1601 x1600 -x1599 -x1598 x1597 x1596 -x1595 x1594 -x1593 -x1592 x1591 x1590
1800.05/1800.52 v -x1589 -x1588 x1587 -x1586 x1585 -x1584 x1583 x1582 -x1581 x1580 -x1579 x1578 -x1577 x1576 -x1575 -x1574 x1573 -x1572 x1571
1800.05/1800.52 v x1570 -x1569 x1568 -x1567 x1566 -x1565 -x1564 x1563 -x1562 x1561 x1560 -x1559 x1558 -x1557 -x1556 x1555 x1554 -x1553 x1552 -x1551
1800.05/1800.52 v x1550 -x1549 -x1548 x1547 x1546 -x1545 -x1544 x1543 x1542 -x1541 x1540 -x1539 x1538 -x1537 x1536 -x1535 -x1534 x1533 x1532
1800.05/1800.52 v -x1531 x1530 -x1529 x1528 -x1527 x1526 -x1525 -x1524 x1523 -x1522 x1521 x1520 -x1519 -x1518 x1517 -x1516 x1515 x1514 -x1513
1800.05/1800.52 v x1512 -x1511 -x1510 x1509 -x1508 x1507 x1506 -x1505 -x1504 x1503 x1502 -x1501 -x1500 x1499 x1498 -x1497 -x1496 x1495 -x1494
1800.05/1800.52 v x1493 -x1492 x1491 x1490 -x1489 x1488 -x1487 x1486 -x1485 x1484 -x1483 x1482 -x1481 -x1480 x1479 x1478 -x1477 x1476 -x1475
1800.05/1800.52 v -x1474 x1473 x1472 -x1471 x1470 -x1469 x1468 -x1467 -x1466 x1465 -x1464 x1463 -x1462 x1461 -x1460 x1459 -x1458 x1457 -x1456 x1455
1800.05/1800.52 v -x1454 x1453 -x1452 x1451 x1450 -x1449 x1448 -x1447 -x1446 x1445 -x1444 x1443 -x1442 x1441 -x1440 x1439 x1438 -x1437 -x1436
1800.05/1800.52 v x1435 -x1434 x1433 -x1432 x1431 -x1430 x1429 -x1428 x1427 -x1426 x1425 -x1424 x1423 x1422 -x1421 x1420 -x1419 -x1418 x1417
1800.05/1800.52 v -x1416 x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 -x1406 x1405 -x1404 x1403 x1402 -x1401 -x1400 x1399 -x1398
1800.05/1800.52 v x1397 -x1396 x1395 -x1394 x1393 -x1392 x1391 x1390 -x1389 -x1388 x1387 x1386 -x1385 x1384 -x1383 x1382 -x1381 -x1380 x1379 x1378
1800.05/1800.52 v -x1377 -x1376 x1375 -x1374 x1373 -x1372 x1371 -x1370 x1369 -x1368 x1367 -x1366 x1365 -x1364 x1363 x1362 -x1361 -x1360 x1359
1800.05/1800.52 v -x1358 x1357 -x1356 x1355 -x1354 x1353 -x1352 x1351 -x1350 x1349 x1348 -x1347 x1346 -x1345 -x1344 x1343 x1342 -x1341 -x1340
1800.05/1800.52 v x1339 -x1338 x1337 -x1336 x1335 x1334 -x1333 x1332 -x1331 x1330 -x1329 x1328 -x1327 x1326 -x1325 -x1324 x1323 -x1322 x1321
1800.05/1800.52 v x1320 -x1319 -x1318 x1317 -x1316 x1315 x1314 -x1313 -x1312 x1311 x1310 -x1309 x1308 -x1307 x1306 -x1305 -x1304 x1303 -x1302
1800.05/1800.52 v x1301 x1300 -x1299 x1298 -x1297 x1296 -x1295 x1294 -x1293 x1292 -x1291 x1290 -x1289 x1288 -x1287 x1286 -x1285 x1284 -x1283 -x1282
1800.05/1800.52 v x1281 x1280 -x1279 -x1278 x1277 -x1276 x1275 x1274 -x1273 -x1272 x1271 x1270 -x1269 -x1268 x1267 -x1266 x1265 -x1264 x1263
1800.05/1800.52 v x1262 -x1261 -x1260 x1259 x1258 -x1257 x1256 -x1255 x1254 -x1253 x1252 -x1251 x1250 -x1249 -x1248 x1247 x1246 -x1245 x1244
1800.05/1800.52 v -x1243 -x1242 x1241 x1240 -x1239 x1238 -x1237 -x1236 x1235 -x1234 x1233 x1232 -x1231 x1230 -x1229 x1228 -x1227 -x1226 x1225
1800.05/1800.52 v -x1224 x1223 -x1222 x1221 -x1220 x1219 -x1218 x1217 -x1216 x1215 -x1214 x1213 x1212 -x1211 -x1210 x1209 x1208 -x1207 x1206 -x1205
1800.05/1800.52 v -x1204 x1203 -x1202 x1201 x1200 -x1199 x1198 -x1197 x1196 -x1195 -x1194 x1193 x1192 -x1191 x1190 -x1189 -x1188 x1187 x1186
1800.05/1800.52 v -x1185 x1184 -x1183 x1182 -x1181 -x1180 x1179 -x1178 x1177 -x1176 x1175 x1174 -x1173 x1172 -x1171 -x1170 x1169 x1168 -x1167
1800.05/1800.52 v -x1166 x1165 -x1164 x1163 -x1162 x1161 x1160 -x1159 -x1158 x1157 -x1156 x1155 -x1154 x1153 -x1152 x1151 -x1150 x1149 -x1148
1800.05/1800.52 v x1147 x1146 -x1145 -x1144 x1143 -x1142 x1141 -x1140 x1139 x1138 -x1137 -x1136 x1135 -x1134 x1133 -x1132 x1131 -x1130 x1129 -x1128
1800.05/1800.52 v x1127 -x1126 x1125 -x1124 x1123 x1122 -x1121 -x1120 x1119 -x1118 x1117 -x1116 x1115 -x1114 x1113 -x1112 x1111 x1110 -x1109
1800.05/1800.52 v x1108 -x1107 -x1106 x1105 -x1104 x1103 -x1102 x1101 x1100 -x1099 -x1098 x1097 x1096 -x1095 -x1094 x1093 x1092 -x1091 x1090
1800.05/1800.52 v -x1089 x1088 -x1087 x1086 -x1085 -x1084 x1083 -x1082 x1081 x1080 -x1079 -x1078 x1077 -x1076 x1075 x1074 -x1073 x1072 -x1071
1800.05/1800.52 v -x1070 x1069 -x1068 x1067 -x1066 x1065 x1064 -x1063 x1062 -x1061 -x1060 x1059 x1058 -x1057 -x1056 x1055 x1054 -x1053 x1052 -x1051
1800.05/1800.52 v -x1050 x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043 -x1042 x1041 -x1040 x1039 -x1038 x1037 -x1036 x1035 -x1034 x1033 -x1032
1800.05/1800.52 v x1031 -x1030 x1029 -x1028 x1027 -x1026 x1025 x1024 -x1023 -x1022 x1021 -x1020 x1019 -x1018 x1017 -x1016 x1015 -x1014 x1013
1800.05/1800.52 v x1012 -x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003 -x1002 x1001 -x1000 x999 x998 -x997 -x996 x995 -x994 x993
1800.05/1800.52 v x992 -x991 -x990 x989 x988 -x987 -x986 x985 -x984 x983 -x982 x981 -x980 x979 -x978 x977 x976 -x975 -x974 x973 x972 -x971 -x970
1800.05/1800.52 v x969 -x968 x967 -x966 x965 x964 -x963 x962 -x961 -x960 x959 -x958 x957 x956 -x955 -x954 x953 -x952 x951 -x950 x949 x948 -x947
1800.05/1800.52 v x946 -x945 -x944 x943 -x942 x941 -x940 x939 -x938 x937 x936 -x935 x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925
1800.05/1800.52 v -x924 x923 x922 -x921 -x920 x919 -x918 x917 x916 -x915 x914 -x913 -x912 x911 -x910 x909 -x908 x907 -x906 x905 -x904 x903 x902
1800.05/1800.52 v -x901 -x900 x899 -x898 x897 -x896 x895 x894 -x893 -x892 x891 x890 -x889 x888 -x887 x886 -x885 x884 -x883 x882 -x881 -x880 x879
1800.05/1800.52 v x878 -x877 x876 -x875 -x874 x873 x872 -x871 x870 -x869 x868 -x867 -x866 x865 -x864 x863 x862 -x861 x860 -x859 -x858 x857 -x856
1800.05/1800.52 v x855 -x854 x853 -x852 x851 -x850 x849 x848 -x847 x846 -x845 x844 -x843 -x842 x841 -x840 x839 -x838 x837 -x836 x835 -x834
1800.05/1800.52 v x833 x832 -x831 x830 -x829 x828 -x827 -x826 x825 -x824 x823 x822 -x821 x820 -x819 -x818 x817 x816 -x815 x814 -x813 x812 -x811
1800.05/1800.52 v -x810 x809 -x808 x807 -x806 x805 -x804 x803 -x802 x801 x800 -x799 -x798 x797 x796 -x795 -x794 x793 x792 -x791 x790 -x789 x788
1800.05/1800.52 v -x787 x786 -x785 x784 -x783 -x782 x781 -x780 x779 -x778 x777 -x776 x775 -x774 x773 -x772 x771 -x770 x769 x768 -x767 x766 -x765
1800.05/1800.52 v -x764 x763 -x762 x761 -x760 x759 x758 -x757 -x756 x755 x754 -x753 -x752 x751 -x750 x749 x748 -x747 -x746 x745 -x744 x743
1800.05/1800.52 v -x742 x741 -x740 x739 x738 -x737 -x736 x735 -x734 x733 -x732 x731 -x730 x729 -x728 x727 -x726 x725 -x724 x723 -x722 x721 -x720
1800.05/1800.52 v x719 -x718 x717 -x716 x715 -x714 x713 x712 -x711 x710 -x709 -x708 x707 x706 -x705 x704 -x703 -x702 x701 -x700 x699 x698 -x697
1800.05/1800.52 v x696 -x695 -x694 x693 x692 -x691 x690 -x689 -x688 x687 -x686 x685 -x684 x683 -x682 x681 -x680 x679 -x678 x677 -x676 x675
1800.05/1800.52 v x674 -x673 x672 -x671 x670 -x669 x668 -x667 -x666 x665 -x664 x663 -x662 x661 -x660 x659 -x658 x657 x656 -x655 x654 -x653 -x652
1800.05/1800.52 v x651 -x650 x649 -x648 x647 -x646 x645 -x644 x643 x642 -x641 x640 -x639 x638 -x637 -x636 x635 -x634 x633 x632 -x631 x630 -x629
1800.05/1800.52 v x628 -x627 x626 -x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 -x614 x613 -x612 x611 -x610 x609 -x608 x607 -x606
1800.05/1800.52 v x605 -x604 x603 -x602 x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593 -x592 x591 -x590 x589 x588 -x587 -x586 x585 -x584
1800.05/1800.52 v x583 -x582 x581 -x580 x579 -x578 x577 x576 -x575 -x574 x573 x572 -x571 x570 -x569 x568 -x567 x566 -x565 -x564 x563 -x562 x561
1800.05/1800.52 v x560 -x559 x558 -x557 x556 -x555 x554 -x553 x552 -x551 x550 -x549 -x548 x547 x546 -x545 x544 -x543 -x542 x541 -x540 x539 x538
1800.05/1800.52 v -x537 x536 -x535 x534 -x533 -x532 x531 -x530 x529 -x528 x527 -x526 x525 x524 -x523 -x522 x521 x520 -x519 -x518 x517 -x516
1800.05/1800.52 v x515 -x514 x513 -x512 x511 x510 -x509 -x508 x507 -x506 x505 x504 -x503 x502 -x501 x500 -x499 -x498 x497 -x496 x495 x494 -x493
1800.05/1800.52 v -x492 x491 x490 -x489 -x488 x487 x486 -x485 x484 -x483 x482 -x481 -x480 x479 x478 -x477 -x476 x475 -x474 x473 -x472 x471 x470
1800.05/1800.52 v -x469 x468 -x467 -x466 x465 -x464 x463 -x462 x461 -x460 x459 x458 -x457 x456 -x455 -x454 x453 -x452 x451 x450 -x449 -x448 x447
1800.05/1800.52 v x446 -x445 -x444 x443 x442 -x441 x440 -x439 x438 -x437 -x436 x435 -x434 x433 -x432 x431 -x430 x429 -x428 x427 -x426 x425
1800.05/1800.52 v x424 -x423 x422 -x421 x420 -x419 -x418 x417 -x416 x415 -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 x402
1800.05/1800.52 v -x401 x400 -x399 x398 -x397 x396 -x395 x394 -x393 x392 -x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 x382 -x381 x380 -x379
1800.05/1800.52 v x378 -x377 x376 -x375 x374 -x373 x372 -x371 -x370 x369 -x368 x367 -x366 x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 -x356
1800.05/1800.52 v x355 x354 -x353 x352 -x351 x350 -x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 x336 -x335 x334
1800.05/1800.52 v -x333 x332 -x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 x316 -x315 -x314 x313 -x312 x311
1800.05/1800.52 v -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 x300 -x299 -x298 x297 x296 -x295 x294 -x293 x292 -x291 x290 -x289 x288
1800.05/1800.52 v -x287 -x286 x285 -x284 x283 -x282 x281 x280 -x279 x278 -x277 x276 -x275 x274 -x273 x272 -x271 x270 -x269 -x268 x267 -x266
1800.05/1800.52 v x265 x264 -x263 -x262 x261 -x260 x259 -x258 x257 x256 -x255 -x254 x253 -x252 -x251 x250 -x249 -x248 x247 -x246 -x245 -x244 x243
1800.05/1800.52 v -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 x234 -x233 x232 -x231 -x230 x229 -x228 x227 x226 -x225 -x224 x223 x222 -x221
1800.05/1800.52 v x220 -x219 x218 -x217 x216 -x215 -x214 x213 x212 -x211 -x210 -x209 x208 -x207 x206 -x205 -x204 x203 -x202 x201 -x200 x199 x198
1800.05/1800.52 v -x197 -x196 x195 x194 -x193 -x192 x191 -x190 x189 x188 -x187 -x186 -x185 x184 -x183 -x182 x181 x180 -x179 x178 -x177 x176
1800.05/1800.52 v -x175 x174 -x173 x172 -x171 -x170 x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154
1800.05/1800.52 v -x153 -x152 x151 x150 -x149 -x148 -x147 x146 -x145 x144 -x143 -x142 x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132
1800.05/1800.52 v x131 -x130 x129 -x128 -x127 -x126 x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1800.05/1800.52 v x109 -x108 -x107 x106 -x105 -x104 x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 x94 -x93 x92 -x91 -x90 -x89 x88 -x87 x86 -x85
1800.05/1800.52 v x84 -x83 -x82 -x81 -x80 x79 x78 -x77 x76 -x75 -x74 x73 x72 -x71 -x70 -x69 x68 -x67 x66 -x65 -x64 x63 -x62 x61 -x60 x59 x58
1800.05/1800.52 v -x57 x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 x47 -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 x38 -x37 x36 -x35 -x34 x33 x32 -x31
1800.05/1800.52 v x30 -x29 -x28 x27 -x26 x25 -x24 x23 x22 -x21 x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 x5 x4 -x3 x2
1800.05/1800.52 v -x1
1800.05/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.52 c Solving Time : 1645.12
1800.05/1800.52 c Original Problem :
1800.05/1800.52 c Problem name : HOME/instance-2667021-1276426720.opb
1800.05/1800.52 c Variables : 2782 (2782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.52 c Constraints : 4517 initial, 4517 maximal
1800.05/1800.52 c Presolved Problem :
1800.05/1800.52 c Problem name : t_HOME/instance-2667021-1276426720.opb
1800.05/1800.52 c Variables : 316 (316 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.52 c Constraints : 826 initial, 74665 maximal
1800.05/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.52 c trivial : 0.01 29 0 0 0 0 0 0 0
1800.05/1800.52 c dualfix : 0.00 3 0 0 0 0 0 0 0
1800.05/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.52 c implics : 0.05 0 1281 0 0 0 0 0 0
1800.05/1800.52 c probing : 0.05 50 41 0 0 0 0 0 0
1800.05/1800.52 c linear : 0.10 32 1016 0 34 0 3428 6 2
1800.05/1800.52 c logicor : 0.07 14 0 0 23 0 263 0 0
1800.05/1800.52 c root node : - 0 - - 0 - - - -
1800.05/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.52 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.52 c logicor : 826+ 75 18932111 0 0 3423115 31336149 0 0 0
1800.05/1800.52 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.52 c integral : 0.67 0.00 0.00 0.67 0.00
1800.05/1800.52 c logicor : 584.61 0.01 584.60 0.00 0.00
1800.05/1800.52 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.52 c vbounds : 11.00 2 0 0
1800.05/1800.52 c rootredcost : 11.52 0 0 0
1800.05/1800.52 c pseudoobj : 377.44 23873493 4 154629559
1800.05/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.52 c propagation : 379.67 3423115 3423115 3423115 23.7 259778 3.9 -
1800.05/1800.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.52 c applied globally : - - - 3680678 22.3 - - -
1800.05/1800.52 c applied locally : - - - 2213 32.1 - - -
1800.05/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.52 c cut pool : 0.04 74 - - 829 - (maximal pool size: 2127)
1800.05/1800.52 c redcost : 0.00 75 0 0 0 0
1800.05/1800.52 c impliedbounds : 0.00 75 0 0 60 0
1800.05/1800.52 c intobj : 0.00 0 0 0 0 0
1800.05/1800.52 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.52 c gomory : 2.14 75 0 0 25557 0
1800.05/1800.52 c strongcg : 0.22 20 0 0 7271 0
1800.05/1800.52 c cmir : 0.04 10 0 0 0 0
1800.05/1800.52 c flowcover : 0.06 10 0 0 0 0
1800.05/1800.52 c clique : 0.01 75 0 0 70 0
1800.05/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.52 c mcf : 0.00 1 0 0 0 0
1800.05/1800.52 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.52 c Pricers : Time Calls Vars
1800.05/1800.52 c problem variables: 0.00 0 0
1800.05/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.52 c relpscost : 0.67 1 0 0 0 0 2
1800.05/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.52 c inference : 99.19 3430261 0 0 0 0 6860522
1800.05/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.52 c random : 0.00 0 0 0 0 0 0
1800.05/1800.52 c Primal Heuristics : Time Calls Found
1800.05/1800.52 c LP solutions : 0.00 - 0
1800.05/1800.52 c pseudo solutions : 0.00 - 0
1800.05/1800.52 c crossover : 0.00 0 0
1800.05/1800.52 c oneopt : 2.53 2 1
1800.05/1800.52 c trivial : 0.01 2 0
1800.05/1800.52 c simplerounding : 0.00 0 0
1800.05/1800.52 c zirounding : 0.00 1 0
1800.05/1800.52 c rounding : 0.01 76 0
1800.05/1800.52 c shifting : 0.07 76 12
1800.05/1800.52 c intshifting : 0.00 0 0
1800.05/1800.52 c twoopt : 0.00 0 0
1800.05/1800.52 c fixandinfer : 0.00 0 0
1800.05/1800.52 c feaspump : 0.00 0 0
1800.05/1800.52 c coefdiving : 0.00 0 0
1800.05/1800.52 c pscostdiving : 0.00 0 0
1800.05/1800.52 c fracdiving : 0.00 0 0
1800.05/1800.52 c veclendiving : 0.00 0 0
1800.05/1800.52 c intdiving : 0.00 0 0
1800.05/1800.52 c actconsdiving : 0.00 0 0
1800.05/1800.52 c objpscostdiving : 0.00 0 0
1800.05/1800.52 c rootsoldiving : 0.00 0 0
1800.05/1800.52 c linesearchdiving : 0.00 0 0
1800.05/1800.52 c guideddiving : 0.00 0 0
1800.05/1800.52 c octane : 0.00 0 0
1800.05/1800.52 c rens : 0.00 0 0
1800.05/1800.52 c rins : 0.00 0 0
1800.05/1800.52 c localbranching : 0.00 0 0
1800.05/1800.52 c mutation : 0.00 0 0
1800.05/1800.52 c dins : 0.00 0 0
1800.05/1800.52 c undercover : 0.00 0 0
1800.05/1800.52 c nlp : 2.90 0 0
1800.05/1800.52 c trysol : 2.10 0 0
1800.05/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.52 c primal LP : 0.01 0 0 0.00 0.00
1800.05/1800.52 c dual LP : 1.35 76 6469 85.12 4791.85
1800.05/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.52 c strong branching : 0.67 20 2918 145.90 4355.22
1800.05/1800.52 c (at root node) : - 20 2918 145.90 -
1800.05/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.52 c B&B Tree :
1800.05/1800.52 c number of runs : 1
1800.05/1800.52 c nodes : 5194953
1800.05/1800.52 c nodes (total) : 5194953
1800.05/1800.52 c nodes left : 30
1800.05/1800.52 c max depth : 100
1800.05/1800.52 c max depth (total): 100
1800.05/1800.52 c backtracks : 1659279 (31.9%)
1800.05/1800.52 c delayed cutoffs : 1665542
1800.05/1800.52 c repropagations : 5325809 (93731371 domain reductions, 1658424 cutoffs)
1800.05/1800.52 c avg switch length: 2.74
1800.05/1800.52 c switching time : 258.20
1800.05/1800.52 c Solution :
1800.05/1800.52 c Solutions found : 13 (2 improvements)
1800.05/1800.52 c First Solution : +1.38700000000000e+03 (in run 1, after 1 nodes, 0.33 seconds, depth 0, found by <shifting>)
1800.05/1800.52 c Primal Bound : +1.35900000000000e+03 (in run 1, after 1 nodes, 0.36 seconds, depth 0, found by <oneopt>)
1800.05/1800.52 c Dual Bound : +1.35700000000000e+03
1800.05/1800.52 c Gap : 0.15 %
1800.05/1800.52 c Root Dual Bound : +1.35700000000000e+03
1800.05/1800.52 c Root Iterations : 6469
1800.16/1800.63 c Time complete: 1800.18.