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-4493635-1751148182.opb>
0.00/0.00 c original problem has 266 variables (266 bin, 0 int, 0 cont) and 573 constraints
0.00/0.00 c problem read in 0.002 seconds
0.00/0.00 c problem without objective
0.00/0.00 c presolving:
0.00/0.00 c (round 1, fast) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 142 clqs
0.00/0.00 c (round 2, fast) 12 del vars, 14 del conss, 0 add conss, 12 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 129 clqs
0.00/0.00 c (round 3, fast) 12 del vars, 25 del conss, 0 add conss, 12 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 129 clqs
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.00 c (0.0s) MILP presolver (3 rounds): 2 aggregations, 3 fixings, 0 bound changes
0.00/0.00 c (round 4, medium) 17 del vars, 25 del conss, 0 add conss, 12 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 122 clqs
0.00/0.00 c (round 5, fast) 17 del vars, 35 del conss, 0 add conss, 12 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 140 clqs
0.00/0.01 c (round 6, exhaustive) 17 del vars, 35 del conss, 0 add conss, 12 chg bounds, 0 chg sides, 1 chg coeffs, 538 upgd conss, 0 impls, 140 clqs
0.00/0.01 c (round 7, medium) 23 del vars, 189 del conss, 606 add conss, 12 chg bounds, 6 chg sides, 18 chg coeffs, 538 upgd conss, 0 impls, 714 clqs
0.00/0.01 c (round 8, fast) 23 del vars, 199 del conss, 606 add conss, 12 chg bounds, 6 chg sides, 20 chg coeffs, 538 upgd conss, 0 impls, 714 clqs
0.00/0.01 c (round 9, exhaustive) 23 del vars, 888 del conss, 701 add conss, 12 chg bounds, 6 chg sides, 20 chg coeffs, 538 upgd conss, 0 impls, 714 clqs
0.00/0.01 c (round 10, exhaustive) 23 del vars, 891 del conss, 701 add conss, 12 chg bounds, 6 chg sides, 20 chg coeffs, 538 upgd conss, 0 impls, 714 clqs
0.00/0.01 c (round 11, exhaustive) 23 del vars, 891 del conss, 701 add conss, 12 chg bounds, 6 chg sides, 103 chg coeffs, 538 upgd conss, 0 impls, 714 clqs
0.00/0.03 c (0.0s) probing cycle finished: starting next cycle
0.00/0.03 c (round 12, exhaustive) 27 del vars, 891 del conss, 701 add conss, 12 chg bounds, 6 chg sides, 103 chg coeffs, 538 upgd conss, 0 impls, 2945 clqs
0.00/0.03 c (round 13, fast) 27 del vars, 895 del conss, 701 add conss, 12 chg bounds, 6 chg sides, 117 chg coeffs, 538 upgd conss, 0 impls, 2945 clqs
0.00/0.03 c (round 14, exhaustive) 27 del vars, 895 del conss, 701 add conss, 12 chg bounds, 6 chg sides, 118 chg coeffs, 538 upgd conss, 0 impls, 2945 clqs
0.00/0.03 c (round 15, exhaustive) 27 del vars, 896 del conss, 702 add conss, 12 chg bounds, 6 chg sides, 118 chg coeffs, 538 upgd conss, 0 impls, 2945 clqs
0.00/0.03 c (round 16, exhaustive) 27 del vars, 896 del conss, 702 add conss, 12 chg bounds, 6 chg sides, 120 chg coeffs, 538 upgd conss, 0 impls, 2945 clqs
0.00/0.03 c (0.0s) probing: 51/239 (21.3%) - 3 fixings, 1 aggregations, 3275 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.03 c presolving (17 rounds: 17 fast, 11 medium, 9 exhaustive):
0.00/0.03 c 27 deleted vars, 896 deleted constraints, 702 added constraints, 12 tightened bounds, 0 added holes, 6 changed sides, 120 changed coefficients
0.00/0.03 c 0 implications, 2945 cliques
0.00/0.03 c presolved problem has 239 variables (239 bin, 0 int, 0 cont) and 379 constraints
0.00/0.03 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.03 c 9 constraints of type <knapsack>
0.00/0.03 c 115 constraints of type <setppc>
0.00/0.03 c 93 constraints of type <and>
0.00/0.03 c 162 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.03
0.00/0.03 c
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c
0.00/0.03 c # SCIP version 10.0.0
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.03 c limits/time = 3596.998197
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.03 c limits/memory = 27900
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.03 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.03 c reading/opbreader/maxintsize = 47
0.00/0.03 c
0.00/0.03 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.03 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.03 c propagating/genvbounds/timingmask = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c
0.00/0.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.05 c 0.1s| 1 | 0 | 327 | - | 6441k | 0 | 239 | 418 | 472 | 0 | 0 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.18 c 0.2s| 1 | 0 | 2221 | - | 14M | 0 | 239 | 538 | 507 | 35 | 1 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.23 c 0.2s| 1 | 0 | 2647 | - | 20M | 0 | 239 | 540 | 546 | 74 | 2 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.27 c 0.3s| 1 | 0 | 2856 | - | 25M | 0 | 239 | 545 | 585 | 113 | 3 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.31 c 0.3s| 1 | 0 | 3123 | - | 33M | 0 | 239 | 550 | 620 | 148 | 4 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.34 c 0.3s| 1 | 0 | 3331 | - | 39M | 0 | 239 | 554 | 663 | 191 | 5 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.38 c 0.4s| 1 | 0 | 3502 | - | 44M | 0 | 239 | 555 | 700 | 228 | 6 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.41 c 0.4s| 1 | 0 | 3584 | - | 49M | 0 | 239 | 560 | 730 | 258 | 7 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.44 c 0.4s| 1 | 0 | 3693 | - | 51M | 0 | 239 | 564 | 756 | 284 | 8 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.47 c 0.5s| 1 | 0 | 3777 | - | 59M | 0 | 239 | 566 | 778 | 306 | 9 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.50 c 0.5s| 1 | 0 | 3867 | - | 61M | 0 | 239 | 567 | 801 | 329 | 10 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.51 c 0.5s| 1 | 0 | 3958 | - | 63M | 0 | 239 | 567 | 819 | 347 | 11 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
0.58/0.66 c 0.7s| 1 | 2 | 4751 | - | 63M | 0 | 239 | 570 | 819 | 347 | 11 | 74 | 10 | 0.000000e+00 | -- | Inf | unknown
1.08/1.12 c 1.1s| 100 | 15 | 9760 | 58.6 | 65M | 20 | 239 | 632 | 0 | 936 | 0 | 136 | 10 | 0.000000e+00 | -- | Inf | 6.47%
1.28/1.34 c 1.3s| 200 | 17 | 12561 | 43.2 | 68M | 20 | 239 | 684 | 0 |1190 | 0 | 188 | 10 | 0.000000e+00 | -- | Inf | 6.69%
1.38/1.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.48 c 1.5s| 300 | 19 | 14833 | 36.4 | 69M | 20 | 239 | 714 | 802 |1380 | 2 | 218 | 10 | 0.000000e+00 | -- | Inf | 6.78%
1.78/1.81 c 1.8s| 400 | 17 | 18218 | 35.7 | 72M | 20 | 239 | 732 | 816 |1621 | 2 | 236 | 10 | 0.000000e+00 | -- | Inf | 7.37%
2.17/2.26 c 2.3s| 500 | 13 | 22158 | 36.5 | 78M | 20 | 239 | 787 | 0 |2011 | 0 | 293 | 10 | 0.000000e+00 | -- | Inf | 11.89%
2.48/2.57 c 2.6s| 600 | 17 | 26321 | 37.3 | 83M | 20 | 239 | 808 | 819 |2341 | 1 | 314 | 10 | 0.000000e+00 | -- | Inf | 13.23%
2.68/2.79 c 2.8s| 700 | 19 | 29282 | 36.2 | 83M | 20 | 239 | 832 | 807 |2559 | 2 | 338 | 10 | 0.000000e+00 | -- | Inf | 13.31%
2.98/3.00 c 3.0s| 800 | 19 | 32080 | 35.2 | 86M | 20 | 239 | 866 | 828 |2803 | 0 | 372 | 10 | 0.000000e+00 | -- | Inf | 13.36%
3.17/3.27 c 3.3s| 900 | 17 | 34862 | 34.4 | 87M | 20 | 239 | 907 | 0 |2991 | 0 | 414 | 10 | 0.000000e+00 | -- | Inf | 13.52%
3.57/3.68 c 3.7s| 1000 | 21 | 37301 | 33.4 | 88M | 20 | 239 | 969 | 767 |3149 | 2 | 476 | 10 | 0.000000e+00 | -- | Inf | 14.40%
4.08/4.14 c 4.1s| 1100 | 19 | 40303 | 33.1 | 89M | 20 | 239 |1028 | 0 |3525 | 0 | 539 | 10 | 0.000000e+00 | -- | Inf | 17.41%
4.27/4.39 c 4.4s| 1200 | 17 | 43575 | 33.0 | 89M | 20 | 239 |1072 | 826 |3757 | 2 | 583 | 10 | 0.000000e+00 | -- | Inf | 17.73%
4.47/4.50 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.47/4.50 c (run 1, node 1240) performing user restart
4.47/4.50 c
4.47/4.50 c (restart) converted 142 cuts from the global cut pool into linear constraints
4.47/4.50 c
4.47/4.51 c presolving:
4.47/4.52 c (round 1, fast) 0 del vars, 19 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2945 clqs
4.47/4.52 c (round 2, exhaustive) 0 del vars, 19 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 260 upgd conss, 0 impls, 2945 clqs
4.47/4.52 c (round 3, exhaustive) 0 del vars, 19 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 260 upgd conss, 0 impls, 2945 clqs
4.47/4.53 c (round 4, exhaustive) 0 del vars, 70 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 41 chg coeffs, 260 upgd conss, 0 impls, 2945 clqs
4.47/4.53 c (round 5, exhaustive) 0 del vars, 82 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 41 chg coeffs, 260 upgd conss, 0 impls, 2945 clqs
4.47/4.54 c (round 6, exhaustive) 0 del vars, 82 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1539 chg coeffs, 260 upgd conss, 0 impls, 2945 clqs
4.47/4.55 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
4.47/4.55 c 0 deleted vars, 82 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1540 changed coefficients
4.47/4.55 c 0 implications, 2945 cliques
4.47/4.55 c presolved problem has 239 variables (239 bin, 0 int, 0 cont) and 1139 constraints
4.47/4.55 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
4.47/4.55 c 14 constraints of type <knapsack>
4.47/4.55 c 267 constraints of type <setppc>
4.47/4.55 c 93 constraints of type <and>
4.47/4.55 c 765 constraints of type <logicor>
4.47/4.55 c transformed objective value is always integral (scale: 1)
4.47/4.55 c Presolving Time: 0.06
4.47/4.55 c
4.47/4.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.47/4.56 c 4.6s| 1 | 0 | 45392 | - | 87M | 0 | 239 |1142 | 614 | 0 | 0 | 593 | 10 | 0.000000e+00 | -- | Inf | unknown
4.57/4.66 c 4.7s| 1 | 0 | 45713 | - | 88M | 0 | 239 |1201 | 652 | 38 | 1 | 596 | 10 | 0.000000e+00 | -- | Inf | unknown
4.67/4.70 c 4.7s| 1 | 0 | 45924 | - | 88M | 0 | 239 |1202 | 689 | 75 | 2 | 597 | 10 | 0.000000e+00 | -- | Inf | unknown
4.67/4.73 c 4.7s| 1 | 0 | 46011 | - | 88M | 0 | 239 |1203 | 720 | 106 | 3 | 598 | 10 | 0.000000e+00 | -- | Inf | unknown
4.67/4.77 c 4.8s| 1 | 0 | 46189 | - | 88M | 0 | 239 |1207 | 748 | 134 | 4 | 602 | 10 | 0.000000e+00 | -- | Inf | unknown
4.77/4.80 c 4.8s| 1 | 0 | 46283 | - | 88M | 0 | 239 |1210 | 766 | 152 | 5 | 605 | 10 | 0.000000e+00 | -- | Inf | unknown
4.77/4.83 c 4.8s| 1 | 0 | 46331 | - | 88M | 0 | 239 |1211 | 784 | 170 | 6 | 606 | 10 | 0.000000e+00 | -- | Inf | unknown
4.77/4.86 c 4.9s| 1 | 0 | 46387 | - | 88M | 0 | 239 |1214 | 790 | 176 | 7 | 609 | 10 | 0.000000e+00 | -- | Inf | unknown
4.87/4.90 c 4.9s| 1 | 0 | 46424 | - | 89M | 0 | 239 |1215 | 803 | 189 | 8 | 610 | 10 | 0.000000e+00 | -- | Inf | unknown
4.87/4.93 c 4.9s| 1 | 0 | 46468 | - | 89M | 0 | 239 |1220 | 817 | 203 | 9 | 615 | 10 | 0.000000e+00 | -- | Inf | unknown
4.87/4.98 c 5.0s| 1 | 0 | 46506 | - | 90M | 0 | 239 |1221 | 728 | 211 | 10 | 616 | 10 | 0.000000e+00 | -- | Inf | unknown
4.87/4.99 c 5.0s| 1 | 0 | 46521 | - | 90M | 0 | 239 |1225 | 733 | 216 | 11 | 620 | 10 | 0.000000e+00 | -- | Inf | unknown
4.97/5.08 c 5.1s| 1 | 2 | 46999 | - | 90M | 0 | 239 |1231 | 733 | 216 | 11 | 626 | 20 | 0.000000e+00 | -- | Inf | unknown
5.86/5.93 c 5.9s| 100 | 20 | 53576 | 35.9 | 92M | 19 | 239 |1265 | 0 | 924 | 0 | 661 | 20 | 0.000000e+00 | -- | Inf | 9.91%
6.07/6.15 c 6.2s| 200 | 16 | 56351 | 35.3 | 95M | 19 | 239 |1294 | 778 |1208 | 0 | 691 | 20 | 0.000000e+00 | -- | Inf | 11.32%
6.56/6.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.56/6.63 c 6.6s| 300 | 20 | 59160 | 34.9 | 95M | 19 | 239 |1318 | 0 |1592 | 0 | 726 | 20 | 0.000000e+00 | -- | Inf | 13.42%
6.96/7.02 c 7.0s| 400 | 18 | 61905 | 34.4 | 97M | 19 | 239 |1342 | 0 |1927 | 0 | 752 | 20 | 0.000000e+00 | -- | Inf | 14.10%
7.26/7.35 c 7.4s| 500 | 16 | 65310 | 34.4 | 100M | 20 | 239 |1362 | 761 |2251 | 2 | 774 | 20 | 0.000000e+00 | -- | Inf | 15.04%
7.56/7.63 c 7.6s| 600 | 16 | 68338 | 34.2 | 102M | 20 | 239 |1377 | 804 |2500 | 1 | 789 | 20 | 0.000000e+00 | -- | Inf | 15.99%
7.76/7.87 c 7.9s| 700 | 14 | 70647 | 33.6 | 103M | 20 | 239 |1386 | 754 |2655 | 0 | 802 | 20 | 0.000000e+00 | -- | Inf | 16.13%
7.97/8.05 c 8.0s| 800 | 14 | 72260 | 32.7 | 104M | 20 | 239 |1395 | 0 |2842 | 0 | 817 | 20 | 0.000000e+00 | -- | Inf | 16.20%
8.16/8.24 c 8.2s| 900 | 14 | 74765 | 32.4 | 104M | 20 | 239 |1397 | 0 |3107 | 0 | 833 | 20 | 0.000000e+00 | -- | Inf | 16.39%
8.56/8.66 c 8.7s| 1000 | 14 | 77521 | 32.2 | 104M | 20 | 239 |1416 | 781 |3462 | 1 | 863 | 20 | 0.000000e+00 | -- | Inf | 17.76%
8.86/8.91 c 8.9s| 1100 | 12 | 79941 | 31.8 | 104M | 20 | 239 |1433 | 743 |3672 | 2 | 885 | 20 | 0.000000e+00 | -- | Inf | 17.97%
9.36/9.41 c 9.4s| 1200 | 18 | 83943 | 32.2 | 105M | 20 | 239 |1450 | 778 |4277 | 2 | 941 | 20 | 0.000000e+00 | -- | Inf | 22.53%
9.66/9.71 c 9.7s| 1300 | 18 | 86761 | 32.0 | 105M | 20 | 239 |1474 | 784 |4536 | 2 | 979 | 20 | 0.000000e+00 | -- | Inf | 22.80%
9.85/9.96 c 10.0s| 1400 | 16 | 89092 | 31.7 | 105M | 20 | 239 |1492 | 0 |4724 | 0 |1015 | 20 | 0.000000e+00 | -- | Inf | 23.00%
10.06/10.18 c 10.2s| 1500 | 20 | 91860 | 31.5 | 105M | 20 | 239 |1521 | 0 |4978 | 0 |1057 | 20 | 0.000000e+00 | -- | Inf | 23.16%
10.25/10.39 c 10.4s| 1600 | 20 | 93978 | 31.2 | 105M | 20 | 239 |1542 | 789 |5085 | 2 |1084 | 20 | 0.000000e+00 | -- | Inf | 23.18%
10.55/10.69 c 10.7s| 1700 | 16 | 96609 | 31.0 | 105M | 20 | 239 |1569 | 792 |5231 | 2 |1117 | 20 | 0.000000e+00 | -- | Inf | 23.21%
10.85/10.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.85/10.90 c 10.9s| 1800 | 18 | 98771 | 30.7 | 107M | 22 | 239 |1571 | 802 |5427 | 0 |1156 | 20 | 0.000000e+00 | -- | Inf | 23.42%
11.15/11.25 c 11.3s| 1900 | 18 |102542 | 30.9 | 107M | 22 | 239 |1559 | 755 |5946 | 0 |1174 | 20 | 0.000000e+00 | -- | Inf | 23.94%
11.35/11.43 c 11.4s| 2000 | 22 |105601 | 30.9 | 108M | 22 | 239 |1551 | 766 |6389 | 1 |1213 | 20 | 0.000000e+00 | -- | Inf | 24.21%
11.45/11.54 c 11.5s| 2100 | 24 |108348 | 30.8 | 108M | 22 | 239 |1529 | 763 |6544 | 0 |1239 | 20 | 0.000000e+00 | -- | Inf | 24.26%
11.55/11.65 c 11.6s| 2200 | 22 |110463 | 30.5 | 108M | 25 | 239 |1535 | 830 |6717 | 0 |1264 | 20 | 0.000000e+00 | -- | Inf | 24.27%
11.65/11.77 c 11.8s| 2300 | 18 |112723 | 30.3 | 108M | 25 | 239 |1550 | 834 |6910 | 2 |1300 | 20 | 0.000000e+00 | -- | Inf | 24.47%
11.85/11.91 c 11.9s| 2400 | 18 |115099 | 30.1 | 108M | 26 | 239 |1560 | 782 |7182 | 0 |1322 | 20 | 0.000000e+00 | -- | Inf | 24.51%
11.95/12.05 c 12.1s| 2500 | 20 |117630 | 30.0 | 108M | 26 | 239 |1563 | 781 |7594 | 0 |1357 | 20 | 0.000000e+00 | -- | Inf | 24.55%
12.05/12.16 c 12.2s| 2600 | 24 |119677 | 29.7 | 108M | 26 | 239 |1598 | 789 |7881 | 1 |1406 | 20 | 0.000000e+00 | -- | Inf | 24.56%
12.15/12.25 c 12.2s| 2700 | 22 |121590 | 29.5 | 108M | 30 | 239 |1610 | 783 |8036 | 2 |1420 | 20 | 0.000000e+00 | -- | Inf | 24.56%
12.25/12.35 c 12.3s| 2800 | 26 |123474 | 29.2 | 108M | 30 | 239 |1653 | 768 |8316 | 1 |1477 | 20 | 0.000000e+00 | -- | Inf | 24.57%
12.35/12.44 c 12.4s| 2900 | 24 |125361 | 29.0 | 108M | 30 | 239 |1692 | 0 |8534 | 0 |1521 | 20 | 0.000000e+00 | -- | Inf | 24.58%
12.44/12.52 c 12.5s| 3000 | 24 |127127 | 28.7 | 108M | 30 | 239 |1724 | 0 |8773 | 0 |1560 | 20 | 0.000000e+00 | -- | Inf | 24.58%
12.54/12.62 c 12.6s| 3100 | 26 |129195 | 28.5 | 108M | 30 | 239 |1750 | 755 |8988 | 2 |1591 | 20 | 0.000000e+00 | -- | Inf | 24.58%
12.64/12.72 c 12.7s| 3200 | 24 |131359 | 28.4 | 108M | 30 | 239 |1773 | 762 |9215 | 2 |1619 | 20 | 0.000000e+00 | -- | Inf | 24.59%
12.74/12.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.74/12.82 c 12.8s| 3300 | 24 |133388 | 28.2 | 108M | 30 | 239 |1797 | 768 |9425 | 0 |1654 | 20 | 0.000000e+00 | -- | Inf | 24.59%
12.84/12.90 c 12.9s| 3400 | 22 |135105 | 27.9 | 108M | 30 | 239 |1815 | 0 |9571 | 0 |1695 | 20 | 0.000000e+00 | -- | Inf | 24.60%
12.84/12.98 c 13.0s| 3500 | 20 |136805 | 27.7 | 108M | 30 | 239 |1869 | 0 |9823 | 0 |1750 | 20 | 0.000000e+00 | -- | Inf | 24.61%
12.95/13.06 c 13.1s| 3600 | 20 |138392 | 27.5 | 108M | 30 | 239 |1917 | 764 | 10k| 2 |1798 | 20 | 0.000000e+00 | -- | Inf | 24.61%
13.05/13.16 c 13.2s| 3700 | 22 |140120 | 27.3 | 108M | 30 | 239 |1968 | 784 | 10k| 1 |1855 | 20 | 0.000000e+00 | -- | Inf | 24.62%
13.14/13.23 c 13.2s| 3800 | 20 |141933 | 27.1 | 108M | 32 | 239 |1996 | 805 | 10k| 2 |1884 | 20 | 0.000000e+00 | -- | Inf | 24.63%
13.34/13.41 c 13.4s| 3900 | 20 |144843 | 27.1 | 108M | 32 | 239 |2020 | 751 | 10k| 0 |1919 | 20 | 0.000000e+00 | -- | Inf | 24.64%
13.44/13.50 c 13.5s| 4000 | 22 |146891 | 27.0 | 108M | 32 | 239 |2045 | 793 | 10k| 2 |1964 | 20 | 0.000000e+00 | -- | Inf | 24.67%
13.54/13.61 c 13.6s| 4100 | 26 |149155 | 26.9 | 108M | 32 | 239 |2058 | 772 | 11k| 2 |1998 | 20 | 0.000000e+00 | -- | Inf | 24.69%
13.64/13.70 c 13.7s| 4200 | 24 |151387 | 26.8 | 108M | 32 | 239 |2064 | 767 | 11k| 2 |2022 | 20 | 0.000000e+00 | -- | Inf | 24.70%
13.74/13.86 c 13.9s| 4300 | 26 |153755 | 26.8 | 108M | 32 | 239 |2088 | 734 | 11k| 2 |2067 | 20 | 0.000000e+00 | -- | Inf | 24.70%
13.94/14.09 c 14.1s| 4400 | 28 |156070 | 26.7 | 108M | 32 | 239 |2066 | 759 | 11k| 1 |2122 | 20 | 0.000000e+00 | -- | Inf | 26.34%
14.24/14.38 c 14.4s| 4500 | 32 |159975 | 26.9 | 108M | 32 | 239 |2085 | 0 | 12k| 0 |2192 | 20 | 0.000000e+00 | -- | Inf | 32.31%
14.44/14.57 c 14.6s| 4600 | 36 |163133 | 27.0 | 108M | 32 | 239 |2108 | 795 | 12k| 0 |2264 | 20 | 0.000000e+00 | -- | Inf | 33.24%
14.74/14.84 c 14.8s| 4700 | 38 |166247 | 27.1 | 108M | 32 | 239 |2101 | 804 | 12k| 1 |2300 | 20 | 0.000000e+00 | -- | Inf | 34.20%
15.04/15.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.04/15.16 c 15.2s| 4800 | 32 |168391 | 27.0 | 108M | 32 | 239 |2093 | 841 | 13k| 0 |2338 | 20 | 0.000000e+00 | -- | Inf | 34.83%
15.33/15.43 c 15.4s| 4900 | 36 |172160 | 27.1 | 108M | 32 | 239 |2019 | 792 | 13k| 1 |2394 | 20 | 0.000000e+00 | -- | Inf | 35.73%
15.53/15.67 c 15.7s| 5000 | 34 |174986 | 27.2 | 108M | 32 | 239 |2013 | 801 | 13k| 0 |2443 | 20 | 0.000000e+00 | -- | Inf | 37.34%
15.83/15.97 c 16.0s| 5100 | 36 |177720 | 27.2 | 108M | 32 | 239 |1964 | 769 | 14k| 2 |2478 | 20 | 0.000000e+00 | -- | Inf | 39.01%
16.04/16.17 c 16.2s| 5200 | 36 |180351 | 27.2 | 108M | 32 | 239 |1962 | 790 | 14k| 2 |2535 | 20 | 0.000000e+00 | -- | Inf | 39.20%
16.23/16.34 c 16.3s| 5300 | 30 |182609 | 27.1 | 108M | 32 | 239 |1952 | 0 | 14k| 0 |2565 | 20 | 0.000000e+00 | -- | Inf | 39.30%
16.43/16.55 c 16.5s| 5400 | 32 |187487 | 27.4 | 108M | 32 | 239 |1945 | 768 | 15k| 1 |2588 | 20 | 0.000000e+00 | -- | Inf | 42.44%
16.63/16.74 c 16.7s| 5500 | 34 |189997 | 27.4 | 108M | 32 | 239 |1934 | 788 | 15k| 0 |2613 | 20 | 0.000000e+00 | -- | Inf | 42.61%
16.73/16.85 c 16.9s| 5600 | 34 |192634 | 27.4 | 108M | 32 | 239 |1963 | 0 | 15k| 0 |2648 | 20 | 0.000000e+00 | -- | Inf | 42.63%
16.83/16.94 c 16.9s| 5700 | 34 |194487 | 27.2 | 108M | 32 | 239 |1986 | 758 | 15k| 0 |2673 | 20 | 0.000000e+00 | -- | Inf | 42.63%
16.93/17.06 c 17.1s| 5800 | 32 |197352 | 27.3 | 108M | 32 | 239 |1999 | 826 | 16k| 2 |2695 | 20 | 0.000000e+00 | -- | Inf | 42.83%
17.23/17.32 c 17.3s| 5900 | 38 |199989 | 27.2 | 110M | 32 | 239 |2006 | 843 | 16k| 1 |2752 | 20 | 0.000000e+00 | -- | Inf | 43.07%
17.43/17.50 c 17.5s| 6000 | 34 |202239 | 27.2 | 110M | 32 | 239 |2022 | 858 | 16k| 2 |2798 | 20 | 0.000000e+00 | -- | Inf | 43.19%
17.63/17.73 c 17.7s| 6100 | 30 |204293 | 27.1 | 110M | 34 | 239 |2022 | 0 | 16k| 0 |2810 | 20 | 0.000000e+00 | -- | Inf | 43.33%
17.73/17.83 c 17.8s| 6200 | 32 |206612 | 27.0 | 110M | 34 | 239 |2044 | 848 | 16k| 0 |2847 | 20 | 0.000000e+00 | -- | Inf | 43.38%
17.82/17.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.82/17.92 c 17.9s| 6300 | 28 |208707 | 27.0 | 110M | 35 | 239 |2048 | 809 | 16k| 0 |2860 | 20 | 0.000000e+00 | -- | Inf | 43.39%
17.93/18.00 c 18.0s| 6400 | 30 |210412 | 26.8 | 110M | 35 | 239 |2086 | 0 | 16k| 0 |2903 | 20 | 0.000000e+00 | -- | Inf | 43.39%
18.12/18.27 c 18.3s| 6500 | 34 |212723 | 26.8 | 111M | 35 | 239 |2107 | 900 | 17k| 2 |2959 | 20 | 0.000000e+00 | -- | Inf | 44.47%
18.32/18.48 c 18.5s| 6600 | 36 |214375 | 26.6 | 111M | 35 | 239 |2162 | 902 | 17k| 1 |3047 | 20 | 0.000000e+00 | -- | Inf | 44.76%
18.52/18.66 c 18.7s| 6700 | 34 |216575 | 26.6 | 111M | 35 | 239 |2183 | 903 | 17k| 0 |3091 | 20 | 0.000000e+00 | -- | Inf | 44.87%
18.62/18.78 c 18.8s| 6800 | 38 |219113 | 26.6 | 111M | 35 | 239 |2192 | 883 | 17k| 0 |3118 | 20 | 0.000000e+00 | -- | Inf | 44.91%
18.82/18.90 c 18.9s| 6900 | 42 |221710 | 26.6 | 111M | 35 | 239 |2239 | 0 | 17k| 0 |3174 | 20 | 0.000000e+00 | -- | Inf | 44.92%
18.82/18.99 c 19.0s| 7000 | 46 |223829 | 26.5 | 111M | 35 | 239 |2248 | 890 | 17k| 2 |3192 | 20 | 0.000000e+00 | -- | Inf | 44.92%
18.93/19.10 c 19.1s| 7100 | 46 |226098 | 26.5 | 111M | 35 | 239 |2270 | 880 | 17k| 0 |3221 | 20 | 0.000000e+00 | -- | Inf | 44.92%
19.03/19.19 c 19.2s| 7200 | 54 |228214 | 26.4 | 111M | 35 | 239 |2284 | 884 | 17k| 1 |3242 | 20 | 0.000000e+00 | -- | Inf | 44.92%
19.12/19.28 c 19.3s| 7300 | 43 |230119 | 26.3 | 111M | 38 | 239 |2308 | 927 | 17k| 0 |3272 | 20 | 0.000000e+00 | -- | Inf | 44.92%
19.22/19.38 c 19.4s| 7400 | 41 |232361 | 26.3 | 111M | 38 | 239 |2332 | 894 | 18k| 2 |3319 | 20 | 0.000000e+00 | -- | Inf | 44.94%
19.52/19.65 c 19.7s| 7500 | 37 |234991 | 26.3 | 111M | 38 | 239 |2360 | 744 | 18k| 2 |3361 | 20 | 0.000000e+00 | -- | Inf | 45.03%
19.62/19.77 c 19.8s| 7600 | 37 |237169 | 26.2 | 111M | 38 | 239 |2388 | 907 | 18k| 0 |3413 | 20 | 0.000000e+00 | -- | Inf | 45.92%
19.72/19.85 c 19.9s| 7700 | 35 |238796 | 26.1 | 111M | 38 | 239 |2417 | 0 | 18k| 0 |3476 | 20 | 0.000000e+00 | -- | Inf | 46.73%
20.02/20.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.02/20.10 c 20.1s| 7800 | 35 |241616 | 26.1 | 111M | 38 | 239 |2414 | 773 | 18k| 1 |3510 | 20 | 0.000000e+00 | -- | Inf | 47.63%
20.22/20.32 c 20.3s| 7900 | 33 |244961 | 26.2 | 111M | 38 | 239 |2418 | 800 | 19k| 2 |3564 | 20 | 0.000000e+00 | -- | Inf | 48.61%
20.42/20.53 c 20.5s| 8000 | 31 |247308 | 26.2 | 111M | 38 | 239 |2412 | 801 | 19k| 2 |3629 | 20 | 0.000000e+00 | -- | Inf | 49.47%
20.62/20.79 c 20.8s| 8100 | 29 |250446 | 26.2 | 111M | 38 | 239 |2370 | 822 | 19k| 1 |3642 | 20 | 0.000000e+00 | -- | Inf | 50.10%
20.92/21.06 c 21.1s| 8200 | 31 |253455 | 26.3 | 112M | 38 | 239 |2279 | 906 | 19k| 3 |3687 | 20 | 0.000000e+00 | -- | Inf | 55.29%
21.21/21.32 c 21.3s| 8300 | 33 |256184 | 26.3 | 112M | 38 | 239 |2240 | 809 | 20k| 2 |3726 | 20 | 0.000000e+00 | -- | Inf | 55.85%
21.31/21.43 c 21.4s| 8400 | 33 |258753 | 26.3 | 112M | 38 | 239 |2240 | 0 | 20k| 0 |3744 | 20 | 0.000000e+00 | -- | Inf | 55.85%
21.41/21.52 c 21.5s| 8500 | 33 |260780 | 26.2 | 112M | 38 | 239 |2248 | 809 | 20k| 2 |3756 | 20 | 0.000000e+00 | -- | Inf | 55.85%
21.61/21.72 c 21.7s| 8600 | 33 |263169 | 26.2 | 112M | 38 | 239 |2218 | 0 | 20k| 0 |3800 | 20 | 0.000000e+00 | -- | Inf | 56.33%
21.92/22.06 c 22.1s| 8700 | 33 |265812 | 26.2 | 112M | 38 | 239 |2212 | 897 | 20k| 0 |3857 | 20 | 0.000000e+00 | -- | Inf | 56.73%
22.31/22.49 c 22.5s| 8800 | 33 |268371 | 26.2 | 112M | 38 | 239 |2197 | 895 | 20k| 1 |3925 | 20 | 0.000000e+00 | -- | Inf | 58.41%
22.51/22.61 c 22.6s| 8900 | 33 |270921 | 26.2 | 112M | 38 | 239 |2200 | 896 | 20k| 1 |3966 | 20 | 0.000000e+00 | -- | Inf | 60.00%
22.61/22.76 c 22.8s| 9000 | 35 |273068 | 26.1 | 112M | 38 | 239 |2209 | 898 | 21k| 1 |3997 | 20 | 0.000000e+00 | -- | Inf | 60.21%
23.01/23.16 c 23.2s| 9100 | 37 |275583 | 26.1 | 113M | 38 | 239 |2163 | 906 | 21k| 0 |4033 | 20 | 0.000000e+00 | -- | Inf | 60.93%
23.31/23.41 c 23.4s| 9200 | 37 |278132 | 26.1 | 113M | 38 | 239 |2133 | 787 | 21k| 2 |4066 | 20 | 0.000000e+00 | -- | Inf | 61.08%
23.51/23.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.51/23.62 c 23.6s| 9300 | 41 |280936 | 26.1 | 113M | 38 | 239 |2088 | 0 | 21k| 0 |4083 | 20 | 0.000000e+00 | -- | Inf | 61.18%
23.61/23.71 c 23.7s| 9400 | 39 |282985 | 26.1 | 113M | 38 | 239 |2087 | 895 | 21k| 0 |4110 | 20 | 0.000000e+00 | -- | Inf | 61.27%
23.71/23.88 c 23.9s| 9500 | 41 |285258 | 26.1 | 113M | 38 | 239 |2095 | 899 | 22k| 2 |4136 | 20 | 0.000000e+00 | -- | Inf | 61.29%
23.81/23.99 c 24.0s| 9600 | 41 |287646 | 26.0 | 113M | 38 | 239 |2093 | 905 | 22k| 0 |4162 | 20 | 0.000000e+00 | -- | Inf | 61.33%
23.91/24.08 c 24.1s| 9700 | 41 |289555 | 26.0 | 113M | 38 | 239 |2097 | 893 | 22k| 2 |4193 | 20 | 0.000000e+00 | -- | Inf | 61.35%
24.21/24.30 c 24.3s| 9800 | 43 |291741 | 25.9 | 113M | 38 | 239 |2104 | 900 | 22k| 0 |4210 | 20 | 0.000000e+00 | -- | Inf | 61.39%
24.21/24.39 c 24.4s| 9900 | 43 |294026 | 25.9 | 113M | 38 | 239 |2104 | 891 | 22k| 0 |4217 | 20 | 0.000000e+00 | -- | Inf | 61.47%
24.40/24.59 c 24.6s| 10000 | 45 |296452 | 25.9 | 113M | 38 | 239 |2113 | 0 | 22k| 0 |4246 | 20 | 0.000000e+00 | -- | Inf | 61.56%
24.60/24.70 c 24.7s| 10100 | 45 |298978 | 25.9 | 113M | 38 | 239 |2119 | 0 | 22k| 0 |4272 | 20 | 0.000000e+00 | -- | Inf | 61.60%
24.60/24.79 c 24.8s| 10200 | 45 |301046 | 25.8 | 113M | 38 | 239 |2138 | 912 | 22k| 0 |4295 | 20 | 0.000000e+00 | -- | Inf | 61.61%
24.70/24.88 c 24.9s| 10300 | 43 |303025 | 25.8 | 113M | 38 | 239 |2156 | 918 | 22k| 1 |4316 | 20 | 0.000000e+00 | -- | Inf | 61.62%
24.80/24.97 c 25.0s| 10400 | 47 |305093 | 25.7 | 113M | 38 | 239 |2175 | 902 | 22k| 0 |4342 | 20 | 0.000000e+00 | -- | Inf | 61.64%
24.91/25.06 c 25.1s| 10500 | 47 |306997 | 25.7 | 113M | 38 | 239 |2193 | 908 | 22k| 1 |4360 | 20 | 0.000000e+00 | -- | Inf | 61.65%
25.01/25.14 c 25.1s| 10600 | 45 |308736 | 25.6 | 113M | 38 | 239 |2203 | 944 | 22k| 0 |4370 | 20 | 0.000000e+00 | -- | Inf | 61.65%
25.10/25.24 c 25.2s| 10700 | 47 |310995 | 25.6 | 113M | 38 | 239 |2216 | 903 | 23k| 0 |4385 | 20 | 0.000000e+00 | -- | Inf | 61.65%
25.20/25.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.20/25.31 c 25.3s| 10800 | 49 |312759 | 25.5 | 113M | 38 | 239 |2242 | 946 | 23k| 1 |4411 | 20 | 0.000000e+00 | -- | Inf | 61.65%
25.30/25.41 c 25.4s| 10900 | 47 |314957 | 25.5 | 113M | 38 | 239 |2267 | 953 | 23k| 0 |4436 | 20 | 0.000000e+00 | -- | Inf | 61.65%
25.50/25.62 c 25.6s| 11000 | 45 |317080 | 25.5 | 113M | 38 | 239 |2305 | 900 | 23k| 0 |4488 | 20 | 0.000000e+00 | -- | Inf | 61.83%
25.60/25.76 c 25.8s| 11100 | 45 |319014 | 25.4 | 113M | 38 | 239 |2344 | 785 | 23k| 0 |4545 | 20 | 0.000000e+00 | -- | Inf | 61.93%
25.80/25.94 c 25.9s| 11200 | 45 |321654 | 25.4 | 113M | 38 | 239 |2359 | 800 | 23k| 1 |4598 | 20 | 0.000000e+00 | -- | Inf | 62.44%
25.90/26.04 c 26.0s| 11300 | 43 |323683 | 25.4 | 113M | 38 | 239 |2355 | 908 | 23k| 1 |4635 | 20 | 0.000000e+00 | -- | Inf | 62.46%
26.00/26.16 c 26.2s| 11400 | 45 |326662 | 25.4 | 113M | 38 | 239 |2372 | 796 | 24k| 2 |4667 | 20 | 0.000000e+00 | -- | Inf | 62.46%
26.20/26.31 c 26.3s| 11500 | 41 |328931 | 25.4 | 113M | 38 | 239 |2373 | 810 | 24k| 0 |4701 | 20 | 0.000000e+00 | -- | Inf | 62.51%
26.60/26.76 c 26.8s| 11600 | 45 |332013 | 25.4 | 113M | 38 | 239 |2354 | 793 | 24k| 2 |4749 | 20 | 0.000000e+00 | -- | Inf | 63.86%
26.80/26.99 c 27.0s| 11700 | 45 |334765 | 25.4 | 113M | 38 | 239 |2319 | 787 | 24k| 0 |4788 | 20 | 0.000000e+00 | -- | Inf | 64.13%
27.00/27.18 c 27.2s| 11800 | 47 |337154 | 25.4 | 113M | 38 | 239 |2315 | 0 | 25k| 0 |4846 | 20 | 0.000000e+00 | -- | Inf | 64.43%
27.20/27.33 c 27.3s| 11900 | 49 |339177 | 25.4 | 113M | 38 | 239 |2329 | 906 | 25k| 0 |4898 | 20 | 0.000000e+00 | -- | Inf | 64.53%
27.30/27.45 c 27.4s| 12000 | 51 |341752 | 25.4 | 113M | 38 | 239 |2315 | 906 | 25k| 1 |4922 | 20 | 0.000000e+00 | -- | Inf | 64.54%
27.39/27.55 c 27.6s| 12100 | 49 |344369 | 25.4 | 113M | 38 | 239 |2302 | 910 | 25k| 1 |4945 | 20 | 0.000000e+00 | -- | Inf | 64.54%
27.49/27.64 c 27.6s| 12200 | 47 |346109 | 25.3 | 113M | 38 | 239 |2310 | 0 | 25k| 0 |4976 | 20 | 0.000000e+00 | -- | Inf | 64.55%
27.59/27.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.59/27.74 c 27.7s| 12300 | 45 |348421 | 25.3 | 113M | 38 | 239 |2304 | 942 | 25k| 0 |4995 | 20 | 0.000000e+00 | -- | Inf | 64.55%
27.69/27.89 c 27.9s| 12400 | 47 |351131 | 25.3 | 113M | 38 | 239 |2293 | 739 | 25k| 2 |5021 | 20 | 0.000000e+00 | -- | Inf | 67.29%
27.90/28.07 c 28.1s| 12500 | 47 |353345 | 25.3 | 113M | 38 | 239 |2303 | 778 | 26k| 1 |5092 | 20 | 0.000000e+00 | -- | Inf | 67.48%
28.29/28.40 c 28.4s| 12600 | 51 |356141 | 25.3 | 113M | 38 | 239 |2308 | 785 | 26k| 0 |5130 | 20 | 0.000000e+00 | -- | Inf | 68.77%
28.49/28.61 c 28.6s| 12700 | 55 |359187 | 25.4 | 113M | 38 | 239 |2308 | 799 | 26k| 0 |5160 | 20 | 0.000000e+00 | -- | Inf | 69.20%
28.59/28.72 c 28.7s| 12800 | 55 |361862 | 25.4 | 113M | 38 | 239 |2310 | 796 | 26k| 1 |5188 | 20 | 0.000000e+00 | -- | Inf | 69.21%
28.69/28.83 c 28.8s| 12900 | 53 |364867 | 25.4 | 113M | 38 | 239 |2299 | 804 | 27k| 0 |5198 | 20 | 0.000000e+00 | -- | Inf | 69.21%
28.79/28.93 c 28.9s| 13000 | 53 |366946 | 25.4 | 113M | 38 | 239 |2344 | 0 | 27k| 0 |5264 | 20 | 0.000000e+00 | -- | Inf | 69.22%
28.90/29.02 c 29.0s| 13100 | 51 |369034 | 25.4 | 113M | 38 | 239 |2369 | 0 | 27k| 0 |5308 | 20 | 0.000000e+00 | -- | Inf | 69.22%
28.99/29.19 c 29.2s| 13200 | 51 |371034 | 25.3 | 116M | 38 | 239 |2411 | 0 | 27k| 0 |5383 | 20 | 0.000000e+00 | -- | Inf | 69.35%
29.29/29.45 c 29.5s| 13300 | 53 |373387 | 25.3 | 117M | 38 | 239 |2396 | 886 | 27k| 2 |5453 | 20 | 0.000000e+00 | -- | Inf | 69.79%
29.49/29.66 c 29.7s| 13400 | 53 |376094 | 25.3 | 117M | 38 | 239 |2417 | 0 | 27k| 0 |5512 | 20 | 0.000000e+00 | -- | Inf | 69.99%
29.59/29.76 c 29.8s| 13500 | 53 |378435 | 25.3 | 117M | 38 | 239 |2426 | 0 | 28k| 0 |5531 | 20 | 0.000000e+00 | -- | Inf | 70.00%
29.89/30.02 c 30.0s| 13600 | 53 |381369 | 25.3 | 117M | 38 | 239 |2421 | 753 | 28k| 1 |5564 | 20 | 0.000000e+00 | -- | Inf | 70.16%
30.28/30.42 c 30.4s| 13700 | 61 |384784 | 25.4 | 117M | 38 | 239 |2440 | 783 | 28k| 0 |5616 | 20 | 0.000000e+00 | -- | Inf | 70.39%
30.38/30.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.38/30.58 c 30.6s| 13800 | 63 |387403 | 25.4 | 117M | 38 | 239 |2428 | 0 | 28k| 0 |5660 | 20 | 0.000000e+00 | -- | Inf | 70.46%
30.68/30.80 c 30.8s| 13900 | 63 |389774 | 25.4 | 117M | 38 | 239 |2416 | 919 | 29k| 0 |5692 | 20 | 0.000000e+00 | -- | Inf | 70.59%
30.78/30.94 c 30.9s| 14000 | 65 |392146 | 25.4 | 117M | 38 | 239 |2411 | 923 | 29k| 1 |5729 | 20 | 0.000000e+00 | -- | Inf | 70.65%
30.89/31.09 c 31.1s| 14100 | 63 |394455 | 25.4 | 117M | 38 | 239 |2428 | 955 | 29k| 0 |5771 | 20 | 0.000000e+00 | -- | Inf | 71.24%
30.99/31.19 c 31.2s| 14200 | 63 |396663 | 25.3 | 117M | 38 | 239 |2413 | 954 | 29k| 0 |5795 | 20 | 0.000000e+00 | -- | Inf | 71.26%
31.18/31.38 c 31.4s| 14300 | 65 |398938 | 25.3 | 117M | 38 | 239 |2414 | 786 | 29k| 1 |5837 | 20 | 0.000000e+00 | -- | Inf | 71.46%
31.28/31.47 c 31.5s| 14400 | 65 |400898 | 25.3 | 117M | 38 | 239 |2431 | 905 | 29k| 1 |5881 | 20 | 0.000000e+00 | -- | Inf | 71.49%
31.38/31.57 c 31.6s| 14500 | 67 |403198 | 25.3 | 117M | 38 | 239 |2428 | 831 | 29k| 2 |5921 | 20 | 0.000000e+00 | -- | Inf | 71.52%
31.48/31.69 c 31.7s| 14600 | 67 |405771 | 25.3 | 117M | 38 | 239 |2422 | 939 | 30k| 2 |5964 | 20 | 0.000000e+00 | -- | Inf | 71.54%
31.68/31.82 c 31.8s| 14700 | 65 |408438 | 25.3 | 117M | 38 | 239 |2452 | 905 | 30k| 0 |6027 | 20 | 0.000000e+00 | -- | Inf | 71.55%
31.98/32.12 c 32.1s| 14800 | 69 |410580 | 25.3 | 117M | 38 | 239 |2468 | 0 | 30k| 0 |6057 | 20 | 0.000000e+00 | -- | Inf | 71.87%
32.08/32.27 c 32.3s| 14900 | 71 |414360 | 25.3 | 117M | 38 | 239 |2485 | 843 | 30k| 2 |6087 | 20 | 0.000000e+00 | -- | Inf | 71.87%
32.38/32.56 c 32.6s| 15000 | 75 |417347 | 25.4 | 117M | 38 | 239 |2481 | 790 | 31k| 0 |6173 | 20 | 0.000000e+00 | -- | Inf | 72.10%
32.48/32.66 c 32.7s| 15100 | 79 |419690 | 25.4 | 117M | 38 | 239 |2475 | 796 | 31k| 2 |6206 | 20 | 0.000000e+00 | -- | Inf | 72.11%
32.58/32.76 c 32.8s| 15200 | 79 |421662 | 25.3 | 117M | 38 | 239 |2481 | 819 | 31k| 2 |6240 | 20 | 0.000000e+00 | -- | Inf | 72.11%
32.68/32.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.68/32.86 c 32.9s| 15300 | 73 |424143 | 25.3 | 117M | 38 | 239 |2494 | 889 | 31k| 1 |6282 | 20 | 0.000000e+00 | -- | Inf | 72.14%
32.78/32.97 c 33.0s| 15400 | 77 |426426 | 25.3 | 117M | 38 | 239 |2511 | 807 | 31k| 0 |6321 | 20 | 0.000000e+00 | -- | Inf | 72.15%
32.88/33.06 c 33.1s| 15500 | 77 |428536 | 25.3 | 117M | 38 | 239 |2519 | 832 | 32k| 1 |6336 | 20 | 0.000000e+00 | -- | Inf | 72.15%
32.98/33.14 c 33.1s| 15600 | 75 |430377 | 25.2 | 117M | 38 | 239 |2530 | 0 | 32k| 0 |6357 | 20 | 0.000000e+00 | -- | Inf | 72.15%
33.07/33.23 c 33.2s| 15700 | 75 |432295 | 25.2 | 117M | 38 | 239 |2552 | 898 | 32k| 1 |6384 | 20 | 0.000000e+00 | -- | Inf | 72.16%
33.17/33.32 c 33.3s| 15800 | 73 |434351 | 25.2 | 117M | 38 | 239 |2569 | 894 | 32k| 0 |6423 | 20 | 0.000000e+00 | -- | Inf | 72.17%
33.27/33.42 c 33.4s| 15900 | 73 |436587 | 25.2 | 117M | 38 | 239 |2558 | 0 | 32k| 0 |6447 | 20 | 0.000000e+00 | -- | Inf | 72.18%
33.37/33.51 c 33.5s| 16000 | 75 |438606 | 25.1 | 117M | 38 | 239 |2566 | 906 | 32k| 1 |6485 | 20 | 0.000000e+00 | -- | Inf | 72.19%
33.47/33.60 c 33.6s| 16100 | 77 |440669 | 25.1 | 117M | 38 | 239 |2551 | 898 | 32k| 1 |6501 | 20 | 0.000000e+00 | -- | Inf | 72.19%
33.47/33.69 c 33.7s| 16200 | 73 |442755 | 25.1 | 117M | 38 | 239 |2550 | 0 | 32k| 0 |6535 | 20 | 0.000000e+00 | -- | Inf | 72.19%
33.67/33.87 c 33.9s| 16300 | 71 |445065 | 25.1 | 117M | 38 | 239 |2543 | 899 | 32k| 1 |6559 | 20 | 0.000000e+00 | -- | Inf | 72.29%
33.77/33.96 c 34.0s| 16400 | 71 |446963 | 25.0 | 117M | 38 | 239 |2583 | 818 | 33k| 1 |6617 | 20 | 0.000000e+00 | -- | Inf | 72.29%
33.88/34.04 c 34.0s| 16500 | 71 |448804 | 25.0 | 117M | 38 | 239 |2607 | 829 | 33k| 0 |6651 | 20 | 0.000000e+00 | -- | Inf | 72.29%
33.98/34.14 c 34.1s| 16600 | 71 |451041 | 25.0 | 117M | 38 | 239 |2611 | 814 | 33k| 0 |6686 | 20 | 0.000000e+00 | -- | Inf | 72.30%
34.07/34.24 c 34.2s| 16700 | 71 |453324 | 25.0 | 117M | 38 | 239 |2626 | 828 | 33k| 1 |6720 | 20 | 0.000000e+00 | -- | Inf | 72.31%
34.17/34.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.17/34.33 c 34.3s| 16800 | 71 |455692 | 25.0 | 117M | 38 | 239 |2606 | 830 | 33k| 1 |6734 | 20 | 0.000000e+00 | -- | Inf | 72.31%
34.27/34.42 c 34.4s| 16900 | 73 |457923 | 24.9 | 117M | 38 | 239 |2619 | 875 | 33k| 0 |6754 | 20 | 0.000000e+00 | -- | Inf | 72.31%
34.37/34.52 c 34.5s| 17000 | 81 |460139 | 24.9 | 117M | 38 | 239 |2672 | 0 | 33k| 0 |6816 | 20 | 0.000000e+00 | -- | Inf | 72.31%
34.47/34.60 c 34.6s| 17100 | 77 |461999 | 24.9 | 117M | 38 | 239 |2697 | 0 | 34k| 0 |6856 | 20 | 0.000000e+00 | -- | Inf | 72.32%
34.57/34.70 c 34.7s| 17200 | 81 |464384 | 24.9 | 117M | 38 | 239 |2725 | 823 | 34k| 2 |6888 | 20 | 0.000000e+00 | -- | Inf | 72.32%
34.67/34.81 c 34.8s| 17300 | 83 |467039 | 24.9 | 117M | 38 | 239 |2745 | 837 | 34k| 1 |6909 | 20 | 0.000000e+00 | -- | Inf | 72.32%
34.77/34.90 c 34.9s| 17400 | 83 |469342 | 24.9 | 117M | 38 | 239 |2756 | 842 | 34k| 1 |6920 | 20 | 0.000000e+00 | -- | Inf | 72.32%
34.77/34.99 c 35.0s| 17500 | 81 |471494 | 24.9 | 117M | 39 | 239 |2781 | 0 | 34k| 0 |6946 | 20 | 0.000000e+00 | -- | Inf | 72.32%
35.07/35.23 c 35.2s| 17600 | 81 |473917 | 24.9 | 117M | 39 | 239 |2711 | 0 | 34k| 0 |6987 | 20 | 0.000000e+00 | -- | Inf | 72.80%
35.27/35.45 c 35.5s| 17700 | 83 |475990 | 24.8 | 117M | 39 | 239 |2681 | 909 | 34k| 0 |7030 | 20 | 0.000000e+00 | -- | Inf | 72.96%
35.37/35.58 c 35.6s| 17800 | 87 |479044 | 24.9 | 117M | 39 | 239 |2658 | 891 | 35k| 2 |7053 | 20 | 0.000000e+00 | -- | Inf | 72.99%
35.47/35.69 c 35.7s| 17900 | 87 |481608 | 24.9 | 117M | 39 | 239 |2613 | 915 | 35k| 1 |7084 | 20 | 0.000000e+00 | -- | Inf | 72.99%
35.77/35.92 c 35.9s| 18000 | 83 |484654 | 24.9 | 117M | 39 | 239 |2572 | 898 | 35k| 1 |7095 | 20 | 0.000000e+00 | -- | Inf | 73.04%
35.87/36.04 c 36.0s| 18100 | 87 |487291 | 24.9 | 117M | 39 | 239 |2557 | 918 | 35k| 0 |7115 | 20 | 0.000000e+00 | -- | Inf | 73.17%
36.07/36.20 c 36.2s| 18200 | 85 |489942 | 24.9 | 117M | 39 | 239 |2558 | 925 | 35k| 1 |7135 | 20 | 0.000000e+00 | -- | Inf | 73.28%
36.16/36.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.16/36.39 c 36.4s| 18300 | 83 |492364 | 24.9 | 117M | 39 | 239 |2541 | 901 | 35k| 2 |7165 | 20 | 0.000000e+00 | -- | Inf | 73.36%
36.36/36.58 c 36.6s| 18400 | 83 |494085 | 24.9 | 117M | 39 | 239 |2556 | 0 | 35k| 0 |7196 | 20 | 0.000000e+00 | -- | Inf | 73.47%
36.66/36.83 c 36.8s| 18500 | 83 |496171 | 24.9 | 117M | 40 | 239 |2566 | 918 | 36k| 0 |7216 | 20 | 0.000000e+00 | -- | Inf | 73.48%
36.76/36.93 c 36.9s| 18600 | 83 |498523 | 24.9 | 117M | 40 | 239 |2582 | 915 | 36k| 1 |7242 | 20 | 0.000000e+00 | -- | Inf | 73.48%
36.87/37.09 c 37.1s| 18700 | 81 |501387 | 24.9 | 117M | 40 | 239 |2595 | 896 | 36k| 1 |7275 | 20 | 0.000000e+00 | -- | Inf | 73.69%
37.06/37.25 c 37.3s| 18800 | 77 |503558 | 24.9 | 118M | 40 | 239 |2568 | 960 | 36k| 1 |7304 | 20 | 0.000000e+00 | -- | Inf | 73.86%
37.26/37.41 c 37.4s| 18900 | 77 |506077 | 24.9 | 118M | 40 | 239 |2546 | 804 | 36k| 2 |7350 | 20 | 0.000000e+00 | -- | Inf | 74.02%
37.36/37.53 c 37.5s| 19000 | 77 |508955 | 24.9 | 118M | 40 | 239 |2512 | 902 | 36k| 2 |7382 | 20 | 0.000000e+00 | -- | Inf | 74.02%
37.46/37.63 c 37.6s| 19100 | 75 |511328 | 24.9 | 118M | 40 | 239 |2512 | 0 | 36k| 0 |7402 | 20 | 0.000000e+00 | -- | Inf | 74.02%
37.66/37.81 c 37.8s| 19200 | 77 |513457 | 24.9 | 118M | 40 | 239 |2511 | 889 | 36k| 1 |7431 | 20 | 0.000000e+00 | -- | Inf | 74.05%
37.76/37.99 c 38.0s| 19300 | 77 |515151 | 24.8 | 118M | 40 | 239 |2480 | 889 | 36k| 1 |7483 | 20 | 0.000000e+00 | -- | Inf | 74.13%
38.16/38.33 c 38.3s| 19400 | 75 |517973 | 24.8 | 118M | 40 | 239 |2443 | 927 | 37k| 0 |7515 | 20 | 0.000000e+00 | -- | Inf | 74.71%
38.26/38.45 c 38.5s| 19500 | 79 |520132 | 24.8 | 118M | 40 | 239 |2450 | 793 | 37k| 2 |7565 | 20 | 0.000000e+00 | -- | Inf | 76.13%
38.46/38.65 c 38.6s| 19600 | 77 |522796 | 24.8 | 118M | 40 | 239 |2471 | 832 | 37k| 1 |7644 | 20 | 0.000000e+00 | -- | Inf | 76.20%
38.56/38.73 c 38.7s| 19700 | 77 |524372 | 24.8 | 118M | 40 | 239 |2490 | 827 | 37k| 1 |7723 | 20 | 0.000000e+00 | -- | Inf | 76.22%
38.66/38.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.66/38.84 c 38.8s| 19800 | 75 |526439 | 24.8 | 118M | 40 | 239 |2522 | 0 | 38k| 0 |7800 | 20 | 0.000000e+00 | -- | Inf | 76.23%
38.76/38.93 c 38.9s| 19900 | 75 |528205 | 24.7 | 118M | 40 | 239 |2529 | 805 | 38k| 0 |7844 | 20 | 0.000000e+00 | -- | Inf | 76.25%
38.86/39.02 c 39.0s| 20000 | 73 |530208 | 24.7 | 118M | 40 | 239 |2548 | 828 | 38k| 0 |7874 | 20 | 0.000000e+00 | -- | Inf | 76.25%
38.96/39.10 c 39.1s| 20100 | 75 |531837 | 24.7 | 118M | 40 | 239 |2574 | 909 | 38k| 2 |7916 | 20 | 0.000000e+00 | -- | Inf | 76.27%
38.96/39.19 c 39.2s| 20200 | 73 |533833 | 24.6 | 118M | 40 | 239 |2598 | 0 | 38k| 0 |7958 | 20 | 0.000000e+00 | -- | Inf | 76.27%
39.06/39.29 c 39.3s| 20300 | 73 |535988 | 24.6 | 118M | 40 | 239 |2617 | 921 | 38k| 0 |7985 | 20 | 0.000000e+00 | -- | Inf | 76.27%
39.16/39.38 c 39.4s| 20400 | 73 |538419 | 24.6 | 118M | 40 | 239 |2625 | 987 | 38k| 0 |7998 | 20 | 0.000000e+00 | -- | Inf | 76.27%
39.25/39.48 c 39.5s| 20500 | 71 |540937 | 24.6 | 118M | 40 | 239 |2630 | 817 | 38k| 1 |8011 | 20 | 0.000000e+00 | -- | Inf | 76.27%
39.45/39.61 c 39.6s| 20600 | 69 |542699 | 24.6 | 118M | 40 | 239 |2652 | 0 | 38k| 0 |8063 | 20 | 0.000000e+00 | -- | Inf | 76.32%
39.55/39.70 c 39.7s| 20700 | 69 |544672 | 24.6 | 118M | 40 | 239 |2672 | 755 | 38k| 0 |8107 | 20 | 0.000000e+00 | -- | Inf | 76.33%
39.65/39.81 c 39.8s| 20800 | 74 |547631 | 24.6 | 118M | 40 | 239 |2692 | 0 | 39k| 0 |8140 | 20 | 0.000000e+00 | -- | Inf | 76.34%
39.75/39.90 c 39.9s| 20900 | 72 |549924 | 24.6 | 118M | 40 | 239 |2711 | 837 | 39k| 0 |8173 | 20 | 0.000000e+00 | -- | Inf | 76.34%
39.86/40.08 c 40.1s| 21000 | 76 |552392 | 24.6 | 118M | 40 | 239 |2717 | 912 | 39k| 1 |8200 | 20 | 0.000000e+00 | -- | Inf | 76.39%
39.96/40.15 c 40.2s| 21100 | 76 |553709 | 24.5 | 118M | 40 | 239 |2757 | 918 | 39k| 0 |8270 | 20 | 0.000000e+00 | -- | Inf | 76.39%
40.05/40.23 c 40.2s| 21200 | 76 |555433 | 24.5 | 118M | 40 | 239 |2790 | 905 | 39k| 1 |8312 | 20 | 0.000000e+00 | -- | Inf | 76.39%
40.15/40.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.15/40.31 c 40.3s| 21300 | 80 |557124 | 24.5 | 118M | 40 | 239 |2832 | 900 | 39k| 1 |8369 | 20 | 0.000000e+00 | -- | Inf | 76.40%
40.15/40.39 c 40.4s| 21400 | 82 |558900 | 24.4 | 118M | 40 | 239 |2872 | 913 | 39k| 1 |8419 | 20 | 0.000000e+00 | -- | Inf | 76.40%
40.25/40.48 c 40.5s| 21500 | 76 |561083 | 24.4 | 118M | 40 | 239 |2908 | 817 | 39k| 1 |8457 | 20 | 0.000000e+00 | -- | Inf | 76.40%
40.45/40.64 c 40.6s| 21600 | 78 |563544 | 24.4 | 118M | 40 | 239 |2925 | 804 | 39k| 2 |8498 | 20 | 0.000000e+00 | -- | Inf | 76.44%
40.55/40.74 c 40.7s| 21700 | 78 |565843 | 24.4 | 118M | 40 | 239 |2948 | 0 | 40k| 0 |8537 | 20 | 0.000000e+00 | -- | Inf | 76.45%
40.65/40.83 c 40.8s| 21800 | 78 |567869 | 24.4 | 118M | 40 | 239 |2937 | 0 | 40k| 0 |8587 | 20 | 0.000000e+00 | -- | Inf | 76.47%
40.75/40.93 c 40.9s| 21900 | 82 |570024 | 24.4 | 118M | 40 | 239 |2989 | 836 | 40k| 1 |8655 | 20 | 0.000000e+00 | -- | Inf | 76.47%
41.05/41.20 c 41.2s| 22000 | 84 |572245 | 24.4 | 118M | 40 | 239 |2990 | 913 | 40k| 1 |8712 | 20 | 0.000000e+00 | -- | Inf | 76.73%
41.05/41.29 c 41.3s| 22100 | 80 |574007 | 24.4 | 118M | 40 | 239 |2982 | 925 | 40k| 0 |8750 | 20 | 0.000000e+00 | -- | Inf | 76.73%
41.35/41.51 c 41.5s| 22200 | 80 |576193 | 24.3 | 118M | 40 | 239 |2993 | 820 | 40k| 1 |8793 | 20 | 0.000000e+00 | -- | Inf | 76.83%
41.45/41.61 c 41.6s| 22300 | 84 |578746 | 24.4 | 118M | 40 | 239 |2983 | 0 | 40k| 0 |8809 | 20 | 0.000000e+00 | -- | Inf | 76.84%
41.55/41.71 c 41.7s| 22400 | 80 |581044 | 24.3 | 118M | 40 | 239 |2999 | 797 | 40k| 2 |8837 | 20 | 0.000000e+00 | -- | Inf | 76.84%
41.65/41.81 c 41.8s| 22500 | 81 |583413 | 24.3 | 118M | 40 | 239 |3023 | 829 | 41k| 0 |8881 | 20 | 0.000000e+00 | -- | Inf | 76.84%
41.75/41.92 c 41.9s| 22600 | 81 |585718 | 24.3 | 118M | 40 | 239 |3056 | 0 | 41k| 0 |8924 | 20 | 0.000000e+00 | -- | Inf | 76.86%
41.85/42.01 c 42.0s| 22700 | 87 |587413 | 24.3 | 118M | 40 | 239 |3124 | 916 | 41k| 1 |9007 | 20 | 0.000000e+00 | -- | Inf | 76.87%
41.95/42.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.95/42.12 c 42.1s| 22800 | 89 |590233 | 24.3 | 118M | 40 | 239 |3143 | 909 | 41k| 0 |9052 | 20 | 0.000000e+00 | -- | Inf | 76.87%
42.05/42.20 c 42.2s| 22900 | 89 |591962 | 24.3 | 118M | 40 | 239 |3167 | 883 | 41k| 1 |9104 | 20 | 0.000000e+00 | -- | Inf | 76.87%
42.05/42.29 c 42.3s| 23000 | 93 |593943 | 24.3 | 118M | 40 | 239 |3193 | 901 | 41k| 0 |9149 | 20 | 0.000000e+00 | -- | Inf | 76.87%
42.15/42.38 c 42.4s| 23100 | 97 |595969 | 24.3 | 118M | 40 | 239 |3194 | 901 | 41k| 0 |9169 | 20 | 0.000000e+00 | -- | Inf | 76.87%
42.25/42.49 c 42.5s| 23200 | 107 |598320 | 24.3 | 120M | 40 | 239 |3214 | 926 | 41k| 0 |9206 | 20 | 0.000000e+00 | -- | Inf | 76.87%
42.44/42.68 c 42.7s| 23300 | 113 |600830 | 24.3 | 120M | 40 | 239 |3226 | 920 | 41k| 1 |9223 | 20 | 0.000000e+00 | -- | Inf | 76.87%
42.64/42.86 c 42.9s| 23400 | 103 |602758 | 24.2 | 120M | 44 | 239 |3236 | 926 | 41k| 0 |9239 | 20 | 0.000000e+00 | -- | Inf | 76.87%
42.85/43.04 c 43.0s| 23500 | 103 |604462 | 24.2 | 121M | 44 | 239 |3293 | 921 | 41k| 2 |9300 | 20 | 0.000000e+00 | -- | Inf | 76.87%
42.95/43.12 c 43.1s| 23600 | 101 |606145 | 24.2 | 121M | 44 | 239 |3358 | 0 | 41k| 0 |9368 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.04/43.20 c 43.2s| 23700 | 105 |607767 | 24.2 | 121M | 44 | 239 |3411 | 889 | 42k| 1 |9427 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.04/43.29 c 43.3s| 23800 | 105 |609946 | 24.1 | 121M | 44 | 239 |3443 | 0 | 42k| 0 |9464 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.14/43.37 c 43.4s| 23900 | 105 |611511 | 24.1 | 121M | 44 | 239 |3479 | 891 | 42k| 1 |9502 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.24/43.46 c 43.5s| 24000 | 105 |613278 | 24.1 | 121M | 44 | 239 |3502 | 910 | 42k| 0 |9547 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.34/43.57 c 43.6s| 24100 | 107 |616008 | 24.1 | 121M | 44 | 239 |3495 | 913 | 42k| 1 |9573 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.44/43.65 c 43.7s| 24200 | 101 |618008 | 24.1 | 121M | 44 | 239 |3497 | 912 | 42k| 0 |9599 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.64/43.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
43.64/43.84 c 43.8s| 24300 | 103 |620361 | 24.1 | 121M | 44 | 239 |3512 | 933 | 42k| 1 |9620 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.74/43.92 c 43.9s| 24400 | 103 |622180 | 24.1 | 121M | 44 | 239 |3553 | 936 | 42k| 0 |9663 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.85/44.00 c 44.0s| 24500 | 101 |623809 | 24.0 | 121M | 44 | 239 |3565 | 913 | 42k| 0 |9679 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.85/44.10 c 44.1s| 24600 | 103 |625864 | 24.0 | 121M | 44 | 239 |3612 | 915 | 42k| 1 |9730 | 20 | 0.000000e+00 | -- | Inf | 76.87%
43.95/44.19 c 44.2s| 24700 | 105 |628033 | 24.0 | 121M | 44 | 239 |3628 | 938 | 42k| 1 |9758 | 20 | 0.000000e+00 | -- | Inf | 76.87%
44.05/44.28 c 44.3s| 24800 | 105 |630161 | 24.0 | 121M | 44 | 239 |3641 | 920 | 42k| 0 |9774 | 20 | 0.000000e+00 | -- | Inf | 76.87%
44.15/44.38 c 44.4s| 24900 | 105 |632407 | 24.0 | 121M | 44 | 239 |3663 | 930 | 42k| 2 |9811 | 20 | 0.000000e+00 | -- | Inf | 76.87%
44.25/44.47 c 44.5s| 25000 | 103 |634703 | 24.0 | 121M | 44 | 239 |3672 | 922 | 42k| 0 |9834 | 20 | 0.000000e+00 | -- | Inf | 76.87%
44.44/44.68 c 44.7s| 25100 | 101 |636281 | 23.9 | 121M | 44 | 239 |3719 | 916 | 43k| 0 |9894 | 20 | 0.000000e+00 | -- | Inf | 76.87%
44.55/44.76 c 44.8s| 25200 | 105 |637785 | 23.9 | 121M | 44 | 239 |3766 | 910 | 43k| 0 |9971 | 20 | 0.000000e+00 | -- | Inf | 76.87%
44.64/44.84 c 44.8s| 25300 | 107 |639725 | 23.9 | 121M | 44 | 239 |3791 | 917 | 43k| 1 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
44.74/45.00 c 45.0s| 25400 | 107 |642202 | 23.9 | 121M | 44 | 239 |3807 | 915 | 43k| 1 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
45.04/45.22 c 45.2s| 25500 | 109 |644577 | 23.9 | 121M | 44 | 239 |3831 | 925 | 43k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
45.34/45.52 c 45.5s| 25600 | 105 |646951 | 23.9 | 122M | 44 | 239 |3843 | 911 | 43k| 1 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
45.64/45.82 c 45.8s| 25700 | 113 |649492 | 23.9 | 122M | 44 | 239 |3857 | 933 | 43k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
45.74/45.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.74/45.99 c 46.0s| 25800 | 113 |651976 | 23.9 | 122M | 44 | 239 |3873 | 934 | 43k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
46.14/46.38 c 46.4s| 25900 | 111 |655091 | 23.9 | 123M | 44 | 239 |3891 | 932 | 43k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
46.34/46.51 c 46.5s| 26000 | 105 |657025 | 23.9 | 123M | 44 | 239 |3926 | 932 | 43k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
46.44/46.68 c 46.7s| 26100 | 107 |658466 | 23.9 | 123M | 44 | 239 |3977 | 914 | 43k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
46.54/46.77 c 46.8s| 26200 | 107 |660120 | 23.9 | 123M | 44 | 239 |4015 | 945 | 43k| 1 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
46.64/46.85 c 46.9s| 26300 | 105 |661898 | 23.8 | 123M | 44 | 239 |4046 | 946 | 43k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
46.74/46.94 c 46.9s| 26400 | 105 |663882 | 23.8 | 123M | 44 | 239 |4065 | 0 | 43k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
46.84/47.03 c 47.0s| 26500 | 105 |665704 | 23.8 | 123M | 44 | 239 |4096 | 945 | 43k| 1 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
46.94/47.11 c 47.1s| 26600 | 107 |667583 | 23.8 | 123M | 44 | 239 |4108 | 946 | 43k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
47.04/47.21 c 47.2s| 26700 | 107 |669912 | 23.8 | 123M | 44 | 239 |4106 | 950 | 43k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
47.14/47.30 c 47.3s| 26800 | 105 |672140 | 23.8 | 123M | 44 | 239 |4116 | 0 | 44k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
47.14/47.38 c 47.4s| 26900 | 107 |673840 | 23.8 | 123M | 44 | 239 |4145 | 936 | 44k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
47.24/47.48 c 47.5s| 27000 | 107 |676177 | 23.8 | 123M | 44 | 239 |4145 | 927 | 44k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
47.34/47.57 c 47.6s| 27100 | 111 |678256 | 23.7 | 123M | 44 | 239 |4153 | 933 | 44k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
47.63/47.85 c 47.9s| 27200 | 111 |680271 | 23.7 | 123M | 44 | 239 |4160 | 940 | 44k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
47.94/48.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.94/48.11 c 48.1s| 27300 | 109 |682911 | 23.7 | 123M | 48 | 239 |4183 | 930 | 44k| 1 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
48.03/48.24 c 48.2s| 27400 | 107 |684382 | 23.7 | 123M | 48 | 239 |4221 | 901 | 44k| 1 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
48.13/48.37 c 48.4s| 27500 | 105 |686423 | 23.7 | 123M | 48 | 239 |4244 | 937 | 44k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
48.33/48.55 c 48.5s| 27600 | 105 |688574 | 23.7 | 123M | 48 | 239 |4255 | 934 | 44k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
48.63/48.86 c 48.9s| 27700 | 105 |690652 | 23.7 | 123M | 48 | 239 |4260 | 926 | 44k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
48.84/49.05 c 49.1s| 27800 | 105 |692337 | 23.7 | 124M | 48 | 239 |4283 | 921 | 44k| 2 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
48.94/49.12 c 49.1s| 27900 | 105 |693704 | 23.6 | 124M | 48 | 239 |4296 | 925 | 44k| 0 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
48.94/49.19 c 49.2s| 28000 | 105 |695116 | 23.6 | 124M | 48 | 239 |4354 | 921 | 44k| 1 | 10k| 20 | 0.000000e+00 | -- | Inf | 76.87%
49.03/49.28 c 49.3s| 28100 | 103 |697236 | 23.6 | 124M | 48 | 239 |4335 | 924 | 44k| 1 | 11k| 20 | 0.000000e+00 | -- | Inf | 76.87%
49.23/49.49 c 49.5s| 28200 | 101 |698896 | 23.6 | 124M | 48 | 239 |4347 | 0 | 44k| 0 | 11k| 20 | 0.000000e+00 | -- | Inf | 76.87%
49.63/49.84 c 49.8s| 28300 | 101 |700980 | 23.5 | 124M | 48 | 239 |4377 | 918 | 44k| 0 | 11k| 20 | 0.000000e+00 | -- | Inf | 76.87%
49.73/49.95 c 50.0s| 28400 | 101 |703131 | 23.5 | 124M | 48 | 239 |4372 | 0 | 44k| 0 | 11k| 20 | 0.000000e+00 | -- | Inf | 76.90%
49.83/50.04 c 50.0s| 28500 | 97 |704840 | 23.5 | 124M | 48 | 239 |4340 | 0 | 44k| 0 | 11k| 20 | 0.000000e+00 | -- | Inf | 76.94%
50.03/50.22 c 50.2s| 28600 | 105 |707643 | 23.5 | 124M | 48 | 239 |4276 | 790 | 45k| 2 | 11k| 20 | 0.000000e+00 | -- | Inf | 80.04%
50.23/50.41 c *50.4s| 28661 | 0 |709595 | 23.5 | LP | 48 | 239 |4188 | 754 | 45k| 2 | 11k| 20 | 0.000000e+00 | 0.000000e+00 | 0.00%| 99.98%
50.23/50.41 c
50.23/50.41 c SCIP Status : problem is solved [optimal solution found]
50.23/50.41 c Solving Time (sec) : 50.42
50.23/50.41 c Solving Nodes : 28661 (total of 29901 nodes in 2 runs)
50.23/50.41 c Primal Bound : +0.00000000000000e+00 (1 solutions)
50.23/50.41 c Dual Bound : +0.00000000000000e+00
50.23/50.41 c Gap : 0.00 %
50.23/50.41 s SATISFIABLE
50.23/50.41 v x1 -x3 x5 -x7 -x9 -x11 -x13 -x15 x17 -x19 -x21 -x23 -x25 -x27 -x29 -x31 -x33 -x35 x37 -x39 x41 -x43 -x45 -x47 -x49 -x51 x53 -x55
50.23/50.41 v -x57 -x59 -x61 -x63 -x65 -x67 -x69 -x71 x73 -x75 x77 -x79 -x81 -x83 -x85 -x87 x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103 -x105 -x107
50.23/50.41 v -x109 -x111 -x113 -x115 -x117 -x119 -x121 -x123 -x125 -x127 -x129 -x131 -x133 -x135 -x137 -x139 -x141 -x143 x145 -x147 x149 -x151
50.23/50.41 v -x153 -x155 -x157 -x159 x161 -x2 -x4 -x6 -x8 -x10 -x12 -x14 -x16 -x18 -x20 -x22 -x24 -x26 x28 -x30 x32 -x34 -x36 -x38 -x40 -x42
50.23/50.41 v -x44 -x46 -x48 -x50 -x52 -x54 -x56 -x58 -x60 -x62 x64 -x66 x68 -x70 -x72 -x74 -x76 -x78 -x80 -x82 -x84 -x86 -x88 -x90 -x92 -x94
50.23/50.41 v -x96 -x98 x100 -x102 x104 -x106 -x108 -x110 x112 -x114 x116 -x118 x120 -x122 x124 -x126 -x128 -x130 -x132 -x134 x136 -x138 x140
50.23/50.41 v -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 x164 -x163 -x166 x165 x168 -x167 -x170 x169 x172 -x171 -x174 x173
50.23/50.41 v -x176 x175 -x178 x177 x180 -x179 x182 -x181 -x184 x183 x186 -x185 -x188 x187 -x190 x189 -x192 x191 -x194 x193 -x196 x195 x198 -x197
50.23/50.41 v x200 -x199 -x202 x201 x204 -x203 -x206 x205 x208 -x207 -x210 x209 x212 -x211 -x214 -x213 x216 -x215 x218 -x217 -x220 -x219 x222
50.23/50.41 v -x221 -x224 -x223 x226 -x225 -x228 x227 x230 -x229 -x232 x231 x234 -x233 -x236 x235 x238 -x237 -x240 x239 x242 -x241 -x244 x243
50.23/50.41 v -x246 -x245 -x248 -x247 x250 -x249 x252 -x251 -x254 -x253 x256 -x255 -x258 x257 x260 -x259 -x262 x261 x264 -x263 -x266 x265
50.23/50.41 c SCIP Status : problem is solved [optimal solution found]
50.23/50.41 c Total Time : 50.42
50.23/50.41 c solving : 50.42
50.23/50.41 c presolving : 0.06 (included in solving)
50.23/50.41 c reading : 0.00 (included in solving)
50.23/50.41 c copying : 0.30 (101 #copies) (minimal 0.00, maximal 0.01, average 0.00)
50.23/50.41 c Original Problem :
50.23/50.41 c Problem name : HOME/instance-4493635-1751148182.opb
50.23/50.41 c Variables : 266 (266 binary, 0 integer, 0 continuous)
50.23/50.41 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
50.23/50.41 c Constraints : 573 initial, 573 maximal
50.23/50.41 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
50.23/50.41 c Presolved Problem :
50.23/50.41 c Problem name : t_HOME/instance-4493635-1751148182.opb
50.23/50.41 c Variables : 239 (239 binary, 0 integer, 0 continuous)
50.23/50.41 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
50.23/50.41 c Constraints : 1139 initial, 4394 maximal
50.23/50.41 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
50.23/50.41 c Nonzeros : 12541 constraint, 5895 clique table
50.23/50.41 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
50.23/50.41 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
50.23/50.41 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
50.23/50.41 c gateextraction : 0.00 0.00 14 0 0 0 0 0 689 95 0 0
50.23/50.41 c implics : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
50.23/50.41 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c milp : 0.00 0.00 1 3 2 0 0 0 0 0 0 0
50.23/50.41 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
50.23/50.41 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c trivial : 0.00 0.00 24 0 0 0 0 0 0 0 0 0
50.23/50.41 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c dualfix : 0.00 0.00 24 0 0 0 0 0 0 0 0 0
50.23/50.41 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c probing : 0.02 0.00 2 3 1 0 0 0 0 0 0 0
50.23/50.41 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
50.23/50.41 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
50.23/50.41 c vbounds : 0.00 0.00 5 0 4 0 0 0 0 0 0 0
50.23/50.41 c knapsack : 0.00 0.00 46 0 0 0 0 0 150 606 6 20
50.23/50.41 c setppc : 0.00 0.00 44 0 2 0 0 0 25 0 0 0
50.23/50.41 c and : 0.00 0.00 25 0 0 0 0 0 2 1 0 11
50.23/50.41 c linear : 0.01 0.00 10 12 0 0 12 0 35 0 0 1
50.23/50.41 c logicor : 0.02 0.00 41 0 0 0 0 0 77 0 0 1628
50.23/50.41 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
50.23/50.41 c root node : - - - 0 - - 0 - - - - -
50.23/50.41 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
50.23/50.41 c integral : 0 0 0 0 15012 0 0 1633 0 0 0 0 0 0 30022
50.23/50.41 c knapsack : 14+ 16 22 106381 1 0 0 1626 6815 4197 23347 30 2 0 0
50.23/50.41 c setppc : 267+ 295 22 102184 1 0 0 409 120016 276 117254 5 0 0 0
50.23/50.41 c and : 93 93 24585 101908 1 0 0 3 246847 406 290309 62424 42426 0 0
50.23/50.41 c linear : 0+ 76 22 61808 0 0 0 3 822 36 498 5 0 0 0
50.23/50.41 c logicor : 765+ 3949 22 63280 1 0 0 0 5841 561 40952 0 0 0 0
50.23/50.41 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
50.23/50.41 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
50.23/50.41 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
50.23/50.41 c integral : 0.55 0.00 0.00 0.00 0.54 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c knapsack : 0.36 0.00 0.01 0.33 0.00 0.00 0.00 0.01 0.01 0.00
50.23/50.41 c setppc : 0.31 0.00 0.00 0.29 0.00 0.00 0.00 0.00 0.02 0.00
50.23/50.41 c and : 1.17 0.00 0.25 0.89 0.00 0.00 0.00 0.00 0.03 0.00
50.23/50.41 c linear : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c logicor : 0.54 0.00 0.00 0.53 0.00 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c Propagators : #Propagate #ResProp Cutoffs DomReds
50.23/50.41 c dualfix : 2 0 0 0
50.23/50.41 c genvbounds : 0 0 0 0
50.23/50.41 c nlobbt : 0 0 0 0
50.23/50.41 c obbt : 0 0 0 0
50.23/50.41 c probing : 0 0 0 0
50.23/50.41 c pseudoobj : 0 0 0 0
50.23/50.41 c redcost : 0 0 0 0
50.23/50.41 c rootredcost : 0 0 0 0
50.23/50.41 c symmetry : 0 0 0 0
50.23/50.41 c vbounds : 92201 0 0 0
50.23/50.41 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
50.23/50.41 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
50.23/50.41 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
50.23/50.41 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
50.23/50.41 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
50.23/50.41 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
50.23/50.41 c symmetry : 0.02 0.00 0.00 0.02 0.00 0.00
50.23/50.41 c vbounds : 0.11 0.00 0.00 0.11 0.00 0.00
50.23/50.41 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
50.23/50.41 c propagation : 0.17 4599 4551 - 26805 34.9 31 27.2 - - -
50.23/50.41 c infeasible LP : 0.40 9717 123 - 821 43.6 0 0.0 16 9.1 0
50.23/50.41 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
50.23/50.41 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
50.23/50.41 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
50.23/50.41 c applied globally : 0.11 - - 0 11207 10.1 - - 16 - -
50.23/50.41 c applied locally : - - - 0 47 46.3 - - 0 - -
50.23/50.41 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
50.23/50.41 c cut pool : 0.99 - 3140 42 - - 35766 50045 - - - - - (maximal pool size: 5692)
50.23/50.41 c aggregation : 0.58 0.00 615 22 0 0 281 948 0 21 21 0 0
50.23/50.41 c > cmir : - - - - - - - 925 0 20 20 0 -
50.23/50.41 c > flowcover : - - - - - - - 4 0 0 0 0 -
50.23/50.41 c > knapsackcover : - - - - - - - 19 0 1 1 0 -
50.23/50.41 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c clique : 0.01 0.00 22 22 0 0 88 155 0 43 43 0 0
50.23/50.41 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c gomory : 15.51 0.00 613 20 0 0 30908 34133 1773 690 641 49 0
50.23/50.41 c > gomorymi : - - - - - - - 15512 897 538 501 37 -
50.23/50.41 c > strongcg : - - - - - - - 18621 876 152 140 12 -
50.23/50.41 c impliedbounds : 0.05 0.00 615 22 0 0 6173 14605 0 5841 5841 0 0
50.23/50.41 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
50.23/50.41 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c multilinear : 0.00 0.00 1391 22 0 0 0 0 0 0 0 0 0
50.23/50.41 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
50.23/50.41 c rapidlearning : 1.71 0.00 100 2 0 4868 0 0 0 0 0 0 602
50.23/50.41 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
50.23/50.41 c zerohalf : 0.31 0.00 615 22 0 0 739 204 650 196 54 142 0
50.23/50.41 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
50.23/50.41 c hybrid : 0.08 0.00 12787 22 49217 6 65135 563 0 7451
50.23/50.41 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c Pricers : ExecTime SetupTime Calls Vars
50.23/50.41 c problem variables: 0.00 - 0 0
50.23/50.41 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
50.23/50.41 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c random : 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c relpscost : 0.54 0.00 15011 0 0 0 0 0 0 30022
50.23/50.41 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
50.23/50.41 c Primal Heuristics : ExecTime SetupTime Calls Found Best
50.23/50.41 c LP solutions : 0.00 - - 1 1
50.23/50.41 c relax solutions : 0.00 - - 0 0
50.23/50.41 c pseudo solutions : 0.00 - - 0 0
50.23/50.41 c strong branching : 0.00 - - 0 0
50.23/50.41 c actconsdiving : 0.00 0.00 0 0 0
50.23/50.41 c adaptivediving : 0.08 0.00 19 0 0
50.23/50.41 c alns : 0.01 0.00 6 0 0
50.23/50.41 c bound : 0.00 0.00 0 0 0
50.23/50.41 c clique : 0.00 0.00 1 0 0
50.23/50.41 c coefdiving : 0.00 0.00 0 0 0
50.23/50.41 c completesol : 0.00 0.00 0 0 0
50.23/50.41 c conflictdiving : 0.10 0.00 10 0 0
50.23/50.41 c crossover : 0.00 0.00 0 0 0
50.23/50.41 c dins : 0.00 0.00 0 0 0
50.23/50.41 c distributiondivin: 0.23 0.00 10 0 0
50.23/50.41 c dks : 0.00 0.00 0 0 0
50.23/50.41 c dps : 0.00 0.00 0 0 0
50.23/50.41 c dualval : 0.00 0.00 0 0 0
50.23/50.41 c farkasdiving : 0.00 0.00 0 0 0
50.23/50.41 c feaspump : 0.10 0.00 5 0 0
50.23/50.41 c fixandinfer : 0.00 0.00 0 0 0
50.23/50.41 c fracdiving : 0.03 0.00 10 0 0
50.23/50.41 c gins : 0.00 0.00 0 0 0
50.23/50.41 c guideddiving : 0.00 0.00 0 0 0
50.23/50.41 c indicator : 0.00 0.00 0 0 0
50.23/50.41 c indicatordiving : 0.00 0.00 0 0 0
50.23/50.41 c intdiving : 0.00 0.00 0 0 0
50.23/50.41 c intshifting : 0.00 0.00 0 0 0
50.23/50.41 c linesearchdiving : 0.03 0.00 10 0 0
50.23/50.41 c localbranching : 0.00 0.00 0 0 0
50.23/50.41 c locks : 0.00 0.00 1 0 0
50.23/50.41 c lpface : 0.01 0.00 0 0 0
50.23/50.41 c mpec : 0.00 0.00 0 0 0
50.23/50.41 c multistart : 0.00 0.00 0 0 0
50.23/50.41 c mutation : 0.00 0.00 0 0 0
50.23/50.41 c nlpdiving : 0.00 0.00 0 0 0
50.23/50.41 c objpscostdiving : 0.08 0.00 5 0 0
50.23/50.41 c octane : 0.00 0.00 0 0 0
50.23/50.41 c ofins : 0.00 0.00 0 0 0
50.23/50.41 c oneopt : 0.01 0.00 0 0 0
50.23/50.41 c padm : 0.00 0.00 0 0 0
50.23/50.41 c proximity : 0.00 0.00 0 0 0
50.23/50.41 c pscostdiving : 0.06 0.00 10 0 0
50.23/50.41 c randrounding : 0.06 0.00 1641 0 0
50.23/50.41 c rens : 0.00 0.00 0 0 0
50.23/50.41 c reoptsols : 0.00 0.00 0 0 0
50.23/50.41 c repair : 0.00 0.00 0 0 0
50.23/50.41 c rins : 0.00 0.00 0 0 0
50.23/50.41 c rootsoldiving : 0.05 0.00 5 0 0
50.23/50.41 c rounding : 0.10 0.00 2300 0 0
50.23/50.41 c scheduler : 0.00 0.00 0 0 0
50.23/50.41 c shiftandpropagate: 0.00 0.00 2 0 0
50.23/50.41 c shifting : 0.12 0.00 712 0 0
50.23/50.41 c simplerounding : 0.00 0.00 0 0 0
50.23/50.41 c subnlp : 0.00 0.00 0 0 0
50.23/50.41 c trivial : 0.00 0.00 4 0 0
50.23/50.41 c trivialnegation : 0.00 0.00 0 0 0
50.23/50.41 c trustregion : 0.00 0.00 0 0 0
50.23/50.41 c trysol : 0.00 0.00 0 0 0
50.23/50.41 c twoopt : 0.00 0.00 0 0 0
50.23/50.41 c undercover : 0.00 0.00 1 0 0
50.23/50.41 c vbounds : 0.00 0.00 2 0 0
50.23/50.41 c veclendiving : 0.04 0.00 10 0 0
50.23/50.41 c zeroobj : 0.00 0.00 0 0 0
50.23/50.41 c zirounding : 0.04 0.00 1000 0 0
50.23/50.41 c other solutions : - - - 0 -
50.23/50.41 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
50.23/50.41 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
50.23/50.41 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
50.23/50.41 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
50.23/50.41 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
50.23/50.41 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
50.23/50.41 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
50.23/50.41 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
50.23/50.41 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
50.23/50.41 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
50.23/50.41 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
50.23/50.41 c primal LP : 0.08 621 0 0.00 0.00 0.08 621
50.23/50.41 c dual LP : 20.89 37523 693949 18.50 33212.76 0.00 12
50.23/50.41 c lex dual LP : 0.00 0 0 0.00 -
50.23/50.41 c barrier LP : 0.00 0 0 0.00 - 0.00 0
50.23/50.41 c resolve instable : 0.00 0 0 0.00 -
50.23/50.41 c diving/probing LP: 0.53 408 15646 38.35 29730.10
50.23/50.41 c strong branching : 0.15 20 4035 201.75 27590.31 - - 0
50.23/50.41 c (at root node) : - 20 4035 201.75 -
50.23/50.41 c conflict analysis: 0.00 0 0 0.00 -
50.23/50.41 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
50.23/50.41 c benders : 0.00 0 0 0 0.00 0 0 0
50.23/50.41 c B&B Tree :
50.23/50.41 c number of runs : 2
50.23/50.41 c nodes : 28661 (14384 internal, 14277 leaves)
50.23/50.41 c feasible leaves : 1
50.23/50.41 c infeas. leaves : 14276
50.23/50.41 c objective leaves : 0
50.23/50.41 c nodes (total) : 29901 (15011 internal, 14890 leaves)
50.23/50.41 c nodes left : 0
50.23/50.41 c max depth : 48
50.23/50.41 c max depth (total): 48
50.23/50.41 c backtracks : 3902 (13.6%)
50.23/50.41 c early backtracks : 0 (0.0%)
50.23/50.41 c nodes exc. ref. : 0 (0.0%)
50.23/50.41 c delayed cutoffs : 6
50.23/50.41 c repropagations : 12876 (7930 domain reductions, 3 cutoffs)
50.23/50.41 c avg switch length: 3.51
50.23/50.41 c switching time : 1.79
50.23/50.41 c Root Node :
50.23/50.41 c First LP value : +0.00000000000000e+00
50.23/50.41 c First LP Iters : 327 (34158.57 Iter/sec)
50.23/50.41 c First LP Time : 0.01
50.23/50.41 c Final Dual Bound : -
50.23/50.41 c Final Root Iters : 5489
50.23/50.41 c Root LP Estimate : +9.41974864220092e-03
50.23/50.41 c Solution :
50.23/50.41 c Solutions found : 1 (1 improvements)
50.23/50.41 c First Solution : +0.00000000000000e+00 (in run 2, after 28661 nodes, 50.41 seconds, depth 11, found by <relaxation>)
50.23/50.41 c Gap First Sol. : 0.00 %
50.23/50.41 c Gap Last Sol. : 0.00 %
50.23/50.41 c Primal Bound : +0.00000000000000e+00 (in run 2, after 28661 nodes, 50.41 seconds, depth 11, found by <relaxation>)
50.23/50.41 c Dual Bound : +0.00000000000000e+00
50.23/50.41 c Gap : 0.00 %
50.23/50.41 c Integrals : Total Avg%
50.23/50.41 c primal-dual : 5041.53 100.00
50.23/50.41 c primal-ref : - - (not evaluated)
50.23/50.41 c dual-ref : - - (not evaluated)
50.23/50.43 c Time complete (sec): 50.266