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-4514925-1751225308.opb>
0.00/0.01 c original problem has 1372 variables (1372 bin, 0 int, 0 cont) and 4945 constraints
0.00/0.01 c problem read in 0.013 seconds
0.00/0.01 c problem without objective
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 154 del vars, 154 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 248 clqs
0.00/0.03 c (round 2, fast) 157 del vars, 157 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 245 clqs
0.00/0.03 c (round 3, fast) 190 del vars, 270 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 232 clqs
0.00/0.03 c (round 4, fast) 192 del vars, 272 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 230 clqs
0.00/0.03 c (round 5, fast) 193 del vars, 273 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 229 clqs
0.00/0.03 c (round 6, fast) 194 del vars, 277 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 229 clqs
0.00/0.03 c (round 7, fast) 196 del vars, 277 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 229 clqs
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver found nothing
0.00/0.07 c (round 8, exhaustive) 196 del vars, 277 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 4632 upgd conss, 0 impls, 229 clqs
0.00/0.07 c (round 9, exhaustive) 196 del vars, 277 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 4668 upgd conss, 0 impls, 229 clqs
0.00/0.08 c (round 10, exhaustive) 369 del vars, 277 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 4668 upgd conss, 0 impls, 229 clqs
0.00/0.08 c (round 11, fast) 380 del vars, 288 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1460 chg coeffs, 4668 upgd conss, 0 impls, 273 clqs
0.00/0.08 c (round 12, fast) 380 del vars, 317 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1460 chg coeffs, 4668 upgd conss, 0 impls, 273 clqs
0.00/0.09 c (0.1s) running MILP presolver
0.00/0.10 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 9 fixings, 0 bound changes
0.00/0.10 c (round 13, medium) 389 del vars, 367 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1460 chg coeffs, 4668 upgd conss, 0 impls, 253 clqs
0.00/0.10 c (round 14, fast) 398 del vars, 367 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1460 chg coeffs, 4668 upgd conss, 0 impls, 253 clqs
0.09/0.11 c (round 15, exhaustive) 398 del vars, 468 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1460 chg coeffs, 4668 upgd conss, 0 impls, 253 clqs
0.09/0.11 c (round 16, exhaustive) 430 del vars, 468 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1460 chg coeffs, 4668 upgd conss, 0 impls, 253 clqs
0.09/0.11 c (round 17, fast) 431 del vars, 469 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1636 chg coeffs, 4668 upgd conss, 0 impls, 263 clqs
0.09/0.12 c (round 18, exhaustive) 431 del vars, 489 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1636 chg coeffs, 4668 upgd conss, 0 impls, 263 clqs
0.09/0.12 c (round 19, exhaustive) 440 del vars, 489 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1636 chg coeffs, 4668 upgd conss, 0 impls, 263 clqs
0.09/0.13 c (round 20, fast) 440 del vars, 489 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1735 chg coeffs, 4668 upgd conss, 0 impls, 265 clqs
0.09/0.13 c (round 21, exhaustive) 440 del vars, 517 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1735 chg coeffs, 4668 upgd conss, 0 impls, 265 clqs
0.09/0.14 c (round 22, exhaustive) 444 del vars, 517 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1735 chg coeffs, 4668 upgd conss, 0 impls, 263 clqs
0.09/0.14 c (round 23, fast) 444 del vars, 519 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1772 chg coeffs, 4668 upgd conss, 0 impls, 263 clqs
0.09/0.14 c (round 24, exhaustive) 444 del vars, 534 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1772 chg coeffs, 4668 upgd conss, 0 impls, 263 clqs
0.09/0.15 c (round 25, exhaustive) 447 del vars, 534 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1772 chg coeffs, 4668 upgd conss, 0 impls, 263 clqs
0.09/0.15 c (round 26, fast) 447 del vars, 534 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1870 chg coeffs, 4668 upgd conss, 0 impls, 266 clqs
0.09/0.15 c (round 27, exhaustive) 447 del vars, 575 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1870 chg coeffs, 4668 upgd conss, 0 impls, 266 clqs
0.09/0.16 c (round 28, exhaustive) 449 del vars, 575 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1870 chg coeffs, 4668 upgd conss, 0 impls, 266 clqs
0.09/0.16 c (round 29, fast) 449 del vars, 575 del conss, 0 add conss, 117 chg bounds, 0 chg sides, 1938 chg coeffs, 4668 upgd conss, 0 impls, 266 clqs
0.09/0.18 c (0.2s) probing: 51/923 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.20 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.21 c (0.2s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.90) (symcode time: 0.00)
0.20/0.21 c dynamic symmetry handling statistics:
0.20/0.21 c orbitopal reduction: no components
0.20/0.21 c orbital reduction: no components
0.20/0.21 c lexicographic reduction: 1 permutations with support sizes 6
0.20/0.21 c handled 3 out of 3 symmetry components
0.20/0.21 c presolving (30 rounds: 30 fast, 15 medium, 14 exhaustive):
0.20/0.21 c 449 deleted vars, 575 deleted constraints, 2 added constraints, 117 tightened bounds, 0 added holes, 0 changed sides, 1938 changed coefficients
0.20/0.21 c 0 implications, 268 cliques
0.20/0.21 c presolved problem has 923 variables (923 bin, 0 int, 0 cont) and 4372 constraints
0.20/0.21 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.20/0.21 c 1 constraints of type <knapsack>
0.20/0.21 c 223 constraints of type <setppc>
0.20/0.21 c 2 constraints of type <linear>
0.20/0.21 c 4146 constraints of type <logicor>
0.20/0.21 c transformed objective value is always integral (scale: 1)
0.20/0.21 c Presolving Time: 0.19
0.20/0.21 c
0.20/0.21 c - non default parameters ----------------------------------------------------------------------
0.20/0.21 c
0.20/0.21 c # SCIP version 10.0.0
0.20/0.21 c
0.20/0.21 c # maximal time in seconds to run
0.20/0.21 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.20/0.21 c limits/time = 3596.998227
0.20/0.21 c
0.20/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.21 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.20/0.21 c limits/memory = 27900
0.20/0.21 c
0.20/0.21 c # belongs reading time to solving time?
0.20/0.21 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.20/0.21 c timing/reading = TRUE
0.20/0.21 c
0.20/0.21 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.20/0.21 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.20/0.21 c reading/opbreader/maxintsize = 47
0.20/0.21 c
0.20/0.21 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.20/0.21 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.20/0.21 c propagating/genvbounds/timingmask = 0
0.20/0.21 c
0.20/0.21 c -----------------------------------------------------------------------------------------------
0.20/0.21 c
0.60/0.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.60/0.61 c 0.6s| 1 | 0 | 2822 | - | 44M | 0 | 923 |4372 |4372 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.58/2.61 c 2.6s| 1 | 0 | 17988 | - | 60M | 0 | 923 |4372 |4378 | 10 | 1 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.78/2.82 c 2.8s| 1 | 0 | 18334 | - | 75M | 0 | 923 |4371 |4391 | 23 | 2 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
3.09/3.13 c 3.1s| 1 | 0 | 19280 | - | 88M | 0 | 923 |4372 |4399 | 31 | 3 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
3.28/3.34 c 3.3s| 1 | 0 | 19655 | - | 100M | 0 | 923 |4372 |4407 | 39 | 4 | 7 | 0 | 0.000000e+00 | -- | Inf | unknown
3.48/3.56 c 3.6s| 1 | 0 | 20051 | - | 112M | 0 | 923 |4372 |4412 | 44 | 5 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
3.78/3.85 c 3.9s| 1 | 0 | 20807 | - | 124M | 0 | 923 |4372 |4419 | 51 | 6 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
3.99/4.07 c 4.1s| 1 | 0 | 21172 | - | 138M | 0 | 923 |4372 |4425 | 57 | 7 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
4.27/4.31 c 4.3s| 1 | 0 | 21624 | - | 151M | 0 | 923 |4372 |4430 | 62 | 8 | 11 | 0 | 0.000000e+00 | -- | Inf | unknown
4.47/4.54 c 4.5s| 1 | 0 | 22006 | - | 168M | 0 | 923 |4372 |4435 | 67 | 9 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
4.68/4.79 c 4.8s| 1 | 0 | 22393 | - | 186M | 0 | 923 |4372 |4438 | 70 | 10 | 13 | 0 | 0.000000e+00 | -- | Inf | unknown
4.88/4.98 c 5.0s| 1 | 0 | 22969 | - | 186M | 0 | 923 |4372 |4438 | 73 | 11 | 14 | 0 | 0.000000e+00 | -- | Inf | unknown
8.27/8.30 c 8.3s| 1 | 2 | 26500 | - | 187M | 0 | 923 |4392 |4438 | 73 | 11 | 35 | 17 | 0.000000e+00 | -- | Inf | unknown
56.03/56.28 c 56.3s| 100 | 101 |199648 |1784.6 | 215M | 15 | 923 |4542 |4414 | 215 | 1 | 212 | 17 | 0.000000e+00 | -- | Inf | unknown
73.67/73.99 c 74.0s| 200 | 169 |287450 |1329.1 | 245M | 34 | 923 |4593 |4458 | 483 | 0 | 287 | 17 | 0.000000e+00 | -- | Inf | unknown
82.75/83.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.75/83.04 c 83.0s| 300 | 183 |336037 |1047.1 | 255M | 34 | 923 |4615 |4463 | 644 | 1 | 324 | 17 | 0.000000e+00 | -- | Inf | unknown
87.83/88.19 c 88.2s| 400 | 187 |370940 | 872.1 | 255M | 39 | 923 |4660 |4462 | 688 | 1 | 369 | 17 | 0.000000e+00 | -- | Inf | unknown
94.51/94.89 c 94.9s| 500 | 183 |413034 | 781.7 | 251M | 40 | 923 |4660 |4467 | 809 | 0 | 369 | 17 | 0.000000e+00 | -- | Inf | unknown
101.39/101.71 c 102s| 600 | 187 |457743 | 725.8 | 249M | 40 | 923 |4660 |4461 | 848 | 0 | 369 | 17 | 0.000000e+00 | -- | Inf | unknown
107.47/107.81 c 108s| 700 | 191 |497443 | 678.8 | 240M | 40 | 923 |4660 |4463 | 905 | 0 | 369 | 17 | 0.000000e+00 | -- | Inf | unknown
112.76/113.18 c 113s| 800 | 193 |533755 | 639.3 | 236M | 40 | 923 |4677 |4470 | 950 | 0 | 387 | 17 | 0.000000e+00 | -- | Inf | unknown
118.44/118.88 c 119s| 900 | 192 |569952 | 608.4 | 236M | 40 | 923 |4720 |4466 | 971 | 0 | 430 | 17 | 0.000000e+00 | -- | Inf | unknown
124.02/124.47 c 124s| 1000 | 192 |607273 | 584.9 | 236M | 40 | 923 |4734 |4465 |1016 | 0 | 447 | 17 | 0.000000e+00 | -- | Inf | unknown
129.30/129.78 c 130s| 1100 | 194 |643124 | 564.3 | 236M | 40 | 923 |4740 |4471 |1035 | 1 | 453 | 17 | 0.000000e+00 | -- | Inf | unknown
135.78/136.28 c 136s| 1200 | 192 |686352 | 553.3 | 236M | 40 | 923 |4751 |4463 |1088 | 1 | 464 | 17 | 0.000000e+00 | -- | Inf | unknown
141.67/142.16 c 142s| 1300 | 186 |727010 | 542.0 | 236M | 40 | 923 |4756 |4469 |1101 | 0 | 469 | 17 | 0.000000e+00 | -- | Inf | unknown
154.34/154.82 c 155s| 1400 | 188 |779104 | 540.5 | 236M | 40 | 923 |4756 |4460 |1172 | 0 | 469 | 17 | 0.000000e+00 | -- | Inf | unknown
159.82/160.32 c 160s| 1500 | 188 |815833 | 528.9 | 236M | 40 | 923 |4804 |4468 |1196 | 0 | 517 | 17 | 0.000000e+00 | -- | Inf | unknown
165.51/166.09 c 166s| 1600 | 192 |853819 | 519.6 | 236M | 40 | 923 |4861 |4462 |1232 | 0 | 574 | 17 | 0.000000e+00 | -- | Inf | unknown
171.49/172.06 c 172s| 1700 | 188 |894389 | 512.9 | 236M | 40 | 923 |4898 |4469 |1260 | 0 | 611 | 17 | 0.000000e+00 | -- | Inf | unknown
177.86/178.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
177.86/178.41 c 178s| 1800 | 186 |938126 | 508.7 | 236M | 40 | 923 |4904 |4463 |1266 | 1 | 618 | 17 | 0.000000e+00 | -- | Inf | unknown
183.84/184.41 c 184s| 1900 | 190 |976493 | 502.1 | 236M | 40 | 923 |4943 |4466 |1286 | 1 | 657 | 17 | 0.000000e+00 | -- | Inf | unknown
189.92/190.50 c 191s| 2000 | 184 | 1017k| 497.5 | 236M | 40 | 923 |4973 |4468 |1292 | 0 | 688 | 17 | 0.000000e+00 | -- | Inf | unknown
196.90/197.51 c 198s| 2100 | 188 | 1061k| 494.8 | 236M | 40 | 923 |5040 |4463 |1316 | 1 | 756 | 17 | 0.000000e+00 | -- | Inf | unknown
203.18/203.85 c 204s| 2200 | 184 | 1103k| 491.6 | 236M | 40 | 923 |5063 |4464 |1332 | 0 | 779 | 17 | 0.000000e+00 | -- | Inf | unknown
208.96/209.62 c 210s| 2300 | 184 | 1142k| 487.0 | 236M | 40 | 923 |5104 |4464 |1352 | 1 | 820 | 17 | 0.000000e+00 | -- | Inf | unknown
215.04/215.78 c 216s| 2400 | 184 | 1182k| 483.2 | 236M | 40 | 923 |5135 |4464 |1434 | 1 | 852 | 17 | 0.000000e+00 | -- | Inf | unknown
226.11/226.82 c 227s| 2500 | 188 | 1232k| 484.0 | 236M | 40 | 923 |5152 |4464 |1510 | 1 | 873 | 17 | 0.000000e+00 | -- | Inf | unknown
230.79/231.55 c 232s| 2600 | 186 | 1264k| 477.8 | 236M | 40 | 923 |5189 |4470 |1533 | 0 | 913 | 17 | 0.000000e+00 | -- | Inf | unknown
236.29/237.06 c 237s| 2700 | 184 | 1301k| 473.5 | 236M | 40 | 923 |5241 |4482 |1565 | 0 | 968 | 17 | 0.000000e+00 | -- | Inf | unknown
242.07/242.85 c 243s| 2800 | 192 | 1339k| 470.3 | 236M | 40 | 923 |5270 |4466 |1588 | 0 | 999 | 17 | 0.000000e+00 | -- | Inf | unknown
248.45/249.25 c 249s| 2900 | 188 | 1381k| 468.5 | 236M | 40 | 923 |5333 |4469 |1603 | 1 |1064 | 17 | 0.000000e+00 | -- | Inf | unknown
254.24/255.06 c 255s| 3000 | 183 | 1419k| 465.7 | 236M | 40 | 923 |5388 |4467 |1625 | 0 |1120 | 17 | 0.000000e+00 | -- | Inf | unknown
259.51/260.33 c 260s| 3100 | 185 | 1454k| 462.1 | 236M | 40 | 923 |5439 |4463 |1644 | 1 |1171 | 17 | 0.000000e+00 | -- | Inf | unknown
265.20/266.08 c 266s| 3200 | 181 | 1494k| 460.0 | 236M | 40 | 923 |5474 |4461 |1705 | 1 |1208 | 17 | 0.000000e+00 | -- | Inf | unknown
272.97/273.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
272.97/273.85 c 274s| 3300 | 201 | 1541k| 460.3 | 237M | 40 | 923 |5484 |4450 |1838 | 0 |1223 | 17 | 0.000000e+00 | -- | Inf | unknown
278.55/279.49 c 279s| 3400 | 207 | 1580k| 458.2 | 237M | 40 | 923 |5474 |4449 |1893 | 1 |1223 | 17 | 0.000000e+00 | -- | Inf | unknown
283.34/284.20 c 284s| 3500 | 203 | 1613k| 454.5 | 237M | 40 | 923 |5474 |4458 |1949 | 1 |1223 | 17 | 0.000000e+00 | -- | Inf | unknown
288.52/289.41 c 289s| 3600 | 209 | 1650k| 452.1 | 237M | 40 | 923 |5474 |4449 |2006 | 0 |1223 | 17 | 0.000000e+00 | -- | Inf | unknown
294.60/295.55 c 296s| 3700 | 211 | 1689k| 450.6 | 237M | 40 | 923 |5457 |4465 |2104 | 2 |1223 | 17 | 0.000000e+00 | -- | Inf | unknown
301.28/302.24 c 302s| 3800 | 215 | 1730k| 449.5 | 237M | 40 | 923 |5452 |4465 |2208 | 0 |1223 | 17 | 0.000000e+00 | -- | Inf | unknown
306.37/307.32 c 307s| 3900 | 209 | 1763k| 446.4 | 237M | 40 | 923 |5452 |4452 |2264 | 1 |1223 | 17 | 0.000000e+00 | -- | Inf | unknown
311.76/312.77 c 313s| 4000 | 211 | 1799k| 444.3 | 237M | 40 | 923 |5447 |4466 |2359 | 1 |1223 | 17 | 0.000000e+00 | -- | Inf | unknown
317.84/318.86 c 319s| 4100 | 217 | 1840k| 443.5 | 237M | 40 | 923 |5443 |4464 |2420 | 0 |1224 | 17 | 0.000000e+00 | -- | Inf | unknown
318.93/319.99 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
318.93/319.99 c (run 1, node 4120) performing user restart
318.93/319.99 c
318.93/320.00 c (restart) converted 84 cuts from the global cut pool into linear constraints
318.93/320.00 c
319.04/320.00 c presolving:
319.04/320.01 c (round 1, fast) 2 del vars, 4 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 279 clqs
319.04/320.01 c (round 2, exhaustive) 2 del vars, 4 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 86 upgd conss, 0 impls, 279 clqs
319.04/320.02 c (round 3, exhaustive) 2 del vars, 39 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 86 upgd conss, 0 impls, 279 clqs
319.04/320.06 c (round 4, exhaustive) 2 del vars, 532 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 2546 chg coeffs, 86 upgd conss, 0 impls, 279 clqs
319.04/320.09 c (round 5, exhaustive) 2 del vars, 566 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 2553 chg coeffs, 86 upgd conss, 0 impls, 279 clqs
319.14/320.12 c (round 6, exhaustive) 4 del vars, 566 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 2559 chg coeffs, 86 upgd conss, 0 impls, 279 clqs
319.14/320.17 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
319.14/320.17 c 4 deleted vars, 567 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2567 changed coefficients
319.14/320.17 c 0 implications, 279 cliques
319.14/320.17 c presolved problem has 919 variables (919 bin, 0 int, 0 cont) and 4960 constraints
319.14/320.17 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
319.14/320.17 c 72 constraints of type <knapsack>
319.14/320.17 c 202 constraints of type <setppc>
319.14/320.17 c 4686 constraints of type <logicor>
319.14/320.17 c transformed objective value is always integral (scale: 1)
319.14/320.17 c Presolving Time: 0.36
319.14/320.17 c
319.73/320.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
319.73/320.73 c 321s| 1 | 0 | 1852k| - | 232M | 0 | 919 |4960 |4415 | 0 | 0 |1225 | 17 | 0.000000e+00 | -- | Inf | unknown
319.93/320.96 c 321s| 1 | 0 | 1853k| - | 233M | 0 | 919 |4960 |4421 | 6 | 1 |1226 | 17 | 0.000000e+00 | -- | Inf | unknown
320.13/321.16 c 321s| 1 | 0 | 1853k| - | 234M | 0 | 919 |4960 |4429 | 14 | 2 |1227 | 17 | 0.000000e+00 | -- | Inf | unknown
320.43/321.40 c 321s| 1 | 0 | 1854k| - | 236M | 0 | 919 |4960 |4435 | 20 | 3 |1228 | 17 | 0.000000e+00 | -- | Inf | unknown
320.63/321.65 c 322s| 1 | 0 | 1855k| - | 239M | 0 | 919 |4960 |4439 | 24 | 4 |1229 | 17 | 0.000000e+00 | -- | Inf | unknown
320.83/321.80 c 322s| 1 | 0 | 1855k| - | 241M | 0 | 919 |4955 |4442 | 27 | 5 |1230 | 17 | 0.000000e+00 | -- | Inf | unknown
320.92/321.95 c 322s| 1 | 0 | 1855k| - | 244M | 0 | 919 |4955 |4448 | 33 | 6 |1231 | 17 | 0.000000e+00 | -- | Inf | unknown
321.13/322.14 c 322s| 1 | 0 | 1855k| - | 249M | 0 | 919 |4944 |4452 | 37 | 7 |1232 | 17 | 0.000000e+00 | -- | Inf | unknown
321.42/322.41 c 322s| 1 | 0 | 1856k| - | 253M | 0 | 919 |4933 |4457 | 42 | 8 |1233 | 17 | 0.000000e+00 | -- | Inf | unknown
321.63/322.67 c 323s| 1 | 0 | 1856k| - | 258M | 0 | 919 |4923 |4462 | 47 | 9 |1234 | 17 | 0.000000e+00 | -- | Inf | unknown
321.92/323.00 c 323s| 1 | 0 | 1857k| - | 260M | 0 | 919 |4917 |4468 | 53 | 10 |1235 | 17 | 0.000000e+00 | -- | Inf | unknown
322.22/323.25 c 323s| 1 | 0 | 1858k| - | 261M | 0 | 919 |4911 |4472 | 57 | 11 |1236 | 17 | 0.000000e+00 | -- | Inf | unknown
326.02/327.03 c 327s| 1 | 2 | 1861k| - | 261M | 0 | 919 |4869 |4472 | 57 | 11 |1251 | 36 | 0.000000e+00 | -- | Inf | unknown
357.43/358.54 c 359s| 100 | 37 | 1985k| 462.9 | 264M | 30 | 919 |4836 |4422 | 121 | 0 |1303 | 36 | 0.000000e+00 | -- | Inf | unknown
364.21/365.39 c 365s| 200 | 41 | 2028k| 462.1 | 264M | 30 | 919 |4856 |4422 | 137 | 0 |1327 | 36 | 0.000000e+00 | -- | Inf | unknown
371.39/372.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
371.39/372.59 c 373s| 300 | 47 | 2073k| 461.8 | 268M | 30 | 919 |4887 |4424 | 162 | 1 |1358 | 36 | 0.000000e+00 | -- | Inf | unknown
377.58/378.70 c 379s| 400 | 47 | 2115k| 460.9 | 268M | 30 | 919 |4884 |4418 | 205 | 1 |1358 | 36 | 0.000000e+00 | -- | Inf | unknown
383.36/384.55 c 385s| 500 | 47 | 2155k| 459.7 | 268M | 30 | 919 |4884 |4424 | 246 | 1 |1358 | 36 | 0.000000e+00 | -- | Inf | unknown
388.96/390.11 c 390s| 600 | 55 | 2191k| 457.5 | 268M | 31 | 919 |4891 |4426 | 267 | 1 |1365 | 36 | 0.000000e+00 | -- | Inf | unknown
393.34/394.53 c 395s| 700 | 49 | 2221k| 454.3 | 268M | 31 | 919 |4890 |4418 | 290 | 0 |1365 | 36 | 0.000000e+00 | -- | Inf | unknown
398.43/399.68 c 400s| 800 | 55 | 2257k| 452.4 | 266M | 31 | 919 |4890 |4426 | 352 | 1 |1365 | 36 | 0.000000e+00 | -- | Inf | unknown
403.21/404.42 c 404s| 900 | 59 | 2290k| 449.8 | 266M | 31 | 919 |4890 |4426 | 388 | 1 |1365 | 36 | 0.000000e+00 | -- | Inf | unknown
408.50/409.72 c 410s| 1000 | 63 | 2325k| 448.0 | 266M | 31 | 919 |4892 |4426 | 419 | 1 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
412.29/413.52 c 414s| 1100 | 59 | 2352k| 444.5 | 266M | 32 | 919 |4891 |4426 | 432 | 0 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
416.18/417.43 c 417s| 1200 | 57 | 2379k| 441.3 | 266M | 34 | 919 |4891 |4426 | 439 | 1 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
420.07/421.34 c 421s| 1300 | 55 | 2406k| 438.1 | 266M | 34 | 919 |4891 |4428 | 448 | 0 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
426.36/427.66 c 428s| 1400 | 59 | 2439k| 436.2 | 266M | 34 | 919 |4891 |4426 | 453 | 1 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
430.05/431.32 c 431s| 1500 | 55 | 2465k| 433.0 | 266M | 35 | 919 |4891 |4431 | 466 | 2 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
433.44/434.75 c 435s| 1600 | 57 | 2490k| 429.7 | 266M | 35 | 919 |4891 |4429 | 469 | 0 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
436.83/438.13 c 438s| 1700 | 51 | 2514k| 426.5 | 266M | 35 | 919 |4891 |4428 | 484 | 1 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
441.42/442.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
441.42/442.77 c 443s| 1800 | 53 | 2545k| 424.6 | 266M | 35 | 919 |4891 |4427 | 517 | 0 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
445.11/446.45 c 446s| 1900 | 51 | 2571k| 421.9 | 266M | 35 | 919 |4891 |4425 | 545 | 0 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
448.40/449.77 c 450s| 2000 | 53 | 2595k| 418.8 | 266M | 35 | 919 |4891 |4425 | 559 | 1 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
451.49/452.81 c 453s| 2100 | 59 | 2616k| 415.5 | 266M | 35 | 919 |4889 |4429 | 566 | 1 |1369 | 36 | 0.000000e+00 | -- | Inf | unknown
455.69/457.09 c 457s| 2200 | 51 | 2645k| 413.5 | 266M | 37 | 919 |4893 |4429 | 582 | 1 |1381 | 36 | 0.000000e+00 | -- | Inf | unknown
459.37/460.77 c 461s| 2300 | 57 | 2672k| 411.3 | 266M | 37 | 919 |4893 |4429 | 582 | 1 |1381 | 36 | 0.000000e+00 | -- | Inf | unknown
462.67/464.06 c 464s| 2400 | 53 | 2696k| 408.6 | 266M | 37 | 919 |4894 |4427 | 595 | 0 |1382 | 36 | 0.000000e+00 | -- | Inf | unknown
465.26/466.62 c 467s| 2500 | 51 | 2714k| 405.2 | 266M | 37 | 919 |4894 |4429 | 601 | 0 |1382 | 36 | 0.000000e+00 | -- | Inf | unknown
469.35/470.78 c 471s| 2600 | 61 | 2741k| 403.2 | 266M | 37 | 919 |4898 |4426 | 632 | 1 |1386 | 36 | 0.000000e+00 | -- | Inf | unknown
472.44/473.88 c 474s| 2700 | 55 | 2764k| 400.6 | 266M | 37 | 919 |4898 |4428 | 634 | 0 |1386 | 36 | 0.000000e+00 | -- | Inf | unknown
477.13/478.55 c 479s| 2800 | 53 | 2796k| 399.4 | 266M | 37 | 919 |4898 |4426 | 670 | 1 |1386 | 36 | 0.000000e+00 | -- | Inf | unknown
480.22/481.68 c 482s| 2900 | 59 | 2818k| 396.9 | 266M | 40 | 919 |4898 |4428 | 672 | 1 |1386 | 36 | 0.000000e+00 | -- | Inf | unknown
484.72/486.16 c 486s| 3000 | 57 | 2847k| 395.5 | 267M | 40 | 919 |4904 |4427 | 714 | 1 |1392 | 36 | 0.000000e+00 | -- | Inf | unknown
488.80/490.23 c 490s| 3100 | 57 | 2876k| 393.9 | 267M | 40 | 919 |4904 |4433 | 767 | 0 |1392 | 36 | 0.000000e+00 | -- | Inf | unknown
492.49/493.97 c 494s| 3200 | 51 | 2902k| 392.1 | 267M | 40 | 919 |4904 |4429 | 801 | 0 |1392 | 36 | 0.000000e+00 | -- | Inf | unknown
497.38/498.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
497.38/498.88 c 499s| 3300 | 53 | 2929k| 390.5 | 267M | 40 | 919 |4908 |4432 | 815 | 1 |1396 | 36 | 0.000000e+00 | -- | Inf | unknown
503.07/504.54 c 505s| 3400 | 49 | 2969k| 390.6 | 267M | 40 | 919 |4908 |4425 | 877 | 1 |1396 | 36 | 0.000000e+00 | -- | Inf | unknown
508.35/509.80 c 510s| 3500 | 53 | 3005k| 390.3 | 267M | 40 | 919 |4909 |4428 | 941 | 0 |1397 | 36 | 0.000000e+00 | -- | Inf | unknown
511.95/513.49 c 513s| 3600 | 51 | 3031k| 388.6 | 267M | 40 | 919 |4905 |4429 | 950 | 1 |1397 | 36 | 0.000000e+00 | -- | Inf | unknown
515.64/517.15 c 517s| 3700 | 49 | 3057k| 386.9 | 267M | 40 | 919 |4905 |4427 | 959 | 0 |1397 | 36 | 0.000000e+00 | -- | Inf | unknown
520.63/522.19 c 522s| 3800 | 51 | 3093k| 386.6 | 267M | 40 | 919 |4905 |4427 | 979 | 1 |1397 | 36 | 0.000000e+00 | -- | Inf | unknown
524.72/526.29 c 526s| 3900 | 49 | 3122k| 385.4 | 267M | 40 | 919 |4905 |4424 |1001 | 1 |1397 | 36 | 0.000000e+00 | -- | Inf | unknown
530.00/531.54 c 532s| 4000 | 51 | 3159k| 385.2 | 267M | 40 | 919 |4905 |4430 |1034 | 1 |1397 | 36 | 0.000000e+00 | -- | Inf | unknown
534.39/535.96 c 536s| 4100 | 53 | 3190k| 384.2 | 267M | 40 | 919 |4914 |4430 |1057 | 0 |1406 | 36 | 0.000000e+00 | -- | Inf | unknown
538.78/540.35 c 540s| 4200 | 51 | 3220k| 383.2 | 267M | 40 | 919 |4925 |4431 |1067 | 0 |1418 | 36 | 0.000000e+00 | -- | Inf | unknown
542.58/544.13 c 544s| 4300 | 47 | 3247k| 381.8 | 267M | 40 | 919 |4927 |4426 |1085 | 0 |1420 | 36 | 0.000000e+00 | -- | Inf | unknown
547.26/548.86 c 549s| 4400 | 49 | 3280k| 381.2 | 267M | 40 | 919 |4932 |4426 |1119 | 1 |1425 | 36 | 0.000000e+00 | -- | Inf | unknown
551.46/553.09 c 553s| 4500 | 49 | 3310k| 380.3 | 267M | 40 | 919 |4939 |4426 |1137 | 1 |1432 | 36 | 0.000000e+00 | -- | Inf | unknown
555.74/557.33 c 557s| 4600 | 47 | 3339k| 379.3 | 267M | 40 | 919 |4943 |4426 |1171 | 0 |1436 | 36 | 0.000000e+00 | -- | Inf | unknown
560.23/561.89 c 562s| 4700 | 47 | 3371k| 378.6 | 267M | 40 | 919 |4946 |4426 |1205 | 0 |1439 | 36 | 0.000000e+00 | -- | Inf | unknown
565.22/566.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
565.22/566.81 c 567s| 4800 | 47 | 3405k| 378.2 | 267M | 40 | 919 |4950 |4425 |1226 | 1 |1443 | 36 | 0.000000e+00 | -- | Inf | unknown
571.90/573.55 c 574s| 4900 | 49 | 3452k| 379.1 | 267M | 40 | 919 |4954 |4418 |1276 | 1 |1449 | 36 | 0.000000e+00 | -- | Inf | unknown
578.09/579.75 c 580s| 5000 | 47 | 3494k| 379.7 | 267M | 40 | 919 |4946 |4428 |1327 | 0 |1451 | 36 | 0.000000e+00 | -- | Inf | unknown
581.78/583.45 c 583s| 5100 | 49 | 3520k| 378.3 | 267M | 40 | 919 |4960 |4427 |1343 | 1 |1466 | 36 | 0.000000e+00 | -- | Inf | unknown
586.37/588.03 c 588s| 5200 | 45 | 3552k| 377.7 | 267M | 40 | 919 |4960 |4428 |1361 | 0 |1466 | 36 | 0.000000e+00 | -- | Inf | unknown
591.36/593.09 c 593s| 5300 | 47 | 3586k| 377.4 | 267M | 40 | 919 |4960 |4427 |1397 | 0 |1468 | 36 | 0.000000e+00 | -- | Inf | unknown
598.24/599.93 c 600s| 5400 | 45 | 3633k| 378.3 | 267M | 40 | 919 |4970 |4422 |1421 | 1 |1485 | 36 | 0.000000e+00 | -- | Inf | unknown
604.33/606.08 c 606s| 5500 | 51 | 3675k| 378.8 | 267M | 40 | 919 |4955 |4423 |1474 | 1 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
610.31/612.02 c 612s| 5600 | 47 | 3717k| 379.1 | 267M | 40 | 919 |4950 |4427 |1519 | 0 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
616.89/618.63 c 619s| 5700 | 45 | 3762k| 379.9 | 267M | 40 | 919 |4942 |4426 |1581 | 1 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
622.58/624.36 c 624s| 5800 | 49 | 3801k| 380.0 | 267M | 40 | 919 |4942 |4429 |1653 | 0 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
626.87/628.67 c 629s| 5900 | 47 | 3830k| 379.1 | 267M | 40 | 919 |4942 |4430 |1687 | 0 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
631.76/633.53 c 634s| 6000 | 51 | 3864k| 378.7 | 267M | 40 | 919 |4942 |4429 |1723 | 0 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
635.85/637.61 c 638s| 6100 | 47 | 3892k| 377.7 | 267M | 40 | 919 |4942 |4428 |1741 | 0 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
639.44/641.24 c 641s| 6200 | 49 | 3917k| 376.5 | 267M | 40 | 919 |4942 |4431 |1756 | 0 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
643.63/645.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
643.63/645.44 c 645s| 6300 | 49 | 3945k| 375.6 | 267M | 40 | 919 |4942 |4432 |1773 | 0 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
648.12/649.94 c 650s| 6400 | 49 | 3976k| 375.0 | 267M | 40 | 919 |4942 |4430 |1803 | 0 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
652.31/654.17 c 654s| 6500 | 45 | 4006k| 374.2 | 267M | 40 | 919 |4942 |4427 |1826 | 0 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
656.30/658.11 c 658s| 6600 | 49 | 4033k| 373.3 | 267M | 40 | 919 |4942 |4430 |1855 | 1 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
660.29/662.18 c 662s| 6700 | 47 | 4061k| 372.4 | 267M | 40 | 919 |4942 |4429 |1875 | 1 |1491 | 36 | 0.000000e+00 | -- | Inf | unknown
664.88/666.72 c 667s| 6800 | 55 | 4093k| 371.9 | 267M | 40 | 919 |4943 |4431 |1914 | 1 |1492 | 36 | 0.000000e+00 | -- | Inf | unknown
668.77/670.62 c 671s| 6900 | 47 | 4120k| 371.0 | 267M | 40 | 919 |4943 |4429 |1934 | 2 |1492 | 36 | 0.000000e+00 | -- | Inf | unknown
672.86/674.75 c 675s| 7000 | 55 | 4149k| 370.2 | 267M | 40 | 919 |4944 |4432 |1958 | 1 |1493 | 36 | 0.000000e+00 | -- | Inf | unknown
676.75/678.67 c 679s| 7100 | 47 | 4177k| 369.4 | 267M | 40 | 919 |4944 |4430 |1967 | 0 |1493 | 36 | 0.000000e+00 | -- | Inf | unknown
680.64/682.55 c 683s| 7200 | 53 | 4203k| 368.5 | 267M | 40 | 919 |4945 |4429 |1979 | 0 |1494 | 36 | 0.000000e+00 | -- | Inf | unknown
684.33/686.25 c 686s| 7300 | 53 | 4229k| 367.6 | 267M | 40 | 919 |4945 |4431 |1991 | 1 |1494 | 36 | 0.000000e+00 | -- | Inf | unknown
688.42/690.37 c 690s| 7400 | 45 | 4258k| 366.9 | 267M | 40 | 919 |4945 |4430 |2007 | 0 |1494 | 36 | 0.000000e+00 | -- | Inf | unknown
694.11/696.01 c 696s| 7500 | 51 | 4298k| 367.1 | 267M | 40 | 919 |4939 |4428 |2041 | 0 |1494 | 36 | 0.000000e+00 | -- | Inf | unknown
697.80/699.77 c 700s| 7600 | 47 | 4325k| 366.3 | 267M | 40 | 919 |4938 |4428 |2050 | 0 |1494 | 36 | 0.000000e+00 | -- | Inf | unknown
703.38/705.38 c 705s| 7700 | 51 | 4364k| 366.5 | 267M | 40 | 919 |4937 |4428 |2070 | 0 |1494 | 36 | 0.000000e+00 | -- | Inf | unknown
708.77/710.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
708.77/710.70 c 711s| 7800 | 49 | 4402k| 366.6 | 267M | 40 | 919 |4935 |4428 |2072 | 1 |1500 | 36 | 0.000000e+00 | -- | Inf | unknown
715.16/717.11 c 717s| 7900 | 44 | 4447k| 367.3 | 267M | 40 | 919 |4939 |4426 |2120 | 0 |1506 | 36 | 0.000000e+00 | -- | Inf | unknown
721.84/723.82 c 724s| 8000 | 50 | 4494k| 368.2 | 267M | 40 | 919 |4968 |4425 |2167 | 0 |1537 | 36 | 0.000000e+00 | -- | Inf | unknown
728.72/730.78 c 731s| 8100 | 48 | 4542k| 369.1 | 267M | 40 | 919 |4987 |4427 |2245 | 1 |1562 | 36 | 0.000000e+00 | -- | Inf | unknown
735.60/737.64 c 738s| 8200 | 52 | 4588k| 369.9 | 267M | 40 | 919 |5029 |4434 |2272 | 1 |1606 | 36 | 0.000000e+00 | -- | Inf | unknown
741.10/743.12 c 743s| 8300 | 53 | 4628k| 370.0 | 267M | 40 | 919 |5049 |4433 |2309 | 1 |1626 | 36 | 0.000000e+00 | -- | Inf | unknown
745.98/748.05 c 748s| 8400 | 53 | 4662k| 369.8 | 267M | 40 | 919 |5062 |4433 |2327 | 0 |1639 | 36 | 0.000000e+00 | -- | Inf | unknown
750.27/752.35 c 752s| 8500 | 52 | 4693k| 369.3 | 267M | 40 | 919 |5132 |4434 |2338 | 0 |1709 | 36 | 0.000000e+00 | -- | Inf | unknown
754.56/756.68 c 757s| 8600 | 54 | 4723k| 368.8 | 267M | 40 | 919 |5152 |4433 |2351 | 0 |1729 | 36 | 0.000000e+00 | -- | Inf | unknown
759.15/761.23 c 761s| 8700 | 50 | 4756k| 368.5 | 267M | 40 | 919 |5184 |4427 |2360 | 0 |1761 | 36 | 0.000000e+00 | -- | Inf | unknown
764.43/766.58 c 767s| 8800 | 52 | 4794k| 368.6 | 267M | 40 | 919 |5191 |4432 |2396 | 1 |1769 | 36 | 0.000000e+00 | -- | Inf | unknown
769.03/771.17 c 771s| 8900 | 50 | 4827k| 368.3 | 267M | 40 | 919 |5215 |4433 |2401 | 1 |1794 | 36 | 0.000000e+00 | -- | Inf | unknown
773.61/775.72 c 776s| 9000 | 50 | 4860k| 368.0 | 267M | 40 | 919 |5240 |4433 |2413 | 1 |1820 | 36 | 0.000000e+00 | -- | Inf | unknown
779.20/781.37 c 781s| 9100 | 50 | 4899k| 368.2 | 267M | 40 | 919 |5263 |4431 |2440 | 1 |1843 | 36 | 0.000000e+00 | -- | Inf | unknown
785.58/787.70 c 788s| 9200 | 58 | 4943k| 368.7 | 267M | 40 | 919 |5273 |4431 |2464 | 1 |1853 | 36 | 0.000000e+00 | -- | Inf | unknown
790.57/792.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
790.57/792.76 c 793s| 9300 | 56 | 4979k| 368.6 | 267M | 40 | 919 |5291 |4427 |2487 | 1 |1871 | 36 | 0.000000e+00 | -- | Inf | unknown
795.76/797.92 c 798s| 9400 | 54 | 5015k| 368.6 | 267M | 40 | 919 |5297 |4431 |2521 | 0 |1877 | 36 | 0.000000e+00 | -- | Inf | unknown
800.95/803.12 c 803s| 9500 | 54 | 5052k| 368.6 | 267M | 40 | 919 |5297 |4431 |2550 | 0 |1877 | 36 | 0.000000e+00 | -- | Inf | unknown
806.94/809.16 c 809s| 9600 | 58 | 5093k| 368.9 | 267M | 40 | 919 |5311 |4431 |2575 | 0 |1891 | 36 | 0.000000e+00 | -- | Inf | unknown
811.42/813.61 c 814s| 9700 | 62 | 5125k| 368.5 | 267M | 40 | 919 |5324 |4431 |2586 | 0 |1904 | 36 | 0.000000e+00 | -- | Inf | unknown
816.01/818.29 c 818s| 9800 | 58 | 5158k| 368.3 | 267M | 40 | 919 |5329 |4431 |2598 | 0 |1909 | 36 | 0.000000e+00 | -- | Inf | unknown
821.10/823.36 c 823s| 9900 | 58 | 5193k| 368.2 | 267M | 40 | 919 |5337 |4431 |2617 | 0 |1917 | 36 | 0.000000e+00 | -- | Inf | unknown
825.69/827.96 c 828s| 10000 | 56 | 5226k| 367.9 | 267M | 40 | 919 |5350 |4431 |2635 | 1 |1930 | 36 | 0.000000e+00 | -- | Inf | unknown
830.97/833.27 c 833s| 10100 | 56 | 5264k| 367.9 | 267M | 40 | 919 |5350 |4431 |2646 | 0 |1930 | 36 | 0.000000e+00 | -- | Inf | unknown
836.06/838.31 c 838s| 10200 | 56 | 5300k| 367.9 | 267M | 40 | 919 |5349 |4430 |2664 | 1 |1931 | 36 | 0.000000e+00 | -- | Inf | unknown
840.55/842.83 c 843s| 10300 | 52 | 5333k| 367.7 | 267M | 40 | 919 |5351 |4430 |2675 | 0 |1933 | 36 | 0.000000e+00 | -- | Inf | unknown
845.34/847.67 c 848s| 10400 | 54 | 5367k| 367.5 | 267M | 40 | 919 |5351 |4431 |2683 | 1 |1936 | 36 | 0.000000e+00 | -- | Inf | unknown
850.03/852.33 c 852s| 10500 | 58 | 5401k| 367.3 | 267M | 40 | 919 |5357 |4431 |2704 | 0 |1943 | 36 | 0.000000e+00 | -- | Inf | unknown
854.02/856.36 c 856s| 10600 | 58 | 5430k| 366.8 | 267M | 40 | 919 |5386 |4430 |2708 | 1 |1972 | 36 | 0.000000e+00 | -- | Inf | unknown
857.91/860.26 c 860s| 10700 | 54 | 5458k| 366.2 | 267M | 40 | 919 |5402 |4431 |2712 | 0 |1989 | 36 | 0.000000e+00 | -- | Inf | unknown
861.71/864.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
861.71/864.07 c 864s| 10800 | 54 | 5486k| 365.6 | 267M | 40 | 919 |5409 |4431 |2715 | 1 |1996 | 36 | 0.000000e+00 | -- | Inf | unknown
866.79/869.17 c 869s| 10900 | 58 | 5521k| 365.5 | 267M | 40 | 919 |5420 |4427 |2725 | 1 |2011 | 36 | 0.000000e+00 | -- | Inf | unknown
870.88/873.27 c 873s| 11000 | 58 | 5551k| 365.0 | 267M | 40 | 919 |5436 |4430 |2731 | 1 |2027 | 36 | 0.000000e+00 | -- | Inf | unknown
875.07/877.44 c 877s| 11100 | 56 | 5582k| 364.6 | 267M | 40 | 919 |5444 |4430 |2735 | 1 |2035 | 36 | 0.000000e+00 | -- | Inf | unknown
879.66/882.09 c 882s| 11200 | 54 | 5615k| 364.4 | 267M | 40 | 919 |5453 |4431 |2757 | 1 |2044 | 36 | 0.000000e+00 | -- | Inf | unknown
884.84/887.27 c 887s| 11300 | 58 | 5650k| 364.4 | 267M | 40 | 919 |5458 |4430 |2772 | 1 |2050 | 36 | 0.000000e+00 | -- | Inf | unknown
889.93/892.37 c 892s| 11400 | 58 | 5686k| 364.3 | 267M | 40 | 919 |5458 |4430 |2799 | 1 |2053 | 36 | 0.000000e+00 | -- | Inf | unknown
894.32/896.72 c 897s| 11500 | 57 | 5718k| 364.0 | 267M | 40 | 919 |5459 |4431 |2808 | 0 |2055 | 36 | 0.000000e+00 | -- | Inf | unknown
898.72/901.17 c 901s| 11600 | 57 | 5750k| 363.7 | 267M | 40 | 919 |5466 |4431 |2812 | 0 |2062 | 36 | 0.000000e+00 | -- | Inf | unknown
904.20/906.60 c 907s| 11700 | 59 | 5789k| 364.0 | 267M | 40 | 919 |5476 |4431 |2826 | 0 |2072 | 36 | 0.000000e+00 | -- | Inf | unknown
908.99/911.43 c 911s| 11800 | 57 | 5824k| 363.8 | 267M | 40 | 919 |5481 |4431 |2826 | 0 |2077 | 36 | 0.000000e+00 | -- | Inf | unknown
913.87/916.38 c 916s| 11900 | 59 | 5860k| 363.8 | 267M | 40 | 919 |5483 |4432 |2847 | 1 |2080 | 36 | 0.000000e+00 | -- | Inf | unknown
918.67/921.16 c 921s| 12000 | 55 | 5895k| 363.7 | 267M | 40 | 919 |5490 |4431 |2857 | 0 |2087 | 36 | 0.000000e+00 | -- | Inf | unknown
923.05/925.59 c 926s| 12100 | 59 | 5927k| 363.5 | 267M | 40 | 919 |5495 |4430 |2860 | 0 |2092 | 36 | 0.000000e+00 | -- | Inf | unknown
928.04/930.52 c 931s| 12200 | 59 | 5963k| 363.4 | 267M | 40 | 919 |5495 |4431 |2864 | 0 |2092 | 36 | 0.000000e+00 | -- | Inf | unknown
933.33/935.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
933.33/935.86 c 936s| 12300 | 59 | 6002k| 363.6 | 267M | 40 | 919 |5509 |4430 |2877 | 1 |2106 | 36 | 0.000000e+00 | -- | Inf | unknown
937.92/940.43 c 940s| 12400 | 59 | 6035k| 363.4 | 267M | 40 | 919 |5525 |4432 |2891 | 0 |2123 | 36 | 0.000000e+00 | -- | Inf | unknown
942.51/945.09 c 945s| 12500 | 59 | 6069k| 363.2 | 267M | 40 | 919 |5527 |4431 |2891 | 0 |2125 | 36 | 0.000000e+00 | -- | Inf | unknown
947.50/950.03 c 950s| 12600 | 57 | 6105k| 363.2 | 267M | 40 | 919 |5533 |4431 |2895 | 0 |2131 | 36 | 0.000000e+00 | -- | Inf | unknown
952.18/954.74 c 955s| 12700 | 55 | 6139k| 363.1 | 267M | 40 | 919 |5538 |4431 |2895 | 1 |2136 | 36 | 0.000000e+00 | -- | Inf | unknown
958.07/960.65 c 961s| 12800 | 53 | 6182k| 363.5 | 267M | 40 | 919 |5540 |4431 |2935 | 1 |2139 | 36 | 0.000000e+00 | -- | Inf | unknown
963.46/966.07 c 966s| 12900 | 51 | 6221k| 363.6 | 267M | 40 | 919 |5550 |4432 |2959 | 0 |2149 | 36 | 0.000000e+00 | -- | Inf | unknown
969.24/971.81 c 972s| 13000 | 55 | 6261k| 363.9 | 267M | 40 | 919 |5544 |4432 |3010 | 1 |2151 | 36 | 0.000000e+00 | -- | Inf | unknown
976.82/979.49 c 979s| 13100 | 57 | 6302k| 364.1 | 267M | 40 | 919 |5550 |4431 |3030 | 1 |2159 | 36 | 0.000000e+00 | -- | Inf | unknown
981.61/984.26 c 984s| 13200 | 55 | 6336k| 364.0 | 267M | 40 | 919 |5594 |4430 |3044 | 0 |2203 | 36 | 0.000000e+00 | -- | Inf | unknown
987.00/989.63 c 990s| 13300 | 55 | 6375k| 364.2 | 267M | 40 | 919 |5593 |4432 |3072 | 1 |2212 | 36 | 0.000000e+00 | -- | Inf | unknown
992.29/994.92 c 995s| 13400 | 53 | 6414k| 364.3 | 267M | 40 | 919 |5587 |4431 |3107 | 0 |2213 | 36 | 0.000000e+00 | -- | Inf | unknown
998.07/1000.73 c 1001s| 13500 | 49 | 6456k| 364.6 | 267M | 40 | 919 |5587 |4431 |3165 | 0 |2213 | 36 | 0.000000e+00 | -- | Inf | unknown
1003.56/1006.29 c 1006s| 13600 | 55 | 6496k| 364.8 | 267M | 40 | 919 |5586 |4431 |3196 | 0 |2213 | 36 | 0.000000e+00 | -- | Inf | unknown
1008.74/1011.45 c 1011s| 13700 | 57 | 6533k| 364.8 | 267M | 40 | 919 |5585 |4431 |3224 | 1 |2213 | 36 | 0.000000e+00 | -- | Inf | unknown
1013.83/1016.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1013.83/1016.59 c 1017s| 13800 | 59 | 6570k| 364.9 | 267M | 40 | 919 |5590 |4431 |3232 | 1 |2218 | 36 | 0.000000e+00 | -- | Inf | unknown
1019.02/1021.74 c 1022s| 13900 | 59 | 6608k| 364.9 | 267M | 40 | 919 |5590 |4431 |3241 | 1 |2218 | 36 | 0.000000e+00 | -- | Inf | unknown
1023.71/1026.43 c 1026s| 14000 | 55 | 6642k| 364.8 | 267M | 40 | 919 |5590 |4433 |3252 | 0 |2218 | 36 | 0.000000e+00 | -- | Inf | unknown
1028.60/1031.37 c 1031s| 14100 | 53 | 6678k| 364.8 | 267M | 40 | 919 |5594 |4432 |3263 | 1 |2222 | 36 | 0.000000e+00 | -- | Inf | unknown
1033.78/1036.56 c 1037s| 14200 | 57 | 6715k| 364.8 | 267M | 40 | 919 |5601 |4433 |3284 | 0 |2230 | 36 | 0.000000e+00 | -- | Inf | unknown
1038.28/1041.06 c 1041s| 14300 | 53 | 6748k| 364.6 | 267M | 40 | 919 |5600 |4433 |3294 | 0 |2230 | 36 | 0.000000e+00 | -- | Inf | unknown
1043.56/1046.33 c 1046s| 14400 | 51 | 6786k| 364.7 | 267M | 40 | 919 |5608 |4432 |3314 | 1 |2239 | 36 | 0.000000e+00 | -- | Inf | unknown
1048.95/1051.70 c 1052s| 14500 | 55 | 6823k| 364.7 | 267M | 40 | 919 |5609 |4431 |3338 | 0 |2243 | 36 | 0.000000e+00 | -- | Inf | unknown
1055.13/1057.96 c 1058s| 14600 | 55 | 6867k| 365.1 | 267M | 40 | 919 |5606 |4432 |3387 | 0 |2246 | 36 | 0.000000e+00 | -- | Inf | unknown
1060.92/1063.74 c 1064s| 14700 | 51 | 6909k| 365.4 | 267M | 40 | 919 |5608 |4431 |3412 | 1 |2248 | 36 | 0.000000e+00 | -- | Inf | unknown
1066.31/1069.15 c 1069s| 14800 | 53 | 6948k| 365.6 | 267M | 40 | 919 |5616 |4431 |3457 | 0 |2256 | 36 | 0.000000e+00 | -- | Inf | unknown
1071.79/1074.65 c 1075s| 14900 | 51 | 6988k| 365.7 | 267M | 40 | 919 |5631 |4431 |3489 | 0 |2271 | 36 | 0.000000e+00 | -- | Inf | unknown
1076.38/1079.29 c 1079s| 15000 | 51 | 7021k| 365.6 | 267M | 40 | 919 |5653 |4431 |3505 | 0 |2293 | 36 | 0.000000e+00 | -- | Inf | unknown
1081.97/1084.85 c 1085s| 15100 | 52 | 7058k| 365.6 | 267M | 40 | 919 |5669 |4431 |3517 | 1 |2311 | 36 | 0.000000e+00 | -- | Inf | unknown
1086.56/1089.49 c 1089s| 15200 | 49 | 7092k| 365.4 | 267M | 40 | 919 |5702 |4431 |3524 | 0 |2345 | 36 | 0.000000e+00 | -- | Inf | unknown
1091.75/1094.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1091.75/1094.69 c 1095s| 15300 | 55 | 7129k| 365.5 | 267M | 40 | 919 |5739 |4432 |3541 | 0 |2386 | 36 | 0.000000e+00 | -- | Inf | unknown
1096.34/1099.22 c 1099s| 15400 | 53 | 7163k| 365.3 | 267M | 40 | 919 |5760 |4431 |3546 | 0 |2408 | 36 | 0.000000e+00 | -- | Inf | unknown
1100.93/1103.86 c 1104s| 15500 | 51 | 7197k| 365.2 | 267M | 40 | 919 |5766 |4431 |3558 | 0 |2417 | 36 | 0.000000e+00 | -- | Inf | unknown
1105.52/1108.46 c 1108s| 15600 | 53 | 7231k| 365.1 | 267M | 40 | 919 |5802 |4431 |3566 | 1 |2453 | 36 | 0.000000e+00 | -- | Inf | unknown
1110.40/1113.30 c 1113s| 15700 | 53 | 7266k| 365.0 | 267M | 40 | 919 |5827 |4431 |3574 | 1 |2478 | 36 | 0.000000e+00 | -- | Inf | unknown
1114.59/1117.58 c 1118s| 15800 | 51 | 7297k| 364.7 | 267M | 40 | 919 |5846 |4432 |3579 | 1 |2497 | 36 | 0.000000e+00 | -- | Inf | unknown
1118.68/1121.64 c 1122s| 15900 | 49 | 7328k| 364.4 | 267M | 40 | 919 |5900 |4432 |3579 | 0 |2551 | 36 | 0.000000e+00 | -- | Inf | unknown
1123.57/1126.53 c 1127s| 16000 | 51 | 7363k| 364.4 | 267M | 40 | 919 |5923 |4431 |3600 | 0 |2574 | 36 | 0.000000e+00 | -- | Inf | unknown
1128.66/1131.62 c 1132s| 16100 | 55 | 7400k| 364.4 | 267M | 40 | 919 |5923 |4430 |3620 | 0 |2574 | 36 | 0.000000e+00 | -- | Inf | unknown
1133.45/1136.41 c 1136s| 16200 | 51 | 7435k| 364.4 | 267M | 40 | 919 |5930 |4432 |3628 | 0 |2581 | 36 | 0.000000e+00 | -- | Inf | unknown
1139.04/1142.07 c 1142s| 16300 | 53 | 7476k| 364.6 | 267M | 40 | 919 |5950 |4431 |3637 | 0 |2601 | 36 | 0.000000e+00 | -- | Inf | unknown
1143.92/1146.96 c 1147s| 16400 | 51 | 7512k| 364.5 | 267M | 40 | 919 |5964 |4430 |3640 | 0 |2615 | 36 | 0.000000e+00 | -- | Inf | unknown
1148.81/1151.88 c 1152s| 16500 | 51 | 7548k| 364.5 | 267M | 40 | 919 |6001 |4432 |3645 | 1 |2652 | 36 | 0.000000e+00 | -- | Inf | unknown
1153.70/1156.78 c 1157s| 16600 | 53 | 7583k| 364.5 | 267M | 40 | 919 |6034 |4432 |3650 | 1 |2685 | 36 | 0.000000e+00 | -- | Inf | unknown
1158.28/1161.39 c 1161s| 16700 | 49 | 7617k| 364.3 | 267M | 40 | 919 |6070 |4432 |3650 | 0 |2721 | 36 | 0.000000e+00 | -- | Inf | unknown
1163.67/1166.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1163.67/1166.76 c 1167s| 16800 | 49 | 7656k| 364.5 | 267M | 40 | 919 |6076 |4432 |3659 | 0 |2727 | 36 | 0.000000e+00 | -- | Inf | unknown
1168.25/1171.30 c 1171s| 16900 | 51 | 7690k| 364.3 | 267M | 40 | 919 |6104 |4432 |3664 | 1 |2755 | 36 | 0.000000e+00 | -- | Inf | unknown
1173.24/1176.30 c 1176s| 17000 | 53 | 7725k| 364.3 | 267M | 40 | 919 |6143 |4432 |3678 | 0 |2794 | 36 | 0.000000e+00 | -- | Inf | unknown
1178.03/1181.15 c 1181s| 17100 | 53 | 7760k| 364.2 | 268M | 40 | 919 |6164 |4432 |3696 | 1 |2815 | 36 | 0.000000e+00 | -- | Inf | unknown
1182.92/1186.02 c 1186s| 17200 | 51 | 7796k| 364.2 | 268M | 40 | 919 |6180 |4432 |3702 | 0 |2831 | 36 | 0.000000e+00 | -- | Inf | unknown
1187.40/1190.58 c 1191s| 17300 | 49 | 7830k| 364.1 | 268M | 40 | 919 |6224 |4432 |3717 | 0 |2875 | 36 | 0.000000e+00 | -- | Inf | unknown
1193.58/1196.73 c 1197s| 17400 | 49 | 7872k| 364.3 | 268M | 40 | 919 |6260 |4432 |3757 | 1 |2912 | 36 | 0.000000e+00 | -- | Inf | unknown
1198.56/1201.71 c 1202s| 17500 | 53 | 7908k| 364.3 | 268M | 40 | 919 |6274 |4432 |3779 | 1 |2926 | 36 | 0.000000e+00 | -- | Inf | unknown
1203.25/1206.43 c 1206s| 17600 | 49 | 7942k| 364.2 | 268M | 40 | 919 |6301 |4433 |3794 | 1 |2953 | 36 | 0.000000e+00 | -- | Inf | unknown
1208.34/1211.51 c 1212s| 17700 | 49 | 7979k| 364.2 | 268M | 40 | 919 |6347 |4432 |3808 | 1 |3000 | 36 | 0.000000e+00 | -- | Inf | unknown
1212.72/1215.95 c 1216s| 17800 | 45 | 8011k| 364.0 | 268M | 40 | 919 |6421 |4427 |3808 | 1 |3074 | 36 | 0.000000e+00 | -- | Inf | unknown
1218.91/1222.10 c 1222s| 17900 | 48 | 8054k| 364.3 | 268M | 40 | 919 |6444 |4431 |3852 | 0 |3098 | 36 | 0.000000e+00 | -- | Inf | unknown
1224.29/1227.51 c 1228s| 18000 | 46 | 8092k| 364.4 | 268M | 40 | 919 |6449 |4431 |3882 | 1 |3108 | 36 | 0.000000e+00 | -- | Inf | unknown
1229.88/1233.18 c 1233s| 18100 | 50 | 8131k| 364.5 | 268M | 40 | 919 |6460 |4431 |3897 | 0 |3123 | 36 | 0.000000e+00 | -- | Inf | unknown
1235.06/1238.35 c 1238s| 18200 | 48 | 8168k| 364.6 | 268M | 40 | 919 |6500 |4427 |3906 | 0 |3166 | 36 | 0.000000e+00 | -- | Inf | unknown
1240.74/1244.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1240.74/1244.08 c 1244s| 18300 | 50 | 8208k| 364.7 | 268M | 40 | 919 |6500 |4430 |3925 | 0 |3180 | 36 | 0.000000e+00 | -- | Inf | unknown
1246.42/1249.78 c 1250s| 18400 | 50 | 8248k| 364.8 | 268M | 40 | 919 |6511 |4433 |3970 | 2 |3192 | 36 | 0.000000e+00 | -- | Inf | unknown
1252.60/1255.94 c 1256s| 18500 | 54 | 8289k| 365.0 | 268M | 40 | 919 |6514 |4427 |4010 | 0 |3199 | 36 | 0.000000e+00 | -- | Inf | unknown
1258.39/1261.73 c 1262s| 18600 | 46 | 8330k| 365.2 | 268M | 40 | 919 |6512 |4431 |4053 | 0 |3200 | 36 | 0.000000e+00 | -- | Inf | unknown
1264.67/1268.10 c 1268s| 18700 | 46 | 8374k| 365.6 | 268M | 40 | 919 |6518 |4432 |4087 | 0 |3207 | 36 | 0.000000e+00 | -- | Inf | unknown
1271.15/1274.50 c 1275s| 18800 | 50 | 8418k| 365.9 | 268M | 40 | 919 |6566 |4431 |4118 | 2 |3256 | 36 | 0.000000e+00 | -- | Inf | unknown
1276.74/1280.15 c 1280s| 18900 | 46 | 8458k| 366.0 | 268M | 40 | 919 |6607 |4430 |4158 | 0 |3297 | 36 | 0.000000e+00 | -- | Inf | unknown
1281.62/1285.08 c 1285s| 19000 | 46 | 8492k| 365.9 | 268M | 40 | 919 |6666 |4430 |4185 | 1 |3356 | 36 | 0.000000e+00 | -- | Inf | unknown
1287.20/1290.66 c 1291s| 19100 | 44 | 8531k| 366.0 | 268M | 40 | 919 |6711 |4432 |4210 | 0 |3402 | 36 | 0.000000e+00 | -- | Inf | unknown
1292.38/1295.83 c 1296s| 19200 | 48 | 8567k| 366.0 | 268M | 40 | 919 |6743 |4431 |4238 | 1 |3452 | 36 | 0.000000e+00 | -- | Inf | unknown
1296.77/1300.23 c 1300s| 19300 | 46 | 8599k| 365.8 | 268M | 40 | 919 |6798 |4431 |4242 | 1 |3510 | 36 | 0.000000e+00 | -- | Inf | unknown
1301.36/1304.86 c 1305s| 19400 | 50 | 8631k| 365.6 | 268M | 40 | 919 |6861 |4430 |4248 | 1 |3581 | 36 | 0.000000e+00 | -- | Inf | unknown
1306.14/1309.64 c 1310s| 19500 | 46 | 8665k| 365.5 | 268M | 40 | 919 |6897 |4431 |4269 | 0 |3630 | 36 | 0.000000e+00 | -- | Inf | unknown
1311.03/1314.59 c 1315s| 19600 | 45 | 8699k| 365.4 | 268M | 40 | 919 |6918 |4426 |4294 | 0 |3661 | 36 | 0.000000e+00 | -- | Inf | unknown
1316.31/1319.82 c 1320s| 19700 | 47 | 8735k| 365.4 | 268M | 40 | 919 |6914 |4429 |4332 | 1 |3661 | 36 | 0.000000e+00 | -- | Inf | unknown
1319.80/1323.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1319.80/1323.34 c 1323s| 19800 | 49 | 8761k| 364.9 | 268M | 40 | 919 |6913 |4429 |4346 | 0 |3661 | 36 | 0.000000e+00 | -- | Inf | unknown
1324.59/1328.19 c 1328s| 19900 | 49 | 8795k| 364.8 | 268M | 40 | 919 |6908 |4425 |4367 | 0 |3661 | 36 | 0.000000e+00 | -- | Inf | unknown
1328.78/1332.31 c 1332s| 20000 | 47 | 8825k| 364.6 | 268M | 40 | 919 |6942 |4431 |4367 | 1 |3703 | 36 | 0.000000e+00 | -- | Inf | unknown
1333.66/1337.27 c 1337s| 20100 | 45 | 8861k| 364.5 | 268M | 40 | 919 |6937 |4425 |4385 | 2 |3721 | 36 | 0.000000e+00 | -- | Inf | unknown
1338.45/1342.05 c 1342s| 20200 | 47 | 8894k| 364.4 | 268M | 40 | 919 |6933 |4427 |4416 | 1 |3723 | 36 | 0.000000e+00 | -- | Inf | unknown
1342.34/1345.97 c 1346s| 20300 | 47 | 8922k| 364.1 | 268M | 40 | 919 |6932 |4426 |4429 | 1 |3723 | 36 | 0.000000e+00 | -- | Inf | unknown
1346.22/1349.85 c 1350s| 20400 | 43 | 8950k| 363.7 | 268M | 40 | 919 |6932 |4428 |4429 | 1 |3723 | 36 | 0.000000e+00 | -- | Inf | unknown
1351.11/1354.70 c 1355s| 20500 | 45 | 8984k| 363.6 | 268M | 40 | 919 |6958 |4421 |4438 | 0 |3761 | 36 | 0.000000e+00 | -- | Inf | unknown
1354.80/1358.41 c 1358s| 20600 | 53 | 9011k| 363.2 | 268M | 40 | 919 |6944 |4426 |4464 | 0 |3761 | 36 | 0.000000e+00 | -- | Inf | unknown
1359.29/1362.90 c 1363s| 20700 | 49 | 9043k| 363.0 | 268M | 40 | 919 |6944 |4425 |4504 | 1 |3761 | 36 | 0.000000e+00 | -- | Inf | unknown
1362.97/1366.68 c 1367s| 20800 | 47 | 9070k| 362.7 | 268M | 40 | 919 |6944 |4425 |4513 | 0 |3761 | 36 | 0.000000e+00 | -- | Inf | unknown
1366.07/1369.73 c 1370s| 20900 | 51 | 9091k| 362.1 | 268M | 40 | 919 |6943 |4427 |4518 | 0 |3761 | 36 | 0.000000e+00 | -- | Inf | unknown
1371.05/1374.73 c 1375s| 21000 | 49 | 9126k| 362.0 | 268M | 40 | 919 |6943 |4427 |4547 | 1 |3761 | 36 | 0.000000e+00 | -- | Inf | unknown
1375.24/1378.97 c 1379s| 21100 | 51 | 9156k| 361.8 | 268M | 40 | 919 |6943 |4424 |4555 | 1 |3761 | 36 | 0.000000e+00 | -- | Inf | unknown
1379.53/1383.23 c 1383s| 21200 | 51 | 9184k| 361.5 | 268M | 40 | 919 |6955 |4431 |4567 | 0 |3783 | 36 | 0.000000e+00 | -- | Inf | unknown
1383.61/1387.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1383.61/1387.33 c 1387s| 21300 | 47 | 9214k| 361.2 | 268M | 40 | 919 |7013 |4431 |4568 | 1 |3845 | 36 | 0.000000e+00 | -- | Inf | unknown
1388.20/1391.95 c 1392s| 21400 | 46 | 9246k| 361.1 | 268M | 40 | 919 |7035 |4431 |4569 | 0 |3893 | 36 | 0.000000e+00 | -- | Inf | unknown
1392.29/1396.01 c 1396s| 21500 | 44 | 9275k| 360.8 | 268M | 40 | 919 |7038 |4427 |4582 | 0 |3909 | 36 | 0.000000e+00 | -- | Inf | unknown
1397.07/1400.83 c 1401s| 21600 | 44 | 9309k| 360.7 | 268M | 40 | 919 |7058 |4423 |4598 | 1 |3937 | 36 | 0.000000e+00 | -- | Inf | unknown
1400.76/1404.54 c 1405s| 21700 | 44 | 9334k| 360.3 | 268M | 40 | 919 |7063 |4423 |4607 | 0 |3950 | 36 | 0.000000e+00 | -- | Inf | unknown
1405.05/1408.83 c 1409s| 21800 | 44 | 9365k| 360.1 | 268M | 40 | 919 |7068 |4431 |4616 | 1 |3957 | 36 | 0.000000e+00 | -- | Inf | unknown
1409.14/1412.96 c 1413s| 21900 | 46 | 9395k| 359.8 | 268M | 40 | 919 |7088 |4430 |4627 | 0 |3983 | 36 | 0.000000e+00 | -- | Inf | unknown
1413.33/1417.10 c 1417s| 22000 | 46 | 9425k| 359.6 | 268M | 40 | 919 |7170 |4432 |4632 | 1 |4065 | 36 | 0.000000e+00 | -- | Inf | unknown
1417.22/1421.02 c 1421s| 22100 | 46 | 9453k| 359.3 | 268M | 40 | 919 |7253 |4432 |4632 | 0 |4148 | 36 | 0.000000e+00 | -- | Inf | unknown
1422.20/1426.01 c 1426s| 22200 | 46 | 9488k| 359.3 | 268M | 40 | 919 |7329 |4430 |4640 | 0 |4224 | 36 | 0.000000e+00 | -- | Inf | unknown
1426.19/1430.09 c 1430s| 22300 | 44 | 9517k| 359.0 | 268M | 40 | 919 |7393 |4432 |4645 | 1 |4288 | 36 | 0.000000e+00 | -- | Inf | unknown
1430.47/1434.32 c 1434s| 22400 | 46 | 9547k| 358.8 | 268M | 40 | 919 |7448 |4432 |4648 | 0 |4343 | 36 | 0.000000e+00 | -- | Inf | unknown
1434.56/1438.44 c 1438s| 22500 | 48 | 9577k| 358.6 | 268M | 40 | 919 |7495 |4431 |4654 | 0 |4390 | 36 | 0.000000e+00 | -- | Inf | unknown
1438.75/1442.65 c 1443s| 22600 | 50 | 9607k| 358.3 | 268M | 40 | 919 |7572 |4432 |4655 | 1 |4467 | 36 | 0.000000e+00 | -- | Inf | unknown
1442.64/1446.58 c 1447s| 22700 | 44 | 9635k| 358.1 | 268M | 40 | 919 |7641 |4431 |4656 | 0 |4536 | 36 | 0.000000e+00 | -- | Inf | unknown
1446.23/1450.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1446.23/1450.10 c 1450s| 22800 | 49 | 9661k| 357.7 | 268M | 40 | 919 |7713 |4432 |4656 | 1 |4608 | 36 | 0.000000e+00 | -- | Inf | unknown
1450.71/1454.63 c 1455s| 22900 | 47 | 9694k| 357.6 | 268M | 40 | 919 |7802 |4430 |4656 | 1 |4697 | 36 | 0.000000e+00 | -- | Inf | unknown
1454.80/1458.72 c 1459s| 23000 | 47 | 9723k| 357.4 | 268M | 40 | 919 |7879 |4432 |4661 | 0 |4774 | 36 | 0.000000e+00 | -- | Inf | unknown
1458.99/1462.97 c 1463s| 23100 | 43 | 9753k| 357.1 | 268M | 40 | 919 |7933 |4432 |4666 | 0 |4828 | 36 | 0.000000e+00 | -- | Inf | unknown
1463.48/1467.43 c 1467s| 23200 | 41 | 9785k| 357.0 | 268M | 40 | 919 |7958 |4431 |4670 | 0 |4853 | 36 | 0.000000e+00 | -- | Inf | unknown
1467.76/1471.70 c 1472s| 23300 | 55 | 9814k| 356.8 | 268M | 40 | 919 |7953 |4425 |4678 | 1 |4874 | 36 | 0.000000e+00 | -- | Inf | unknown
1470.95/1474.97 c 1475s| 23400 | 53 | 9838k| 356.3 | 268M | 40 | 919 |7946 |4423 |4683 | 0 |4882 | 36 | 0.000000e+00 | -- | Inf | unknown
1474.34/1478.34 c 1478s| 23500 | 49 | 9862k| 355.9 | 268M | 40 | 919 |7940 |4424 |4685 | 0 |4882 | 36 | 0.000000e+00 | -- | Inf | unknown
1478.04/1482.09 c 1482s| 23600 | 51 | 9889k| 355.6 | 268M | 40 | 919 |7938 |4426 |4687 | 1 |4882 | 36 | 0.000000e+00 | -- | Inf | unknown
1482.13/1486.13 c 1486s| 23700 | 51 | 9919k| 355.4 | 268M | 40 | 919 |7941 |4428 |4690 | 2 |4886 | 36 | 0.000000e+00 | -- | Inf | unknown
1485.61/1489.68 c 1490s| 23800 | 53 | 9943k| 355.0 | 268M | 40 | 919 |7944 |4424 |4703 | 1 |4889 | 36 | 0.000000e+00 | -- | Inf | unknown
1489.00/1493.08 c 1493s| 23900 | 55 | 9967k| 354.6 | 268M | 40 | 919 |7944 |4424 |4712 | 1 |4889 | 36 | 0.000000e+00 | -- | Inf | unknown
1492.99/1497.05 c 1497s| 24000 | 49 | 9996k| 354.3 | 268M | 40 | 919 |7944 |4428 |4713 | 1 |4889 | 36 | 0.000000e+00 | -- | Inf | unknown
1496.78/1500.89 c 1501s| 24100 | 51 | 10023k| 354.1 | 268M | 40 | 919 |7944 |4427 |4718 | 0 |4889 | 36 | 0.000000e+00 | -- | Inf | unknown
1500.86/1504.95 c 1505s| 24200 | 55 | 10053k| 353.9 | 268M | 40 | 919 |7945 |4425 |4735 | 1 |4890 | 36 | 0.000000e+00 | -- | Inf | unknown
1504.96/1509.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1504.96/1509.00 c 1509s| 24300 | 47 | 10081k| 353.6 | 268M | 40 | 919 |7946 |4424 |4743 | 0 |4891 | 36 | 0.000000e+00 | -- | Inf | unknown
1508.64/1512.75 c 1513s| 24400 | 51 | 10107k| 353.3 | 268M | 40 | 919 |7946 |4424 |4762 | 0 |4891 | 36 | 0.000000e+00 | -- | Inf | unknown
1511.94/1516.08 c 1516s| 24500 | 49 | 10131k| 352.9 | 268M | 40 | 919 |7946 |4424 |4762 | 1 |4891 | 36 | 0.000000e+00 | -- | Inf | unknown
1515.52/1519.61 c 1520s| 24600 | 49 | 10157k| 352.5 | 268M | 40 | 919 |7946 |4426 |4774 | 0 |4891 | 36 | 0.000000e+00 | -- | Inf | unknown
1519.51/1523.68 c 1524s| 24700 | 53 | 10185k| 352.3 | 268M | 40 | 919 |7946 |4426 |4799 | 0 |4891 | 36 | 0.000000e+00 | -- | Inf | unknown
1523.50/1527.65 c 1528s| 24800 | 49 | 10214k| 352.1 | 268M | 40 | 919 |7946 |4426 |4808 | 0 |4891 | 36 | 0.000000e+00 | -- | Inf | unknown
1528.48/1532.63 c 1533s| 24900 | 51 | 10247k| 352.0 | 269M | 40 | 919 |8002 |4428 |4841 | 1 |4947 | 36 | 0.000000e+00 | -- | Inf | unknown
1533.37/1537.54 c 1538s| 25000 | 53 | 10281k| 352.0 | 269M | 40 | 919 |8019 |4426 |4860 | 0 |4966 | 36 | 0.000000e+00 | -- | Inf | unknown
1537.06/1541.25 c 1541s| 25100 | 52 | 10307k| 351.7 | 269M | 40 | 919 |8056 |4428 |4882 | 1 |5003 | 36 | 0.000000e+00 | -- | Inf | unknown
1541.24/1545.41 c 1545s| 25200 | 46 | 10337k| 351.5 | 269M | 40 | 919 |8102 |4425 |4883 | 1 |5050 | 36 | 0.000000e+00 | -- | Inf | unknown
1545.13/1549.35 c 1549s| 25300 | 48 | 10365k| 351.2 | 269M | 40 | 919 |8120 |4430 |4905 | 1 |5068 | 36 | 0.000000e+00 | -- | Inf | unknown
1551.01/1555.29 c 1555s| 25400 | 52 | 10395k| 351.1 | 269M | 40 | 919 |8136 |4429 |4924 | 1 |5086 | 36 | 0.000000e+00 | -- | Inf | unknown
1556.00/1560.22 c 1560s| 25500 | 52 | 10428k| 351.0 | 269M | 40 | 919 |8160 |4425 |4967 | 1 |5110 | 36 | 0.000000e+00 | -- | Inf | unknown
1560.18/1564.45 c 1564s| 25600 | 50 | 10458k| 350.8 | 269M | 40 | 919 |8167 |4426 |4980 | 1 |5117 | 36 | 0.000000e+00 | -- | Inf | unknown
1564.47/1568.70 c 1569s| 25700 | 48 | 10487k| 350.6 | 269M | 40 | 919 |8177 |4428 |4982 | 0 |5127 | 36 | 0.000000e+00 | -- | Inf | unknown
1568.56/1572.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1568.56/1572.83 c 1573s| 25800 | 46 | 10516k| 350.4 | 269M | 40 | 919 |8194 |4431 |4988 | 1 |5145 | 36 | 0.000000e+00 | -- | Inf | unknown
1572.75/1577.07 c 1577s| 25900 | 50 | 10546k| 350.2 | 269M | 40 | 919 |8230 |4426 |5004 | 1 |5186 | 36 | 0.000000e+00 | -- | Inf | unknown
1576.53/1580.84 c 1581s| 26000 | 46 | 10572k| 349.9 | 269M | 40 | 919 |8228 |4432 |5008 | 1 |5193 | 36 | 0.000000e+00 | -- | Inf | unknown
1581.62/1585.98 c 1586s| 26100 | 52 | 10607k| 350.0 | 269M | 40 | 919 |8228 |4425 |5040 | 0 |5203 | 36 | 0.000000e+00 | -- | Inf | unknown
1585.41/1589.77 c 1590s| 26200 | 48 | 10634k| 349.7 | 269M | 40 | 919 |8239 |4425 |5040 | 0 |5214 | 36 | 0.000000e+00 | -- | Inf | unknown
1589.30/1593.64 c 1594s| 26300 | 50 | 10662k| 349.4 | 269M | 40 | 919 |8241 |4428 |5053 | 1 |5216 | 36 | 0.000000e+00 | -- | Inf | unknown
1593.79/1598.14 c 1598s| 26400 | 46 | 10693k| 349.3 | 269M | 40 | 919 |8245 |4431 |5059 | 2 |5220 | 36 | 0.000000e+00 | -- | Inf | unknown
1597.68/1602.02 c 1602s| 26500 | 46 | 10721k| 349.1 | 269M | 40 | 919 |8241 |4429 |5068 | 0 |5220 | 36 | 0.000000e+00 | -- | Inf | unknown
1603.05/1607.42 c 1607s| 26600 | 50 | 10759k| 349.2 | 269M | 40 | 919 |8238 |4429 |5091 | 1 |5220 | 36 | 0.000000e+00 | -- | Inf | unknown
1606.75/1611.13 c 1611s| 26700 | 48 | 10786k| 348.9 | 269M | 40 | 919 |8234 |4427 |5091 | 0 |5220 | 36 | 0.000000e+00 | -- | Inf | unknown
1611.23/1615.65 c 1616s| 26800 | 48 | 10818k| 348.8 | 269M | 40 | 919 |8234 |4426 |5109 | 0 |5220 | 36 | 0.000000e+00 | -- | Inf | unknown
1620.20/1624.64 c 1625s| 26900 | 48 | 10855k| 348.9 | 269M | 40 | 919 |8234 |4426 |5130 | 0 |5220 | 36 | 0.000000e+00 | -- | Inf | unknown
1624.49/1628.98 c 1629s| 27000 | 50 | 10885k| 348.8 | 269M | 40 | 919 |8236 |4426 |5144 | 1 |5227 | 36 | 0.000000e+00 | -- | Inf | unknown
1628.69/1633.19 c 1633s| 27100 | 44 | 10915k| 348.6 | 269M | 40 | 919 |8236 |4431 |5151 | 0 |5232 | 36 | 0.000000e+00 | -- | Inf | unknown
1633.67/1638.13 c 1638s| 27200 | 50 | 10949k| 348.6 | 269M | 40 | 919 |8227 |4424 |5177 | 1 |5238 | 36 | 0.000000e+00 | -- | Inf | unknown
1637.66/1642.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1637.66/1642.15 c 1642s| 27300 | 50 | 10977k| 348.4 | 269M | 40 | 919 |8223 |4427 |5203 | 0 |5238 | 36 | 0.000000e+00 | -- | Inf | unknown
1641.84/1646.37 c 1646s| 27400 | 52 | 11007k| 348.2 | 269M | 40 | 919 |8218 |4427 |5233 | 1 |5238 | 36 | 0.000000e+00 | -- | Inf | unknown
1646.03/1650.57 c 1651s| 27500 | 52 | 11035k| 348.0 | 269M | 40 | 919 |8218 |4429 |5252 | 0 |5238 | 36 | 0.000000e+00 | -- | Inf | unknown
1650.71/1655.27 c 1655s| 27600 | 54 | 11067k| 347.9 | 269M | 40 | 919 |8218 |4427 |5254 | 0 |5238 | 36 | 0.000000e+00 | -- | Inf | unknown
1654.80/1659.32 c 1659s| 27700 | 50 | 11096k| 347.7 | 269M | 40 | 919 |8217 |4427 |5260 | 1 |5238 | 36 | 0.000000e+00 | -- | Inf | unknown
1658.99/1663.58 c 1664s| 27800 | 46 | 11126k| 347.6 | 269M | 40 | 919 |8213 |4427 |5260 | 0 |5238 | 36 | 0.000000e+00 | -- | Inf | unknown
1663.48/1668.04 c 1668s| 27900 | 50 | 11157k| 347.5 | 269M | 40 | 919 |8210 |4427 |5286 | 1 |5238 | 36 | 0.000000e+00 | -- | Inf | unknown
1667.47/1672.03 c 1672s| 28000 | 48 | 11186k| 347.3 | 269M | 40 | 919 |8209 |4427 |5296 | 1 |5238 | 36 | 0.000000e+00 | -- | Inf | unknown
1671.95/1676.59 c 1677s| 28100 | 48 | 11218k| 347.2 | 269M | 40 | 919 |8211 |4428 |5314 | 1 |5240 | 36 | 0.000000e+00 | -- | Inf | unknown
1676.74/1681.32 c 1681s| 28200 | 48 | 11251k| 347.1 | 269M | 40 | 919 |8211 |4428 |5323 | 1 |5240 | 36 | 0.000000e+00 | -- | Inf | unknown
1680.72/1685.30 c 1685s| 28300 | 44 | 11279k| 346.9 | 269M | 40 | 919 |8211 |4427 |5325 | 0 |5240 | 36 | 0.000000e+00 | -- | Inf | unknown
1685.31/1689.99 c 1690s| 28400 | 44 | 11312k| 346.9 | 269M | 40 | 919 |8214 |4427 |5334 | 1 |5243 | 36 | 0.000000e+00 | -- | Inf | unknown
1689.10/1693.75 c 1694s| 28500 | 44 | 11338k| 346.6 | 269M | 40 | 919 |8214 |4426 |5344 | 0 |5243 | 36 | 0.000000e+00 | -- | Inf | unknown
1692.89/1697.52 c 1698s| 28600 | 48 | 11364k| 346.3 | 269M | 40 | 919 |8213 |4427 |5345 | 0 |5245 | 36 | 0.000000e+00 | -- | Inf | unknown
1696.98/1701.67 c 1702s| 28700 | 50 | 11394k| 346.2 | 269M | 40 | 919 |8209 |4425 |5369 | 1 |5245 | 36 | 0.000000e+00 | -- | Inf | unknown
1701.06/1705.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1701.06/1705.75 c 1706s| 28800 | 52 | 11423k| 346.0 | 269M | 40 | 919 |8211 |4426 |5383 | 1 |5247 | 36 | 0.000000e+00 | -- | Inf | unknown
1705.75/1710.44 c 1710s| 28900 | 56 | 11454k| 345.9 | 269M | 40 | 919 |8225 |4428 |5401 | 1 |5262 | 36 | 0.000000e+00 | -- | Inf | unknown
1709.64/1714.36 c 1714s| 29000 | 56 | 11482k| 345.7 | 269M | 40 | 919 |8225 |4427 |5423 | 1 |5262 | 36 | 0.000000e+00 | -- | Inf | unknown
1714.13/1718.80 c 1719s| 29100 | 58 | 11514k| 345.6 | 269M | 40 | 919 |8225 |4424 |5446 | 1 |5262 | 36 | 0.000000e+00 | -- | Inf | unknown
1717.81/1722.54 c 1723s| 29200 | 56 | 11540k| 345.4 | 269M | 40 | 919 |8225 |4425 |5457 | 0 |5262 | 36 | 0.000000e+00 | -- | Inf | unknown
1722.00/1726.72 c 1727s| 29300 | 56 | 11570k| 345.2 | 269M | 40 | 919 |8226 |4424 |5472 | 0 |5268 | 36 | 0.000000e+00 | -- | Inf | unknown
1726.09/1730.83 c 1731s| 29400 | 58 | 11599k| 345.1 | 269M | 40 | 919 |8225 |4427 |5489 | 0 |5268 | 36 | 0.000000e+00 | -- | Inf | unknown
1730.18/1734.95 c 1735s| 29500 | 64 | 11628k| 344.9 | 269M | 40 | 919 |8225 |4428 |5510 | 1 |5268 | 36 | 0.000000e+00 | -- | Inf | unknown
1734.37/1739.17 c 1739s| 29600 | 58 | 11658k| 344.8 | 269M | 40 | 919 |8225 |4424 |5512 | 1 |5268 | 36 | 0.000000e+00 | -- | Inf | unknown
1738.45/1743.29 c 1743s| 29700 | 54 | 11686k| 344.6 | 269M | 40 | 919 |8226 |4426 |5530 | 1 |5269 | 36 | 0.000000e+00 | -- | Inf | unknown
1742.25/1747.07 c 1747s| 29800 | 52 | 11713k| 344.4 | 269M | 40 | 919 |8226 |4428 |5530 | 1 |5269 | 36 | 0.000000e+00 | -- | Inf | unknown
1746.63/1751.40 c 1751s| 29900 | 54 | 11742k| 344.2 | 269M | 40 | 919 |8230 |4427 |5542 | 0 |5273 | 36 | 0.000000e+00 | -- | Inf | unknown
1751.02/1755.81 c 1756s| 30000 | 54 | 11773k| 344.1 | 269M | 40 | 919 |8230 |4427 |5548 | 0 |5273 | 36 | 0.000000e+00 | -- | Inf | unknown
1755.21/1760.09 c 1760s| 30100 | 52 | 11804k| 344.0 | 269M | 40 | 919 |8230 |4428 |5553 | 0 |5273 | 36 | 0.000000e+00 | -- | Inf | unknown
1765.07/1769.95 c 1770s| 30200 | 54 | 11848k| 344.3 | 269M | 40 | 919 |8230 |4425 |5559 | 0 |5273 | 36 | 0.000000e+00 | -- | Inf | unknown
1768.76/1773.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1768.76/1773.61 c 1774s| 30300 | 56 | 11874k| 344.1 | 269M | 40 | 919 |8230 |4423 |5568 | 1 |5273 | 36 | 0.000000e+00 | -- | Inf | unknown
1772.95/1777.82 c 1778s| 30400 | 58 | 11903k| 343.9 | 269M | 40 | 919 |8233 |4423 |5584 | 1 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1777.84/1782.70 c 1783s| 30500 | 58 | 11938k| 343.9 | 269M | 40 | 919 |8231 |4426 |5621 | 0 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1781.92/1786.85 c 1787s| 30600 | 60 | 11968k| 343.8 | 269M | 40 | 919 |8231 |4426 |5638 | 0 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1785.81/1790.76 c 1791s| 30700 | 62 | 11997k| 343.6 | 269M | 40 | 919 |8231 |4426 |5652 | 1 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1789.40/1794.36 c 1794s| 30800 | 60 | 12023k| 343.4 | 269M | 40 | 919 |8231 |4426 |5652 | 1 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1793.59/1798.52 c 1799s| 30900 | 58 | 12053k| 343.3 | 269M | 40 | 919 |8231 |4425 |5658 | 0 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1797.68/1802.63 c 1803s| 31000 | 60 | 12083k| 343.1 | 269M | 40 | 919 |8231 |4426 |5670 | 1 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1801.27/1806.20 c 1806s| 31100 | 56 | 12109k| 342.9 | 269M | 40 | 919 |8231 |4426 |5670 | 0 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1805.85/1810.85 c 1811s| 31200 | 56 | 12143k| 342.9 | 269M | 40 | 919 |8230 |4428 |5686 | 0 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1809.44/1814.50 c 1814s| 31300 | 58 | 12169k| 342.7 | 269M | 40 | 919 |8229 |4427 |5694 | 1 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1813.83/1818.88 c 1819s| 31400 | 58 | 12201k| 342.6 | 269M | 40 | 919 |8227 |4425 |5701 | 0 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1818.12/1823.18 c 1823s| 31500 | 62 | 12232k| 342.5 | 269M | 40 | 919 |8227 |4425 |5703 | 1 |5276 | 36 | 0.000000e+00 | -- | Inf | unknown
1822.60/1827.66 c 1828s| 31600 | 62 | 12263k| 342.4 | 269M | 40 | 919 |8230 |4425 |5705 | 1 |5280 | 36 | 0.000000e+00 | -- | Inf | unknown
1826.10/1831.15 c 1831s| 31700 | 62 | 12289k| 342.2 | 269M | 40 | 919 |8230 |4425 |5705 | 1 |5280 | 36 | 0.000000e+00 | -- | Inf | unknown
1829.88/1834.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1829.88/1834.98 c 1835s| 31800 | 60 | 12316k| 342.0 | 269M | 40 | 919 |8230 |4425 |5707 | 0 |5280 | 36 | 0.000000e+00 | -- | Inf | unknown
1833.67/1838.75 c 1839s| 31900 | 64 | 12344k| 341.8 | 269M | 40 | 919 |8230 |4425 |5707 | 1 |5280 | 36 | 0.000000e+00 | -- | Inf | unknown
1837.46/1842.58 c 1843s| 32000 | 58 | 12372k| 341.6 | 269M | 40 | 919 |8230 |4425 |5707 | 0 |5280 | 36 | 0.000000e+00 | -- | Inf | unknown
1841.85/1846.95 c 1847s| 32100 | 54 | 12404k| 341.6 | 269M | 40 | 919 |8230 |4428 |5724 | 0 |5280 | 36 | 0.000000e+00 | -- | Inf | unknown
1846.83/1851.91 c 1852s| 32200 | 58 | 12439k| 341.6 | 269M | 40 | 919 |8230 |4426 |5765 | 1 |5280 | 36 | 0.000000e+00 | -- | Inf | unknown
1851.12/1856.20 c 1856s| 32300 | 54 | 12470k| 341.5 | 269M | 40 | 919 |8227 |4426 |5779 | 0 |5280 | 36 | 0.000000e+00 | -- | Inf | unknown
1857.10/1862.29 c 1862s| 32400 | 60 | 12511k| 341.7 | 269M | 40 | 919 |8233 |4425 |5800 | 0 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1861.89/1867.04 c 1867s| 32500 | 58 | 12546k| 341.7 | 269M | 40 | 919 |8233 |4425 |5806 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1866.17/1871.31 c 1871s| 32600 | 56 | 12577k| 341.6 | 269M | 40 | 919 |8233 |4425 |5806 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1870.87/1876.02 c 1876s| 32700 | 58 | 12610k| 341.6 | 269M | 40 | 919 |8233 |4424 |5813 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1875.25/1880.46 c 1880s| 32800 | 56 | 12643k| 341.6 | 269M | 40 | 919 |8233 |4425 |5820 | 0 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1879.73/1884.98 c 1885s| 32900 | 50 | 12676k| 341.5 | 269M | 40 | 919 |8233 |4425 |5826 | 0 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1883.83/1889.08 c 1889s| 33000 | 50 | 12705k| 341.4 | 269M | 40 | 919 |8233 |4425 |5832 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1889.01/1894.22 c 1894s| 33100 | 52 | 12741k| 341.5 | 269M | 40 | 919 |8233 |4424 |5867 | 0 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1892.90/1898.19 c 1898s| 33200 | 54 | 12770k| 341.3 | 269M | 40 | 919 |8233 |4425 |5867 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1897.18/1902.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1897.18/1902.42 c 1902s| 33300 | 54 | 12800k| 341.2 | 269M | 40 | 919 |8233 |4424 |5867 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1901.87/1907.13 c 1907s| 33400 | 54 | 12833k| 341.2 | 269M | 40 | 919 |8233 |4425 |5875 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1905.56/1910.86 c 1911s| 33500 | 50 | 12860k| 341.0 | 269M | 40 | 919 |8233 |4424 |5877 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1909.45/1914.77 c 1915s| 33600 | 46 | 12888k| 340.8 | 269M | 40 | 919 |8233 |4424 |5877 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1914.23/1919.56 c 1920s| 33700 | 52 | 12923k| 340.8 | 269M | 40 | 919 |8233 |4426 |5898 | 0 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1918.12/1923.48 c 1923s| 33800 | 50 | 12951k| 340.7 | 269M | 40 | 919 |8233 |4426 |5906 | 1 |5287 | 36 | 0.000000e+00 | -- | Inf | unknown
1922.31/1927.68 c 1928s| 33900 | 50 | 12981k| 340.6 | 269M | 40 | 919 |8240 |4426 |5915 | 0 |5294 | 36 | 0.000000e+00 | -- | Inf | unknown
1926.30/1931.68 c 1932s| 34000 | 48 | 13010k| 340.5 | 269M | 40 | 919 |8240 |4425 |5917 | 0 |5294 | 36 | 0.000000e+00 | -- | Inf | unknown
1930.88/1936.28 c 1936s| 34100 | 48 | 13043k| 340.4 | 269M | 40 | 919 |8240 |4426 |5924 | 1 |5294 | 36 | 0.000000e+00 | -- | Inf | unknown
1935.97/1941.34 c 1941s| 34200 | 50 | 13078k| 340.4 | 269M | 40 | 919 |8246 |4426 |5939 | 1 |5300 | 36 | 0.000000e+00 | -- | Inf | unknown
1940.95/1946.36 c 1946s| 34300 | 50 | 13112k| 340.5 | 269M | 40 | 919 |8250 |4426 |5943 | 1 |5304 | 36 | 0.000000e+00 | -- | Inf | unknown
1945.44/1950.87 c 1951s| 34400 | 50 | 13144k| 340.4 | 269M | 40 | 919 |8250 |4426 |5950 | 1 |5304 | 36 | 0.000000e+00 | -- | Inf | unknown
1949.73/1955.13 c 1955s| 34500 | 50 | 13174k| 340.3 | 269M | 40 | 919 |8250 |4426 |5952 | 1 |5304 | 36 | 0.000000e+00 | -- | Inf | unknown
1954.21/1959.62 c 1960s| 34600 | 46 | 13207k| 340.3 | 269M | 40 | 919 |8250 |4425 |5956 | 1 |5304 | 36 | 0.000000e+00 | -- | Inf | unknown
1958.71/1964.11 c 1964s| 34700 | 48 | 13239k| 340.2 | 269M | 40 | 919 |8247 |4426 |5975 | 0 |5304 | 36 | 0.000000e+00 | -- | Inf | unknown
1963.29/1968.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1963.29/1968.74 c 1969s| 34800 | 52 | 13272k| 340.2 | 269M | 40 | 919 |8246 |4423 |5988 | 0 |5304 | 36 | 0.000000e+00 | -- | Inf | unknown
1967.77/1973.21 c 1973s| 34900 | 46 | 13304k| 340.2 | 269M | 40 | 919 |8245 |4426 |5991 | 0 |5304 | 36 | 0.000000e+00 | -- | Inf | unknown
1972.26/1977.72 c 1978s| 35000 | 52 | 13336k| 340.1 | 269M | 40 | 919 |8245 |4426 |5999 | 1 |5304 | 36 | 0.000000e+00 | -- | Inf | unknown
1976.45/1981.92 c 1982s| 35100 | 46 | 13366k| 340.0 | 269M | 40 | 919 |8245 |4426 |5999 | 0 |5304 | 36 | 0.000000e+00 | -- | Inf | unknown
1981.33/1986.80 c 1987s| 35200 | 48 | 13400k| 340.0 | 269M | 40 | 919 |8248 |4425 |5999 | 1 |5308 | 36 | 0.000000e+00 | -- | Inf | unknown
1986.12/1991.60 c 1992s| 35300 | 46 | 13435k| 340.0 | 269M | 40 | 919 |8247 |4425 |6006 | 0 |5308 | 36 | 0.000000e+00 | -- | Inf | unknown
1990.10/1995.66 c 1996s| 35400 | 50 | 13462k| 339.8 | 269M | 40 | 919 |8242 |4426 |6021 | 0 |5311 | 36 | 0.000000e+00 | -- | Inf | unknown
1994.60/2000.19 c 2000s| 35500 | 52 | 13493k| 339.8 | 269M | 40 | 919 |8248 |4426 |6029 | 0 |5318 | 36 | 0.000000e+00 | -- | Inf | unknown
1998.98/2004.53 c 2005s| 35600 | 54 | 13523k| 339.7 | 269M | 40 | 919 |8247 |4428 |6067 | 0 |5318 | 36 | 0.000000e+00 | -- | Inf | unknown
2003.17/2008.73 c 2009s| 35700 | 50 | 13554k| 339.6 | 269M | 40 | 919 |8247 |4426 |6077 | 0 |5318 | 36 | 0.000000e+00 | -- | Inf | unknown
2007.46/2013.05 c 2013s| 35800 | 50 | 13585k| 339.5 | 269M | 40 | 919 |8246 |4427 |6086 | 1 |5318 | 36 | 0.000000e+00 | -- | Inf | unknown
2012.44/2018.02 c 2018s| 35900 | 48 | 13618k| 339.5 | 269M | 40 | 919 |8255 |4425 |6120 | 0 |5327 | 36 | 0.000000e+00 | -- | Inf | unknown
2017.02/2022.65 c 2023s| 36000 | 50 | 13650k| 339.4 | 269M | 40 | 919 |8260 |4427 |6123 | 0 |5332 | 36 | 0.000000e+00 | -- | Inf | unknown
2022.51/2028.14 c 2028s| 36100 | 50 | 13688k| 339.5 | 269M | 40 | 919 |8260 |4426 |6135 | 0 |5332 | 36 | 0.000000e+00 | -- | Inf | unknown
2026.60/2032.28 c 2032s| 36200 | 50 | 13717k| 339.4 | 269M | 40 | 919 |8260 |4425 |6140 | 0 |5332 | 36 | 0.000000e+00 | -- | Inf | unknown
2030.78/2036.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2030.78/2036.47 c 2036s| 36300 | 50 | 13747k| 339.3 | 269M | 40 | 919 |8260 |4425 |6148 | 0 |5332 | 36 | 0.000000e+00 | -- | Inf | unknown
2035.38/2041.10 c 2041s| 36400 | 52 | 13780k| 339.3 | 269M | 40 | 919 |8260 |4425 |6155 | 1 |5332 | 36 | 0.000000e+00 | -- | Inf | unknown
2040.46/2046.18 c 2046s| 36500 | 46 | 13816k| 339.3 | 269M | 40 | 919 |8260 |4426 |6167 | 0 |5332 | 36 | 0.000000e+00 | -- | Inf | unknown
2045.94/2051.68 c 2052s| 36600 | 48 | 13853k| 339.4 | 269M | 40 | 919 |8263 |4425 |6210 | 1 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2051.22/2056.91 c 2057s| 36700 | 50 | 13890k| 339.5 | 269M | 40 | 919 |8263 |4428 |6220 | 1 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2056.41/2062.18 c 2062s| 36800 | 48 | 13927k| 339.6 | 269M | 40 | 919 |8263 |4426 |6249 | 1 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2060.60/2066.34 c 2066s| 36900 | 50 | 13957k| 339.5 | 269M | 40 | 919 |8263 |4427 |6259 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2064.58/2070.39 c 2070s| 37000 | 52 | 13986k| 339.4 | 269M | 40 | 919 |8263 |4426 |6262 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2068.87/2074.61 c 2075s| 37100 | 50 | 14017k| 339.3 | 269M | 40 | 919 |8263 |4426 |6267 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2073.26/2079.06 c 2079s| 37200 | 50 | 14049k| 339.2 | 269M | 40 | 919 |8260 |4424 |6274 | 1 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2077.94/2083.70 c 2084s| 37300 | 48 | 14083k| 339.2 | 269M | 40 | 919 |8260 |4424 |6278 | 1 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2083.13/2088.91 c 2089s| 37400 | 50 | 14120k| 339.3 | 269M | 40 | 919 |8260 |4423 |6292 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2087.91/2093.79 c 2094s| 37500 | 50 | 14154k| 339.3 | 269M | 40 | 919 |8260 |4426 |6301 | 1 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2092.60/2098.42 c 2098s| 37600 | 50 | 14188k| 339.3 | 269M | 40 | 919 |8260 |4424 |6302 | 1 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2097.39/2103.20 c 2103s| 37700 | 44 | 14222k| 339.3 | 269M | 40 | 919 |8260 |4425 |6303 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2102.07/2107.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2102.07/2107.98 c 2108s| 37800 | 46 | 14256k| 339.3 | 269M | 40 | 919 |8259 |4427 |6315 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2106.46/2112.32 c 2112s| 37900 | 48 | 14287k| 339.3 | 269M | 40 | 919 |8257 |4428 |6339 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2111.34/2117.29 c 2117s| 38000 | 46 | 14323k| 339.3 | 269M | 40 | 919 |8256 |4427 |6359 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2116.53/2122.44 c 2122s| 38100 | 48 | 14361k| 339.4 | 269M | 40 | 919 |8256 |4425 |6371 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2120.52/2126.41 c 2126s| 38200 | 50 | 14390k| 339.3 | 269M | 40 | 919 |8256 |4424 |6377 | 1 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2125.11/2131.05 c 2131s| 38300 | 48 | 14423k| 339.2 | 269M | 40 | 919 |8256 |4424 |6391 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2129.49/2135.42 c 2135s| 38400 | 46 | 14454k| 339.2 | 269M | 40 | 919 |8256 |4425 |6398 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2133.78/2139.72 c 2140s| 38500 | 44 | 14485k| 339.1 | 269M | 40 | 919 |8256 |4426 |6402 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2142.95/2148.93 c 2149s| 38600 | 44 | 14527k| 339.3 | 269M | 40 | 919 |8256 |4426 |6413 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2147.44/2153.40 c 2153s| 38700 | 42 | 14559k| 339.3 | 269M | 40 | 919 |8256 |4426 |6427 | 1 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2152.03/2158.06 c 2158s| 38800 | 38 | 14592k| 339.2 | 269M | 40 | 919 |8256 |4424 |6429 | 0 |5335 | 36 | 0.000000e+00 | -- | Inf | unknown
2158.70/2164.71 c 2165s| 38900 | 50 | 14634k| 339.4 | 269M | 40 | 919 |8238 |4425 |6460 | 1 |5356 | 36 | 0.000000e+00 | -- | Inf | unknown
2162.79/2168.89 c 2169s| 39000 | 56 | 14664k| 339.3 | 269M | 40 | 919 |8233 |4429 |6479 | 1 |5358 | 36 | 0.000000e+00 | -- | Inf | unknown
2167.28/2173.38 c 2173s| 39100 | 58 | 14696k| 339.3 | 269M | 40 | 919 |8234 |4430 |6492 | 0 |5368 | 36 | 0.000000e+00 | -- | Inf | unknown
2171.07/2177.10 c 2177s| 39200 | 60 | 14722k| 339.1 | 269M | 40 | 919 |8240 |4429 |6501 | 0 |5377 | 36 | 0.000000e+00 | -- | Inf | unknown
2175.65/2181.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2175.65/2181.71 c 2182s| 39300 | 70 | 14753k| 339.1 | 269M | 40 | 919 |8242 |4428 |6508 | 0 |5380 | 36 | 0.000000e+00 | -- | Inf | unknown
2179.05/2185.17 c 2185s| 39400 | 64 | 14778k| 338.8 | 269M | 40 | 919 |8244 |4431 |6516 | 1 |5383 | 36 | 0.000000e+00 | -- | Inf | unknown
2182.43/2188.56 c 2189s| 39500 | 64 | 14802k| 338.6 | 269M | 40 | 919 |8244 |4430 |6521 | 1 |5383 | 36 | 0.000000e+00 | -- | Inf | unknown
2186.42/2192.51 c 2193s| 39600 | 72 | 14829k| 338.5 | 269M | 40 | 919 |8254 |4434 |6537 | 1 |5398 | 36 | 0.000000e+00 | -- | Inf | unknown
2190.61/2196.72 c 2197s| 39700 | 64 | 14858k| 338.4 | 269M | 40 | 919 |8263 |4433 |6558 | 0 |5409 | 36 | 0.000000e+00 | -- | Inf | unknown
2194.20/2200.32 c 2200s| 39800 | 68 | 14883k| 338.2 | 270M | 40 | 919 |8272 |4434 |6578 | 1 |5420 | 36 | 0.000000e+00 | -- | Inf | unknown
2198.39/2204.50 c 2204s| 39900 | 70 | 14913k| 338.1 | 270M | 40 | 919 |8288 |4435 |6598 | 1 |5436 | 36 | 0.000000e+00 | -- | Inf | unknown
2202.27/2208.42 c 2208s| 40000 | 68 | 14940k| 337.9 | 270M | 41 | 919 |8288 |4440 |6632 | 0 |5436 | 36 | 0.000000e+00 | -- | Inf | unknown
2206.56/2212.75 c 2213s| 40100 | 66 | 14970k| 337.8 | 270M | 41 | 919 |8291 |4437 |6688 | 1 |5439 | 36 | 0.000000e+00 | -- | Inf | unknown
2211.75/2217.98 c 2218s| 40200 | 64 | 15008k| 337.9 | 270M | 41 | 919 |8300 |4429 |6750 | 1 |5448 | 36 | 0.000000e+00 | -- | Inf | unknown
2216.63/2222.84 c 2223s| 40300 | 62 | 15041k| 337.9 | 270M | 41 | 919 |8307 |4433 |6795 | 1 |5456 | 36 | 0.000000e+00 | -- | Inf | unknown
2220.32/2226.59 c 2227s| 40400 | 58 | 15068k| 337.7 | 270M | 41 | 919 |8307 |4438 |6833 | 1 |5456 | 36 | 0.000000e+00 | -- | Inf | unknown
2225.01/2231.22 c 2231s| 40500 | 66 | 15100k| 337.7 | 270M | 41 | 919 |8318 |4429 |6860 | 0 |5467 | 36 | 0.000000e+00 | -- | Inf | unknown
2229.99/2236.29 c 2236s| 40600 | 66 | 15135k| 337.7 | 270M | 41 | 919 |8322 |4436 |6911 | 0 |5471 | 36 | 0.000000e+00 | -- | Inf | unknown
2234.78/2241.05 c 2241s| 40700 | 64 | 15169k| 337.7 | 270M | 41 | 919 |8324 |4432 |6957 | 1 |5473 | 36 | 0.000000e+00 | -- | Inf | unknown
2239.16/2245.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2239.16/2245.48 c 2245s| 40800 | 66 | 15200k| 337.7 | 270M | 41 | 919 |8326 |4436 |6995 | 1 |5476 | 36 | 0.000000e+00 | -- | Inf | unknown
2243.35/2249.63 c 2250s| 40900 | 60 | 15229k| 337.6 | 270M | 41 | 919 |8330 |4436 |7033 | 0 |5480 | 36 | 0.000000e+00 | -- | Inf | unknown
2248.54/2254.84 c 2255s| 41000 | 62 | 15265k| 337.6 | 270M | 41 | 919 |8333 |4440 |7075 | 0 |5485 | 36 | 0.000000e+00 | -- | Inf | unknown
2253.52/2259.81 c 2260s| 41100 | 58 | 15301k| 337.7 | 270M | 41 | 919 |8331 |4428 |7127 | 1 |5485 | 36 | 0.000000e+00 | -- | Inf | unknown
2257.91/2264.20 c 2264s| 41200 | 60 | 15332k| 337.6 | 270M | 41 | 919 |8335 |4428 |7166 | 1 |5489 | 36 | 0.000000e+00 | -- | Inf | unknown
2262.89/2269.24 c 2269s| 41300 | 58 | 15367k| 337.6 | 270M | 41 | 919 |8339 |4432 |7221 | 1 |5493 | 36 | 0.000000e+00 | -- | Inf | unknown
2267.98/2274.38 c 2274s| 41400 | 60 | 15402k| 337.7 | 270M | 41 | 919 |8338 |4439 |7302 | 1 |5500 | 36 | 0.000000e+00 | -- | Inf | unknown
2272.86/2279.30 c 2279s| 41500 | 58 | 15437k| 337.7 | 270M | 41 | 919 |8341 |4438 |7343 | 0 |5503 | 36 | 0.000000e+00 | -- | Inf | unknown
2277.55/2283.97 c 2284s| 41600 | 58 | 15470k| 337.7 | 270M | 41 | 919 |8341 |4438 |7379 | 1 |5503 | 36 | 0.000000e+00 | -- | Inf | unknown
2282.04/2288.44 c 2288s| 41700 | 58 | 15501k| 337.6 | 270M | 41 | 919 |8342 |4429 |7414 | 0 |5505 | 36 | 0.000000e+00 | -- | Inf | unknown
2287.22/2293.62 c 2294s| 41800 | 56 | 15538k| 337.7 | 270M | 41 | 919 |8342 |4438 |7470 | 1 |5505 | 36 | 0.000000e+00 | -- | Inf | unknown
2291.91/2298.38 c 2298s| 41900 | 54 | 15572k| 337.7 | 270M | 41 | 919 |8345 |4439 |7520 | 2 |5508 | 36 | 0.000000e+00 | -- | Inf | unknown
2296.29/2302.78 c 2303s| 42000 | 58 | 15602k| 337.6 | 270M | 41 | 919 |8350 |4439 |7542 | 1 |5513 | 36 | 0.000000e+00 | -- | Inf | unknown
2300.59/2307.09 c 2307s| 42100 | 56 | 15633k| 337.5 | 270M | 41 | 919 |8354 |4438 |7560 | 0 |5517 | 36 | 0.000000e+00 | -- | Inf | unknown
2305.87/2312.33 c 2312s| 42200 | 54 | 15667k| 337.5 | 270M | 41 | 919 |8357 |4429 |7586 | 0 |5526 | 36 | 0.000000e+00 | -- | Inf | unknown
2311.15/2317.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2311.15/2317.61 c 2318s| 42300 | 56 | 15703k| 337.6 | 270M | 41 | 919 |8362 |4440 |7645 | 0 |5531 | 36 | 0.000000e+00 | -- | Inf | unknown
2315.74/2322.22 c 2322s| 42400 | 50 | 15735k| 337.6 | 270M | 41 | 919 |8362 |4444 |7730 | 2 |5531 | 36 | 0.000000e+00 | -- | Inf | unknown
2323.71/2330.28 c 2330s| 42500 | 58 | 15770k| 337.6 | 270M | 41 | 919 |8371 |4443 |7758 | 0 |5540 | 36 | 0.000000e+00 | -- | Inf | unknown
2328.30/2334.87 c 2335s| 42600 | 62 | 15802k| 337.5 | 270M | 41 | 919 |8375 |4441 |7772 | 2 |5548 | 36 | 0.000000e+00 | -- | Inf | unknown
2332.59/2339.19 c 2339s| 42700 | 60 | 15832k| 337.5 | 270M | 41 | 919 |8375 |4441 |7789 | 0 |5548 | 36 | 0.000000e+00 | -- | Inf | unknown
2337.27/2343.84 c 2344s| 42800 | 60 | 15865k| 337.4 | 270M | 41 | 919 |8374 |4443 |7807 | 1 |5548 | 36 | 0.000000e+00 | -- | Inf | unknown
2341.76/2348.35 c 2348s| 42900 | 60 | 15896k| 337.4 | 270M | 41 | 919 |8374 |4445 |7820 | 0 |5550 | 36 | 0.000000e+00 | -- | Inf | unknown
2346.34/2352.98 c 2353s| 43000 | 58 | 15929k| 337.4 | 270M | 41 | 919 |8374 |4443 |7833 | 0 |5550 | 36 | 0.000000e+00 | -- | Inf | unknown
2350.83/2357.42 c 2357s| 43100 | 62 | 15959k| 337.3 | 270M | 41 | 919 |8379 |4442 |7846 | 1 |5555 | 36 | 0.000000e+00 | -- | Inf | unknown
2354.92/2361.59 c 2362s| 43200 | 56 | 15989k| 337.2 | 270M | 41 | 919 |8390 |4442 |7873 | 1 |5566 | 36 | 0.000000e+00 | -- | Inf | unknown
2365.39/2372.09 c 2372s| 43300 | 66 | 16031k| 337.4 | 270M | 41 | 919 |8391 |4444 |7919 | 0 |5569 | 36 | 0.000000e+00 | -- | Inf | unknown
2370.07/2376.73 c 2377s| 43400 | 64 | 16064k| 337.4 | 270M | 41 | 919 |8391 |4446 |7943 | 1 |5569 | 36 | 0.000000e+00 | -- | Inf | unknown
2373.86/2380.55 c 2381s| 43500 | 68 | 16090k| 337.2 | 270M | 41 | 919 |8391 |4447 |7955 | 1 |5569 | 36 | 0.000000e+00 | -- | Inf | unknown
2377.75/2384.43 c 2384s| 43600 | 62 | 16118k| 337.1 | 270M | 41 | 919 |8394 |4446 |7967 | 0 |5572 | 36 | 0.000000e+00 | -- | Inf | unknown
2382.64/2389.38 c 2389s| 43700 | 62 | 16151k| 337.1 | 270M | 41 | 919 |8400 |4446 |8019 | 0 |5580 | 36 | 0.000000e+00 | -- | Inf | unknown
2386.13/2392.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2386.13/2392.82 c 2393s| 43800 | 64 | 16176k| 336.9 | 270M | 41 | 919 |8402 |4446 |8022 | 0 |5582 | 36 | 0.000000e+00 | -- | Inf | unknown
2390.42/2397.15 c 2397s| 43900 | 68 | 16206k| 336.8 | 270M | 41 | 919 |8410 |4446 |8026 | 1 |5592 | 36 | 0.000000e+00 | -- | Inf | unknown
2394.50/2401.21 c 2401s| 44000 | 64 | 16234k| 336.7 | 270M | 41 | 919 |8410 |4446 |8034 | 1 |5592 | 36 | 0.000000e+00 | -- | Inf | unknown
2398.69/2405.49 c 2405s| 44100 | 62 | 16265k| 336.6 | 270M | 41 | 919 |8414 |4446 |8054 | 0 |5596 | 36 | 0.000000e+00 | -- | Inf | unknown
2402.88/2409.68 c 2410s| 44200 | 58 | 16293k| 336.5 | 270M | 41 | 919 |8410 |4442 |8069 | 1 |5596 | 36 | 0.000000e+00 | -- | Inf | unknown
2408.06/2414.85 c 2415s| 44300 | 64 | 16328k| 336.6 | 270M | 41 | 919 |8417 |4446 |8083 | 0 |5603 | 36 | 0.000000e+00 | -- | Inf | unknown
2412.35/2419.12 c 2419s| 44400 | 64 | 16357k| 336.5 | 270M | 41 | 919 |8433 |4446 |8111 | 1 |5619 | 36 | 0.000000e+00 | -- | Inf | unknown
2416.83/2423.68 c 2424s| 44500 | 66 | 16388k| 336.4 | 270M | 41 | 919 |8435 |4445 |8133 | 0 |5625 | 36 | 0.000000e+00 | -- | Inf | unknown
2420.82/2427.69 c 2428s| 44600 | 60 | 16417k| 336.3 | 270M | 41 | 919 |8435 |4445 |8145 | 2 |5625 | 36 | 0.000000e+00 | -- | Inf | unknown
2425.61/2432.42 c 2432s| 44700 | 62 | 16449k| 336.3 | 270M | 41 | 919 |8437 |4446 |8189 | 1 |5627 | 36 | 0.000000e+00 | -- | Inf | unknown
2429.50/2436.34 c 2436s| 44800 | 58 | 16476k| 336.2 | 270M | 41 | 919 |8434 |4447 |8225 | 0 |5627 | 36 | 0.000000e+00 | -- | Inf | unknown
2434.08/2440.92 c 2441s| 44900 | 60 | 16509k| 336.1 | 270M | 41 | 919 |8430 |4440 |8267 | 1 |5630 | 36 | 0.000000e+00 | -- | Inf | unknown
2438.37/2445.26 c 2445s| 45000 | 60 | 16539k| 336.1 | 270M | 41 | 919 |8433 |4445 |8302 | 0 |5634 | 36 | 0.000000e+00 | -- | Inf | unknown
2443.16/2450.09 c 2450s| 45100 | 60 | 16573k| 336.1 | 270M | 41 | 919 |8429 |4443 |8352 | 1 |5634 | 36 | 0.000000e+00 | -- | Inf | unknown
2447.74/2454.64 c 2455s| 45200 | 56 | 16605k| 336.0 | 270M | 41 | 919 |8433 |4445 |8362 | 0 |5638 | 36 | 0.000000e+00 | -- | Inf | unknown
2452.03/2458.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2452.03/2458.95 c 2459s| 45300 | 56 | 16635k| 336.0 | 270M | 41 | 919 |8433 |4445 |8376 | 1 |5638 | 36 | 0.000000e+00 | -- | Inf | unknown
2456.72/2463.68 c 2464s| 45400 | 60 | 16669k| 336.0 | 270M | 41 | 919 |8431 |4445 |8385 | 2 |5638 | 36 | 0.000000e+00 | -- | Inf | unknown
2461.11/2468.03 c 2468s| 45500 | 64 | 16699k| 335.9 | 270M | 41 | 919 |8434 |4448 |8392 | 0 |5641 | 36 | 0.000000e+00 | -- | Inf | unknown
2464.59/2471.57 c 2472s| 45600 | 64 | 16724k| 335.7 | 270M | 41 | 919 |8434 |4446 |8408 | 1 |5641 | 36 | 0.000000e+00 | -- | Inf | unknown
2468.38/2475.33 c 2475s| 45700 | 56 | 16750k| 335.6 | 270M | 41 | 919 |8434 |4446 |8432 | 0 |5641 | 36 | 0.000000e+00 | -- | Inf | unknown
2472.87/2479.84 c 2480s| 45800 | 54 | 16781k| 335.5 | 270M | 41 | 919 |8437 |4442 |8454 | 0 |5644 | 36 | 0.000000e+00 | -- | Inf | unknown
2477.85/2484.85 c 2485s| 45900 | 54 | 16817k| 335.6 | 270M | 41 | 919 |8435 |4446 |8475 | 1 |5644 | 36 | 0.000000e+00 | -- | Inf | unknown
2482.44/2489.42 c 2489s| 46000 | 56 | 16848k| 335.5 | 270M | 41 | 919 |8441 |4442 |8501 | 0 |5655 | 36 | 0.000000e+00 | -- | Inf | unknown
2485.93/2492.92 c 2493s| 46100 | 54 | 16873k| 335.3 | 270M | 41 | 919 |8443 |4442 |8517 | 0 |5657 | 36 | 0.000000e+00 | -- | Inf | unknown
2490.51/2497.51 c 2498s| 46200 | 54 | 16905k| 335.3 | 270M | 41 | 919 |8442 |4447 |8541 | 0 |5657 | 36 | 0.000000e+00 | -- | Inf | unknown
2494.70/2501.77 c 2502s| 46300 | 56 | 16936k| 335.3 | 270M | 41 | 919 |8449 |4442 |8573 | 1 |5664 | 36 | 0.000000e+00 | -- | Inf | unknown
2498.99/2506.01 c 2506s| 46400 | 52 | 16967k| 335.2 | 270M | 41 | 919 |8449 |4442 |8593 | 0 |5664 | 36 | 0.000000e+00 | -- | Inf | unknown
2503.28/2510.38 c 2510s| 46500 | 56 | 16998k| 335.2 | 270M | 41 | 919 |8447 |4443 |8631 | 1 |5664 | 36 | 0.000000e+00 | -- | Inf | unknown
2507.76/2514.87 c 2515s| 46600 | 62 | 17030k| 335.1 | 270M | 41 | 919 |8441 |4444 |8669 | 0 |5664 | 36 | 0.000000e+00 | -- | Inf | unknown
2511.45/2518.55 c 2519s| 46700 | 58 | 17056k| 335.0 | 270M | 41 | 919 |8438 |4445 |8702 | 0 |5664 | 36 | 0.000000e+00 | -- | Inf | unknown
2516.64/2523.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2516.64/2523.74 c 2524s| 46800 | 60 | 17089k| 335.0 | 270M | 41 | 919 |8438 |4445 |8736 | 2 |5666 | 36 | 0.000000e+00 | -- | Inf | unknown
2521.04/2528.13 c 2528s| 46900 | 54 | 17120k| 334.9 | 270M | 41 | 919 |8436 |4443 |8795 | 1 |5666 | 36 | 0.000000e+00 | -- | Inf | unknown
2525.03/2532.11 c 2532s| 47000 | 60 | 17146k| 334.8 | 270M | 41 | 919 |8445 |4445 |8823 | 0 |5679 | 36 | 0.000000e+00 | -- | Inf | unknown
2529.02/2536.11 c 2536s| 47100 | 56 | 17175k| 334.7 | 270M | 41 | 919 |8439 |4443 |8833 | 0 |5679 | 36 | 0.000000e+00 | -- | Inf | unknown
2533.70/2540.88 c 2541s| 47200 | 60 | 17209k| 334.7 | 270M | 41 | 919 |8426 |4443 |8852 | 1 |5679 | 36 | 0.000000e+00 | -- | Inf | unknown
2538.48/2545.60 c 2546s| 47300 | 58 | 17242k| 334.7 | 270M | 41 | 919 |8431 |4443 |8863 | 1 |5686 | 36 | 0.000000e+00 | -- | Inf | unknown
2542.97/2550.16 c 2550s| 47400 | 58 | 17275k| 334.7 | 270M | 41 | 919 |8431 |4445 |8885 | 1 |5686 | 36 | 0.000000e+00 | -- | Inf | unknown
2547.86/2555.08 c 2555s| 47500 | 60 | 17309k| 334.7 | 270M | 41 | 919 |8433 |4441 |8915 | 1 |5690 | 36 | 0.000000e+00 | -- | Inf | unknown
2552.54/2559.70 c 2560s| 47600 | 57 | 17341k| 334.7 | 270M | 41 | 919 |8438 |4441 |8938 | 1 |5696 | 36 | 0.000000e+00 | -- | Inf | unknown
2557.52/2564.70 c 2565s| 47700 | 53 | 17377k| 334.7 | 270M | 41 | 919 |8436 |4441 |8963 | 1 |5696 | 36 | 0.000000e+00 | -- | Inf | unknown
2562.01/2569.27 c 2569s| 47800 | 55 | 17409k| 334.7 | 270M | 41 | 919 |8437 |4439 |8979 | 0 |5698 | 36 | 0.000000e+00 | -- | Inf | unknown
2567.49/2574.71 c 2575s| 47900 | 55 | 17446k| 334.8 | 270M | 41 | 919 |8448 |4439 |9005 | 0 |5717 | 36 | 0.000000e+00 | -- | Inf | unknown
2572.48/2579.78 c 2580s| 48000 | 53 | 17481k| 334.8 | 270M | 41 | 919 |8447 |4442 |9005 | 1 |5717 | 36 | 0.000000e+00 | -- | Inf | unknown
2577.66/2584.90 c 2585s| 48100 | 51 | 17518k| 334.8 | 270M | 41 | 919 |8444 |4440 |9036 | 0 |5718 | 36 | 0.000000e+00 | -- | Inf | unknown
2581.95/2589.29 c 2589s| 48200 | 49 | 17549k| 334.8 | 270M | 41 | 919 |8499 |4430 |9070 | 1 |5780 | 36 | 0.000000e+00 | -- | Inf | unknown
2586.34/2593.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2586.34/2593.66 c 2594s| 48300 | 55 | 17579k| 334.8 | 270M | 41 | 919 |8534 |4444 |9096 | 0 |5815 | 36 | 0.000000e+00 | -- | Inf | unknown
2592.32/2599.68 c 2600s| 48400 | 67 | 17616k| 334.8 | 270M | 41 | 919 |8487 |4442 |9135 | 1 |5822 | 36 | 0.000000e+00 | -- | Inf | unknown
2596.81/2604.14 c 2604s| 48500 | 65 | 17648k| 334.8 | 270M | 41 | 919 |8478 |4446 |9171 | 0 |5826 | 36 | 0.000000e+00 | -- | Inf | unknown
2601.59/2609.00 c 2609s| 48600 | 68 | 17681k| 334.8 | 270M | 41 | 919 |8467 |4446 |9207 | 0 |5842 | 36 | 0.000000e+00 | -- | Inf | unknown
2607.08/2614.42 c 2614s| 48700 | 66 | 17718k| 334.8 | 270M | 41 | 919 |8440 |4428 |9242 | 1 |5851 | 36 | 0.000000e+00 | -- | Inf | unknown
2612.86/2620.27 c 2620s| 48800 | 72 | 17761k| 335.0 | 270M | 41 | 919 |8500 |4439 |9269 | 1 |5928 | 36 | 0.000000e+00 | -- | Inf | unknown
2617.55/2624.96 c 2625s| 48900 | 78 | 17793k| 335.0 | 270M | 41 | 919 |8571 |4434 |9283 | 1 |6020 | 36 | 0.000000e+00 | -- | Inf | unknown
2622.53/2629.97 c 2630s| 49000 | 78 | 17828k| 335.0 | 270M | 41 | 919 |8640 |4437 |9310 | 0 |6106 | 36 | 0.000000e+00 | -- | Inf | unknown
2626.92/2634.35 c 2634s| 49100 | 80 | 17858k| 335.0 | 270M | 41 | 919 |8692 |4441 |9327 | 2 |6175 | 36 | 0.000000e+00 | -- | Inf | unknown
2631.50/2638.96 c 2639s| 49200 | 76 | 17890k| 334.9 | 270M | 41 | 919 |8754 |4440 |9344 | 1 |6256 | 36 | 0.000000e+00 | -- | Inf | unknown
2636.19/2643.62 c 2644s| 49300 | 78 | 17921k| 334.9 | 270M | 41 | 919 |8760 |4441 |9373 | 0 |6288 | 36 | 0.000000e+00 | -- | Inf | unknown
2640.68/2648.18 c 2648s| 49400 | 82 | 17953k| 334.9 | 270M | 41 | 919 |8767 |4441 |9386 | 1 |6301 | 36 | 0.000000e+00 | -- | Inf | unknown
2644.57/2652.04 c 2652s| 49500 | 80 | 17979k| 334.7 | 270M | 41 | 919 |8794 |4446 |9413 | 2 |6330 | 36 | 0.000000e+00 | -- | Inf | unknown
2648.15/2655.66 c 2656s| 49600 | 78 | 18005k| 334.6 | 270M | 41 | 919 |8813 |4437 |9427 | 1 |6357 | 36 | 0.000000e+00 | -- | Inf | unknown
2652.55/2660.01 c 2660s| 49700 | 77 | 18036k| 334.5 | 270M | 41 | 919 |8858 |4441 |9438 | 0 |6425 | 36 | 0.000000e+00 | -- | Inf | unknown
2657.63/2665.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2657.63/2665.12 c 2665s| 49800 | 81 | 18070k| 334.5 | 270M | 41 | 919 |8874 |4437 |9451 | 1 |6451 | 36 | 0.000000e+00 | -- | Inf | unknown
2661.02/2668.59 c 2669s| 49900 | 89 | 18093k| 334.3 | 270M | 41 | 919 |8966 |4441 |9470 | 1 |6543 | 36 | 0.000000e+00 | -- | Inf | unknown
2666.10/2673.68 c 2674s| 50000 | 82 | 18128k| 334.4 | 270M | 41 | 919 |9072 |4434 |9477 | 0 |6650 | 36 | 0.000000e+00 | -- | Inf | unknown
2671.28/2678.81 c 2679s| 50100 | 79 | 18164k| 334.4 | 270M | 41 | 919 |9172 |4434 |9489 | 1 |6751 | 36 | 0.000000e+00 | -- | Inf | unknown
2676.77/2684.34 c 2684s| 50200 | 73 | 18203k| 334.5 | 270M | 41 | 919 |9270 |4438 |9503 | 0 |6851 | 36 | 0.000000e+00 | -- | Inf | unknown
2681.56/2689.19 c 2689s| 50300 | 75 | 18236k| 334.5 | 270M | 41 | 919 |9318 |4436 |9519 | 0 |6905 | 36 | 0.000000e+00 | -- | Inf | unknown
2686.34/2693.95 c 2694s| 50400 | 73 | 18270k| 334.5 | 270M | 41 | 919 |9364 |4436 |9529 | 1 |6956 | 36 | 0.000000e+00 | -- | Inf | unknown
2691.03/2698.61 c 2699s| 50500 | 75 | 18303k| 334.5 | 270M | 41 | 919 |9455 |4438 |9535 | 1 |7047 | 36 | 0.000000e+00 | -- | Inf | unknown
2695.91/2703.57 c 2704s| 50600 | 73 | 18337k| 334.5 | 270M | 41 | 919 |9538 |4441 |9546 | 1 |7130 | 36 | 0.000000e+00 | -- | Inf | unknown
2700.60/2708.23 c 2708s| 50700 | 75 | 18370k| 334.5 | 270M | 41 | 919 |9588 |4445 |9554 | 0 |7182 | 36 | 0.000000e+00 | -- | Inf | unknown
2705.78/2713.40 c 2713s| 50800 | 73 | 18405k| 334.6 | 270M | 41 | 919 |9576 |4445 |9597 | 1 |7190 | 36 | 0.000000e+00 | -- | Inf | unknown
2710.37/2718.06 c 2718s| 50900 | 77 | 18438k| 334.5 | 270M | 41 | 919 |9586 |4444 |9623 | 1 |7202 | 36 | 0.000000e+00 | -- | Inf | unknown
2714.56/2722.26 c 2722s| 51000 | 73 | 18468k| 334.5 | 270M | 41 | 919 |9587 |4444 |9646 | 0 |7204 | 36 | 0.000000e+00 | -- | Inf | unknown
2719.24/2726.99 c 2727s| 51100 | 69 | 18501k| 334.5 | 270M | 41 | 919 |9591 |4441 |9659 | 0 |7209 | 36 | 0.000000e+00 | -- | Inf | unknown
2724.63/2732.33 c 2732s| 51200 | 69 | 18539k| 334.6 | 270M | 41 | 919 |9619 |4441 |9690 | 0 |7239 | 36 | 0.000000e+00 | -- | Inf | unknown
2729.42/2737.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2729.42/2737.14 c 2737s| 51300 | 71 | 18572k| 334.5 | 270M | 41 | 919 |9695 |4439 |9697 | 1 |7317 | 36 | 0.000000e+00 | -- | Inf | unknown
2734.70/2742.46 c 2742s| 51400 | 73 | 18609k| 334.6 | 271M | 41 | 919 |9743 |4441 |9723 | 0 |7383 | 36 | 0.000000e+00 | -- | Inf | unknown
2743.38/2751.14 c 2751s| 51500 | 73 | 18650k| 334.7 | 271M | 41 | 919 |9756 |4443 |9733 | 0 |7399 | 36 | 0.000000e+00 | -- | Inf | unknown
2748.26/2756.03 c 2756s| 51600 | 75 | 18684k| 334.8 | 271M | 41 | 919 |9756 |4446 |9751 | 2 |7399 | 36 | 0.000000e+00 | -- | Inf | unknown
2753.35/2761.13 c 2761s| 51700 | 71 | 18720k| 334.8 | 271M | 41 | 919 |9790 |4436 |9760 | 0 |7438 | 36 | 0.000000e+00 | -- | Inf | unknown
2758.73/2766.55 c 2767s| 51800 | 67 | 18758k| 334.9 | 271M | 41 | 919 |9874 |4435 |9762 | 0 |7525 | 36 | 0.000000e+00 | -- | Inf | unknown
2764.71/2772.50 c 2773s| 51900 | 75 | 18799k| 335.0 | 271M | 41 | 919 |9927 |4436 |9769 | 1 |7580 | 36 | 0.000000e+00 | -- | Inf | unknown
2771.49/2779.33 c 2779s| 52000 | 69 | 18846k| 335.2 | 271M | 41 | 919 | 10k|4436 |9783 | 0 |7658 | 36 | 0.000000e+00 | -- | Inf | unknown
2777.97/2785.81 c 2786s| 52100 | 69 | 18890k| 335.4 | 271M | 41 | 919 | 10k|4437 |9792 | 0 |7754 | 36 | 0.000000e+00 | -- | Inf | unknown
2784.55/2792.42 c 2792s| 52200 | 67 | 18935k| 335.6 | 271M | 41 | 919 | 10k|4439 |9800 | 1 |7845 | 36 | 0.000000e+00 | -- | Inf | unknown
2791.43/2799.32 c 2799s| 52300 | 69 | 18982k| 335.9 | 271M | 41 | 919 | 10k|4440 |9812 | 0 |7914 | 36 | 0.000000e+00 | -- | Inf | unknown
2797.81/2805.71 c 2806s| 52400 | 65 | 19026k| 336.1 | 271M | 41 | 919 | 10k|4440 |9819 | 0 |7992 | 36 | 0.000000e+00 | -- | Inf | unknown
2803.29/2811.29 c 2811s| 52500 | 71 | 19064k| 336.1 | 271M | 41 | 919 | 10k|4440 |9831 | 1 |8065 | 36 | 0.000000e+00 | -- | Inf | unknown
2809.67/2817.62 c 2818s| 52600 | 69 | 19107k| 336.3 | 271M | 41 | 919 | 10k|4441 |9838 | 1 |8160 | 36 | 0.000000e+00 | -- | Inf | unknown
2815.06/2823.02 c 2823s| 52700 | 68 | 19144k| 336.4 | 271M | 41 | 919 | 10k|4441 |9850 | 1 |8251 | 36 | 0.000000e+00 | -- | Inf | unknown
2820.54/2828.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2820.54/2828.59 c 2829s| 52800 | 72 | 19183k| 336.5 | 271M | 41 | 919 | 10k|4441 |9850 | 1 |8305 | 36 | 0.000000e+00 | -- | Inf | unknown
2826.32/2834.36 c 2834s| 52900 | 64 | 19222k| 336.6 | 271M | 41 | 919 | 10k|4442 |9857 | 0 |8391 | 36 | 0.000000e+00 | -- | Inf | unknown
2832.21/2840.27 c 2840s| 53000 | 66 | 19263k| 336.7 | 271M | 41 | 919 | 10k|4438 |9885 | 0 |8429 | 36 | 0.000000e+00 | -- | Inf | unknown
2836.29/2844.35 c 2844s| 53100 | 66 | 19292k| 336.6 | 271M | 41 | 919 | 10k|4439 |9913 | 0 |8435 | 36 | 0.000000e+00 | -- | Inf | unknown
2840.48/2848.55 c 2849s| 53200 | 62 | 19322k| 336.5 | 271M | 41 | 919 | 10k|4441 |9930 | 0 |8441 | 36 | 0.000000e+00 | -- | Inf | unknown
2845.17/2853.29 c 2853s| 53300 | 66 | 19355k| 336.5 | 271M | 41 | 919 | 10k|4446 |9961 | 0 |8444 | 36 | 0.000000e+00 | -- | Inf | unknown
2850.55/2858.69 c 2859s| 53400 | 72 | 19390k| 336.5 | 271M | 41 | 919 | 10k|4441 |9990 | 0 |8486 | 36 | 0.000000e+00 | -- | Inf | unknown
2855.44/2863.55 c 2864s| 53500 | 66 | 19424k| 336.6 | 271M | 41 | 919 | 10k|4439 | 10k| 1 |8535 | 36 | 0.000000e+00 | -- | Inf | unknown
2864.41/2872.51 c 2873s| 53600 | 64 | 19482k| 337.0 | 271M | 41 | 919 | 10k|4435 | 10k| 0 |8581 | 36 | 0.000000e+00 | -- | Inf | unknown
2869.60/2877.79 c 2878s| 53700 | 66 | 19519k| 337.0 | 271M | 41 | 919 | 10k|4440 | 10k| 0 |8673 | 36 | 0.000000e+00 | -- | Inf | unknown
2875.48/2883.64 c 2884s| 53800 | 72 | 19559k| 337.1 | 271M | 41 | 919 | 10k|4437 | 10k| 1 |8745 | 36 | 0.000000e+00 | -- | Inf | unknown
2881.06/2889.24 c 2889s| 53900 | 70 | 19599k| 337.2 | 271M | 41 | 919 | 10k|4441 | 10k| 1 |8828 | 36 | 0.000000e+00 | -- | Inf | unknown
2886.05/2894.29 c 2894s| 54000 | 69 | 19634k| 337.3 | 271M | 41 | 919 | 10k|4438 | 10k| 0 |8913 | 36 | 0.000000e+00 | -- | Inf | unknown
2891.53/2899.75 c 2900s| 54100 | 69 | 19672k| 337.3 | 271M | 41 | 919 | 11k|4440 | 10k| 0 |8988 | 36 | 0.000000e+00 | -- | Inf | unknown
2896.61/2904.83 c 2905s| 54200 | 65 | 19707k| 337.4 | 271M | 41 | 919 | 11k|4439 | 10k| 0 |9077 | 36 | 0.000000e+00 | -- | Inf | unknown
2902.50/2910.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2902.50/2910.70 c 2911s| 54300 | 67 | 19747k| 337.5 | 271M | 41 | 919 | 11k|4441 | 10k| 0 |9156 | 36 | 0.000000e+00 | -- | Inf | unknown
2907.58/2915.83 c 2916s| 54400 | 69 | 19783k| 337.5 | 271M | 41 | 919 | 11k|4435 | 10k| 1 |9239 | 36 | 0.000000e+00 | -- | Inf | unknown
2912.17/2920.48 c 2920s| 54500 | 67 | 19815k| 337.5 | 271M | 41 | 919 | 11k|4439 | 10k| 1 |9327 | 36 | 0.000000e+00 | -- | Inf | unknown
2917.45/2925.70 c 2926s| 54600 | 59 | 19852k| 337.5 | 271M | 41 | 919 | 11k|4440 | 10k| 0 |9421 | 36 | 0.000000e+00 | -- | Inf | unknown
2923.04/2931.36 c 2931s| 54700 | 69 | 19889k| 337.6 | 271M | 41 | 919 | 11k|4442 | 10k| 0 |9494 | 36 | 0.000000e+00 | -- | Inf | unknown
2928.32/2936.69 c 2937s| 54800 | 69 | 19926k| 337.6 | 271M | 41 | 919 | 11k|4443 | 10k| 0 |9571 | 36 | 0.000000e+00 | -- | Inf | unknown
2933.21/2941.58 c 2942s| 54900 | 65 | 19960k| 337.6 | 272M | 41 | 919 | 11k|4440 | 10k| 1 |9663 | 36 | 0.000000e+00 | -- | Inf | unknown
2938.49/2946.85 c 2947s| 55000 | 65 | 19997k| 337.7 | 272M | 41 | 919 | 11k|4442 | 10k| 1 |9737 | 36 | 0.000000e+00 | -- | Inf | unknown
2943.87/2952.28 c 2952s| 55100 | 67 | 20035k| 337.8 | 272M | 41 | 919 | 11k|4436 | 10k| 0 |9800 | 36 | 0.000000e+00 | -- | Inf | unknown
2948.96/2957.31 c 2957s| 55200 | 65 | 20071k| 337.8 | 272M | 41 | 919 | 11k|4441 | 10k| 0 |9873 | 36 | 0.000000e+00 | -- | Inf | unknown
2954.04/2962.44 c 2962s| 55300 | 67 | 20107k| 337.9 | 273M | 41 | 919 | 11k|4439 | 10k| 1 |9949 | 36 | 0.000000e+00 | -- | Inf | unknown
2959.23/2967.62 c 2968s| 55400 | 64 | 20144k| 337.9 | 273M | 41 | 919 | 12k|4441 | 10k| 1 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
2964.11/2972.51 c 2973s| 55500 | 65 | 20178k| 337.9 | 273M | 41 | 919 | 12k|4442 | 10k| 0 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
2969.80/2978.22 c 2978s| 55600 | 64 | 20218k| 338.0 | 273M | 41 | 919 | 12k|4439 | 10k| 0 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
2975.69/2984.16 c 2984s| 55700 | 64 | 20260k| 338.2 | 273M | 41 | 919 | 12k|4439 | 10k| 1 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
2981.36/2989.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2981.36/2989.81 c 2990s| 55800 | 62 | 20300k| 338.3 | 273M | 41 | 919 | 12k|4441 | 10k| 1 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
2986.95/2995.40 c 2995s| 55900 | 66 | 20339k| 338.3 | 273M | 41 | 919 | 12k|4441 | 10k| 0 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
2993.23/3001.78 c 3002s| 56000 | 70 | 20381k| 338.5 | 273M | 41 | 919 | 12k|4439 | 10k| 0 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
2997.91/3006.43 c 3006s| 56100 | 73 | 20414k| 338.5 | 273M | 41 | 919 | 12k|4438 | 10k| 1 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
3003.10/3011.63 c 3012s| 56200 | 77 | 20449k| 338.5 | 273M | 41 | 919 | 12k|4437 | 10k| 0 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
3008.59/3017.19 c 3017s| 56300 | 77 | 20488k| 338.6 | 273M | 41 | 919 | 12k|4443 | 10k| 2 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
3014.36/3022.93 c 3023s| 56400 | 79 | 20526k| 338.6 | 273M | 41 | 919 | 12k|4440 | 10k| 0 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
3018.95/3027.58 c 3028s| 56500 | 77 | 20560k| 338.6 | 273M | 41 | 919 | 12k|4442 | 10k| 0 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
3024.73/3033.34 c 3033s| 56600 | 75 | 20601k| 338.7 | 273M | 41 | 919 | 12k|4442 | 10k| 1 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
3029.22/3037.84 c 3038s| 56700 | 71 | 20632k| 338.7 | 273M | 41 | 919 | 12k|4442 | 10k| 0 | 10k| 36 | 0.000000e+00 | -- | Inf | unknown
3034.11/3042.77 c 3043s| 56800 | 71 | 20666k| 338.7 | 273M | 41 | 919 | 12k|4438 | 10k| 0 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3039.89/3048.58 c 3049s| 56900 | 69 | 20707k| 338.8 | 273M | 41 | 919 | 13k|4438 | 10k| 1 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3045.57/3054.24 c 3054s| 57000 | 69 | 20745k| 338.9 | 273M | 41 | 919 | 13k|4438 | 10k| 0 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3051.36/3060.08 c 3060s| 57100 | 68 | 20786k| 339.0 | 274M | 41 | 919 | 13k|4438 | 10k| 1 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3056.24/3064.98 c 3065s| 57200 | 64 | 20820k| 339.0 | 274M | 41 | 919 | 13k|4437 | 10k| 0 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3061.92/3070.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3061.92/3070.68 c 3071s| 57300 | 66 | 20859k| 339.1 | 274M | 41 | 919 | 13k|4438 | 10k| 0 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3067.41/3076.13 c 3076s| 57400 | 72 | 20897k| 339.2 | 274M | 41 | 919 | 13k|4439 | 10k| 1 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3072.59/3081.32 c 3081s| 57500 | 71 | 20934k| 339.2 | 274M | 41 | 919 | 13k|4439 | 10k| 0 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3078.28/3087.06 c 3087s| 57600 | 71 | 20975k| 339.3 | 274M | 41 | 919 | 13k|4439 | 10k| 0 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3083.86/3092.66 c 3093s| 57700 | 68 | 21015k| 339.4 | 274M | 41 | 919 | 13k|4439 | 10k| 1 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3088.74/3097.51 c 3098s| 57800 | 68 | 21049k| 339.4 | 274M | 41 | 919 | 13k|4441 | 10k| 1 | 11k| 36 | 0.000000e+00 | -- | Inf | unknown
3093.93/3102.73 c 3103s| 57900 | 71 | 21085k| 339.5 | 274M | 41 | 919 | 13k|4441 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3098.81/3107.65 c 3108s| 58000 | 70 | 21120k| 339.5 | 274M | 41 | 919 | 14k|4442 | 10k| 0 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3104.99/3113.81 c 3114s| 58100 | 66 | 21164k| 339.6 | 274M | 41 | 919 | 14k|4441 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3110.08/3118.95 c 3119s| 58200 | 67 | 21200k| 339.7 | 274M | 41 | 919 | 14k|4438 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3115.27/3124.15 c 3124s| 58300 | 65 | 21236k| 339.7 | 274M | 41 | 919 | 14k|4437 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3121.05/3129.93 c 3130s| 58400 | 66 | 21277k| 339.8 | 274M | 41 | 919 | 14k|4439 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3125.83/3134.76 c 3135s| 58500 | 66 | 21311k| 339.8 | 274M | 41 | 919 | 14k|4441 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3130.32/3139.23 c 3139s| 58600 | 66 | 21342k| 339.8 | 274M | 41 | 919 | 14k|4437 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3135.40/3144.31 c 3144s| 58700 | 62 | 21378k| 339.8 | 274M | 41 | 919 | 14k|4439 | 10k| 0 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3140.69/3149.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3140.69/3149.68 c 3150s| 58800 | 62 | 21415k| 339.8 | 274M | 41 | 919 | 14k|4441 | 10k| 0 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3146.27/3155.29 c 3155s| 58900 | 60 | 21454k| 339.9 | 274M | 41 | 919 | 14k|4439 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3152.06/3161.06 c 3161s| 59000 | 60 | 21494k| 340.0 | 274M | 41 | 919 | 14k|4439 | 10k| 0 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3156.94/3166.00 c 3166s| 59100 | 61 | 21529k| 340.0 | 274M | 41 | 919 | 14k|4436 | 10k| 0 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3162.72/3171.75 c 3172s| 59200 | 63 | 21570k| 340.1 | 274M | 41 | 919 | 14k|4432 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3167.71/3176.78 c 3177s| 59300 | 60 | 21606k| 340.2 | 274M | 41 | 919 | 14k|4436 | 10k| 0 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3173.49/3182.50 c 3182s| 59400 | 64 | 21644k| 340.2 | 274M | 41 | 919 | 14k|4437 | 10k| 1 | 12k| 36 | 0.000000e+00 | -- | Inf | unknown
3178.28/3187.37 c 3187s| 59500 | 65 | 21675k| 340.2 | 274M | 41 | 919 | 14k|4439 | 10k| 0 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3183.07/3192.18 c 3192s| 59600 | 68 | 21708k| 340.2 | 274M | 41 | 919 | 14k|4440 | 10k| 1 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3187.15/3196.23 c 3196s| 59700 | 64 | 21736k| 340.1 | 274M | 41 | 919 | 14k|4439 | 10k| 1 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3195.23/3204.34 c 3204s| 59800 | 62 | 21787k| 340.4 | 274M | 41 | 919 | 14k|4438 | 10k| 1 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3200.21/3209.38 c 3209s| 59900 | 63 | 21823k| 340.4 | 274M | 41 | 919 | 14k|4438 | 10k| 0 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3205.00/3214.17 c 3214s| 60000 | 61 | 21857k| 340.4 | 274M | 41 | 919 | 14k|4437 | 10k| 0 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3210.18/3219.36 c 3219s| 60100 | 59 | 21892k| 340.4 | 275M | 41 | 919 | 14k|4438 | 10k| 0 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3214.77/3223.95 c 3224s| 60200 | 61 | 21925k| 340.4 | 275M | 41 | 919 | 14k|4438 | 10k| 1 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3219.65/3228.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3219.65/3228.84 c 3229s| 60300 | 58 | 21959k| 340.4 | 275M | 41 | 919 | 14k|4443 | 10k| 0 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3225.14/3234.39 c 3234s| 60400 | 68 | 21997k| 340.4 | 275M | 41 | 919 | 14k|4437 | 10k| 0 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3230.52/3239.79 c 3240s| 60500 | 66 | 22035k| 340.5 | 275M | 41 | 919 | 14k|4437 | 10k| 1 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3235.91/3245.17 c 3245s| 60600 | 64 | 22073k| 340.6 | 275M | 41 | 919 | 14k|4437 | 10k| 0 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3241.39/3250.65 c 3251s| 60700 | 64 | 22111k| 340.6 | 275M | 41 | 919 | 14k|4440 | 10k| 1 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3247.27/3256.53 c 3257s| 60800 | 68 | 22152k| 340.7 | 275M | 41 | 919 | 14k|4438 | 10k| 1 | 13k| 36 | 0.000000e+00 | -- | Inf | unknown
3252.95/3262.27 c 3262s| 60900 | 70 | 22191k| 340.8 | 275M | 41 | 919 | 14k|4438 | 10k| 1 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3258.84/3268.17 c 3268s| 61000 | 64 | 22232k| 340.9 | 275M | 41 | 919 | 14k|4441 | 10k| 0 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3263.92/3273.27 c 3273s| 61100 | 64 | 22267k| 340.9 | 275M | 41 | 919 | 14k|4443 | 10k| 0 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3268.81/3278.18 c 3278s| 61200 | 70 | 22300k| 340.9 | 275M | 41 | 919 | 14k|4443 | 10k| 0 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3274.09/3283.42 c 3283s| 61300 | 64 | 22337k| 341.0 | 275M | 41 | 919 | 14k|4435 | 10k| 1 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3279.18/3288.56 c 3289s| 61400 | 68 | 22373k| 341.0 | 275M | 41 | 919 | 14k|4435 | 10k| 1 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3284.86/3294.23 c 3294s| 61500 | 66 | 22412k| 341.1 | 275M | 41 | 919 | 14k|4436 | 10k| 0 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3290.54/3299.97 c 3300s| 61600 | 66 | 22452k| 341.2 | 275M | 41 | 919 | 14k|4436 | 10k| 1 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3297.32/3306.78 c 3307s| 61700 | 70 | 22499k| 341.3 | 275M | 41 | 919 | 14k|4438 | 10k| 1 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3302.91/3312.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3302.91/3312.31 c 3312s| 61800 | 68 | 22537k| 341.4 | 275M | 41 | 919 | 14k|4436 | 10k| 0 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3308.49/3318.00 c 3318s| 61900 | 64 | 22576k| 341.5 | 275M | 41 | 919 | 14k|4437 | 10k| 1 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3314.67/3324.10 c 3324s| 62000 | 65 | 22617k| 341.6 | 275M | 41 | 919 | 14k|4439 | 10k| 1 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3320.45/3329.98 c 3330s| 62100 | 67 | 22658k| 341.7 | 275M | 41 | 919 | 14k|4439 | 10k| 1 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3326.23/3335.77 c 3336s| 62200 | 61 | 22698k| 341.8 | 275M | 41 | 919 | 14k|4437 | 10k| 1 | 14k| 36 | 0.000000e+00 | -- | Inf | unknown
3332.41/3341.94 c 3342s| 62300 | 57 | 22740k| 341.9 | 275M | 41 | 919 | 14k|4439 | 10k| 1 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3339.60/3349.12 c 3349s| 62400 | 67 | 22788k| 342.1 | 275M | 41 | 919 | 14k|4440 | 10k| 0 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3344.98/3354.55 c 3355s| 62500 | 67 | 22827k| 342.2 | 275M | 41 | 919 | 14k|4441 | 10k| 1 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3350.46/3360.04 c 3360s| 62600 | 65 | 22865k| 342.2 | 275M | 41 | 919 | 14k|4441 | 10k| 0 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3355.74/3365.36 c 3365s| 62700 | 68 | 22901k| 342.3 | 275M | 41 | 919 | 14k|4439 | 10k| 0 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3362.12/3371.72 c 3372s| 62800 | 67 | 22945k| 342.4 | 275M | 41 | 919 | 14k|4438 | 10k| 1 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3368.21/3377.83 c 3378s| 62900 | 66 | 22987k| 342.5 | 275M | 41 | 919 | 14k|4442 | 10k| 0 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3374.19/3383.81 c 3384s| 63000 | 66 | 23028k| 342.6 | 275M | 41 | 919 | 14k|4440 | 10k| 0 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3380.27/3389.91 c 3390s| 63100 | 64 | 23069k| 342.7 | 275M | 41 | 919 | 14k|4440 | 10k| 1 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3386.85/3396.56 c 3397s| 63200 | 64 | 23115k| 342.9 | 275M | 41 | 919 | 14k|4440 | 10k| 1 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3392.93/3402.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3392.93/3402.66 c 3403s| 63300 | 62 | 23157k| 343.0 | 275M | 41 | 919 | 14k|4440 | 10k| 0 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3400.01/3409.77 c 3410s| 63400 | 70 | 23205k| 343.2 | 275M | 41 | 919 | 14k|4439 | 10k| 0 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3405.99/3415.78 c 3416s| 63500 | 70 | 23248k| 343.3 | 275M | 41 | 919 | 14k|4439 | 10k| 1 | 15k| 36 | 0.000000e+00 | -- | Inf | unknown
3411.88/3421.67 c 3422s| 63600 | 70 | 23289k| 343.4 | 275M | 41 | 919 | 14k|4439 | 10k| 1 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3418.06/3427.86 c 3428s| 63700 | 66 | 23333k| 343.6 | 275M | 41 | 919 | 14k|4438 | 10k| 0 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3424.64/3434.40 c 3434s| 63800 | 70 | 23379k| 343.7 | 275M | 41 | 919 | 14k|4439 | 11k| 1 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3431.33/3441.16 c 3441s| 63900 | 74 | 23425k| 343.9 | 275M | 41 | 919 | 14k|4437 | 11k| 0 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3437.01/3446.88 c 3447s| 64000 | 74 | 23466k| 344.0 | 275M | 41 | 919 | 14k|4437 | 11k| 1 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3443.09/3452.93 c 3453s| 64100 | 72 | 23508k| 344.1 | 275M | 41 | 919 | 14k|4437 | 11k| 1 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3448.87/3458.71 c 3459s| 64200 | 70 | 23549k| 344.2 | 275M | 41 | 919 | 14k|4441 | 11k| 1 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3454.96/3464.87 c 3465s| 64300 | 72 | 23592k| 344.3 | 275M | 41 | 919 | 14k|4440 | 11k| 1 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3460.94/3470.86 c 3471s| 64400 | 66 | 23633k| 344.5 | 275M | 41 | 919 | 14k|4440 | 11k| 1 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3466.63/3476.54 c 3477s| 64500 | 68 | 23673k| 344.5 | 275M | 41 | 919 | 14k|4441 | 11k| 1 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3472.61/3482.50 c 3483s| 64600 | 69 | 23714k| 344.6 | 275M | 41 | 919 | 14k|4442 | 11k| 1 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3485.68/3495.67 c 3496s| 64700 | 70 | 23767k| 344.9 | 275M | 41 | 919 | 14k|4440 | 11k| 0 | 16k| 36 | 0.000000e+00 | -- | Inf | unknown
3491.56/3501.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3491.56/3501.50 c 3501s| 64800 | 76 | 23808k| 345.0 | 275M | 41 | 919 | 14k|4434 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3497.05/3507.01 c 3507s| 64900 | 78 | 23847k| 345.1 | 275M | 41 | 919 | 14k|4437 | 11k| 0 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3501.64/3511.61 c 3512s| 65000 | 76 | 23880k| 345.0 | 275M | 41 | 919 | 14k|4437 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3506.92/3516.93 c 3517s| 65100 | 75 | 23917k| 345.1 | 275M | 41 | 919 | 14k|4437 | 11k| 0 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3512.01/3522.08 c 3522s| 65200 | 75 | 23953k| 345.1 | 275M | 41 | 919 | 14k|4437 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3517.79/3527.83 c 3528s| 65300 | 77 | 23993k| 345.2 | 275M | 41 | 919 | 14k|4434 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3523.28/3533.39 c 3533s| 65400 | 75 | 24032k| 345.2 | 275M | 41 | 919 | 14k|4434 | 11k| 0 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3528.46/3538.57 c 3539s| 65500 | 75 | 24068k| 345.2 | 275M | 41 | 919 | 14k|4435 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3534.25/3544.35 c 3544s| 65600 | 77 | 24107k| 345.3 | 275M | 41 | 919 | 14k|4436 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3539.73/3549.88 c 3550s| 65700 | 75 | 24146k| 345.4 | 275M | 41 | 919 | 14k|4434 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3544.92/3555.09 c 3555s| 65800 | 71 | 24183k| 345.4 | 275M | 41 | 919 | 14k|4436 | 11k| 0 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3550.50/3560.65 c 3561s| 65900 | 73 | 24221k| 345.5 | 275M | 41 | 919 | 14k|4435 | 11k| 0 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3555.39/3565.56 c 3566s| 66000 | 73 | 24256k| 345.5 | 275M | 41 | 919 | 14k|4437 | 11k| 0 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3560.08/3570.21 c 3570s| 66100 | 73 | 24288k| 345.4 | 275M | 41 | 919 | 14k|4436 | 11k| 0 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3565.16/3575.36 c 3575s| 66200 | 75 | 24324k| 345.5 | 275M | 41 | 919 | 14k|4436 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3570.55/3580.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3570.55/3580.75 c 3581s| 66300 | 71 | 24362k| 345.5 | 275M | 41 | 919 | 14k|4436 | 11k| 0 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3576.13/3586.37 c 3586s| 66400 | 73 | 24400k| 345.6 | 275M | 41 | 919 | 14k|4436 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3581.12/3591.35 c 3591s| 66500 | 71 | 24435k| 345.6 | 275M | 41 | 919 | 14k|4437 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3586.50/3596.79 c 3597s| 66600 | 73 | 24473k| 345.6 | 275M | 41 | 919 | 14k|4436 | 11k| 1 | 17k| 36 | 0.000000e+00 | -- | Inf | unknown
3586.70/3597.00 c
3586.70/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.70/3597.00 c Solving Time (sec) : 3597.00
3586.70/3597.00 c Solving Nodes : 66604 (total of 70724 nodes in 2 runs)
3586.70/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.70/3597.00 c Dual Bound : +0.00000000000000e+00
3586.70/3597.00 c Gap : infinite
3586.70/3597.00 s UNKNOWN
3586.70/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.70/3597.00 c Total Time : 3597.00
3586.70/3597.00 c solving : 3597.00
3586.70/3597.00 c presolving : 0.36 (included in solving)
3586.70/3597.00 c reading : 0.01 (included in solving)
3586.70/3597.00 c copying : 0.92 (107 #copies) (minimal 0.01, maximal 0.03, average 0.01)
3586.70/3597.00 c Original Problem :
3586.70/3597.00 c Problem name : HOME/instance-4514925-1751225308.opb
3586.70/3597.00 c Variables : 1372 (1372 binary, 0 integer, 0 continuous)
3586.70/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.70/3597.00 c Constraints : 4945 initial, 4945 maximal
3586.70/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.70/3597.00 c Presolved Problem :
3586.70/3597.00 c Problem name : t_HOME/instance-4514925-1751225308.opb
3586.70/3597.00 c Variables : 919 (919 binary, 0 integer, 0 continuous)
3586.70/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.70/3597.00 c Constraints : 4960 initial, 14416 maximal
3586.70/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.70/3597.00 c Nonzeros : 53101 constraint, 571 clique table
3586.70/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.70/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c domcol : 0.02 0.00 9 225 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c gateextraction : 0.02 0.00 19 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c implics : 0.00 0.00 21 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c milp : 0.03 0.00 2 9 0 0 0 0 0 0 0 0
3586.70/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c trivial : 0.00 0.00 37 2 0 0 0 0 0 0 0 0
3586.70/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualfix : 0.00 0.00 37 45 0 0 0 0 0 0 0 0
3586.70/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 2 0 0
3586.70/3597.00 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c knapsack : 0.01 0.00 68 0 0 0 0 0 0 0 0 1
3586.70/3597.00 c setppc : 0.00 0.00 68 0 0 0 0 0 41 0 0 0
3586.70/3597.00 c linear : 0.03 0.00 14 117 43 0 117 0 277 0 0 0
3586.70/3597.00 c logicor : 0.19 0.01 65 12 0 0 0 0 824 0 0 4504
3586.70/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c root node : - - - 2 - - 2 - - - - -
3586.70/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.70/3597.00 c integral : 0 0 0 0 35545 0 0 3330 0 0 0 0 0 0 71090
3586.70/3597.00 c knapsack : 72 72 22 162282 0 0 0 3325 82865 94 12363 0 0 0 0
3586.70/3597.00 c setppc : 202 202 22 162124 0 0 0 1735 88774 1 13675 0 0 0 0
3586.70/3597.00 c logicor : 4686+ 14143 22 78226 0 0 0 0 86874 166 27933 0 0 0 0
3586.70/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.70/3597.00 c integral : 9.94 0.00 0.00 0.00 9.94 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c knapsack : 2.21 0.00 0.28 1.83 0.00 0.00 0.00 0.05 0.06 0.00
3586.70/3597.00 c setppc : 0.14 0.00 0.00 0.08 0.00 0.00 0.00 0.02 0.04 0.00
3586.70/3597.00 c logicor : 1.35 0.01 0.02 1.25 0.00 0.00 0.00 0.00 0.06 0.00
3586.70/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.70/3597.00 c dualfix : 3 0 0 0
3586.70/3597.00 c genvbounds : 0 0 0 0
3586.70/3597.00 c nlobbt : 0 0 0 0
3586.70/3597.00 c obbt : 0 0 0 0
3586.70/3597.00 c probing : 0 0 0 0
3586.70/3597.00 c pseudoobj : 0 0 0 0
3586.70/3597.00 c redcost : 0 0 0 0
3586.70/3597.00 c rootredcost : 0 0 0 0
3586.70/3597.00 c symmetry : 0 0 0 0
3586.70/3597.00 c vbounds : 51603 0 0 0
3586.70/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.70/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c pseudoobj : 0.07 0.00 0.00 0.07 0.00 0.00
3586.70/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.70/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.70/3597.00 c symmetry : 0.11 0.00 0.01 0.10 0.00 0.00
3586.70/3597.00 c vbounds : 0.19 0.00 0.00 0.19 0.00 0.00
3586.70/3597.00 c Symmetry :
3586.70/3597.00 c #affected vars : 10 (10 bin, 0 int, 0 cont)
3586.70/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.70/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.70/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.70/3597.00 c shadow tree time : 0.11 s
3586.70/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.70/3597.00 c propagation : 0.02 261 207 - 1539 177.1 1 6.0 - - -
3586.70/3597.00 c infeasible LP : 6.99 35490 10250 - 99392 35.9 4 26.2 0 0.0 0
3586.70/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.70/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.70/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.70/3597.00 c applied globally : 0.11 - - 0 17008 28.6 - - 0 - -
3586.70/3597.00 c applied locally : - - - 0 93 169.5 - - 0 - -
3586.70/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.70/3597.00 c cut pool : 1.11 - 5540 42 - - 5969 29935 - - - - - (maximal pool size: 3170)
3586.70/3597.00 c aggregation : 0.50 0.00 81 22 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.70/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.70/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.70/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c clique : 0.01 0.00 22 22 0 0 16 89 0 72 72 0 0
3586.70/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c gomory : 2.71 0.00 79 20 0 0 6987 16040 1318 3838 3829 9 0
3586.70/3597.00 c > gomorymi : - - - - - - - 4256 659 26 19 7 -
3586.70/3597.00 c > strongcg : - - - - - - - 11784 659 3812 3810 2 -
3586.70/3597.00 c impliedbounds : 0.00 0.00 81 22 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c multilinear : 0.00 0.00 188 22 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c rapidlearning : 5.57 0.00 100 1 0 2 0 0 0 0 0 0 0
3586.70/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c zerohalf : 0.86 0.00 81 22 0 0 348 13806 64 9879 9824 55 0
3586.70/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.70/3597.00 c hybrid : 0.11 0.00 4470 22 13789 0 17528 130 0 4051
3586.70/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.70/3597.00 c problem variables: 0.00 - 0 0
3586.70/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.70/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c relpscost : 9.90 0.00 35545 0 0 0 0 0 0 71090
3586.70/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.70/3597.00 c LP solutions : 0.00 - - 0 0
3586.70/3597.00 c relax solutions : 0.00 - - 0 0
3586.70/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.70/3597.00 c strong branching : 0.00 - - 0 0
3586.70/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c adaptivediving : 17.70 0.00 54 0 0
3586.70/3597.00 c alns : 4.94 0.00 10 0 0
3586.70/3597.00 c bound : 0.00 0.00 0 0 0
3586.70/3597.00 c clique : 0.01 0.00 1 0 0
3586.70/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c completesol : 0.00 0.00 0 0 0
3586.70/3597.00 c conflictdiving : 11.77 0.00 30 0 0
3586.70/3597.00 c crossover : 0.02 0.00 0 0 0
3586.70/3597.00 c dins : 0.00 0.00 0 0 0
3586.70/3597.00 c distributiondivin: 14.05 0.00 30 0 0
3586.70/3597.00 c dks : 0.00 0.00 0 0 0
3586.70/3597.00 c dps : 0.00 0.00 0 0 0
3586.70/3597.00 c dualval : 0.00 0.00 0 0 0
3586.70/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c feaspump : 7.07 0.00 15 0 0
3586.70/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.70/3597.00 c fracdiving : 11.35 0.00 30 0 0
3586.70/3597.00 c gins : 0.01 0.00 0 0 0
3586.70/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.70/3597.00 c indicator : 0.00 0.00 0 0 0
3586.70/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.70/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.70/3597.00 c linesearchdiving : 11.84 0.00 30 0 0
3586.70/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.70/3597.00 c locks : 0.00 0.00 1 0 0
3586.70/3597.00 c lpface : 0.05 0.00 0 0 0
3586.70/3597.00 c mpec : 0.00 0.00 0 0 0
3586.70/3597.00 c multistart : 0.00 0.00 0 0 0
3586.70/3597.00 c mutation : 0.00 0.00 0 0 0
3586.70/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c objpscostdiving : 73.42 0.00 16 0 0
3586.70/3597.00 c octane : 0.00 0.00 0 0 0
3586.70/3597.00 c ofins : 0.00 0.00 0 0 0
3586.70/3597.00 c oneopt : 0.02 0.00 0 0 0
3586.70/3597.00 c padm : 0.00 0.00 0 0 0
3586.70/3597.00 c proximity : 0.00 0.00 0 0 0
3586.70/3597.00 c pscostdiving : 14.64 0.00 30 0 0
3586.70/3597.00 c randrounding : 0.51 0.00 3340 0 0
3586.70/3597.00 c rens : 0.00 0.00 0 0 0
3586.70/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.70/3597.00 c repair : 0.00 0.00 0 0 0
3586.70/3597.00 c rins : 0.02 0.00 0 0 0
3586.70/3597.00 c rootsoldiving : 10.20 0.00 16 0 0
3586.70/3597.00 c rounding : 15.47 0.00 2778 0 0
3586.70/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.70/3597.00 c shiftandpropagate: 0.02 0.00 2 0 0
3586.70/3597.00 c shifting : 9.10 0.00 1132 0 0
3586.70/3597.00 c simplerounding : 0.01 0.00 0 0 0
3586.70/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.70/3597.00 c trivial : 0.00 0.00 4 0 0
3586.70/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.70/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.70/3597.00 c trysol : 0.01 0.00 0 0 0
3586.70/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.70/3597.00 c undercover : 0.00 0.00 0 0 0
3586.70/3597.00 c vbounds : 0.00 0.00 0 0 0
3586.70/3597.00 c veclendiving : 8.16 0.00 30 0 0
3586.70/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.70/3597.00 c zirounding : 0.28 0.00 1000 0 0
3586.70/3597.00 c other solutions : - - - 0 -
3586.70/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
3586.70/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c zeroobjective : 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
3586.70/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
3586.70/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.70/3597.00 c primal LP : 0.99 1311 0 0.00 0.00 0.99 1311
3586.70/3597.00 c dual LP : 3318.38 75182 23928333 318.33 7210.84 0.01 14
3586.70/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.70/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.70/3597.00 c resolve instable : 1.48 3 10594 3531.33 7156.18
3586.70/3597.00 c diving/probing LP: 174.69 2430 547086 225.14 3131.78
3586.70/3597.00 c strong branching : 5.07 36 27737 770.47 5467.79 - - 43
3586.70/3597.00 c (at root node) : - 36 27737 770.47 -
3586.70/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.70/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.70/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.70/3597.00 c B&B Tree :
3586.70/3597.00 c number of runs : 2
3586.70/3597.00 c nodes : 66604 (33376 internal, 33228 leaves)
3586.70/3597.00 c feasible leaves : 0
3586.70/3597.00 c infeas. leaves : 33227
3586.70/3597.00 c objective leaves : 0
3586.70/3597.00 c nodes (total) : 70724 (35545 internal, 35179 leaves)
3586.70/3597.00 c nodes left : 74
3586.70/3597.00 c max depth : 41
3586.70/3597.00 c max depth (total): 41
3586.70/3597.00 c backtracks : 14219 (21.3%)
3586.70/3597.00 c early backtracks : 0 (0.0%)
3586.70/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.70/3597.00 c delayed cutoffs : 76
3586.70/3597.00 c repropagations : 18844 (9598 domain reductions, 74 cutoffs)
3586.70/3597.00 c avg switch length: 2.95
3586.70/3597.00 c switching time : 4.29
3586.70/3597.00 c Root Node :
3586.70/3597.00 c First LP value : +0.00000000000000e+00
3586.70/3597.00 c First LP Iters : 2822 (7505.64 Iter/sec)
3586.70/3597.00 c First LP Time : 0.38
3586.70/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.70/3597.00 c Final Root Iters : 32540
3586.70/3597.00 c Root LP Estimate : +3.32830885207000e-02
3586.70/3597.00 c Solution :
3586.70/3597.00 c Solutions found : 0 (0 improvements)
3586.70/3597.00 c Primal Bound : -
3586.70/3597.00 c Dual Bound : +0.00000000000000e+00
3586.70/3597.00 c Gap : infinite
3586.70/3597.00 c Integrals : Total Avg%
3586.70/3597.00 c primal-dual : 359699.85 100.00
3586.70/3597.00 c primal-ref : - - (not evaluated)
3586.70/3597.00 c dual-ref : - - (not evaluated)
3586.81/3597.02 c Time complete (sec): 3586.841