2.43/2.50 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4530037-1752261612.opb
2.43/2.50 c Solving mode: decision
2.43/2.50 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
2.43/2.50 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
2.43/2.50 c original problem has 1820 variables (1820 bin, 0 int, 0 impl, 0 cont) and 4903 constraints
2.43/2.50 c presolving:
2.43/2.50 c (round 1, fast) 478 del vars, 1652 del conss, 0 add conss, 420 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1582 clqs
2.43/2.50 c (round 2, fast) 702 del vars, 2716 del conss, 0 add conss, 616 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1988 clqs
2.43/2.50 c (round 3, medium) 1500 del vars, 2716 del conss, 0 add conss, 616 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 392 clqs
2.43/2.50 c (round 4, fast) 1500 del vars, 4312 del conss, 0 add conss, 616 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 392 clqs
2.43/2.50 c (round 5, exhaustive) 1500 del vars, 4312 del conss, 0 add conss, 616 chg bounds, 0 chg sides, 0 chg coeffs, 589 upgd conss, 0 impls, 392 clqs
2.43/2.50 c (round 6, fast) 1500 del vars, 4312 del conss, 0 add conss, 616 chg bounds, 2 chg sides, 111 chg coeffs, 589 upgd conss, 0 impls, 392 clqs
2.43/2.50 c (round 7, exhaustive) 1500 del vars, 4900 del conss, 196 add conss, 616 chg bounds, 2 chg sides, 111 chg coeffs, 589 upgd conss, 0 impls, 393 clqs
2.43/2.50 c (0.1s) probing: 51/348 (14.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.43/2.50 c (0.1s) probing aborted: 50/50 successive totally useless probings
2.43/2.50 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.43/2.50 c (0.1s) no symmetry present (symcode time: 0.00)
2.43/2.50 c presolving (8 rounds: 8 fast, 4 medium, 3 exhaustive):
2.43/2.50 c 1500 deleted vars, 4900 deleted constraints, 196 added constraints, 616 tightened bounds, 0 added holes, 2 changed sides, 111 changed coefficients
2.43/2.50 c 0 implications, 393 cliques
2.43/2.50 c presolved problem has 348 variables (348 bin, 0 int, 0 impl, 0 cont) and 199 constraints
2.43/2.50 c 1 constraints of type <knapsack>
2.43/2.50 c 196 constraints of type <and>
2.43/2.50 c 2 constraints of type <linear>
2.43/2.50 c transformed objective value is always integral (scale: 1)
2.43/2.50 c Presolving Time: 0.07
2.43/2.50 c
2.43/2.50 c (node 1) unresolved numerical troubles in LP 2 -- using pseudo solution instead (loop 1)
2.43/2.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.43/2.50 c 0.1s| 1 | 2 | 194 | - | 15M | 0 | 348 | 200 | 395 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.2s| 100 | 89 | 2661 | 24.9 | 15M | 49 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.3s| 200 | 189 | 5337 | 25.8 | 15M | 66 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.4s| 300 | 245 | 7399 | 24.1 | 15M | 74 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.5s| 400 | 273 | 7651 | 18.7 | 15M | 74 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.5s| 500 | 297 | 7775 | 15.2 | 15M | 74 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.5s| 600 | 323 | 7901 | 12.9 | 15M | 74 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.6s| 700 | 347 | 8025 | 11.2 | 15M | 79 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.6s| 800 | 395 | 8473 | 10.4 | 15M | 80 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.7s| 900 | 435 | 8854 | 9.6 | 15M | 80 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.7s| 1000 | 475 | 9254 | 9.1 | 15M | 80 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.7s| 1100 | 509 | 9644 | 8.6 | 15M | 80 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.8s| 1200 | 545 | 10491 | 8.6 | 15M | 80 | 348 | 201 | 395 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.8s| 1300 | 586 | 11257 | 8.5 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 0.9s| 1400 | 616 | 11764 | 8.3 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.43/2.50 c 0.9s| 1500 | 650 | 12279 | 8.1 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.0s| 1600 | 672 | 12751 | 7.9 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.0s| 1700 | 703 | 13783 | 8.0 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.1s| 1800 | 771 | 14663 | 8.0 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.1s| 1900 | 855 | 16710 | 8.7 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.2s| 2000 | 951 | 19232 | 9.5 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.3s| 2100 | 1047 | 22192 | 10.5 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.3s| 2200 | 1143 | 25082 | 11.3 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.4s| 2300 | 1243 | 27995 | 12.1 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.5s| 2400 | 1339 | 30821 | 12.8 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.5s| 2500 | 1435 | 33616 | 13.4 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.6s| 2600 | 1531 | 36355 | 13.9 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.7s| 2700 | 1631 | 39171 | 14.4 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.7s| 2800 | 1731 | 41953 | 14.9 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.8s| 2900 | 1831 | 44718 | 15.4 | 15M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.43/2.50 c 1.8s| 3000 | 1931 | 47494 | 15.8 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.9s| 3100 | 2031 | 50223 | 16.1 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 1.9s| 3200 | 2131 | 52948 | 16.5 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 2.0s| 3300 | 2231 | 55647 | 16.8 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 2.0s| 3400 | 2331 | 58357 | 17.1 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
2.43/2.50 c 2.1s| 3500 | 2431 | 61061 | 17.4 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.1s| 3600 | 2531 | 63749 | 17.7 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.2s| 3700 | 2631 | 66435 | 17.9 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.2s| 3800 | 2731 | 69090 | 18.1 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.3s| 3900 | 2831 | 71739 | 18.3 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.3s| 4000 | 2931 | 74308 | 18.5 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.4s| 4100 | 3031 | 76895 | 18.7 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.4s| 4200 | 3131 | 79470 | 18.9 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.5s| 4300 | 3231 | 82058 | 19.0 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.5s| 4400 | 3331 | 84569 | 19.2 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.52/4.60 c 2.6s| 4500 | 3431 | 87030 | 19.3 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.6s| 4600 | 3531 | 89440 | 19.4 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.7s| 4700 | 3631 | 91839 | 19.5 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.7s| 4800 | 3731 | 94150 | 19.6 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.8s| 4900 | 3831 | 96361 | 19.6 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.8s| 5000 | 3931 | 98532 | 19.7 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.9s| 5100 | 4031 |100672 | 19.7 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.9s| 5200 | 4131 |102719 | 19.7 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 2.9s| 5300 | 4231 |104718 | 19.7 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.0s| 5400 | 4331 |106625 | 19.7 | 16M | 80 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.0s| 5500 | 4431 |108510 | 19.7 | 16M | 81 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.1s| 5600 | 4531 |110322 | 19.7 | 16M | 82 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.1s| 5700 | 4631 |112062 | 19.6 | 16M | 82 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.2s| 5800 | 4731 |113730 | 19.6 | 16M | 83 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.2s| 5900 | 4831 |115382 | 19.5 | 16M | 84 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.52/4.60 c 3.2s| 6000 | 4931 |116984 | 19.5 | 16M | 85 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.3s| 6100 | 5031 |118473 | 19.4 | 16M | 85 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.3s| 6200 | 5131 |119905 | 19.3 | 16M | 86 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.4s| 6300 | 5231 |121307 | 19.2 | 16M | 87 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.4s| 6400 | 5325 |122632 | 19.1 | 17M | 88 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.5s| 6500 | 5415 |123862 | 19.0 | 17M | 88 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.5s| 6600 | 5499 |125020 | 18.9 | 17M | 89 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.5s| 6700 | 5573 |126107 | 18.8 | 17M | 90 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.6s| 6800 | 5649 |127063 | 18.7 | 17M | 91 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.6s| 6900 | 5717 |128019 | 18.5 | 17M | 91 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.7s| 7000 | 5757 |128957 | 18.4 | 17M | 91 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.7s| 7100 | 5773 |129841 | 18.3 | 17M | 91 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.7s| 7200 | 5767 |130601 | 18.1 | 17M | 91 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.8s| 7300 | 5767 |131111 | 17.9 | 17M | 91 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c 3.8s| 7400 | 5781 |131592 | 17.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.52/4.60 c 3.8s| 7500 | 5781 |132133 | 17.6 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 3.8s| 7600 | 5797 |132630 | 17.4 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 3.9s| 7700 | 5799 |133223 | 17.3 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 3.9s| 7800 | 5813 |133918 | 17.1 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 3.9s| 7900 | 5829 |134443 | 17.0 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 4.0s| 8000 | 5829 |134876 | 16.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 4.0s| 8100 | 5849 |135294 | 16.7 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 4.0s| 8200 | 5863 |135750 | 16.5 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 4.0s| 8300 | 5879 |136214 | 16.4 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 4.1s| 8400 | 5907 |136630 | 16.2 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 4.1s| 8500 | 5921 |137086 | 16.1 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 4.1s| 8600 | 5953 |137614 | 16.0 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 4.1s| 8700 | 5977 |137957 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
4.52/4.61 c 4.2s| 8800 | 6059 |139094 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.2s| 8900 | 6155 |140551 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.81/6.93 c 4.3s| 9000 | 6253 |142249 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.3s| 9100 | 6351 |143933 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.4s| 9200 | 6449 |145618 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.4s| 9300 | 6547 |147292 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.4s| 9400 | 6647 |148743 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.5s| 9500 | 6747 |150566 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.5s| 9600 | 6827 |151744 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.6s| 9700 | 6927 |153503 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.6s| 9800 | 7025 |155175 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.7s| 9900 | 7125 |156688 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.7s| 10000 | 7221 |158589 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.8s| 10100 | 7321 |160233 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.8s| 10200 | 7419 |161933 | 15.9 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.9s| 10300 | 7519 |163574 | 15.9 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 4.9s| 10400 | 7617 |165218 | 15.9 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.81/6.93 c 4.9s| 10500 | 7717 |166898 | 15.9 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.0s| 10600 | 7813 |168328 | 15.9 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.0s| 10700 | 7865 |168988 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.1s| 10800 | 7965 |170749 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.1s| 10900 | 8065 |172281 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.2s| 11000 | 8161 |173730 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.2s| 11100 | 8261 |175448 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.3s| 11200 | 8361 |176889 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.3s| 11300 | 8457 |178497 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.3s| 11400 | 8555 |179890 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.4s| 11500 | 8655 |181371 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.4s| 11600 | 8755 |182917 | 15.8 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.5s| 11700 | 8853 |184284 | 15.7 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.5s| 11800 | 8953 |185721 | 15.7 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.6s| 11900 | 9051 |187474 | 15.7 | 17M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.81/6.93 c 5.6s| 12000 | 9151 |188869 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.7s| 12100 | 9249 |190183 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.7s| 12200 | 9347 |192021 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.7s| 12300 | 9447 |193641 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.8s| 12400 | 9545 |194945 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.8s| 12500 | 9645 |196310 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.9s| 12600 | 9743 |198230 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 5.9s| 12700 | 9843 |199626 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.0s| 12800 | 9941 |200828 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.0s| 12900 | 10039 |202454 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.1s| 13000 | 10139 |204301 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.1s| 13100 | 10239 |205586 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.1s| 13200 | 10337 |206816 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.2s| 13300 | 10435 |208454 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.2s| 13400 | 10535 |210199 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.81/6.93 c 6.3s| 13500 | 10635 |211417 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.3s| 13600 | 10733 |212637 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.4s| 13700 | 10831 |214395 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.4s| 13800 | 10931 |216107 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.5s| 13900 | 11031 |217306 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
6.81/6.93 c 6.5s| 14000 | 11131 |218857 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 6.6s| 14100 | 11229 |220595 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 6.6s| 14200 | 11329 |222405 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 6.6s| 14300 | 11429 |223818 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 6.7s| 14400 | 11527 |225203 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 6.7s| 14500 | 11627 |226999 | 15.6 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 6.8s| 14600 | 11725 |228817 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 6.8s| 14700 | 11825 |230340 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 6.9s| 14800 | 11925 |232684 | 15.7 | 18M | 137 | 348 | 202 | 395 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.0s| 14900 | 11984 |235079 | 15.8 | 18M | 137 | 348 | 203 | 395 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.60/10.75 c 7.1s| 15000 | 12077 |236509 | 15.8 | 18M | 137 | 348 | 203 | 395 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.1s| 15100 | 12166 |238035 | 15.8 | 18M | 137 | 348 | 203 | 395 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.2s| 15200 | 12260 |239822 | 15.8 | 18M | 137 | 348 | 203 | 395 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.2s| 15300 | 12354 |240936 | 15.7 | 18M | 137 | 348 | 203 | 395 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.3s| 15400 | 12446 |242228 | 15.7 | 18M | 137 | 348 | 203 | 395 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.3s| 15500 | 12532 |243464 | 15.7 | 18M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.3s| 15600 | 12614 |244582 | 15.7 | 18M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.4s| 15700 | 12702 |245734 | 15.6 | 18M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.4s| 15800 | 12780 |246712 | 15.6 | 18M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.4s| 15900 | 12868 |247950 | 15.6 | 18M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.5s| 16000 | 12960 |249162 | 15.6 | 18M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.5s| 16100 | 13048 |250184 | 15.5 | 18M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.6s| 16200 | 13126 |251001 | 15.5 | 18M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.6s| 16300 | 13214 |252145 | 15.5 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.6s| 16400 | 13310 |253227 | 15.4 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.60/10.75 c 7.7s| 16500 | 13402 |254300 | 15.4 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.7s| 16600 | 13502 |255263 | 15.4 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.7s| 16700 | 13602 |256203 | 15.3 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.8s| 16800 | 13702 |257200 | 15.3 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.8s| 16900 | 13802 |258112 | 15.3 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.8s| 17000 | 13902 |259070 | 15.2 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.9s| 17100 | 14000 |260031 | 15.2 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 7.9s| 17200 | 14088 |260895 | 15.2 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.0s| 17300 | 14182 |261838 | 15.1 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.0s| 17400 | 14266 |262839 | 15.1 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.0s| 17500 | 14350 |263843 | 15.1 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.1s| 17600 | 14434 |264801 | 15.0 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.1s| 17700 | 14520 |265657 | 15.0 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.1s| 17800 | 14602 |266548 | 15.0 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.2s| 17900 | 14676 |267270 | 14.9 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.60/10.75 c 8.2s| 18000 | 14768 |268127 | 14.9 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.2s| 18100 | 14868 |268975 | 14.9 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.3s| 18200 | 14964 |269850 | 14.8 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.3s| 18300 | 15060 |270634 | 14.8 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.3s| 18400 | 15152 |271515 | 14.7 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.4s| 18500 | 15244 |272312 | 14.7 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.4s| 18600 | 15332 |273614 | 14.7 | 19M | 137 | 348 | 204 | 395 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.5s| 18700 | 15392 |274688 | 14.7 | 19M | 140 | 348 | 205 | 395 | 0 | 1 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 8.7s| 18800 | 15486 |277355 | 14.7 | 19M | 152 | 348 | 205 | 395 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 9.0s| 18900 | 15586 |279618 | 14.8 | 19M | 158 | 348 | 205 | 395 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 9.3s| 19000 | 15686 |281580 | 14.8 | 19M | 165 | 348 | 205 | 395 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 9.5s| 19100 | 15774 |283585 | 14.8 | 19M | 169 | 348 | 209 | 395 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 9.8s| 19200 | 15872 |286573 | 14.9 | 19M | 169 | 348 | 209 | 395 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
10.60/10.75 c 10.1s| 19300 | 15972 |289586 | 15.0 | 19M | 169 | 348 | 209 | 395 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 10.4s| 19400 | 16062 |292722 | 15.1 | 19M | 169 | 348 | 209 | 395 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.66/22.84 c 10.6s| 19500 | 16153 |295707 | 15.2 | 19M | 169 | 348 | 211 | 395 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 10.9s| 19600 | 16251 |298365 | 15.2 | 19M | 169 | 348 | 211 | 395 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 11.3s| 19700 | 16351 |304762 | 15.5 | 19M | 169 | 348 | 211 | 395 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 11.6s| 19800 | 16451 |310937 | 15.7 | 19M | 169 | 348 | 211 | 395 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 12.0s| 19900 | 16538 |315875 | 15.9 | 19M | 172 | 348 | 215 | 395 | 0 | 0 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 12.3s| 20000 | 16638 |318893 | 15.9 | 19M | 172 | 348 | 215 | 395 | 0 | 0 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 12.5s| 20100 | 16738 |321383 | 16.0 | 19M | 172 | 348 | 215 | 395 | 0 | 0 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 12.8s| 20200 | 16838 |323602 | 16.0 | 19M | 172 | 348 | 215 | 395 | 0 | 0 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 13.1s| 20300 | 16934 |325762 | 16.0 | 19M | 172 | 348 | 215 | 395 | 0 | 0 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 13.2s| 20400 | 17021 |326364 | 16.0 | 20M | 172 | 348 | 217 | 395 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 13.2s| 20500 | 17121 |327085 | 15.9 | 20M | 172 | 348 | 217 | 395 | 0 | 1 | 18 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 13.5s| 20600 | 17217 |330257 | 16.0 | 21M | 172 | 348 | 219 | 395 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 13.8s| 20700 | 17317 |332991 | 16.1 | 21M | 172 | 348 | 219 | 395 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 14.1s| 20800 | 17417 |335435 | 16.1 | 21M | 175 | 348 | 219 | 395 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 14.2s| 20900 | 17505 |336962 | 16.1 | 21M | 177 | 348 | 219 | 395 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.66/22.84 c 14.4s| 21000 | 17562 |340114 | 16.2 | 21M | 177 | 348 | 225 | 395 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 14.6s| 21100 | 17640 |343462 | 16.3 | 21M | 177 | 348 | 225 | 395 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 14.7s| 21200 | 17687 |344199 | 16.2 | 21M | 177 | 348 | 226 | 395 | 0 | 0 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 14.8s| 21300 | 17736 |346546 | 16.3 | 21M | 177 | 348 | 228 | 395 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.1s| 21400 | 17806 |349198 | 16.3 | 21M | 177 | 348 | 228 | 395 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.2s| 21500 | 17870 |351130 | 16.3 | 21M | 177 | 348 | 230 | 395 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.3s| 21600 | 17930 |351499 | 16.3 | 21M | 177 | 348 | 230 | 395 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.3s| 21700 | 17972 |352472 | 16.2 | 21M | 177 | 348 | 230 | 395 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.3s| 21800 | 17991 |353565 | 16.2 | 21M | 177 | 348 | 231 | 395 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.4s| 21900 | 18051 |354568 | 16.2 | 21M | 177 | 348 | 235 | 397 | 2 | 0 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.4s| 22000 | 18087 |354851 | 16.1 | 21M | 177 | 348 | 235 | 397 | 2 | 0 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.6s| 22100 | 18130 |357595 | 16.2 | 21M | 177 | 348 | 239 | 395 | 2 | 0 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.7s| 22200 | 18184 |361268 | 16.3 | 21M | 177 | 348 | 251 | 401 | 14 | 0 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.8s| 22300 | 18260 |365154 | 16.4 | 21M | 177 | 348 | 251 | 401 | 14 | 0 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 15.9s| 22400 | 18314 |368770 | 16.5 | 21M | 177 | 348 | 251 | 403 | 14 | 0 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.66/22.84 c 16.1s| 22500 | 18384 |372713 | 16.6 | 21M | 177 | 348 | 251 | 396 | 14 | 1 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 16.3s| 22600 | 18440 |375793 | 16.6 | 21M | 177 | 348 | 164 | 404 | 15 | 0 | 82 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 16.4s| 22700 | 18473 |378128 | 16.6 | 21M | 177 | 348 | 165 | 407 | 18 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 16.6s| 22800 | 18499 |382668 | 16.8 | 21M | 177 | 348 | 172 | 407 | 20 | 1 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 16.7s| 22900 | 18561 |384637 | 16.8 | 21M | 177 | 348 | 172 | 410 | 23 | 1 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 17.0s| 23000 | 18659 |387567 | 16.8 | 21M | 177 | 348 | 172 | 410 | 23 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 17.4s| 23100 | 18755 |390435 | 16.9 | 21M | 177 | 348 | 172 | 410 | 23 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 17.8s| 23200 | 18855 |393531 | 17.0 | 21M | 177 | 348 | 172 | 410 | 23 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 18.1s| 23300 | 18955 |396684 | 17.0 | 21M | 177 | 348 | 172 | 410 | 23 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 18.5s| 23400 | 19055 |399805 | 17.1 | 21M | 177 | 348 | 172 | 410 | 23 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 18.8s| 23500 | 19131 |402218 | 17.1 | 21M | 177 | 348 | 172 | 409 | 27 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 19.0s| 23600 | 19179 |403372 | 17.1 | 21M | 177 | 348 | 172 | 411 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 19.3s| 23700 | 19253 |405863 | 17.1 | 21M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 19.6s| 23800 | 19353 |408939 | 17.2 | 21M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 19.9s| 23900 | 19451 |412164 | 17.2 | 21M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.66/22.84 c 20.3s| 24000 | 19551 |415363 | 17.3 | 21M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 20.7s| 24100 | 19651 |418681 | 17.4 | 21M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 21.1s| 24200 | 19751 |421976 | 17.4 | 21M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 21.5s| 24300 | 19849 |425231 | 17.5 | 21M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 21.8s| 24400 | 19935 |428110 | 17.5 | 22M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
22.66/22.84 c 22.1s| 24500 | 20031 |431180 | 17.6 | 22M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 22.5s| 24600 | 20131 |434428 | 17.7 | 22M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 22.9s| 24700 | 20231 |437738 | 17.7 | 22M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 23.3s| 24800 | 20331 |441013 | 17.8 | 22M | 177 | 348 | 172 | 408 | 32 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 23.6s| 24900 | 20416 |443792 | 17.8 | 22M | 177 | 348 | 174 | 407 | 32 | 1 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 23.7s| 25000 | 20464 |444864 | 17.8 | 22M | 177 | 348 | 174 | 407 | 32 | 1 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 24.0s| 25100 | 20534 |447882 | 17.8 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 24.3s| 25200 | 20634 |450524 | 17.9 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 24.6s| 25300 | 20734 |453130 | 17.9 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 25.0s| 25400 | 20834 |455715 | 17.9 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.41/39.64 c 25.3s| 25500 | 20934 |458268 | 18.0 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 25.7s| 25600 | 21034 |460774 | 18.0 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 26.1s| 25700 | 21134 |463291 | 18.0 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 26.3s| 25800 | 21212 |465628 | 18.0 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 26.7s| 25900 | 21312 |468322 | 18.1 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 27.0s| 26000 | 21412 |471192 | 18.1 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 27.4s| 26100 | 21512 |474179 | 18.2 | 22M | 177 | 348 | 175 | 408 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 27.7s| 26200 | 21582 |476371 | 18.2 | 22M | 177 | 348 | 175 | 407 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 28.0s| 26300 | 21682 |478963 | 18.2 | 22M | 177 | 348 | 175 | 407 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 28.4s| 26400 | 21782 |481794 | 18.2 | 22M | 177 | 348 | 175 | 407 | 32 | 0 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 28.6s| 26500 | 21859 |483503 | 18.2 | 22M | 177 | 348 | 177 | 398 | 34 | 0 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 28.7s| 26600 | 21913 |485159 | 18.2 | 22M | 177 | 348 | 177 | 398 | 34 | 0 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 29.0s| 26700 | 21982 |487078 | 18.2 | 22M | 177 | 348 | 184 | 411 | 34 | 0 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 29.2s| 26800 | 22054 |489028 | 18.2 | 22M | 177 | 348 | 184 | 411 | 34 | 0 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 29.5s| 26900 | 22124 |491296 | 18.3 | 22M | 177 | 348 | 184 | 408 | 34 | 0 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.41/39.64 c 29.7s| 27000 | 22189 |493009 | 18.3 | 22M | 177 | 348 | 187 | 412 | 42 | 0 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 29.9s| 27100 | 22249 |494937 | 18.3 | 23M | 177 | 348 | 187 | 398 | 42 | 1 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 30.1s| 27200 | 22326 |496794 | 18.3 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 30.4s| 27300 | 22410 |498825 | 18.3 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 30.8s| 27400 | 22502 |500589 | 18.3 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 31.1s| 27500 | 22588 |502298 | 18.3 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 31.4s| 27600 | 22678 |503979 | 18.3 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 31.8s| 27700 | 22766 |505685 | 18.2 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 32.1s| 27800 | 22835 |507177 | 18.2 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 32.3s| 27900 | 22899 |509032 | 18.2 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 32.5s| 28000 | 22967 |511464 | 18.3 | 23M | 177 | 348 | 189 | 407 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 32.9s| 28100 | 23067 |515355 | 18.3 | 23M | 177 | 348 | 189 | 407 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 33.4s| 28200 | 23167 |518833 | 18.4 | 23M | 177 | 348 | 189 | 407 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 33.9s| 28300 | 23267 |521897 | 18.4 | 23M | 177 | 348 | 189 | 407 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 34.4s| 28400 | 23357 |524788 | 18.5 | 23M | 177 | 348 | 189 | 407 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.41/39.64 c 34.9s| 28500 | 23421 |527205 | 18.5 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 35.2s| 28600 | 23513 |528909 | 18.5 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 35.5s| 28700 | 23539 |530097 | 18.5 | 23M | 177 | 348 | 189 | 407 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 35.8s| 28800 | 23629 |532359 | 18.5 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 36.1s| 28900 | 23729 |534614 | 18.5 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 36.5s| 29000 | 23829 |536776 | 18.5 | 23M | 177 | 348 | 189 | 398 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 36.8s| 29100 | 23895 |538727 | 18.5 | 23M | 177 | 348 | 189 | 410 | 42 | 0 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 37.2s| 29200 | 23966 |541655 | 18.5 | 23M | 177 | 348 | 191 | 412 | 42 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 37.5s| 29300 | 24018 |544020 | 18.6 | 23M | 177 | 348 | 191 | 412 | 42 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 37.8s| 29400 | 24058 |546948 | 18.6 | 23M | 177 | 348 | 108 | 410 | 56 | 1 | 145 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 38.0s| 29500 | 24091 |549471 | 18.6 | 23M | 177 | 348 | 112 | 408 | 59 | 0 | 149 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 38.3s| 29600 | 24145 |553665 | 18.7 | 23M | 177 | 348 | 114 | 409 | 59 | 0 | 151 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 38.6s| 29700 | 24221 |556622 | 18.7 | 23M | 177 | 348 | 114 | 408 | 59 | 0 | 151 | 0 | 0.000000e+00 | -- | Inf | unknown
39.41/39.64 c 39.0s| 29800 | 24319 |559758 | 18.8 | 23M | 177 | 348 | 114 | 408 | 59 | 0 | 151 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 39.3s| 29900 | 24370 |562067 | 18.8 | 23M | 177 | 348 | 116 | 399 | 59 | 0 | 153 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.17/52.45 c 39.5s| 30000 | 24446 |563318 | 18.8 | 23M | 177 | 348 | 117 | 412 | 59 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 39.6s| 30100 | 24490 |564085 | 18.7 | 23M | 177 | 348 | 117 | 407 | 59 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 39.8s| 30200 | 24558 |565223 | 18.7 | 23M | 177 | 348 | 117 | 410 | 59 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 40.1s| 30300 | 24658 |566784 | 18.7 | 23M | 177 | 348 | 117 | 410 | 59 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 40.5s| 30400 | 24758 |568270 | 18.7 | 23M | 177 | 348 | 117 | 410 | 59 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 40.8s| 30500 | 24848 |569726 | 18.7 | 23M | 177 | 348 | 117 | 410 | 59 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 41.1s| 30600 | 24915 |571197 | 18.7 | 23M | 177 | 348 | 117 | 410 | 59 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 41.5s| 30700 | 24987 |572833 | 18.7 | 23M | 177 | 348 | 117 | 398 | 59 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 41.8s| 30800 | 25052 |574555 | 18.6 | 23M | 177 | 348 | 120 | 410 | 59 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 42.0s| 30900 | 25121 |575603 | 18.6 | 23M | 177 | 348 | 120 | 407 | 59 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 42.3s| 31000 | 25201 |576906 | 18.6 | 24M | 177 | 348 | 120 | 411 | 59 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 42.6s| 31100 | 25240 |578073 | 18.6 | 24M | 177 | 348 | 120 | 408 | 59 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 42.9s| 31200 | 25308 |580131 | 18.6 | 24M | 177 | 348 | 124 | 399 | 59 | 0 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 43.2s| 31300 | 25382 |581346 | 18.6 | 24M | 177 | 348 | 124 | 399 | 59 | 0 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 43.5s| 31400 | 25431 |582604 | 18.5 | 24M | 177 | 348 | 128 | 411 | 59 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.17/52.45 c 43.8s| 31500 | 25483 |584009 | 18.5 | 24M | 177 | 348 | 129 | 413 | 59 | 0 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 44.2s| 31600 | 25561 |585236 | 18.5 | 24M | 177 | 348 | 129 | 413 | 59 | 0 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 44.5s| 31700 | 25588 |586436 | 18.5 | 24M | 177 | 348 | 129 | 399 | 59 | 0 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 44.8s| 31800 | 25644 |587628 | 18.5 | 24M | 177 | 348 | 129 | 399 | 59 | 0 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 45.0s| 31900 | 25682 |588616 | 18.4 | 24M | 177 | 348 | 129 | 412 | 59 | 0 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 45.4s| 32000 | 25733 |590308 | 18.4 | 24M | 177 | 348 | 129 | 407 | 59 | 1 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 45.6s| 32100 | 25808 |592170 | 18.4 | 24M | 177 | 348 | 129 | 398 | 59 | 0 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 45.9s| 32200 | 25872 |593628 | 18.4 | 24M | 177 | 348 | 135 | 398 | 59 | 0 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 46.3s| 32300 | 25960 |595138 | 18.4 | 24M | 177 | 348 | 135 | 412 | 59 | 0 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 46.6s| 32400 | 26026 |596658 | 18.4 | 24M | 177 | 348 | 135 | 398 | 59 | 0 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 46.7s| 32500 | 26086 |597756 | 18.4 | 24M | 177 | 348 | 135 | 398 | 59 | 0 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 46.9s| 32600 | 26161 |598901 | 18.4 | 24M | 177 | 348 | 136 | 398 | 59 | 0 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 47.0s| 32700 | 26247 |599941 | 18.3 | 24M | 177 | 348 | 136 | 398 | 59 | 0 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 47.3s| 32800 | 26342 |602157 | 18.4 | 24M | 177 | 348 | 136 | 398 | 59 | 0 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 47.6s| 32900 | 26440 |604300 | 18.4 | 24M | 177 | 348 | 136 | 398 | 59 | 0 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.17/52.45 c 47.9s| 33000 | 26504 |606289 | 18.4 | 24M | 177 | 348 | 123 | 412 | 59 | 0 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 48.3s| 33100 | 26604 |609275 | 18.4 | 24M | 177 | 348 | 123 | 412 | 59 | 0 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 48.6s| 33200 | 26704 |612094 | 18.4 | 24M | 177 | 348 | 123 | 412 | 59 | 0 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 48.9s| 33300 | 26774 |614355 | 18.4 | 24M | 177 | 348 | 123 | 398 | 59 | 0 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 49.2s| 33400 | 26865 |616416 | 18.5 | 24M | 177 | 348 | 123 | 413 | 59 | 0 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 49.5s| 33500 | 26929 |618007 | 18.4 | 24M | 177 | 348 | 124 | 398 | 59 | 0 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 49.8s| 33600 | 26970 |619130 | 18.4 | 24M | 177 | 348 | 126 | 410 | 59 | 1 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 49.9s| 33700 | 27052 |620410 | 18.4 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 50.1s| 33800 | 27152 |621392 | 18.4 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 50.3s| 33900 | 27250 |622284 | 18.4 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 50.5s| 34000 | 27318 |623034 | 18.3 | 24M | 177 | 348 | 126 | 411 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 50.6s| 34100 | 27372 |623748 | 18.3 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 50.8s| 34200 | 27472 |624640 | 18.3 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 51.0s| 34300 | 27566 |625443 | 18.2 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 51.1s| 34400 | 27634 |626137 | 18.2 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.17/52.45 c 51.3s| 34500 | 27698 |626848 | 18.2 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 51.4s| 34600 | 27770 |627557 | 18.1 | 24M | 177 | 348 | 126 | 411 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 51.5s| 34700 | 27822 |628137 | 18.1 | 24M | 177 | 348 | 126 | 411 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 51.6s| 34800 | 27856 |628675 | 18.1 | 24M | 177 | 348 | 126 | 411 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 51.8s| 34900 | 27900 |629317 | 18.0 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
52.17/52.45 c 51.9s| 35000 | 27986 |629910 | 18.0 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 52.1s| 35100 | 28024 |630537 | 18.0 | 24M | 177 | 348 | 126 | 411 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 52.2s| 35200 | 28058 |631082 | 17.9 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 52.4s| 35300 | 28126 |631646 | 17.9 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 52.6s| 35400 | 28200 |633072 | 17.9 | 24M | 177 | 348 | 126 | 398 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 52.9s| 35500 | 28260 |634445 | 17.9 | 24M | 177 | 348 | 126 | 398 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 53.1s| 35600 | 28300 |636160 | 17.9 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 53.3s| 35700 | 28394 |636800 | 17.8 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 53.5s| 35800 | 28458 |637364 | 17.8 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 53.6s| 35900 | 28518 |637924 | 17.8 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
57.06/57.39 c 53.8s| 36000 | 28596 |638784 | 17.7 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 54.0s| 36100 | 28654 |639434 | 17.7 | 24M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 54.2s| 36200 | 28718 |640098 | 17.7 | 25M | 177 | 348 | 126 | 410 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 54.4s| 36300 | 28780 |640940 | 17.7 | 25M | 177 | 348 | 126 | 411 | 59 | 0 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 54.6s| 36400 | 28833 |642331 | 17.6 | 25M | 177 | 348 | 130 | 410 | 65 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 54.8s| 36500 | 28893 |643597 | 17.6 | 25M | 177 | 348 | 130 | 411 | 65 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 55.1s| 36600 | 28969 |644923 | 17.6 | 25M | 177 | 348 | 130 | 411 | 65 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 55.3s| 36700 | 29006 |645824 | 17.6 | 25M | 177 | 348 | 130 | 410 | 65 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 55.5s| 36800 | 29070 |646726 | 17.6 | 25M | 177 | 348 | 130 | 410 | 65 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 55.7s| 36900 | 29147 |647930 | 17.6 | 25M | 177 | 348 | 130 | 398 | 65 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 56.0s| 37000 | 29207 |649586 | 17.6 | 25M | 177 | 348 | 130 | 398 | 65 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 56.3s| 37100 | 29249 |650728 | 17.5 | 25M | 177 | 348 | 130 | 408 | 65 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 56.6s| 37200 | 29297 |651896 | 17.5 | 25M | 177 | 348 | 130 | 410 | 65 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c 56.9s| 37300 | 29324 |653033 | 17.5 | 25M | 177 | 348 | 132 | 412 | 65 | 0 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
57.06/57.39 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
57.06/57.39 c *57.0s| 37345 | 0 |653200 | 17.5 | LP | 177 | 348 | 132 | 411 | 65 | 1 | 184 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
57.06/57.39 c
57.06/57.39 c SCIP Status : problem is solved [optimal solution found]
57.06/57.39 c Solving Time (sec) : 57.00
57.06/57.39 c Solving Nodes : 37345
57.06/57.39 c Primal Bound : +0.00000000000000e+00 (1 solutions)
57.06/57.39 c Dual Bound : +0.00000000000000e+00
57.06/57.39 c Gap : 0.00 %
57.06/57.39 c [linear] <linear199>: <x141>[B] (+0) +2<x169>[B] (+0) +4<x197>[B] (+0) +8<x225>[B] (+0) +16<x253>[B] (+0) +32<x281>[B] (+0) +64<x309>[B] (+0) +128<x337>[B] (+0) +256<x365>[B] (+0) +512<x393>[B] (+0) +1024<x421>[B] (+0) +2048<x449>[B] (+0) +4096<x477>[B] (+0) +8192<x505>[B] (+0) +16384<x533>[B] (+0) +32768<x561>[B] (+0) +65536<x589>[B] (+0) +131072<x617>[B] (+0) +262144<x645>[B] (+0) +524288<x673>[B] (+0) +1048576<x701>[B] (+0) +2097152<x729>[B] (+0) +4194304<x757>[B] (+0) +8388608<x785>[B] (+0) +16777216<x813>[B] (+0) +33554432<x841>[B] (+0) +67108864<x869>[B] (+0) +134217728<x897>[B] (+0) +2<x142>[B] (+0) +4<x170>[B] (+1) +8<x198>[B] (+0) +16<x226>[B] (+1) +32<x254>[B] (+1) +64<x282>[B] (+1) +128<x310>[B] (+0) +256<x338>[B] (+1) +512<x366>[B] (+0) +1024<x394>[B] (+1) +2048<x422>[B] (+1) +4096<x450>[B] (+1) +8192<x478>[B] (+1) +16384<x506>[B] (+1) +32768<x534>[B] (+0) +65536<x562>[B] (+1) +131072<x590>[B] (+0) +262144<x618>[B] (+1) +524288<x646>[B] (+0) +1048576<x674>[B] (+1) +2097152<x702>[B] (+1) +4194304<x730>[B] (+1) +8388608<x758>[B] (+1) +16777216<x786>[B] (+1) +33554432<x814>[B] (+0) +67108864<x842>[B] (+1) +134217728<x870>[B] (+1) +268435456<x898>[B] (+1) +4<x143>[B] (+0) +8<x171>[B] (+0) +16<x199>[B] (+0) +32<x227>[B] (+0) +64<x255>[B] (+0) +128<x283>[B] (+0) +256<x311>[B] (+0) +512<x339>[B] (+0) +1024<x367>[B] (+0) +2048<x395>[B] (+0) +4096<x423>[B] (+0) +8192<x451>[B] (+0) +16384<x479>[B] (+0) +32768<x507>[B] (+0) +65536<x535>[B] (+0) +131072<x563>[B] (+0) +262144<x591>[B] (+0) +524288<x619>[B] (+0) +1048576<x647>[B] (+0) +2097152<x675>[B] (+0) +4194304<x703>[B] (+0) +8388608<x731>[B] (+0) +16777216<x759>[B] (+0) +33554432<x787>[B] (+0) +67108864<x815>[B] (+0) +134217728<x843>[B] (+0) +268435456<x871>[B] (+0) +536870912<x899>[B] (+0) +8<x144>[B] (+0) +16<x172>[B] (+1) +32<x200>[B] (+0) +64<x228>[B] (+1) +128<x256>[B] (+1) +256<x284>[B] (+1) +512<x312>[B] (+0) +1024<x340>[B] (+1) +2048<x368>[B] (+0) +4096<x396>[B] (+1) +8192<x424>[B] (+1) +16384<x452>[B] (+1) +32768<x480>[B] (+1) +65536<x508>[B] (+1) +131072<x536>[B] (+0) +262144<x564>[B] (+1) +524288<x592>[B] (+0) +1048576<x620>[B] (+1) +2097152<x648>[B] (+0) +4194304<x676>[B] (+1) +8388608<x704>[B] (+1) +16777216<x732>[B] (+1) +33554432<x760>[B] (+1) +67108864<x788>[B] (+1) +134217728<x816>[B] (+0) +268435456<x844>[B] (+1) +536870912<x872>[B] (+1) +1.07374182e+09<x900>[B] (+1) +16<x145>[B] (+0) +32<x173>[B] (+0) +64<x201>[B] (+0) +128<x229>[B] (+0) +256<x257>[B] (+0) +512<x285>[B] (+0) +1024<x313>[B] (+0) +2048<x341>[B] (+0) +4096<x369>[B] (+0) +8192<x397>[B] (+0) +16384<x425>[B] (+0) +32768<x453>[B] (+0) +65536<x481>[B] (+0) +131072<x509>[B] (+0) +262144<x537>[B] (+0) +524288<x565>[B] (+0) +1048576<x593>[B] (+0) +2097152<x621>[B] (+0) +4194304<x649>[B] (+0) +8388608<x677>[B] (+0) +16777216<x705>[B] (+0) +33554432<x733>[B] (+0) +67108864<x761>[B] (+0) +134217728<x789>[B] (+0) +268435456<x817>[B] (+0) +536870912<x845>[B] (+0) +1.07374182e+09<x873>[B] (+0) +2.14748365e+09<x901>[B] (+0) +32<x146>[B] (+0) +64<x174>[B] (+1) +128<x202>[B] (+0) +256<x230>[B] (+1) +512<x258>[B] (+1) +1024<x286>[B] (+1) +2048<x314>[B] (+0) +4096<x342>[B] (+1) +8192<x370>[B] (+0) +16384<x398>[B] (+1) +32768<x426>[B] (+1) +65536<x454>[B] (+1) +131072<x482>[B] (+1) +262144<x510>[B] (+1) +524288<x538>[B] (+0) +1048576<x566>[B] (+1) +2097152<x594>[B] (+0) +4194304<x622>[B] (+1) +8388608<x650>[B] (+0) +16777216<x678>[B] (+1) +33554432<x706>[B] (+1) +67108864<x734>[B] (+1) +134217728<x762>[B] (+1) +268435456<x790>[B] (+1) +536870912<x818>[B] (+0) +1.07374182e+09<x846>[B] (+1) +2.14748365e+09<x874>[B] (+1) +4.2949673e+09<x902>[B] (+1) +64<x147>[B] (+0) +128<x175>[B] (+0) +256<x203>[B] (+0) +512<x231>[B] (+0) +1024<x259>[B] (+0) +2048<x287>[B] (+0) +4096<x315>[B] (+0) +8192<x343>[B] (+0) +16384<x371>[B] (+0) +32768<x399>[B] (+0) +65536<x427>[B] (+0) +131072<x455>[B] (+0) +262144<x483>[B] (+0) +524288<x511>[B] (+0) +1048576<x539>[B] (+0) +2097152<x567>[B] (+0) +4194304<x595>[B] (+0) +8388608<x623>[B] (+0) +16777216<x651>[B] (+0) +33554432<x679>[B] (+0) +67108864<x707>[B] (+0) +134217728<x735>[B] (+0) +268435456<x763>[B] (+0) +536870912<x791>[B] (+0) +1.07374182e+09<x819>[B] (+0) +2.14748365e+09<x847>[B] (+0) +4.2949673e+09<x875>[B] (+0) +8.58993459e+09<x903>[B] (+0) +128<x148>[B] (+0) +256<x176>[B] (+1) +512<x204>[B] (+0) +1024<x232>[B] (+1) +2048<x260>[B] (+1) +4096<x288>[B] (+1) +8192<x316>[B] (+0) +16384<x344>[B] (+1) +32768<x372>[B] (+0) +65536<x400>[B] (+1) +131072<x428>[B] (+1) +262144<x456>[B] (+1) +524288<x484>[B] (+1) +1048576<x512>[B] (+1) +2097152<x540>[B] (+0) +4194304<x568>[B] (+1) +8388608<x596>[B] (+0) +16777216<x624>[B] (+1) +33554432<x652>[B] (+0) +67108864<x680>[B] (+1) +134217728<x708>[B] (+1) +268435456<x736>[B] (+1) +536870912<x764>[B] (+1) +1.07374182e+09<x792>[B] (+1) +2.14748365e+09<x820>[B] (+0) +4.2949673e+09<x848>[B] (+1) +8.58993459e+09<x876>[B] (+1) +1.71798692e+10<x904>[B] (+1) +256<x149>[B] (+0) +512<x177>[B] (+0) +1024<x205>[B] (+0) +2048<x233>[B] (+0) +4096<x261>[B] (+0) +8192<x289>[B] (+0) +16384<x317>[B] (+0) +32768<x345>[B] (+0) +65536<x373>[B] (+0) +131072<x401>[B] (+0) +262144<x429>[B] (+0) +524288<x457>[B] (+0) +1048576<x485>[B] (+0) +2097152<x513>[B] (+0) +4194304<x541>[B] (+0) +8388608<x569>[B] (+0) +16777216<x597>[B] (+0) +33554432<x625>[B] (+0) +67108864<x653>[B] (+0) +134217728<x681>[B] (+0) +268435456<x709>[B] (+0) +536870912<x737>[B] (+0) +1.07374182e+09<x765>[B] (+0) +2.14748365e+09<x793>[B] (+0) +4.2949673e+09<x821>[B] (+0) +8.58993459e+09<x849>[B] (+0) +1.71798692e+10<x877>[B] (+0) +3.43597384e+10<x905>[B] (+0) +512<x150>[B] (+0) +1024<x178>[B] (+1) +2048<x206>[B] (+0) +4096<x234>[B] (+1) +8192<x262>[B] (+1) +16384<x290>[B] (+1) +32768<x318>[B] (+0) +65536<x346>[B] (+1) +131072<x374>[B] (+0) +262144<x402>[B] (+1) +524288<x430>[B] (+1) +1048576<x458>[B] (+1) +2097152<x486>[B] (+1) +4194304<x514>[B] (+1) +8388608<x542>[B] (+0) +16777216<x570>[B] (+1) +33554432<x598>[B] (+0) +67108864<x626>[B] (+1) +134217728<x654>[B] (+0) +268435456<x682>[B] (+1) +536870912<x710>[B] (+1) +1.07374182e+09<x738>[B] (+1) +2.14748365e+09<x766>[B] (+1) +4.2949673e+09<x794>[B] (+1) +8.58993459e+09<x822>[B] (+0) +1.71798692e+10<x850>[B] (+1) +3.43597384e+10<x878>[B] (+1) +6.87194767e+10<x906>[B] (+1) +1024<x151>[B] (+0) +2048<x179>[B] (+0) +4096<x207>[B] (+0) +8192<x235>[B] (+0) +16384<x263>[B] (+0) +32768<x291>[B] (+0) +65536<x319>[B] (+0) +131072<x347>[B] (+0) +262144<x375>[B] (+0) +524288<x403>[B] (+0) +1048576<x431>[B] (+0) +2097152<x459>[B] (+0) +4194304<x487>[B] (+0) +8388608<x515>[B] (+0) +16777216<x543>[B] (+0) +33554432<x571>[B] (+0) +67108864<x599>[B] (+0) +134217728<x627>[B] (+0) +268435456<x655>[B] (+0) +536870912<x683>[B] (+0) +1.07374182e+09<x711>[B] (+0) +2.14748365e+09<x739>[B] (+0) +4.2949673e+09<x767>[B] (+0) +8.58993459e+09<x795>[B] (+0) +1.71798692e+10<x823>[B] (+0) +3.43597384e+10<x851>[B] (+0) +6.87194767e+10<x879>[B] (+0) +1.37438953e+11<x907>[B] (+0) +2048<x152>[B] (+0) +4096<x180>[B] (+1) +8192<x208>[B] (+0) +16384<x236>[B] (+1) +32768<x264>[B] (+1) +65536<x292>[B] (+1) +131072<x320>[B] (+0) +262144<x348>[B] (+1) +524288<x376>[B] (+0) +1048576<x404>[B] (+1) +2097152<x432>[B] (+1) +4194304<x460>[B] (+1) +8388608<x488>[B] (+1) +16777216<x516>[B] (+1) +33554432<x544>[B] (+0) +67108864<x572>[B] (+1) +134217728<x600>[B] (+0) +268435456<x628>[B] (+1) +536870912<x656>[B] (+0) +1.07374182e+09<x684>[B] (+1) +2.14748365e+09<x712>[B] (+1) +4.2949673e+09<x740>[B] (+1) +8.58993459e+09<x768>[B] (+1) +1.71798692e+10<x796>[B] (+1) +3.43597384e+10<x824>[B] (+0) +6.87194767e+10<x852>[B] (+1) +1.37438953e+11<x880>[B] (+1) +2.74877907e+11<x908>[B] (+1) +4096<x153>[B] (+0) +8192<x181>[B] (+1.63611598e-07) +16384<x209>[B] (+0) +32768<x237>[B] (+1.63611598e-07) +65536<x265>[B] (+0) +131072<x293>[B] (+1.63611598e-07) +262144<x321>[B] (+0) +524288<x349>[B] (+1.63611598e-07) +1048576<x377>[B] (+0) +2097152<x405>[B] (+1.63611598e-07) +4194304<x433>[B] (+1.63611598e-07) +8388608<x461>[B] (+1.63611598e-07) +16777216<x489>[B] (+1.63611598e-07) +33554432<x517>[B] (+1.63611598e-07) +67108864<x545>[B] (+0) +134217728<x573>[B] (+1.63611598e-07) +268435456<x601>[B] (+0) +536870912<x629>[B] (+1.63611598e-07) +1.07374182e+09<x657>[B] (+0) +2.14748365e+09<x685>[B] (+1.63611598e-07) +4.2949673e+09<x713>[B] (+0) +8.58993459e+09<x741>[B] (+1.63611598e-07) +1.71798692e+10<x769>[B] (+0) +3.43597384e+10<x797>[B] (+1.63611598e-07) +6.87194767e+10<x825>[B] (+0) +1.37438953e+11<x853>[B] (+1.63611598e-07) +2.74877907e+11<x881>[B] (+0) +5.49755814e+11<x909>[B] (+1.63611598e-07) +8192<x154>[B] (+0) +16384<x182>[B] (+1) +32768<x210>[B] (+0) +65536<x238>[B] (+1) +131072<x266>[B] (+1) +262144<x294>[B] (+1) +524288<x322>[B] (+0) +1048576<x350>[B] (+1) +2097152<x378>[B] (+0) +4194304<x406>[B] (+1) +8388608<x434>[B] (+1) +16777216<x462>[B] (+1) +33554432<x490>[B] (+1) +67108864<x518>[B] (+1) +134217728<x546>[B] (+0) +268435456<x574>[B] (+1) +536870912<x602>[B] (+0) +1.07374182e+09<x630>[B] (+1) +2.14748365e+09<x658>[B] (+0) +4.2949673e+09<x686>[B] (+1) +8.58993459e+09<x714>[B] (+1) +1.71798692e+10<x742>[B] (+1) +3.43597384e+10<x770>[B] (+1) +6.87194767e+10<x798>[B] (+1) +1.37438953e+11<x826>[B] (+0) +2.74877907e+11<x854>[B] (+1) +5.49755814e+11<x882>[B] (+1) +1.09951163e+12<x910>[B] (+1) +16384<x155>[B] (+0) +32768<x183>[B] (+0) +65536<x211>[B] (+0) +131072<x239>[B] (+0) +262144<x267>[B] (+0) +524288<x295>[B] (+0) +1048576<x323>[B] (+0) +2097152<x351>[B] (+0) +4194304<x379>[B] (+0) +8388608<x407>[B] (+0) +16777216<x435>[B] (+0) +33554432<x463>[B] (+0) +67108864<x491>[B] (+0) +134217728<x519>[B] (+0) +268435456<x547>[B] (+0) +536870912<x575>[B] (+0) +1.07374182e+09<x603>[B] (+0) +2.14748365e+09<x631>[B] (+0) +4.2949673e+09<x659>[B] (+0) +8.58993459e+09<x687>[B] (+0) +1.71798692e+10<x715>[B] (+0) +3.43597384e+10<x743>[B] (+0) +6.87194767e+10<x771>[B] (+0) +1.37438953e+11<x799>[B] (+0) +2.74877907e+11<x827>[B] (+0) +5.49755814e+11<x855>[B] (+0) +1.09951163e+12<x883>[B] (+0) +2.19902326e+12<x911>[B] (+0) +32768<x156>[B] (+0) +65536<x184>[B] (+1) +131072<x212>[B] (+0) +262144<x240>[B] (+1) +524288<x268>[B] (+1) +1048576<x296>[B] (+1) +2097152<x324>[B] (+0) +4194304<x352>[B] (+1) +8388608<x380>[B] (+0) +16777216<x408>[B] (+1) +33554432<x436>[B] (+1) +67108864<x464>[B] (+1) +134217728<x492>[B] (+1) +268435456<x520>[B] (+1) +536870912<x548>[B] (+0) +1.07374182e+09<x576>[B] (+1) +2.14748365e+09<x604>[B] (+0) +4.2949673e+09<x632>[B] (+1) +8.58993459e+09<x660>[B] (+0) +1.71798692e+10<x688>[B] (+1) +3.43597384e+10<x716>[B] (+1) +6.87194767e+10<x744>[B] (+1) +1.37438953e+11<x772>[B] (+1) +2.74877907e+11<x800>[B] (+1) +5.49755814e+11<x828>[B] (+0) +1.09951163e+12<x856>[B] (+1) +2.19902326e+12<x884>[B] (+1) +4.39804651e+12<x912>[B] (+1) +65536<x157>[B] (+0) +131072<x185>[B] (+0) +262144<x213>[B] (+0) +524288<x241>[B] (+0) +1048576<x269>[B] (+0) +2097152<x297>[B] (+0) +4194304<x325>[B] (+0) +8388608<x353>[B] (+0) +16777216<x381>[B] (+0) +33554432<x409>[B] (+0) +67108864<x437>[B] (+0) +134217728<x465>[B] (+0) +268435456<x493>[B] (+0) +536870912<x521>[B] (+0) +1.07374182e+09<x549>[B] (+0) +2.14748365e+09<x577>[B] (+0) +4.2949673e+09<x605>[B] (+0) +8.58993459e+09<x633>[B] (+0) +1.71798692e+10<x661>[B] (+0) +3.43597384e+10<x689>[B] (+0) +6.87194767e+10<x717>[B] (+0) +1.37438953e+11<x745>[B] (+0) +2.74877907e+11<x773>[B] (+0) +5.49755814e+11<x801>[B] (+0) +1.09951163e+12<x829>[B] (+0) +2.19902326e+12<x857>[B] (+0) +4.39804651e+12<x885>[B] (+0) +8.79609302e+12<x913>[B] (+0) +131072<x158>[B] (+0) +262144<x186>[B] (+1) +524288<x214>[B] (+0) +1048576<x242>[B] (+1) +2097152<x270>[B] (+1) +4194304<x298>[B] (+1) +8388608<x326>[B] (+0) +16777216<x354>[B] (+1) +33554432<x382>[B] (+0) +67108864<x410>[B] (+1) +134217728<x438>[B] (+1) +268435456<x466>[B] (+1) +536870912<x494>[B] (+1) +1.07374182e+09<x522>[B] (+1) +2.14748365e+09<x550>[B] (+0) +4.2949673e+09<x578>[B] (+1) +8.58993459e+09<x606>[B] (+0) +1.71798692e+10<x634>[B] (+1) +3.43597384e+10<x662>[B] (+0) +6.87194767e+10<x690>[B] (+1) +1.37438953e+11<x718>[B] (+1) +2.74877907e+11<x746>[B] (+1) +5.49755814e+11<x774>[B] (+1) +1.09951163e+12<x802>[B] (+1) +2.19902326e+12<x830>[B] (+0) +4.39804651e+12<x858>[B] (+1) +8.79609302e+12<x886>[B] (+1) +1.7592186e+13<x914>[B] (+1) +262144<x159>[B] (+0) +524288<x187>[B] (+0) +1048576<x215>[B] (+0) +2097152<x243>[B] (+0) +4194304<x271>[B] (+0) +8388608<x299>[B] (+0) +16777216<x327>[B] (+0) +33554432<x355>[B] (+0) +67108864<x383>[B] (+0) +134217728<x411>[B] (+0) +268435456<x439>[B] (+0) +536870912<x467>[B] (+0) +1.07374182e+09<x495>[B] (+0) +2.14748365e+09<x523>[B] (+0) +4.2949673e+09<x551>[B] (+0) +8.58993459e+09<x579>[B] (+0) +1.71798692e+10<x607>[B] (+0) +3.43597384e+10<x635>[B] (+0) +6.87194767e+10<x663>[B] (+0) +1.37438953e+11<x691>[B] (+0) +2.74877907e+11<x719>[B] (+0) +5.49755814e+11<x747>[B] (+0) +1.09951163e+12<x775>[B] (+0) +2.19902326e+12<x803>[B] (+0) +4.39804651e+12<x831>[B] (+0) +8.79609302e+12<x859>[B] (+0) +1.7592186e+13<x887>[B] (+0) +3.51843721e+13<x915>[B] (+0) +524288<x160>[B] (+0) +1048576<x188>[B] (+1) +2097152<x216>[B] (+0) +4194304<x244>[B] (+1) +8388608<x272>[B] (+1) +16777216<x300>[B] (+1) +33554432<x328>[B] (+0) +67108864<x356>[B] (+1) +134217728<x384>[B] (+0) +268435456<x412>[B] (+1) +536870912<x440>[B] (+1) +1.07374182e+09<x468>[B] (+1) +2.14748365e+09<x496>[B] (+1) +4.2949673e+09<x524>[B] (+1) +8.58993459e+09<x552>[B] (+0) +1.71798692e+10<x580>[B] (+1) +3.43597384e+10<x608>[B] (+0) +6.87194767e+10<x636>[B] (+1) +1.37438953e+11<x664>[B] (+0) +2.74877907e+11<x692>[B] (+1) +5.49755814e+11<x720>[B] (+1) +1.09951163e+12<x748>[B] (+1) +2.19902326e+12<x776>[B] (+1) +4.39804651e+12<x804>[B] (+1) +8.79609302e+12<x832>[B] (+0) +1.7592186e+13<x860>[B] (+1) +3.51843721e+13<x888>[B] (+1) +7.03687442e+13<x916>[B] (+1) +1048576<x161>[B] (+0) +2097152<x189>[B] (+0) +4194304<x217>[B] (+0) +8388608<x245>[B] (+0) +16777216<x273>[B] (+0) +33554432<x301>[B] (+0) +67108864<x329>[B] (+0) +134217728<x357>[B] (+0) +268435456<x385>[B] (+0) +536870912<x413>[B] (+0) +1.07374182e+09<x441>[B] (+0) +2.14748365e+09<x469>[B] (+0) +4.2949673e+09<x497>[B] (+0) +8.58993459e+09<x525>[B] (+0) +1.71798692e+10<x553>[B] (+0) +3.43597384e+10<x581>[B] (+0) +6.87194767e+10<x609>[B] (+0) +1.37438953e+11<x637>[B] (+0) +2.74877907e+11<x665>[B] (+0) +5.49755814e+11<x693>[B] (+0) +1.09951163e+12<x721>[B] (+0) +2.19902326e+12<x749>[B] (+0) +4.39804651e+12<x777>[B] (+0) +8.79609302e+12<x805>[B] (+0) +1.7592186e+13<x833>[B] (+0) +3.51843721e+13<x861>[B] (+0) +7.03687442e+13<x889>[B] (+0) +1.40737488e+14<x917>[B] (+0) +2097152<x162>[B] (+0) +4194304<x190>[B] (+1) +8388608<x218>[B] (+0) +16777216<x246>[B] (+1) +33554432<x274>[B] (+1) +67108864<x302>[B] (+1) +134217728<x330>[B] (+0) +268435456<x358>[B] (+1) +536870912<x386>[B] (+0) +1.07374182e+09<x414>[B] (+1) +2.14748365e+09<x442>[B] (+1) +4.2949673e+09<x470>[B] (+1) +8.58993459e+09<x498>[B] (+1) +1.71798692e+10<x526>[B] (+1) +3.43597384e+10<x554>[B] (+0) +6.87194767e+10<x582>[B] (+1) +1.37438953e+11<x610>[B] (+0) +2.74877907e+11<x638>[B] (+1) +5.49755814e+11<x666>[B] (+0) +1.09951163e+12<x694>[B] (+1) +2.19902326e+12<x722>[B] (+1) +4.39804651e+12<x750>[B] (+1) +8.79609302e+12<x778>[B] (+1) +1.7592186e+13<x806>[B] (+1) +3.51843721e+13<x834>[B] (+0) +7.03687442e+13<x862>[B] (+1) +1.40737488e+14<x890>[B] (+1) +2.81474977e+14<x918>[B] (+1) +4194304<x163>[B] (+0) +8388608<x191>[B] (+0) +16777216<x219>[B] (+0) +33554432<x247>[B] (+0) +67108864<x275>[B] (+0) +134217728<x303>[B] (+0) +268435456<x331>[B] (+0) +536870912<x359>[B] (+0) +1.07374182e+09<x387>[B] (+0) +2.14748365e+09<x415>[B] (+0) +4.2949673e+09<x443>[B] (+0) +8.58993459e+09<x471>[B] (+0) +1.71798692e+10<x499>[B] (+0) +3.43597384e+10<x527>[B] (+0) +6.87194767e+10<x555>[B] (+0) +1.37438953e+11<x583>[B] (+0) +2.74877907e+11<x611>[B] (+0) +5.49755814e+11<x639>[B] (+0) +1.09951163e+12<x667>[B] (+0) +2.19902326e+12<x695>[B] (+0) +4.39804651e+12<x723>[B] (+0) +8.79609302e+12<x751>[B] (+0) +1.7592186e+13<x779>[B] (+0) +3.51843721e+13<x807>[B] (+0) +7.03687442e+13<x835>[B] (+0) +1.40737488e+14<x863>[B] (+0) +2.81474977e+14<x891>[B] (+0) +5.62949953e+14<x919>[B] (+0) +8388608<x164>[B] (+0) +16777216<x192>[B] (+1) +33554432<x220>[B] (+0) +67108864<x248>[B] (+1) +134217728<x276>[B] (+1) +268435456<x304>[B] (+1) +536870912<x332>[B] (+0) +1.07374182e+09<x360>[B] (+1) +2.14748365e+09<x388>[B] (+0) +4.2949673e+09<x416>[B] (+1) +8.58993459e+09<x444>[B] (+1) +1.71798692e+10<x472>[B] (+1) +3.43597384e+10<x500>[B] (+1) +6.87194767e+10<x528>[B] (+1) +1.37438953e+11<x556>[B] (+0) +2.74877907e+11<x584>[B] (+1) +5.49755814e+11<x612>[B] (+0) +1.09951163e+12<x640>[B] (+1) +2.19902326e+12<x668>[B] (+0) +4.39804651e+12<x696>[B] (+1) +8.79609302e+12<x724>[B] (+1) +1.7592186e+13<x752>[B] (+1) +3.51843721e+13<x780>[B] (+1) +7.03687442e+13<x808>[B] (+1) +1.40737488e+14<x836>[B] (+0) +2.81474977e+14<x864>[B] (+1) +5.62949953e+14<x892>[B] (+1) +1.12589991e+15<x920>[B] (+1) +16777216<x165>[B] (+0) +33554432<x193>[B] (+0) +67108864<x221>[B] (+0) +134217728<x249>[B] (+0) +268435456<x277>[B] (+0) +536870912<x305>[B] (+0) +1.07374182e+09<x333>[B] (+0) +2.14748365e+09<x361>[B] (+0) +4.2949673e+09<x389>[B] (+0) +8.58993459e+09<x417>[B] (+0) +1.71798692e+10<x445>[B] (+0) +3.43597384e+10<x473>[B] (+0) +6.87194767e+10<x501>[B] (+0) +1.37438953e+11<x529>[B] (+0) +2.74877907e+11<x557>[B] (+0) +5.49755814e+11<x585>[B] (+0) +1.09951163e+12<x613>[B] (+0) +2.19902326e+12<x641>[B] (+0) +4.39804651e+12<x669>[B] (+0) +8.79609302e+12<x697>[B] (+0) +1.7592186e+13<x725>[B] (+0) +3.51843721e+13<x753>[B] (+0) +7.03687442e+13<x781>[B] (+0) +1.40737488e+14<x809>[B] (+0) +2.81474977e+14<x837>[B] (+0) +5.62949953e+14<x865>[B] (+0) +1.12589991e+15<x893>[B] (+0) +2.25179981e+15<x921>[B] (+0) +33554432<x166>[B] (+0) +67108864<x194>[B] (+1) +134217728<x222>[B] (+0) +268435456<x250>[B] (+1) +536870912<x278>[B] (+1) +1.07374182e+09<x306>[B] (+1) +2.14748365e+09<x334>[B] (+0) +4.2949673e+09<x362>[B] (+1) +8.58993459e+09<x390>[B] (+0) +1.71798692e+10<x418>[B] (+1) +3.43597384e+10<x446>[B] (+1) +6.87194767e+10<x474>[B] (+1) +1.37438953e+11<x502>[B] (+1) +2.74877907e+11<x530>[B] (+1) +5.49755814e+11<x558>[B] (+0) +1.09951163e+12<x586>[B] (+1) +2.19902326e+12<x614>[B] (+0) +4.39804651e+12<x642>[B] (+1) +8.79609302e+12<x670>[B] (+0) +1.7592186e+13<x698>[B] (+1) +3.51843721e+13<x726>[B] (+1) +7.03687442e+13<x754>[B] (+1) +1.40737488e+14<x782>[B] (+1) +2.81474977e+14<x810>[B] (+1) +5.62949953e+14<x838>[B] (+0) +1.12589991e+15<x866>[B] (+1) +2.25179981e+15<x894>[B] (+1) +4.50359963e+15<x922>[B] (+1) +67108864<x167>[B] (+0) +134217728<x195>[B] (+0) +268435456<x223>[B] (+0) +536870912<x251>[B] (+0) +1.07374182e+09<x279>[B] (+0) +2.14748365e+09<x307>[B] (+0) +4.2949673e+09<x335>[B] (+0) +8.58993459e+09<x363>[B] (+0) +1.71798692e+10<x391>[B] (+0) +3.43597384e+10<x419>[B] (+0) +6.87194767e+10<x447>[B] (+0) +1.37438953e+11<x475>[B] (+0) +2.74877907e+11<x503>[B] (+0) +5.49755814e+11<x531>[B] (+0) +1.09951163e+12<x559>[B] (+0) +2.19902326e+12<x587>[B] (+0) +4.39804651e+12<x615>[B] (+0) +8.79609302e+12<x643>[B] (+0) +1.7592186e+13<x671>[B] (+0) +3.51843721e+13<x699>[B] (+0) +7.03687442e+13<x727>[B] (+0) +1.40737488e+14<x755>[B] (+0) +2.81474977e+14<x783>[B] (+0) +5.62949953e+14<x811>[B] (+0) +1.12589991e+15<x839>[B] (+0) +2.25179981e+15<x867>[B] (+0) +4.50359963e+15<x895>[B] (+0) +9.00719925e+15<x923>[B] (+0) +134217728<x168>[B] (+0) +268435456<x196>[B] (+1) +536870912<x224>[B] (+0) +1.07374182e+09<x252>[B] (+1) +2.14748365e+09<x280>[B] (+1) +4.2949673e+09<x308>[B] (+1) +8.58993459e+09<x336>[B] (+0) +1.71798692e+10<x364>[B] (+1) +3.43597384e+10<x392>[B] (+0) +6.87194767e+10<x420>[B] (+1) +1.37438953e+11<x448>[B] (+1) +2.74877907e+11<x476>[B] (+1) +5.49755814e+11<x504>[B] (+1) +1.09951163e+12<x532>[B] (+1) +2.19902326e+12<x560>[B] (+0) +4.39804651e+12<x588>[B] (+1) +8.79609302e+12<x616>[B] (+0) +1.7592186e+13<x644>[B] (+1) +3.51843721e+13<x672>[B] (+0) +7.03687442e+13<x700>[B] (+1) +1.40737488e+14<x728>[B] (+1) +2.81474977e+14<x756>[B] (+1) +5.62949953e+14<x784>[B] (+1) +1.12589991e+15<x812>[B] (+1) +2.25179981e+15<x840>[B] (+0) +4.50359963e+15<x868>[B] (+1) +9.00719925e+15<x896>[B] (+1) +1.80143985e+16<x924>[B] (+1) -<x1709>[B] (+0) -2<x1710>[B] (+1) -4<x1711>[B] (+1) -8<x1712>[B] (+1) -16<x1713>[B] (+1) -32<x1714>[B] (+1) -64<x1715>[B] (+1) -128<x1716>[B] (+1) -256<x1717>[B] (+1) -512<x1718>[B] (+1) -1024<x1719>[B] (+1) -2048<x1720>[B] (+1) -4096<x1721>[B] (+1) -8192<x1722>[B] (+1) -16384<x1723>[B] (+1) -32768<x1724>[B] (+1) -65536<x1725>[B] (+1) -131072<x1726>[B] (+1) -262144<x1727>[B] (+1) -524288<x1728>[B] (+1) -1048576<x1729>[B] (+0) -2097152<x1730>[B] (+1) -4194304<x1731>[B] (+0) -8388608<x1732>[B] (+1) -16777216<x1733>[B] (+0) -33554432<x1734>[B] (+0) -67108864<x1735>[B] (+0) -134217728<x1736>[B] (+0) -268435456<x1737>[B] (+0) -536870912<x1738>[B] (+1) -1.07374182e+09<x1739>[B] (+1) -2.14748365e+09<x1740>[B] (+0) -4.2949673e+09<x1741>[B] (+0) -8.58993459e+09<x1742>[B] (+1) -1.71798692e+10<x1743>[B] (+0) -3.43597384e+10<x1744>[B] (+0) -6.87194767e+10<x1745>[B] (+1) -1.37438953e+11<x1746>[B] (+1) -2.74877907e+11<x1747>[B] (+1) -5.49755814e+11<x1748>[B] (+1) -1.09951163e+12<x1749>[B] (+1) -2.19902326e+12<x1750>[B] (+1) -4.39804651e+12<x1751>[B] (+1) -8.79609302e+12<x1752>[B] (+0) -1.7592186e+13<x1753>[B] (+0) -3.51843721e+13<x1754>[B] (+0) -7.03687442e+13<x1755>[B] (+1) -1.40737488e+14<x1756>[B] (+1) -2.81474977e+14<x1757>[B] (+1) -5.62949953e+14<x1758>[B] (+1) -1.12589991e+15<x1759>[B] (+1) -2.25179981e+15<x1760>[B] (+1) -4.50359963e+15<x1761>[B] (+1) -9.00719925e+15<x1762>[B] (+0) -1.80143985e+16<x1763>[B] (+0) -3.6028797e+16<x1764>[B] (+1) == 0;
57.06/57.39 c ;
57.06/57.39 c violation: right hand side is violated by 8
57.06/57.39 c best solution is not feasible in original problem
57.06/57.39 c [linear] <linear199>: <x141>[B] (+0) +2<x169>[B] (+0) +4<x197>[B] (+0) +8<x225>[B] (+0) +16<x253>[B] (+0) +32<x281>[B] (+0) +64<x309>[B] (+0) +128<x337>[B] (+0) +256<x365>[B] (+0) +512<x393>[B] (+0) +1024<x421>[B] (+0) +2048<x449>[B] (+0) +4096<x477>[B] (+0) +8192<x505>[B] (+0) +16384<x533>[B] (+0) +32768<x561>[B] (+0) +65536<x589>[B] (+0) +131072<x617>[B] (+0) +262144<x645>[B] (+0) +524288<x673>[B] (+0) +1048576<x701>[B] (+0) +2097152<x729>[B] (+0) +4194304<x757>[B] (+0) +8388608<x785>[B] (+0) +16777216<x813>[B] (+0) +33554432<x841>[B] (+0) +67108864<x869>[B] (+0) +134217728<x897>[B] (+0) +2<x142>[B] (+0) +4<x170>[B] (+1) +8<x198>[B] (+0) +16<x226>[B] (+1) +32<x254>[B] (+1) +64<x282>[B] (+1) +128<x310>[B] (+0) +256<x338>[B] (+1) +512<x366>[B] (+0) +1024<x394>[B] (+1) +2048<x422>[B] (+1) +4096<x450>[B] (+1) +8192<x478>[B] (+1) +16384<x506>[B] (+1) +32768<x534>[B] (+0) +65536<x562>[B] (+1) +131072<x590>[B] (+0) +262144<x618>[B] (+1) +524288<x646>[B] (+0) +1048576<x674>[B] (+1) +2097152<x702>[B] (+1) +4194304<x730>[B] (+1) +8388608<x758>[B] (+1) +16777216<x786>[B] (+1) +33554432<x814>[B] (+0) +67108864<x842>[B] (+1) +134217728<x870>[B] (+1) +268435456<x898>[B] (+1) +4<x143>[B] (+0) +8<x171>[B] (+0) +16<x199>[B] (+0) +32<x227>[B] (+0) +64<x255>[B] (+0) +128<x283>[B] (+0) +256<x311>[B] (+0) +512<x339>[B] (+0) +1024<x367>[B] (+0) +2048<x395>[B] (+0) +4096<x423>[B] (+0) +8192<x451>[B] (+0) +16384<x479>[B] (+0) +32768<x507>[B] (+0) +65536<x535>[B] (+0) +131072<x563>[B] (+0) +262144<x591>[B] (+0) +524288<x619>[B] (+0) +1048576<x647>[B] (+0) +2097152<x675>[B] (+0) +4194304<x703>[B] (+0) +8388608<x731>[B] (+0) +16777216<x759>[B] (+0) +33554432<x787>[B] (+0) +67108864<x815>[B] (+0) +134217728<x843>[B] (+0) +268435456<x871>[B] (+0) +536870912<x899>[B] (+0) +8<x144>[B] (+0) +16<x172>[B] (+1) +32<x200>[B] (+0) +64<x228>[B] (+1) +128<x256>[B] (+1) +256<x284>[B] (+1) +512<x312>[B] (+0) +1024<x340>[B] (+1) +2048<x368>[B] (+0) +4096<x396>[B] (+1) +8192<x424>[B] (+1) +16384<x452>[B] (+1) +32768<x480>[B] (+1) +65536<x508>[B] (+1) +131072<x536>[B] (+0) +262144<x564>[B] (+1) +524288<x592>[B] (+0) +1048576<x620>[B] (+1) +2097152<x648>[B] (+0) +4194304<x676>[B] (+1) +8388608<x704>[B] (+1) +16777216<x732>[B] (+1) +33554432<x760>[B] (+1) +67108864<x788>[B] (+1) +134217728<x816>[B] (+0) +268435456<x844>[B] (+1) +536870912<x872>[B] (+1) +1.07374182e+09<x900>[B] (+1) +16<x145>[B] (+0) +32<x173>[B] (+0) +64<x201>[B] (+0) +128<x229>[B] (+0) +256<x257>[B] (+0) +512<x285>[B] (+0) +1024<x313>[B] (+0) +2048<x341>[B] (+0) +4096<x369>[B] (+0) +8192<x397>[B] (+0) +16384<x425>[B] (+0) +32768<x453>[B] (+0) +65536<x481>[B] (+0) +131072<x509>[B] (+0) +262144<x537>[B] (+0) +524288<x565>[B] (+0) +1048576<x593>[B] (+0) +2097152<x621>[B] (+0) +4194304<x649>[B] (+0) +8388608<x677>[B] (+0) +16777216<x705>[B] (+0) +33554432<x733>[B] (+0) +67108864<x761>[B] (+0) +134217728<x789>[B] (+0) +268435456<x817>[B] (+0) +536870912<x845>[B] (+0) +1.07374182e+09<x873>[B] (+0) +2.14748365e+09<x901>[B] (+0) +32<x146>[B] (+0) +64<x174>[B] (+1) +128<x202>[B] (+0) +256<x230>[B] (+1) +512<x258>[B] (+1) +1024<x286>[B] (+1) +2048<x314>[B] (+0) +4096<x342>[B] (+1) +8192<x370>[B] (+0) +16384<x398>[B] (+1) +32768<x426>[B] (+1) +65536<x454>[B] (+1) +131072<x482>[B] (+1) +262144<x510>[B] (+1) +524288<x538>[B] (+0) +1048576<x566>[B] (+1) +2097152<x594>[B] (+0) +4194304<x622>[B] (+1) +8388608<x650>[B] (+0) +16777216<x678>[B] (+1) +33554432<x706>[B] (+1) +67108864<x734>[B] (+1) +134217728<x762>[B] (+1) +268435456<x790>[B] (+1) +536870912<x818>[B] (+0) +1.07374182e+09<x846>[B] (+1) +2.14748365e+09<x874>[B] (+1) +4.2949673e+09<x902>[B] (+1) +64<x147>[B] (+0) +128<x175>[B] (+0) +256<x203>[B] (+0) +512<x231>[B] (+0) +1024<x259>[B] (+0) +2048<x287>[B] (+0) +4096<x315>[B] (+0) +8192<x343>[B] (+0) +16384<x371>[B] (+0) +32768<x399>[B] (+0) +65536<x427>[B] (+0) +131072<x455>[B] (+0) +262144<x483>[B] (+0) +524288<x511>[B] (+0) +1048576<x539>[B] (+0) +2097152<x567>[B] (+0) +4194304<x595>[B] (+0) +8388608<x623>[B] (+0) +16777216<x651>[B] (+0) +33554432<x679>[B] (+0) +67108864<x707>[B] (+0) +134217728<x735>[B] (+0) +268435456<x763>[B] (+0) +536870912<x791>[B] (+0) +1.07374182e+09<x819>[B] (+0) +2.14748365e+09<x847>[B] (+0) +4.2949673e+09<x875>[B] (+0) +8.58993459e+09<x903>[B] (+0) +128<x148>[B] (+0) +256<x176>[B] (+1) +512<x204>[B] (+0) +1024<x232>[B] (+1) +2048<x260>[B] (+1) +4096<x288>[B] (+1) +8192<x316>[B] (+0) +16384<x344>[B] (+1) +32768<x372>[B] (+0) +65536<x400>[B] (+1) +131072<x428>[B] (+1) +262144<x456>[B] (+1) +524288<x484>[B] (+1) +1048576<x512>[B] (+1) +2097152<x540>[B] (+0) +4194304<x568>[B] (+1) +8388608<x596>[B] (+0) +16777216<x624>[B] (+1) +33554432<x652>[B] (+0) +67108864<x680>[B] (+1) +134217728<x708>[B] (+1) +268435456<x736>[B] (+1) +536870912<x764>[B] (+1) +1.07374182e+09<x792>[B] (+1) +2.14748365e+09<x820>[B] (+0) +4.2949673e+09<x848>[B] (+1) +8.58993459e+09<x876>[B] (+1) +1.71798692e+10<x904>[B] (+1) +256<x149>[B] (+0) +512<x177>[B] (+0) +1024<x205>[B] (+0) +2048<x233>[B] (+0) +4096<x261>[B] (+0) +8192<x289>[B] (+0) +16384<x317>[B] (+0) +32768<x345>[B] (+0) +65536<x373>[B] (+0) +131072<x401>[B] (+0) +262144<x429>[B] (+0) +524288<x457>[B] (+0) +1048576<x485>[B] (+0) +2097152<x513>[B] (+0) +4194304<x541>[B] (+0) +8388608<x569>[B] (+0) +16777216<x597>[B] (+0) +33554432<x625>[B] (+0) +67108864<x653>[B] (+0) +134217728<x681>[B] (+0) +268435456<x709>[B] (+0) +536870912<x737>[B] (+0) +1.07374182e+09<x765>[B] (+0) +2.14748365e+09<x793>[B] (+0) +4.2949673e+09<x821>[B] (+0) +8.58993459e+09<x849>[B] (+0) +1.71798692e+10<x877>[B] (+0) +3.43597384e+10<x905>[B] (+0) +512<x150>[B] (+0) +1024<x178>[B] (+1) +2048<x206>[B] (+0) +4096<x234>[B] (+1) +8192<x262>[B] (+1) +16384<x290>[B] (+1) +32768<x318>[B] (+0) +65536<x346>[B] (+1) +131072<x374>[B] (+0) +262144<x402>[B] (+1) +524288<x430>[B] (+1) +1048576<x458>[B] (+1) +2097152<x486>[B] (+1) +4194304<x514>[B] (+1) +8388608<x542>[B] (+0) +16777216<x570>[B] (+1) +33554432<x598>[B] (+0) +67108864<x626>[B] (+1) +134217728<x654>[B] (+0) +268435456<x682>[B] (+1) +536870912<x710>[B] (+1) +1.07374182e+09<x738>[B] (+1) +2.14748365e+09<x766>[B] (+1) +4.2949673e+09<x794>[B] (+1) +8.58993459e+09<x822>[B] (+0) +1.71798692e+10<x850>[B] (+1) +3.43597384e+10<x878>[B] (+1) +6.87194767e+10<x906>[B] (+1) +1024<x151>[B] (+0) +2048<x179>[B] (+0) +4096<x207>[B] (+0) +8192<x235>[B] (+0) +16384<x263>[B] (+0) +32768<x291>[B] (+0) +65536<x319>[B] (+0) +131072<x347>[B] (+0) +262144<x375>[B] (+0) +524288<x403>[B] (+0) +1048576<x431>[B] (+0) +2097152<x459>[B] (+0) +4194304<x487>[B] (+0) +8388608<x515>[B] (+0) +16777216<x543>[B] (+0) +33554432<x571>[B] (+0) +67108864<x599>[B] (+0) +134217728<x627>[B] (+0) +268435456<x655>[B] (+0) +536870912<x683>[B] (+0) +1.07374182e+09<x711>[B] (+0) +2.14748365e+09<x739>[B] (+0) +4.2949673e+09<x767>[B] (+0) +8.58993459e+09<x795>[B] (+0) +1.71798692e+10<x823>[B] (+0) +3.43597384e+10<x851>[B] (+0) +6.87194767e+10<x879>[B] (+0) +1.37438953e+11<x907>[B] (+0) +2048<x152>[B] (+0) +4096<x180>[B] (+1) +8192<x208>[B] (+0) +16384<x236>[B] (+1) +32768<x264>[B] (+1) +65536<x292>[B] (+1) +131072<x320>[B] (+0) +262144<x348>[B] (+1) +524288<x376>[B] (+0) +1048576<x404>[B] (+1) +2097152<x432>[B] (+1) +4194304<x460>[B] (+1) +8388608<x488>[B] (+1) +16777216<x516>[B] (+1) +33554432<x544>[B] (+0) +67108864<x572>[B] (+1) +134217728<x600>[B] (+0) +268435456<x628>[B] (+1) +536870912<x656>[B] (+0) +1.07374182e+09<x684>[B] (+1) +2.14748365e+09<x712>[B] (+1) +4.2949673e+09<x740>[B] (+1) +8.58993459e+09<x768>[B] (+1) +1.71798692e+10<x796>[B] (+1) +3.43597384e+10<x824>[B] (+0) +6.87194767e+10<x852>[B] (+1) +1.37438953e+11<x880>[B] (+1) +2.74877907e+11<x908>[B] (+1) +4096<x153>[B] (+0) +8192<x181>[B] (+1.63611598e-07) +16384<x209>[B] (+0) +32768<x237>[B] (+1.63611598e-07) +65536<x265>[B] (+0) +131072<x293>[B] (+1.63611598e-07) +262144<x321>[B] (+0) +524288<x349>[B] (+1.63611598e-07) +1048576<x377>[B] (+0) +2097152<x405>[B] (+1.63611598e-07) +4194304<x433>[B] (+1.63611598e-07) +8388608<x461>[B] (+1.63611598e-07) +16777216<x489>[B] (+1.63611598e-07) +33554432<x517>[B] (+1.63611598e-07) +67108864<x545>[B] (+0) +134217728<x573>[B] (+1.63611598e-07) +268435456<x601>[B] (+0) +536870912<x629>[B] (+1.63611598e-07) +1.07374182e+09<x657>[B] (+0) +2.14748365e+09<x685>[B] (+1.63611598e-07) +4.2949673e+09<x713>[B] (+0) +8.58993459e+09<x741>[B] (+1.63611598e-07) +1.71798692e+10<x769>[B] (+0) +3.43597384e+10<x797>[B] (+1.63611598e-07) +6.87194767e+10<x825>[B] (+0) +1.37438953e+11<x853>[B] (+1.63611598e-07) +2.74877907e+11<x881>[B] (+0) +5.49755814e+11<x909>[B] (+1.63611598e-07) +8192<x154>[B] (+0) +16384<x182>[B] (+1) +32768<x210>[B] (+0) +65536<x238>[B] (+1) +131072<x266>[B] (+1) +262144<x294>[B] (+1) +524288<x322>[B] (+0) +1048576<x350>[B] (+1) +2097152<x378>[B] (+0) +4194304<x406>[B] (+1) +8388608<x434>[B] (+1) +16777216<x462>[B] (+1) +33554432<x490>[B] (+1) +67108864<x518>[B] (+1) +134217728<x546>[B] (+0) +268435456<x574>[B] (+1) +536870912<x602>[B] (+0) +1.07374182e+09<x630>[B] (+1) +2.14748365e+09<x658>[B] (+0) +4.2949673e+09<x686>[B] (+1) +8.58993459e+09<x714>[B] (+1) +1.71798692e+10<x742>[B] (+1) +3.43597384e+10<x770>[B] (+1) +6.87194767e+10<x798>[B] (+1) +1.37438953e+11<x826>[B] (+0) +2.74877907e+11<x854>[B] (+1) +5.49755814e+11<x882>[B] (+1) +1.09951163e+12<x910>[B] (+1) +16384<x155>[B] (+0) +32768<x183>[B] (+0) +65536<x211>[B] (+0) +131072<x239>[B] (+0) +262144<x267>[B] (+0) +524288<x295>[B] (+0) +1048576<x323>[B] (+0) +2097152<x351>[B] (+0) +4194304<x379>[B] (+0) +8388608<x407>[B] (+0) +16777216<x435>[B] (+0) +33554432<x463>[B] (+0) +67108864<x491>[B] (+0) +134217728<x519>[B] (+0) +268435456<x547>[B] (+0) +536870912<x575>[B] (+0) +1.07374182e+09<x603>[B] (+0) +2.14748365e+09<x631>[B] (+0) +4.2949673e+09<x659>[B] (+0) +8.58993459e+09<x687>[B] (+0) +1.71798692e+10<x715>[B] (+0) +3.43597384e+10<x743>[B] (+0) +6.87194767e+10<x771>[B] (+0) +1.37438953e+11<x799>[B] (+0) +2.74877907e+11<x827>[B] (+0) +5.49755814e+11<x855>[B] (+0) +1.09951163e+12<x883>[B] (+0) +2.19902326e+12<x911>[B] (+0) +32768<x156>[B] (+0) +65536<x184>[B] (+1) +131072<x212>[B] (+0) +262144<x240>[B] (+1) +524288<x268>[B] (+1) +1048576<x296>[B] (+1) +2097152<x324>[B] (+0) +4194304<x352>[B] (+1) +8388608<x380>[B] (+0) +16777216<x408>[B] (+1) +33554432<x436>[B] (+1) +67108864<x464>[B] (+1) +134217728<x492>[B] (+1) +268435456<x520>[B] (+1) +536870912<x548>[B] (+0) +1.07374182e+09<x576>[B] (+1) +2.14748365e+09<x604>[B] (+0) +4.2949673e+09<x632>[B] (+1) +8.58993459e+09<x660>[B] (+0) +1.71798692e+10<x688>[B] (+1) +3.43597384e+10<x716>[B] (+1) +6.87194767e+10<x744>[B] (+1) +1.37438953e+11<x772>[B] (+1) +2.74877907e+11<x800>[B] (+1) +5.49755814e+11<x828>[B] (+0) +1.09951163e+12<x856>[B] (+1) +2.19902326e+12<x884>[B] (+1) +4.39804651e+12<x912>[B] (+1) +65536<x157>[B] (+0) +131072<x185>[B] (+0) +262144<x213>[B] (+0) +524288<x241>[B] (+0) +1048576<x269>[B] (+0) +2097152<x297>[B] (+0) +4194304<x325>[B] (+0) +8388608<x353>[B] (+0) +16777216<x381>[B] (+0) +33554432<x409>[B] (+0) +67108864<x437>[B] (+0) +134217728<x465>[B] (+0) +268435456<x493>[B] (+0) +536870912<x521>[B] (+0) +1.07374182e+09<x549>[B] (+0) +2.14748365e+09<x577>[B] (+0) +4.2949673e+09<x605>[B] (+0) +8.58993459e+09<x633>[B] (+0) +1.71798692e+10<x661>[B] (+0) +3.43597384e+10<x689>[B] (+0) +6.87194767e+10<x717>[B] (+0) +1.37438953e+11<x745>[B] (+0) +2.74877907e+11<x773>[B] (+0) +5.49755814e+11<x801>[B] (+0) +1.09951163e+12<x829>[B] (+0) +2.19902326e+12<x857>[B] (+0) +4.39804651e+12<x885>[B] (+0) +8.79609302e+12<x913>[B] (+0) +131072<x158>[B] (+0) +262144<x186>[B] (+1) +524288<x214>[B] (+0) +1048576<x242>[B] (+1) +2097152<x270>[B] (+1) +4194304<x298>[B] (+1) +8388608<x326>[B] (+0) +16777216<x354>[B] (+1) +33554432<x382>[B] (+0) +67108864<x410>[B] (+1) +134217728<x438>[B] (+1) +268435456<x466>[B] (+1) +536870912<x494>[B] (+1) +1.07374182e+09<x522>[B] (+1) +2.14748365e+09<x550>[B] (+0) +4.2949673e+09<x578>[B] (+1) +8.58993459e+09<x606>[B] (+0) +1.71798692e+10<x634>[B] (+1) +3.43597384e+10<x662>[B] (+0) +6.87194767e+10<x690>[B] (+1) +1.37438953e+11<x718>[B] (+1) +2.74877907e+11<x746>[B] (+1) +5.49755814e+11<x774>[B] (+1) +1.09951163e+12<x802>[B] (+1) +2.19902326e+12<x830>[B] (+0) +4.39804651e+12<x858>[B] (+1) +8.79609302e+12<x886>[B] (+1) +1.7592186e+13<x914>[B] (+1) +262144<x159>[B] (+0) +524288<x187>[B] (+0) +1048576<x215>[B] (+0) +2097152<x243>[B] (+0) +4194304<x271>[B] (+0) +8388608<x299>[B] (+0) +16777216<x327>[B] (+0) +33554432<x355>[B] (+0) +67108864<x383>[B] (+0) +134217728<x411>[B] (+0) +268435456<x439>[B] (+0) +536870912<x467>[B] (+0) +1.07374182e+09<x495>[B] (+0) +2.14748365e+09<x523>[B] (+0) +4.2949673e+09<x551>[B] (+0) +8.58993459e+09<x579>[B] (+0) +1.71798692e+10<x607>[B] (+0) +3.43597384e+10<x635>[B] (+0) +6.87194767e+10<x663>[B] (+0) +1.37438953e+11<x691>[B] (+0) +2.74877907e+11<x719>[B] (+0) +5.49755814e+11<x747>[B] (+0) +1.09951163e+12<x775>[B] (+0) +2.19902326e+12<x803>[B] (+0) +4.39804651e+12<x831>[B] (+0) +8.79609302e+12<x859>[B] (+0) +1.7592186e+13<x887>[B] (+0) +3.51843721e+13<x915>[B] (+0) +524288<x160>[B] (+0) +1048576<x188>[B] (+1) +2097152<x216>[B] (+0) +4194304<x244>[B] (+1) +8388608<x272>[B] (+1) +16777216<x300>[B] (+1) +33554432<x328>[B] (+0) +67108864<x356>[B] (+1) +134217728<x384>[B] (+0) +268435456<x412>[B] (+1) +536870912<x440>[B] (+1) +1.07374182e+09<x468>[B] (+1) +2.14748365e+09<x496>[B] (+1) +4.2949673e+09<x524>[B] (+1) +8.58993459e+09<x552>[B] (+0) +1.71798692e+10<x580>[B] (+1) +3.43597384e+10<x608>[B] (+0) +6.87194767e+10<x636>[B] (+1) +1.37438953e+11<x664>[B] (+0) +2.74877907e+11<x692>[B] (+1) +5.49755814e+11<x720>[B] (+1) +1.09951163e+12<x748>[B] (+1) +2.19902326e+12<x776>[B] (+1) +4.39804651e+12<x804>[B] (+1) +8.79609302e+12<x832>[B] (+0) +1.7592186e+13<x860>[B] (+1) +3.51843721e+13<x888>[B] (+1) +7.03687442e+13<x916>[B] (+1) +1048576<x161>[B] (+0) +2097152<x189>[B] (+0) +4194304<x217>[B] (+0) +8388608<x245>[B] (+0) +16777216<x273>[B] (+0) +33554432<x301>[B] (+0) +67108864<x329>[B] (+0) +134217728<x357>[B] (+0) +268435456<x385>[B] (+0) +536870912<x413>[B] (+0) +1.07374182e+09<x441>[B] (+0) +2.14748365e+09<x469>[B] (+0) +4.2949673e+09<x497>[B] (+0) +8.58993459e+09<x525>[B] (+0) +1.71798692e+10<x553>[B] (+0) +3.43597384e+10<x581>[B] (+0) +6.87194767e+10<x609>[B] (+0) +1.37438953e+11<x637>[B] (+0) +2.74877907e+11<x665>[B] (+0) +5.49755814e+11<x693>[B] (+0) +1.09951163e+12<x721>[B] (+0) +2.19902326e+12<x749>[B] (+0) +4.39804651e+12<x777>[B] (+0) +8.79609302e+12<x805>[B] (+0) +1.7592186e+13<x833>[B] (+0) +3.51843721e+13<x861>[B] (+0) +7.03687442e+13<x889>[B] (+0) +1.40737488e+14<x917>[B] (+0) +2097152<x162>[B] (+0) +4194304<x190>[B] (+1) +8388608<x218>[B] (+0) +16777216<x246>[B] (+1) +33554432<x274>[B] (+1) +67108864<x302>[B] (+1) +134217728<x330>[B] (+0) +268435456<x358>[B] (+1) +536870912<x386>[B] (+0) +1.07374182e+09<x414>[B] (+1) +2.14748365e+09<x442>[B] (+1) +4.2949673e+09<x470>[B] (+1) +8.58993459e+09<x498>[B] (+1) +1.71798692e+10<x526>[B] (+1) +3.43597384e+10<x554>[B] (+0) +6.87194767e+10<x582>[B] (+1) +1.37438953e+11<x610>[B] (+0) +2.74877907e+11<x638>[B] (+1) +5.49755814e+11<x666>[B] (+0) +1.09951163e+12<x694>[B] (+1) +2.19902326e+12<x722>[B] (+1) +4.39804651e+12<x750>[B] (+1) +8.79609302e+12<x778>[B] (+1) +1.7592186e+13<x806>[B] (+1) +3.51843721e+13<x834>[B] (+0) +7.03687442e+13<x862>[B] (+1) +1.40737488e+14<x890>[B] (+1) +2.81474977e+14<x918>[B] (+1) +4194304<x163>[B] (+0) +8388608<x191>[B] (+0) +16777216<x219>[B] (+0) +33554432<x247>[B] (+0) +67108864<x275>[B] (+0) +134217728<x303>[B] (+0) +268435456<x331>[B] (+0) +536870912<x359>[B] (+0) +1.07374182e+09<x387>[B] (+0) +2.14748365e+09<x415>[B] (+0) +4.2949673e+09<x443>[B] (+0) +8.58993459e+09<x471>[B] (+0) +1.71798692e+10<x499>[B] (+0) +3.43597384e+10<x527>[B] (+0) +6.87194767e+10<x555>[B] (+0) +1.37438953e+11<x583>[B] (+0) +2.74877907e+11<x611>[B] (+0) +5.49755814e+11<x639>[B] (+0) +1.09951163e+12<x667>[B] (+0) +2.19902326e+12<x695>[B] (+0) +4.39804651e+12<x723>[B] (+0) +8.79609302e+12<x751>[B] (+0) +1.7592186e+13<x779>[B] (+0) +3.51843721e+13<x807>[B] (+0) +7.03687442e+13<x835>[B] (+0) +1.40737488e+14<x863>[B] (+0) +2.81474977e+14<x891>[B] (+0) +5.62949953e+14<x919>[B] (+0) +8388608<x164>[B] (+0) +16777216<x192>[B] (+1) +33554432<x220>[B] (+0) +67108864<x248>[B] (+1) +134217728<x276>[B] (+1) +268435456<x304>[B] (+1) +536870912<x332>[B] (+0) +1.07374182e+09<x360>[B] (+1) +2.14748365e+09<x388>[B] (+0) +4.2949673e+09<x416>[B] (+1) +8.58993459e+09<x444>[B] (+1) +1.71798692e+10<x472>[B] (+1) +3.43597384e+10<x500>[B] (+1) +6.87194767e+10<x528>[B] (+1) +1.37438953e+11<x556>[B] (+0) +2.74877907e+11<x584>[B] (+1) +5.49755814e+11<x612>[B] (+0) +1.09951163e+12<x640>[B] (+1) +2.19902326e+12<x668>[B] (+0) +4.39804651e+12<x696>[B] (+1) +8.79609302e+12<x724>[B] (+1) +1.7592186e+13<x752>[B] (+1) +3.51843721e+13<x780>[B] (+1) +7.03687442e+13<x808>[B] (+1) +1.40737488e+14<x836>[B] (+0) +2.81474977e+14<x864>[B] (+1) +5.62949953e+14<x892>[B] (+1) +1.12589991e+15<x920>[B] (+1) +16777216<x165>[B] (+0) +33554432<x193>[B] (+0) +67108864<x221>[B] (+0) +134217728<x249>[B] (+0) +268435456<x277>[B] (+0) +536870912<x305>[B] (+0) +1.07374182e+09<x333>[B] (+0) +2.14748365e+09<x361>[B] (+0) +4.2949673e+09<x389>[B] (+0) +8.58993459e+09<x417>[B] (+0) +1.71798692e+10<x445>[B] (+0) +3.43597384e+10<x473>[B] (+0) +6.87194767e+10<x501>[B] (+0) +1.37438953e+11<x529>[B] (+0) +2.74877907e+11<x557>[B] (+0) +5.49755814e+11<x585>[B] (+0) +1.09951163e+12<x613>[B] (+0) +2.19902326e+12<x641>[B] (+0) +4.39804651e+12<x669>[B] (+0) +8.79609302e+12<x697>[B] (+0) +1.7592186e+13<x725>[B] (+0) +3.51843721e+13<x753>[B] (+0) +7.03687442e+13<x781>[B] (+0) +1.40737488e+14<x809>[B] (+0) +2.81474977e+14<x837>[B] (+0) +5.62949953e+14<x865>[B] (+0) +1.12589991e+15<x893>[B] (+0) +2.25179981e+15<x921>[B] (+0) +33554432<x166>[B] (+0) +67108864<x194>[B] (+1) +134217728<x222>[B] (+0) +268435456<x250>[B] (+1) +536870912<x278>[B] (+1) +1.07374182e+09<x306>[B] (+1) +2.14748365e+09<x334>[B] (+0) +4.2949673e+09<x362>[B] (+1) +8.58993459e+09<x390>[B] (+0) +1.71798692e+10<x418>[B] (+1) +3.43597384e+10<x446>[B] (+1) +6.87194767e+10<x474>[B] (+1) +1.37438953e+11<x502>[B] (+1) +2.74877907e+11<x530>[B] (+1) +5.49755814e+11<x558>[B] (+0) +1.09951163e+12<x586>[B] (+1) +2.19902326e+12<x614>[B] (+0) +4.39804651e+12<x642>[B] (+1) +8.79609302e+12<x670>[B] (+0) +1.7592186e+13<x698>[B] (+1) +3.51843721e+13<x726>[B] (+1) +7.03687442e+13<x754>[B] (+1) +1.40737488e+14<x782>[B] (+1) +2.81474977e+14<x810>[B] (+1) +5.62949953e+14<x838>[B] (+0) +1.12589991e+15<x866>[B] (+1) +2.25179981e+15<x894>[B] (+1) +4.50359963e+15<x922>[B] (+1) +67108864<x167>[B] (+0) +134217728<x195>[B] (+0) +268435456<x223>[B] (+0) +536870912<x251>[B] (+0) +1.07374182e+09<x279>[B] (+0) +2.14748365e+09<x307>[B] (+0) +4.2949673e+09<x335>[B] (+0) +8.58993459e+09<x363>[B] (+0) +1.71798692e+10<x391>[B] (+0) +3.43597384e+10<x419>[B] (+0) +6.87194767e+10<x447>[B] (+0) +1.37438953e+11<x475>[B] (+0) +2.74877907e+11<x503>[B] (+0) +5.49755814e+11<x531>[B] (+0) +1.09951163e+12<x559>[B] (+0) +2.19902326e+12<x587>[B] (+0) +4.39804651e+12<x615>[B] (+0) +8.79609302e+12<x643>[B] (+0) +1.7592186e+13<x671>[B] (+0) +3.51843721e+13<x699>[B] (+0) +7.03687442e+13<x727>[B] (+0) +1.40737488e+14<x755>[B] (+0) +2.81474977e+14<x783>[B] (+0) +5.62949953e+14<x811>[B] (+0) +1.12589991e+15<x839>[B] (+0) +2.25179981e+15<x867>[B] (+0) +4.50359963e+15<x895>[B] (+0) +9.00719925e+15<x923>[B] (+0) +134217728<x168>[B] (+0) +268435456<x196>[B] (+1) +536870912<x224>[B] (+0) +1.07374182e+09<x252>[B] (+1) +2.14748365e+09<x280>[B] (+1) +4.2949673e+09<x308>[B] (+1) +8.58993459e+09<x336>[B] (+0) +1.71798692e+10<x364>[B] (+1) +3.43597384e+10<x392>[B] (+0) +6.87194767e+10<x420>[B] (+1) +1.37438953e+11<x448>[B] (+1) +2.74877907e+11<x476>[B] (+1) +5.49755814e+11<x504>[B] (+1) +1.09951163e+12<x532>[B] (+1) +2.19902326e+12<x560>[B] (+0) +4.39804651e+12<x588>[B] (+1) +8.79609302e+12<x616>[B] (+0) +1.7592186e+13<x644>[B] (+1) +3.51843721e+13<x672>[B] (+0) +7.03687442e+13<x700>[B] (+1) +1.40737488e+14<x728>[B] (+1) +2.81474977e+14<x756>[B] (+1) +5.62949953e+14<x784>[B] (+1) +1.12589991e+15<x812>[B] (+1) +2.25179981e+15<x840>[B] (+0) +4.50359963e+15<x868>[B] (+1) +9.00719925e+15<x896>[B] (+1) +1.80143985e+16<x924>[B] (+1) -<x1709>[B] (+0) -2<x1710>[B] (+1) -4<x1711>[B] (+1) -8<x1712>[B] (+1) -16<x1713>[B] (+1) -32<x1714>[B] (+1) -64<x1715>[B] (+1) -128<x1716>[B] (+1) -256<x1717>[B] (+1) -512<x1718>[B] (+1) -1024<x1719>[B] (+1) -2048<x1720>[B] (+1) -4096<x1721>[B] (+1) -8192<x1722>[B] (+1) -16384<x1723>[B] (+1) -32768<x1724>[B] (+1) -65536<x1725>[B] (+1) -131072<x1726>[B] (+1) -262144<x1727>[B] (+1) -524288<x1728>[B] (+1) -1048576<x1729>[B] (+0) -2097152<x1730>[B] (+1) -4194304<x1731>[B] (+0) -8388608<x1732>[B] (+1) -16777216<x1733>[B] (+0) -33554432<x1734>[B] (+0) -67108864<x1735>[B] (+0) -134217728<x1736>[B] (+0) -268435456<x1737>[B] (+0) -536870912<x1738>[B] (+1) -1.07374182e+09<x1739>[B] (+1) -2.14748365e+09<x1740>[B] (+0) -4.2949673e+09<x1741>[B] (+0) -8.58993459e+09<x1742>[B] (+1) -1.71798692e+10<x1743>[B] (+0) -3.43597384e+10<x1744>[B] (+0) -6.87194767e+10<x1745>[B] (+1) -1.37438953e+11<x1746>[B] (+1) -2.74877907e+11<x1747>[B] (+1) -5.49755814e+11<x1748>[B] (+1) -1.09951163e+12<x1749>[B] (+1) -2.19902326e+12<x1750>[B] (+1) -4.39804651e+12<x1751>[B] (+1) -8.79609302e+12<x1752>[B] (+0) -1.7592186e+13<x1753>[B] (+0) -3.51843721e+13<x1754>[B] (+0) -7.03687442e+13<x1755>[B] (+1) -1.40737488e+14<x1756>[B] (+1) -2.81474977e+14<x1757>[B] (+1) -5.62949953e+14<x1758>[B] (+1) -1.12589991e+15<x1759>[B] (+1) -2.25179981e+15<x1760>[B] (+1) -4.50359963e+15<x1761>[B] (+1) -9.00719925e+15<x1762>[B] (+0) -1.80143985e+16<x1763>[B] (+0) -3.6028797e+16<x1764>[B] (+1) == 0;
57.06/57.39 c ;
57.06/57.39 c violation: right hand side is violated by 8
57.06/57.39 c SCIP found a solution, but it is not feasible according to the original problem.
57.06/57.39 c WARNING: SCIP encountered numerical troubles during optimization.
57.06/57.39 c ----------------------------------------------------------------------
57.06/57.39 c executing external solver (fallback): HOME/naps-1.03a6
57.06/57.39 c ----------------------------------------------------------------------
57.06/57.39 c command: HOME/naps-1.03a6 HOME/instance-4530037-1752261612.opb
57.16/57.40 c NaPS 1.03a6.
57.16/57.40 c Input file name: HOME/instance-4530037-1752261612.opb
72.20/72.54 c s UNSATISFIABLE
72.20/72.54 c _____________________________________________________________________________
72.20/72.54 c std/band forms : 1,2
72.20/72.54 c 2cl/3cl ITE-codings : 55,43794
72.20/72.54 c BDD/srt/adr Max costs : 23492,0,0
72.20/72.54 c BDDraw/bin/mul/srt/adr: 3,0,0,0,0
72.20/72.54 c BDD nodes : 47153
72.20/72.54 c Es1/CC detections : 0,0
72.20/72.54 c CC sort : 0
72.20/72.54 c SAT/UNSAT calls : 0,1
72.20/72.54 c regenrated variables : 0
72.20/72.54 c eliminated fixed lits : 3936
72.20/72.54 c goal lit flips : 0
72.20/72.54 c goal stages : 0
72.20/72.54 c goal shrink : 0
72.20/72.54 c goal coeff separations: 0
72.20/72.54 c restarts : 1224
72.20/72.54 c conflicts : 31320 (2079 /sec)
72.20/72.54 c decisions : 60324 (4005 /sec)
72.20/72.54 c propagations : 120554851 (8003285 /sec)
72.20/72.54 c inspects : 0 (0 /sec)
72.20/72.54 c CPU time (solving tm) : 15.06 s (14.27 s, SAT 0 s, UNSAT 14.27 s)
72.20/72.54 c Time for Opt-base : 0 s
72.20/72.54 c Steps for Opt-base : 0
72.20/72.54 c Time for BDD coding : 0.6386 s
72.20/72.54 c Time for srt coding : 0 s
72.20/72.54 c _____________________________________________________________________________
72.20/72.55 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62566 MiB free)
memory of node 1: 64507 MiB (37989 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530037-1752261612/watcher-4530037-1752261612 -o /tmp/evaluation-result-4530037-1752261612/solver-4530037-1752261612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752253269-119226 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530037-1752261612.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=121783, runsolver pid=121780
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.02 4.08 4.10 5/259 121788
/proc/meminfo: memFree=102969108/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=13328 memory=10624 CPUtime=0.06 cores=0,2
/proc/121788/stat : 121788 (python3) D 121783 121783 119216 0 -1 4194304 1618 0 0 0 5 1 0 0 20 0 1 0 141840903 13647872 2656 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 2 1 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 3332 2656 1248 1 0 1474 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 17520 KiB
Current children cumulated memory: 13568 KiB
[startup+0.214653 s]*
/proc/loadavg: 4.02 4.08 4.10 5/259 121788
/proc/meminfo: memFree=102969380/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1186548 memory=31448 CPUtime=0.17 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 3629 0 0 0 15 2 0 0 20 0 1 0 141840903 1215025152 7862 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 296637 7862 4856 1 0 268659 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1190740 KiB
Current children cumulated memory: 34392 KiB
[startup+0.313611 s]*
/proc/loadavg: 4.02 4.08 4.10 5/259 121788
/proc/meminfo: memFree=102969380/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1191092 memory=36568 CPUtime=0.26 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 4690 0 0 0 24 2 0 0 20 0 1 0 141840903 1219678208 9142 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 297773 9142 5112 1 0 269664 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1195284 KiB
Current children cumulated memory: 39512 KiB
[startup+0.700296 s]
/proc/loadavg: 4.02 4.08 4.10 5/259 121788
/proc/meminfo: memFree=102969380/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1213308 memory=65624 CPUtime=0.63 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 9183 0 0 0 60 3 0 0 20 0 1 0 141840903 1242427392 16406 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 303327 16406 8120 1 0 274685 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1217500 KiB
Current children cumulated memory: 68568 KiB
[startup+1.5003 s]
/proc/loadavg: 4.02 4.08 4.10 5/259 121788
/proc/meminfo: memFree=102969128/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1213740 memory=66136 CPUtime=1.42 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 9308 0 0 0 139 3 0 0 20 0 1 0 141840903 1242869760 16534 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 303435 16534 8120 1 0 274793 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 1217932 KiB
Current children cumulated memory: 69080 KiB
[startup+3.11318 s]
/proc/loadavg: 4.02 4.08 4.10 5/259 121788
/proc/meminfo: memFree=102969144/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1214636 memory=67032 CPUtime=3.04 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 9541 0 0 0 300 4 0 0 20 0 1 0 141840903 1243787264 16758 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 303659 16758 8120 1 0 275017 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1218828 KiB
Current children cumulated memory: 69976 KiB
[startup+6.30029 s]
/proc/loadavg: 4.02 4.08 4.10 5/259 121788
/proc/meminfo: memFree=102965264/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1216636 memory=69208 CPUtime=6.22 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 10065 0 0 0 618 4 0 0 20 0 1 0 141840903 1245835264 17302 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 304159 17302 8120 1 0 275517 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1220828 KiB
Current children cumulated memory: 72152 KiB
[startup+12.7003 s]
/proc/loadavg: 4.02 4.08 4.10 5/259 121788
/proc/meminfo: memFree=102952064/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1220416 memory=72024 CPUtime=12.6 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 10764 0 0 0 1256 4 0 0 20 0 1 0 141840903 1249705984 18006 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 305104 18006 8120 1 0 276462 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1224608 KiB
Current children cumulated memory: 74968 KiB
[startup+25.5003 s]
/proc/loadavg: 4.01 4.07 4.10 5/259 121788
/proc/meminfo: memFree=102864452/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1223284 memory=75440 CPUtime=25.35 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 11960 0 0 0 2531 4 0 0 20 0 1 0 141840903 1252642816 18860 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 305821 18860 8248 1 0 277179 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1227476 KiB
Current children cumulated memory: 78384 KiB
[startup+51.1133 s]
/proc/loadavg: 4.09 4.08 4.10 5/260 121790
/proc/meminfo: memFree=102750196/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1223284 memory=76720 CPUtime=50.89 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 12265 0 0 0 5085 4 0 0 20 0 1 0 141840903 1252642816 19180 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 305821 19180 8248 1 0 277179 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1227476 KiB
Current children cumulated memory: 79664 KiB
[startup+72.6115 s]
# the end of solver process 121783 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=72.2336 s, system=0.113013 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.09 4.08 4.10 5/260 121790
/proc/meminfo: memFree=102750196/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1223284 memory=76720 CPUtime=50.98 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 12265 0 0 0 5094 4 0 0 20 0 1 0 141840903 1252642816 19180 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 305821 19180 8248 1 0 277179 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1227476 KiB
Current children cumulated memory: 79664 KiB
[startup+64.0004 s]*
/proc/loadavg: 4.07 4.08 4.10 5/261 121792
/proc/meminfo: memFree=102585532/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1227940 memory=81584 CPUtime=57.16 cores=0,2
/proc/121788/stat : 121788 (python3) S 121783 121783 119216 0 -1 4194304 13623 0 0 0 5712 4 0 0 20 0 1 0 141840903 1257410560 20396 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 306985 20396 8280 1 0 278343 0
[pid=121791] ppid=121788 vsize=39672 memory=35232 CPUtime=6.58 cores=0,2
/proc/121791/stat : 121791 (naps-1.03a6) R 121788 121791 121791 0 -1 4194304 11707 0 0 0 655 3 0 0 20 0 1 0 141846640 40624128 8808 18446744073709551615 4198400 7047149 140720908794000 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30019584 140720908802431 140720908802545 140720908802545 140720908808137 0
/proc/121791/statm: 9918 8808 544 696 0 9079 0
Current children cumulated CPU time: 63.74 s
Current children cumulated vsize: 1271804 KiB
Current children cumulated memory: 119760 KiB
[startup+67.2003 s]
/proc/loadavg: 4.07 4.08 4.10 5/261 121792
/proc/meminfo: memFree=102733380/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1227940 memory=81584 CPUtime=57.16 cores=0,2
/proc/121788/stat : 121788 (python3) S 121783 121783 119216 0 -1 4194304 13623 0 0 0 5712 4 0 0 20 0 1 0 141840903 1257410560 20396 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 306985 20396 8280 1 0 278343 0
[pid=121791] ppid=121788 vsize=39488 memory=35616 CPUtime=9.76 cores=0,2
/proc/121791/stat : 121791 (naps-1.03a6) R 121788 121791 121791 0 -1 4194304 11810 0 0 0 973 3 0 0 20 0 1 0 141846640 40435712 8904 18446744073709551615 4198400 7047149 140720908794000 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30019584 140720908802431 140720908802545 140720908802545 140720908808137 0
/proc/121791/statm: 9872 8904 544 696 0 9033 0
Current children cumulated CPU time: 66.92 s
Current children cumulated vsize: 1271620 KiB
Current children cumulated memory: 120144 KiB
[startup+70.4004 s]
/proc/loadavg: 4.06 4.08 4.09 5/261 121792
/proc/meminfo: memFree=102696372/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1227940 memory=81584 CPUtime=57.16 cores=0,2
/proc/121788/stat : 121788 (python3) S 121783 121783 119216 0 -1 4194304 13623 0 0 0 5712 4 0 0 20 0 1 0 141840903 1257410560 20396 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 306985 20396 8280 1 0 278343 0
[pid=121791] ppid=121788 vsize=39488 memory=35616 CPUtime=12.95 cores=0,2
/proc/121791/stat : 121791 (naps-1.03a6) R 121788 121791 121791 0 -1 4194304 11810 0 0 0 1292 3 0 0 20 0 1 0 141846640 40435712 8904 18446744073709551615 4198400 7047149 140720908794000 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30019584 140720908802431 140720908802545 140720908802545 140720908808137 0
/proc/121791/statm: 9872 8904 544 696 0 9033 0
Current children cumulated CPU time: 70.11 s
Current children cumulated vsize: 1271620 KiB
Current children cumulated memory: 120144 KiB
[startup+72.0003 s]*
/proc/loadavg: 4.06 4.08 4.09 5/261 121792
/proc/meminfo: memFree=102693076/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1227940 memory=81584 CPUtime=57.16 cores=0,2
/proc/121788/stat : 121788 (python3) S 121783 121783 119216 0 -1 4194304 13623 0 0 0 5712 4 0 0 20 0 1 0 141840903 1257410560 20396 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 306985 20396 8280 1 0 278343 0
[pid=121791] ppid=121788 vsize=39480 memory=35616 CPUtime=14.56 cores=0,2
/proc/121791/stat : 121791 (naps-1.03a6) R 121788 121791 121791 0 -1 4194304 11837 0 0 0 1453 3 0 0 20 0 1 0 141846640 40427520 8904 18446744073709551615 4198400 7047149 140720908794000 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30019584 140720908802431 140720908802545 140720908802545 140720908808137 0
/proc/121791/statm: 9870 8904 544 696 0 9031 0
Current children cumulated CPU time: 71.72 s
Current children cumulated vsize: 1271612 KiB
Current children cumulated memory: 120144 KiB
[startup+72.4003 s]
/proc/loadavg: 4.06 4.08 4.09 5/261 121792
/proc/meminfo: memFree=102693076/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1227940 memory=81584 CPUtime=57.16 cores=0,2
/proc/121788/stat : 121788 (python3) S 121783 121783 119216 0 -1 4194304 13623 0 0 0 5712 4 0 0 20 0 1 0 141840903 1257410560 20396 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 306985 20396 8280 1 0 278343 0
[pid=121791] ppid=121788 vsize=39480 memory=35616 CPUtime=14.94 cores=0,2
/proc/121791/stat : 121791 (naps-1.03a6) R 121788 121791 121791 0 -1 4194304 11837 0 0 0 1491 3 0 0 20 0 1 0 141846640 40427520 8904 18446744073709551615 4198400 7047149 140720908794000 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30019584 140720908802431 140720908802545 140720908802545 140720908808137 0
/proc/121791/statm: 9870 8904 544 696 0 9031 0
Current children cumulated CPU time: 72.1 s
Current children cumulated vsize: 1271612 KiB
Current children cumulated memory: 120144 KiB
[startup+72.6003 s]
/proc/loadavg: 4.06 4.08 4.09 5/261 121792
/proc/meminfo: memFree=102693076/131382112 swapFree=33010416/33010684
[pid=121783] ppid=121780 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/121783/stat : 121783 (scip-naps-1.00a) S 121780 121783 119216 0 -1 4194304 258 342 0 0 0 0 0 0 20 0 1 0 141840900 4292608 736 18446744073709551615 93904353275904 93904354170437 140735191428304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93904354409488 93904354457232 93904377372672 140735191431579 140735191431678 140735191431678 140735191437282 0
/proc/121783/statm: 1048 736 672 219 0 110 0
[pid=121788] ppid=121783 vsize=1223092 memory=76932 CPUtime=72.3 cores=0,2
/proc/121788/stat : 121788 (python3) R 121783 121783 119216 0 -1 4194304 21263 11838 0 0 5716 5 1506 3 20 0 1 0 141840903 1252446208 19233 18446744073709551615 93999343058944 93999343059321 140737065112192 0 0 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0 93999343070616 93999343071236 93999365754880 140737065118031 140737065118240 140737065118240 140737065123815 0
/proc/121788/statm: 305773 19233 8312 1 0 277131 0
Current children cumulated CPU time: 72.3 s
Current children cumulated vsize: 1227284 KiB
Current children cumulated memory: 79876 KiB
Child status: 0
Real time (s): 72.6115
CPU time (s): 72.3466
CPU user time (s): 72.2336
CPU system time (s): 0.113013
CPU usage (%): 99.6352
Max. virtual memory (cumulated for all children) (KiB): 1271864
Max. memory (cumulated for all children) (KiB): 120144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.2336
system time used= 0.113013
maximum resident set size= 81584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 339
involuntary context switches= 186
# summary of solver processes directly reported to runsolver:
# pid: 121783
# total CPU time (s): 72.3466
# total CPU user time (s): 72.2336
# total CPU system time (s): 0.113013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.427985 second user time and 0.760455 second system time
The end