0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4488919-1751321548.opb>
0.00/0.01 c original problem has 1964 variables (1964 bin, 0 int, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.007 seconds
0.00/0.01 o 1964
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.964000e+03
0.00/0.01 c presolving:
0.00/0.02 c (round 1, fast) 162 del vars, 162 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3836 clqs
0.00/0.02 c (round 2, fast) 333 del vars, 784 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3215 clqs
0.00/0.02 c (round 3, fast) 387 del vars, 900 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3099 clqs
0.00/0.02 c (round 4, fast) 424 del vars, 1020 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2979 clqs
0.00/0.02 c (round 5, fast) 440 del vars, 1049 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2950 clqs
0.00/0.02 c (round 6, fast) 445 del vars, 1064 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2935 clqs
0.00/0.02 c (round 7, fast) 447 del vars, 1071 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2928 clqs
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.03 c (round 8, exhaustive) 447 del vars, 1072 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2928 upgd conss, 0 impls, 2928 clqs
0.00/0.05 c (0.0s) probing: 51/1517 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.05 c presolving (9 rounds: 9 fast, 2 medium, 2 exhaustive):
0.00/0.05 c 447 deleted vars, 1072 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 2928 cliques
0.00/0.05 c presolved problem has 1517 variables (1517 bin, 0 int, 0 cont) and 2928 constraints
0.00/0.05 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.05 c 2928 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.998018
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.05 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.05 c reading/opbreader/maxintsize = 47
0.00/0.05 c
0.00/0.05 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.05 c propagating/genvbounds/timingmask = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c
0.00/0.05 o 1734
0.00/0.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.05 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 |1517 |2928 | 0 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.734000e+03 | 699.08%| unknown
0.00/0.07 o 1180
0.00/0.07 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1517 |2928 |2928 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.180000e+03 | 443.78%| unknown
0.00/0.07 o 1072
0.00/0.07 c p 0.1s| 1 | 0 | 0 | - | locks| 0 |1517 |2928 |2928 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.072000e+03 | 394.01%| unknown
0.00/0.09 o 1067
0.00/0.09 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 |1517 |2928 |2928 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.067000e+03 | 391.71%| unknown
0.09/0.13 c 0.1s| 1 | 0 | 1935 | - | 24M | 0 |1517 |2928 |2928 | 0 | 0 | 0 | 0 | 9.755000e+02 | 1.067000e+03 | 9.38%| unknown
0.30/0.40 c 0.4s| 1 | 0 | 2976 | - | 27M | 0 |1517 |2928 |2956 | 28 | 1 | 0 | 0 | 9.865000e+02 | 1.067000e+03 | 8.16%| unknown
0.69/0.74 c 0.7s| 1 | 0 | 4180 | - | 28M | 0 |1517 |2928 |2982 | 54 | 2 | 0 | 0 | 9.911250e+02 | 1.067000e+03 | 7.66%| unknown
1.09/1.14 c 1.1s| 1 | 0 | 5425 | - | 29M | 0 |1517 |2928 |3003 | 75 | 3 | 0 | 0 | 9.932500e+02 | 1.067000e+03 | 7.43%| unknown
1.58/1.64 c 1.6s| 1 | 0 | 7240 | - | 32M | 0 |1517 |2928 |3018 | 90 | 4 | 0 | 0 | 9.948092e+02 | 1.067000e+03 | 7.26%| unknown
2.48/2.57 c 2.6s| 1 | 0 | 8325 | - | 50M | 0 |1517 |2928 |3030 | 102 | 5 | 0 | 0 | 9.969091e+02 | 1.067000e+03 | 7.03%| unknown
3.98/4.06 c 4.1s| 1 | 0 | 9164 | - | 74M | 0 |1517 |2928 |3038 | 110 | 6 | 0 | 0 | 9.972729e+02 | 1.067000e+03 | 6.99%| unknown
5.18/5.25 c 5.2s| 1 | 0 | 9751 | - | 89M | 0 |1517 |2928 |3041 | 113 | 7 | 0 | 0 | 9.975728e+02 | 1.067000e+03 | 6.96%| unknown
6.98/7.02 c 7.0s| 1 | 0 | 10427 | - | 111M | 0 |1517 |2928 |3044 | 116 | 8 | 0 | 0 | 9.978257e+02 | 1.067000e+03 | 6.93%| unknown
8.46/8.56 c 8.6s| 1 | 0 | 11231 | - | 133M | 0 |1517 |2928 |3046 | 118 | 9 | 0 | 0 | 9.980186e+02 | 1.067000e+03 | 6.91%| unknown
9.06/9.15 c 9.2s| 1 | 0 | 11729 | - | 133M | 0 |1517 |2928 |3050 | 122 | 10 | 0 | 0 | 9.981207e+02 | 1.067000e+03 | 6.90%| unknown
9.26/9.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.26/9.36 c 9.4s| 1 | 0 | 12321 | - | 134M | 0 |1517 |2928 |3054 | 127 | 11 | 0 | 0 | 9.982649e+02 | 1.067000e+03 | 6.89%| unknown
9.56/9.62 c 9.6s| 1 | 0 | 13276 | - | 134M | 0 |1517 |2928 |3059 | 132 | 12 | 0 | 0 | 9.987047e+02 | 1.067000e+03 | 6.84%| unknown
9.66/9.77 c 9.8s| 1 | 0 | 13296 | - | 134M | 0 |1517 |2928 |3061 | 134 | 13 | 0 | 0 | 9.987054e+02 | 1.067000e+03 | 6.84%| unknown
9.86/9.93 c 9.9s| 1 | 0 | 13541 | - | 135M | 0 |1517 |2928 |3064 | 137 | 14 | 0 | 0 | 9.987468e+02 | 1.067000e+03 | 6.83%| unknown
10.06/10.11 c 10.1s| 1 | 0 | 13765 | - | 135M | 0 |1517 |2928 |3066 | 139 | 15 | 0 | 0 | 9.988183e+02 | 1.067000e+03 | 6.83%| unknown
10.16/10.25 c 10.2s| 1 | 0 | 13768 | - | 135M | 0 |1517 |2928 |3067 | 140 | 16 | 0 | 0 | 9.988183e+02 | 1.067000e+03 | 6.83%| unknown
10.26/10.39 c 10.4s| 1 | 0 | 13771 | - | 136M | 0 |1517 |2928 |3048 | 141 | 17 | 0 | 0 | 9.988183e+02 | 1.067000e+03 | 6.83%| unknown
10.46/10.54 c 10.5s| 1 | 0 | 13877 | - | 137M | 0 |1517 |2928 |3050 | 143 | 18 | 0 | 0 | 9.988302e+02 | 1.067000e+03 | 6.82%| unknown
10.55/10.69 c 10.7s| 1 | 0 | 13978 | - | 137M | 0 |1517 |2928 |3051 | 144 | 19 | 0 | 0 | 9.988367e+02 | 1.067000e+03 | 6.82%| unknown
10.75/10.84 c 10.8s| 1 | 0 | 13988 | - | 137M | 0 |1517 |2928 |3053 | 146 | 20 | 0 | 0 | 9.988367e+02 | 1.067000e+03 | 6.82%| unknown
10.85/10.97 c 11.0s| 1 | 0 | 13996 | - | 137M | 0 |1517 |2928 |3054 | 147 | 21 | 0 | 0 | 9.988367e+02 | 1.067000e+03 | 6.82%| unknown
14.85/14.97 c 15.0s| 1 | 2 | 13996 | - | 137M | 0 |1517 |2928 |3054 | 147 | 22 | 0 | 36 | 9.992778e+02 | 1.067000e+03 | 6.78%| unknown
30.31/30.43 o 1063
30.31/30.43 c d30.4s| 15 | 16 | 28268 |1019.4 |pscostdi| 14 |1517 |2928 |3064 | 0 | 1 | 0 | 199 | 9.992778e+02 | 1.063000e+03 | 6.38%| unknown
42.47/42.63 c 42.6s| 100 | 63 | 66156 | 526.9 | 173M | 38 |1517 |2976 |3078 | 301 | 0 | 48 | 233 | 1.000342e+03 | 1.063000e+03 | 6.26%| unknown
50.36/50.50 o 1039
50.36/50.50 c d50.5s| 165 | 76 |101710 | 534.8 |veclendi| 40 |1517 |3013 |3049 | 0 | 1 | 85 | 250 | 1.001586e+03 | 1.039000e+03 | 3.74%| unknown
50.36/50.51 o 1037
50.36/50.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.36/50.51 c i50.5s| 165 | 71 |101736 | 535.0 | oneopt| 40 |1517 |3013 |3049 | 450 | 1 | 85 | 250 | 1.001586e+03 | 1.037000e+03 | 3.54%| unknown
54.55/54.76 c 54.8s| 200 | 76 |130928 | 587.6 | 196M | 40 |1517 |3013 |3109 | 471 | 0 | 85 | 250 | 1.001740e+03 | 1.037000e+03 | 3.52%| unknown
63.62/63.82 c 63.8s| 300 | 92 |168938 | 518.2 | 220M | 40 |1517 |3025 |3118 | 609 | 1 | 97 | 281 | 1.001885e+03 | 1.037000e+03 | 3.50%| unknown
67.02/67.24 o 1034
67.02/67.24 c L67.2s| 365 | 93 |195847 | 499.6 |crossove| 40 |1517 |3060 |3078 | 624 | 1 | 132 | 290 | 1.003288e+03 | 1.034000e+03 | 3.06%| unknown
67.02/67.24 o 1033
67.02/67.24 c i67.2s| 365 | 90 |195847 | 499.6 | oneopt| 40 |1517 |3060 |3078 | 624 | 1 | 132 | 290 | 1.003288e+03 | 1.033000e+03 | 2.96%| unknown
70.41/70.62 c 70.6s| 400 | 95 |211652 | 495.4 | 220M | 40 |1517 |3092 |3118 | 624 | 0 | 164 | 315 | 1.003700e+03 | 1.033000e+03 | 2.92%| unknown
79.39/79.61 c 79.6s| 500 | 117 |262654 | 498.3 | 222M | 40 |1517 |3146 |3118 | 710 | 2 | 218 | 331 | 1.004865e+03 | 1.033000e+03 | 2.80%| unknown
101.43/101.74 c 102s| 600 | 163 |369424 | 593.4 | 231M | 40 |1517 |3183 |3119 | 933 | 0 | 255 | 394 | 1.004983e+03 | 1.033000e+03 | 2.79%| unknown
106.51/106.87 c 107s| 700 | 159 |399505 | 551.5 | 231M | 40 |1517 |3225 |3120 | 995 | 0 | 297 | 424 | 1.004983e+03 | 1.033000e+03 | 2.79%| unknown
114.10/114.41 c 114s| 800 | 177 |442257 | 536.0 | 232M | 40 |1517 |3259 |3128 |1099 | 0 | 331 | 439 | 1.006149e+03 | 1.033000e+03 | 2.67%| unknown
120.98/121.33 c 121s| 900 | 187 |475335 | 513.2 | 233M | 40 |1517 |3275 |3127 |1183 | 0 | 347 | 464 | 1.006459e+03 | 1.033000e+03 | 2.64%| unknown
127.57/127.95 c 128s| 1000 | 197 |513666 | 500.2 | 233M | 40 |1517 |3314 |3128 |1235 | 1 | 386 | 499 | 1.006553e+03 | 1.033000e+03 | 2.63%| unknown
138.04/138.44 c 138s| 1100 | 205 |558825 | 495.7 | 232M | 40 |1517 |3336 |3132 |1402 | 1 | 411 | 534 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
144.03/144.48 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
144.03/144.48 c (run 1, node 1157) performing user restart
144.03/144.48 c
144.03/144.48 c (restart) converted 183 cuts from the global cut pool into linear constraints
144.03/144.48 c
144.23/144.69 c presolving:
144.33/144.70 c (round 1, fast) 0 del vars, 26 del conss, 0 add conss, 0 chg bounds, 3713 chg sides, 4089 chg coeffs, 0 upgd conss, 0 impls, 2933 clqs
144.33/144.71 c (round 2, exhaustive) 0 del vars, 26 del conss, 0 add conss, 0 chg bounds, 3713 chg sides, 4091 chg coeffs, 203 upgd conss, 0 impls, 2933 clqs
144.33/144.73 c (round 3, exhaustive) 0 del vars, 45 del conss, 0 add conss, 0 chg bounds, 3713 chg sides, 4118 chg coeffs, 203 upgd conss, 0 impls, 2933 clqs
144.33/144.74 c (round 4, exhaustive) 0 del vars, 47 del conss, 0 add conss, 0 chg bounds, 3713 chg sides, 4251 chg coeffs, 203 upgd conss, 0 impls, 2933 clqs
144.33/144.76 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
144.33/144.76 c 0 deleted vars, 47 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3713 changed sides, 4253 changed coefficients
144.33/144.76 c 0 implications, 2933 cliques
144.33/144.76 c presolved problem has 1517 variables (1517 bin, 0 int, 0 cont) and 3501 constraints
144.33/144.76 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
144.33/144.76 c 180 constraints of type <knapsack>
144.33/144.76 c 2933 constraints of type <setppc>
144.33/144.76 c 52 constraints of type <linear>
144.33/144.76 c 336 constraints of type <logicor>
144.33/144.76 c transformed objective value is always integral (scale: 1)
144.33/144.76 c Presolving Time: 0.13
144.42/144.82 c transformed 100/100 original solutions to the transformed problem space
144.42/144.82 c
145.02/145.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
145.02/145.45 c 145s| 1 | 0 |598336 | - | 217M | 0 |1517 |3501 |3111 | 0 | 0 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
146.22/146.68 c 147s| 1 | 0 |598871 | - | 235M | 0 |1517 |3501 |3113 | 2 | 1 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
147.41/147.89 c 148s| 1 | 0 |599336 | - | 246M | 0 |1517 |3501 |3115 | 4 | 2 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
148.11/148.50 c 148s| 1 | 0 |599715 | - | 246M | 0 |1517 |3501 |3117 | 6 | 3 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
148.62/149.06 c 149s| 1 | 0 |599882 | - | 246M | 0 |1517 |3501 |3119 | 8 | 4 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
149.21/149.68 c 150s| 1 | 0 |599964 | - | 246M | 0 |1517 |3501 |3121 | 10 | 5 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
149.81/150.29 c 150s| 1 | 0 |599982 | - | 246M | 0 |1517 |3501 |3123 | 12 | 6 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
150.51/150.93 c 151s| 1 | 0 |600164 | - | 246M | 0 |1517 |3501 |3125 | 14 | 7 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
151.10/151.56 c 152s| 1 | 0 |600410 | - | 247M | 0 |1517 |3501 |3126 | 15 | 8 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
151.71/152.14 c 152s| 1 | 0 |600422 | - | 247M | 0 |1517 |3501 |3127 | 16 | 9 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
152.30/152.75 c 153s| 1 | 0 |600463 | - | 247M | 0 |1517 |3501 |3130 | 19 | 10 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
152.61/153.01 c 153s| 1 | 0 |600601 | - | 247M | 0 |1517 |3501 |3132 | 21 | 11 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
152.80/153.24 c 153s| 1 | 0 |600604 | - | 247M | 0 |1517 |3501 |3133 | 22 | 12 | 446 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
153.10/153.52 c 154s| 1 | 2 |602306 | - | 247M | 0 |1517 |3505 |3133 | 22 | 12 | 450 | 554 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
160.08/160.56 c 161s| 100 | 35 |641092 | 492.2 | 251M | 31 |1517 |3554 |3081 | 25 | 1 | 499 | 576 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
165.47/165.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
165.47/165.95 c 166s| 200 | 45 |675461 | 481.2 | 251M | 32 |1517 |3628 |3081 | 25 | 1 | 580 | 607 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
170.45/170.93 c 171s| 300 | 65 |705428 | 468.8 | 251M | 32 |1517 |3701 |3081 | 25 | 1 | 670 | 636 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
177.23/177.75 c 178s| 400 | 71 |751881 | 468.5 | 251M | 33 |1517 |3711 |3081 | 25 | 0 | 682 | 662 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
183.22/183.76 c 184s| 500 | 85 |780811 | 457.7 | 258M | 35 |1517 |3788 |3082 | 43 | 0 | 785 | 702 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
191.49/192.08 c 192s| 600 | 89 |807524 | 446.8 | 293M | 36 |1517 |3820 |3082 | 82 | 0 | 823 | 742 | 1.007212e+03 | 1.033000e+03 | 2.56%| unknown
198.26/198.82 c 199s| 700 | 97 |836349 | 438.3 | 293M | 36 |1517 |3850 |3087 | 124 | 1 | 856 | 757 | 1.007267e+03 | 1.033000e+03 | 2.55%| unknown
201.56/202.15 c 202s| 800 | 97 |857312 | 426.6 | 293M | 37 |1517 |3858 |3084 | 132 | 0 | 866 | 773 | 1.007267e+03 | 1.033000e+03 | 2.55%| unknown
206.54/207.16 c 207s| 900 | 109 |888033 | 420.8 | 293M | 37 |1517 |3888 |3088 | 154 | 3 | 909 | 802 | 1.007430e+03 | 1.033000e+03 | 2.54%| unknown
210.23/210.80 c 211s| 1000 | 109 |908431 | 410.7 | 293M | 37 |1517 |3931 |3084 | 183 | 1 | 965 | 842 | 1.007430e+03 | 1.033000e+03 | 2.54%| unknown
216.51/217.13 c 217s| 1100 | 115 |931572 | 402.8 | 293M | 37 |1517 |3931 |3084 | 210 | 1 | 965 | 864 | 1.007605e+03 | 1.033000e+03 | 2.52%| unknown
220.40/221.01 c 221s| 1200 | 119 |953413 | 394.9 | 293M | 37 |1517 |4031 |3085 | 221 | 1 |1090 | 916 | 1.007683e+03 | 1.033000e+03 | 2.51%| unknown
225.88/226.59 c 227s| 1300 | 117 |976823 | 388.4 | 293M | 37 |1517 |4062 |3087 | 250 | 0 |1126 | 949 | 1.007718e+03 | 1.033000e+03 | 2.51%| unknown
230.47/231.15 c 231s| 1400 | 121 |998358 | 381.6 | 294M | 37 |1517 |4072 |3090 | 279 | 0 |1137 | 968 | 1.007779e+03 | 1.033000e+03 | 2.50%| unknown
234.06/234.71 c 235s| 1500 | 121 | 1018k| 374.9 | 294M | 37 |1517 |4095 |3091 | 305 | 2 |1165 | 995 | 1.007779e+03 | 1.033000e+03 | 2.50%| unknown
237.36/238.09 c 238s| 1600 | 121 | 1036k| 367.8 | 294M | 37 |1517 |4126 |3090 | 319 | 1 |1204 |1025 | 1.007779e+03 | 1.033000e+03 | 2.50%| unknown
244.34/245.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
244.34/245.05 c 245s| 1700 | 137 | 1070k| 366.8 | 294M | 37 |1517 |4165 |3092 | 348 | 1 |1264 |1057 | 1.008037e+03 | 1.033000e+03 | 2.48%| unknown
248.32/249.08 c 249s| 1800 | 143 | 1095k| 363.0 | 294M | 40 |1517 |4229 |3102 | 353 | 1 |1349 |1091 | 1.008037e+03 | 1.033000e+03 | 2.48%| unknown
256.59/257.36 c 257s| 1900 | 149 | 1139k| 365.5 | 294M | 40 |1517 |4284 |3103 | 377 | 0 |1423 |1128 | 1.008085e+03 | 1.033000e+03 | 2.47%| unknown
261.78/262.57 c 263s| 2000 | 159 | 1167k| 362.5 | 292M | 40 |1517 |4322 |3098 | 395 | 1 |1470 |1155 | 1.008130e+03 | 1.033000e+03 | 2.47%| unknown
265.76/266.54 c 267s| 2100 | 169 | 1186k| 357.3 | 292M | 40 |1517 |4350 |3098 | 419 | 0 |1503 |1191 | 1.008195e+03 | 1.033000e+03 | 2.46%| unknown
271.15/271.95 c 272s| 2200 | 179 | 1210k| 354.0 | 292M | 40 |1517 |4362 |3099 | 440 | 0 |1516 |1205 | 1.008347e+03 | 1.033000e+03 | 2.44%| unknown
273.74/274.54 c 275s| 2300 | 173 | 1226k| 348.3 | 293M | 40 |1517 |4431 |3098 | 442 | 1 |1606 |1246 | 1.008347e+03 | 1.033000e+03 | 2.44%| unknown
276.93/277.76 c 278s| 2400 | 173 | 1245k| 343.7 | 293M | 40 |1517 |4439 |3101 | 445 | 1 |1616 |1269 | 1.008347e+03 | 1.033000e+03 | 2.44%| unknown
281.02/281.83 c 282s| 2500 | 181 | 1266k| 340.2 | 293M | 40 |1517 |4439 |3101 | 464 | 0 |1618 |1281 | 1.008401e+03 | 1.033000e+03 | 2.44%| unknown
288.69/289.51 c 290s| 2600 | 197 | 1298k| 339.5 | 300M | 40 |1517 |4497 |3103 | 496 | 0 |1692 |1310 | 1.008584e+03 | 1.033000e+03 | 2.42%| unknown
293.37/294.22 c 294s| 2700 | 209 | 1320k| 336.6 | 304M | 40 |1517 |4524 |3103 | 527 | 1 |1733 |1330 | 1.008772e+03 | 1.033000e+03 | 2.40%| unknown
295.96/296.81 c 297s| 2800 | 209 | 1336k| 331.9 | 304M | 40 |1517 |4549 |3101 | 529 | 1 |1765 |1355 | 1.008772e+03 | 1.033000e+03 | 2.40%| unknown
301.06/301.97 c 302s| 2900 | 217 | 1363k| 330.4 | 304M | 40 |1517 |4626 |3101 | 548 | 0 |1859 |1403 | 1.008788e+03 | 1.033000e+03 | 2.40%| unknown
308.23/309.15 c 309s| 3000 | 225 | 1391k| 329.3 | 304M | 40 |1517 |4664 |3101 | 598 | 0 |1911 |1443 | 1.008952e+03 | 1.033000e+03 | 2.38%| unknown
311.02/311.90 c 312s| 3100 | 225 | 1408k| 325.5 | 304M | 40 |1517 |4691 |3101 | 600 | 0 |1944 |1463 | 1.008952e+03 | 1.033000e+03 | 2.38%| unknown
315.91/316.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
315.91/316.82 c 317s| 3200 | 235 | 1437k| 324.7 | 304M | 40 |1517 |4738 |3101 | 630 | 0 |1998 |1486 | 1.009032e+03 | 1.033000e+03 | 2.38%| unknown
320.49/321.47 c 321s| 3300 | 245 | 1461k| 322.9 | 304M | 40 |1517 |4746 |3103 | 665 | 1 |2011 |1504 | 1.009067e+03 | 1.033000e+03 | 2.37%| unknown
326.57/327.50 c 327s| 3400 | 251 | 1484k| 320.9 | 305M | 40 |1517 |4804 |3104 | 696 | 0 |2088 |1537 | 1.009087e+03 | 1.033000e+03 | 2.37%| unknown
332.35/333.38 c 333s| 3500 | 259 | 1508k| 319.1 | 306M | 40 |1517 |4860 |3103 | 728 | 1 |2162 |1567 | 1.009180e+03 | 1.033000e+03 | 2.36%| unknown
335.34/336.36 c 336s| 3600 | 259 | 1525k| 316.0 | 306M | 40 |1517 |4895 |3103 | 737 | 1 |2209 |1592 | 1.009180e+03 | 1.033000e+03 | 2.36%| unknown
343.62/344.63 c 345s| 3700 | 273 | 1570k| 318.8 | 306M | 40 |1517 |4968 |3104 | 765 | 0 |2303 |1625 | 1.009226e+03 | 1.033000e+03 | 2.36%| unknown
349.20/350.23 c 350s| 3800 | 287 | 1599k| 318.1 | 307M | 40 |1517 |5029 |3115 | 811 | 1 |2383 |1670 | 1.009240e+03 | 1.033000e+03 | 2.35%| unknown
351.49/352.51 c 353s| 3900 | 291 | 1614k| 314.8 | 307M | 40 |1517 |5058 |3118 | 821 | 0 |2416 |1684 | 1.009240e+03 | 1.033000e+03 | 2.35%| unknown
354.09/355.16 c 355s| 4000 | 289 | 1628k| 311.4 | 307M | 40 |1517 |5129 |3119 | 841 | 2 |2510 |1714 | 1.009240e+03 | 1.033000e+03 | 2.35%| unknown
357.57/358.60 c 359s| 4100 | 295 | 1648k| 309.4 | 307M | 40 |1517 |5258 |3118 | 852 | 2 |2668 |1749 | 1.009365e+03 | 1.033000e+03 | 2.34%| unknown
364.75/365.83 c 366s| 4200 | 301 | 1676k| 308.7 | 307M | 40 |1517 |5284 |3120 | 936 | 0 |2703 |1782 | 1.009407e+03 | 1.033000e+03 | 2.34%| unknown
366.45/367.58 c 368s| 4300 | 299 | 1690k| 305.6 | 307M | 40 |1517 |5298 |3117 | 944 | 0 |2720 |1788 | 1.009407e+03 | 1.033000e+03 | 2.34%| unknown
372.33/373.43 c 373s| 4400 | 313 | 1720k| 305.5 | 307M | 40 |1517 |5341 |3115 | 983 | 0 |2779 |1828 | 1.009479e+03 | 1.033000e+03 | 2.33%| unknown
376.51/377.69 c 378s| 4500 | 319 | 1740k| 303.7 | 308M | 40 |1517 |5382 |3119 |1028 | 0 |2828 |1849 | 1.009600e+03 | 1.033000e+03 | 2.32%| unknown
382.01/383.16 c 383s| 4600 | 329 | 1768k| 303.3 | 308M | 40 |1517 |5513 |3119 |1075 | 0 |2985 |1900 | 1.009615e+03 | 1.033000e+03 | 2.32%| unknown
389.68/390.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
389.68/390.88 c 391s| 4700 | 341 | 1798k| 303.1 | 310M | 40 |1517 |5571 |3116 |1161 | 0 |3058 |1931 | 1.009710e+03 | 1.033000e+03 | 2.31%| unknown
393.17/394.30 c 394s| 4800 | 347 | 1817k| 301.3 | 310M | 40 |1517 |5618 |3119 |1181 | 0 |3113 |1956 | 1.009749e+03 | 1.033000e+03 | 2.30%| unknown
396.86/398.09 c 398s| 4900 | 353 | 1837k| 299.6 | 310M | 40 |1517 |5795 |3117 |1187 | 0 |3322 |2005 | 1.009760e+03 | 1.033000e+03 | 2.30%| unknown
406.83/408.01 c 408s| 5000 | 363 | 1871k| 300.2 | 311M | 40 |1517 |5877 |3121 |1323 | 1 |3431 |2055 | 1.009865e+03 | 1.033000e+03 | 2.29%| unknown
411.21/412.46 c 412s| 5100 | 369 | 1893k| 299.0 | 311M | 40 |1517 |5964 |3120 |1374 | 1 |3547 |2092 | 1.009910e+03 | 1.033000e+03 | 2.29%| unknown
414.40/415.65 c 416s| 5200 | 373 | 1909k| 296.8 | 311M | 40 |1517 |6073 |3120 |1399 | 0 |3684 |2141 | 1.009910e+03 | 1.033000e+03 | 2.29%| unknown
421.98/423.20 c 423s| 5300 | 383 | 1937k| 296.6 | 311M | 40 |1517 |6134 |3130 |1478 | 2 |3762 |2173 | 1.009931e+03 | 1.033000e+03 | 2.28%| unknown
428.16/429.50 c 429s| 5400 | 389 | 1963k| 296.0 | 312M | 43 |1517 |6312 |3126 |1543 | 1 |4001 |2249 | 1.009989e+03 | 1.033000e+03 | 2.28%| unknown
440.42/441.72 c 442s| 5500 | 393 | 1996k| 296.5 | 315M | 43 |1517 |6468 |3139 |1698 | 2 |4211 |2306 | 1.010068e+03 | 1.033000e+03 | 2.27%| unknown
445.81/447.18 c 447s| 5600 | 399 | 2025k| 296.5 | 315M | 43 |1517 |6630 |3131 |1780 | 1 |4421 |2368 | 1.010099e+03 | 1.033000e+03 | 2.27%| unknown
450.49/451.88 c 452s| 5700 | 409 | 2054k| 296.3 | 317M | 43 |1517 |6767 |3131 |1800 | 0 |4596 |2411 | 1.010145e+03 | 1.033000e+03 | 2.26%| unknown
456.77/458.11 c 458s| 5800 | 411 | 2082k| 296.1 | 317M | 43 |1517 |6944 |3134 |1884 | 1 |4825 |2478 | 1.010172e+03 | 1.033000e+03 | 2.26%| unknown
464.04/465.49 c 465s| 5900 | 421 | 2116k| 296.7 | 318M | 43 |1517 |6985 |3137 |1966 | 0 |4895 |2511 | 1.010246e+03 | 1.033000e+03 | 2.25%| unknown
473.22/474.66 c 475s| 6000 | 439 | 2159k| 298.5 | 316M | 43 |1517 |7010 |3124 |2143 | 1 |4948 |2560 | 1.010319e+03 | 1.033000e+03 | 2.24%| unknown
482.09/483.56 c 484s| 6100 | 453 | 2193k| 299.1 | 318M | 43 |1517 |7040 |3128 |2300 | 0 |5012 |2598 | 1.010336e+03 | 1.033000e+03 | 2.24%| unknown
485.28/486.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
485.28/486.71 c 487s| 6200 | 453 | 2210k| 297.5 | 318M | 43 |1517 |7127 |3130 |2324 | 0 |5136 |2637 | 1.010336e+03 | 1.033000e+03 | 2.24%| unknown
496.34/497.80 c 498s| 6300 | 473 | 2254k| 299.3 | 319M | 43 |1517 |7172 |3135 |2520 | 1 |5246 |2694 | 1.010393e+03 | 1.033000e+03 | 2.24%| unknown
500.93/502.45 c 502s| 6400 | 475 | 2276k| 298.2 | 320M | 43 |1517 |7300 |3137 |2546 | 1 |5410 |2757 | 1.010393e+03 | 1.033000e+03 | 2.24%| unknown
510.50/512.06 c 512s| 6500 | 481 | 2314k| 299.3 | 322M | 43 |1517 |7337 |3132 |2711 | 1 |5493 |2797 | 1.010444e+03 | 1.033000e+03 | 2.23%| unknown
519.48/521.06 c 521s| 6600 | 499 | 2369k| 302.6 | 325M | 43 |1517 |7341 |3130 |2838 | 1 |5536 |2819 | 1.010486e+03 | 1.033000e+03 | 2.23%| unknown
523.86/525.49 c 525s| 6700 | 509 | 2400k| 302.7 | 325M | 43 |1517 |7360 |3142 |2895 | 0 |5575 |2840 | 1.010620e+03 | 1.033000e+03 | 2.21%| unknown
527.46/529.00 c 529s| 6800 | 519 | 2423k| 301.7 | 325M | 43 |1517 |7370 |3139 |2930 | 1 |5600 |2858 | 1.010636e+03 | 1.033000e+03 | 2.21%| unknown
529.95/531.56 c 532s| 6900 | 513 | 2441k| 300.2 | 325M | 43 |1517 |7431 |3139 |2958 | 1 |5679 |2879 | 1.010636e+03 | 1.033000e+03 | 2.21%| unknown
534.13/535.74 c 536s| 7000 | 517 | 2467k| 299.8 | 325M | 43 |1517 |7494 |3140 |2989 | 1 |5808 |2928 | 1.010653e+03 | 1.033000e+03 | 2.21%| unknown
542.71/544.38 c 544s| 7100 | 517 | 2503k| 300.4 | 324M | 43 |1517 |7575 |3151 |3106 | 0 |6000 |2991 | 1.010670e+03 | 1.033000e+03 | 2.21%| unknown
550.58/552.22 c 552s| 7200 | 525 | 2538k| 301.1 | 325M | 43 |1517 |7725 |3138 |3207 | 1 |6213 |3115 | 1.010670e+03 | 1.033000e+03 | 2.21%| unknown
557.66/559.34 c 559s| 7300 | 537 | 2577k| 302.1 | 325M | 43 |1517 |7742 |3138 |3304 | 1 |6359 |3174 | 1.010684e+03 | 1.033000e+03 | 2.21%| unknown
564.44/566.17 c 566s| 7400 | 545 | 2611k| 302.6 | 325M | 43 |1517 |7829 |3151 |3401 | 0 |6512 |3230 | 1.010692e+03 | 1.033000e+03 | 2.21%| unknown
571.62/573.37 c 573s| 7500 | 557 | 2647k| 303.2 | 326M | 43 |1517 |7855 |3152 |3474 | 2 |6629 |3277 | 1.010707e+03 | 1.033000e+03 | 2.21%| unknown
579.89/581.67 c 582s| 7600 | 573 | 2688k| 304.5 | 326M | 43 |1517 |7842 |3127 |3579 | 1 |6719 |3320 | 1.010750e+03 | 1.033000e+03 | 2.20%| unknown
587.17/588.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
587.17/588.90 c 589s| 7700 | 583 | 2724k| 305.1 | 326M | 43 |1517 |7945 |3156 |3695 | 1 |6913 |3376 | 1.010753e+03 | 1.033000e+03 | 2.20%| unknown
594.15/595.96 c 596s| 7800 | 593 | 2763k| 306.0 | 326M | 43 |1517 |8031 |3162 |3781 | 2 |7110 |3440 | 1.010891e+03 | 1.033000e+03 | 2.19%| unknown
599.93/601.76 c 602s| 7900 | 607 | 2806k| 307.4 | 327M | 43 |1517 |8040 |3162 |3836 | 1 |7250 |3478 | 1.010943e+03 | 1.033000e+03 | 2.18%| unknown
618.47/620.38 c 620s| 8000 | 633 | 2885k| 312.6 | 329M | 43 |1517 |7964 |3144 |4032 | 1 |7374 |3538 | 1.011010e+03 | 1.033000e+03 | 2.18%| unknown
624.75/626.62 c 627s| 8100 | 633 | 2924k| 313.5 | 330M | 43 |1517 |7949 |3148 |4149 | 0 |7463 |3564 | 1.011046e+03 | 1.033000e+03 | 2.17%| unknown
628.94/630.86 c 631s| 8200 | 641 | 2962k| 314.2 | 330M | 43 |1517 |7902 |3144 |4214 | 1 |7500 |3572 | 1.011063e+03 | 1.033000e+03 | 2.17%| unknown
633.82/635.70 c 636s| 8300 | 651 | 2999k| 314.8 | 330M | 43 |1517 |7892 |3157 |4334 | 1 |7584 |3596 | 1.011063e+03 | 1.033000e+03 | 2.17%| unknown
639.60/641.58 c 642s| 8400 | 667 | 3043k| 316.0 | 331M | 43 |1517 |7802 |3161 |4452 | 1 |7636 |3615 | 1.011074e+03 | 1.033000e+03 | 2.17%| unknown
645.38/647.30 c 647s| 8500 | 683 | 3086k| 317.2 | 331M | 43 |1517 |7717 |3170 |4561 | 1 |7694 |3623 | 1.011168e+03 | 1.033000e+03 | 2.16%| unknown
653.76/655.77 c 656s| 8600 | 709 | 3140k| 319.6 | 332M | 43 |1517 |7579 |3157 |4760 | 2 |7705 |3623 | 1.011184e+03 | 1.033000e+03 | 2.16%| unknown
658.74/660.72 c 661s| 8700 | 717 | 3171k| 319.5 | 332M | 43 |1517 |7598 |3157 |4785 | 1 |7765 |3663 | 1.011184e+03 | 1.033000e+03 | 2.16%| unknown
671.91/673.94 c 674s| 8800 | 721 | 3210k| 320.2 | 332M | 43 |1517 |7576 |3154 |4930 | 1 |8001 |3889 | 1.011190e+03 | 1.033000e+03 | 2.16%| unknown
680.59/682.69 c 683s| 8900 | 741 | 3264k| 322.4 | 332M | 43 |1517 |7440 |3163 |4974 | 1 |8120 |3970 | 1.011259e+03 | 1.033000e+03 | 2.15%| unknown
685.37/687.45 c 687s| 9000 | 739 | 3289k| 321.6 | 333M | 43 |1517 |7491 |3170 |5016 | 1 |8198 |4002 | 1.011259e+03 | 1.033000e+03 | 2.15%| unknown
690.96/693.00 c 693s| 9100 | 745 | 3322k| 321.8 | 332M | 43 |1517 |7313 |3143 |5145 | 1 |8205 |4009 | 1.011264e+03 | 1.033000e+03 | 2.15%| unknown
693.35/695.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
693.35/695.42 c 695s| 9200 | 747 | 3345k| 320.9 | 332M | 43 |1517 |7250 |3146 |5173 | 2 |8208 |4010 | 1.011266e+03 | 1.033000e+03 | 2.15%| unknown
698.33/700.43 c 700s| 9300 | 763 | 3378k| 320.9 | 332M | 43 |1517 |7156 |3142 |5258 | 1 |8236 |4020 | 1.011282e+03 | 1.033000e+03 | 2.15%| unknown
700.43/702.57 c 703s| 9400 | 763 | 3397k| 319.7 | 332M | 43 |1517 |7180 |3142 |5284 | 0 |8267 |4028 | 1.011282e+03 | 1.033000e+03 | 2.15%| unknown
704.92/707.08 c 707s| 9500 | 775 | 3428k| 319.6 | 332M | 43 |1517 |7011 |3149 |5344 | 0 |8279 |4036 | 1.011308e+03 | 1.033000e+03 | 2.14%| unknown
711.10/713.24 c 713s| 9600 | 785 | 3461k| 319.7 | 333M | 43 |1517 |6816 |3151 |5478 | 2 |8306 |4044 | 1.011338e+03 | 1.033000e+03 | 2.14%| unknown
713.20/715.35 c 715s| 9700 | 783 | 3481k| 318.5 | 333M | 43 |1517 |6846 |3144 |5521 | 1 |8346 |4053 | 1.011338e+03 | 1.033000e+03 | 2.14%| unknown
718.88/721.04 c 721s| 9800 | 789 | 3508k| 318.2 | 333M | 43 |1517 |6753 |3153 |5654 | 3 |8411 |4067 | 1.011356e+03 | 1.033000e+03 | 2.14%| unknown
726.66/728.81 c 729s| 9900 | 809 | 3555k| 319.5 | 333M | 43 |1517 |6561 |3156 |5849 | 2 |8433 |4071 | 1.011500e+03 | 1.033000e+03 | 2.13%| unknown
728.35/730.58 c 731s| 10000 | 807 | 3570k| 318.0 | 333M | 43 |1517 |6566 |3155 |5881 | 1 |8447 |4076 | 1.011500e+03 | 1.033000e+03 | 2.13%| unknown
730.65/732.82 c 733s| 10100 | 807 | 3589k| 316.9 | 333M | 43 |1517 |6595 |3155 |5907 | 0 |8487 |4085 | 1.011500e+03 | 1.033000e+03 | 2.13%| unknown
733.64/735.80 c 736s| 10200 | 811 | 3613k| 316.2 | 333M | 43 |1517 |6531 |3148 |5909 | 0 |8514 |4091 | 1.011502e+03 | 1.033000e+03 | 2.13%| unknown
740.22/742.46 c 742s| 10300 | 831 | 3662k| 317.7 | 334M | 43 |1517 |6341 |3155 |6048 | 1 |8572 |4100 | 1.011608e+03 | 1.033000e+03 | 2.11%| unknown
743.21/745.41 c 745s| 10400 | 827 | 3683k| 316.8 | 334M | 43 |1517 |6410 |3148 |6107 | 0 |8670 |4123 | 1.011608e+03 | 1.033000e+03 | 2.11%| unknown
745.81/748.03 c 748s| 10500 | 833 | 3707k| 316.1 | 334M | 43 |1517 |6403 |3165 |6135 | 2 |8670 |4125 | 1.011608e+03 | 1.033000e+03 | 2.11%| unknown
753.48/755.71 c 756s| 10600 | 847 | 3767k| 318.5 | 334M | 43 |1517 |6267 |3164 |6231 | 0 |8681 |4127 | 1.011633e+03 | 1.033000e+03 | 2.11%| unknown
755.88/758.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
755.88/758.11 c 758s| 10700 | 845 | 3789k| 317.7 | 334M | 43 |1517 |6268 |3160 |6247 | 1 |8684 |4129 | 1.011633e+03 | 1.033000e+03 | 2.11%| unknown
758.47/760.74 c 761s| 10800 | 845 | 3810k| 316.8 | 334M | 43 |1517 |6264 |3165 |6281 | 1 |8685 |4129 | 1.011633e+03 | 1.033000e+03 | 2.11%| unknown
760.77/763.06 c 763s| 10900 | 847 | 3830k| 315.8 | 334M | 43 |1517 |6265 |3166 |6318 | 2 |8689 |4130 | 1.011633e+03 | 1.033000e+03 | 2.11%| unknown
768.44/770.79 c 771s| 11000 | 867 | 3880k| 317.3 | 334M | 43 |1517 |6034 |3166 |6417 | 2 |8718 |4133 | 1.011676e+03 | 1.033000e+03 | 2.11%| unknown
771.53/773.87 c 774s| 11100 | 869 | 3908k| 317.0 | 334M | 43 |1517 |5990 |3160 |6445 | 2 |8740 |4140 | 1.011692e+03 | 1.033000e+03 | 2.11%| unknown
774.13/776.43 c 776s| 11200 | 869 | 3932k| 316.4 | 334M | 43 |1517 |5991 |3167 |6492 | 0 |8744 |4141 | 1.011692e+03 | 1.033000e+03 | 2.11%| unknown
781.21/783.56 c 784s| 11300 | 879 | 3972k| 317.1 | 334M | 43 |1517 |5878 |3168 |6644 | 1 |8763 |4147 | 1.011775e+03 | 1.033000e+03 | 2.10%| unknown
790.79/793.11 c 793s| 11400 | 889 | 4013k| 317.8 | 341M | 43 |1517 |5833 |3181 |6789 | 1 |8844 |4184 | 1.011806e+03 | 1.033000e+03 | 2.09%| unknown
796.17/798.52 c 799s| 11500 | 897 | 4051k| 318.3 | 348M | 44 |1517 |5697 |3163 |6902 | 0 |8870 |4186 | 1.011877e+03 | 1.033000e+03 | 2.09%| unknown
801.86/804.27 c 804s| 11600 | 905 | 4089k| 318.8 | 350M | 44 |1517 |5603 |3164 |7039 | 0 |8872 |4191 | 1.011878e+03 | 1.033000e+03 | 2.09%| unknown
807.75/810.15 c 810s| 11700 | 919 | 4127k| 319.3 | 350M | 44 |1517 |5519 |3169 |7157 | 1 |8879 |4191 | 1.011890e+03 | 1.033000e+03 | 2.09%| unknown
816.73/819.14 c 819s| 11800 | 929 | 4177k| 320.7 | 352M | 44 |1517 |5471 |3170 |7249 | 0 |8953 |4219 | 1.011906e+03 | 1.033000e+03 | 2.08%| unknown
820.51/822.95 c 823s| 11900 | 933 | 4205k| 320.4 | 352M | 44 |1517 |5504 |3170 |7286 | 1 |9051 |4251 | 1.011910e+03 | 1.033000e+03 | 2.08%| unknown
824.60/827.10 c 827s| 12000 | 937 | 4233k| 320.0 | 352M | 44 |1517 |5456 |3175 |7323 | 0 |9145 |4285 | 1.011943e+03 | 1.033000e+03 | 2.08%| unknown
832.48/834.96 c 835s| 12100 | 947 | 4271k| 320.5 | 352M | 44 |1517 |5368 |3170 |7460 | 0 |9193 |4328 | 1.011947e+03 | 1.033000e+03 | 2.08%| unknown
838.16/840.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
838.16/840.69 c 841s| 12200 | 957 | 4308k| 320.9 | 352M | 44 |1517 |5320 |3169 |7545 | 1 |9241 |4342 | 1.011992e+03 | 1.033000e+03 | 2.08%| unknown
843.35/845.80 c 846s| 12300 | 963 | 4342k| 321.0 | 352M | 44 |1517 |5382 |3173 |7553 | 2 |9398 |4394 | 1.012009e+03 | 1.033000e+03 | 2.07%| unknown
849.83/852.36 c 852s| 12400 | 965 | 4379k| 321.4 | 352M | 44 |1517 |5380 |3174 |7654 | 0 |9571 |4457 | 1.012012e+03 | 1.033000e+03 | 2.07%| unknown
855.92/858.44 c 858s| 12500 | 973 | 4417k| 321.8 | 352M | 44 |1517 |5451 |3178 |7752 | 1 |9741 |4498 | 1.012018e+03 | 1.033000e+03 | 2.07%| unknown
863.20/865.74 c 866s| 12600 | 983 | 4457k| 322.4 | 352M | 44 |1517 |5458 |3180 |7890 | 0 |9854 |4550 | 1.012034e+03 | 1.033000e+03 | 2.07%| unknown
868.19/870.79 c 871s| 12700 | 989 | 4497k| 323.0 | 352M | 44 |1517 |5442 |3177 |7991 | 0 |9889 |4560 | 1.012058e+03 | 1.033000e+03 | 2.07%| unknown
871.48/874.03 c 874s| 12800 | 991 | 4529k| 322.9 | 352M | 44 |1517 |5429 |3165 |8039 | 0 |9904 |4565 | 1.012067e+03 | 1.033000e+03 | 2.07%| unknown
874.77/877.31 c 877s| 12900 | 995 | 4553k| 322.3 | 352M | 44 |1517 |5453 |3169 |8077 | 2 |9940 |4584 | 1.012067e+03 | 1.033000e+03 | 2.07%| unknown
880.36/882.94 c 883s| 13000 | 1001 | 4588k| 322.5 | 353M | 44 |1517 |5420 |3167 |8181 | 0 |9982 |4596 | 1.012094e+03 | 1.033000e+03 | 2.07%| unknown
885.34/887.98 c 888s| 13100 | 1019 | 4631k| 323.3 | 353M | 44 |1517 |5317 |3172 |8317 | 0 |9987 |4597 | 1.012175e+03 | 1.033000e+03 | 2.06%| unknown
888.14/890.71 c 891s| 13200 | 1019 | 4657k| 322.9 | 353M | 44 |1517 |5331 |3182 |8353 | 0 | 10k|4603 | 1.012175e+03 | 1.033000e+03 | 2.06%| unknown
890.54/893.11 c 893s| 13300 | 1015 | 4679k| 322.1 | 353M | 44 |1517 |5332 |3172 |8392 | 0 | 10k|4605 | 1.012175e+03 | 1.033000e+03 | 2.06%| unknown
898.21/900.85 c 901s| 13400 | 1033 | 4731k| 323.5 | 353M | 44 |1517 |5276 |3181 |8469 | 0 | 10k|4630 | 1.012178e+03 | 1.033000e+03 | 2.06%| unknown
904.70/907.33 c 907s| 13500 | 1047 | 4772k| 324.1 | 353M | 44 |1517 |5253 |3182 |8630 | 0 | 10k|4647 | 1.012203e+03 | 1.033000e+03 | 2.05%| unknown
908.59/911.27 c 911s| 13600 | 1057 | 4801k| 323.9 | 353M | 44 |1517 |5295 |3179 |8695 | 1 | 10k|4675 | 1.012203e+03 | 1.033000e+03 | 2.05%| unknown
911.48/914.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
911.48/914.16 c 914s| 13700 | 1063 | 4825k| 323.3 | 353M | 44 |1517 |5347 |3185 |8746 | 2 | 10k|4699 | 1.012208e+03 | 1.033000e+03 | 2.05%| unknown
914.77/917.46 c 917s| 13800 | 1061 | 4849k| 322.7 | 353M | 44 |1517 |5440 |3188 |8801 | 2 | 10k|4737 | 1.012208e+03 | 1.033000e+03 | 2.05%| unknown
920.55/923.25 c 923s| 13900 | 1071 | 4882k| 322.8 | 353M | 44 |1517 |5350 |3187 |8891 | 1 | 10k|4781 | 1.012216e+03 | 1.033000e+03 | 2.05%| unknown
925.14/927.89 c 928s| 14000 | 1071 | 4904k| 322.1 | 353M | 44 |1517 |5462 |3176 |8891 | 1 | 10k|4857 | 1.012216e+03 | 1.033000e+03 | 2.05%| unknown
930.23/932.98 c 933s| 14100 | 1075 | 4934k| 322.0 | 353M | 44 |1517 |5458 |3185 |9015 | 0 | 10k|4882 | 1.012224e+03 | 1.033000e+03 | 2.05%| unknown
933.52/936.27 c 936s| 14200 | 1073 | 4958k| 321.4 | 353M | 44 |1517 |5493 |3175 |9044 | 1 | 10k|4905 | 1.012224e+03 | 1.033000e+03 | 2.05%| unknown
936.71/939.40 c 939s| 14300 | 1077 | 4987k| 321.2 | 353M | 44 |1517 |5450 |3182 |9092 | 0 | 10k|4910 | 1.012273e+03 | 1.033000e+03 | 2.05%| unknown
940.41/943.15 c 943s| 14400 | 1083 | 5017k| 321.0 | 353M | 44 |1517 |5461 |3179 |9127 | 0 | 10k|4928 | 1.012277e+03 | 1.033000e+03 | 2.05%| unknown
944.89/947.63 c 948s| 14500 | 1091 | 5050k| 321.1 | 353M | 44 |1517 |5435 |3175 |9220 | 1 | 10k|4928 | 1.012277e+03 | 1.033000e+03 | 2.05%| unknown
947.98/950.74 c 951s| 14600 | 1095 | 5078k| 320.9 | 353M | 44 |1517 |5439 |3181 |9270 | 1 | 10k|4936 | 1.012277e+03 | 1.033000e+03 | 2.05%| unknown
957.86/960.66 c 961s| 14700 | 1113 | 5132k| 322.3 | 354M | 44 |1517 |5379 |3177 |9563 | 0 | 10k|4954 | 1.012335e+03 | 1.033000e+03 | 2.04%| unknown
962.45/965.28 c 965s| 14800 | 1125 | 5165k| 322.3 | 354M | 44 |1517 |5376 |3179 |9685 | 1 | 11k|4964 | 1.012367e+03 | 1.033000e+03 | 2.04%| unknown
967.04/969.83 c 970s| 14900 | 1129 | 5191k| 321.9 | 354M | 44 |1517 |5378 |3186 |9779 | 0 | 11k|4974 | 1.012376e+03 | 1.033000e+03 | 2.04%| unknown
969.03/971.87 c 972s| 15000 | 1129 | 5209k| 321.1 | 354M | 44 |1517 |5404 |3188 |9803 | 1 | 11k|4988 | 1.012376e+03 | 1.033000e+03 | 2.04%| unknown
974.62/977.48 c 977s| 15100 | 1141 | 5258k| 322.1 | 354M | 44 |1517 |5374 |3187 |9821 | 1 | 11k|4999 | 1.012392e+03 | 1.033000e+03 | 2.04%| unknown
983.00/985.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
983.00/985.85 c 986s| 15200 | 1155 | 5298k| 322.5 | 356M | 44 |1517 |5325 |3198 |9931 | 2 | 11k|5023 | 1.012400e+03 | 1.033000e+03 | 2.03%| unknown
988.19/991.04 c 991s| 15300 | 1157 | 5327k| 322.3 | 357M | 44 |1517 |5334 |3182 |9976 | 0 | 11k|5044 | 1.012400e+03 | 1.033000e+03 | 2.03%| unknown
991.38/994.20 c 994s| 15400 | 1161 | 5355k| 322.1 | 357M | 44 |1517 |5313 |3200 | 10k| 1 | 11k|5046 | 1.012418e+03 | 1.033000e+03 | 2.03%| unknown
998.56/1001.41 c 1001s| 15500 | 1183 | 5406k| 323.2 | 358M | 44 |1517 |5223 |3197 | 10k| 0 | 11k|5059 | 1.012523e+03 | 1.033000e+03 | 2.02%| unknown
1002.35/1005.27 c 1005s| 15600 | 1187 | 5441k| 323.4 | 358M | 44 |1517 |5176 |3190 | 10k| 0 | 11k|5066 | 1.012529e+03 | 1.033000e+03 | 2.02%| unknown
1009.53/1012.44 c 1012s| 15700 | 1201 | 5486k| 324.1 | 358M | 44 |1517 |5141 |3203 | 10k| 2 | 11k|5073 | 1.012556e+03 | 1.033000e+03 | 2.02%| unknown
1016.12/1019.05 c 1019s| 15800 | 1211 | 5526k| 324.6 | 358M | 44 |1517 |5095 |3196 | 10k| 0 | 11k|5113 | 1.012580e+03 | 1.033000e+03 | 2.02%| unknown
1019.40/1022.37 c 1022s| 15900 | 1221 | 5557k| 324.5 | 358M | 44 |1517 |5055 |3207 | 10k| 1 | 11k|5115 | 1.012580e+03 | 1.033000e+03 | 2.02%| unknown
1023.20/1026.12 c 1026s| 16000 | 1219 | 5579k| 323.9 | 359M | 44 |1517 |5065 |3205 | 10k| 0 | 11k|5130 | 1.012580e+03 | 1.033000e+03 | 2.02%| unknown
1033.97/1036.97 c 1037s| 16100 | 1229 | 5640k| 325.5 | 359M | 46 |1517 |5003 |3210 | 10k| 1 | 11k|5133 | 1.012616e+03 | 1.033000e+03 | 2.01%| unknown
1036.96/1040.00 c 1040s| 16200 | 1229 | 5668k| 325.3 | 359M | 46 |1517 |4979 |3189 | 10k| 1 | 11k|5137 | 1.012616e+03 | 1.033000e+03 | 2.01%| unknown
1039.45/1042.49 c 1042s| 16300 | 1233 | 5692k| 324.8 | 359M | 46 |1517 |4963 |3200 | 10k| 0 | 11k|5137 | 1.012616e+03 | 1.033000e+03 | 2.01%| unknown
1042.35/1045.33 c 1045s| 16400 | 1239 | 5718k| 324.4 | 359M | 46 |1517 |4961 |3206 | 11k| 0 | 11k|5138 | 1.012616e+03 | 1.033000e+03 | 2.01%| unknown
1047.43/1050.45 c 1050s| 16500 | 1243 | 5758k| 324.9 | 359M | 46 |1517 |4878 |3208 | 11k| 0 | 11k|5138 | 1.012676e+03 | 1.033000e+03 | 2.01%| unknown
1050.33/1053.38 c 1053s| 16600 | 1245 | 5785k| 324.5 | 359M | 46 |1517 |4838 |3190 | 11k| 1 | 11k|5138 | 1.012679e+03 | 1.033000e+03 | 2.01%| unknown
1053.02/1056.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1053.02/1056.04 c 1056s| 16700 | 1243 | 5810k| 324.1 | 359M | 46 |1517 |4819 |3190 | 11k| 1 | 11k|5139 | 1.012679e+03 | 1.033000e+03 | 2.01%| unknown
1060.90/1063.96 c 1064s| 16800 | 1257 | 5858k| 325.0 | 359M | 46 |1517 |4758 |3191 | 11k| 0 | 11k|5139 | 1.012683e+03 | 1.033000e+03 | 2.01%| unknown
1066.88/1069.97 c 1070s| 16900 | 1267 | 5898k| 325.4 | 360M | 46 |1517 |4719 |3202 | 11k| 1 | 11k|5139 | 1.012700e+03 | 1.033000e+03 | 2.00%| unknown
1072.47/1075.53 c 1076s| 17000 | 1271 | 5929k| 325.3 | 361M | 46 |1517 |4737 |3204 | 11k| 1 | 11k|5163 | 1.012702e+03 | 1.033000e+03 | 2.00%| unknown
1077.86/1081.00 c 1081s| 17100 | 1279 | 5969k| 325.7 | 361M | 46 |1517 |4639 |3190 | 11k| 0 | 11k|5192 | 1.012710e+03 | 1.033000e+03 | 2.00%| unknown
1084.14/1087.26 c 1087s| 17200 | 1285 | 6011k| 326.2 | 361M | 46 |1517 |4772 |3183 | 11k| 0 | 11k|5259 | 1.012711e+03 | 1.033000e+03 | 2.00%| unknown
1088.53/1091.64 c 1092s| 17300 | 1281 | 6042k| 326.1 | 361M | 46 |1517 |4819 |3217 | 12k| 0 | 11k|5294 | 1.012711e+03 | 1.033000e+03 | 2.00%| unknown
1091.93/1095.04 c 1095s| 17400 | 1277 | 6069k| 325.8 | 361M | 46 |1517 |4857 |3181 | 12k| 1 | 11k|5318 | 1.012711e+03 | 1.033000e+03 | 2.00%| unknown
1097.31/1100.40 c 1100s| 17500 | 1283 | 6112k| 326.4 | 361M | 46 |1517 |4741 |3180 | 12k| 0 | 12k|5339 | 1.012731e+03 | 1.033000e+03 | 2.00%| unknown
1106.58/1109.72 c 1110s| 17600 | 1295 | 6160k| 327.2 | 361M | 46 |1517 |4700 |3189 | 12k| 0 | 12k|5409 | 1.012737e+03 | 1.033000e+03 | 2.00%| unknown
1114.36/1117.55 c 1118s| 17700 | 1321 | 6217k| 328.5 | 362M | 46 |1517 |4613 |3209 | 12k| 0 | 12k|5472 | 1.012781e+03 | 1.033000e+03 | 2.00%| unknown
1123.94/1127.13 c 1127s| 17800 | 1325 | 6271k| 329.6 | 363M | 46 |1517 |4600 |3210 | 12k| 0 | 12k|5519 | 1.012798e+03 | 1.033000e+03 | 1.99%| unknown
1127.73/1130.92 c 1131s| 17900 | 1319 | 6293k| 329.1 | 363M | 46 |1517 |4598 |3214 | 12k| 0 | 12k|5527 | 1.012798e+03 | 1.033000e+03 | 1.99%| unknown
1133.61/1136.84 c 1137s| 18000 | 1325 | 6334k| 329.5 | 363M | 46 |1517 |4529 |3182 | 12k| 0 | 12k|5550 | 1.012799e+03 | 1.033000e+03 | 1.99%| unknown
1139.30/1142.50 c 1143s| 18100 | 1341 | 6378k| 330.1 | 364M | 46 |1517 |4564 |3186 | 12k| 0 | 12k|5588 | 1.012807e+03 | 1.033000e+03 | 1.99%| unknown
1143.99/1147.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1143.99/1147.27 c 1147s| 18200 | 1355 | 6412k| 330.1 | 364M | 46 |1517 |4538 |3189 | 13k| 1 | 12k|5596 | 1.012819e+03 | 1.033000e+03 | 1.99%| unknown
1149.78/1153.09 c 1153s| 18300 | 1381 | 6453k| 330.5 | 364M | 46 |1517 |4579 |3194 | 13k| 1 | 12k|5618 | 1.012870e+03 | 1.033000e+03 | 1.99%| unknown
1153.46/1156.74 c 1157s| 18400 | 1391 | 6480k| 330.2 | 364M | 46 |1517 |4720 |3194 | 13k| 1 | 13k|5673 | 1.012882e+03 | 1.033000e+03 | 1.99%| unknown
1158.95/1162.23 c 1162s| 18500 | 1391 | 6500k| 329.5 | 365M | 46 |1517 |4954 |3196 | 13k| 1 | 13k|5764 | 1.012882e+03 | 1.033000e+03 | 1.99%| unknown
1172.61/1175.92 c 1176s| 18600 | 1401 | 6540k| 329.9 | 366M | 46 |1517 |4932 |3204 | 13k| 0 | 13k|5805 | 1.012917e+03 | 1.033000e+03 | 1.98%| unknown
1183.49/1186.82 c 1187s| 18700 | 1405 | 6572k| 329.8 | 385M | 46 |1517 |4964 |3215 | 13k| 0 | 13k|5820 | 1.012917e+03 | 1.033000e+03 | 1.98%| unknown
1188.27/1191.64 c 1192s| 18800 | 1403 | 6605k| 329.9 | 402M | 46 |1517 |4976 |3200 | 13k| 0 | 13k|5827 | 1.012917e+03 | 1.033000e+03 | 1.98%| unknown
1191.27/1194.68 c 1195s| 18900 | 1407 | 6633k| 329.6 | 402M | 46 |1517 |4980 |3215 | 13k| 1 | 13k|5829 | 1.012917e+03 | 1.033000e+03 | 1.98%| unknown
1198.65/1202.08 c 1202s| 19000 | 1423 | 6689k| 330.7 | 402M | 46 |1517 |4997 |3217 | 13k| 1 | 13k|5832 | 1.012929e+03 | 1.033000e+03 | 1.98%| unknown
1203.04/1206.47 c 1206s| 19100 | 1423 | 6717k| 330.5 | 402M | 46 |1517 |5033 |3217 | 13k| 0 | 13k|5844 | 1.012930e+03 | 1.033000e+03 | 1.98%| unknown
1205.93/1209.32 c 1209s| 19200 | 1419 | 6740k| 330.0 | 402M | 46 |1517 |5042 |3219 | 14k| 0 | 13k|5848 | 1.012930e+03 | 1.033000e+03 | 1.98%| unknown
1208.42/1211.80 c 1212s| 19300 | 1417 | 6762k| 329.5 | 402M | 46 |1517 |5042 |3219 | 14k| 1 | 13k|5848 | 1.012930e+03 | 1.033000e+03 | 1.98%| unknown
1212.21/1215.68 c 1216s| 19400 | 1427 | 6798k| 329.6 | 402M | 46 |1517 |5042 |3224 | 14k| 1 | 13k|5852 | 1.012936e+03 | 1.033000e+03 | 1.98%| unknown
1217.40/1220.83 c 1221s| 19500 | 1435 | 6834k| 329.8 | 402M | 46 |1517 |5030 |3221 | 14k| 0 | 13k|5855 | 1.012964e+03 | 1.033000e+03 | 1.98%| unknown
1225.48/1228.93 c 1229s| 19600 | 1451 | 6880k| 330.4 | 406M | 46 |1517 |5001 |3220 | 14k| 0 | 13k|5857 | 1.012980e+03 | 1.033000e+03 | 1.98%| unknown
1230.37/1233.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1230.37/1233.84 c 1234s| 19700 | 1467 | 6916k| 330.5 | 406M | 46 |1517 |4920 |3224 | 14k| 1 | 13k|5862 | 1.012999e+03 | 1.033000e+03 | 1.97%| unknown
1234.06/1237.52 c 1238s| 19800 | 1467 | 6941k| 330.1 | 407M | 46 |1517 |4929 |3230 | 14k| 0 | 13k|5864 | 1.012999e+03 | 1.033000e+03 | 1.97%| unknown
1243.33/1246.83 c 1247s| 19900 | 1473 | 6984k| 330.6 | 413M | 46 |1517 |4957 |3233 | 14k| 1 | 13k|5891 | 1.013002e+03 | 1.033000e+03 | 1.97%| unknown
1252.11/1255.60 c 1256s| 20000 | 1483 | 7028k| 331.1 | 436M | 46 |1517 |4924 |3236 | 15k| 0 | 13k|5920 | 1.013020e+03 | 1.033000e+03 | 1.97%| unknown
1261.99/1265.53 c 1266s| 20100 | 1495 | 7073k| 331.7 | 477M | 46 |1517 |4901 |3250 | 15k| 1 | 13k|5943 | 1.013025e+03 | 1.033000e+03 | 1.97%| unknown
1275.96/1279.50 c 1280s| 20200 | 1505 | 7131k| 332.9 | 522M | 46 |1517 |4798 |3227 | 15k| 0 | 14k|5975 | 1.013036e+03 | 1.033000e+03 | 1.97%| unknown
1280.05/1283.61 c 1284s| 20300 | 1511 | 7169k| 333.1 | 522M | 46 |1517 |4793 |3237 | 15k| 1 | 14k|5992 | 1.013055e+03 | 1.033000e+03 | 1.97%| unknown
1287.23/1290.85 c 1291s| 20400 | 1511 | 7210k| 333.5 | 521M | 46 |1517 |4786 |3235 | 15k| 2 | 14k|6017 | 1.013077e+03 | 1.033000e+03 | 1.97%| unknown
1291.92/1295.59 c 1296s| 20500 | 1513 | 7246k| 333.5 | 521M | 46 |1517 |4778 |3235 | 15k| 0 | 14k|6020 | 1.013088e+03 | 1.033000e+03 | 1.97%| unknown
1298.20/1301.87 c 1302s| 20600 | 1531 | 7296k| 334.3 | 521M | 46 |1517 |4752 |3214 | 15k| 3 | 14k|6027 | 1.013104e+03 | 1.033000e+03 | 1.96%| unknown
1309.17/1312.86 c 1313s| 20700 | 1551 | 7345k| 335.0 | 518M | 46 |1517 |4727 |3217 | 16k| 1 | 14k|6056 | 1.013123e+03 | 1.033000e+03 | 1.96%| unknown
1319.25/1322.93 c 1323s| 20800 | 1563 | 7390k| 335.6 | 518M | 46 |1517 |4781 |3219 | 16k| 0 | 14k|6127 | 1.013147e+03 | 1.033000e+03 | 1.96%| unknown
1322.44/1326.15 c 1326s| 20900 | 1561 | 7409k| 334.9 | 518M | 46 |1517 |4811 |3223 | 16k| 0 | 14k|6143 | 1.013147e+03 | 1.033000e+03 | 1.96%| unknown
1328.92/1332.60 c 1333s| 21000 | 1583 | 7453k| 335.4 | 518M | 46 |1517 |4808 |3216 | 16k| 0 | 14k|6178 | 1.013197e+03 | 1.033000e+03 | 1.95%| unknown
1335.21/1338.91 c 1339s| 21100 | 1587 | 7485k| 335.3 | 517M | 46 |1517 |4821 |3223 | 16k| 0 | 14k|6186 | 1.013197e+03 | 1.033000e+03 | 1.95%| unknown
1337.30/1341.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1337.30/1341.08 c 1341s| 21200 | 1587 | 7505k| 334.7 | 517M | 46 |1517 |4831 |3220 | 16k| 0 | 14k|6189 | 1.013197e+03 | 1.033000e+03 | 1.95%| unknown
1343.88/1347.65 c 1348s| 21300 | 1599 | 7541k| 334.8 | 520M | 46 |1517 |4864 |3222 | 16k| 1 | 14k|6226 | 1.013223e+03 | 1.033000e+03 | 1.95%| unknown
1350.07/1353.82 c 1354s| 21400 | 1605 | 7569k| 334.6 | 520M | 46 |1517 |4859 |3224 | 16k| 1 | 14k|6242 | 1.013235e+03 | 1.033000e+03 | 1.95%| unknown
1357.65/1361.42 c 1361s| 21500 | 1601 | 7596k| 334.3 | 517M | 46 |1517 |4888 |3232 | 17k| 1 | 14k|6255 | 1.013235e+03 | 1.033000e+03 | 1.95%| unknown
1360.94/1364.79 c 1365s| 21600 | 1607 | 7625k| 334.1 | 520M | 46 |1517 |4881 |3232 | 17k| 0 | 14k|6257 | 1.013249e+03 | 1.033000e+03 | 1.95%| unknown
1366.63/1370.46 c 1370s| 21700 | 1611 | 7658k| 334.1 | 516M | 46 |1517 |4884 |3247 | 17k| 1 | 14k|6263 | 1.013253e+03 | 1.033000e+03 | 1.95%| unknown
1370.42/1374.24 c 1374s| 21800 | 1621 | 7695k| 334.2 | 515M | 46 |1517 |4862 |3239 | 17k| 0 | 14k|6265 | 1.013265e+03 | 1.033000e+03 | 1.95%| unknown
1378.90/1382.70 c 1383s| 21900 | 1637 | 7750k| 335.2 | 515M | 46 |1517 |4793 |3239 | 17k| 1 | 14k|6269 | 1.013280e+03 | 1.033000e+03 | 1.95%| unknown
1388.47/1392.36 c 1392s| 22000 | 1641 | 7791k| 335.5 | 519M | 46 |1517 |4829 |3245 | 17k| 0 | 15k|6283 | 1.013311e+03 | 1.033000e+03 | 1.94%| unknown
1391.86/1395.79 c 1396s| 22100 | 1647 | 7821k| 335.3 | 519M | 46 |1517 |4858 |3244 | 17k| 0 | 15k|6303 | 1.013314e+03 | 1.033000e+03 | 1.94%| unknown
1400.04/1403.99 c 1404s| 22200 | 1661 | 7867k| 335.9 | 519M | 46 |1517 |4813 |3248 | 17k| 0 | 15k|6325 | 1.013358e+03 | 1.033000e+03 | 1.94%| unknown
1406.33/1410.20 c 1410s| 22300 | 1669 | 7902k| 335.9 | 519M | 46 |1517 |4787 |3248 | 17k| 0 | 15k|6333 | 1.013391e+03 | 1.033000e+03 | 1.94%| unknown
1410.32/1414.20 c 1414s| 22400 | 1677 | 7934k| 335.9 | 519M | 46 |1517 |4702 |3252 | 17k| 1 | 15k|6344 | 1.013394e+03 | 1.033000e+03 | 1.93%| unknown
1418.10/1422.04 c 1422s| 22500 | 1681 | 7972k| 336.0 | 521M | 46 |1517 |4706 |3262 | 17k| 0 | 15k|6364 | 1.013418e+03 | 1.033000e+03 | 1.93%| unknown
1430.66/1434.63 c 1435s| 22600 | 1685 | 8010k| 336.2 | 523M | 46 |1517 |4691 |3260 | 17k| 0 | 15k|6402 | 1.013423e+03 | 1.033000e+03 | 1.93%| unknown
1439.54/1443.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1439.54/1443.54 c 1444s| 22700 | 1691 | 8042k| 336.2 | 529M | 48 |1517 |4646 |3260 | 18k| 1 | 15k|6439 | 1.013442e+03 | 1.033000e+03 | 1.93%| unknown
1447.42/1451.49 c 1451s| 22800 | 1695 | 8080k| 336.4 | 538M | 48 |1517 |4627 |3271 | 18k| 0 | 15k|6440 | 1.013446e+03 | 1.033000e+03 | 1.93%| unknown
1451.51/1455.56 c 1456s| 22900 | 1709 | 8115k| 336.4 | 538M | 48 |1517 |4596 |3248 | 18k| 1 | 15k|6447 | 1.013460e+03 | 1.033000e+03 | 1.93%| unknown
1451.91/1455.96 o 1032
1451.91/1455.96 c *1456s| 22913 | 1680 | 8119k| 336.4 |strongbr| 48 |1517 |4595 |3245 | 18k| 1 | 15k|6447 | 1.013460e+03 | 1.032000e+03 | 1.83%| unknown
1452.02/1456.07 o 1031
1452.02/1456.07 c *1456s| 22917 | 1655 | 8119k| 336.4 | LP | 48 |1517 |4595 |3245 | 18k| 1 | 15k|6448 | 1.013460e+03 | 1.031000e+03 | 1.73%| unknown
1456.70/1460.74 c 1461s| 23000 | 1656 | 8144k| 336.2 | 538M | 48 |1517 |4556 |3249 | 18k| 0 | 15k|6459 | 1.013464e+03 | 1.031000e+03 | 1.73%| unknown
1463.18/1467.27 c 1467s| 23100 | 1662 | 8183k| 336.4 | 538M | 48 |1517 |4479 |3266 | 18k| 2 | 15k|6467 | 1.013468e+03 | 1.031000e+03 | 1.73%| unknown
1467.37/1471.49 c 1471s| 23200 | 1668 | 8213k| 336.3 | 538M | 48 |1517 |4456 |3254 | 18k| 1 | 15k|6472 | 1.013475e+03 | 1.031000e+03 | 1.73%| unknown
1483.43/1487.53 c 1488s| 23300 | 1680 | 8286k| 337.9 | 538M | 48 |1517 |4392 |3252 | 18k| 0 | 15k|6481 | 1.013487e+03 | 1.031000e+03 | 1.73%| unknown
1489.92/1494.04 c 1494s| 23400 | 1688 | 8325k| 338.1 | 536M | 48 |1517 |4405 |3258 | 19k| 1 | 15k|6505 | 1.013500e+03 | 1.031000e+03 | 1.73%| unknown
1495.91/1500.02 c 1500s| 23500 | 1690 | 8359k| 338.1 | 535M | 48 |1517 |4411 |3258 | 19k| 1 | 15k|6531 | 1.013504e+03 | 1.031000e+03 | 1.73%| unknown
1505.98/1510.19 c 1510s| 23600 | 1696 | 8400k| 338.4 | 536M | 48 |1517 |4427 |3264 | 19k| 0 | 15k|6574 | 1.013530e+03 | 1.031000e+03 | 1.72%| unknown
1515.65/1519.81 c 1520s| 23700 | 1712 | 8445k| 338.8 | 535M | 48 |1517 |4441 |3271 | 19k| 1 | 15k|6623 | 1.013578e+03 | 1.031000e+03 | 1.72%| unknown
1522.73/1526.99 c 1527s| 23800 | 1716 | 8479k| 338.9 | 535M | 48 |1517 |4429 |3264 | 19k| 1 | 15k|6655 | 1.013584e+03 | 1.031000e+03 | 1.72%| unknown
1531.61/1535.80 c 1536s| 23900 | 1724 | 8528k| 339.5 | 534M | 48 |1517 |4367 |3274 | 19k| 0 | 16k|6666 | 1.013594e+03 | 1.031000e+03 | 1.72%| unknown
1539.19/1543.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1539.19/1543.46 c 1543s| 24000 | 1728 | 8562k| 339.5 | 534M | 48 |1517 |4283 |3270 | 19k| 0 | 16k|6679 | 1.013604e+03 | 1.031000e+03 | 1.72%| unknown
1546.47/1550.70 c 1551s| 24100 | 1736 | 8607k| 339.9 | 534M | 48 |1517 |4278 |3264 | 20k| 2 | 16k|6689 | 1.013623e+03 | 1.031000e+03 | 1.71%| unknown
1555.95/1560.25 c 1560s| 24200 | 1742 | 8661k| 340.7 | 535M | 48 |1517 |4322 |3272 | 20k| 0 | 16k|6717 | 1.013624e+03 | 1.031000e+03 | 1.71%| unknown
1564.63/1568.95 c 1569s| 24300 | 1748 | 8700k| 340.9 | 540M | 50 |1517 |4366 |3281 | 20k| 1 | 16k|6752 | 1.013626e+03 | 1.031000e+03 | 1.71%| unknown
1568.32/1572.67 c 1573s| 24400 | 1744 | 8727k| 340.6 | 541M | 50 |1517 |4389 |3266 | 20k| 0 | 16k|6767 | 1.013626e+03 | 1.031000e+03 | 1.71%| unknown
1579.29/1583.69 c 1584s| 24500 | 1752 | 8778k| 341.3 | 543M | 50 |1517 |4452 |3263 | 20k| 0 | 16k|6819 | 1.013641e+03 | 1.031000e+03 | 1.71%| unknown
1583.48/1587.83 c 1588s| 24600 | 1752 | 8809k| 341.2 | 543M | 50 |1517 |4528 |3218 | 20k| 2 | 16k|6855 | 1.013641e+03 | 1.031000e+03 | 1.71%| unknown
1588.17/1592.56 c 1593s| 24700 | 1748 | 8845k| 341.2 | 543M | 50 |1517 |4533 |3200 | 20k| 1 | 16k|6892 | 1.013641e+03 | 1.031000e+03 | 1.71%| unknown
1592.66/1597.02 c 1597s| 24800 | 1746 | 8883k| 341.4 | 542M | 50 |1517 |4516 |3256 | 21k| 0 | 16k|6905 | 1.013641e+03 | 1.031000e+03 | 1.71%| unknown
1597.04/1601.45 c 1601s| 24900 | 1746 | 8919k| 341.4 | 537M | 50 |1517 |4585 |3258 | 21k| 1 | 16k|6929 | 1.013641e+03 | 1.031000e+03 | 1.71%| unknown
1608.31/1612.71 c 1613s| 25000 | 1756 | 8973k| 342.2 | 537M | 50 |1517 |4536 |3267 | 21k| 0 | 17k|6996 | 1.013658e+03 | 1.031000e+03 | 1.71%| unknown
1612.80/1617.28 c 1617s| 25100 | 1758 | 9008k| 342.2 | 534M | 50 |1517 |4513 |3263 | 21k| 0 | 17k|7015 | 1.013659e+03 | 1.031000e+03 | 1.71%| unknown
1619.39/1623.80 c 1624s| 25200 | 1766 | 9054k| 342.7 | 532M | 50 |1517 |4470 |3268 | 21k| 1 | 17k|7024 | 1.013668e+03 | 1.031000e+03 | 1.71%| unknown
1624.37/1628.84 c 1629s| 25300 | 1770 | 9094k| 342.9 | 534M | 50 |1517 |4493 |3262 | 21k| 0 | 17k|7050 | 1.013677e+03 | 1.031000e+03 | 1.71%| unknown
1631.16/1635.63 c 1636s| 25400 | 1774 | 9139k| 343.3 | 534M | 50 |1517 |4495 |3264 | 21k| 1 | 17k|7070 | 1.013688e+03 | 1.031000e+03 | 1.71%| unknown
1640.43/1644.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1640.43/1644.92 c 1645s| 25500 | 1776 | 9187k| 343.8 | 536M | 50 |1517 |4567 |3270 | 21k| 1 | 17k|7128 | 1.013694e+03 | 1.031000e+03 | 1.71%| unknown
1647.71/1652.29 c 1652s| 25600 | 1784 | 9230k| 344.1 | 535M | 50 |1517 |4543 |3272 | 22k| 1 | 17k|7144 | 1.013735e+03 | 1.031000e+03 | 1.70%| unknown
1653.30/1657.84 c 1658s| 25700 | 1786 | 9269k| 344.3 | 535M | 50 |1517 |4554 |3280 | 22k| 0 | 17k|7161 | 1.013735e+03 | 1.031000e+03 | 1.70%| unknown
1662.18/1666.70 c 1667s| 25800 | 1790 | 9314k| 344.7 | 537M | 50 |1517 |4596 |3254 | 22k| 1 | 17k|7203 | 1.013736e+03 | 1.031000e+03 | 1.70%| unknown
1668.96/1673.53 c 1674s| 25900 | 1802 | 9364k| 345.3 | 537M | 50 |1517 |4581 |3274 | 22k| 1 | 17k|7232 | 1.013752e+03 | 1.031000e+03 | 1.70%| unknown
1675.15/1679.70 c 1680s| 26000 | 1802 | 9393k| 345.1 | 537M | 50 |1517 |4690 |3273 | 22k| 1 | 17k|7276 | 1.013752e+03 | 1.031000e+03 | 1.70%| unknown
1682.53/1687.11 c 1687s| 26100 | 1802 | 9428k| 345.1 | 537M | 50 |1517 |4715 |3274 | 22k| 0 | 18k|7316 | 1.013756e+03 | 1.031000e+03 | 1.70%| 16.26%
1692.60/1697.25 c 1697s| 26200 | 1814 | 9475k| 345.5 | 539M | 50 |1517 |4670 |3289 | 22k| 0 | 18k|7336 | 1.013769e+03 | 1.031000e+03 | 1.70%| 16.27%
1706.16/1710.89 c 1711s| 26300 | 1826 | 9526k| 346.2 | 549M | 50 |1517 |4662 |3275 | 22k| 1 | 18k|7406 | 1.013780e+03 | 1.031000e+03 | 1.70%| 16.29%
1709.95/1714.64 c 1715s| 26400 | 1830 | 9560k| 346.1 | 549M | 50 |1517 |4641 |3289 | 22k| 2 | 18k|7409 | 1.013782e+03 | 1.031000e+03 | 1.70%| 16.29%
1719.34/1724.03 c 1724s| 26500 | 1838 | 9612k| 346.8 | 550M | 50 |1517 |4493 |3279 | 23k| 1 | 18k|7410 | 1.013793e+03 | 1.031000e+03 | 1.70%| 16.35%
1725.02/1729.76 c 1730s| 26600 | 1848 | 9651k| 346.9 | 548M | 50 |1517 |4354 |3279 | 23k| 1 | 18k|7412 | 1.013816e+03 | 1.031000e+03 | 1.69%| 16.40%
1730.42/1735.18 c 1735s| 26700 | 1854 | 9689k| 347.0 | 548M | 50 |1517 |4270 |3279 | 23k| 0 | 18k|7422 | 1.013825e+03 | 1.031000e+03 | 1.69%| 16.40%
1737.79/1742.59 c 1743s| 26800 | 1872 | 9743k| 347.7 | 549M | 50 |1517 |4040 |3285 | 23k| 1 | 18k|7424 | 1.013865e+03 | 1.031000e+03 | 1.69%| 16.47%
1742.58/1747.34 c 1747s| 26900 | 1886 | 9784k| 347.9 | 549M | 50 |1517 |3814 |3285 | 23k| 1 | 18k|7430 | 1.013871e+03 | 1.031000e+03 | 1.69%| 16.49%
1745.17/1749.98 o 1030
1745.17/1749.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1745.17/1749.98 c *1750s| 26956 | 1834 | 9802k| 347.9 | LP | 50 |1517 |3823 |3289 | 23k| 1 | 18k|7432 | 1.013871e+03 | 1.030000e+03 | 1.59%| 16.69%
1746.57/1751.31 c 1751s| 27000 | 1834 | 9814k| 347.8 | 549M | 50 |1517 |3823 |3285 | 23k| 1 | 18k|7433 | 1.013871e+03 | 1.030000e+03 | 1.59%| 16.71%
1750.26/1755.09 c 1755s| 27100 | 1834 | 9845k| 347.6 | 549M | 50 |1517 |3833 |3277 | 23k| 0 | 18k|7442 | 1.013871e+03 | 1.030000e+03 | 1.59%| 16.73%
1756.14/1760.97 c 1761s| 27200 | 1848 | 9887k| 347.9 | 549M | 50 |1517 |3786 |3282 | 23k| 1 | 18k|7454 | 1.013880e+03 | 1.030000e+03 | 1.59%| 16.74%
1761.63/1766.48 c 1766s| 27300 | 1858 | 9928k| 348.1 | 549M | 50 |1517 |3729 |3283 | 23k| 2 | 18k|7456 | 1.013891e+03 | 1.030000e+03 | 1.59%| 16.75%
1772.00/1776.82 c 1777s| 27400 | 1870 | 9991k| 349.1 | 554M | 50 |1517 |3699 |3290 | 24k| 1 | 18k|7461 | 1.013916e+03 | 1.030000e+03 | 1.59%| 16.83%
1778.09/1782.98 c 1783s| 27500 | 1880 | 10032k| 349.3 | 561M | 50 |1517 |3707 |3283 | 24k| 0 | 18k|7476 | 1.013923e+03 | 1.030000e+03 | 1.59%| 16.84%
1788.76/1793.69 c 1794s| 27600 | 1886 | 10074k| 349.6 | 588M | 50 |1517 |3709 |3298 | 24k| 1 | 18k|7484 | 1.013928e+03 | 1.030000e+03 | 1.59%| 16.84%
1795.54/1800.44 c 1800s| 27700 | 1888 | 10110k| 349.6 | 595M | 50 |1517 |3737 |3305 | 24k| 0 | 18k|7509 | 1.013947e+03 | 1.030000e+03 | 1.58%| 16.84%
1800.43/1805.32 c 1805s| 27800 | 1896 | 10152k| 349.8 | 595M | 50 |1517 |3739 |3286 | 24k| 0 | 18k|7512 | 1.013951e+03 | 1.030000e+03 | 1.58%| 16.86%
1805.51/1810.41 c 1810s| 27900 | 1904 | 10185k| 349.7 | 595M | 50 |1517 |3726 |3290 | 24k| 2 | 18k|7513 | 1.013967e+03 | 1.030000e+03 | 1.58%| 16.87%
1809.40/1814.31 c 1814s| 28000 | 1904 | 10215k| 349.6 | 594M | 50 |1517 |3721 |3291 | 24k| 1 | 18k|7518 | 1.013967e+03 | 1.030000e+03 | 1.58%| 16.88%
1817.19/1822.11 c 1822s| 28100 | 1916 | 10263k| 350.0 | 593M | 50 |1517 |3708 |3290 | 24k| 1 | 18k|7523 | 1.013980e+03 | 1.030000e+03 | 1.58%| 16.90%
1822.77/1827.77 c 1828s| 28200 | 1922 | 10304k| 350.2 | 593M | 50 |1517 |3700 |3296 | 24k| 1 | 18k|7524 | 1.013989e+03 | 1.030000e+03 | 1.58%| 16.91%
1829.65/1834.61 c 1835s| 28300 | 1938 | 10351k| 350.7 | 593M | 50 |1517 |3669 |3304 | 24k| 2 | 18k|7530 | 1.014006e+03 | 1.030000e+03 | 1.58%| 16.92%
1836.34/1841.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1836.34/1841.33 c 1841s| 28400 | 1940 | 10396k| 351.0 | 593M | 50 |1517 |3671 |3299 | 25k| 1 | 18k|7540 | 1.014009e+03 | 1.030000e+03 | 1.58%| 16.95%
1845.82/1850.84 c 1851s| 28500 | 1952 | 10450k| 351.6 | 594M | 50 |1517 |3658 |3300 | 25k| 2 | 18k|7547 | 1.014013e+03 | 1.030000e+03 | 1.58%| 16.97%
1856.29/1861.34 c 1861s| 28600 | 1958 | 10497k| 352.0 | 594M | 50 |1517 |3676 |3320 | 25k| 4 | 18k|7563 | 1.014037e+03 | 1.030000e+03 | 1.57%| 16.98%
1866.67/1871.70 c 1872s| 28700 | 1960 | 10541k| 352.3 | 592M | 50 |1517 |3682 |3311 | 25k| 2 | 18k|7596 | 1.014046e+03 | 1.030000e+03 | 1.57%| 17.01%
1875.05/1880.14 c 1880s| 28800 | 1958 | 10573k| 352.2 | 596M | 50 |1517 |3682 |3313 | 25k| 1 | 18k|7629 | 1.014046e+03 | 1.030000e+03 | 1.57%| 17.01%
1891.40/1896.54 c 1897s| 28900 | 1960 | 10615k| 352.4 | 619M | 50 |1517 |3727 |3316 | 25k| 3 | 18k|7751 | 1.014053e+03 | 1.030000e+03 | 1.57%| 17.01%
1900.17/1905.31 c 1905s| 29000 | 1968 | 10653k| 352.5 | 626M | 50 |1517 |3740 |3299 | 25k| 1 | 18k|7809 | 1.014066e+03 | 1.030000e+03 | 1.57%| 17.03%
1915.94/1921.12 c 1921s| 29100 | 1976 | 10714k| 353.4 | 625M | 50 |1517 |3818 |3304 | 26k| 1 | 19k|7901 | 1.014085e+03 | 1.030000e+03 | 1.57%| 17.07%
1923.32/1928.54 c 1929s| 29200 | 1978 | 10751k| 353.4 | 623M | 50 |1517 |3797 |3320 | 26k| 0 | 19k|7901 | 1.014090e+03 | 1.030000e+03 | 1.57%| 17.15%
1931.30/1936.57 c 1937s| 29300 | 1982 | 10791k| 353.6 | 623M | 50 |1517 |3788 |3308 | 26k| 1 | 19k|7901 | 1.014128e+03 | 1.030000e+03 | 1.57%| 17.18%
1938.28/1943.56 c 1944s| 29400 | 1982 | 10827k| 353.6 | 623M | 50 |1517 |3783 |3315 | 26k| 0 | 19k|7903 | 1.014142e+03 | 1.030000e+03 | 1.56%| 17.19%
1944.36/1949.63 c 1950s| 29500 | 1984 | 10864k| 353.7 | 617M | 50 |1517 |3776 |3313 | 26k| 1 | 19k|7904 | 1.014152e+03 | 1.030000e+03 | 1.56%| 17.20%
1950.35/1955.62 c 1956s| 29600 | 1992 | 10905k| 353.8 | 619M | 50 |1517 |3763 |3309 | 26k| 0 | 19k|7904 | 1.014165e+03 | 1.030000e+03 | 1.56%| 17.20%
1956.94/1962.26 c 1962s| 29700 | 1992 | 10939k| 353.8 | 629M | 50 |1517 |3767 |3319 | 26k| 1 | 19k|7908 | 1.014165e+03 | 1.030000e+03 | 1.56%| 17.20%
1962.62/1967.93 c 1968s| 29800 | 1992 | 10972k| 353.7 | 630M | 50 |1517 |3778 |3319 | 26k| 0 | 19k|7911 | 1.014165e+03 | 1.030000e+03 | 1.56%| 17.20%
1970.60/1975.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1970.60/1975.95 c 1976s| 29900 | 2000 | 11019k| 354.1 | 630M | 50 |1517 |3741 |3309 | 26k| 1 | 19k|7911 | 1.014168e+03 | 1.030000e+03 | 1.56%| 17.22%
1977.29/1982.69 c 1983s| 30000 | 2000 | 11052k| 354.0 | 630M | 50 |1517 |3766 |3305 | 26k| 1 | 19k|7940 | 1.014168e+03 | 1.030000e+03 | 1.56%| 17.22%
1985.07/1990.44 c 1990s| 30100 | 2004 | 11089k| 354.1 | 630M | 50 |1517 |3756 |3317 | 26k| 0 | 19k|7955 | 1.014174e+03 | 1.030000e+03 | 1.56%| 17.23%
1990.05/1995.46 c 1995s| 30200 | 2016 | 11134k| 354.4 | 630M | 50 |1517 |3738 |3305 | 27k| 1 | 19k|7965 | 1.014183e+03 | 1.030000e+03 | 1.56%| 17.24%
1997.33/2002.71 c 2003s| 30300 | 2024 | 11174k| 354.5 | 630M | 50 |1517 |3794 |3310 | 27k| 2 | 19k|8017 | 1.014183e+03 | 1.030000e+03 | 1.56%| 17.25%
2006.62/2012.03 c 2012s| 30400 | 2024 | 11212k| 354.6 | 630M | 50 |1517 |3790 |3308 | 27k| 1 | 19k|8040 | 1.014209e+03 | 1.030000e+03 | 1.56%| 17.26%
2013.79/2019.26 c 2019s| 30500 | 2038 | 11265k| 355.2 | 630M | 50 |1517 |3760 |3318 | 27k| 1 | 19k|8041 | 1.014217e+03 | 1.030000e+03 | 1.56%| 17.27%
2018.78/2024.28 c 2024s| 30600 | 2050 | 11306k| 355.3 | 630M | 50 |1517 |3734 |3320 | 27k| 1 | 19k|8041 | 1.014222e+03 | 1.030000e+03 | 1.56%| 17.29%
2021.27/2026.75 c 2027s| 30700 | 2050 | 11326k| 354.8 | 630M | 50 |1517 |3738 |3318 | 27k| 0 | 19k|8042 | 1.014222e+03 | 1.030000e+03 | 1.56%| 17.29%
2029.95/2035.40 c 2035s| 30800 | 2050 | 11366k| 355.0 | 630M | 52 |1517 |3715 |3318 | 27k| 0 | 19k|8042 | 1.014240e+03 | 1.030000e+03 | 1.55%| 17.45%
2035.34/2040.81 c 2041s| 30900 | 2052 | 11399k| 354.9 | 630M | 52 |1517 |3712 |3317 | 27k| 0 | 19k|8048 | 1.014240e+03 | 1.030000e+03 | 1.55%| 17.50%
2041.22/2046.72 c 2047s| 31000 | 2052 | 11429k| 354.7 | 629M | 52 |1517 |3689 |3319 | 27k| 1 | 19k|8050 | 1.014249e+03 | 1.030000e+03 | 1.55%| 17.54%
2048.21/2053.73 c 2054s| 31100 | 2050 | 11465k| 354.8 | 629M | 52 |1517 |3689 |3323 | 27k| 1 | 19k|8050 | 1.014249e+03 | 1.030000e+03 | 1.55%| 17.54%
2055.49/2061.07 c 2061s| 31200 | 2054 | 11505k| 354.9 | 629M | 52 |1517 |3681 |3321 | 27k| 0 | 19k|8050 | 1.014255e+03 | 1.030000e+03 | 1.55%| 17.55%
2063.77/2069.31 c 2069s| 31300 | 2060 | 11555k| 355.3 | 629M | 52 |1517 |3679 |3322 | 28k| 0 | 19k|8056 | 1.014257e+03 | 1.030000e+03 | 1.55%| 17.56%
2068.65/2074.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2068.65/2074.21 c 2074s| 31400 | 2060 | 11588k| 355.2 | 630M | 52 |1517 |3650 |3260 | 28k| 1 | 19k|8059 | 1.014257e+03 | 1.030000e+03 | 1.55%| 17.56%
2073.04/2078.62 c 2079s| 31500 | 2064 | 11628k| 355.4 | 629M | 52 |1517 |3635 |3282 | 28k| 0 | 19k|8059 | 1.014264e+03 | 1.030000e+03 | 1.55%| 17.57%
2077.03/2082.61 c 2083s| 31600 | 2072 | 11664k| 355.4 | 624M | 52 |1517 |3622 |3284 | 28k| 0 | 19k|8060 | 1.014272e+03 | 1.030000e+03 | 1.55%| 17.58%
2082.61/2088.24 c 2088s| 31700 | 2084 | 11706k| 355.6 | 620M | 52 |1517 |3607 |3284 | 28k| 1 | 19k|8070 | 1.014311e+03 | 1.030000e+03 | 1.55%| 17.61%
2091.89/2097.54 c 2098s| 31800 | 2090 | 11743k| 355.6 | 620M | 52 |1517 |3581 |3323 | 28k| 1 | 19k|8106 | 1.014312e+03 | 1.030000e+03 | 1.55%| 17.66%
2095.98/2101.61 c 2102s| 31900 | 2092 | 11773k| 355.5 | 621M | 52 |1517 |3562 |3320 | 28k| 1 | 19k|8109 | 1.014328e+03 | 1.030000e+03 | 1.55%| 17.66%
2101.27/2106.94 c 2107s| 32000 | 2098 | 11810k| 355.5 | 621M | 52 |1517 |3548 |3316 | 28k| 0 | 19k|8109 | 1.014334e+03 | 1.030000e+03 | 1.54%| 17.67%
2108.85/2114.52 c 2115s| 32100 | 2102 | 11854k| 355.8 | 622M | 52 |1517 |3534 |3337 | 28k| 0 | 19k|8109 | 1.014337e+03 | 1.030000e+03 | 1.54%| 17.67%
2112.54/2118.22 c 2118s| 32200 | 2112 | 11889k| 355.8 | 622M | 53 |1517 |3534 |3339 | 29k| 1 | 19k|8112 | 1.014363e+03 | 1.030000e+03 | 1.54%| 17.69%
2118.82/2124.59 c 2125s| 32300 | 2124 | 11933k| 356.0 | 622M | 55 |1517 |3525 |3332 | 29k| 1 | 19k|8113 | 1.014369e+03 | 1.030000e+03 | 1.54%| 17.70%
2123.32/2129.07 c 2129s| 32400 | 2142 | 11974k| 356.2 | 622M | 55 |1517 |3524 |3335 | 29k| 1 | 19k|8114 | 1.014378e+03 | 1.030000e+03 | 1.54%| 17.72%
2142.16/2147.94 c 2148s| 32500 | 2140 | 12000k| 355.9 | 617M | 55 |1517 |3544 |3346 | 29k| 0 | 19k|8141 | 1.014378e+03 | 1.030000e+03 | 1.54%| 17.72%
2146.75/2152.57 c 2153s| 32600 | 2140 | 12037k| 355.9 | 609M | 55 |1517 |3551 |3290 | 29k| 1 | 19k|8146 | 1.014378e+03 | 1.030000e+03 | 1.54%| 17.72%
2150.54/2156.34 c 2156s| 32700 | 2142 | 12071k| 355.9 | 601M | 55 |1517 |3551 |3287 | 29k| 0 | 19k|8146 | 1.014378e+03 | 1.030000e+03 | 1.54%| 17.72%
2154.63/2160.42 c 2160s| 32800 | 2142 | 12104k| 355.8 | 602M | 55 |1517 |3543 |3288 | 29k| 0 | 19k|8146 | 1.014384e+03 | 1.030000e+03 | 1.54%| 17.72%
2161.11/2166.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2161.11/2166.95 c 2167s| 32900 | 2158 | 12154k| 356.2 | 602M | 55 |1517 |3512 |3290 | 29k| 2 | 19k|8146 | 1.014439e+03 | 1.030000e+03 | 1.53%| 17.73%
2164.90/2170.75 c 2171s| 33000 | 2158 | 12187k| 356.1 | 598M | 55 |1517 |3512 |3293 | 29k| 0 | 19k|8146 | 1.014439e+03 | 1.030000e+03 | 1.53%| 17.73%
2170.88/2176.73 c 2177s| 33100 | 2176 | 12235k| 356.5 | 598M | 55 |1517 |3504 |3288 | 29k| 1 | 19k|8146 | 1.014483e+03 | 1.030000e+03 | 1.53%| 17.76%
2177.77/2183.60 c 2184s| 33200 | 2184 | 12283k| 356.9 | 598M | 55 |1517 |3476 |3287 | 30k| 1 | 19k|8146 | 1.014527e+03 | 1.030000e+03 | 1.53%| 17.77%
2184.45/2190.35 c 2190s| 33300 | 2186 | 12326k| 357.1 | 598M | 55 |1517 |3474 |3290 | 30k| 0 | 19k|8147 | 1.014527e+03 | 1.030000e+03 | 1.53%| 17.79%
2190.63/2196.55 c 2197s| 33400 | 2190 | 12361k| 357.1 | 601M | 55 |1517 |3477 |3302 | 30k| 0 | 19k|8148 | 1.014533e+03 | 1.030000e+03 | 1.52%| 17.79%
2202.70/2208.64 c 2209s| 33500 | 2198 | 12419k| 357.7 | 611M | 55 |1517 |3458 |3310 | 30k| 1 | 19k|8152 | 1.014542e+03 | 1.030000e+03 | 1.52%| 17.83%
2212.48/2218.40 c 2218s| 33600 | 2202 | 12473k| 358.2 | 611M | 55 |1517 |3591 |3313 | 30k| 2 | 19k|8193 | 1.014547e+03 | 1.030000e+03 | 1.52%| 17.86%
2220.16/2226.16 c 2226s| 33700 | 2222 | 12538k| 359.1 | 611M | 55 |1517 |3640 |3323 | 30k| 1 | 19k|8216 | 1.014568e+03 | 1.030000e+03 | 1.52%| 17.88%
2229.53/2235.55 c 2236s| 33800 | 2240 | 12602k| 359.9 | 610M | 55 |1517 |3650 |3269 | 31k| 0 | 19k|8226 | 1.014588e+03 | 1.030000e+03 | 1.52%| 17.90%
2237.61/2243.65 c 2244s| 33900 | 2248 | 12657k| 360.4 | 606M | 55 |1517 |3747 |3297 | 31k| 2 | 20k|8255 | 1.014598e+03 | 1.030000e+03 | 1.52%| 17.92%
2243.40/2249.43 c 2249s| 34000 | 2252 | 12706k| 360.8 | 598M | 55 |1517 |3884 |3300 | 31k| 0 | 20k|8291 | 1.014600e+03 | 1.030000e+03 | 1.52%| 17.92%
2250.78/2256.81 c 2257s| 34100 | 2254 | 12751k| 361.0 | 598M | 55 |1517 |4024 |3294 | 31k| 2 | 20k|8337 | 1.014600e+03 | 1.030000e+03 | 1.52%| 17.92%
2255.37/2261.42 c 2261s| 34200 | 2250 | 12792k| 361.2 | 598M | 55 |1517 |4093 |3299 | 31k| 0 | 20k|8364 | 1.014600e+03 | 1.030000e+03 | 1.52%| 17.92%
2260.96/2267.04 c 2267s| 34300 | 2258 | 12843k| 361.6 | 598M | 55 |1517 |4180 |3304 | 31k| 2 | 20k|8380 | 1.014600e+03 | 1.030000e+03 | 1.52%| 17.93%
2274.03/2280.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2274.03/2280.19 c 2280s| 34400 | 2266 | 12910k| 362.5 | 599M | 55 |1517 |4307 |3309 | 32k| 0 | 20k|8434 | 1.014631e+03 | 1.030000e+03 | 1.51%| 17.98%
2287.29/2293.48 c 2293s| 34500 | 2264 | 12961k| 362.9 | 599M | 55 |1517 |4546 |3302 | 32k| 2 | 21k|8549 | 1.014631e+03 | 1.030000e+03 | 1.51%| 17.98%
2298.76/2304.93 c 2305s| 34600 | 2268 | 13003k| 363.0 | 599M | 55 |1517 |4614 |3290 | 32k| 1 | 21k|8648 | 1.014631e+03 | 1.030000e+03 | 1.51%| 17.98%
2302.55/2308.71 c 2309s| 34700 | 2270 | 13038k| 363.0 | 599M | 55 |1517 |4634 |3294 | 32k| 1 | 21k|8660 | 1.014634e+03 | 1.030000e+03 | 1.51%| 17.99%
2313.32/2319.50 c 2320s| 34800 | 2286 | 13102k| 363.8 | 595M | 55 |1517 |4619 |3299 | 32k| 0 | 21k|8705 | 1.014673e+03 | 1.030000e+03 | 1.51%| 18.02%
2318.82/2325.06 c 2325s| 34900 | 2292 | 13144k| 363.9 | 595M | 55 |1517 |4588 |3302 | 33k| 1 | 21k|8711 | 1.014677e+03 | 1.030000e+03 | 1.51%| 18.03%
2333.78/2340.07 c 2340s| 35000 | 2296 | 13201k| 364.5 | 592M | 55 |1517 |4579 |3305 | 33k| 1 | 21k|8757 | 1.014683e+03 | 1.030000e+03 | 1.51%| 18.10%
2343.75/2350.06 c 2350s| 35100 | 2304 | 13270k| 365.4 | 594M | 55 |1517 |4525 |3301 | 33k| 1 | 21k|8779 | 1.014703e+03 | 1.030000e+03 | 1.51%| 18.11%
2348.64/2354.91 c 2355s| 35200 | 2308 | 13312k| 365.5 | 595M | 55 |1517 |4393 |3301 | 33k| 0 | 21k|8784 | 1.014708e+03 | 1.030000e+03 | 1.51%| 18.12%
2362.50/2368.86 c 2369s| 35300 | 2324 | 13375k| 366.3 | 595M | 55 |1517 |4279 |3305 | 33k| 1 | 21k|8838 | 1.014741e+03 | 1.030000e+03 | 1.50%| 18.15%
2367.19/2373.54 c 2374s| 35400 | 2328 | 13416k| 366.4 | 595M | 55 |1517 |4188 |3309 | 33k| 0 | 21k|8838 | 1.014750e+03 | 1.030000e+03 | 1.50%| 18.16%
2374.27/2380.62 c 2381s| 35500 | 2340 | 13463k| 366.7 | 596M | 55 |1517 |4019 |3328 | 34k| 4 | 21k|8853 | 1.014771e+03 | 1.030000e+03 | 1.50%| 18.17%
2381.66/2388.06 c 2388s| 35600 | 2340 | 13506k| 366.8 | 596M | 55 |1517 |3975 |3307 | 34k| 0 | 21k|8877 | 1.014771e+03 | 1.030000e+03 | 1.50%| 18.21%
2386.75/2393.19 c 2393s| 35700 | 2342 | 13548k| 367.0 | 596M | 55 |1517 |3990 |3307 | 34k| 0 | 21k|8889 | 1.014771e+03 | 1.030000e+03 | 1.50%| 18.21%
2398.91/2405.32 c 2405s| 35800 | 2360 | 13615k| 367.8 | 596M | 55 |1517 |3860 |3327 | 34k| 2 | 21k|8913 | 1.014787e+03 | 1.030000e+03 | 1.50%| 18.23%
2409.98/2416.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2409.98/2416.42 c 2416s| 35900 | 2370 | 13668k| 368.2 | 596M | 55 |1517 |3767 |3323 | 34k| 0 | 21k|8932 | 1.014793e+03 | 1.030000e+03 | 1.50%| 18.26%
2415.77/2422.22 c 2422s| 36000 | 2372 | 13707k| 368.3 | 596M | 55 |1517 |3756 |3309 | 34k| 1 | 21k|8943 | 1.014799e+03 | 1.030000e+03 | 1.50%| 18.27%
2420.76/2427.25 c 2427s| 36100 | 2376 | 13748k| 368.4 | 597M | 55 |1517 |3733 |3317 | 34k| 1 | 21k|8944 | 1.014808e+03 | 1.030000e+03 | 1.50%| 18.28%
2432.93/2439.47 c 2439s| 36200 | 2376 | 13801k| 368.8 | 602M | 55 |1517 |3781 |3329 | 34k| 0 | 22k|8972 | 1.014809e+03 | 1.030000e+03 | 1.50%| 18.31%
2440.21/2446.79 c 2447s| 36300 | 2378 | 13847k| 369.1 | 603M | 55 |1517 |3764 |3321 | 35k| 1 | 22k|8977 | 1.014820e+03 | 1.030000e+03 | 1.50%| 18.32%
2447.09/2453.65 c 2454s| 36400 | 2386 | 13894k| 369.4 | 603M | 55 |1517 |3761 |3327 | 35k| 1 | 22k|8991 | 1.014830e+03 | 1.030000e+03 | 1.49%| 18.33%
2455.17/2461.71 c 2462s| 36500 | 2388 | 13941k| 369.6 | 603M | 55 |1517 |3770 |3320 | 35k| 0 | 22k|8997 | 1.014840e+03 | 1.030000e+03 | 1.49%| 18.34%
2464.85/2471.42 c 2471s| 36600 | 2404 | 14002k| 370.3 | 609M | 55 |1517 |3765 |3317 | 35k| 0 | 22k|9004 | 1.014862e+03 | 1.030000e+03 | 1.49%| 18.36%
2478.22/2484.85 c 2485s| 36700 | 2420 | 14067k| 371.0 | 611M | 55 |1517 |3755 |3325 | 35k| 2 | 22k|9021 | 1.014888e+03 | 1.030000e+03 | 1.49%| 18.37%
2486.69/2493.31 c 2493s| 36800 | 2424 | 14108k| 371.1 | 618M | 55 |1517 |3772 |3340 | 35k| 2 | 22k|9033 | 1.014901e+03 | 1.030000e+03 | 1.49%| 18.38%
2493.98/2500.61 c 2501s| 36900 | 2424 | 14141k| 371.0 | 650M | 55 |1517 |3822 |3335 | 35k| 0 | 22k|9070 | 1.014901e+03 | 1.030000e+03 | 1.49%| 18.38%
2498.97/2505.64 c 2506s| 37000 | 2426 | 14178k| 371.0 | 654M | 55 |1517 |3817 |3335 | 36k| 0 | 22k|9076 | 1.014917e+03 | 1.030000e+03 | 1.49%| 18.39%
2505.05/2511.72 c 2512s| 37100 | 2426 | 14210k| 370.9 | 659M | 55 |1517 |3832 |3333 | 36k| 0 | 22k|9087 | 1.014917e+03 | 1.030000e+03 | 1.49%| 18.39%
2511.63/2518.31 c 2518s| 37200 | 2428 | 14251k| 371.0 | 660M | 55 |1517 |3806 |3321 | 36k| 1 | 22k|9087 | 1.014924e+03 | 1.030000e+03 | 1.49%| 18.41%
2521.41/2528.12 c 2528s| 37300 | 2434 | 14306k| 371.4 | 661M | 55 |1517 |3780 |3329 | 36k| 1 | 22k|9089 | 1.014926e+03 | 1.030000e+03 | 1.49%| 18.43%
2530.49/2537.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2530.49/2537.22 c 2537s| 37400 | 2438 | 14358k| 371.8 | 661M | 55 |1517 |3738 |3334 | 36k| 1 | 22k|9092 | 1.014936e+03 | 1.030000e+03 | 1.48%| 18.46%
2536.47/2543.20 c 2543s| 37500 | 2436 | 14403k| 372.0 | 661M | 55 |1517 |3698 |3319 | 36k| 0 | 22k|9095 | 1.014951e+03 | 1.030000e+03 | 1.48%| 18.49%
2541.46/2548.27 c 2548s| 37600 | 2442 | 14448k| 372.2 | 659M | 55 |1517 |3670 |3320 | 36k| 1 | 22k|9095 | 1.014967e+03 | 1.030000e+03 | 1.48%| 18.49%
2548.35/2555.16 c 2555s| 37700 | 2448 | 14500k| 372.6 | 655M | 55 |1517 |3593 |3228 | 37k| 0 | 22k|9095 | 1.014970e+03 | 1.030000e+03 | 1.48%| 18.50%
2554.23/2561.06 c 2561s| 37800 | 2456 | 14553k| 373.0 | 650M | 55 |1517 |3537 |3304 | 37k| 1 | 22k|9096 | 1.014978e+03 | 1.030000e+03 | 1.48%| 18.52%
2560.91/2567.71 c 2568s| 37900 | 2464 | 14604k| 373.3 | 649M | 55 |1517 |3526 |3324 | 37k| 1 | 22k|9099 | 1.014998e+03 | 1.030000e+03 | 1.48%| 18.53%
2565.20/2572.05 c 2572s| 38000 | 2464 | 14643k| 373.4 | 647M | 55 |1517 |3528 |3322 | 37k| 1 | 22k|9101 | 1.014998e+03 | 1.030000e+03 | 1.48%| 18.53%
2568.89/2575.78 c 2576s| 38100 | 2464 | 14675k| 373.3 | 647M | 55 |1517 |3529 |3323 | 37k| 1 | 22k|9102 | 1.014998e+03 | 1.030000e+03 | 1.48%| 18.53%
2574.88/2581.75 c 2582s| 38200 | 2464 | 14719k| 373.4 | 647M | 55 |1517 |3523 |3321 | 37k| 1 | 22k|9105 | 1.014998e+03 | 1.030000e+03 | 1.48%| 18.54%
2581.76/2588.65 c 2589s| 38300 | 2478 | 14766k| 373.7 | 647M | 55 |1517 |3492 |3325 | 37k| 1 | 22k|9107 | 1.015021e+03 | 1.030000e+03 | 1.48%| 18.54%
2598.32/2605.24 c 2605s| 38400 | 2492 | 14836k| 374.5 | 652M | 55 |1517 |3454 |3334 | 38k| 2 | 22k|9108 | 1.015053e+03 | 1.030000e+03 | 1.47%| 18.66%
2606.20/2613.12 c 2613s| 38500 | 2502 | 14886k| 374.8 | 653M | 55 |1517 |3458 |3336 | 38k| 2 | 22k|9113 | 1.015055e+03 | 1.030000e+03 | 1.47%| 18.67%
2611.58/2618.57 c 2619s| 38600 | 2510 | 14924k| 374.8 | 653M | 55 |1517 |3459 |3341 | 38k| 1 | 22k|9114 | 1.015123e+03 | 1.030000e+03 | 1.47%| 18.68%
2617.27/2624.27 c 2624s| 38700 | 2514 | 14965k| 374.9 | 653M | 55 |1517 |3463 |3250 | 38k| 0 | 22k|9115 | 1.015147e+03 | 1.030000e+03 | 1.46%| 18.69%
2623.35/2630.30 c 2630s| 38800 | 2520 | 15019k| 375.3 | 653M | 55 |1517 |3483 |3298 | 38k| 3 | 22k|9124 | 1.015158e+03 | 1.030000e+03 | 1.46%| 18.71%
2630.63/2637.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2630.63/2637.60 c 2638s| 38900 | 2516 | 15070k| 375.7 | 653M | 55 |1517 |3516 |3301 | 39k| 1 | 22k|9155 | 1.015159e+03 | 1.030000e+03 | 1.46%| 18.89%
2635.22/2642.28 c 2642s| 39000 | 2524 | 15111k| 375.8 | 653M | 55 |1517 |3543 |3314 | 39k| 2 | 22k|9166 | 1.015169e+03 | 1.030000e+03 | 1.46%| 18.89%
2638.81/2645.83 c 2646s| 39100 | 2524 | 15142k| 375.6 | 652M | 55 |1517 |3552 |3313 | 39k| 1 | 22k|9174 | 1.015169e+03 | 1.030000e+03 | 1.46%| 18.89%
2647.69/2654.76 c 2655s| 39200 | 2528 | 15204k| 376.2 | 652M | 55 |1517 |3561 |3293 | 39k| 2 | 22k|9184 | 1.015176e+03 | 1.030000e+03 | 1.46%| 18.90%
2652.78/2659.80 c 2660s| 39300 | 2536 | 15251k| 376.4 | 652M | 55 |1517 |3575 |3293 | 39k| 1 | 22k|9190 | 1.015196e+03 | 1.030000e+03 | 1.46%| 18.90%
2657.37/2664.40 c 2664s| 39400 | 2538 | 15292k| 376.5 | 643M | 55 |1517 |3583 |3301 | 39k| 1 | 22k|9194 | 1.015196e+03 | 1.030000e+03 | 1.46%| 18.90%
2663.85/2670.90 c 2671s| 39500 | 2544 | 15339k| 376.7 | 644M | 55 |1517 |3620 |3302 | 39k| 0 | 22k|9211 | 1.015215e+03 | 1.030000e+03 | 1.46%| 18.91%
2668.94/2676.09 c 2676s| 39600 | 2552 | 15381k| 376.8 | 644M | 55 |1517 |3628 |3278 | 40k| 1 | 22k|9214 | 1.015241e+03 | 1.030000e+03 | 1.45%| 18.92%
2673.33/2680.48 c 2680s| 39700 | 2556 | 15421k| 376.9 | 644M | 55 |1517 |3653 |3291 | 40k| 0 | 22k|9222 | 1.015241e+03 | 1.030000e+03 | 1.45%| 18.92%
2679.92/2687.06 c 2687s| 39800 | 2568 | 15467k| 377.1 | 644M | 55 |1517 |3644 |3296 | 40k| 2 | 22k|9230 | 1.015259e+03 | 1.030000e+03 | 1.45%| 18.95%
2685.20/2692.37 c 2692s| 39900 | 2578 | 15506k| 377.1 | 644M | 55 |1517 |3647 |3299 | 40k| 0 | 22k|9238 | 1.015264e+03 | 1.030000e+03 | 1.45%| 18.96%
2689.89/2697.08 c 2697s| 40000 | 2578 | 15543k| 377.1 | 644M | 55 |1517 |3694 |3299 | 40k| 1 | 22k|9260 | 1.015264e+03 | 1.030000e+03 | 1.45%| 18.96%
2698.87/2706.09 c 2706s| 40100 | 2584 | 15590k| 377.4 | 644M | 55 |1517 |3754 |3311 | 40k| 0 | 23k|9296 | 1.015268e+03 | 1.030000e+03 | 1.45%| 18.97%
2712.13/2719.30 c 2719s| 40200 | 2594 | 15653k| 378.0 | 644M | 55 |1517 |3822 |3313 | 40k| 0 | 23k|9340 | 1.015277e+03 | 1.030000e+03 | 1.45%| 19.02%
2722.21/2729.43 c 2729s| 40300 | 2602 | 15706k| 378.3 | 644M | 55 |1517 |3828 |3297 | 41k| 0 | 23k|9357 | 1.015301e+03 | 1.030000e+03 | 1.45%| 19.07%
2730.79/2738.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2730.79/2738.09 c 2738s| 40400 | 2620 | 15767k| 378.9 | 644M | 55 |1517 |3850 |3304 | 41k| 1 | 23k|9378 | 1.015313e+03 | 1.030000e+03 | 1.45%| 19.09%
2736.97/2744.20 c 2744s| 40500 | 2628 | 15813k| 379.1 | 644M | 55 |1517 |3879 |3300 | 41k| 2 | 23k|9399 | 1.015321e+03 | 1.030000e+03 | 1.45%| 19.10%
2746.34/2753.63 c 2754s| 40600 | 2636 | 15868k| 379.5 | 642M | 55 |1517 |3877 |3316 | 41k| 1 | 23k|9413 | 1.015325e+03 | 1.030000e+03 | 1.45%| 19.14%
2760.31/2767.67 c 2768s| 40700 | 2648 | 15938k| 380.2 | 642M | 55 |1517 |3939 |3322 | 42k| 0 | 23k|9472 | 1.015340e+03 | 1.030000e+03 | 1.44%| 19.23%
2770.39/2777.78 c 2778s| 40800 | 2644 | 15982k| 380.4 | 642M | 55 |1517 |4005 |3316 | 42k| 0 | 23k|9525 | 1.015340e+03 | 1.030000e+03 | 1.44%| 19.23%
2776.87/2784.30 c 2784s| 40900 | 2652 | 16031k| 380.7 | 642M | 55 |1517 |4032 |3306 | 42k| 0 | 23k|9538 | 1.015341e+03 | 1.030000e+03 | 1.44%| 19.24%
2783.05/2790.41 c 2790s| 41000 | 2662 | 16078k| 380.9 | 643M | 55 |1517 |4064 |3311 | 42k| 0 | 23k|9568 | 1.015352e+03 | 1.030000e+03 | 1.44%| 19.25%
2791.33/2798.79 c 2799s| 41100 | 2662 | 16116k| 380.9 | 659M | 55 |1517 |4106 |3313 | 42k| 0 | 23k|9594 | 1.015352e+03 | 1.030000e+03 | 1.44%| 19.25%
2804.50/2811.93 c 2812s| 41200 | 2676 | 16199k| 381.9 | 666M | 55 |1517 |4063 |3307 | 42k| 1 | 23k|9629 | 1.015363e+03 | 1.030000e+03 | 1.44%| 19.27%
2810.29/2817.71 c 2818s| 41300 | 2678 | 16238k| 381.9 | 666M | 55 |1517 |4040 |3325 | 42k| 1 | 24k|9649 | 1.015363e+03 | 1.030000e+03 | 1.44%| 19.27%
2818.76/2826.20 c 2826s| 41400 | 2682 | 16286k| 382.2 | 667M | 55 |1517 |4105 |3327 | 42k| 0 | 24k|9689 | 1.015363e+03 | 1.030000e+03 | 1.44%| 19.27%
2825.55/2833.05 c 2833s| 41500 | 2682 | 16323k| 382.1 | 667M | 55 |1517 |4146 |3328 | 42k| 1 | 24k|9709 | 1.015363e+03 | 1.030000e+03 | 1.44%| 19.27%
2833.53/2841.09 c 2841s| 41600 | 2688 | 16376k| 382.5 | 667M | 55 |1517 |4087 |3340 | 43k| 1 | 24k|9710 | 1.015380e+03 | 1.030000e+03 | 1.44%| 19.28%
2840.51/2848.02 c 2848s| 41700 | 2686 | 16416k| 382.5 | 667M | 55 |1517 |4106 |3343 | 43k| 0 | 24k|9728 | 1.015383e+03 | 1.030000e+03 | 1.44%| 19.31%
2849.09/2856.60 c 2857s| 41800 | 2690 | 16463k| 382.7 | 667M | 55 |1517 |4168 |3342 | 43k| 1 | 24k|9759 | 1.015383e+03 | 1.030000e+03 | 1.44%| 19.31%
2856.47/2864.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2856.47/2864.08 c 2864s| 41900 | 2696 | 16512k| 383.0 | 667M | 55 |1517 |4187 |3338 | 43k| 2 | 24k|9775 | 1.015385e+03 | 1.030000e+03 | 1.44%| 19.31%
2863.95/2871.58 c 2872s| 42000 | 2708 | 16567k| 383.4 | 667M | 55 |1517 |4113 |3340 | 43k| 0 | 24k|9786 | 1.015395e+03 | 1.030000e+03 | 1.44%| 19.33%
2868.64/2876.26 c 2876s| 42100 | 2710 | 16605k| 383.4 | 668M | 55 |1517 |4062 |3346 | 43k| 0 | 24k|9787 | 1.015396e+03 | 1.030000e+03 | 1.44%| 19.34%
2877.32/2884.97 c 2885s| 42200 | 2722 | 16659k| 383.7 | 667M | 55 |1517 |3871 |3337 | 43k| 0 | 24k|9805 | 1.015432e+03 | 1.030000e+03 | 1.43%| 19.42%
2886.79/2894.40 c 2894s| 42300 | 2740 | 16725k| 384.4 | 667M | 55 |1517 |3771 |3342 | 44k| 2 | 24k|9810 | 1.015455e+03 | 1.030000e+03 | 1.43%| 19.44%
2894.27/2901.99 c 2902s| 42400 | 2740 | 16771k| 384.5 | 666M | 55 |1517 |3692 |3281 | 44k| 0 | 24k|9810 | 1.015461e+03 | 1.030000e+03 | 1.43%| 19.49%
2897.77/2905.48 c 2905s| 42500 | 2738 | 16804k| 384.4 | 666M | 55 |1517 |3686 |3340 | 44k| 1 | 24k|9810 | 1.015461e+03 | 1.030000e+03 | 1.43%| 19.49%
2904.25/2911.96 c 2912s| 42600 | 2746 | 16849k| 384.5 | 666M | 55 |1517 |3646 |3337 | 44k| 1 | 24k|9810 | 1.015469e+03 | 1.030000e+03 | 1.43%| 19.50%
2911.53/2919.24 c 2919s| 42700 | 2752 | 16898k| 384.8 | 666M | 55 |1517 |3553 |3328 | 44k| 1 | 24k|9811 | 1.015485e+03 | 1.030000e+03 | 1.43%| 19.52%
2917.02/2924.70 c 2925s| 42800 | 2754 | 16939k| 384.9 | 666M | 55 |1517 |3551 |3288 | 44k| 1 | 24k|9826 | 1.015485e+03 | 1.030000e+03 | 1.43%| 19.53%
2922.50/2930.21 c 2930s| 42900 | 2760 | 16982k| 384.9 | 665M | 55 |1517 |3537 |3281 | 44k| 0 | 24k|9828 | 1.015500e+03 | 1.030000e+03 | 1.43%| 19.55%
2926.59/2934.35 c 2934s| 43000 | 2760 | 17017k| 384.9 | 662M | 55 |1517 |3557 |3286 | 45k| 0 | 24k|9834 | 1.015500e+03 | 1.030000e+03 | 1.43%| 19.55%
2930.68/2938.45 c 2938s| 43100 | 2766 | 17055k| 384.9 | 662M | 55 |1517 |3555 |3311 | 45k| 1 | 24k|9834 | 1.015512e+03 | 1.030000e+03 | 1.43%| 19.55%
2936.17/2943.96 c 2944s| 43200 | 2778 | 17103k| 385.1 | 662M | 55 |1517 |3559 |3307 | 45k| 1 | 24k|9841 | 1.015532e+03 | 1.030000e+03 | 1.42%| 19.56%
2940.16/2947.91 c 2948s| 43300 | 2778 | 17136k| 385.0 | 648M | 55 |1517 |3574 |3312 | 45k| 1 | 24k|9847 | 1.015532e+03 | 1.030000e+03 | 1.42%| 19.56%
2945.45/2953.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2945.45/2953.21 c 2953s| 43400 | 2780 | 17176k| 385.0 | 648M | 55 |1517 |3572 |3315 | 45k| 2 | 24k|9850 | 1.015542e+03 | 1.030000e+03 | 1.42%| 19.61%
2950.53/2958.39 c 2958s| 43500 | 2792 | 17222k| 385.1 | 648M | 55 |1517 |3567 |3325 | 45k| 2 | 24k|9852 | 1.015548e+03 | 1.030000e+03 | 1.42%| 19.62%
2956.72/2964.58 c 2965s| 43600 | 2798 | 17266k| 385.3 | 648M | 55 |1517 |3583 |3311 | 45k| 1 | 24k|9861 | 1.015562e+03 | 1.030000e+03 | 1.42%| 19.63%
2961.21/2969.05 c 2969s| 43700 | 2800 | 17306k| 385.3 | 648M | 55 |1517 |3594 |3294 | 45k| 0 | 24k|9866 | 1.015562e+03 | 1.030000e+03 | 1.42%| 19.63%
2965.79/2973.69 c 2974s| 43800 | 2802 | 17347k| 385.4 | 648M | 55 |1517 |3610 |3295 | 45k| 1 | 24k|9870 | 1.015565e+03 | 1.030000e+03 | 1.42%| 19.65%
2970.08/2977.93 c 2978s| 43900 | 2804 | 17384k| 385.3 | 648M | 55 |1517 |3625 |3317 | 46k| 1 | 24k|9874 | 1.015565e+03 | 1.030000e+03 | 1.42%| 19.65%
2975.57/2983.49 c 2983s| 44000 | 2810 | 17429k| 385.5 | 648M | 55 |1517 |3642 |3317 | 46k| 0 | 24k|9878 | 1.015571e+03 | 1.030000e+03 | 1.42%| 19.65%
2981.55/2989.45 c 2989s| 44100 | 2810 | 17472k| 385.6 | 648M | 55 |1517 |3687 |3313 | 46k| 0 | 24k|9894 | 1.015575e+03 | 1.030000e+03 | 1.42%| 19.65%
2986.25/2994.18 c 2994s| 44200 | 2816 | 17517k| 385.7 | 646M | 55 |1517 |3686 |3313 | 46k| 1 | 24k|9894 | 1.015584e+03 | 1.030000e+03 | 1.42%| 19.66%
2990.43/2998.38 c 2998s| 44300 | 2818 | 17555k| 385.7 | 646M | 55 |1517 |3706 |3318 | 46k| 0 | 24k|9902 | 1.015584e+03 | 1.030000e+03 | 1.42%| 19.66%
2997.71/3005.68 c 3006s| 44400 | 2828 | 17599k| 385.8 | 646M | 55 |1517 |3725 |3319 | 46k| 2 | 24k|9913 | 1.015603e+03 | 1.030000e+03 | 1.42%| 19.67%
3002.40/3010.35 c 3010s| 44500 | 2834 | 17641k| 385.9 | 646M | 55 |1517 |3726 |3315 | 46k| 1 | 24k|9915 | 1.015607e+03 | 1.030000e+03 | 1.42%| 19.68%
3008.99/3016.99 c 3017s| 44600 | 2834 | 17678k| 385.9 | 646M | 55 |1517 |3729 |3313 | 46k| 1 | 24k|9916 | 1.015607e+03 | 1.030000e+03 | 1.42%| 19.68%
3012.68/3020.66 c 3021s| 44700 | 2840 | 17713k| 385.8 | 646M | 55 |1517 |3728 |3313 | 46k| 0 | 24k|9917 | 1.015624e+03 | 1.030000e+03 | 1.42%| 19.68%
3019.36/3027.33 c 3027s| 44800 | 2848 | 17759k| 385.9 | 645M | 55 |1517 |3732 |3324 | 47k| 2 | 24k|9921 | 1.015635e+03 | 1.030000e+03 | 1.41%| 19.69%
3025.54/3033.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3025.54/3033.59 c 3034s| 44900 | 2856 | 17805k| 386.1 | 645M | 55 |1517 |3730 |3324 | 47k| 0 | 24k|9921 | 1.015638e+03 | 1.030000e+03 | 1.41%| 19.69%
3033.72/3041.77 c 3042s| 45000 | 2866 | 17853k| 386.3 | 645M | 55 |1517 |3737 |3317 | 47k| 1 | 25k|9927 | 1.015638e+03 | 1.030000e+03 | 1.41%| 19.70%
3040.81/3048.85 c 3049s| 45100 | 2872 | 17894k| 386.4 | 645M | 55 |1517 |3723 |3326 | 47k| 2 | 25k|9931 | 1.015640e+03 | 1.030000e+03 | 1.41%| 19.70%
3047.99/3056.07 c 3056s| 45200 | 2870 | 17936k| 386.4 | 650M | 55 |1517 |3747 |3327 | 47k| 0 | 25k|9938 | 1.015640e+03 | 1.030000e+03 | 1.41%| 19.70%
3052.98/3061.10 c 3061s| 45300 | 2870 | 17974k| 386.4 | 652M | 55 |1517 |3753 |3320 | 47k| 0 | 25k|9942 | 1.015647e+03 | 1.030000e+03 | 1.41%| 19.70%
3058.97/3067.09 c 3067s| 45400 | 2876 | 18018k| 386.5 | 653M | 55 |1517 |3769 |3318 | 47k| 0 | 25k|9948 | 1.015652e+03 | 1.030000e+03 | 1.41%| 19.71%
3063.95/3072.02 c 3072s| 45500 | 2880 | 18061k| 386.6 | 653M | 55 |1517 |3775 |3318 | 47k| 1 | 25k|9954 | 1.015652e+03 | 1.030000e+03 | 1.41%| 19.71%
3071.33/3079.44 c 3079s| 45600 | 2882 | 18106k| 386.8 | 653M | 55 |1517 |3779 |3327 | 47k| 0 | 25k|9968 | 1.015657e+03 | 1.030000e+03 | 1.41%| 19.72%
3079.81/3087.97 c 3088s| 45700 | 2890 | 18167k| 387.2 | 653M | 55 |1517 |3713 |3293 | 47k| 0 | 25k|9968 | 1.015693e+03 | 1.030000e+03 | 1.41%| 19.82%
3084.30/3092.47 c 3092s| 45800 | 2890 | 18206k| 387.2 | 653M | 55 |1517 |3712 |3314 | 48k| 1 | 25k|9968 | 1.015693e+03 | 1.030000e+03 | 1.41%| 19.82%
3092.58/3100.77 c 3101s| 45900 | 2892 | 18270k| 387.8 | 653M | 55 |1517 |3697 |3283 | 48k| 0 | 25k|9972 | 1.015701e+03 | 1.030000e+03 | 1.41%| 19.82%
3096.07/3104.23 c 3104s| 46000 | 2894 | 18301k| 387.6 | 653M | 55 |1517 |3701 |3290 | 48k| 2 | 25k|9975 | 1.015701e+03 | 1.030000e+03 | 1.41%| 19.82%
3104.15/3112.35 c 3112s| 46100 | 2894 | 18346k| 387.8 | 651M | 55 |1517 |3702 |3333 | 48k| 1 | 25k|9986 | 1.015703e+03 | 1.030000e+03 | 1.41%| 19.86%
3110.63/3118.82 c 3119s| 46200 | 2892 | 18385k| 387.8 | 651M | 55 |1517 |3696 |3248 | 48k| 0 | 25k|9987 | 1.015703e+03 | 1.030000e+03 | 1.41%| 19.86%
3116.22/3124.41 c 3124s| 46300 | 2906 | 18437k| 388.0 | 649M | 55 |1517 |3652 |3276 | 48k| 1 | 25k|9988 | 1.015715e+03 | 1.030000e+03 | 1.41%| 19.87%
3120.01/3128.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3120.01/3128.22 c 3128s| 46400 | 2904 | 18473k| 388.0 | 647M | 55 |1517 |3662 |3314 | 48k| 0 | 25k|9992 | 1.015715e+03 | 1.030000e+03 | 1.41%| 19.87%
3120.31/3128.56 o 1029
3120.31/3128.56 c L3129s| 46409 | 2701 | 18476k| 388.0 |crossove| 55 |1517 |3662 |3312 | 48k| 1 | 25k|9992 | 1.015715e+03 | 1.029000e+03 | 1.31%| 20.58%
3124.60/3132.86 c 3133s| 46500 | 2706 | 18515k| 388.1 | 647M | 55 |1517 |3661 |3288 | 48k| 0 | 25k|9992 | 1.015715e+03 | 1.029000e+03 | 1.31%| 20.58%
3128.98/3137.25 c 3137s| 46600 | 2708 | 18556k| 388.1 | 647M | 55 |1517 |3686 |3311 | 48k| 1 | 25k|9997 | 1.015715e+03 | 1.029000e+03 | 1.31%| 20.58%
3135.57/3143.85 c 3144s| 46700 | 2712 | 18601k| 388.2 | 647M | 55 |1517 |3778 |3305 | 49k| 1 | 25k| 10k| 1.015717e+03 | 1.029000e+03 | 1.31%| 20.59%
3142.05/3150.36 c 3150s| 46800 | 2720 | 18651k| 388.5 | 641M | 55 |1517 |3782 |3286 | 49k| 0 | 25k| 10k| 1.015747e+03 | 1.029000e+03 | 1.30%| 20.60%
3146.24/3154.58 c 3155s| 46900 | 2720 | 18688k| 388.4 | 640M | 55 |1517 |3797 |3314 | 49k| 2 | 25k| 10k| 1.015747e+03 | 1.029000e+03 | 1.30%| 20.60%
3152.53/3160.84 c 3161s| 47000 | 2728 | 18739k| 388.7 | 640M | 55 |1517 |3847 |3314 | 49k| 1 | 25k| 10k| 1.015768e+03 | 1.029000e+03 | 1.30%| 20.61%
3159.21/3167.57 c 3168s| 47100 | 2728 | 18789k| 388.9 | 640M | 55 |1517 |3993 |3288 | 49k| 0 | 25k| 10k| 1.015771e+03 | 1.029000e+03 | 1.30%| 20.63%
3164.89/3173.23 c 3173s| 47200 | 2734 | 18837k| 389.1 | 640M | 55 |1517 |4032 |3312 | 49k| 1 | 25k| 10k| 1.015773e+03 | 1.029000e+03 | 1.30%| 20.64%
3174.17/3182.50 c 3183s| 47300 | 2746 | 18898k| 389.5 | 640M | 55 |1517 |4105 |3321 | 49k| 1 | 26k| 10k| 1.015787e+03 | 1.029000e+03 | 1.30%| 20.65%
3187.44/3195.85 c 3196s| 47400 | 2750 | 18958k| 390.0 | 640M | 55 |1517 |4293 |3322 | 49k| 0 | 26k| 10k| 1.015789e+03 | 1.029000e+03 | 1.30%| 20.66%
3194.52/3202.96 c 3203s| 47500 | 2752 | 19001k| 390.1 | 640M | 55 |1517 |4321 |3291 | 50k| 1 | 26k| 10k| 1.015789e+03 | 1.029000e+03 | 1.30%| 20.66%
3198.71/3207.15 c 3207s| 47600 | 2752 | 19041k| 390.1 | 640M | 55 |1517 |4332 |3316 | 50k| 1 | 26k| 10k| 1.015789e+03 | 1.029000e+03 | 1.30%| 20.66%
3204.20/3212.65 c 3213s| 47700 | 2750 | 19083k| 390.1 | 640M | 55 |1517 |4404 |3309 | 50k| 0 | 26k| 10k| 1.015789e+03 | 1.029000e+03 | 1.30%| 20.66%
3208.88/3217.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3208.88/3217.31 c 3217s| 47800 | 2752 | 19125k| 390.2 | 640M | 55 |1517 |4416 |3320 | 50k| 0 | 26k| 10k| 1.015789e+03 | 1.029000e+03 | 1.30%| 20.66%
3213.47/3221.97 c 3222s| 47900 | 2752 | 19163k| 390.2 | 640M | 55 |1517 |4466 |3316 | 50k| 0 | 26k| 10k| 1.015789e+03 | 1.029000e+03 | 1.30%| 20.66%
3221.05/3229.53 c 3230s| 48000 | 2760 | 19216k| 390.5 | 639M | 55 |1517 |4516 |3315 | 50k| 2 | 26k| 10k| 1.015790e+03 | 1.029000e+03 | 1.30%| 20.70%
3232.53/3241.00 c 3241s| 48100 | 2770 | 19280k| 391.0 | 639M | 55 |1517 |4510 |3316 | 51k| 0 | 26k| 10k| 1.015857e+03 | 1.029000e+03 | 1.29%| 20.72%
3239.61/3248.18 c 3248s| 48200 | 2772 | 19320k| 391.0 | 646M | 55 |1517 |4535 |3316 | 51k| 1 | 27k| 10k| 1.015877e+03 | 1.029000e+03 | 1.29%| 20.73%
3244.99/3253.53 c 3254s| 48300 | 2780 | 19368k| 391.2 | 646M | 55 |1517 |4496 |3320 | 51k| 1 | 27k| 10k| 1.015880e+03 | 1.029000e+03 | 1.29%| 20.73%
3249.59/3258.15 c 3258s| 48400 | 2782 | 19407k| 391.2 | 646M | 55 |1517 |4504 |3316 | 51k| 0 | 27k| 10k| 1.015880e+03 | 1.029000e+03 | 1.29%| 20.73%
3258.26/3266.86 c 3267s| 48500 | 2790 | 19458k| 391.4 | 654M | 55 |1517 |4465 |3321 | 51k| 0 | 27k| 10k| 1.015903e+03 | 1.029000e+03 | 1.29%| 20.76%
3264.94/3273.58 c 3274s| 48600 | 2798 | 19505k| 391.6 | 661M | 55 |1517 |4384 |3312 | 51k| 0 | 27k| 10k| 1.015929e+03 | 1.029000e+03 | 1.29%| 20.78%
3269.54/3278.17 c 3278s| 48700 | 2802 | 19544k| 391.6 | 661M | 55 |1517 |4299 |3318 | 51k| 1 | 27k| 10k| 1.015946e+03 | 1.029000e+03 | 1.28%| 20.80%
3276.71/3285.38 c 3285s| 48800 | 2808 | 19598k| 391.9 | 661M | 55 |1517 |4148 |3310 | 51k| 0 | 27k| 10k| 1.015960e+03 | 1.029000e+03 | 1.28%| 20.83%
3281.10/3289.79 c 3290s| 48900 | 2810 | 19637k| 391.9 | 661M | 55 |1517 |4148 |3308 | 51k| 0 | 27k| 10k| 1.015960e+03 | 1.029000e+03 | 1.28%| 20.83%
3287.98/3296.63 c 3297s| 49000 | 2812 | 19683k| 392.0 | 661M | 55 |1517 |4049 |3288 | 52k| 0 | 27k| 10k| 1.015965e+03 | 1.029000e+03 | 1.28%| 20.83%
3293.77/3302.43 c 3302s| 49100 | 2814 | 19728k| 392.1 | 661M | 55 |1517 |3983 |3322 | 52k| 0 | 27k| 10k| 1.015970e+03 | 1.029000e+03 | 1.28%| 20.86%
3299.56/3308.26 c 3308s| 49200 | 2820 | 19776k| 392.3 | 651M | 55 |1517 |3933 |3327 | 52k| 1 | 27k| 10k| 1.015970e+03 | 1.029000e+03 | 1.28%| 20.87%
3308.93/3317.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3308.93/3317.67 c 3318s| 49300 | 2826 | 19824k| 392.5 | 651M | 55 |1517 |3980 |3340 | 52k| 2 | 27k| 10k| 1.015978e+03 | 1.029000e+03 | 1.28%| 20.87%
3315.22/3323.93 c 3324s| 49400 | 2824 | 19863k| 392.5 | 651M | 55 |1517 |3957 |3323 | 52k| 1 | 27k| 10k| 1.015978e+03 | 1.029000e+03 | 1.28%| 21.10%
3319.21/3327.97 c 3328s| 49500 | 2822 | 19900k| 392.4 | 651M | 55 |1517 |3972 |3315 | 52k| 1 | 27k| 10k| 1.015978e+03 | 1.029000e+03 | 1.28%| 21.10%
3324.89/3333.67 c 3334s| 49600 | 2828 | 19945k| 392.5 | 651M | 55 |1517 |3971 |3325 | 52k| 1 | 27k| 10k| 1.015978e+03 | 1.029000e+03 | 1.28%| 21.10%
3332.38/3341.11 c 3341s| 49700 | 2826 | 19986k| 392.6 | 651M | 55 |1517 |3956 |3325 | 52k| 0 | 27k| 10k| 1.015980e+03 | 1.029000e+03 | 1.28%| 21.26%
3340.26/3349.00 c 3349s| 49800 | 2830 | 20033k| 392.7 | 651M | 55 |1517 |3979 |3329 | 52k| 0 | 27k| 10k| 1.015980e+03 | 1.029000e+03 | 1.28%| 21.26%
3348.83/3357.60 c 3358s| 49900 | 2848 | 20091k| 393.1 | 651M | 55 |1517 |3874 |3332 | 53k| 1 | 27k| 10k| 1.015984e+03 | 1.029000e+03 | 1.28%| 21.27%
3356.41/3365.23 c 3365s| 50000 | 2846 | 20131k| 393.1 | 656M | 55 |1517 |3964 |3340 | 53k| 1 | 27k| 10k| 1.015984e+03 | 1.029000e+03 | 1.28%| 21.27%
3363.59/3372.48 c 3372s| 50100 | 2850 | 20178k| 393.2 | 659M | 55 |1517 |4014 |3336 | 53k| 0 | 27k| 10k| 1.015994e+03 | 1.029000e+03 | 1.28%| 21.28%
3369.58/3378.48 c 3378s| 50200 | 2856 | 20219k| 393.3 | 659M | 55 |1517 |4046 |3337 | 53k| 0 | 28k| 10k| 1.015998e+03 | 1.029000e+03 | 1.28%| 21.28%
3375.27/3384.14 c 3384s| 50300 | 2858 | 20261k| 393.3 | 665M | 55 |1517 |4052 |3339 | 53k| 2 | 28k| 10k| 1.016000e+03 | 1.029000e+03 | 1.28%| 21.29%
3382.26/3391.13 c 3391s| 50400 | 2858 | 20303k| 393.4 | 675M | 55 |1517 |4049 |3340 | 53k| 1 | 28k| 10k| 1.016005e+03 | 1.029000e+03 | 1.28%| 21.30%
3390.43/3399.35 c 3399s| 50500 | 2870 | 20359k| 393.7 | 682M | 55 |1517 |4039 |3324 | 53k| 2 | 28k| 10k| 1.016017e+03 | 1.029000e+03 | 1.28%| 21.30%
3398.12/3407.06 c 3407s| 50600 | 2880 | 20410k| 393.9 | 682M | 55 |1517 |3995 |3328 | 53k| 1 | 28k| 10k| 1.016029e+03 | 1.029000e+03 | 1.28%| 21.31%
3403.50/3412.41 c 3412s| 50700 | 2888 | 20458k| 394.1 | 682M | 55 |1517 |3948 |3329 | 53k| 0 | 28k| 10k| 1.016035e+03 | 1.029000e+03 | 1.28%| 21.33%
3412.38/3421.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3412.38/3421.32 c 3421s| 50800 | 2890 | 20509k| 394.3 | 681M | 55 |1517 |3882 |3329 | 53k| 1 | 28k| 10k| 1.016039e+03 | 1.029000e+03 | 1.28%| 21.35%
3417.96/3426.92 c 3427s| 50900 | 2894 | 20555k| 394.4 | 673M | 55 |1517 |3793 |3307 | 53k| 2 | 28k| 10k| 1.016040e+03 | 1.029000e+03 | 1.28%| 21.35%
3422.25/3431.24 c 3431s| 51000 | 2894 | 20593k| 394.4 | 673M | 55 |1517 |3802 |3297 | 54k| 1 | 28k| 10k| 1.016040e+03 | 1.029000e+03 | 1.28%| 21.35%
3427.54/3436.52 c 3437s| 51100 | 2894 | 20637k| 394.5 | 665M | 55 |1517 |3785 |3327 | 54k| 0 | 28k| 10k| 1.016040e+03 | 1.029000e+03 | 1.28%| 21.36%
3433.03/3442.07 c 3442s| 51200 | 2898 | 20687k| 394.7 | 652M | 55 |1517 |3746 |3337 | 54k| 0 | 28k| 10k| 1.016050e+03 | 1.029000e+03 | 1.27%| 21.37%
3438.02/3447.04 c 3447s| 51300 | 2898 | 20724k| 394.6 | 652M | 55 |1517 |3754 |3342 | 54k| 1 | 28k| 10k| 1.016050e+03 | 1.029000e+03 | 1.27%| 21.37%
3444.30/3453.33 c 3453s| 51400 | 2900 | 20767k| 394.7 | 653M | 55 |1517 |3717 |3336 | 54k| 0 | 28k| 10k| 1.016051e+03 | 1.029000e+03 | 1.27%| 21.38%
3452.48/3461.52 c 3462s| 51500 | 2910 | 20826k| 395.1 | 653M | 55 |1517 |3596 |3328 | 54k| 1 | 28k| 10k| 1.016055e+03 | 1.029000e+03 | 1.27%| 21.39%
3457.37/3466.43 c 3466s| 51600 | 2908 | 20870k| 395.2 | 653M | 55 |1517 |3571 |3325 | 54k| 0 | 28k| 10k| 1.016083e+03 | 1.029000e+03 | 1.27%| 21.40%
3462.75/3471.88 c 3472s| 51700 | 2912 | 20915k| 395.3 | 653M | 55 |1517 |3618 |3330 | 54k| 0 | 28k| 10k| 1.016087e+03 | 1.029000e+03 | 1.27%| 21.41%
3467.05/3476.14 c 3476s| 51800 | 2914 | 20952k| 395.2 | 653M | 55 |1517 |3624 |3330 | 54k| 1 | 28k| 10k| 1.016087e+03 | 1.029000e+03 | 1.27%| 21.41%
3473.04/3482.12 c 3482s| 51900 | 2914 | 20995k| 395.3 | 653M | 55 |1517 |3703 |3337 | 55k| 2 | 28k| 10k| 1.016087e+03 | 1.029000e+03 | 1.27%| 21.41%
3479.52/3488.62 c 3489s| 52000 | 2912 | 21036k| 395.3 | 653M | 55 |1517 |3725 |3336 | 55k| 1 | 28k| 10k| 1.016088e+03 | 1.029000e+03 | 1.27%| 21.43%
3483.61/3492.79 c 3493s| 52100 | 2912 | 21074k| 395.3 | 652M | 55 |1517 |3712 |3291 | 55k| 1 | 28k| 10k| 1.016104e+03 | 1.029000e+03 | 1.27%| 21.45%
3488.10/3497.28 c 3497s| 52200 | 2910 | 21114k| 395.3 | 652M | 55 |1517 |3712 |3328 | 55k| 0 | 28k| 10k| 1.016104e+03 | 1.029000e+03 | 1.27%| 21.45%
3493.19/3502.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3493.19/3502.32 c 3502s| 52300 | 2916 | 21160k| 395.4 | 652M | 55 |1517 |3730 |3262 | 55k| 1 | 28k| 10k| 1.016109e+03 | 1.029000e+03 | 1.27%| 21.48%
3497.98/3507.11 c 3507s| 52400 | 2916 | 21200k| 395.4 | 652M | 55 |1517 |3758 |3267 | 55k| 1 | 28k| 10k| 1.016109e+03 | 1.029000e+03 | 1.27%| 21.48%
3503.76/3513.00 c 3513s| 52500 | 2926 | 21252k| 395.7 | 652M | 55 |1517 |3751 |3265 | 55k| 0 | 28k| 10k| 1.016128e+03 | 1.029000e+03 | 1.27%| 21.50%
3508.96/3518.19 c 3518s| 52600 | 2934 | 21301k| 395.8 | 652M | 55 |1517 |3754 |3263 | 55k| 0 | 28k| 10k| 1.016130e+03 | 1.029000e+03 | 1.27%| 21.51%
3514.54/3523.77 c 3524s| 52700 | 2944 | 21352k| 396.1 | 650M | 55 |1517 |3743 |3297 | 56k| 0 | 28k| 10k| 1.016145e+03 | 1.029000e+03 | 1.27%| 21.51%
3519.03/3528.26 c 3528s| 52800 | 2944 | 21393k| 396.1 | 650M | 55 |1517 |3781 |3308 | 56k| 0 | 28k| 10k| 1.016145e+03 | 1.029000e+03 | 1.27%| 21.51%
3523.42/3532.65 c 3533s| 52900 | 2946 | 21433k| 396.1 | 650M | 55 |1517 |3792 |3323 | 56k| 2 | 28k| 10k| 1.016155e+03 | 1.029000e+03 | 1.26%| 21.53%
3528.31/3537.54 c 3538s| 53000 | 2948 | 21475k| 396.1 | 650M | 55 |1517 |3848 |3321 | 56k| 1 | 28k| 10k| 1.016155e+03 | 1.029000e+03 | 1.26%| 21.53%
3536.09/3545.37 c 3545s| 53100 | 2958 | 21526k| 396.3 | 650M | 55 |1517 |3919 |3323 | 56k| 1 | 29k| 10k| 1.016172e+03 | 1.029000e+03 | 1.26%| 21.54%
3545.27/3554.52 c 3555s| 53200 | 2970 | 21578k| 396.6 | 650M | 55 |1517 |4031 |3326 | 56k| 1 | 29k| 11k| 1.016175e+03 | 1.029000e+03 | 1.26%| 21.55%
3551.86/3561.15 c 3561s| 53300 | 2970 | 21614k| 396.5 | 650M | 55 |1517 |4077 |3324 | 56k| 1 | 29k| 11k| 1.016182e+03 | 1.029000e+03 | 1.26%| 21.61%
3556.85/3566.14 c 3566s| 53400 | 2974 | 21659k| 396.6 | 650M | 55 |1517 |4043 |3325 | 56k| 4 | 29k| 11k| 1.016214e+03 | 1.029000e+03 | 1.26%| 21.64%
3562.33/3571.68 c 3572s| 53500 | 2986 | 21709k| 396.8 | 650M | 55 |1517 |4055 |3284 | 56k| 1 | 29k| 11k| 1.016214e+03 | 1.029000e+03 | 1.26%| 21.64%
3567.82/3577.14 c 3577s| 53600 | 2990 | 21758k| 397.0 | 650M | 55 |1517 |4086 |3308 | 57k| 1 | 29k| 11k| 1.016219e+03 | 1.029000e+03 | 1.26%| 21.66%
3572.51/3581.82 c 3582s| 53700 | 2990 | 21794k| 396.9 | 650M | 55 |1517 |4168 |3310 | 57k| 1 | 29k| 11k| 1.016219e+03 | 1.029000e+03 | 1.26%| 21.66%
3581.99/3591.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3581.99/3591.31 c 3591s| 53800 | 2990 | 21842k| 397.0 | 650M | 55 |1517 |4269 |3310 | 57k| 1 | 29k| 11k| 1.016219e+03 | 1.029000e+03 | 1.26%| 21.72%
3586.88/3596.26 c 3596s| 53900 | 2994 | 21883k| 397.1 | 650M | 55 |1517 |4278 |3313 | 57k| 1 | 29k| 11k| 1.016222e+03 | 1.029000e+03 | 1.26%| 21.76%
3587.58/3597.00 c
3587.58/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.58/3597.00 c Solving Time (sec) : 3597.00
3587.58/3597.00 c Solving Nodes : 53920 (total of 55077 nodes in 2 runs)
3587.58/3597.00 c Primal Bound : +1.02900000000000e+03 (748 solutions)
3587.58/3597.00 c Dual Bound : +1.01622198448371e+03
3587.58/3597.00 c Gap : 1.26 %
3587.58/3597.00 s SATISFIABLE
3587.58/3597.00 v -x1 x2 x3 x4 x5 x6 x7 -x8 x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 x20 -x21 -x22 x23 x24 -x25 x26 -x27 -x28 -x29 -x30
3587.58/3597.00 v -x31 x32 -x33 -x34 -x35 x36 x37 -x38 x39 -x40 x41 x42 x43 -x44 x45 x46 x47 x48 -x49 x50 x51 x52 -x53 x54 -x55 x56 x57 -x58 -x59
3587.58/3597.00 v -x60 -x61 x62 x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 x72 x73 x74 x75 x76 x77 x78 -x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 -x88
3587.58/3597.00 v -x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 x102 -x103 x104 -x105 -x106 x107 -x108 x109 -x110 x111 x112 -x113 -x114
3587.58/3597.00 v -x115 x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 x124 x125 -x126 -x127 -x128 x129 -x130 -x131 x132 x133 x134 x135 x136 -x137
3587.58/3597.00 v x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x150 x151 -x152 -x153 x154 -x155 -x156 -x157 x158 x159 -x160
3587.58/3597.00 v -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 x172 -x173 x174 -x175 x176 -x177 -x178 -x179 x180 x181 -x182 x183
3587.58/3597.00 v -x184 x185 x186 x187 x188 -x189 x190 -x191 x192 x193 -x194 -x195 -x196 x197 -x198 x199 x200 -x201 x202 x203 x204 x205 x206 -x207
3587.58/3597.00 v x208 -x209 -x210 x211 -x212 -x213 -x214 x215 -x216 -x217 x218 x219 x220 -x221 -x222 -x223 x224 x225 x226 x227 x228 x229 -x230 x231
3587.58/3597.00 v -x232 x233 -x234 x235 x236 -x237 -x238 -x239 -x240 x241 x242 x243 -x244 -x245 x246 x247 x248 -x249 x250 x251 -x252 x253 -x254 -x255
3587.58/3597.00 v -x256 x257 x258 x259 x260 x261 -x262 -x263 x264 -x265 x266 x267 -x268 x269 x270 x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279
3587.58/3597.00 v x280 -x281 -x282 x283 x284 -x285 x286 x287 x288 -x289 -x290 -x291 -x292 x293 x294 x295 x296 x297 x298 -x299 -x300 -x301 x302 -x303
3587.58/3597.00 v -x304 x305 -x306 -x307 -x308 x309 x310 -x311 -x312 -x313 -x314 x315 -x316 x317 x318 -x319 -x320 x321 x322 -x323 -x324 -x325 x326
3587.58/3597.00 v x327 x328 -x329 x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 x348 -x349
3587.58/3597.00 v x350 x351 -x352 -x353 x354 x355 x356 -x357 -x358 x359 x360 -x361 x362 x363 x364 x365 -x366 x367 -x368 -x369 x370 x371 x372 -x373
3587.58/3597.00 v x374 x375 x376 -x377 x378 x379 -x380 -x381 x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 x394 x395 x396 x397
3587.58/3597.00 v -x398 x399 x400 x401 x402 -x403 -x404 x405 x406 x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 x416 x417 x418 x419 x420 x421
3587.58/3597.00 v -x422 x423 x424 x425 x426 x427 x428 -x429 x430 -x431 x432 x433 x434 x435 x436 x437 x438 -x439 -x440 -x441 x442 x443 x444 -x445 -x446
3587.58/3597.00 v x447 x448 x449 x450 x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 x462 x463 x464 -x465 -x466 -x467 x468 -x469 -x470
3587.58/3597.00 v -x471 x472 -x473 x474 -x475 x476 x477 x478 x479 x480 -x481 -x482 x483 x484 x485 x486 x487 -x488 -x489 -x490 -x491 x492 -x493 -x494
3587.58/3597.00 v -x495 -x496 x497 -x498 x499 -x500 -x501 -x502 x503 x504 x505 x506 -x507 x508 x509 -x510 x511 x512 -x513 x514 -x515 x516 -x517 -x518
3587.58/3597.00 v x519 -x520 x521 x522 x523 x524 x525 x526 x527 x528 -x529 x530 x531 -x532 x533 -x534 x535 -x536 x537 -x538 x539 x540 x541 -x542 -x543
3587.58/3597.00 v -x544 x545 x546 x547 -x548 x549 x550 -x551 x552 x553 x554 -x555 x556 x557 -x558 x559 x560 -x561 x562 x563 x564 x565 x566 -x567 x568
3587.58/3597.00 v -x569 x570 x571 -x572 x573 -x574 x575 x576 x577 -x578 x579 -x580 -x581 x582 x583 -x584 -x585 x586 x587 -x588 -x589 -x590 -x591 -x592
3587.58/3597.00 v x593 x594 x595 -x596 x597 x598 x599 -x600 x601 x602 -x603 -x604 x605 x606 -x607 x608 x609 x610 -x611 x612 -x613 -x614 x615 x616
3587.58/3597.00 v x617 x618 x619 -x620 -x621 x622 x623 -x624 x625 x626 x627 x628 -x629 -x630 x631 -x632 -x633 x634 -x635 x636 -x637 x638 x639 x640
3587.58/3597.00 v x641 x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 x659 -x660 x661 x662 -x663
3587.58/3597.00 v -x664 x665 -x666 x667 -x668 x669 x670 -x671 x672 -x673 -x674 x675 -x676 -x677 x678 x679 -x680 -x681 x682 -x683 x684 -x685 x686 -x687
3587.58/3597.00 v x688 x689 x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 x704 x705 x706 -x707 -x708 x709 x710
3587.58/3597.00 v x711 x712 -x713 x714 -x715 x716 -x717 -x718 x719 x720 x721 x722 x723 x724 x725 x726 -x727 x728 x729 -x730 -x731 x732 x733 -x734
3587.58/3597.00 v x735 x736 -x737 -x738 x739 x740 x741 x742 -x743 x744 x745 -x746 -x747 x748 x749 -x750 x751 -x752 -x753 x754 x755 x756 -x757 -x758
3587.58/3597.00 v x759 x760 x761 x762 x763 x764 x765 x766 -x767 x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 x779 x780 x781 x782
3587.58/3597.00 v x783 x784 -x785 x786 x787 x788 -x789 x790 x791 x792 x793 x794 -x795 -x796 x797 x798 -x799 -x800 -x801 -x802 x803 x804 -x805 x806
3587.58/3597.00 v -x807 x808 x809 -x810 x811 x812 x813 x814 -x815 -x816 -x817 -x818 x819 x820 -x821 -x822 x823 -x824 -x825 x826 x827 -x828 x829 -x830
3587.58/3597.00 v -x831 x832 x833 -x834 x835 -x836 x837 x838 x839 x840 x841 -x842 x843 x844 x845 -x846 -x847 -x848 x849 -x850 x851 -x852 x853 -x854
3587.58/3597.00 v x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 x871 x872 -x873 -x874 x875 -x876 -x877
3587.58/3597.00 v -x878 x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 x887 x888 -x889 -x890 x891 x892 -x893 -x894 x895 -x896 -x897 -x898 x899 -x900
3587.58/3597.00 v -x901 x902 -x903 -x904 x905 -x906 x907 -x908 -x909 x910 x911 x912 x913 x914 x915 -x916 x917 x918 x919 -x920 -x921 x922 x923 -x924
3587.58/3597.00 v x925 x926 -x927 x928 x929 -x930 x931 x932 x933 x934 -x935 x936 x937 -x938 x939 x940 -x941 -x942 x943 x944 x945 -x946 x947 -x948
3587.58/3597.00 v x949 x950 x951 -x952 -x953 x954 x955 -x956 -x957 -x958 x959 -x960 x961 x962 -x963 x964 x965 -x966 x967 x968 x969 -x970 x971 x972
3587.58/3597.00 v -x973 x974 x975 x976 x977 x978 -x979 -x980 x981 -x982 x983 -x984 x985 -x986 -x987 -x988 x989 x990 -x991 -x992 x993 x994 -x995 x996
3587.58/3597.00 v x997 -x998 -x999 x1000 x1001 -x1002 -x1003 -x1004 x1005 x1006 -x1007 x1008 x1009 x1010 -x1011 x1012 x1013 x1014 -x1015 x1016 x1017
3587.58/3597.00 v x1018 x1019 -x1020 x1021 -x1022 x1023 x1024 x1025 -x1026 x1027 x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 x1035 -x1036 -x1037
3587.58/3597.00 v -x1038 x1039 x1040 x1041 x1042 -x1043 x1044 x1045 -x1046 -x1047 -x1048 x1049 x1050 -x1051 x1052 -x1053 -x1054 x1055 x1056 -x1057
3587.58/3597.00 v -x1058 x1059 -x1060 x1061 x1062 -x1063 x1064 x1065 -x1066 x1067 -x1068 x1069 -x1070 -x1071 x1072 -x1073 x1074 x1075 x1076 -x1077
3587.58/3597.00 v x1078 -x1079 -x1080 -x1081 x1082 x1083 -x1084 x1085 -x1086 -x1087 x1088 x1089 -x1090 x1091 x1092 -x1093 -x1094 x1095 -x1096 x1097
3587.58/3597.00 v -x1098 -x1099 -x1100 -x1101 x1102 x1103 -x1104 x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 x1113 x1114 x1115 -x1116 x1117
3587.58/3597.00 v -x1118 x1119 -x1120 x1121 x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137
3587.58/3597.00 v x1138 x1139 -x1140 x1141 x1142 x1143 -x1144 -x1145 -x1146 x1147 x1148 x1149 x1150 -x1151 -x1152 -x1153 x1154 x1155 x1156 x1157 x1158
3587.58/3597.00 v x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 x1166 x1167 x1168 -x1169 x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 x1177 -x1178
3587.58/3597.00 v x1179 -x1180 x1181 x1182 x1183 x1184 x1185 -x1186 -x1187 x1188 -x1189 -x1190 x1191 -x1192 x1193 x1194 -x1195 x1196 x1197 x1198 x1199
3587.58/3597.00 v -x1200 x1201 x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 x1210 -x1211 -x1212 x1213 x1214 x1215 -x1216 -x1217 -x1218 x1219
3587.58/3597.00 v -x1220 -x1221 -x1222 x1223 -x1224 -x1225 x1226 x1227 -x1228 -x1229 -x1230 x1231 x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 x1239
3587.58/3597.00 v -x1240 x1241 -x1242 x1243 x1244 x1245 -x1246 -x1247 -x1248 x1249 -x1250 x1251 x1252 x1253 x1254 -x1255 -x1256 x1257 -x1258 x1259
3587.58/3597.00 v x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 -x1268 x1269 -x1270 x1271 x1272 -x1273 -x1274 -x1275 x1276 x1277 -x1278 -x1279 x1280
3587.58/3597.00 v x1281 x1282 x1283 -x1284 -x1285 -x1286 x1287 x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 x1298 x1299 x1300
3587.58/3597.00 v -x1301 x1302 x1303 -x1304 -x1305 x1306 -x1307 x1308 x1309 x1310 -x1311 x1312 -x1313 x1314 x1315 x1316 -x1317 -x1318 -x1319 x1320
3587.58/3597.00 v x1321 -x1322 x1323 x1324 x1325 x1326 x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 x1337 x1338 -x1339 -x1340
3587.58/3597.00 v x1341 x1342 -x1343 x1344 x1345 x1346 x1347 x1348 -x1349 -x1350 -x1351 x1352 -x1353 x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360
3587.58/3597.00 v x1361 -x1362 x1363 x1364 x1365 x1366 x1367 x1368 x1369 -x1370 -x1371 -x1372 x1373 x1374 x1375 x1376 x1377 x1378 -x1379 x1380 x1381
3587.58/3597.00 v -x1382 x1383 x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 x1399 x1400 -x1401
3587.58/3597.00 v x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 x1419 -x1420 x1421
3587.58/3597.00 v -x1422 x1423 x1424 -x1425 x1426 x1427 -x1428 -x1429 x1430 x1431 -x1432 x1433 x1434 -x1435 x1436 x1437 x1438 x1439 x1440 x1441 -x1442
3587.58/3597.00 v x1443 x1444 x1445 x1446 -x1447 -x1448 -x1449 x1450 x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 x1459 x1460 x1461 x1462
3587.58/3597.00 v -x1463 x1464 -x1465 -x1466 x1467 x1468 x1469 x1470 -x1471 -x1472 -x1473 -x1474 x1475 x1476 x1477 x1478 x1479 -x1480 x1481 x1482
3587.58/3597.00 v x1483 x1484 x1485 -x1486 x1487 x1488 x1489 -x1490 x1491 x1492 -x1493 x1494 -x1495 x1496 -x1497 x1498 x1499 -x1500 -x1501 -x1502
3587.58/3597.00 v x1503 -x1504 -x1505 x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 x1520 -x1521 -x1522
3587.58/3597.00 v x1523 x1524 x1525 x1526 -x1527 x1528 -x1529 -x1530 x1531 x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542
3587.58/3597.00 v x1543 -x1544 -x1545 x1546 x1547 x1548 -x1549 x1550 -x1551 x1552 -x1553 x1554 x1555 -x1556 x1557 x1558 x1559 -x1560 x1561 x1562 -x1563
3587.58/3597.00 v x1564 -x1565 -x1566 x1567 -x1568 x1569 x1570 x1571 -x1572 x1573 x1574 x1575 -x1576 x1577 -x1578 x1579 x1580 -x1581 x1582 -x1583
3587.58/3597.00 v x1584 -x1585 x1586 x1587 -x1588 x1589 x1590 x1591 -x1592 x1593 x1594 x1595 x1596 -x1597 -x1598 -x1599 -x1600 x1601 x1602 x1603 x1604
3587.58/3597.00 v x1605 -x1606 -x1607 x1608 x1609 -x1610 x1611 -x1612 x1613 x1614 -x1615 -x1616 x1617 -x1618 x1619 x1620 x1621 -x1622 -x1623 -x1624
3587.58/3597.00 v -x1625 x1626 -x1627 -x1628 -x1629 x1630 -x1631 x1632 -x1633 x1634 -x1635 x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644
3587.58/3597.00 v x1645 x1646 x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 x1659 x1660 -x1661 x1662 -x1663 -x1664
3587.58/3597.00 v -x1665 -x1666 -x1667 -x1668 x1669 x1670 x1671 -x1672 x1673 x1674 -x1675 x1676 -x1677 -x1678 x1679 -x1680 x1681 -x1682 -x1683 -x1684
3587.58/3597.00 v x1685 -x1686 -x1687 -x1688 -x1689 x1690 x1691 x1692 -x1693 x1694 x1695 x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 x1704
3587.58/3597.00 v x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 x1714 x1715 -x1716 -x1717 x1718 x1719 -x1720 x1721 -x1722 x1723 -x1724
3587.58/3597.00 v -x1725 x1726 x1727 x1728 -x1729 x1730 x1731 x1732 -x1733 x1734 x1735 -x1736 x1737 x1738 x1739 -x1740 x1741 x1742 x1743 x1744 x1745
3587.58/3597.00 v x1746 x1747 x1748 -x1749 x1750 x1751 -x1752 x1753 x1754 -x1755 x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765
3587.58/3597.00 v -x1766 x1767 -x1768 x1769 x1770 x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 x1778 x1779 -x1780 x1781 -x1782 -x1783 x1784 -x1785
3587.58/3597.00 v -x1786 x1787 -x1788 x1789 -x1790 x1791 x1792 -x1793 x1794 x1795 -x1796 x1797 -x1798 x1799 x1800 -x1801 -x1802 -x1803 x1804 x1805
3587.58/3597.00 v x1806 -x1807 -x1808 x1809 -x1810 x1811 x1812 -x1813 -x1814 -x1815 x1816 -x1817 x1818 x1819 -x1820 x1821 x1822 -x1823 x1824 x1825
3587.58/3597.00 v -x1826 x1827 x1828 -x1829 -x1830 x1831 -x1832 x1833 -x1834 -x1835 x1836 x1837 -x1838 x1839 x1840 -x1841 x1842 -x1843 -x1844 -x1845
3587.58/3597.00 v -x1846 x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 x1854 x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 x1864 x1865
3587.58/3597.00 v -x1866 x1867 x1868 -x1869 -x1870 -x1871 -x1872 x1873 x1874 x1875 x1876 -x1877 x1878 x1879 -x1880 -x1881 x1882 x1883 x1884 -x1885
3587.58/3597.00 v x1886 x1887 -x1888 x1889 -x1890 -x1891 -x1892 x1893 x1894 x1895 -x1896 x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905
3587.58/3597.00 v x1906 x1907 x1908 x1909 -x1910 -x1911 x1912 -x1913 -x1914 x1915 -x1916 x1917 x1918 x1919 x1920 -x1921 x1922 x1923 x1924 x1925 -x1926
3587.58/3597.00 v -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 x1937 -x1938 x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945
3587.58/3597.00 v x1946 x1947 x1948 -x1949 -x1950 -x1951 x1952 x1953 -x1954 x1955 x1956 -x1957 x1958 x1959 x1960 -x1961 x1962 -x1963 -x1964
3587.58/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.58/3597.00 c Total Time : 3597.00
3587.58/3597.00 c solving : 3597.00
3587.58/3597.00 c presolving : 0.13 (included in solving)
3587.58/3597.00 c reading : 0.01 (included in solving)
3587.58/3597.00 c copying : 0.16 (24 #copies) (minimal 0.00, maximal 0.01, average 0.01)
3587.58/3597.00 c Original Problem :
3587.58/3597.00 c Problem name : HOME/instance-4488919-1751321548.opb
3587.58/3597.00 c Variables : 1964 (1964 binary, 0 integer, 0 continuous)
3587.58/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.58/3597.00 c Constraints : 4000 initial, 4000 maximal
3587.58/3597.00 c Objective : minimize, 1964 non-zeros (abs.min = 1, abs.max = 1)
3587.58/3597.00 c Presolved Problem :
3587.58/3597.00 c Problem name : t_HOME/instance-4488919-1751321548.opb
3587.58/3597.00 c Variables : 1517 (1517 binary, 0 integer, 0 continuous)
3587.58/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.58/3597.00 c Constraints : 3501 initial, 8081 maximal
3587.58/3597.00 c Objective : minimize, 1517 non-zeros (abs.min = 1, abs.max = 1)
3587.58/3597.00 c Nonzeros : 32901 constraint, 5871 clique table
3587.58/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.58/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c gateextraction : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualfix : 0.00 0.00 14 214 0 0 0 0 0 0 0 0
3587.58/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c pseudoobj : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c knapsack : 0.01 0.00 13 0 0 0 0 0 0 0 0 6
3587.58/3597.00 c setppc : 0.02 0.00 16 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c linear : 0.02 0.00 18 0 233 0 0 0 1072 0 3713 4089
3587.58/3597.00 c logicor : 0.03 0.00 12 0 0 0 0 0 47 0 0 158
3587.58/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.58/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.58/3597.00 c integral : 0 0 0 0 31814 0 0 4600 0 1 6528 0 0 19955 58630
3587.58/3597.00 c knapsack : 180+ 182 12 192939 0 0 0 0 161 12 3 0 0 0 0
3587.58/3597.00 c setppc : 2933 2933 34 218835 2 0 0 4594 231195 41 194508 0 0 0 0
3587.58/3597.00 c linear : 52+ 76 12 188019 0 0 0 2 803 452 827 0 0 0 0
3587.58/3597.00 c logicor : 336+ 4895 12 45965 0 0 0 0 2970 359 427 0 0 0 0
3587.58/3597.00 c fixedvar : 0 0 0 0 2 0 0 853 0 0 0 0 0 0 0
3587.58/3597.00 c countsols : 0 0 0 0 2 0 0 853 0 0 0 0 0 0 0
3587.58/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.58/3597.00 c integral : 444.75 0.00 0.00 0.00 444.72 0.00 0.00 0.02 0.00 0.00
3587.58/3597.00 c knapsack : 0.74 0.00 0.29 0.39 0.00 0.00 0.00 0.00 0.00 0.07
3587.58/3597.00 c setppc : 1.41 0.00 0.01 1.00 0.00 0.00 0.00 0.18 0.04 0.18
3587.58/3597.00 c linear : 0.29 0.00 0.00 0.20 0.00 0.00 0.00 0.00 0.00 0.08
3587.58/3597.00 c logicor : 0.51 0.00 0.00 0.45 0.00 0.00 0.00 0.00 0.01 0.05
3587.58/3597.00 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3587.58/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.58/3597.00 c dualfix : 3 0 0 0
3587.58/3597.00 c genvbounds : 0 0 0 0
3587.58/3597.00 c nlobbt : 0 0 0 0
3587.58/3597.00 c obbt : 0 0 0 0
3587.58/3597.00 c probing : 0 0 0 0
3587.58/3597.00 c pseudoobj : 129714 0 0 0
3587.58/3597.00 c redcost : 22888 0 0 4750
3587.58/3597.00 c rootredcost : 9 0 0 0
3587.58/3597.00 c symmetry : 0 0 0 0
3587.58/3597.00 c vbounds : 83105 0 0 0
3587.58/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.58/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.58/3597.00 c pseudoobj : 0.14 0.00 0.00 0.14 0.00 0.00
3587.58/3597.00 c redcost : 0.51 0.00 0.00 0.50 0.00 0.00
3587.58/3597.00 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3587.58/3597.00 c symmetry : 0.04 0.00 0.00 0.03 0.00 0.01
3587.58/3597.00 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.01
3587.58/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.58/3597.00 c propagation : 0.01 506 255 - 1601 55.2 0 0.0 - - -
3587.58/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.58/3597.00 c bound exceed. LP : 4.31 7926 7923 - 47874 54.8 0 0.0 7923 71.8 15341
3587.58/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.58/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.58/3597.00 c applied globally : 0.24 - - 0 21853 44.4 - - 7923 - -
3587.58/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.58/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.58/3597.00 c cut pool : 50.75 - 10786 63 - - 166603 363145 - - - - - (maximal pool size: 4506)
3587.58/3597.00 c aggregation : 255.27 0.00 3408 34 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.58/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.58/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.58/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c clique : 0.40 0.00 34 34 0 0 4 4 0 4 4 0 0
3587.58/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c gomory : 428.23 0.00 3292 20 0 0 161603 206593 0 9355 9355 0 0
3587.58/3597.00 c > gomorymi : - - - - - - - 89625 0 1085 1085 0 -
3587.58/3597.00 c > strongcg : - - - - - - - 116968 0 8270 8270 0 -
3587.58/3597.00 c impliedbounds : 0.60 0.00 3408 34 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c multilinear : 0.00 0.00 435 34 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c rapidlearning : 0.07 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c zerohalf : 43.78 0.00 3304 32 0 0 4995 156548 0 49844 49844 0 0
3587.58/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.58/3597.00 c hybrid : 2.77 0.00 7079 33 59203 0 303942 169 0 1578
3587.58/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.58/3597.00 c problem variables: 0.00 - 0 0
3587.58/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.58/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c relpscost : 444.69 0.00 31812 0 0 1 6528 0 25966 58630
3587.58/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.58/3597.00 c LP solutions : 0.00 - - 2 2
3587.58/3597.00 c relax solutions : 0.00 - - 0 0
3587.58/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.58/3597.00 c strong branching : 0.98 - - 170 1
3587.58/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c adaptivediving : 5.90 0.00 82 0 0
3587.58/3597.00 c alns : 0.16 0.00 10 0 0
3587.58/3597.00 c bound : 0.00 0.00 0 0 0
3587.58/3597.00 c clique : 0.02 0.00 1 1 1
3587.58/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c completesol : 0.00 0.00 0 0 0
3587.58/3597.00 c conflictdiving : 2.26 0.00 50 0 0
3587.58/3597.00 c crossover : 0.23 0.00 9 4 2
3587.58/3597.00 c dins : 0.00 0.00 0 0 0
3587.58/3597.00 c distributiondivin: 11.08 0.00 49 0 0
3587.58/3597.00 c dks : 0.00 0.00 0 0 0
3587.58/3597.00 c dps : 0.00 0.00 0 0 0
3587.58/3597.00 c dualval : 0.00 0.00 0 0 0
3587.58/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c feaspump : 0.00 0.00 0 0 0
3587.58/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.58/3597.00 c fracdiving : 2.10 0.00 49 0 0
3587.58/3597.00 c gins : 0.02 0.00 0 0 0
3587.58/3597.00 c guideddiving : 2.63 0.00 49 0 0
3587.58/3597.00 c indicator : 0.00 0.00 0 0 0
3587.58/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.58/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.58/3597.00 c linesearchdiving : 4.64 0.00 49 0 0
3587.58/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.58/3597.00 c locks : 0.00 0.00 1 1 1
3587.58/3597.00 c lpface : 0.01 0.00 0 0 0
3587.58/3597.00 c mpec : 0.00 0.00 0 0 0
3587.58/3597.00 c multistart : 0.00 0.00 0 0 0
3587.58/3597.00 c mutation : 0.00 0.00 0 0 0
3587.58/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c objpscostdiving : 62.36 0.00 25 141 0
3587.58/3597.00 c octane : 0.00 0.00 0 0 0
3587.58/3597.00 c ofins : 0.00 0.00 0 0 0
3587.58/3597.00 c oneopt : 0.02 0.00 8 3 3
3587.58/3597.00 c padm : 0.00 0.00 0 0 0
3587.58/3597.00 c proximity : 0.00 0.00 0 0 0
3587.58/3597.00 c pscostdiving : 5.13 0.00 50 3 1
3587.58/3597.00 c randrounding : 0.78 0.00 3776 31 0
3587.58/3597.00 c rens : 0.00 0.00 0 0 0
3587.58/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.58/3597.00 c repair : 0.00 0.00 0 0 0
3587.58/3597.00 c rins : 15.65 0.00 5 5 0
3587.58/3597.00 c rootsoldiving : 4.68 0.00 25 24 0
3587.58/3597.00 c rounding : 54.32 0.00 2760 0 0
3587.58/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.58/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3587.58/3597.00 c shifting : 31.61 0.00 1417 0 0
3587.58/3597.00 c simplerounding : 2.86 0.00 38895 75 0
3587.58/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.58/3597.00 c trivial : 0.00 0.00 4 2 2
3587.58/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.58/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.58/3597.00 c trysol : 0.01 0.00 0 0 0
3587.58/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.58/3597.00 c undercover : 0.00 0.00 0 0 0
3587.58/3597.00 c vbounds : 0.02 0.00 2 0 0
3587.58/3597.00 c veclendiving : 2.48 0.00 49 1 1
3587.58/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.58/3597.00 c zirounding : 7.57 0.00 14251 285 0
3587.58/3597.00 c other solutions : - - - 0 -
3587.58/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.58/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.58/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.58/3597.00 c primal LP : 3.90 4703 0 0.00 0.00 3.90 4703
3587.58/3597.00 c dual LP : 2115.91 69093 21156837 328.62 9998.94 4.27 4712
3587.58/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.58/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.58/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.58/3597.00 c diving/probing LP: 132.30 6546 732905 111.96 5539.59
3587.58/3597.00 c strong branching : 381.09 11192 3829888 342.20 10049.70 - - 2765
3587.58/3597.00 c (at root node) : - 36 32914 914.28 -
3587.68/3597.00 c conflict analysis: 1.65 1546 15341 9.92 9305.18
3587.68/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.68/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.68/3597.00 c B&B Tree :
3587.68/3597.00 c number of runs : 2
3587.68/3597.00 c nodes : 53920 (28612 internal, 25308 leaves)
3587.68/3597.00 c feasible leaves : 2
3587.68/3597.00 c infeas. leaves : 233
3587.68/3597.00 c objective leaves : 25072
3587.68/3597.00 c nodes (total) : 55077 (29315 internal, 25762 leaves)
3587.68/3597.00 c nodes left : 2993
3587.68/3597.00 c max depth : 55
3587.68/3597.00 c max depth (total): 55
3587.68/3597.00 c backtracks : 7352 (13.6%)
3587.68/3597.00 c early backtracks : 0 (0.0%)
3587.68/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.68/3597.00 c delayed cutoffs : 0
3587.68/3597.00 c repropagations : 98 (90 domain reductions, 0 cutoffs)
3587.68/3597.00 c avg switch length: 3.02
3587.68/3597.00 c switching time : 7.69
3587.68/3597.00 c Root Node :
3587.68/3597.00 c First LP value : +9.75500000000000e+02
3587.68/3597.00 c First LP Iters : 1935 (53537.34 Iter/sec)
3587.68/3597.00 c First LP Time : 0.04
3587.68/3597.00 c Final Dual Bound : +1.00721172020084e+03
3587.68/3597.00 c Final Root Iters : 22921
3587.68/3597.00 c Root LP Estimate : +1.30733658946368e+03
3587.68/3597.00 c Solution :
3587.68/3597.00 c Solutions found : 748 (14 improvements)
3587.68/3597.00 c First Solution : +1.96400000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3587.68/3597.00 c Gap First Sol. : infinite
3587.68/3597.00 c Gap Last Sol. : 1.31 %
3587.68/3597.00 c Primal Bound : +1.02900000000000e+03 (in run 2, after 46409 nodes, 3128.56 seconds, depth 33, found by <crossover>)
3587.68/3597.00 c Dual Bound : +1.01622198448371e+03
3587.68/3597.00 c Gap : 1.26 %
3587.68/3597.00 c Integrals : Total Avg%
3587.68/3597.00 c primal-dual : 6458.32 1.80
3587.68/3597.00 c primal-ref : - - (not evaluated)
3587.68/3597.00 c dual-ref : - - (not evaluated)
3587.78/3597.12 c Time complete (sec): 3587.812
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62496 MiB free)
memory of node 1: 64507 MiB (63482 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488919-1751321548/watcher-4488919-1751321548 -o /tmp/evaluation-result-4488919-1751321548/solver-4488919-1751321548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751314195-46560 --watchdog 3760 pbsolver -f HOME/instance-4488919-1751321548.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=49616, runsolver pid=49613
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 49617
/proc/meminfo: memFree=128977572/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=46404 memory=35112 CPUtime=0.09 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 6663 0 0 0 9 0 0 0 20 0 1 0 47835024 47517696 8778 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 11601 8778 2688 2575 0 8508 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46404 KiB
Current children cumulated memory: 35112 KiB
[startup+0.205478 s]*
/proc/loadavg: 4.10 4.11 4.09 6/265 49617
/proc/meminfo: memFree=128977572/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=47164 memory=35880 CPUtime=0.19 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 6838 0 0 0 19 0 0 0 20 0 1 0 47835024 48295936 8970 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 11791 8970 2688 2575 0 8698 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47164 KiB
Current children cumulated memory: 35880 KiB
[startup+0.304617 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 49617
/proc/meminfo: memFree=128977572/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=48708 memory=37160 CPUtime=0.3 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 7161 0 0 0 29 1 0 0 20 0 1 0 47835024 49876992 9290 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 12177 9290 2688 2575 0 9084 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48708 KiB
Current children cumulated memory: 37160 KiB
[startup+0.700108 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 49617
/proc/meminfo: memFree=128977572/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=52084 memory=39976 CPUtime=0.69 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 7883 0 0 0 68 1 0 0 20 0 1 0 47835024 53334016 9994 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 13021 9994 2688 2575 0 9928 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52084 KiB
Current children cumulated memory: 39976 KiB
[startup+1.50012 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 49617
/proc/meminfo: memFree=128977580/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=55732 memory=42920 CPUtime=1.48 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 8621 0 0 0 147 1 0 0 20 0 1 0 47835024 57069568 10730 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 13933 10730 2688 2575 0 10840 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55732 KiB
Current children cumulated memory: 42920 KiB
[startup+3.10528 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 49617
/proc/meminfo: memFree=128953796/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=76336 memory=63016 CPUtime=3.09 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 13657 0 0 0 307 2 0 0 20 0 1 0 47835024 78168064 15754 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 19084 15754 2688 2575 0 15991 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 76336 KiB
Current children cumulated memory: 63016 KiB
[startup+6.30012 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 49617
/proc/meminfo: memFree=128902144/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=117968 memory=103820 CPUtime=6.27 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 24874 0 0 0 623 4 0 0 20 0 1 0 47835024 120799232 25955 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 29492 25955 2688 2575 0 26399 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117968 KiB
Current children cumulated memory: 103820 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 49617
/proc/meminfo: memFree=128837656/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=167896 memory=151580 CPUtime=12.66 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 37075 0 0 0 1260 6 0 0 20 0 1 0 47835024 171925504 37895 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 41974 37895 2688 2575 0 38881 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 167896 KiB
Current children cumulated memory: 151580 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 49617
/proc/meminfo: memFree=128757072/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=167896 memory=151836 CPUtime=25.42 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 37139 0 0 0 2536 6 0 0 20 0 1 0 47835024 171925504 37959 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 41974 37959 2688 2575 0 38881 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 167896 KiB
Current children cumulated memory: 151836 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 49618
/proc/meminfo: memFree=128599724/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=224544 memory=203140 CPUtime=50.96 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 50200 0 0 0 5087 9 0 0 20 0 1 0 47835024 229933056 50785 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 56136 50785 2688 2575 0 53043 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 224544 KiB
Current children cumulated memory: 203140 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 49619
/proc/meminfo: memFree=128504764/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=255116 memory=231468 CPUtime=102.03 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 59016 0 0 0 10192 11 0 0 20 0 1 0 47835024 261238784 57867 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 63779 57867 2688 2575 0 60686 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 255116 KiB
Current children cumulated memory: 231468 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 49621
/proc/meminfo: memFree=128455188/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=276476 memory=253808 CPUtime=161.88 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 66153 0 0 0 16176 12 0 0 20 0 1 0 47835024 283111424 63452 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 69119 63452 2688 2575 0 66026 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 276476 KiB
Current children cumulated memory: 253808 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 49623
/proc/meminfo: memFree=128371024/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=317440 memory=294000 CPUtime=221.69 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 76205 0 0 0 22155 14 0 0 20 0 1 0 47835024 325058560 73500 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 79360 73500 2688 2575 0 76267 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 317440 KiB
Current children cumulated memory: 294000 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 49625
/proc/meminfo: memFree=128357480/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=317440 memory=294512 CPUtime=281.51 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 76327 0 0 0 28136 15 0 0 20 0 1 0 47835024 325058560 73628 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 79360 73628 2688 2575 0 76267 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 317440 KiB
Current children cumulated memory: 294512 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 49627
/proc/meminfo: memFree=128300600/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=337868 memory=314096 CPUtime=341.32 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 81244 0 0 0 34116 16 0 0 20 0 1 0 47835024 345976832 78524 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 84467 78524 2688 2575 0 81374 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 337868 KiB
Current children cumulated memory: 314096 KiB
[startup+402.3 s]
/proc/loadavg: 4.43 4.16 4.11 5/262 49629
/proc/meminfo: memFree=128232584/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=338428 memory=314992 CPUtime=401.15 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 81448 0 0 0 40098 17 0 0 20 0 1 0 47835024 346550272 78748 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 84607 78748 2688 2575 0 81514 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 338428 KiB
Current children cumulated memory: 314992 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/263 49634
/proc/meminfo: memFree=128201560/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=341468 memory=318192 CPUtime=460.95 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 82274 0 0 0 46078 17 0 0 20 0 1 0 47835024 349663232 79548 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 85367 79548 2688 2575 0 82274 0
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.09 5/263 49778
/proc/meminfo: memFree=127361612/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=690888 memory=679132 CPUtime=3213.87 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 167213 0 0 0 321354 33 0 0 20 0 1 0 47835024 707469312 169783 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 172722 169783 2688 2575 0 169629 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 690888 KiB
Current children cumulated memory: 679132 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 49780
/proc/meminfo: memFree=127362212/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=690888 memory=679132 CPUtime=3273.72 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 167504 0 0 0 327339 33 0 0 20 0 1 0 47835024 707469312 169783 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 172722 169783 2688 2575 0 169629 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 690888 KiB
Current children cumulated memory: 679132 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 49783
/proc/meminfo: memFree=127361340/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=690888 memory=679132 CPUtime=3333.57 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 167504 0 0 0 333324 33 0 0 20 0 1 0 47835024 707469312 169783 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 172722 169783 2688 2575 0 169629 0
Current children cumulated CPU time: 3333.57 s
Current children cumulated vsize: 690888 KiB
Current children cumulated memory: 679132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 49785
/proc/meminfo: memFree=127351640/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=706288 memory=690012 CPUtime=3393.42 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170529 0 0 0 339308 34 0 0 20 0 1 0 47835024 723238912 172503 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 176572 172503 2688 2575 0 173479 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 706288 KiB
Current children cumulated memory: 690012 KiB
[startup+3462.3 s]
/proc/loadavg: 3.70 4.00 4.06 3/252 49851
/proc/meminfo: memFree=128406488/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=706288 memory=690140 CPUtime=3453.28 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170572 0 0 0 345294 34 0 0 20 0 1 0 47835024 723238912 172535 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 176572 172535 2688 2575 0 173479 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 706288 KiB
Current children cumulated memory: 690140 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 3.49 3.88 2/245 49884
/proc/meminfo: memFree=128950368/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=687364 CPUtime=3513.14 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170572 0 0 0 351280 34 0 0 20 0 1 0 47835024 720109568 171841 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 171841 2688 2575 0 172715 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 687364 KiB
[startup+3582.3 s]
/proc/loadavg: 1.52 3.07 3.71 2/245 49886
/proc/meminfo: memFree=128948852/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=689284 CPUtime=3573.01 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170574 0 0 0 357267 34 0 0 20 0 1 0 47835024 720109568 172321 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 172321 2688 2575 0 172715 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 689284 KiB
[startup+3597.13 s]
# the end of solver process 49616 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.46 s, system=0.350816 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.52 3.07 3.71 2/245 49886
/proc/meminfo: memFree=128948852/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=689284 CPUtime=3574.71 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170574 0 0 0 357437 34 0 0 20 0 1 0 47835024 720109568 172321 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 172321 2688 2575 0 172715 0
Current children cumulated CPU time: 3574.71 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 689284 KiB
[startup+3590.4 s]
/proc/loadavg: 1.48 3.03 3.69 2/245 49886
/proc/meminfo: memFree=128951280/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=690436 CPUtime=3581.09 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170574 0 0 0 358075 34 0 0 20 0 1 0 47835024 720109568 172609 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 172609 2688 2575 0 172715 0
Current children cumulated CPU time: 3581.09 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 690436 KiB
[startup+3593.6 s]
/proc/loadavg: 1.44 3.00 3.68 2/245 49886
/proc/meminfo: memFree=128951280/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=690436 CPUtime=3584.28 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170574 0 0 0 358394 34 0 0 20 0 1 0 47835024 720109568 172609 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 172609 2688 2575 0 172715 0
Current children cumulated CPU time: 3584.28 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 690436 KiB
[startup+3595.2 s]
/proc/loadavg: 1.44 3.00 3.68 2/245 49886
/proc/meminfo: memFree=128951280/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=690436 CPUtime=3585.88 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170574 0 0 0 358554 34 0 0 20 0 1 0 47835024 720109568 172609 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 172609 2688 2575 0 172715 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 690436 KiB
[startup+3596 s]*
/proc/loadavg: 1.44 3.00 3.68 2/245 49886
/proc/meminfo: memFree=128951280/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=690436 CPUtime=3586.68 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170574 0 0 0 358634 34 0 0 20 0 1 0 47835024 720109568 172609 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 172609 2688 2575 0 172715 0
Current children cumulated CPU time: 3586.68 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 690436 KiB
[startup+3596.8 s]
/proc/loadavg: 1.44 3.00 3.68 2/245 49886
/proc/meminfo: memFree=128951280/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=691588 CPUtime=3587.48 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170574 0 0 0 358714 34 0 0 20 0 1 0 47835024 720109568 172897 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 172897 2688 2575 0 172715 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 691588 KiB
[startup+3597 s]*
/proc/loadavg: 1.40 2.97 3.66 2/245 49886
/proc/meminfo: memFree=128947468/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=691588 CPUtime=3587.68 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170574 0 0 0 358734 34 0 0 20 0 1 0 47835024 720109568 172897 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 172897 2688 2575 0 172715 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 691588 KiB
[startup+3597.1 s]
/proc/loadavg: 1.40 2.97 3.66 2/245 49886
/proc/meminfo: memFree=128947468/131250000 swapFree=33010684/33010684
[pid=49616] ppid=49613 vsize=703232 memory=691588 CPUtime=3587.78 cores=0,2
/proc/49616/stat : 49616 (pbsolver) R 49613 49616 46545 0 -1 4194304 170574 0 0 0 358744 34 0 0 20 0 1 0 47835024 720109568 172897 18446744073709551615 4198400 14743177 140735985892784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24055808 140735985895818 140735985895914 140735985895914 140735985901516 0
/proc/49616/statm: 175808 172897 2688 2575 0 172715 0
Current children cumulated CPU time: 3587.78 s
Current children cumulated vsize: 703232 KiB
Current children cumulated memory: 691588 KiB
Child status: 0
Real time (s): 3597.13
CPU time (s): 3587.81
CPU user time (s): 3587.46
CPU system time (s): 0.350816
CPU usage (%): 99.741
Max. virtual memory (cumulated for all children) (KiB): 706288
Max. memory (cumulated for all children) (KiB): 691588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.46
system time used= 0.350816
maximum resident set size= 691588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 4995
# summary of solver processes directly reported to runsolver:
# pid: 49616
# total CPU time (s): 3587.81
# total CPU user time (s): 3587.46
# total CPU system time (s): 0.350816
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29035 second user time and 14.6034 second system time
The end