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-4503395-1751171866.opb>
0.00/0.01 c original problem has 483 variables (483 bin, 0 int, 0 cont) and 8027 constraints
0.00/0.01 c problem read in 0.014 seconds
0.00/0.01 c problem without objective
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 2 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1984 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.05 c (round 2, exhaustive) 2 del vars, 6 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1984 clqs
0.00/0.07 c (round 3, exhaustive) 2 del vars, 6 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 8019 upgd conss, 0 impls, 1984 clqs
0.00/0.08 c (round 4, exhaustive) 2 del vars, 66 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 94 chg coeffs, 8019 upgd conss, 0 impls, 1984 clqs
0.00/0.09 c (round 5, exhaustive) 2 del vars, 66 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 224 chg coeffs, 8019 upgd conss, 0 impls, 1984 clqs
0.00/0.10 c (round 6, exhaustive) 2 del vars, 70 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 286 chg coeffs, 8019 upgd conss, 0 impls, 1986 clqs
0.09/0.13 c (0.1s) probing: 59/481 (12.3%) - 0 fixings, 0 aggregations, 164 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.17 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.18 c (0.2s) no symmetry present (symcode time: 0.00)
0.09/0.19 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
0.09/0.19 c 2 deleted vars, 70 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 288 changed coefficients
0.09/0.19 c 0 implications, 2150 cliques
0.09/0.19 c presolved problem has 481 variables (481 bin, 0 int, 0 cont) and 7957 constraints
0.09/0.19 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.09/0.19 c 720 constraints of type <knapsack>
0.09/0.19 c 1984 constraints of type <setppc>
0.09/0.19 c 2 constraints of type <linear>
0.09/0.19 c 5251 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.17
0.09/0.19 c
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c
0.09/0.19 c # SCIP version 10.0.0
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.19 c limits/time = 3596.998008
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.19 c limits/memory = 27900
0.09/0.19 c
0.09/0.19 c # belongs reading time to solving time?
0.09/0.19 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c timing/reading = TRUE
0.09/0.19 c
0.09/0.19 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.09/0.19 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.09/0.19 c reading/opbreader/maxintsize = 47
0.09/0.19 c
0.09/0.19 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.09/0.19 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.09/0.19 c propagating/genvbounds/timingmask = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c
0.19/0.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.19/0.25 c 0.2s| 1 | 0 | 98 | - | 48M | 0 | 481 |8008 |7957 | 0 | 0 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.47 c 0.5s| 1 | 0 | 671 | - | 49M | 0 | 481 |8008 |7963 | 6 | 1 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.57 c 0.6s| 1 | 0 | 698 | - | 50M | 0 | 481 |8008 |7969 | 12 | 2 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.70 c 0.7s| 1 | 0 | 715 | - | 52M | 0 | 481 |8008 |7974 | 17 | 3 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.95 c 0.9s| 1 | 0 | 730 | - | 53M | 0 | 481 |8009 |7977 | 20 | 4 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
1.09/1.13 c 1.1s| 1 | 0 | 740 | - | 54M | 0 | 481 |8014 |7980 | 23 | 5 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
1.18/1.29 c 1.3s| 1 | 0 | 764 | - | 56M | 0 | 481 |8015 |7985 | 28 | 6 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
1.38/1.45 c 1.5s| 1 | 0 | 809 | - | 59M | 0 | 481 |8020 |7992 | 35 | 7 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
1.48/1.55 c 1.6s| 1 | 0 | 836 | - | 61M | 0 | 481 |8021 |8001 | 44 | 8 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
1.58/1.67 c 1.7s| 1 | 0 | 849 | - | 63M | 0 | 481 |8021 |8008 | 51 | 9 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.81 c 1.8s| 1 | 0 | 872 | - | 67M | 0 | 481 |8024 |8013 | 56 | 10 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.82 c 1.8s| 1 | 0 | 889 | - | 68M | 0 | 481 |8025 |8020 | 63 | 11 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
1.88/1.95 c 1.9s| 1 | 2 | 914 | - | 68M | 0 | 481 |8035 |8020 | 63 | 11 | 77 | 14 | 0.000000e+00 | -- | Inf | unknown
3.67/3.73 c 3.7s| 100 | 60 | 8371 | 76.0 | 73M | 20 | 481 |8288 |7978 | 100 | 1 | 338 | 14 | 0.000000e+00 | -- | Inf | unknown
4.98/5.06 c 5.1s| 200 | 66 | 13813 | 65.2 | 74M | 20 | 481 |8451 | 0 | 123 | 0 | 554 | 14 | 0.000000e+00 | -- | Inf | 4.09%
5.77/5.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.77/5.85 c 5.8s| 300 | 85 | 16560 | 52.6 | 77M | 20 | 481 |8581 |7978 | 160 | 1 | 739 | 14 | 0.000000e+00 | -- | Inf | 5.52%
6.57/6.68 c 6.7s| 400 | 112 | 19391 | 46.5 | 83M | 20 | 481 |8814 | 0 | 232 | 0 | 999 | 14 | 0.000000e+00 | -- | Inf | 7.52%
7.56/7.64 c 7.6s| 500 | 126 | 22379 | 43.2 | 86M | 20 | 481 |8968 |7986 | 292 | 1 |1180 | 14 | 0.000000e+00 | -- | Inf | 7.81%
8.56/8.67 c 8.7s| 600 | 123 | 23394 | 37.6 | 86M | 20 | 481 |9096 |7986 | 292 | 1 |1320 | 14 | 0.000000e+00 | -- | Inf | 7.83%
9.65/9.78 c 9.8s| 700 | 125 | 24721 | 34.2 | 86M | 20 | 481 |9181 |7986 | 292 | 1 |1424 | 14 | 0.000000e+00 | -- | Inf | 7.87%
10.46/10.50 c 10.5s| 800 | 127 | 26157 | 31.7 | 87M | 20 | 481 |9323 | 0 | 294 | 0 |1594 | 14 | 0.000000e+00 | -- | Inf | 8.00%
10.66/10.78 c 10.8s| 900 | 130 | 27398 | 29.5 | 87M | 20 | 481 |9532 |7986 | 306 | 1 |1836 | 14 | 0.000000e+00 | -- | Inf | 8.06%
10.76/10.87 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
10.76/10.87 c (run 1, node 919) performing user restart
10.76/10.87 c
10.76/10.87 c (restart) converted 20 cuts from the global cut pool into linear constraints
10.76/10.87 c
10.76/10.88 c presolving:
10.76/10.88 c (round 1, fast) 0 del vars, 119 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 46 chg coeffs, 0 upgd conss, 0 impls, 2167 clqs
10.76/10.89 c (round 2, medium) 0 del vars, 125 del conss, 4 add conss, 0 chg bounds, 42 chg sides, 81 chg coeffs, 0 upgd conss, 0 impls, 2167 clqs
10.76/10.89 c (round 3, exhaustive) 0 del vars, 138 del conss, 8 add conss, 0 chg bounds, 44 chg sides, 111 chg coeffs, 0 upgd conss, 0 impls, 2167 clqs
10.85/10.90 c (round 4, exhaustive) 0 del vars, 138 del conss, 8 add conss, 0 chg bounds, 44 chg sides, 158 chg coeffs, 0 upgd conss, 0 impls, 2167 clqs
10.85/10.91 c (round 5, exhaustive) 0 del vars, 138 del conss, 8 add conss, 0 chg bounds, 44 chg sides, 169 chg coeffs, 23 upgd conss, 0 impls, 2167 clqs
10.85/10.93 c (round 6, exhaustive) 0 del vars, 407 del conss, 8 add conss, 0 chg bounds, 45 chg sides, 948 chg coeffs, 23 upgd conss, 0 impls, 2167 clqs
10.85/10.94 c (round 7, exhaustive) 0 del vars, 421 del conss, 8 add conss, 0 chg bounds, 45 chg sides, 960 chg coeffs, 23 upgd conss, 0 impls, 2167 clqs
10.85/10.96 c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
10.85/10.96 c 0 deleted vars, 421 deleted constraints, 8 added constraints, 0 tightened bounds, 0 added holes, 45 changed sides, 989 changed coefficients
10.85/10.96 c 0 implications, 2167 cliques
10.85/10.96 c presolved problem has 481 variables (481 bin, 0 int, 0 cont) and 9164 constraints
10.85/10.96 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
10.85/10.96 c 742 constraints of type <knapsack>
10.85/10.96 c 1996 constraints of type <setppc>
10.85/10.96 c 4 constraints of type <and>
10.85/10.96 c 37 constraints of type <linear>
10.85/10.96 c 6385 constraints of type <logicor>
10.85/10.96 c transformed objective value is always integral (scale: 1)
10.85/10.96 c Presolving Time: 0.25
10.85/10.96 c
10.85/10.98 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.98 c 11.0s| 1 | 0 | 28373 | - | 87M | 0 | 481 |9176 |7980 | 0 | 0 |1886 | 14 | 0.000000e+00 | -- | Inf | unknown
11.15/11.28 c 11.3s| 1 | 0 | 28391 | - | 87M | 0 | 481 |9267 |7986 | 6 | 1 |1887 | 14 | 0.000000e+00 | -- | Inf | unknown
11.35/11.48 c 11.5s| 1 | 0 | 28412 | - | 87M | 0 | 481 |9267 |7991 | 11 | 2 |1887 | 14 | 0.000000e+00 | -- | Inf | unknown
11.65/11.71 c 11.7s| 1 | 0 | 28437 | - | 88M | 0 | 481 |9268 |7998 | 18 | 3 |1888 | 14 | 0.000000e+00 | -- | Inf | unknown
11.75/11.88 c 11.9s| 1 | 0 | 28463 | - | 89M | 0 | 481 |9269 |8004 | 24 | 4 |1889 | 14 | 0.000000e+00 | -- | Inf | unknown
11.85/11.98 c 12.0s| 1 | 0 | 28486 | - | 90M | 0 | 481 |9270 |8009 | 29 | 5 |1890 | 14 | 0.000000e+00 | -- | Inf | unknown
11.95/12.07 c 12.1s| 1 | 0 | 28507 | - | 91M | 0 | 481 |9275 |8014 | 34 | 6 |1895 | 14 | 0.000000e+00 | -- | Inf | unknown
12.06/12.18 c 12.2s| 1 | 0 | 28537 | - | 91M | 0 | 481 |9277 |8020 | 40 | 7 |1897 | 14 | 0.000000e+00 | -- | Inf | unknown
12.25/12.31 c 12.3s| 1 | 0 | 28562 | - | 92M | 0 | 481 |9282 |8027 | 47 | 8 |1902 | 14 | 0.000000e+00 | -- | Inf | unknown
12.25/12.36 c 12.4s| 1 | 0 | 28583 | - | 94M | 0 | 481 |9286 |8034 | 54 | 9 |1906 | 14 | 0.000000e+00 | -- | Inf | unknown
12.35/12.41 c 12.4s| 1 | 0 | 28606 | - | 96M | 0 | 481 |9287 |8037 | 57 | 10 |1907 | 14 | 0.000000e+00 | -- | Inf | unknown
12.35/12.42 c 12.4s| 1 | 0 | 28633 | - | 97M | 0 | 481 |9288 |8043 | 63 | 11 |1908 | 14 | 0.000000e+00 | -- | Inf | unknown
12.45/12.56 c 12.6s| 1 | 2 | 28810 | - | 97M | 0 | 481 |9293 |8043 | 63 | 11 |1913 | 25 | 0.000000e+00 | -- | Inf | unknown
14.05/14.12 c 14.1s| 100 | 48 | 35695 | 33.9 | 102M | 20 | 481 |9504 |7996 | 100 | 1 |2139 | 25 | 0.000000e+00 | -- | Inf | 3.59%
14.84/14.91 c 14.9s| 200 | 70 | 38519 | 33.4 | 102M | 27 | 481 |9670 |7996 | 104 | 1 |2325 | 25 | 0.000000e+00 | -- | Inf | 3.59%
15.64/15.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.64/15.72 c 15.7s| 300 | 86 | 41711 | 33.3 | 104M | 27 | 481 |9854 |8002 | 167 | 1 |2557 | 25 | 0.000000e+00 | -- | Inf | 3.88%
15.95/16.03 c 16.0s| 400 | 92 | 43857 | 32.4 | 104M | 27 | 481 | 10k| 0 | 183 | 0 |2817 | 25 | 0.000000e+00 | -- | Inf | 4.33%
16.24/16.34 c 16.3s| 500 | 93 | 45535 | 31.3 | 104M | 27 | 481 | 10k| 0 | 188 | 0 |3070 | 25 | 0.000000e+00 | -- | Inf | 4.40%
16.84/16.92 c 16.9s| 600 | 104 | 49184 | 31.6 | 106M | 27 | 481 | 10k|7996 | 246 | 1 |3282 | 25 | 0.000000e+00 | -- | Inf | 5.40%
17.14/17.23 c 17.2s| 700 | 115 | 51179 | 30.9 | 106M | 27 | 481 | 10k|7999 | 267 | 0 |3453 | 25 | 0.000000e+00 | -- | Inf | 5.75%
17.34/17.44 c 17.4s| 800 | 124 | 53044 | 30.2 | 107M | 27 | 481 | 10k|7999 | 267 | 1 |3671 | 25 | 0.000000e+00 | -- | Inf | 5.78%
17.54/17.67 c 17.7s| 900 | 132 | 54921 | 29.6 | 107M | 27 | 481 | 10k| 0 | 271 | 0 |3914 | 25 | 0.000000e+00 | -- | Inf | 5.82%
18.04/18.13 c 18.1s| 1000 | 132 | 57656 | 29.4 | 107M | 27 | 481 | 10k| 0 | 305 | 0 |4151 | 25 | 0.000000e+00 | -- | Inf | 7.06%
18.43/18.57 c 18.6s| 1100 | 154 | 61510 | 29.9 | 107M | 27 | 481 | 10k| 0 | 327 | 0 |4375 | 25 | 0.000000e+00 | -- | Inf | 7.07%
18.83/18.90 c 18.9s| 1200 | 146 | 63579 | 29.5 | 107M | 27 | 481 | 10k|8004 | 345 | 2 |4592 | 25 | 0.000000e+00 | -- | Inf | 7.35%
19.53/19.65 c 19.7s| 1300 | 176 | 67088 | 29.7 | 107M | 27 | 481 | 10k|7999 | 413 | 1 |4750 | 25 | 0.000000e+00 | -- | Inf | 7.57%
20.23/20.36 c 20.4s| 1400 | 203 | 70313 | 29.8 | 108M | 27 | 481 | 10k|7999 | 485 | 1 |4928 | 25 | 0.000000e+00 | -- | Inf | 7.93%
21.22/21.31 c 21.3s| 1500 | 229 | 74123 | 30.2 | 110M | 27 | 481 | 10k|8002 | 569 | 1 |5188 | 25 | 0.000000e+00 | -- | Inf | 8.60%
21.72/21.82 c 21.8s| 1600 | 251 | 75526 | 29.5 | 110M | 27 | 481 | 10k|7997 | 608 | 1 |5432 | 25 | 0.000000e+00 | -- | Inf | 9.01%
22.12/22.21 c 22.2s| 1700 | 237 | 76870 | 28.9 | 111M | 27 | 481 | 10k|7998 | 643 | 0 |5687 | 25 | 0.000000e+00 | -- | Inf | 9.41%
22.82/22.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.82/22.91 c 22.9s| 1800 | 246 | 79549 | 28.8 | 112M | 27 | 481 | 10k|8000 | 718 | 2 |5861 | 25 | 0.000000e+00 | -- | Inf | 10.02%
23.71/23.81 c 23.8s| 1900 | 276 | 81518 | 28.5 | 116M | 27 | 481 | 10k|8001 | 821 | 1 |6048 | 25 | 0.000000e+00 | -- | Inf | 10.60%
23.81/23.99 c 24.0s| 2000 | 270 | 83080 | 28.1 | 116M | 27 | 481 | 10k|7998 | 821 | 1 |6253 | 25 | 0.000000e+00 | -- | Inf | 10.87%
24.11/24.27 c 24.3s| 2100 | 268 | 84247 | 27.5 | 116M | 27 | 481 | 11k|7997 | 840 | 1 |6405 | 25 | 0.000000e+00 | -- | Inf | 11.03%
24.41/24.59 c 24.6s| 2200 | 261 | 85304 | 27.0 | 118M | 27 | 481 | 11k| 0 | 875 | 0 |6614 | 25 | 0.000000e+00 | -- | Inf | 11.45%
25.41/25.50 c 25.5s| 2300 | 292 | 89304 | 27.4 | 119M | 27 | 481 | 11k| 0 | 980 | 0 |6871 | 25 | 0.000000e+00 | -- | Inf | 12.69%
25.71/25.82 c 25.8s| 2400 | 300 | 90508 | 26.9 | 120M | 27 | 481 | 11k| 0 |1017 | 0 |7044 | 25 | 0.000000e+00 | -- | Inf | 12.91%
26.20/26.30 c 26.3s| 2500 | 298 | 92256 | 26.6 | 120M | 27 | 481 | 11k| 0 |1047 | 0 |7320 | 25 | 0.000000e+00 | -- | Inf | 13.74%
26.80/26.95 c 27.0s| 2600 | 319 | 94627 | 26.6 | 121M | 27 | 481 | 11k| 0 |1124 | 0 |7511 | 25 | 0.000000e+00 | -- | Inf | 15.67%
27.30/27.42 c 27.4s| 2700 | 335 | 97066 | 26.5 | 121M | 27 | 481 | 11k| 0 |1161 | 0 |7749 | 25 | 0.000000e+00 | -- | Inf | 15.84%
27.90/28.02 c 28.0s| 2800 | 345 | 99969 | 26.6 | 122M | 27 | 481 | 11k|8000 |1242 | 1 |7967 | 25 | 0.000000e+00 | -- | Inf | 16.34%
28.30/28.48 c 28.5s| 2900 | 368 |102607 | 26.6 | 122M | 27 | 481 | 11k| 0 |1275 | 0 |8224 | 25 | 0.000000e+00 | -- | Inf | 16.52%
28.60/28.74 c 28.7s| 3000 | 359 |104115 | 26.3 | 122M | 27 | 481 | 11k|8000 |1290 | 0 |8389 | 25 | 0.000000e+00 | -- | Inf | 17.68%
29.29/29.49 c 29.5s| 3100 | 377 |106626 | 26.2 | 122M | 27 | 481 | 11k|7998 |1322 | 1 |8578 | 25 | 0.000000e+00 | -- | Inf | 17.91%
29.69/29.82 c 29.8s| 3200 | 377 |107791 | 25.9 | 123M | 27 | 481 | 11k| 0 |1346 | 0 |8765 | 25 | 0.000000e+00 | -- | Inf | 18.13%
30.19/30.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.19/30.36 c 30.4s| 3300 | 388 |110803 | 26.0 | 123M | 27 | 481 | 11k|8001 |1382 | 1 |8955 | 25 | 0.000000e+00 | -- | Inf | 18.52%
30.89/31.10 c 31.1s| 3400 | 408 |113413 | 26.0 | 125M | 27 | 481 | 11k|8000 |1474 | 1 |9153 | 25 | 0.000000e+00 | -- | Inf | 19.69%
31.39/31.52 c 31.5s| 3500 | 407 |115970 | 26.0 | 125M | 27 | 481 | 11k|8002 |1498 | 1 |9347 | 25 | 0.000000e+00 | -- | Inf | 20.07%
32.48/32.65 c 32.7s| 3600 | 421 |123954 | 27.2 | 125M | 27 | 481 | 11k|7999 |1533 | 1 |9503 | 25 | 0.000000e+00 | -- | Inf | 20.87%
33.08/33.22 c 33.2s| 3700 | 417 |125730 | 27.0 | 125M | 27 | 481 | 11k|7992 |1591 | 1 |9644 | 25 | 0.000000e+00 | -- | Inf | 22.06%
33.88/34.07 c 34.1s| 3800 | 435 |128643 | 27.0 | 125M | 27 | 481 | 11k|7997 |1654 | 1 |9855 | 25 | 0.000000e+00 | -- | Inf | 22.60%
34.58/34.75 c 34.8s| 3900 | 451 |131135 | 27.0 | 125M | 27 | 481 | 11k| 0 |1724 | 0 | 10k| 25 | 0.000000e+00 | -- | Inf | 23.14%
35.37/35.50 c 35.5s| 4000 | 450 |133169 | 26.8 | 125M | 27 | 481 | 11k|8004 |1796 | 1 | 10k| 25 | 0.000000e+00 | -- | Inf | 24.66%
35.88/36.02 c 36.0s| 4100 | 452 |134898 | 26.6 | 126M | 27 | 481 | 11k|7997 |1857 | 1 | 10k| 25 | 0.000000e+00 | -- | Inf | 26.21%
36.67/36.88 c 36.9s| 4200 | 441 |137113 | 26.6 | 127M | 27 | 481 | 11k| 0 |1969 | 0 | 10k| 25 | 0.000000e+00 | -- | Inf | 26.84%
36.98/37.19 c 37.2s| 4300 | 447 |138192 | 26.3 | 127M | 27 | 481 | 11k| 0 |1993 | 0 | 10k| 25 | 0.000000e+00 | -- | Inf | 27.03%
37.27/37.44 c 37.4s| 4400 | 443 |139882 | 26.1 | 127M | 27 | 481 | 11k|8007 |2007 | 1 | 10k| 25 | 0.000000e+00 | -- | Inf | 27.11%
37.67/37.82 c 37.8s| 4500 | 452 |141743 | 25.9 | 129M | 27 | 481 | 11k|8005 |2030 | 2 | 11k| 25 | 0.000000e+00 | -- | Inf | 27.74%
37.97/38.17 c 38.2s| 4600 | 437 |143221 | 25.7 | 129M | 27 | 481 | 11k|8003 |2052 | 1 | 11k| 25 | 0.000000e+00 | -- | Inf | 27.94%
38.97/39.14 c 39.1s| 4700 | 429 |145465 | 25.7 | 130M | 27 | 481 | 11k|7999 |2167 | 2 | 11k| 25 | 0.000000e+00 | -- | Inf | 29.45%
39.66/39.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.66/39.85 c 39.9s| 4800 | 427 |147429 | 25.6 | 130M | 27 | 481 | 11k| 0 |2236 | 0 | 11k| 25 | 0.000000e+00 | -- | Inf | 30.28%
40.26/40.42 c 40.4s| 4900 | 442 |150167 | 25.6 | 132M | 27 | 481 | 11k|8000 |2275 | 1 | 11k| 25 | 0.000000e+00 | -- | Inf | 30.48%
40.46/40.66 c 40.7s| 5000 | 444 |152091 | 25.5 | 132M | 27 | 481 | 12k| 0 |2279 | 0 | 12k| 25 | 0.000000e+00 | -- | Inf | 30.62%
40.86/41.05 c 41.1s| 5100 | 418 |153647 | 25.3 | 132M | 27 | 481 | 12k|8010 |2324 | 2 | 12k| 25 | 0.000000e+00 | -- | Inf | 31.43%
41.75/41.93 c 41.9s| 5200 | 428 |155649 | 25.2 | 132M | 27 | 481 | 12k|8000 |2413 | 1 | 12k| 25 | 0.000000e+00 | -- | Inf | 32.06%
42.05/42.25 c 42.2s| 5300 | 420 |156928 | 25.0 | 132M | 27 | 481 | 12k| 0 |2441 | 0 | 12k| 25 | 0.000000e+00 | -- | Inf | 33.15%
42.65/42.81 c 42.8s| 5400 | 436 |158902 | 25.0 | 133M | 27 | 481 | 12k|8000 |2574 | 1 | 12k| 25 | 0.000000e+00 | -- | Inf | 34.95%
43.25/43.43 c 43.4s| 5500 | 432 |160997 | 24.9 | 133M | 27 | 481 | 12k|8002 |2631 | 1 | 12k| 25 | 0.000000e+00 | -- | Inf | 35.74%
44.05/44.25 c 44.3s| 5600 | 437 |163469 | 24.9 | 134M | 27 | 481 | 12k| 0 |2738 | 0 | 13k| 25 | 0.000000e+00 | -- | Inf | 36.59%
44.65/44.81 c 44.8s| 5700 | 437 |164897 | 24.7 | 134M | 27 | 481 | 12k|7996 |2826 | 1 | 13k| 25 | 0.000000e+00 | -- | Inf | 37.63%
45.25/45.42 c 45.4s| 5800 | 451 |166819 | 24.7 | 134M | 27 | 481 | 12k| 0 |2961 | 0 | 13k| 25 | 0.000000e+00 | -- | Inf | 38.19%
45.74/45.91 c 45.9s| 5900 | 443 |169117 | 24.6 | 134M | 27 | 481 | 12k|7991 |3005 | 1 | 13k| 25 | 0.000000e+00 | -- | Inf | 38.81%
46.64/46.87 c 46.9s| 6000 | 452 |171172 | 24.6 | 137M | 27 | 481 | 12k| 0 |3120 | 0 | 13k| 25 | 0.000000e+00 | -- | Inf | 39.26%
47.24/47.43 c 47.4s| 6100 | 453 |173631 | 24.6 | 137M | 27 | 481 | 12k| 0 |3183 | 0 | 14k| 25 | 0.000000e+00 | -- | Inf | 39.97%
47.74/47.97 c 48.0s| 6200 | 453 |175291 | 24.5 | 137M | 27 | 481 | 12k|7993 |3240 | 1 | 14k| 25 | 0.000000e+00 | -- | Inf | 41.51%
48.63/48.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.63/48.80 c 48.8s| 6300 | 484 |179243 | 24.7 | 137M | 27 | 481 | 12k|8002 |3333 | 2 | 14k| 25 | 0.000000e+00 | -- | Inf | 41.77%
48.94/49.14 c 49.1s| 6400 | 508 |181185 | 24.6 | 137M | 28 | 481 | 12k|8007 |3358 | 1 | 14k| 25 | 0.000000e+00 | -- | Inf | 41.80%
49.13/49.35 c 49.4s| 6500 | 517 |182410 | 24.4 | 137M | 28 | 481 | 12k|8010 |3385 | 1 | 14k| 25 | 0.000000e+00 | -- | Inf | 41.81%
49.33/49.57 c 49.6s| 6600 | 509 |183599 | 24.3 | 137M | 32 | 481 | 12k|8005 |3420 | 1 | 14k| 25 | 0.000000e+00 | -- | Inf | 41.82%
49.83/50.07 c 50.1s| 6700 | 497 |184893 | 24.1 | 137M | 32 | 481 | 12k|8001 |3477 | 1 | 15k| 25 | 0.000000e+00 | -- | Inf | 42.15%
50.43/50.60 c 50.6s| 6800 | 508 |186576 | 24.0 | 138M | 32 | 481 | 12k|8001 |3563 | 1 | 15k| 25 | 0.000000e+00 | -- | Inf | 42.84%
50.73/50.95 c 51.0s| 6900 | 507 |188145 | 23.9 | 138M | 32 | 481 | 12k|8002 |3611 | 2 | 15k| 25 | 0.000000e+00 | -- | Inf | 43.20%
51.32/51.56 c 51.6s| 7000 | 507 |190224 | 23.9 | 141M | 32 | 481 | 12k|7996 |3653 | 2 | 15k| 25 | 0.000000e+00 | -- | Inf | 43.84%
51.83/52.04 c 52.0s| 7100 | 511 |192142 | 23.8 | 141M | 32 | 481 | 12k| 0 |3702 | 0 | 15k| 25 | 0.000000e+00 | -- | Inf | 44.63%
52.12/52.34 c 52.3s| 7200 | 499 |193809 | 23.7 | 141M | 32 | 481 | 12k|8008 |3725 | 1 | 15k| 25 | 0.000000e+00 | -- | Inf | 44.67%
52.62/52.84 c 52.8s| 7300 | 516 |195349 | 23.6 | 141M | 32 | 481 | 12k|8003 |3825 | 1 | 16k| 25 | 0.000000e+00 | -- | Inf | 44.98%
53.01/53.28 c 53.3s| 7400 | 509 |197286 | 23.6 | 144M | 32 | 481 | 12k| 0 |3919 | 0 | 16k| 25 | 0.000000e+00 | -- | Inf | 45.55%
53.92/54.12 c 54.1s| 7500 | 511 |199095 | 23.5 | 144M | 32 | 481 | 12k|8001 |4046 | 1 | 16k| 25 | 0.000000e+00 | -- | Inf | 46.86%
54.31/54.59 c 54.6s| 7600 | 512 |200882 | 23.4 | 144M | 32 | 481 | 12k|8007 |4131 | 2 | 16k| 25 | 0.000000e+00 | -- | Inf | 48.01%
54.81/55.10 c 55.1s| 7700 | 531 |202629 | 23.4 | 144M | 32 | 481 | 12k| 0 |4215 | 0 | 16k| 25 | 0.000000e+00 | -- | Inf | 48.42%
55.60/55.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
55.60/55.82 c 55.8s| 7800 | 547 |205583 | 23.4 | 144M | 32 | 481 | 12k| 0 |4314 | 0 | 16k| 25 | 0.000000e+00 | -- | Inf | 49.05%
56.00/56.20 c 56.2s| 7900 | 564 |207168 | 23.4 | 144M | 32 | 481 | 12k|8010 |4403 | 2 | 16k| 25 | 0.000000e+00 | -- | Inf | 49.34%
56.30/56.58 c 56.6s| 8000 | 571 |209330 | 23.3 | 144M | 32 | 481 | 12k| 0 |4439 | 0 | 17k| 25 | 0.000000e+00 | -- | Inf | 49.76%
56.60/56.85 c 56.9s| 8100 | 592 |211481 | 23.3 | 144M | 32 | 481 | 12k|8005 |4453 | 1 | 17k| 25 | 0.000000e+00 | -- | Inf | 49.79%
57.20/57.44 c 57.4s| 8200 | 584 |215341 | 23.5 | 144M | 32 | 481 | 12k| 0 |4462 | 0 | 17k| 25 | 0.000000e+00 | -- | Inf | 49.85%
57.90/58.14 c 58.1s| 8300 | 588 |217466 | 23.5 | 144M | 32 | 481 | 12k|8004 |4557 | 2 | 17k| 25 | 0.000000e+00 | -- | Inf | 50.31%
58.10/58.36 c 58.4s| 8400 | 589 |218673 | 23.3 | 144M | 32 | 481 | 12k|8002 |4574 | 1 | 17k| 25 | 0.000000e+00 | -- | Inf | 50.47%
58.40/58.60 c 58.6s| 8500 | 587 |220139 | 23.2 | 144M | 32 | 481 | 12k|8002 |4589 | 2 | 17k| 25 | 0.000000e+00 | -- | Inf | 50.66%
59.19/59.49 c 59.5s| 8600 | 594 |222664 | 23.3 | 144M | 32 | 481 | 12k|8004 |4699 | 1 | 18k| 25 | 0.000000e+00 | -- | Inf | 51.26%
59.69/59.91 c 59.9s| 8700 | 607 |223939 | 23.2 | 144M | 32 | 481 | 12k|8002 |4742 | 1 | 18k| 25 | 0.000000e+00 | -- | Inf | 51.47%
59.99/60.20 c 60.2s| 8800 | 602 |225091 | 23.0 | 145M | 32 | 481 | 13k| 0 |4783 | 0 | 18k| 25 | 0.000000e+00 | -- | Inf | 51.82%
60.39/60.60 c 60.6s| 8900 | 605 |226404 | 22.9 | 145M | 32 | 481 | 13k| 0 |4864 | 0 | 18k| 25 | 0.000000e+00 | -- | Inf | 52.07%
60.69/60.91 c 60.9s| 9000 | 591 |227925 | 22.9 | 145M | 32 | 481 | 13k|8002 |4899 | 1 | 18k| 25 | 0.000000e+00 | -- | Inf | 52.48%
61.79/62.00 c 62.0s| 9100 | 596 |230714 | 22.9 | 145M | 32 | 481 | 13k| 0 |5064 | 0 | 18k| 25 | 0.000000e+00 | -- | Inf | 54.13%
62.08/62.31 c 62.3s| 9200 | 588 |232835 | 22.9 | 146M | 32 | 481 | 13k| 0 |5094 | 0 | 18k| 25 | 0.000000e+00 | -- | Inf | 54.33%
62.48/62.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
62.48/62.79 c 62.8s| 9300 | 596 |234737 | 22.9 | 146M | 32 | 481 | 13k|8008 |5177 | 1 | 18k| 25 | 0.000000e+00 | -- | Inf | 54.54%
63.08/63.36 c 63.4s| 9400 | 608 |237148 | 22.9 | 146M | 32 | 481 | 13k|8010 |5254 | 1 | 19k| 25 | 0.000000e+00 | -- | Inf | 55.06%
63.28/63.56 c 63.6s| 9500 | 601 |238167 | 22.7 | 146M | 32 | 481 | 13k| 0 |5258 | 0 | 19k| 25 | 0.000000e+00 | -- | Inf | 55.20%
63.48/63.74 c 63.7s| 9600 | 602 |239373 | 22.6 | 146M | 32 | 481 | 13k| 0 |5280 | 0 | 19k| 25 | 0.000000e+00 | -- | Inf | 55.20%
63.68/64.00 c 64.0s| 9700 | 610 |241061 | 22.6 | 147M | 33 | 481 | 13k|8009 |5291 | 1 | 19k| 25 | 0.000000e+00 | -- | Inf | 55.20%
63.97/64.25 c 64.3s| 9800 | 602 |242816 | 22.5 | 147M | 35 | 481 | 13k|8003 |5313 | 1 | 19k| 25 | 0.000000e+00 | -- | Inf | 55.45%
64.78/65.06 c 65.1s| 9900 | 601 |245803 | 22.6 | 150M | 35 | 481 | 13k| 0 |5430 | 0 | 19k| 25 | 0.000000e+00 | -- | Inf | 56.07%
65.37/65.64 c 65.6s| 10000 | 609 |248941 | 22.7 | 150M | 35 | 481 | 13k|8009 |5487 | 2 | 20k| 25 | 0.000000e+00 | -- | Inf | 56.65%
65.97/66.21 c 66.2s| 10100 | 603 |250888 | 22.7 | 150M | 35 | 481 | 13k|8003 |5539 | 1 | 20k| 25 | 0.000000e+00 | -- | Inf | 56.98%
66.17/66.46 c 66.5s| 10200 | 591 |252275 | 22.6 | 150M | 35 | 481 | 13k| 0 |5562 | 0 | 20k| 25 | 0.000000e+00 | -- | Inf | 57.24%
66.97/67.22 c 67.2s| 10300 | 574 |254301 | 22.6 | 150M | 35 | 481 | 13k| 0 |5622 | 0 | 20k| 25 | 0.000000e+00 | -- | Inf | 58.16%
67.46/67.73 c 67.7s| 10400 | 561 |256332 | 22.5 | 150M | 35 | 481 | 13k|8003 |5647 | 1 | 20k| 25 | 0.000000e+00 | -- | Inf | 58.54%
68.07/68.33 c 68.3s| 10500 | 592 |259681 | 22.6 | 150M | 35 | 481 | 13k| 0 |5731 | 0 | 20k| 25 | 0.000000e+00 | -- | Inf | 58.68%
68.37/68.61 c 68.6s| 10600 | 582 |260723 | 22.5 | 150M | 35 | 481 | 13k|7998 |5769 | 1 | 21k| 25 | 0.000000e+00 | -- | Inf | 58.93%
68.67/68.93 c 68.9s| 10700 | 578 |262119 | 22.5 | 150M | 35 | 481 | 13k| 0 |5804 | 0 | 21k| 25 | 0.000000e+00 | -- | Inf | 59.24%
68.87/69.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
68.87/69.18 c 69.2s| 10800 | 576 |263659 | 22.4 | 150M | 35 | 481 | 13k|8005 |5804 | 1 | 21k| 25 | 0.000000e+00 | -- | Inf | 59.33%
69.37/69.67 c 69.7s| 10900 | 560 |265723 | 22.4 | 150M | 35 | 481 | 13k|8004 |5866 | 1 | 21k| 25 | 0.000000e+00 | -- | Inf | 60.19%
69.77/70.07 c 70.1s| 11000 | 557 |267757 | 22.4 | 150M | 35 | 481 | 13k|8007 |5894 | 1 | 21k| 25 | 0.000000e+00 | -- | Inf | 60.53%
70.16/70.48 c 70.5s| 11100 | 550 |269937 | 22.4 | 150M | 35 | 481 | 13k|8004 |5918 | 1 | 21k| 25 | 0.000000e+00 | -- | Inf | 61.26%
70.46/70.73 c 70.7s| 11200 | 545 |271636 | 22.3 | 150M | 35 | 481 | 13k| 0 |5930 | 0 | 22k| 25 | 0.000000e+00 | -- | Inf | 61.53%
70.66/70.97 c 71.0s| 11300 | 544 |273432 | 22.3 | 150M | 35 | 481 | 13k|8003 |5948 | 1 | 22k| 25 | 0.000000e+00 | -- | Inf | 61.65%
70.96/71.25 c 71.3s| 11400 | 537 |274548 | 22.2 | 150M | 35 | 481 | 13k| 0 |5985 | 0 | 22k| 25 | 0.000000e+00 | -- | Inf | 61.84%
71.16/71.47 c 71.5s| 11500 | 530 |276145 | 22.1 | 150M | 35 | 481 | 13k| 0 |5993 | 0 | 22k| 25 | 0.000000e+00 | -- | Inf | 62.05%
71.46/71.73 c 71.7s| 11600 | 546 |277840 | 22.1 | 150M | 35 | 481 | 13k|8006 |6005 | 1 | 22k| 25 | 0.000000e+00 | -- | Inf | 62.30%
71.76/72.05 c 72.1s| 11700 | 537 |279275 | 22.0 | 150M | 35 | 481 | 13k|8017 |6018 | 2 | 22k| 25 | 0.000000e+00 | -- | Inf | 62.37%
72.66/72.92 c 72.9s| 11800 | 569 |284464 | 22.3 | 150M | 35 | 481 | 13k| 0 |6116 | 0 | 22k| 25 | 0.000000e+00 | -- | Inf | 62.51%
72.95/73.29 c 73.3s| 11900 | 575 |286141 | 22.2 | 150M | 35 | 481 | 13k| 0 |6164 | 0 | 23k| 25 | 0.000000e+00 | -- | Inf | 62.64%
73.35/73.61 c 73.6s| 12000 | 573 |287941 | 22.2 | 150M | 35 | 481 | 13k|8009 |6188 | 1 | 23k| 25 | 0.000000e+00 | -- | Inf | 62.87%
73.55/73.84 c 73.8s| 12100 | 570 |289542 | 22.2 | 151M | 35 | 481 | 13k| 0 |6194 | 0 | 23k| 25 | 0.000000e+00 | -- | Inf | 62.92%
73.86/74.13 c 74.1s| 12200 | 564 |291127 | 22.1 | 151M | 35 | 481 | 13k|8005 |6211 | 1 | 23k| 25 | 0.000000e+00 | -- | Inf | 63.22%
74.15/74.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
74.15/74.40 c 74.4s| 12300 | 557 |293254 | 22.1 | 151M | 35 | 481 | 13k|8005 |6221 | 1 | 23k| 25 | 0.000000e+00 | -- | Inf | 63.36%
74.45/74.78 c 74.8s| 12400 | 561 |294996 | 22.1 | 151M | 35 | 481 | 13k|8012 |6319 | 1 | 23k| 25 | 0.000000e+00 | -- | Inf | 63.64%
74.85/75.11 c 75.1s| 12500 | 579 |297184 | 22.1 | 151M | 35 | 481 | 13k| 0 |6374 | 0 | 23k| 25 | 0.000000e+00 | -- | Inf | 63.66%
75.05/75.34 c 75.3s| 12600 | 589 |298809 | 22.0 | 152M | 35 | 481 | 13k| 0 |6396 | 0 | 24k| 25 | 0.000000e+00 | -- | Inf | 63.67%
75.25/75.57 c 75.6s| 12700 | 585 |300772 | 22.0 | 152M | 35 | 481 | 14k|8012 |6404 | 2 | 24k| 25 | 0.000000e+00 | -- | Inf | 63.77%
75.54/75.82 c 75.8s| 12800 | 602 |302934 | 22.0 | 153M | 35 | 481 | 14k|8014 |6413 | 1 | 24k| 25 | 0.000000e+00 | -- | Inf | 63.78%
75.75/76.04 c 76.0s| 12900 | 585 |304531 | 22.0 | 153M | 35 | 481 | 14k|8015 |6424 | 1 | 24k| 25 | 0.000000e+00 | -- | Inf | 63.84%
76.04/76.33 c 76.3s| 13000 | 597 |306859 | 22.0 | 153M | 35 | 481 | 14k|8015 |6438 | 0 | 24k| 25 | 0.000000e+00 | -- | Inf | 63.85%
76.24/76.58 c 76.6s| 13100 | 586 |308568 | 21.9 | 153M | 35 | 481 | 14k|8016 |6453 | 1 | 25k| 25 | 0.000000e+00 | -- | Inf | 63.86%
76.74/77.03 c 77.0s| 13200 | 588 |311333 | 22.0 | 153M | 35 | 481 | 14k| 0 |6487 | 0 | 25k| 25 | 0.000000e+00 | -- | Inf | 64.05%
76.94/77.25 c 77.3s| 13300 | 584 |313050 | 21.9 | 153M | 35 | 481 | 14k|8012 |6491 | 1 | 25k| 25 | 0.000000e+00 | -- | Inf | 64.21%
77.14/77.42 c 77.4s| 13400 | 580 |313954 | 21.8 | 153M | 35 | 481 | 14k|8013 |6499 | 0 | 25k| 25 | 0.000000e+00 | -- | Inf | 64.22%
77.34/77.64 c 77.6s| 13500 | 580 |315376 | 21.8 | 153M | 35 | 481 | 14k| 0 |6515 | 0 | 25k| 25 | 0.000000e+00 | -- | Inf | 64.25%
77.54/77.88 c 77.9s| 13600 | 587 |316889 | 21.7 | 153M | 35 | 481 | 14k|8014 |6536 | 1 | 25k| 25 | 0.000000e+00 | -- | Inf | 64.30%
77.94/78.29 c 78.3s| 13700 | 584 |319210 | 21.8 | 153M | 35 | 481 | 14k|8003 |6608 | 1 | 26k| 25 | 0.000000e+00 | -- | Inf | 64.39%
78.33/78.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.33/78.68 c 78.7s| 13800 | 567 |321574 | 21.8 | 153M | 35 | 481 | 14k| 0 |6644 | 0 | 26k| 25 | 0.000000e+00 | -- | Inf | 64.64%
79.23/79.54 c 79.5s| 13900 | 563 |323360 | 21.7 | 153M | 35 | 481 | 14k|8003 |6708 | 1 | 26k| 25 | 0.000000e+00 | -- | Inf | 65.40%
79.63/79.90 c 79.9s| 14000 | 589 |325983 | 21.8 | 153M | 35 | 481 | 14k|8008 |6737 | 1 | 26k| 25 | 0.000000e+00 | -- | Inf | 65.42%
79.84/80.13 c 80.1s| 14100 | 595 |327921 | 21.8 | 153M | 35 | 481 | 14k|8008 |6744 | 1 | 26k| 25 | 0.000000e+00 | -- | Inf | 65.44%
80.03/80.39 c 80.4s| 14200 | 587 |329768 | 21.7 | 153M | 35 | 481 | 14k|8012 |6770 | 1 | 26k| 25 | 0.000000e+00 | -- | Inf | 65.45%
80.43/80.79 c 80.8s| 14300 | 591 |332033 | 21.7 | 153M | 35 | 481 | 14k|8016 |6799 | 1 | 26k| 25 | 0.000000e+00 | -- | Inf | 65.68%
80.83/81.19 c 81.2s| 14400 | 587 |333405 | 21.7 | 153M | 35 | 481 | 14k| 0 |6850 | 0 | 27k| 25 | 0.000000e+00 | -- | Inf | 65.97%
81.23/81.55 c 81.6s| 14500 | 589 |335293 | 21.7 | 155M | 35 | 481 | 14k|8016 |6885 | 3 | 27k| 25 | 0.000000e+00 | -- | Inf | 66.38%
81.53/81.86 c 81.9s| 14600 | 591 |337713 | 21.7 | 155M | 35 | 481 | 14k|8012 |6887 | 1 | 27k| 25 | 0.000000e+00 | -- | Inf | 66.51%
81.83/82.19 c 82.2s| 14700 | 589 |339424 | 21.7 | 155M | 35 | 481 | 14k| 0 |6926 | 0 | 27k| 25 | 0.000000e+00 | -- | Inf | 66.64%
82.12/82.41 c 82.4s| 14800 | 579 |340747 | 21.6 | 155M | 35 | 481 | 14k| 0 |6937 | 0 | 27k| 25 | 0.000000e+00 | -- | Inf | 66.80%
82.42/82.77 c 82.8s| 14900 | 586 |343131 | 21.6 | 155M | 35 | 481 | 14k|8013 |6970 | 1 | 27k| 25 | 0.000000e+00 | -- | Inf | 66.82%
82.62/82.98 c 83.0s| 15000 | 589 |344645 | 21.6 | 155M | 35 | 481 | 14k| 0 |6978 | 0 | 27k| 25 | 0.000000e+00 | -- | Inf | 66.88%
83.12/83.45 c 83.5s| 15100 | 572 |346039 | 21.5 | 155M | 35 | 481 | 14k|8009 |6989 | 1 | 28k| 25 | 0.000000e+00 | -- | Inf | 66.94%
83.52/83.86 c 83.9s| 15200 | 562 |348441 | 21.5 | 155M | 35 | 481 | 14k| 0 |7049 | 0 | 28k| 25 | 0.000000e+00 | -- | Inf | 67.22%
83.92/84.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
83.92/84.26 c 84.3s| 15300 | 561 |350745 | 21.6 | 155M | 35 | 481 | 14k| 0 |7090 | 0 | 28k| 25 | 0.000000e+00 | -- | Inf | 67.42%
84.32/84.60 c 84.6s| 15400 | 568 |353631 | 21.6 | 155M | 35 | 481 | 14k| 0 |7103 | 0 | 28k| 25 | 0.000000e+00 | -- | Inf | 67.56%
84.72/85.02 c 85.0s| 15500 | 565 |355831 | 21.6 | 155M | 35 | 481 | 14k|8002 |7144 | 1 | 28k| 25 | 0.000000e+00 | -- | Inf | 67.89%
85.21/85.52 c 85.5s| 15600 | 563 |357530 | 21.6 | 159M | 35 | 481 | 14k|8005 |7176 | 1 | 28k| 25 | 0.000000e+00 | -- | Inf | 68.14%
85.51/85.82 c 85.8s| 15700 | 558 |359243 | 21.5 | 159M | 35 | 481 | 14k|8004 |7201 | 1 | 29k| 25 | 0.000000e+00 | -- | Inf | 68.38%
85.72/86.01 c 86.0s| 15800 | 558 |360424 | 21.5 | 159M | 35 | 481 | 14k|8004 |7209 | 1 | 29k| 25 | 0.000000e+00 | -- | Inf | 68.41%
86.21/86.55 c 86.6s| 15900 | 563 |364434 | 21.6 | 159M | 35 | 481 | 14k| 0 |7259 | 0 | 29k| 25 | 0.000000e+00 | -- | Inf | 68.58%
86.61/86.93 c 86.9s| 16000 | 560 |366311 | 21.6 | 159M | 35 | 481 | 14k| 0 |7288 | 0 | 29k| 25 | 0.000000e+00 | -- | Inf | 68.65%
87.11/87.47 c 87.5s| 16100 | 564 |367974 | 21.6 | 159M | 35 | 481 | 14k|7998 |7347 | 1 | 29k| 25 | 0.000000e+00 | -- | Inf | 69.36%
87.91/88.20 c 88.2s| 16200 | 573 |370773 | 21.6 | 159M | 35 | 481 | 14k|8005 |7435 | 1 | 29k| 25 | 0.000000e+00 | -- | Inf | 69.76%
88.21/88.50 c 88.5s| 16300 | 572 |372886 | 21.6 | 159M | 35 | 481 | 14k|8006 |7445 | 1 | 30k| 25 | 0.000000e+00 | -- | Inf | 69.78%
88.40/88.74 c 88.7s| 16400 | 570 |374655 | 21.6 | 159M | 35 | 481 | 14k|8006 |7452 | 1 | 30k| 25 | 0.000000e+00 | -- | Inf | 69.86%
89.10/89.49 c 89.5s| 16500 | 567 |379491 | 21.7 | 159M | 35 | 481 | 14k|8002 |7479 | 1 | 30k| 25 | 0.000000e+00 | -- | Inf | 69.95%
89.50/89.88 c 89.9s| 16600 | 562 |381227 | 21.7 | 159M | 35 | 481 | 14k|8009 |7509 | 1 | 30k| 25 | 0.000000e+00 | -- | Inf | 70.18%
89.81/90.12 c 90.1s| 16700 | 554 |382603 | 21.6 | 159M | 35 | 481 | 14k|8008 |7513 | 1 | 30k| 25 | 0.000000e+00 | -- | Inf | 70.27%
90.10/90.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.10/90.44 c 90.4s| 16800 | 540 |384013 | 21.6 | 159M | 35 | 481 | 14k|8009 |7532 | 1 | 30k| 25 | 0.000000e+00 | -- | Inf | 70.48%
90.30/90.69 c 90.7s| 16900 | 545 |385731 | 21.6 | 159M | 35 | 481 | 14k| 0 |7544 | 0 | 30k| 25 | 0.000000e+00 | -- | Inf | 70.61%
90.80/91.16 c 91.2s| 17000 | 538 |387542 | 21.6 | 159M | 35 | 481 | 13k| 0 |7579 | 0 | 31k| 25 | 0.000000e+00 | -- | Inf | 71.16%
91.10/91.43 c 91.4s| 17100 | 537 |389715 | 21.6 | 159M | 35 | 481 | 13k|8001 |7593 | 1 | 31k| 25 | 0.000000e+00 | -- | Inf | 71.26%
91.40/91.71 c 91.7s| 17200 | 541 |391497 | 21.5 | 159M | 35 | 481 | 14k| 0 |7617 | 0 | 31k| 25 | 0.000000e+00 | -- | Inf | 71.36%
91.59/91.97 c 92.0s| 17300 | 543 |392971 | 21.5 | 159M | 35 | 481 | 14k|8006 |7633 | 2 | 31k| 25 | 0.000000e+00 | -- | Inf | 71.46%
91.99/92.37 c 92.4s| 17400 | 561 |394994 | 21.5 | 159M | 35 | 481 | 14k|7996 |7668 | 0 | 31k| 25 | 0.000000e+00 | -- | Inf | 71.51%
92.29/92.66 c 92.7s| 17500 | 541 |397137 | 21.5 | 159M | 35 | 481 | 14k| 0 |7680 | 0 | 31k| 25 | 0.000000e+00 | -- | Inf | 71.89%
92.59/92.99 c 93.0s| 17600 | 577 |400041 | 21.5 | 160M | 35 | 481 | 14k|8007 |7681 | 1 | 32k| 25 | 0.000000e+00 | -- | Inf | 71.93%
93.19/93.52 c 93.5s| 17700 | 545 |401985 | 21.5 | 160M | 35 | 481 | 14k| 0 |7734 | 0 | 32k| 25 | 0.000000e+00 | -- | Inf | 72.35%
93.59/93.90 c 93.9s| 17800 | 546 |404115 | 21.5 | 160M | 35 | 481 | 14k| 0 |7782 | 0 | 32k| 25 | 0.000000e+00 | -- | Inf | 73.26%
94.09/94.43 c 94.4s| 17900 | 578 |407593 | 21.6 | 160M | 35 | 481 | 14k|8005 |7817 | 1 | 32k| 25 | 0.000000e+00 | -- | Inf | 73.38%
94.58/94.95 c 95.0s| 18000 | 579 |409696 | 21.6 | 160M | 35 | 481 | 14k|8006 |7877 | 1 | 32k| 25 | 0.000000e+00 | -- | Inf | 73.69%
94.79/95.19 c 95.2s| 18100 | 571 |411408 | 21.6 | 160M | 35 | 481 | 14k|8007 |7880 | 1 | 32k| 25 | 0.000000e+00 | -- | Inf | 73.90%
95.48/95.84 c 95.8s| 18200 | 570 |414273 | 21.6 | 160M | 35 | 481 | 14k|8006 |7935 | 1 | 33k| 25 | 0.000000e+00 | -- | Inf | 74.51%
95.88/96.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.88/96.25 c 96.3s| 18300 | 555 |416508 | 21.6 | 161M | 35 | 481 | 14k|8012 |7990 | 1 | 33k| 25 | 0.000000e+00 | -- | Inf | 75.37%
96.18/96.50 c 96.5s| 18400 | 544 |418096 | 21.6 | 161M | 35 | 481 | 14k|8010 |8001 | 1 | 33k| 25 | 0.000000e+00 | -- | Inf | 75.52%
96.58/96.95 c 97.0s| 18500 | 541 |420642 | 21.6 | 161M | 35 | 481 | 13k|8008 |8034 | 1 | 33k| 25 | 0.000000e+00 | -- | Inf | 77.37%
96.88/97.27 c 97.3s| 18600 | 525 |422773 | 21.6 | 161M | 35 | 481 | 13k|8005 |8042 | 1 | 33k| 25 | 0.000000e+00 | -- | Inf | 77.84%
97.28/97.60 c 97.6s| 18700 | 512 |425100 | 21.6 | 161M | 35 | 481 | 13k|7992 |8057 | 2 | 33k| 25 | 0.000000e+00 | -- | Inf | 77.93%
98.27/98.60 c 98.6s| 18800 | 515 |426657 | 21.6 | 161M | 35 | 481 | 13k|7999 |8136 | 1 | 34k| 25 | 0.000000e+00 | -- | Inf | 80.57%
98.68/99.04 c 99.0s| 18900 | 519 |428370 | 21.6 | 161M | 35 | 481 | 13k|7991 |8191 | 1 | 34k| 25 | 0.000000e+00 | -- | Inf | 81.45%
99.17/99.53 c 99.5s| 19000 | 520 |430098 | 21.5 | 161M | 35 | 481 | 14k| 0 |8253 | 0 | 34k| 25 | 0.000000e+00 | -- | Inf | 81.90%
99.87/100.25 c 100s| 19100 | 519 |432037 | 21.5 | 161M | 35 | 481 | 14k| 0 |8338 | 0 | 34k| 25 | 0.000000e+00 | -- | Inf | 82.65%
100.27/100.61 c 101s| 19200 | 519 |433359 | 21.5 | 161M | 35 | 481 | 14k|7996 |8368 | 1 | 34k| 25 | 0.000000e+00 | -- | Inf | 83.19%
100.47/100.86 c 101s| 19300 | 512 |434763 | 21.4 | 161M | 35 | 481 | 14k| 0 |8401 | 0 | 34k| 25 | 0.000000e+00 | -- | Inf | 83.61%
100.87/101.26 c 101s| 19400 | 497 |436539 | 21.4 | 162M | 35 | 481 | 14k|8003 |8464 | 1 | 35k| 25 | 0.000000e+00 | -- | Inf | 84.63%
101.26/101.64 c 102s| 19500 | 504 |439164 | 21.5 | 162M | 35 | 481 | 14k|8011 |8481 | 2 | 35k| 25 | 0.000000e+00 | -- | Inf | 84.65%
101.46/101.88 c 102s| 19600 | 503 |441096 | 21.4 | 162M | 35 | 481 | 14k| 0 |8492 | 0 | 35k| 25 | 0.000000e+00 | -- | Inf | 84.65%
101.77/102.18 c 102s| 19700 | 496 |442803 | 21.4 | 162M | 35 | 481 | 14k|8009 |8509 | 1 | 35k| 25 | 0.000000e+00 | -- | Inf | 84.82%
102.06/102.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
102.06/102.43 c 102s| 19800 | 482 |444597 | 21.4 | 162M | 35 | 481 | 14k|7999 |8513 | 1 | 35k| 25 | 0.000000e+00 | -- | Inf | 84.90%
102.36/102.74 c 103s| 19900 | 479 |446208 | 21.4 | 162M | 35 | 481 | 14k| 0 |8536 | 0 | 35k| 25 | 0.000000e+00 | -- | Inf | 85.05%
102.56/102.98 c 103s| 20000 | 482 |447916 | 21.4 | 164M | 35 | 481 | 14k| 0 |8540 | 0 | 35k| 25 | 0.000000e+00 | -- | Inf | 85.08%
103.06/103.42 c 103s| 20100 | 482 |449516 | 21.3 | 164M | 35 | 481 | 14k|7997 |8576 | 1 | 36k| 25 | 0.000000e+00 | -- | Inf | 86.86%
103.56/103.97 c 104s| 20200 | 479 |451129 | 21.3 | 167M | 35 | 481 | 14k|8002 |8742 | 1 | 36k| 25 | 0.000000e+00 | -- | Inf | 88.13%
103.96/104.36 c 104s| 20300 | 470 |453002 | 21.3 | 167M | 35 | 481 | 14k|8001 |8789 | 1 | 36k| 25 | 0.000000e+00 | -- | Inf | 88.58%
104.16/104.59 c 105s| 20400 | 468 |454384 | 21.3 | 167M | 35 | 481 | 14k|8010 |8808 | 1 | 36k| 25 | 0.000000e+00 | -- | Inf | 88.62%
104.55/104.98 c 105s| 20500 | 458 |456282 | 21.2 | 167M | 35 | 481 | 14k|8003 |8848 | 2 | 36k| 25 | 0.000000e+00 | -- | Inf | 89.51%
104.85/105.26 c 105s| 20600 | 457 |458335 | 21.2 | 172M | 35 | 481 | 14k|8009 |8854 | 1 | 36k| 25 | 0.000000e+00 | -- | Inf | 90.03%
105.15/105.54 c 106s| 20700 | 454 |460686 | 21.3 | 172M | 35 | 481 | 14k|8012 |8883 | 1 | 37k| 25 | 0.000000e+00 | -- | Inf | 90.06%
105.45/105.87 c 106s| 20800 | 432 |462322 | 21.2 | 172M | 35 | 481 | 14k|8003 |8917 | 1 | 37k| 25 | 0.000000e+00 | -- | Inf | 90.16%
105.76/106.15 c 106s| 20900 | 424 |464409 | 21.2 | 172M | 35 | 481 | 14k|8011 |8924 | 2 | 37k| 25 | 0.000000e+00 | -- | Inf | 90.31%
106.05/106.43 c 106s| 21000 | 422 |466460 | 21.2 | 172M | 35 | 481 | 14k|8010 |8937 | 0 | 37k| 25 | 0.000000e+00 | -- | Inf | 90.36%
106.45/106.82 c 107s| 21100 | 418 |469228 | 21.3 | 172M | 35 | 481 | 14k| 0 |8947 | 0 | 37k| 25 | 0.000000e+00 | -- | Inf | 90.52%
106.65/107.06 c 107s| 21200 | 401 |470843 | 21.2 | 172M | 35 | 481 | 14k|8004 |8952 | 1 | 38k| 25 | 0.000000e+00 | -- | Inf | 90.69%
106.95/107.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
106.95/107.37 c 107s| 21300 | 392 |473122 | 21.2 | 172M | 35 | 481 | 14k|8007 |8957 | 0 | 38k| 25 | 0.000000e+00 | -- | Inf | 92.78%
107.25/107.64 c 108s| 21400 | 374 |475106 | 21.2 | 172M | 35 | 481 | 14k| 0 |8965 | 0 | 38k| 25 | 0.000000e+00 | -- | Inf | 92.91%
107.44/107.89 c 108s| 21500 | 369 |477038 | 21.2 | 172M | 35 | 481 | 14k|8005 |8973 | 1 | 38k| 25 | 0.000000e+00 | -- | Inf | 93.05%
107.75/108.18 c 108s| 21600 | 353 |479334 | 21.2 | 172M | 35 | 481 | 14k| 0 |8978 | 0 | 38k| 25 | 0.000000e+00 | -- | Inf | 93.15%
108.04/108.43 c 108s| 21700 | 344 |481399 | 21.2 | 172M | 35 | 481 | 14k| 0 |8980 | 0 | 38k| 25 | 0.000000e+00 | -- | Inf | 93.59%
108.65/109.02 c 109s| 21800 | 350 |483748 | 21.2 | 172M | 35 | 481 | 14k|8001 |9058 | 0 | 38k| 25 | 0.000000e+00 | -- | Inf | 93.83%
109.04/109.44 c 109s| 21900 | 335 |485340 | 21.2 | 172M | 35 | 481 | 14k| 0 |9125 | 0 | 39k| 25 | 0.000000e+00 | -- | Inf | 94.49%
109.44/109.86 c 110s| 22000 | 334 |487788 | 21.2 | 172M | 35 | 481 | 14k|8003 |9185 | 1 | 39k| 25 | 0.000000e+00 | -- | Inf | 94.77%
109.74/110.16 c 110s| 22100 | 329 |490186 | 21.2 | 172M | 35 | 481 | 14k|8006 |9193 | 1 | 39k| 25 | 0.000000e+00 | -- | Inf | 94.82%
110.14/110.50 c 111s| 22200 | 312 |492522 | 21.3 | 172M | 35 | 481 | 14k|8005 |9209 | 1 | 39k| 25 | 0.000000e+00 | -- | Inf | 94.99%
110.44/110.80 c 111s| 22300 | 304 |494834 | 21.3 | 172M | 35 | 481 | 14k| 0 |9211 | 0 | 39k| 25 | 0.000000e+00 | -- | Inf | 95.10%
110.74/111.13 c 111s| 22400 | 278 |497072 | 21.3 | 172M | 35 | 481 | 14k| 0 |9228 | 0 | 39k| 25 | 0.000000e+00 | -- | Inf | 95.30%
111.03/111.42 c 111s| 22500 | 262 |499084 | 21.3 | 172M | 35 | 481 | 14k|8001 |9241 | 1 | 40k| 25 | 0.000000e+00 | -- | Inf | 95.41%
111.23/111.67 c 112s| 22600 | 260 |500681 | 21.2 | 172M | 35 | 481 | 14k| 0 |9245 | 0 | 40k| 25 | 0.000000e+00 | -- | Inf | 95.47%
111.64/112.02 c 112s| 22700 | 269 |503472 | 21.3 | 172M | 35 | 481 | 14k|8011 |9255 | 1 | 40k| 25 | 0.000000e+00 | -- | Inf | 95.49%
111.93/112.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
111.93/112.31 c 112s| 22800 | 254 |505273 | 21.3 | 172M | 35 | 481 | 14k| 0 |9276 | 0 | 40k| 25 | 0.000000e+00 | -- | Inf | 95.67%
112.23/112.60 c 113s| 22900 | 249 |506999 | 21.2 | 172M | 35 | 481 | 14k|8011 |9291 | 2 | 40k| 25 | 0.000000e+00 | -- | Inf | 95.70%
112.53/112.94 c 113s| 23000 | 238 |509009 | 21.2 | 172M | 35 | 481 | 14k| 0 |9316 | 0 | 40k| 25 | 0.000000e+00 | -- | Inf | 95.78%
113.03/113.42 c 113s| 23100 | 211 |512747 | 21.3 | 172M | 35 | 481 | 14k|8002 |9349 | 1 | 41k| 25 | 0.000000e+00 | -- | Inf | 96.16%
113.43/113.86 c 114s| 23200 | 207 |515141 | 21.3 | 172M | 35 | 481 | 14k|7999 |9396 | 1 | 41k| 25 | 0.000000e+00 | -- | Inf | 96.39%
113.73/114.17 c 114s| 23300 | 185 |517457 | 21.3 | 172M | 35 | 481 | 14k|8008 |9399 | 1 | 41k| 25 | 0.000000e+00 | -- | Inf | 96.67%
114.02/114.45 c 114s| 23400 | 179 |519807 | 21.3 | 172M | 35 | 481 | 14k| 0 |9403 | 0 | 41k| 25 | 0.000000e+00 | -- | Inf | 96.74%
114.42/114.89 c 115s| 23500 | 165 |522819 | 21.4 | 172M | 35 | 481 | 14k|8006 |9417 | 1 | 41k| 25 | 0.000000e+00 | -- | Inf | 96.89%
115.02/115.49 c 115s| 23600 | 137 |525734 | 21.4 | 172M | 35 | 481 | 14k| 0 |9499 | 0 | 41k| 25 | 0.000000e+00 | -- | Inf | 97.22%
115.32/115.78 c 116s| 23700 | 141 |527980 | 21.4 | 172M | 35 | 481 | 14k| 0 |9511 | 0 | 42k| 25 | 0.000000e+00 | -- | Inf | 97.25%
115.82/116.22 c 116s| 23800 | 143 |531304 | 21.4 | 172M | 35 | 481 | 14k|8008 |9540 | 1 | 42k| 25 | 0.000000e+00 | -- | Inf | 97.28%
116.12/116.52 c 117s| 23900 | 129 |533630 | 21.5 | 172M | 35 | 481 | 14k|7999 |9559 | 1 | 42k| 25 | 0.000000e+00 | -- | Inf | 97.38%
116.92/117.36 c 117s| 24000 | 128 |540524 | 21.6 | 172M | 35 | 481 | 14k|8015 |9626 | 2 | 42k| 25 | 0.000000e+00 | -- | Inf | 97.62%
117.31/117.72 c 118s| 24100 | 125 |542907 | 21.7 | 172M | 35 | 481 | 14k|8004 |9654 | 1 | 42k| 25 | 0.000000e+00 | -- | Inf | 97.72%
117.72/118.16 c 118s| 24200 | 124 |545682 | 21.7 | 172M | 35 | 481 | 14k|8006 |9713 | 1 | 42k| 25 | 0.000000e+00 | -- | Inf | 97.91%
118.11/118.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
118.11/118.50 c 118s| 24300 | 126 |547935 | 21.7 | 172M | 35 | 481 | 14k|8009 |9755 | 1 | 42k| 25 | 0.000000e+00 | -- | Inf | 98.09%
118.31/118.79 c 119s| 24400 | 114 |550445 | 21.7 | 172M | 35 | 481 | 14k|8006 |9769 | 1 | 43k| 25 | 0.000000e+00 | -- | Inf | 98.14%
118.62/119.05 c 119s| 24500 | 115 |552202 | 21.7 | 172M | 35 | 481 | 14k|8006 |9785 | 1 | 43k| 25 | 0.000000e+00 | -- | Inf | 98.17%
118.81/119.23 c 119s| 24600 | 118 |553174 | 21.6 | 172M | 35 | 481 | 14k| 0 |9793 | 0 | 43k| 25 | 0.000000e+00 | -- | Inf | 98.18%
119.11/119.50 c 120s| 24700 | 108 |555143 | 21.6 | 172M | 35 | 481 | 15k|8010 |9797 | 1 | 43k| 25 | 0.000000e+00 | -- | Inf | 98.28%
119.41/119.84 c 120s| 24800 | 87 |557420 | 21.6 | 172M | 35 | 481 | 14k|8006 |9814 | 1 | 43k| 25 | 0.000000e+00 | -- | Inf | 98.51%
119.71/120.14 c 120s| 24900 | 61 |559447 | 21.6 | 172M | 35 | 481 | 14k|8002 |9820 | 1 | 43k| 25 | 0.000000e+00 | -- | Inf | 98.64%
120.10/120.56 c 121s| 25000 | 42 |562159 | 21.6 | 172M | 35 | 481 | 14k|8008 |9862 | 1 | 43k| 25 | 0.000000e+00 | -- | Inf | 98.99%
120.50/120.90 c 121s| 25100 | 39 |564149 | 21.6 | 172M | 35 | 481 | 14k|8008 |9878 | 1 | 44k| 25 | 0.000000e+00 | -- | Inf | 99.16%
120.80/121.29 c 121s| 25200 | 25 |566816 | 21.7 | 172M | 35 | 481 | 14k| 0 |9903 | 0 | 44k| 25 | 0.000000e+00 | -- | Inf | 99.48%
121.10/121.60 c 122s| 25300 | 21 |568824 | 21.7 | 172M | 35 | 481 | 14k|8009 |9912 | 1 | 44k| 25 | 0.000000e+00 | -- | Inf | 99.66%
121.40/121.80 c
121.40/121.80 c SCIP Status : problem is solved [infeasible]
121.40/121.80 c Solving Time (sec) : 121.80
121.40/121.80 c Solving Nodes : 25353 (total of 26272 nodes in 2 runs)
121.40/121.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
121.40/121.80 c Dual Bound : +1.00000000000000e+20
121.40/121.80 c Gap : 0.00 %
121.40/121.80 s UNSATISFIABLE
121.40/121.80 c SCIP Status : problem is solved [infeasible]
121.40/121.80 c Total Time : 121.80
121.40/121.80 c solving : 121.80
121.40/121.80 c presolving : 0.25 (included in solving)
121.40/121.80 c reading : 0.01 (included in solving)
121.40/121.80 c copying : 1.17 (108 #copies) (minimal 0.01, maximal 0.02, average 0.01)
121.40/121.80 c Original Problem :
121.40/121.80 c Problem name : HOME/instance-4503395-1751171866.opb
121.40/121.80 c Variables : 483 (483 binary, 0 integer, 0 continuous)
121.40/121.80 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
121.40/121.80 c Constraints : 8027 initial, 8027 maximal
121.40/121.80 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
121.40/121.80 c Presolved Problem :
121.40/121.80 c Problem name : t_HOME/instance-4503395-1751171866.opb
121.40/121.80 c Variables : 481 (481 binary, 0 integer, 0 continuous)
121.40/121.80 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
121.40/121.80 c Constraints : 9164 initial, 15028 maximal
121.40/121.80 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
121.40/121.80 c Nonzeros : 44875 constraint, 4507 clique table
121.40/121.80 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
121.40/121.80 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
121.40/121.80 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
121.40/121.80 c gateextraction : 0.02 0.00 10 0 0 0 0 0 13 4 0 0
121.40/121.80 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
121.40/121.80 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
121.40/121.80 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
121.40/121.80 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c trivial : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
121.40/121.80 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c dualfix : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
121.40/121.80 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
121.40/121.80 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
121.40/121.80 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
121.40/121.80 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
121.40/121.80 c knapsack : 0.01 0.00 32 0 0 0 0 0 4 4 34 159
121.40/121.80 c setppc : 0.02 0.00 31 0 0 0 0 0 34 0 0 0
121.40/121.80 c and : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
121.40/121.80 c linear : 0.03 0.00 25 0 2 0 0 0 6 0 15 46
121.40/121.80 c logicor : 0.07 0.01 30 0 0 0 0 0 434 0 0 1072
121.40/121.80 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
121.40/121.80 c root node : - - - 149 - - 149 - - - - -
121.40/121.80 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
121.40/121.80 c integral : 0 0 0 0 16964 0 0 1748 0 0 0 0 0 0 33928
121.40/121.80 c knapsack : 742+ 755 22 185501 0 0 0 1743 158012 2531 141863 110 6 0 0
121.40/121.80 c setppc : 1996+ 2008 22 182926 0 0 0 123 376032 1524 317463 4 0 0 0
121.40/121.80 c and : 4 4 15559 146654 0 0 0 3 16225 18 3173 280 267 0 0
121.40/121.80 c linear : 37+ 170 23 181428 0 0 0 7 34809 487 31505 11 3 0 0
121.40/121.80 c logicor : 6385+ 12220 22 155593 0 0 0 3 622781 13104 512003 33 6 0 0
121.40/121.80 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
121.40/121.80 c integral : 1.36 0.00 0.00 0.00 1.36 0.00 0.00 0.00 0.00 0.00
121.40/121.80 c knapsack : 1.37 0.00 0.01 1.23 0.00 0.00 0.00 0.06 0.07 0.00
121.40/121.80 c setppc : 1.20 0.00 0.00 1.12 0.00 0.00 0.00 0.00 0.07 0.00
121.40/121.80 c and : 0.05 0.00 0.01 0.03 0.00 0.00 0.00 0.00 0.00 0.00
121.40/121.80 c linear : 0.33 0.00 0.00 0.31 0.00 0.00 0.00 0.00 0.03 0.00
121.40/121.80 c logicor : 7.49 0.01 0.02 7.22 0.00 0.00 0.00 0.00 0.24 0.00
121.40/121.80 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
121.40/121.80 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
121.40/121.80 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
121.40/121.80 c Propagators : #Propagate #ResProp Cutoffs DomReds
121.40/121.80 c dualfix : 2 0 0 0
121.40/121.80 c genvbounds : 0 0 0 0
121.40/121.80 c nlobbt : 0 0 0 0
121.40/121.80 c obbt : 0 0 0 0
121.40/121.80 c probing : 0 0 0 0
121.40/121.80 c pseudoobj : 0 0 0 0
121.40/121.80 c redcost : 0 0 0 0
121.40/121.80 c rootredcost : 0 0 0 0
121.40/121.80 c symmetry : 0 0 0 0
121.40/121.80 c vbounds : 127061 0 0 0
121.40/121.80 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
121.40/121.80 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
121.40/121.80 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
121.40/121.80 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
121.40/121.80 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
121.40/121.80 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
121.40/121.80 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
121.40/121.80 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
121.40/121.80 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
121.40/121.80 c symmetry : 0.04 0.00 0.01 0.03 0.00 0.00
121.40/121.80 c vbounds : 0.28 0.00 0.00 0.28 0.00 0.00
121.40/121.80 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
121.40/121.80 c propagation : 0.82 17480 15987 - 113541 25.8 1770 16.0 - - -
121.40/121.80 c infeasible LP : 0.20 890 875 - 7830 31.2 62 11.6 801 42.3 0
121.40/121.80 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
121.40/121.80 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
121.40/121.80 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
121.40/121.80 c applied globally : 0.26 - - 0 43488 16.8 - - 779 - -
121.40/121.80 c applied locally : - - - 0 112 26.5 - - 22 - -
121.40/121.80 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
121.40/121.80 c cut pool : 1.58 - 3987 42 - - 47232 129204 - - - - - (maximal pool size: 3425)
121.40/121.80 c aggregation : 0.56 0.00 1234 22 0 0 191 365 82 100 80 20 0
121.40/121.80 c > cmir : - - - - - - - 132 0 13 13 0 -
121.40/121.80 c > flowcover : - - - - - - - 233 0 67 67 0 -
121.40/121.80 c > knapsackcover : - - - - - - - 0 82 20 0 20 -
121.40/121.80 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c clique : 0.00 0.00 22 22 0 0 46 397 0 128 128 0 0
121.40/121.80 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c gomory : 34.83 0.00 1234 20 0 0 61930 119969 15840 5820 5187 633 0
121.40/121.80 c > gomorymi : - - - - - - - 39902 7920 938 598 340 -
121.40/121.80 c > strongcg : - - - - - - - 80067 7920 4882 4589 293 -
121.40/121.80 c impliedbounds : 0.06 0.00 1236 22 0 0 74 288 0 248 248 0 0
121.40/121.80 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
121.40/121.80 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c multilinear : 0.00 0.00 1740 22 0 0 0 0 0 0 0 0 0
121.40/121.80 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
121.40/121.80 c rapidlearning : 4.91 0.00 100 2 0 2514 0 0 0 0 0 0 157
121.40/121.80 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
121.40/121.80 c zerohalf : 0.70 0.00 1234 22 0 0 3417 8185 2504 3641 2244 1397 0
121.40/121.80 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
121.40/121.80 c hybrid : 0.08 0.00 2400 22 9895 344 138142 126 0 4997
121.40/121.80 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c Pricers : ExecTime SetupTime Calls Vars
121.40/121.80 c problem variables: 0.00 - 0 0
121.40/121.80 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
121.40/121.80 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c random : 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c relpscost : 1.34 0.00 16964 0 0 0 0 0 0 33928
121.40/121.80 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
121.40/121.80 c Primal Heuristics : ExecTime SetupTime Calls Found Best
121.40/121.80 c LP solutions : 0.00 - - 0 0
121.40/121.80 c relax solutions : 0.00 - - 0 0
121.40/121.80 c pseudo solutions : 0.00 - - 0 0
121.40/121.80 c strong branching : 0.00 - - 0 0
121.40/121.80 c actconsdiving : 0.00 0.00 0 0 0
121.40/121.80 c adaptivediving : 0.43 0.00 49 0 0
121.40/121.80 c alns : 0.40 0.00 5 0 0
121.40/121.80 c bound : 0.00 0.00 0 0 0
121.40/121.80 c clique : 0.01 0.00 1 0 0
121.40/121.80 c coefdiving : 0.00 0.00 0 0 0
121.40/121.80 c completesol : 0.00 0.00 0 0 0
121.40/121.80 c conflictdiving : 0.87 0.00 248 0 0
121.40/121.80 c crossover : 0.00 0.00 0 0 0
121.40/121.80 c dins : 0.00 0.00 0 0 0
121.40/121.80 c distributiondivin: 5.37 0.00 248 0 0
121.40/121.80 c dks : 0.00 0.00 0 0 0
121.40/121.80 c dps : 0.00 0.00 0 0 0
121.40/121.80 c dualval : 0.00 0.00 0 0 0
121.40/121.80 c farkasdiving : 0.00 0.00 0 0 0
121.40/121.80 c feaspump : 0.88 0.00 12 0 0
121.40/121.80 c fixandinfer : 0.00 0.00 0 0 0
121.40/121.80 c fracdiving : 0.81 0.00 248 0 0
121.40/121.80 c gins : 0.00 0.00 0 0 0
121.40/121.80 c guideddiving : 0.00 0.00 0 0 0
121.40/121.80 c indicator : 0.00 0.00 0 0 0
121.40/121.80 c indicatordiving : 0.00 0.00 0 0 0
121.40/121.80 c intdiving : 0.00 0.00 0 0 0
121.40/121.80 c intshifting : 0.00 0.00 0 0 0
121.40/121.80 c linesearchdiving : 0.72 0.00 248 0 0
121.40/121.80 c localbranching : 0.00 0.00 0 0 0
121.40/121.80 c locks : 0.00 0.00 1 0 0
121.40/121.80 c lpface : 0.02 0.00 0 0 0
121.40/121.80 c mpec : 0.00 0.00 0 0 0
121.40/121.80 c multistart : 0.00 0.00 0 0 0
121.40/121.80 c mutation : 0.00 0.00 0 0 0
121.40/121.80 c nlpdiving : 0.00 0.00 0 0 0
121.40/121.80 c objpscostdiving : 1.67 0.00 9 0 0
121.40/121.80 c octane : 0.00 0.00 0 0 0
121.40/121.80 c ofins : 0.00 0.00 0 0 0
121.40/121.80 c oneopt : 0.01 0.00 0 0 0
121.40/121.80 c padm : 0.00 0.00 0 0 0
121.40/121.80 c proximity : 0.00 0.00 0 0 0
121.40/121.80 c pscostdiving : 1.26 0.00 248 0 0
121.40/121.80 c randrounding : 0.13 0.00 1754 0 0
121.40/121.80 c rens : 0.06 0.00 2 0 0
121.40/121.80 c reoptsols : 0.00 0.00 0 0 0
121.40/121.80 c repair : 0.00 0.00 0 0 0
121.40/121.80 c rins : 0.00 0.00 0 0 0
121.40/121.80 c rootsoldiving : 1.22 0.00 7 0 0
121.40/121.80 c rounding : 0.21 0.00 1921 0 0
121.40/121.80 c scheduler : 0.00 0.00 0 0 0
121.40/121.80 c shiftandpropagate: 0.02 0.00 2 0 0
121.40/121.80 c shifting : 0.35 0.00 837 0 0
121.40/121.80 c simplerounding : 0.00 0.00 0 0 0
121.40/121.80 c subnlp : 0.00 0.00 0 0 0
121.40/121.80 c trivial : 0.00 0.00 4 0 0
121.40/121.80 c trivialnegation : 0.00 0.00 0 0 0
121.40/121.80 c trustregion : 0.00 0.00 0 0 0
121.40/121.80 c trysol : 0.00 0.00 0 0 0
121.40/121.80 c twoopt : 0.00 0.00 0 0 0
121.40/121.80 c undercover : 0.00 0.00 1 0 0
121.40/121.80 c vbounds : 0.04 0.00 2 0 0
121.40/121.80 c veclendiving : 0.67 0.00 248 0 0
121.40/121.80 c zeroobj : 0.00 0.00 0 0 0
121.40/121.80 c zirounding : 0.05 0.00 1000 0 0
121.40/121.80 c other solutions : - - - 0 -
121.40/121.80 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
121.40/121.80 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
121.40/121.80 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
121.40/121.80 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
121.40/121.80 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
121.40/121.80 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
121.40/121.80 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
121.40/121.80 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
121.40/121.80 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
121.40/121.80 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
121.40/121.80 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
121.40/121.80 c primal LP : 0.48 733 0 0.00 0.00 0.48 733
121.40/121.80 c dual LP : 34.72 20257 478716 23.66 13787.75 0.02 23
121.40/121.80 c lex dual LP : 0.00 0 0 0.00 -
121.40/121.80 c barrier LP : 0.00 0 0 0.00 - 0.00 0
121.40/121.80 c resolve instable : 0.00 0 0 0.00 -
121.40/121.80 c diving/probing LP: 9.09 1640 91484 55.78 10069.56
121.40/121.80 c strong branching : 0.12 25 1332 53.28 11033.07 - - 0
121.40/121.80 c (at root node) : - 25 1332 53.28 -
121.40/121.80 c conflict analysis: 0.00 0 0 0.00 -
121.40/121.80 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
121.40/121.80 c benders : 0.00 0 0 0 0.00 0 0 0
121.40/121.80 c B&B Tree :
121.40/121.80 c number of runs : 2
121.40/121.80 c nodes : 25353 (16371 internal, 8982 leaves)
121.40/121.80 c feasible leaves : 0
121.40/121.80 c infeas. leaves : 8982
121.40/121.80 c objective leaves : 0
121.40/121.80 c nodes (total) : 26272 (16964 internal, 9308 leaves)
121.40/121.80 c nodes left : 0
121.40/121.80 c max depth : 35
121.40/121.80 c max depth (total): 35
121.40/121.80 c backtracks : 7856 (31.0%)
121.40/121.80 c early backtracks : 0 (0.0%)
121.40/121.80 c nodes exc. ref. : 0 (0.0%)
121.40/121.80 c delayed cutoffs : 7390
121.40/121.80 c repropagations : 25528 (337530 domain reductions, 5548 cutoffs)
121.40/121.80 c avg switch length: 5.24
121.40/121.80 c switching time : 6.74
121.40/121.80 c Root Node :
121.40/121.80 c First LP value : +0.00000000000000e+00
121.40/121.80 c First LP Iters : 53 (32140.69 Iter/sec)
121.40/121.80 c First LP Time : 0.00
121.40/121.80 c Final Dual Bound : -
121.40/121.80 c Final Root Iters : 1175
121.40/121.80 c Root LP Estimate : +6.11054387183953e-03
121.40/121.80 c Solution :
121.40/121.80 c Solutions found : 0 (0 improvements)
121.40/121.80 c Primal Bound : infeasible
121.40/121.80 c Dual Bound : -
121.40/121.80 c Gap : 0.00 %
121.40/121.80 c Integrals : Total Avg%
121.40/121.80 c primal-dual : - - (problem infeasible)
121.40/121.80 c primal-ref : - - (problem infeasible)
121.40/121.80 c dual-ref : - - (problem infeasible)
121.40/121.83 c Time complete (sec): 121.445