0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4449688-1721403114.opb>
0.00/0.00 c original problem has 148 variables (148 bin, 0 int, 0 impl, 0 cont) and 1760 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.02 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1760 upgd conss, 0 impls, 8 clqs
0.00/0.02 c (0.0s) probing: 51/148 (34.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03 c (0.0s) symmetry computation finished: 19 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.00)
0.00/0.03 c dynamic symmetry handling statistics:
0.00/0.03 c orbitopal reduction: no components
0.00/0.03 c orbital reduction: 1 components of sizes 19
0.00/0.03 c lexicographic reduction: 19 permutations with support sizes 16, 16, 16, 16, 16, 40, 18, 40, 18, 40, 18, 40, 18, 40, 18, 40, 18, 40, 18
0.00/0.03 c handled 1 out of 1 symmetry components
0.00/0.03 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.00/0.03 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 8 cliques
0.00/0.03 c presolved problem has 148 variables (148 bin, 0 int, 0 impl, 0 cont) and 1760 constraints
0.00/0.03 c 8 constraints of type <setppc>
0.00/0.03 c 1752 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 10.0.0
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.03 c limits/time = 3596.99701
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.03 c limits/memory = 27900
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 o 8
0.00/0.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.03 c p 0.0s| 1 | 0 | 0 | - |shiftand| 0 | 148 |1762 |1760 | 0 | 0 | 2 | 0 | 0.000000e+00 | 8.000000e+00 | Inf | unknown
0.00/0.03 o 7
0.00/0.03 c i 0.0s| 1 | 0 | 0 | - | oneopt| 0 | 148 |1762 |1760 | 0 | 0 | 2 | 0 | 0.000000e+00 | 7.000000e+00 | Inf | unknown
0.00/0.03 c 0.0s| 1 | 0 | 67 | - | 10M | 0 | 148 |1762 |1760 | 0 | 0 | 2 | 0 | 0.000000e+00 | 7.000000e+00 | Inf | unknown
0.00/0.03 o 3
0.00/0.03 c r 0.0s| 1 | 0 | 67 | - |shifting| 0 | 148 |1762 |1760 | 0 | 0 | 2 | 0 | 0.000000e+00 | 3.000000e+00 | Inf | unknown
0.09/0.11 o 2
0.09/0.11 c * 0.1s| 1 | 0 | 67 | - | LP | 0 | 148 |1762 |1760 | 0 | 0 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 87 | - | 11M | 0 | 148 |1962 |1764 | 4 | 1 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.09/0.17 c 0.2s| 1 | 0 | 98 | - | 12M | 0 | 148 |1962 |1766 | 6 | 2 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.19/0.20 c 0.2s| 1 | 0 | 124 | - | 13M | 0 | 148 |1962 |1771 | 11 | 3 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.19/0.28 c 0.3s| 1 | 0 | 138 | - | 14M | 0 | 148 |1962 |1774 | 14 | 4 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.29/0.32 c 0.3s| 1 | 0 | 158 | - | 15M | 0 | 148 |1962 |1777 | 17 | 5 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.29/0.38 c 0.4s| 1 | 0 | 168 | - | 16M | 0 | 148 |1962 |1779 | 19 | 6 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.39/0.44 c 0.4s| 1 | 0 | 190 | - | 17M | 0 | 148 |1962 |1782 | 22 | 7 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.39/0.49 c 0.5s| 1 | 0 | 204 | - | 19M | 0 | 148 |1962 |1786 | 26 | 8 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.49/0.53 c 0.5s| 1 | 0 | 227 | - | 22M | 0 | 148 |1962 |1788 | 28 | 9 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.49/0.59 c 0.6s| 1 | 0 | 252 | - | 23M | 0 | 148 |1962 |1791 | 31 | 10 | 2 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.49/0.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.49/0.59 c 0.6s| 1 | 0 | 270 | - | 24M | 0 | 148 |1967 |1789 | 33 | 11 | 7 | 0 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
0.60/0.64 c 0.6s| 1 | 2 | 432 | - | 24M | 0 | 148 |1999 |1789 | 33 | 11 | 39 | 15 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
1.38/1.44 c 1.4s| 100 | 67 | 2353 | 21.0 | 26M | 24 | 148 |2175 |1768 | 73 | 1 | 215 | 171 | 0.000000e+00 | 2.000000e+00 | Inf | 50.05%
1.98/2.00 c 2.0s| 200 | 109 | 4756 | 22.5 | 27M | 29 | 148 |2341 |1772 | 88 | 1 | 469 | 326 | 0.000000e+00 | 2.000000e+00 | Inf | 59.53%
2.48/2.50 c 2.5s| 300 | 147 | 7089 | 22.8 | 29M | 29 | 148 |2555 | 0 | 105 | 0 | 760 | 487 | 0.000000e+00 | 2.000000e+00 | Inf | 59.67%
2.88/2.99 c 3.0s| 400 | 183 | 8875 | 21.6 | 29M | 29 | 148 |2689 | 0 | 107 | 0 | 985 | 622 | 0.000000e+00 | 2.000000e+00 | Inf | 60.82%
3.28/3.33 c 3.3s| 500 | 229 | 10213 | 19.9 | 29M | 29 | 148 |2763 |1768 | 110 | 1 |1160 | 677 | 0.000000e+00 | 2.000000e+00 | Inf | 63.30%
3.68/3.73 c 3.7s| 600 | 285 | 12071 | 19.7 | 29M | 29 | 148 |2865 |1771 | 128 | 1 |1369 | 723 | 0.000000e+00 | 2.000000e+00 | Inf | 63.44%
4.17/4.27 c 4.3s| 700 | 354 | 14061 | 19.7 | 30M | 29 | 148 |2959 |1771 | 152 | 1 |1602 | 743 | 0.000000e+00 | 2.000000e+00 | Inf | 63.45%
4.37/4.49 c 4.5s| 800 | 389 | 15380 | 18.9 | 30M | 29 | 148 |3034 |1774 | 166 | 1 |1763 | 763 | 0.000000e+00 | 2.000000e+00 | Inf | 63.46%
4.57/4.69 c r 4.7s| 877 | 411 | 16277 | 18.3 |shifting| 29 | 148 |3028 |1770 | 168 | 0 |1881 | 772 | 0.000000e+00 | 2.000000e+00 | Inf | 63.54%
4.67/4.76 c 4.8s| 900 | 430 | 16655 | 18.2 | 30M | 29 | 148 |3038 |1769 | 173 | 1 |1911 | 772 | 0.000000e+00 | 2.000000e+00 | Inf | 63.54%
4.87/4.94 c 4.9s| 1000 | 455 | 17692 | 17.4 | 30M | 29 | 148 |3053 |1770 | 176 | 1 |2026 | 783 | 0.000000e+00 | 2.000000e+00 | Inf | 63.56%
5.17/5.27 c 5.3s| 1100 | 485 | 19094 | 17.1 | 30M | 32 | 148 |3026 |1768 | 177 | 1 |2156 | 792 | 0.000000e+00 | 2.000000e+00 | Inf | 63.57%
5.47/5.51 c 5.5s| 1200 | 501 | 20049 | 16.5 | 31M | 32 | 148 |3013 |1770 | 190 | 0 |2271 | 796 | 0.000000e+00 | 2.000000e+00 | Inf | 63.58%
5.57/5.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.57/5.65 c 5.7s| 1300 | 547 | 21211 | 16.1 | 31M | 32 | 148 |3048 | 0 | 200 | 0 |2435 | 802 | 0.000000e+00 | 2.000000e+00 | Inf | 63.58%
5.67/5.76 c 5.8s| 1400 | 567 | 21817 | 15.4 | 31M | 32 | 148 |3077 |1773 | 206 | 1 |2542 | 807 | 0.000000e+00 | 2.000000e+00 | Inf | 63.58%
5.77/5.84 c 5.8s| 1500 | 582 | 22356 | 14.7 | 31M | 32 | 148 |3147 | 0 | 211 | 0 |2642 | 807 | 0.000000e+00 | 2.000000e+00 | Inf | 63.58%
5.87/5.91 c 5.9s| 1600 | 599 | 22951 | 14.2 | 31M | 32 | 148 |3197 |1772 | 211 | 1 |2745 | 807 | 0.000000e+00 | 2.000000e+00 | Inf | 63.59%
5.97/6.06 c 6.1s| 1700 | 638 | 23912 | 13.9 | 32M | 32 | 148 |3286 |1771 | 224 | 1 |2910 | 813 | 0.000000e+00 | 2.000000e+00 | Inf | 63.59%
6.07/6.16 c 6.2s| 1800 | 667 | 24763 | 13.6 | 32M | 32 | 148 |3331 |1770 | 232 | 1 |3038 | 818 | 0.000000e+00 | 2.000000e+00 | Inf | 63.63%
6.27/6.38 c 6.4s| 1900 | 674 | 25671 | 13.4 | 32M | 32 | 148 |3336 |1768 | 246 | 0 |3157 | 822 | 0.000000e+00 | 2.000000e+00 | Inf | 63.66%
6.37/6.49 c 6.5s| 2000 | 700 | 26567 | 13.2 | 32M | 32 | 148 |3368 |1770 | 260 | 1 |3279 | 824 | 0.000000e+00 | 2.000000e+00 | Inf | 63.68%
6.47/6.56 c 6.6s| 2100 | 711 | 27085 | 12.8 | 32M | 35 | 148 |3420 |1773 | 263 | 1 |3422 | 826 | 0.000000e+00 | 2.000000e+00 | Inf | 63.68%
6.57/6.64 c 6.6s| 2200 | 727 | 27724 | 12.5 | 32M | 35 | 148 |3442 |1768 | 264 | 1 |3524 | 826 | 0.000000e+00 | 2.000000e+00 | Inf | 63.68%
6.67/6.79 c 6.8s| 2300 | 773 | 28672 | 12.4 | 32M | 35 | 148 |3466 |1773 | 273 | 1 |3594 | 832 | 0.000000e+00 | 2.000000e+00 | Inf | 63.68%
6.86/6.92 c 6.9s| 2400 | 794 | 29243 | 12.1 | 33M | 35 | 148 |3493 |1773 | 291 | 1 |3696 | 838 | 0.000000e+00 | 2.000000e+00 | Inf | 63.71%
6.97/7.03 c 7.0s| 2500 | 829 | 30172 | 12.0 | 33M | 35 | 148 |3543 | 0 | 310 | 0 |3829 | 839 | 0.000000e+00 | 2.000000e+00 | Inf | 63.72%
7.07/7.18 c 7.2s| 2600 | 858 | 31178 | 11.9 | 34M | 35 | 148 |3567 |1776 | 345 | 2 |3987 | 853 | 0.000000e+00 | 2.000000e+00 | Inf | 63.75%
7.26/7.30 c 7.3s| 2700 | 882 | 32072 | 11.8 | 34M | 35 | 148 |3576 |1770 | 360 | 0 |4076 | 859 | 0.000000e+00 | 2.000000e+00 | Inf | 63.79%
7.26/7.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.26/7.36 c 7.4s| 2800 | 896 | 32626 | 11.6 | 34M | 35 | 148 |3590 |1772 | 363 | 1 |4152 | 859 | 0.000000e+00 | 2.000000e+00 | Inf | 63.79%
7.36/7.44 c 7.4s| 2900 | 918 | 33199 | 11.4 | 34M | 35 | 148 |3646 | 0 | 370 | 0 |4337 | 859 | 0.000000e+00 | 2.000000e+00 | Inf | 63.81%
7.46/7.51 c 7.5s| 3000 | 933 | 33835 | 11.2 | 34M | 35 | 148 |3666 |1770 | 377 | 1 |4457 | 859 | 0.000000e+00 | 2.000000e+00 | Inf | 63.81%
7.46/7.59 c 7.6s| 3100 | 928 | 34377 | 11.0 | 34M | 35 | 148 |3666 |1772 | 379 | 1 |4556 | 862 | 0.000000e+00 | 2.000000e+00 | Inf | 63.82%
7.56/7.69 c 7.7s| 3200 | 947 | 35054 | 10.9 | 34M | 35 | 148 |3627 |1772 | 388 | 1 |4663 | 863 | 0.000000e+00 | 2.000000e+00 | Inf | 63.86%
7.66/7.78 c 7.8s| 3300 | 964 | 35806 | 10.8 | 34M | 35 | 148 |3607 |1770 | 400 | 1 |4804 | 865 | 0.000000e+00 | 2.000000e+00 | Inf | 63.86%
7.76/7.88 c 7.9s| 3400 | 968 | 36318 | 10.6 | 34M | 35 | 148 |3614 |1772 | 410 | 2 |4921 | 868 | 0.000000e+00 | 2.000000e+00 | Inf | 63.88%
7.86/7.95 c 7.9s| 3500 | 972 | 36934 | 10.5 | 34M | 35 | 148 |3613 |1774 | 414 | 1 |4997 | 868 | 0.000000e+00 | 2.000000e+00 | Inf | 63.89%
7.96/8.08 c 8.1s| 3600 | 980 | 37749 | 10.4 | 35M | 35 | 148 |3648 | 0 | 424 | 0 |5104 | 868 | 0.000000e+00 | 2.000000e+00 | Inf | 63.89%
8.06/8.17 c 8.2s| 3700 | 981 | 38237 | 10.3 | 35M | 35 | 148 |3676 |1774 | 440 | 2 |5203 | 868 | 0.000000e+00 | 2.000000e+00 | Inf | 63.90%
8.46/8.50 c 8.5s| 3800 | 1008 | 39267 | 10.3 | 35M | 35 | 148 |3639 |1774 | 497 | 1 |5308 | 878 | 0.000000e+00 | 2.000000e+00 | Inf | 63.94%
8.56/8.66 c 8.7s| 3900 | 1034 | 40111 | 10.2 | 35M | 35 | 148 |3625 |1771 | 509 | 1 |5460 | 894 | 0.000000e+00 | 2.000000e+00 | Inf | 63.96%
8.65/8.74 c 8.7s| 4000 | 1034 | 40627 | 10.1 | 35M | 35 | 148 |3578 |1770 | 511 | 1 |5560 | 907 | 0.000000e+00 | 2.000000e+00 | Inf | 63.97%
8.75/8.82 c 8.8s| 4100 | 1037 | 41274 | 10.0 | 35M | 35 | 148 |3609 |1775 | 522 | 1 |5698 | 919 | 0.000000e+00 | 2.000000e+00 | Inf | 63.97%
8.85/8.90 c 8.9s| 4200 | 1055 | 41880 | 9.9 | 35M | 35 | 148 |3604 |1770 | 532 | 0 |5768 | 924 | 0.000000e+00 | 2.000000e+00 | Inf | 63.97%
8.85/9.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.85/9.00 c 9.0s| 4300 | 1077 | 42678 | 9.9 | 35M | 35 | 148 |3640 |1770 | 549 | 1 |5950 | 934 | 0.000000e+00 | 2.000000e+00 | Inf | 64.02%
8.96/9.06 c 9.1s| 4400 | 1073 | 43092 | 9.7 | 36M | 35 | 148 |3647 |1769 | 554 | 1 |6042 | 936 | 0.000000e+00 | 2.000000e+00 | Inf | 64.02%
9.06/9.13 c 9.1s| 4500 | 1070 | 43677 | 9.6 | 36M | 35 | 148 |3599 |1770 | 557 | 1 |6117 | 938 | 0.000000e+00 | 2.000000e+00 | Inf | 64.03%
9.15/9.20 c 9.2s| 4600 | 1066 | 44253 | 9.6 | 36M | 35 | 148 |3609 |1769 | 560 | 1 |6234 | 939 | 0.000000e+00 | 2.000000e+00 | Inf | 64.04%
9.15/9.27 c 9.3s| 4700 | 1086 | 44824 | 9.5 | 36M | 35 | 148 |3672 |1774 | 576 | 1 |6338 | 940 | 0.000000e+00 | 2.000000e+00 | Inf | 64.05%
9.25/9.38 c 9.4s| 4800 | 1096 | 45621 | 9.5 | 36M | 35 | 148 |3736 |1774 | 597 | 1 |6477 | 960 | 0.000000e+00 | 2.000000e+00 | Inf | 64.08%
9.35/9.47 c 9.5s| 4900 | 1094 | 46147 | 9.4 | 36M | 35 | 148 |3786 |1771 | 603 | 1 |6620 | 992 | 0.000000e+00 | 2.000000e+00 | Inf | 64.10%
9.55/9.61 c 9.6s| 5000 | 1101 | 46607 | 9.3 | 37M | 35 | 148 |3808 | 0 | 621 | 0 |6700 | 998 | 0.000000e+00 | 2.000000e+00 | Inf | 64.10%
9.55/9.68 c 9.7s| 5100 | 1077 | 46953 | 9.2 | 37M | 35 | 148 |3843 |1775 | 629 | 1 |6810 |1003 | 0.000000e+00 | 2.000000e+00 | Inf | 64.11%
9.65/9.76 c 9.8s| 5200 | 1096 | 47522 | 9.1 | 37M | 35 | 148 |3841 |1769 | 630 | 1 |6920 |1004 | 0.000000e+00 | 2.000000e+00 | Inf | 64.11%
9.75/9.84 c 9.8s| 5300 | 1106 | 48241 | 9.1 | 37M | 35 | 148 |3851 |1768 | 638 | 1 |7051 |1007 | 0.000000e+00 | 2.000000e+00 | Inf | 64.11%
9.85/9.92 c 9.9s| 5400 | 1113 | 48708 | 9.0 | 37M | 35 | 148 |3848 |1769 | 643 | 1 |7174 |1008 | 0.000000e+00 | 2.000000e+00 | Inf | 64.12%
9.85/9.99 c 10.0s| 5500 | 1099 | 49045 | 8.9 | 37M | 35 | 148 |3799 | 0 | 645 | 0 |7251 |1011 | 0.000000e+00 | 2.000000e+00 | Inf | 64.20%
10.05/10.14 c 10.1s| 5600 | 1095 | 49682 | 8.8 | 37M | 35 | 148 |3756 |1779 | 669 | 1 |7309 |1014 | 0.000000e+00 | 2.000000e+00 | Inf | 64.23%
10.15/10.21 c 10.2s| 5700 | 1102 | 50084 | 8.7 | 37M | 35 | 148 |3851 | 0 | 672 | 0 |7457 |1016 | 0.000000e+00 | 2.000000e+00 | Inf | 64.24%
10.15/10.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.15/10.27 c 10.3s| 5800 | 1078 | 50461 | 8.7 | 37M | 35 | 148 |3861 | 0 | 677 | 0 |7528 |1018 | 0.000000e+00 | 2.000000e+00 | Inf | 64.24%
10.25/10.37 c 10.4s| 5900 | 1067 | 51091 | 8.6 | 37M | 35 | 148 |3911 | 0 | 701 | 0 |7661 |1037 | 0.000000e+00 | 2.000000e+00 | Inf | 64.27%
10.44/10.53 c 10.5s| 6000 | 1067 | 51773 | 8.6 | 37M | 35 | 148 |3897 |1771 | 725 | 1 |7780 |1056 | 0.000000e+00 | 2.000000e+00 | Inf | 64.29%
10.54/10.62 c 10.6s| 6100 | 1050 | 52490 | 8.6 | 38M | 35 | 148 |3889 |1770 | 728 | 1 |7873 |1082 | 0.000000e+00 | 2.000000e+00 | Inf | 64.29%
10.64/10.75 c 10.7s| 6200 | 1045 | 53411 | 8.6 | 38M | 35 | 148 |3889 |1771 | 740 | 1 |7998 |1102 | 0.000000e+00 | 2.000000e+00 | Inf | 64.29%
10.74/10.81 c 10.8s| 6300 | 1047 | 53926 | 8.5 | 38M | 35 | 148 |3884 |1768 | 740 | 1 |8088 |1116 | 0.000000e+00 | 2.000000e+00 | Inf | 64.30%
10.84/10.92 c 10.9s| 6400 | 1039 | 54626 | 8.5 | 38M | 35 | 148 |3885 |1776 | 764 | 2 |8206 |1123 | 0.000000e+00 | 2.000000e+00 | Inf | 64.38%
10.84/10.99 c 11.0s| 6500 | 1052 | 55156 | 8.4 | 38M | 35 | 148 |3918 |1774 | 768 | 1 |8321 |1132 | 0.000000e+00 | 2.000000e+00 | Inf | 64.39%
10.95/11.08 c 11.1s| 6600 | 1053 | 55748 | 8.4 | 38M | 35 | 148 |3961 |1775 | 785 | 1 |8467 |1145 | 0.000000e+00 | 2.000000e+00 | Inf | 64.40%
11.05/11.18 c 11.2s| 6700 | 1074 | 56534 | 8.4 | 38M | 35 | 148 |4030 |1779 | 812 | 1 |8602 |1146 | 0.000000e+00 | 2.000000e+00 | Inf | 64.40%
11.14/11.27 c 11.3s| 6800 | 1056 | 57094 | 8.4 | 38M | 35 | 148 |4015 | 0 | 822 | 0 |8716 |1153 | 0.000000e+00 | 2.000000e+00 | Inf | 64.41%
11.24/11.36 c 11.4s| 6900 | 1051 | 57525 | 8.3 | 39M | 35 | 148 |3940 | 0 | 831 | 0 |8809 |1156 | 0.000000e+00 | 2.000000e+00 | Inf | 64.42%
11.44/11.51 c 11.5s| 7000 | 1054 | 58236 | 8.3 | 39M | 35 | 148 |3892 |1768 | 862 | 0 |8890 |1161 | 0.000000e+00 | 2.000000e+00 | Inf | 64.49%
11.54/11.67 c 11.7s| 7100 | 1045 | 58932 | 8.3 | 39M | 35 | 148 |3799 |1769 | 888 | 1 |8972 |1174 | 0.000000e+00 | 2.000000e+00 | Inf | 64.60%
11.64/11.72 c 11.7s| 7200 | 1054 | 59421 | 8.2 | 39M | 35 | 148 |3850 |1779 | 890 | 1 |9064 |1182 | 0.000000e+00 | 2.000000e+00 | Inf | 64.62%
11.74/11.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.74/11.87 c 11.9s| 7300 | 1038 | 59995 | 8.2 | 39M | 35 | 148 |3830 |1775 | 905 | 1 |9168 |1199 | 0.000000e+00 | 2.000000e+00 | Inf | 64.64%
11.84/11.95 c 12.0s| 7400 | 1042 | 60734 | 8.2 | 39M | 35 | 148 |3833 | 0 | 907 | 0 |9291 |1228 | 0.000000e+00 | 2.000000e+00 | Inf | 64.69%
11.94/12.04 c 12.0s| 7500 | 1046 | 61357 | 8.1 | 39M | 35 | 148 |3855 |1774 | 909 | 1 |9427 |1246 | 0.000000e+00 | 2.000000e+00 | Inf | 64.70%
12.04/12.12 c 12.1s| 7600 | 1049 | 61868 | 8.1 | 39M | 35 | 148 |3840 |1775 | 913 | 1 |9529 |1257 | 0.000000e+00 | 2.000000e+00 | Inf | 64.70%
12.13/12.26 c 12.3s| 7700 | 1048 | 62584 | 8.1 | 39M | 35 | 148 |3826 | 0 | 941 | 0 |9614 |1270 | 0.000000e+00 | 2.000000e+00 | Inf | 64.73%
12.23/12.36 c 12.4s| 7800 | 1037 | 63204 | 8.1 | 40M | 35 | 148 |3818 | 0 | 952 | 0 |9707 |1278 | 0.000000e+00 | 2.000000e+00 | Inf | 64.80%
12.43/12.54 c 12.5s| 7900 | 1049 | 63927 | 8.1 | 40M | 35 | 148 |3774 |1774 | 985 | 1 |9784 |1283 | 0.000000e+00 | 2.000000e+00 | Inf | 65.13%
12.53/12.62 c 12.6s| 8000 | 1050 | 64567 | 8.0 | 40M | 35 | 148 |3772 | 0 | 991 | 0 |9870 |1295 | 0.000000e+00 | 2.000000e+00 | Inf | 65.13%
12.53/12.67 c 12.7s| 8100 | 1045 | 65019 | 8.0 | 40M | 35 | 148 |3791 |1772 | 994 | 1 |9955 |1297 | 0.000000e+00 | 2.000000e+00 | Inf | 65.16%
12.63/12.74 c 12.7s| 8200 | 1046 | 65527 | 8.0 | 40M | 35 | 148 |3800 |1774 |1001 | 1 | 10k|1303 | 0.000000e+00 | 2.000000e+00 | Inf | 65.17%
12.73/12.80 c 12.8s| 8300 | 1038 | 65876 | 7.9 | 40M | 35 | 148 |3837 | 0 |1005 | 0 | 10k|1305 | 0.000000e+00 | 2.000000e+00 | Inf | 65.46%
12.73/12.86 c 12.9s| 8400 | 1026 | 66233 | 7.9 | 40M | 35 | 148 |3856 | 0 |1008 | 0 | 10k|1306 | 0.000000e+00 | 2.000000e+00 | Inf | 65.48%
12.83/12.90 c 12.9s| 8500 | 1018 | 66596 | 7.8 | 40M | 35 | 148 |3846 | 0 |1008 | 0 | 10k|1307 | 0.000000e+00 | 2.000000e+00 | Inf | 65.49%
12.83/12.97 c 13.0s| 8600 | 1030 | 67145 | 7.8 | 40M | 35 | 148 |3858 |1773 |1009 | 1 | 10k|1313 | 0.000000e+00 | 2.000000e+00 | Inf | 65.49%
12.93/13.05 c 13.1s| 8700 | 1041 | 67810 | 7.8 | 40M | 35 | 148 |3865 | 0 |1009 | 0 | 10k|1332 | 0.000000e+00 | 2.000000e+00 | Inf | 65.49%
13.03/13.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.03/13.13 c 13.1s| 8800 | 1041 | 68395 | 7.7 | 40M | 35 | 148 |3871 | 0 |1010 | 0 | 10k|1359 | 0.000000e+00 | 2.000000e+00 | Inf | 65.49%
13.13/13.27 c 13.3s| 8900 | 1058 | 69318 | 7.8 | 40M | 35 | 148 |3847 |1777 |1035 | 1 | 10k|1375 | 0.000000e+00 | 2.000000e+00 | Inf | 65.51%
13.23/13.37 c 13.4s| 9000 | 1095 | 70299 | 7.8 | 40M | 35 | 148 |3862 | 0 |1044 | 0 | 10k|1380 | 0.000000e+00 | 2.000000e+00 | Inf | 65.53%
13.33/13.43 c 13.4s| 9100 | 1079 | 70860 | 7.8 | 40M | 35 | 148 |3870 |1777 |1056 | 1 | 10k|1390 | 0.000000e+00 | 2.000000e+00 | Inf | 65.56%
13.62/13.73 c 13.7s| 9200 | 1103 | 71905 | 7.8 | 41M | 35 | 148 |3844 | 0 |1135 | 0 | 10k|1397 | 0.000000e+00 | 2.000000e+00 | Inf | 65.58%
13.82/13.94 c 13.9s| 9300 | 1109 | 72621 | 7.8 | 41M | 35 | 148 |3865 | 0 |1172 | 0 | 11k|1400 | 0.000000e+00 | 2.000000e+00 | Inf | 65.59%
13.93/14.08 c 14.1s| 9400 | 1119 | 73359 | 7.8 | 41M | 35 | 148 |3891 |1781 |1203 | 1 | 11k|1405 | 0.000000e+00 | 2.000000e+00 | Inf | 65.62%
14.12/14.23 c 14.2s| 9500 | 1132 | 73920 | 7.8 | 42M | 35 | 148 |3898 | 0 |1228 | 0 | 11k|1407 | 0.000000e+00 | 2.000000e+00 | Inf | 65.63%
14.22/14.32 c 14.3s| 9600 | 1162 | 74871 | 7.8 | 43M | 35 | 148 |3922 |1781 |1241 | 1 | 11k|1408 | 0.000000e+00 | 2.000000e+00 | Inf | 65.64%
14.22/14.38 c 14.4s| 9700 | 1158 | 75319 | 7.7 | 43M | 35 | 148 |3947 | 0 |1278 | 0 | 11k|1408 | 0.000000e+00 | 2.000000e+00 | Inf | 65.68%
14.42/14.53 c 14.5s| 9800 | 1182 | 76088 | 7.7 | 43M | 35 | 148 |3958 |1774 |1308 | 1 | 11k|1412 | 0.000000e+00 | 2.000000e+00 | Inf | 65.72%
14.52/14.60 c 14.6s| 9900 | 1178 | 76533 | 7.7 | 43M | 35 | 148 |4043 |1771 |1314 | 2 | 11k|1435 | 0.000000e+00 | 2.000000e+00 | Inf | 65.73%
14.52/14.67 c 14.7s| 10000 | 1181 | 77032 | 7.7 | 43M | 35 | 148 |4044 |1774 |1315 | 1 | 11k|1449 | 0.000000e+00 | 2.000000e+00 | Inf | 65.74%
14.62/14.76 c 14.8s| 10100 | 1192 | 77658 | 7.7 | 43M | 35 | 148 |4017 |1771 |1329 | 0 | 11k|1457 | 0.000000e+00 | 2.000000e+00 | Inf | 65.75%
14.72/14.85 c 14.9s| 10200 | 1227 | 78488 | 7.7 | 43M | 35 | 148 |4067 | 0 |1340 | 0 | 11k|1469 | 0.000000e+00 | 2.000000e+00 | Inf | 65.76%
14.82/14.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.82/14.93 c 14.9s| 10300 | 1229 | 79168 | 7.7 | 43M | 35 | 148 |4052 |1771 |1359 | 1 | 11k|1474 | 0.000000e+00 | 2.000000e+00 | Inf | 65.76%
14.93/15.00 c 15.0s| 10400 | 1220 | 79742 | 7.6 | 43M | 35 | 148 |4103 |1780 |1370 | 1 | 12k|1495 | 0.000000e+00 | 2.000000e+00 | Inf | 65.76%
14.93/15.08 c 15.1s| 10500 | 1217 | 80407 | 7.6 | 43M | 35 | 148 |4074 |1780 |1390 | 0 | 12k|1499 | 0.000000e+00 | 2.000000e+00 | Inf | 65.77%
15.03/15.15 c 15.1s| 10600 | 1221 | 81107 | 7.6 | 43M | 35 | 148 |4048 |1773 |1401 | 1 | 12k|1506 | 0.000000e+00 | 2.000000e+00 | Inf | 65.77%
15.12/15.22 c 15.2s| 10700 | 1196 | 81573 | 7.6 | 43M | 35 | 148 |3939 |1773 |1401 | 1 | 12k|1519 | 0.000000e+00 | 2.000000e+00 | Inf | 65.79%
15.12/15.29 c 15.3s| 10800 | 1163 | 82008 | 7.6 | 43M | 35 | 148 |3901 |1771 |1401 | 1 | 12k|1521 | 0.000000e+00 | 2.000000e+00 | Inf | 65.82%
15.22/15.36 c 15.4s| 10900 | 1155 | 82473 | 7.5 | 43M | 35 | 148 |3893 |1777 |1401 | 1 | 12k|1531 | 0.000000e+00 | 2.000000e+00 | Inf | 65.82%
15.32/15.45 c 15.5s| 11000 | 1150 | 82895 | 7.5 | 43M | 35 | 148 |3900 | 0 |1413 | 0 | 12k|1531 | 0.000000e+00 | 2.000000e+00 | Inf | 65.83%
15.42/15.52 c 15.5s| 11100 | 1136 | 83324 | 7.5 | 43M | 35 | 148 |3907 | 0 |1415 | 0 | 12k|1534 | 0.000000e+00 | 2.000000e+00 | Inf | 65.84%
15.42/15.57 c 15.6s| 11200 | 1140 | 83730 | 7.5 | 43M | 35 | 148 |3902 | 0 |1422 | 0 | 12k|1536 | 0.000000e+00 | 2.000000e+00 | Inf | 65.84%
15.52/15.68 c 15.7s| 11300 | 1148 | 84368 | 7.4 | 44M | 35 | 148 |3903 | 0 |1434 | 0 | 12k|1538 | 0.000000e+00 | 2.000000e+00 | Inf | 65.87%
15.62/15.74 c 15.7s| 11400 | 1174 | 84792 | 7.4 | 44M | 35 | 148 |3933 | 0 |1438 | 0 | 13k|1538 | 0.000000e+00 | 2.000000e+00 | Inf | 65.87%
15.72/15.82 c 15.8s| 11500 | 1163 | 85410 | 7.4 | 44M | 35 | 148 |3950 | 0 |1447 | 0 | 13k|1538 | 0.000000e+00 | 2.000000e+00 | Inf | 65.88%
15.82/15.90 c 15.9s| 11600 | 1180 | 86030 | 7.4 | 44M | 35 | 148 |3935 |1774 |1450 | 1 | 13k|1546 | 0.000000e+00 | 2.000000e+00 | Inf | 65.89%
15.82/15.98 c 16.0s| 11700 | 1184 | 86681 | 7.4 | 44M | 35 | 148 |3980 |1775 |1455 | 2 | 13k|1555 | 0.000000e+00 | 2.000000e+00 | Inf | 65.90%
15.92/16.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.92/16.08 c 16.1s| 11800 | 1185 | 87524 | 7.4 | 44M | 35 | 148 |4028 | 0 |1469 | 0 | 13k|1573 | 0.000000e+00 | 2.000000e+00 | Inf | 65.91%
16.02/16.19 c 16.2s| 11900 | 1187 | 88323 | 7.4 | 44M | 35 | 148 |4072 | 0 |1480 | 0 | 13k|1595 | 0.000000e+00 | 2.000000e+00 | Inf | 65.94%
16.11/16.26 c 16.3s| 12000 | 1206 | 88840 | 7.4 | 44M | 35 | 148 |4083 | 0 |1486 | 0 | 13k|1599 | 0.000000e+00 | 2.000000e+00 | Inf | 65.95%
16.21/16.35 c 16.3s| 12100 | 1206 | 89659 | 7.4 | 44M | 35 | 148 |4070 |1774 |1490 | 1 | 13k|1610 | 0.000000e+00 | 2.000000e+00 | Inf | 65.97%
16.31/16.41 c 16.4s| 12200 | 1194 | 90079 | 7.4 | 44M | 35 | 148 |4091 |1770 |1508 | 1 | 14k|1613 | 0.000000e+00 | 2.000000e+00 | Inf | 66.02%
16.51/16.60 c 16.6s| 12300 | 1184 | 90774 | 7.4 | 44M | 35 | 148 |4079 |1769 |1524 | 0 | 14k|1622 | 0.000000e+00 | 2.000000e+00 | Inf | 66.02%
16.61/16.71 c 16.7s| 12400 | 1181 | 91306 | 7.3 | 44M | 35 | 148 |4076 | 0 |1533 | 0 | 14k|1630 | 0.000000e+00 | 2.000000e+00 | Inf | 66.03%
16.71/16.80 c 16.8s| 12500 | 1177 | 91824 | 7.3 | 45M | 35 | 148 |4022 |1780 |1542 | 1 | 14k|1631 | 0.000000e+00 | 2.000000e+00 | Inf | 66.04%
16.71/16.87 c 16.9s| 12600 | 1192 | 92326 | 7.3 | 45M | 35 | 148 |4037 | 0 |1550 | 0 | 14k|1633 | 0.000000e+00 | 2.000000e+00 | Inf | 66.04%
16.81/16.93 c 16.9s| 12700 | 1208 | 92744 | 7.3 | 45M | 35 | 148 |4063 |1771 |1556 | 1 | 14k|1633 | 0.000000e+00 | 2.000000e+00 | Inf | 66.06%
16.81/16.99 c 17.0s| 12800 | 1193 | 93135 | 7.3 | 45M | 35 | 148 |4087 |1774 |1564 | 1 | 14k|1637 | 0.000000e+00 | 2.000000e+00 | Inf | 66.10%
16.92/17.05 c 17.0s| 12900 | 1180 | 93546 | 7.2 | 45M | 35 | 148 |4082 |1769 |1564 | 1 | 14k|1641 | 0.000000e+00 | 2.000000e+00 | Inf | 66.14%
17.02/17.11 c 17.1s| 13000 | 1165 | 93931 | 7.2 | 45M | 35 | 148 |4077 | 0 |1571 | 0 | 14k|1645 | 0.000000e+00 | 2.000000e+00 | Inf | 66.15%
17.11/17.28 c 17.3s| 13100 | 1169 | 94712 | 7.2 | 45M | 35 | 148 |4018 |1776 |1588 | 1 | 14k|1649 | 0.000000e+00 | 2.000000e+00 | Inf | 66.22%
17.21/17.35 c 17.4s| 13200 | 1167 | 95342 | 7.2 | 45M | 35 | 148 |4026 | 0 |1590 | 0 | 14k|1650 | 0.000000e+00 | 2.000000e+00 | Inf | 66.22%
17.31/17.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.31/17.43 c 17.4s| 13300 | 1166 | 95917 | 7.2 | 45M | 35 | 148 |4058 | 0 |1592 | 0 | 15k|1660 | 0.000000e+00 | 2.000000e+00 | Inf | 66.22%
17.41/17.53 c 17.5s| 13400 | 1173 | 96576 | 7.2 | 45M | 35 | 148 |4095 | 0 |1601 | 0 | 15k|1672 | 0.000000e+00 | 2.000000e+00 | Inf | 66.24%
17.51/17.62 c 17.6s| 13500 | 1204 | 97191 | 7.2 | 45M | 35 | 148 |4139 |1773 |1603 | 2 | 15k|1692 | 0.000000e+00 | 2.000000e+00 | Inf | 66.25%
17.51/17.68 c 17.7s| 13600 | 1200 | 97670 | 7.2 | 45M | 35 | 148 |4172 |1772 |1603 | 1 | 15k|1697 | 0.000000e+00 | 2.000000e+00 | Inf | 66.25%
17.62/17.74 c 17.7s| 13700 | 1184 | 98056 | 7.1 | 45M | 35 | 148 |4159 |1768 |1603 | 1 | 15k|1704 | 0.000000e+00 | 2.000000e+00 | Inf | 66.27%
17.72/17.81 c 17.8s| 13800 | 1182 | 98544 | 7.1 | 45M | 35 | 148 |4215 | 0 |1608 | 0 | 15k|1714 | 1.666667e-01 | 2.000000e+00 |1100.00%| 68.91%
17.72/17.87 c 17.9s| 13900 | 1160 | 98997 | 7.1 | 45M | 35 | 148 |4182 |1774 |1608 | 1 | 15k|1721 | 2.500000e-01 | 2.000000e+00 | 700.00%| 70.25%
17.82/17.93 c 17.9s| 14000 | 1171 | 99510 | 7.1 | 45M | 35 | 148 |4204 |1771 |1611 | 1 | 15k|1725 | 2.500000e-01 | 2.000000e+00 | 700.00%| 70.27%
17.82/17.99 c 18.0s| 14100 | 1149 | 99847 | 7.1 | 45M | 35 | 148 |4259 | 0 |1616 | 0 | 15k|1726 | 2.500000e-01 | 2.000000e+00 | 700.00%| 70.27%
17.92/18.04 c 18.0s| 14200 | 1139 |100200 | 7.0 | 45M | 35 | 148 |4272 |1773 |1616 | 1 | 16k|1727 | 2.777778e-01 | 2.000000e+00 | 620.00%| 70.72%
18.02/18.11 c 18.1s| 14300 | 1128 |100625 | 7.0 | 45M | 35 | 148 |4224 |1770 |1616 | 1 | 16k|1731 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.62%
18.02/18.17 c 18.2s| 14400 | 1109 |100985 | 7.0 | 45M | 35 | 148 |4248 |1771 |1616 | 0 | 16k|1735 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.62%
18.12/18.23 c 18.2s| 14500 | 1087 |101343 | 7.0 | 45M | 35 | 148 |4283 |1775 |1621 | 1 | 16k|1742 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.63%
18.12/18.29 c 18.3s| 14600 | 1074 |101733 | 6.9 | 45M | 35 | 148 |4299 | 0 |1627 | 0 | 16k|1742 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.64%
18.22/18.35 c 18.4s| 14700 | 1064 |102156 | 6.9 | 45M | 35 | 148 |4269 |1772 |1630 | 1 | 16k|1743 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.67%
18.32/18.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.32/18.42 c 18.4s| 14800 | 1059 |102587 | 6.9 | 45M | 35 | 148 |4286 |1775 |1635 | 1 | 16k|1746 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.68%
18.32/18.47 c 18.5s| 14900 | 1043 |102874 | 6.9 | 45M | 35 | 148 |4310 |1776 |1635 | 1 | 16k|1747 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.68%
18.42/18.52 c 18.5s| 15000 | 1038 |103218 | 6.9 | 45M | 35 | 148 |4332 |1771 |1636 | 1 | 16k|1750 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.69%
18.42/18.58 c 18.6s| 15100 | 1011 |103561 | 6.8 | 45M | 35 | 148 |4339 |1774 |1637 | 1 | 16k|1756 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.70%
18.51/18.64 c 18.6s| 15200 | 978 |103924 | 6.8 | 45M | 35 | 148 |4347 |1769 |1639 | 0 | 16k|1763 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.72%
18.61/18.70 c 18.7s| 15300 | 965 |104371 | 6.8 | 45M | 35 | 148 |4444 | 0 |1641 | 0 | 17k|1780 | 3.333333e-01 | 2.000000e+00 | 500.00%| 71.72%
18.61/18.77 c 18.8s| 15400 | 946 |104710 | 6.8 | 45M | 35 | 148 |4402 |1770 |1641 | 2 | 17k|1788 | 5.000000e-01 | 2.000000e+00 | 300.00%| 74.37%
18.71/18.82 c 18.8s| 15500 | 932 |105104 | 6.8 | 45M | 35 | 148 |4410 | 0 |1641 | 0 | 17k|1801 | 5.000000e-01 | 2.000000e+00 | 300.00%| 74.38%
18.71/18.87 c 18.9s| 15600 | 927 |105459 | 6.7 | 45M | 35 | 148 |4451 |1775 |1643 | 1 | 17k|1813 | 5.000000e-01 | 2.000000e+00 | 300.00%| 74.40%
18.81/18.93 c 18.9s| 15700 | 911 |105854 | 6.7 | 45M | 35 | 148 |4474 | 0 |1647 | 0 | 17k|1824 | 5.000000e-01 | 2.000000e+00 | 300.00%| 74.41%
18.81/18.99 c 19.0s| 15800 | 892 |106198 | 6.7 | 45M | 35 | 148 |4469 | 0 |1650 | 0 | 17k|1833 | 5.000000e-01 | 2.000000e+00 | 300.00%| 74.43%
18.92/19.05 c 19.0s| 15900 | 875 |106684 | 6.7 | 45M | 35 | 148 |4439 | 0 |1651 | 0 | 17k|1845 | 5.000000e-01 | 2.000000e+00 | 300.00%| 74.45%
19.02/19.15 c 19.1s| 16000 | 884 |107189 | 6.7 | 45M | 35 | 148 |4453 | 0 |1658 | 0 | 17k|1856 | 5.000000e-01 | 2.000000e+00 | 300.00%| 74.46%
19.11/19.20 c 19.2s| 16100 | 869 |107519 | 6.7 | 45M | 35 | 148 |4374 |1772 |1658 | 0 | 17k|1857 | 5.000000e-01 | 2.000000e+00 | 300.00%| 74.47%
19.11/19.27 c 19.3s| 16200 | 849 |107870 | 6.6 | 45M | 35 | 148 |4326 | 0 |1660 | 0 | 17k|1860 | 5.000000e-01 | 2.000000e+00 | 300.00%| 74.48%
20.30/20.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.30/20.42 c 20.4s| 16300 | 833 |108186 | 6.6 | 45M | 35 | 148 |4300 | 0 |1660 | 0 | 18k|1861 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.44%
20.30/20.47 c 20.5s| 16400 | 815 |108531 | 6.6 | 45M | 35 | 148 |4308 |1769 |1660 | 1 | 18k|1863 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.47%
20.40/20.53 c 20.5s| 16500 | 798 |108889 | 6.6 | 45M | 35 | 148 |4322 | 0 |1661 | 0 | 18k|1869 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.48%
20.50/20.60 c 20.6s| 16600 | 786 |109325 | 6.6 | 45M | 35 | 148 |4360 |1776 |1669 | 0 | 18k|1873 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.50%
20.50/20.65 c 20.7s| 16700 | 784 |109629 | 6.5 | 45M | 35 | 148 |4359 |1776 |1697 | 1 | 18k|1873 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.51%
20.60/20.70 c 20.7s| 16800 | 760 |109911 | 6.5 | 45M | 35 | 148 |4321 |1775 |1701 | 1 | 18k|1876 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.52%
20.60/20.75 c 20.8s| 16900 | 747 |110193 | 6.5 | 45M | 35 | 148 |4389 | 0 |1701 | 0 | 18k|1880 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.54%
20.70/20.86 c 20.9s| 17000 | 737 |110632 | 6.5 | 45M | 35 | 148 |4343 |1770 |1713 | 0 | 18k|1882 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.56%
20.80/20.91 c 20.9s| 17100 | 731 |111002 | 6.5 | 45M | 35 | 148 |4368 |1775 |1719 | 1 | 18k|1885 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.58%
20.80/20.98 c 21.0s| 17200 | 709 |111320 | 6.5 | 45M | 35 | 148 |4335 | 0 |1719 | 0 | 18k|1893 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.60%
20.91/21.03 c 21.0s| 17300 | 685 |111602 | 6.4 | 45M | 35 | 148 |4305 |1772 |1720 | 0 | 18k|1898 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.63%
20.91/21.09 c 21.1s| 17400 | 679 |112000 | 6.4 | 45M | 35 | 148 |4306 |1775 |1720 | 1 | 19k|1903 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.68%
21.01/21.14 c 21.1s| 17500 | 648 |112265 | 6.4 | 45M | 35 | 148 |4295 |1774 |1723 | 1 | 19k|1903 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.68%
21.01/21.19 c 21.2s| 17600 | 639 |112628 | 6.4 | 45M | 35 | 148 |4331 | 0 |1725 | 0 | 19k|1905 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.69%
21.10/21.24 c 21.2s| 17700 | 610 |112888 | 6.4 | 45M | 35 | 148 |4292 |1772 |1725 | 1 | 19k|1907 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.71%
21.20/21.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.20/21.31 c 21.3s| 17800 | 580 |113334 | 6.4 | 45M | 35 | 148 |4277 |1771 |1727 | 1 | 19k|1927 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.72%
21.70/21.84 c 21.8s| 17900 | 569 |113902 | 6.3 | 45M | 35 | 148 |4274 |1769 |1735 | 0 | 19k|1944 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.76%
21.80/21.91 c 21.9s| 18000 | 561 |114431 | 6.3 | 45M | 35 | 148 |4311 |1770 |1735 | 1 | 19k|1972 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.78%
21.80/21.97 c 22.0s| 18100 | 534 |114874 | 6.3 | 45M | 35 | 148 |4281 |1775 |1735 | 1 | 19k|1984 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.82%
21.90/22.06 c 22.1s| 18200 | 531 |115346 | 6.3 | 45M | 35 | 148 |4258 | 0 |1743 | 0 | 19k|1996 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.85%
22.00/22.11 c 22.1s| 18300 | 532 |115709 | 6.3 | 45M | 35 | 148 |4295 |1773 |1743 | 1 | 20k|1997 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.85%
22.00/22.17 c 22.2s| 18400 | 515 |116097 | 6.3 | 45M | 35 | 148 |4321 | 0 |1748 | 0 | 20k|2002 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.86%
22.10/22.22 c 22.2s| 18500 | 504 |116511 | 6.3 | 45M | 35 | 148 |4409 |1774 |1749 | 1 | 20k|2011 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.88%
22.10/22.27 c 22.3s| 18600 | 504 |116896 | 6.3 | 45M | 35 | 148 |4442 | 0 |1750 | 0 | 20k|2015 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.89%
22.19/22.32 c 22.3s| 18700 | 494 |117173 | 6.3 | 45M | 35 | 148 |4462 |1775 |1752 | 0 | 20k|2017 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.91%
22.19/22.37 c 22.4s| 18800 | 492 |117856 | 6.3 | 45M | 35 | 148 |4438 |1776 |1752 | 0 | 20k|2018 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.91%
22.29/22.42 c 22.4s| 18900 | 479 |118277 | 6.2 | 45M | 35 | 148 |4428 |1774 |1752 | 1 | 20k|2020 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.94%
22.29/22.47 c 22.5s| 19000 | 457 |118608 | 6.2 | 45M | 35 | 148 |4410 |1774 |1752 | 1 | 20k|2028 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.97%
22.39/22.54 c 22.5s| 19100 | 445 |119051 | 6.2 | 45M | 35 | 148 |4423 |1774 |1756 | 1 | 20k|2039 | 1.000000e+00 | 2.000000e+00 | 100.00%| 82.97%
22.39/22.59 c 22.6s| 19200 | 419 |119356 | 6.2 | 45M | 35 | 148 |4389 | 0 |1756 | 0 | 20k|2044 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.04%
22.49/22.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.49/22.64 c 22.6s| 19300 | 403 |119645 | 6.2 | 45M | 35 | 148 |4392 | 0 |1758 | 0 | 20k|2051 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.07%
22.99/23.13 c 23.1s| 19400 | 401 |120084 | 6.2 | 45M | 35 | 148 |4397 | 0 |1758 | 0 | 20k|2058 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.08%
22.99/23.18 c 23.2s| 19500 | 390 |120707 | 6.2 | 45M | 35 | 148 |4369 |1775 |1758 | 2 | 20k|2063 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.09%
23.09/23.23 c 23.2s| 19600 | 376 |121081 | 6.2 | 45M | 35 | 148 |4335 |1769 |1763 | 2 | 21k|2074 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.10%
23.09/23.29 c 23.3s| 19700 | 357 |121436 | 6.2 | 45M | 35 | 148 |4288 | 0 |1763 | 0 | 21k|2080 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.13%
23.19/23.34 c 23.3s| 19800 | 349 |121828 | 6.1 | 45M | 35 | 148 |4215 | 0 |1763 | 0 | 21k|2081 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.14%
23.29/23.40 c 23.4s| 19900 | 354 |122425 | 6.1 | 45M | 35 | 148 |4149 |1773 |1763 | 1 | 21k|2082 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.14%
23.29/23.46 c 23.5s| 20000 | 334 |123080 | 6.1 | 45M | 35 | 148 |4094 | 0 |1763 | 0 | 21k|2094 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.18%
23.39/23.53 c 23.5s| 20100 | 300 |123490 | 6.1 | 45M | 35 | 148 |4078 | 0 |1763 | 0 | 21k|2103 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.18%
23.39/23.58 c 23.6s| 20200 | 289 |123938 | 6.1 | 45M | 35 | 148 |4082 | 0 |1763 | 0 | 21k|2112 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.20%
23.49/23.66 c 23.7s| 20300 | 281 |124413 | 6.1 | 45M | 35 | 148 |4111 | 0 |1769 | 0 | 21k|2129 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.21%
23.59/23.71 c 23.7s| 20400 | 275 |124841 | 6.1 | 45M | 35 | 148 |4092 |1771 |1771 | 0 | 21k|2135 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.22%
23.59/23.77 c 23.8s| 20500 | 274 |125399 | 6.1 | 45M | 35 | 148 |4121 | 0 |1772 | 0 | 21k|2139 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.25%
23.69/23.82 c 23.8s| 20600 | 274 |125853 | 6.1 | 45M | 35 | 148 |4134 |1771 |1772 | 1 | 21k|2145 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.25%
23.79/23.93 c 23.9s| 20700 | 268 |126274 | 6.1 | 45M | 35 | 148 |4111 | 0 |1781 | 0 | 21k|2152 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.26%
23.79/23.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.79/23.99 c 24.0s| 20800 | 278 |126603 | 6.1 | 45M | 35 | 148 |4091 | 0 |1781 | 0 | 21k|2157 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.27%
23.89/24.05 c 24.0s| 20900 | 262 |126970 | 6.1 | 45M | 35 | 148 |4089 |1771 |1784 | 1 | 22k|2163 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.27%
23.89/24.09 c 24.1s| 21000 | 263 |127287 | 6.0 | 45M | 35 | 148 |4093 |1773 |1795 | 1 | 22k|2165 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.27%
24.49/24.66 c 24.7s| 21100 | 228 |127692 | 6.0 | 45M | 35 | 148 |4024 |1773 |1798 | 1 | 22k|2178 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.31%
24.58/24.75 c 24.7s| 21200 | 255 |128302 | 6.0 | 45M | 35 | 148 |3970 |1771 |1805 | 1 | 22k|2180 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.32%
24.68/24.80 c 24.8s| 21300 | 212 |128602 | 6.0 | 45M | 35 | 148 |3909 | 0 |1806 | 0 | 22k|2180 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.36%
24.68/24.85 c 24.9s| 21400 | 193 |129028 | 6.0 | 45M | 35 | 148 |3834 |1774 |1806 | 1 | 22k|2185 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.42%
24.78/24.91 c 24.9s| 21500 | 177 |129361 | 6.0 | 45M | 35 | 148 |3824 |1772 |1813 | 1 | 22k|2192 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.43%
24.89/25.01 c 25.0s| 21600 | 184 |129875 | 6.0 | 45M | 35 | 148 |3791 | 0 |1822 | 0 | 22k|2197 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.45%
24.89/25.06 c 25.1s| 21700 | 172 |130164 | 6.0 | 45M | 35 | 148 |3793 | 0 |1824 | 0 | 22k|2197 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.46%
24.99/25.11 c 25.1s| 21800 | 169 |130572 | 6.0 | 45M | 35 | 148 |3781 | 0 |1835 | 0 | 22k|2199 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.46%
24.99/25.16 c 25.2s| 21900 | 169 |130994 | 6.0 | 45M | 35 | 148 |3768 |1771 |1844 | 1 | 22k|2201 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.47%
25.08/25.21 c 25.2s| 22000 | 140 |131413 | 6.0 | 45M | 35 | 148 |3701 |1776 |1848 | 0 | 22k|2202 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.61%
25.08/25.27 c 25.3s| 22100 | 130 |131778 | 6.0 | 45M | 35 | 148 |3672 |1773 |1849 | 0 | 22k|2204 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.62%
25.18/25.36 c 25.4s| 22200 | 131 |132281 | 5.9 | 45M | 35 | 148 |3696 | 0 |1858 | 0 | 22k|2208 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.64%
25.28/25.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.28/25.42 c 25.4s| 22300 | 126 |132684 | 5.9 | 45M | 35 | 148 |3721 |1773 |1870 | 1 | 22k|2209 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.68%
25.28/25.48 c 25.5s| 22400 | 119 |133064 | 5.9 | 45M | 35 | 148 |3735 |1773 |1870 | 1 | 23k|2209 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.70%
25.38/25.53 c 25.5s| 22500 | 120 |133533 | 5.9 | 45M | 35 | 148 |3734 |1773 |1875 | 1 | 23k|2209 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.72%
25.38/25.59 c 25.6s| 22600 | 110 |133982 | 5.9 | 45M | 35 | 148 |3742 |1770 |1875 | 1 | 23k|2226 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.75%
25.48/25.64 c 25.6s| 22700 | 94 |134369 | 5.9 | 45M | 35 | 148 |3777 | 0 |1877 | 0 | 23k|2241 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.77%
25.58/25.71 c 25.7s| 22800 | 79 |135047 | 5.9 | 45M | 35 | 148 |3831 |1774 |1880 | 1 | 23k|2262 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.83%
25.58/25.76 c 25.8s| 22900 | 64 |135525 | 5.9 | 45M | 35 | 148 |3812 |1774 |1880 | 0 | 23k|2275 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.87%
25.68/25.82 c 25.8s| 23000 | 69 |135963 | 5.9 | 45M | 35 | 148 |3771 |1773 |1886 | 1 | 23k|2278 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.94%
25.68/25.87 c 25.9s| 23100 | 58 |136329 | 5.9 | 45M | 35 | 148 |3815 | 0 |1890 | 0 | 23k|2286 | 1.000000e+00 | 2.000000e+00 | 100.00%| 83.96%
25.78/25.92 c 25.9s| 23200 | 35 |136701 | 5.9 | 45M | 35 | 148 |3774 |1771 |1890 | 1 | 23k|2291 | 1.000000e+00 | 2.000000e+00 | 100.00%| 84.06%
25.78/25.97 c 26.0s| 23300 | 12 |137106 | 5.9 | 45M | 35 | 148 |3694 |1770 |1890 | 1 | 23k|2302 | 1.000000e+00 | 2.000000e+00 | 100.00%| 84.10%
25.89/26.03 c 26.0s| 23400 | 4 |137687 | 5.9 | 45M | 35 | 148 |3208 |1773 |1890 | 1 | 23k|2312 | 1.000000e+00 | 2.000000e+00 | 100.00%| 84.17%
25.89/26.04 c
25.89/26.04 c SCIP Status : problem is solved [optimal solution found]
25.89/26.04 c Solving Time (sec) : 26.03
25.89/26.04 c Solving Nodes : 23408
25.89/26.04 c Primal Bound : +2.00000000000000e+00 (128 solutions)
25.89/26.04 c Dual Bound : +2.00000000000000e+00
25.89/26.04 c Gap : 0.00 %
25.89/26.04 s OPTIMUM FOUND
25.89/26.04 v x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
25.89/26.04 v -x126 x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105
25.89/26.04 v -x104 -x103 x102 -x101 x28 x27 x26 x25 x24 x23 x22 x21 x20 -x19 x18 x17 x16 -x15 -x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4
25.89/26.04 v x3 x2 x1 -x100 x92 -x84 -x76 -x68 -x60 -x52 -x44 -x99 -x91 -x83 -x75 -x67 -x59 -x51 -x43 -x98 -x90 -x82 x74 -x66 -x58 -x50 -x42
25.89/26.04 v -x97 -x89 -x81 -x73 -x65 -x57 -x49 x41 -x96 -x88 -x80 -x72 -x64 -x56 x48 -x40 x95 -x87 -x79 -x71 -x63 -x55 -x47 -x39 -x94
25.89/26.04 v -x86 x78 -x70 -x62 -x54 -x46 -x38 -x93 -x85 -x77 -x69 -x61 -x53 -x45 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 x29
25.89/26.04 c SCIP Status : problem is solved [optimal solution found]
25.89/26.04 c Total Time : 26.03
25.89/26.04 c solving : 26.03
25.89/26.04 c presolving : 0.02 (included in solving)
25.89/26.04 c reading : 0.00 (included in solving)
25.89/26.04 c copying : 0.64 (124 #copies) (minimal 0.00, maximal 0.01, average 0.01)
25.89/26.04 c Original Problem :
25.89/26.04 c Problem name : HOME/instance-4449688-1721403114.opb
25.89/26.04 c Variables : 148 (148 binary, 0 integer, 0 implicit integer, 0 continuous)
25.89/26.04 c Constraints : 1760 initial, 1760 maximal
25.89/26.04 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 1)
25.89/26.04 c Presolved Problem :
25.89/26.04 c Problem name : t_HOME/instance-4449688-1721403114.opb
25.89/26.04 c Variables : 148 (148 binary, 0 integer, 0 implicit integer, 0 continuous)
25.89/26.04 c Constraints : 1760 initial, 4485 maximal
25.89/26.04 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 1)
25.89/26.04 c Nonzeros : 5392 constraint, 106 clique table
25.89/26.04 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
25.89/26.04 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
25.89/26.04 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
25.89/26.04 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
25.89/26.04 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
25.89/26.04 c linear : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
25.89/26.04 c logicor : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
25.89/26.04 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c root node : - - - 69 - - 69 - - - - -
25.89/26.04 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
25.89/26.04 c benderslp : 0 0 0 0 14016 0 0 2040 0 0 0 0 0 0 0
25.89/26.04 c integral : 0 0 0 0 14016 0 0 2040 0 0 3199 0 0 3071 26102
25.89/26.04 c knapsack : 0+ 16 0 90887 0 0 0 0 10986 327 13463 0 0 0 0
25.89/26.04 c setppc : 8+ 48 11 92502 0 0 0 2034 80853 372 28651 0 0 0 0
25.89/26.04 c linear : 0+ 220 11 97192 0 0 0 3 526 374 1121 0 0 0 0
25.89/26.04 c logicor : 1752+ 4429 11 98307 0 0 0 1588 239055 10854 203945 0 0 0 0
25.89/26.04 c benders : 0 0 0 0 0 0 0 157 0 0 0 0 0 0 0
25.89/26.04 c fixedvar : 0 0 0 0 0 0 0 157 0 0 0 0 0 0 0
25.89/26.04 c countsols : 0 0 0 0 0 0 0 157 0 0 0 0 0 0 0
25.89/26.04 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
25.89/26.04 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c integral : 1.77 0.00 0.00 0.00 1.77 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c knapsack : 0.08 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.01 0.01
25.89/26.04 c setppc : 0.10 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.01 0.01
25.89/26.04 c linear : 0.11 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.01
25.89/26.04 c logicor : 2.02 0.00 0.00 1.82 0.00 0.00 0.00 0.03 0.07 0.10
25.89/26.04 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c Propagators : #Propagate #ResProp Cutoffs DomReds
25.89/26.04 c dualfix : 2 0 0 0
25.89/26.04 c genvbounds : 0 0 0 0
25.89/26.04 c nlobbt : 0 0 0 0
25.89/26.04 c obbt : 0 0 0 0
25.89/26.04 c probing : 0 0 0 0
25.89/26.04 c pseudoobj : 104972 3959 202 8341
25.89/26.04 c redcost : 31005 0 0 13386
25.89/26.04 c rootredcost : 1 0 0 0
25.89/26.04 c symmetry : 97355 0 1839 15617
25.89/26.04 c vbounds : 36854 0 0 0
25.89/26.04 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
25.89/26.04 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
25.89/26.04 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
25.89/26.04 c pseudoobj : 0.06 0.00 0.00 0.05 0.00 0.00
25.89/26.04 c redcost : 0.09 0.00 0.00 0.09 0.00 0.00
25.89/26.04 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
25.89/26.04 c symmetry : 1.88 0.00 0.01 1.77 0.00 0.10
25.89/26.04 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.00
25.89/26.04 c Symmetry :
25.89/26.04 c orbitopal red. : 0 reductions applied, 0 cutoffs
25.89/26.04 c orbital reduction: 12702 reductions applied, 1520 cutoffs
25.89/26.04 c lexicographic red: 3414 reductions applied, 319 cutoffs
25.89/26.04 c shadow tree time : 0.02 s
25.89/26.04 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
25.89/26.04 c propagation : 0.28 12129 11608 - 75451 25.5 411 15.2 - - -
25.89/26.04 c infeasible LP : 0.01 161 160 - 820 25.2 1 8.0 105 13.0 0
25.89/26.04 c bound exceed. LP : 0.03 452 441 - 1818 18.7 31 13.9 27 15.5 58
25.89/26.04 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
25.89/26.04 c pseudo solution : 0.00 21 21 - 21 2.0 0 0.0 - - -
25.89/26.04 c applied globally : 0.03 - - 0 21600 14.9 - - 132 - -
25.89/26.04 c applied locally : - - - 0 2171 26.0 - - 0 - -
25.89/26.04 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
25.89/26.04 c cut pool : 0.09 - 2490 21 - - 6313 11374 - - - - - (maximal pool size: 2483)
25.89/26.04 c aggregation : 0.04 0.00 253 11 0 0 2 2 0 0 0 0 0
25.89/26.04 c > cmir : - - - - - - - 2 0 0 0 0 -
25.89/26.04 c > flowcover : - - - - - - - 0 0 0 0 0 -
25.89/26.04 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
25.89/26.04 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c clique : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
25.89/26.04 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c gomory : 4.02 0.00 251 10 0 0 7588 8304 1778 648 598 50 0
25.89/26.04 c > gomorymi : - - - - - - - 2831 889 203 178 25 -
25.89/26.04 c > strongcg : - - - - - - - 5473 889 445 420 25 -
25.89/26.04 c impliedbounds : 0.00 0.00 253 11 0 0 0 0 0 0 0 0 0
25.89/26.04 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
25.89/26.04 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c multilinear : 0.00 0.00 1209 11 0 0 0 0 0 0 0 0 0
25.89/26.04 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.89/26.04 c rapidlearning : 2.13 0.00 100 1 0 4187 0 0 0 0 0 0 400
25.89/26.04 c rlt : 0.00 0.00 112 10 0 0 0 0 0 0 0 0 0
25.89/26.04 c zerohalf : 0.06 0.00 252 11 0 0 671 3068 170 1242 1162 80 0
25.89/26.04 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
25.89/26.04 c hybrid : 0.01 0.00 910 11 1894 0 11365 33 0 1928
25.89/26.04 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c Pricers : ExecTime SetupTime Calls Vars
25.89/26.04 c problem variables: 0.00 - 0 0
25.89/26.04 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
25.89/26.04 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c random : 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c relpscost : 1.76 0.00 14016 0 0 0 3199 0 3335 26102
25.89/26.04 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
25.89/26.04 c Primal Heuristics : ExecTime SetupTime Calls Found Best
25.89/26.04 c LP solutions : 0.00 - - 0 0
25.89/26.04 c relax solutions : 0.00 - - 0 0
25.89/26.04 c pseudo solutions : 0.00 - - 0 0
25.89/26.04 c strong branching : 0.00 - - 0 0
25.89/26.04 c actconsdiving : 0.00 0.00 0 0 0
25.89/26.04 c adaptivediving : 0.13 0.00 106 0 0
25.89/26.04 c alns : 0.08 0.00 8 0 0
25.89/26.04 c bound : 0.00 0.00 0 0 0
25.89/26.04 c clique : 0.00 0.00 1 0 0
25.89/26.04 c coefdiving : 0.00 0.00 0 0 0
25.89/26.04 c completesol : 0.00 0.00 0 0 0
25.89/26.04 c conflictdiving : 0.06 0.00 151 0 0
25.89/26.04 c crossover : 0.08 0.00 4 0 0
25.89/26.04 c dins : 0.00 0.00 0 0 0
25.89/26.04 c distributiondivin: 0.34 0.00 145 0 0
25.89/26.04 c dps : 0.00 0.00 0 0 0
25.89/26.04 c dualval : 0.00 0.00 0 0 0
25.89/26.04 c farkasdiving : 0.00 0.00 0 0 0
25.89/26.04 c feasjump : 0.00 0.00 0 0 0
25.89/26.04 c feaspump : 0.00 0.00 0 0 0
25.89/26.04 c fixandinfer : 0.00 0.00 0 0 0
25.89/26.04 c fracdiving : 0.07 0.00 149 0 0
25.89/26.04 c gins : 0.00 0.00 0 0 0
25.89/26.04 c guideddiving : 0.07 0.00 150 0 0
25.89/26.04 c indcoefdiving : 0.00 0.00 0 0 0
25.89/26.04 c indicator : 0.00 0.00 0 0 0
25.89/26.04 c indicatordiving : 0.00 0.00 0 0 0
25.89/26.04 c indoneopt : 0.00 0.00 0 0 0
25.89/26.04 c indrounding : 0.00 0.00 0 0 0
25.89/26.04 c indtwoopt : 0.00 0.00 0 0 0
25.89/26.04 c intdiving : 0.00 0.00 0 0 0
25.89/26.04 c intshifting : 0.00 0.00 0 0 0
25.89/26.04 c linesearchdiving : 0.09 0.00 151 0 0
25.89/26.04 c localbranching : 0.00 0.00 0 0 0
25.89/26.04 c locks : 0.00 0.00 1 0 0
25.89/26.04 c lpface : 2.45 0.00 4 0 0
25.89/26.04 c mpec : 0.00 0.00 0 0 0
25.89/26.04 c multistart : 0.00 0.00 0 0 0
25.89/26.04 c mutation : 0.00 0.00 0 0 0
25.89/26.04 c nlpdiving : 0.00 0.00 0 0 0
25.89/26.04 c objpscostdiving : 0.11 0.00 59 6 0
25.89/26.04 c octane : 0.00 0.00 0 0 0
25.89/26.04 c ofins : 0.00 0.00 0 0 0
25.89/26.04 c oneopt : 0.00 0.00 4 1 1
25.89/26.04 c padm : 0.00 0.00 0 0 0
25.89/26.04 c proximity : 0.00 0.00 0 0 0
25.89/26.04 c pscostdiving : 0.08 0.00 149 0 0
25.89/26.04 c randrounding : 0.05 0.00 2053 0 0
25.89/26.04 c rens : 0.01 0.00 1 0 0
25.89/26.04 c reoptsols : 0.00 0.00 0 0 0
25.89/26.04 c repair : 0.00 0.00 0 0 0
25.89/26.04 c rins : 0.15 0.00 11 0 0
25.89/26.04 c rootsoldiving : 0.17 0.00 41 3 0
25.89/26.04 c rounding : 0.04 0.00 1677 0 0
25.89/26.04 c scheduler : 0.00 0.00 0 0 0
25.89/26.04 c shiftandpropagate: 0.00 0.00 1 1 1
25.89/26.04 c shifting : 0.21 0.00 2446 112 1
25.89/26.04 c simplerounding : 0.01 0.00 16821 0 0
25.89/26.04 c smallcard : 0.00 0.00 0 0 0
25.89/26.04 c subnlp : 0.00 0.00 0 0 0
25.89/26.04 c trivial : 0.00 0.00 2 0 0
25.89/26.04 c trivialnegation : 0.00 0.00 0 0 0
25.89/26.04 c trustregion : 0.00 0.00 0 0 0
25.89/26.04 c trysol : 0.00 0.00 0 0 0
25.89/26.04 c twoopt : 0.00 0.00 0 0 0
25.89/26.04 c undercover : 0.00 0.00 0 0 0
25.89/26.04 c vbounds : 0.00 0.00 0 0 0
25.89/26.04 c veclendiving : 0.08 0.00 150 0 0
25.89/26.04 c zeroobj : 0.00 0.00 0 0 0
25.89/26.04 c zirounding : 0.03 0.00 1000 4 0
25.89/26.04 c other solutions : - - - 0 -
25.89/26.04 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
25.89/26.04 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.89/26.04 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.89/26.04 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.89/26.04 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.89/26.04 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.89/26.04 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.89/26.04 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.89/26.04 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.89/26.04 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
25.89/26.04 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
25.89/26.04 c primal LP : 0.11 699 0 0.00 0.00 0.11 699
25.89/26.04 c dual LP : 4.92 19038 109742 6.43 22319.52 0.37 1975
25.89/26.04 c lex dual LP : 0.00 0 0 0.00 -
25.89/26.04 c barrier LP : 0.00 0 0 0.00 - 0.00 0
25.89/26.04 c resolve instable : 0.00 0 0 0.00 -
25.89/26.04 c diving/probing LP: 0.82 1984 27975 14.10 34140.21
25.89/26.04 c strong branching : 0.56 2314 11546 4.99 20571.72 - - 44
25.89/26.04 c (at root node) : - 15 450 30.00 -
25.89/26.04 c conflict analysis: 0.00 8 58 7.25 -
25.89/26.04 c B&B Tree :
25.89/26.04 c number of runs : 1
25.89/26.04 c nodes : 23408 (13051 internal, 10357 leaves)
25.89/26.04 c feasible leaves : 0
25.89/26.04 c infeas. leaves : 8379
25.89/26.04 c objective leaves : 1978
25.89/26.04 c nodes (total) : 23408 (13051 internal, 10357 leaves)
25.89/26.04 c nodes left : 0
25.89/26.04 c max depth : 35
25.89/26.04 c max depth (total): 35
25.89/26.04 c backtracks : 7932 (33.9%)
25.89/26.04 c early backtracks : 0 (0.0%)
25.89/26.04 c nodes exc. ref. : 0 (0.0%)
25.89/26.04 c delayed cutoffs : 2695
25.89/26.04 c repropagations : 9215 (53102 domain reductions, 2283 cutoffs)
25.89/26.04 c avg switch length: 6.88
25.89/26.04 c switching time : 1.85
25.89/26.04 c Root Node :
25.89/26.04 c First LP value : +0.00000000000000e+00
25.89/26.04 c First LP Iters : 67 (43142.31 Iter/sec)
25.89/26.04 c First LP Time : 0.00
25.89/26.04 c Final Dual Bound : +2.00000000000000e+00
25.89/26.04 c Final Root Iters : 270
25.89/26.04 c Root LP Estimate : +1.68185585623069e+00
25.89/26.04 c Solution :
25.89/26.04 c Solutions found : 128 (4 improvements)
25.89/26.04 c First Solution : +8.00000000000000e+00 (in run 1, after 1 nodes, 0.03 seconds, depth 59, found by <shiftandpropagate>)
25.89/26.04 c Gap First Sol. : infinite
25.89/26.04 c Gap Last Sol. : infinite
25.89/26.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 877 nodes, 4.69 seconds, depth 20, found by <shifting>)
25.89/26.04 c Dual Bound : +2.00000000000000e+00
25.89/26.04 c Gap : 0.00 %
25.89/26.04 c Integrals : Total Avg%
25.89/26.04 c primal-dual : 2237.81 85.95
25.89/26.04 c primal-ref : - - (not evaluated)
25.89/26.04 c dual-ref : - - (not evaluated)
25.89/26.04 c Time complete: 25.9367.
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: 63968 MiB (62005 MiB free)
memory of node 1: 64473 MiB (61966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449688-1721403114/watcher-4449688-1721403114 -o /tmp/evaluation-result-4449688-1721403114/solver-4449688-1721403114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721403126-1020636 --watchdog 3760 pbscip -f HOME/instance-4449688-1721403114.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1020683, runsolver pid=1020680
[startup+0.100085 s]*
/proc/loadavg: 1.11 1.20 1.61 5/259 1020697
/proc/meminfo: memFree=126866812/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=74940 memory=35184 CPUtime=0.09 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 5205 0 0 0 9 0 0 0 20 0 1 0 192482224 76738560 8796 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 18735 8796 3981 3540 0 6992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74940 KiB
Current children cumulated memory: 35184 KiB
[startup+0.204773 s]*
/proc/loadavg: 1.11 1.20 1.61 4/257 1020697
/proc/meminfo: memFree=126794904/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=74232 memory=34856 CPUtime=0.19 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 5248 0 0 0 19 0 0 0 20 0 1 0 192482224 76013568 8714 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 18558 8714 4019 3540 0 6815 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74232 KiB
Current children cumulated memory: 34856 KiB
[startup+0.304583 s]*
/proc/loadavg: 1.11 1.20 1.61 4/254 1020705
/proc/meminfo: memFree=126737252/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=74232 memory=34856 CPUtime=0.29 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 5251 0 0 0 29 0 0 0 20 0 1 0 192482224 76013568 8714 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 18558 8714 4019 3540 0 6815 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74232 KiB
Current children cumulated memory: 34856 KiB
[startup+0.70017 s]
/proc/loadavg: 1.11 1.20 1.61 4/256 1020711
/proc/meminfo: memFree=126589624/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=88284 memory=47524 CPUtime=0.68 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 8459 0 0 0 67 1 0 0 20 0 1 0 192482224 90402816 11881 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 22071 11881 4019 3540 0 10328 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88284 KiB
Current children cumulated memory: 47524 KiB
[startup+1.50024 s]
/proc/loadavg: 1.11 1.20 1.61 5/259 1020743
/proc/meminfo: memFree=126418624/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=89356 memory=49892 CPUtime=1.48 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 9037 0 0 0 147 1 0 0 20 0 1 0 192482224 91500544 12473 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 22339 12473 4019 3540 0 10596 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89356 KiB
Current children cumulated memory: 49892 KiB
[startup+3.10549 s]
/proc/loadavg: 1.34 1.25 1.63 5/259 1020743
/proc/meminfo: memFree=125978324/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=93276 memory=53356 CPUtime=3.08 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 14493 0 0 0 306 2 0 0 20 0 1 0 192482224 95514624 13339 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 23319 13339 4019 3540 0 11576 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93276 KiB
Current children cumulated memory: 53356 KiB
[startup+6.3002 s]
/proc/loadavg: 1.34 1.25 1.63 5/259 1020745
/proc/meminfo: memFree=125847460/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=97568 memory=57244 CPUtime=6.27 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 25811 0 0 0 622 5 0 0 20 0 1 0 192482224 99909632 14311 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 24392 14311 4019 3540 0 12649 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 97568 KiB
Current children cumulated memory: 57244 KiB
[startup+12.7002 s]
/proc/loadavg: 1.56 1.30 1.64 5/259 1020746
/proc/meminfo: memFree=125803456/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=103568 memory=64368 CPUtime=12.63 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 27220 0 0 0 1258 5 0 0 20 0 1 0 192482224 106053632 16092 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 25892 16092 4019 3540 0 14149 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 103568 KiB
Current children cumulated memory: 64368 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 1.43 1.68 5/259 1020748
/proc/meminfo: memFree=125623760/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=124352 memory=87876 CPUtime=25.38 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 32780 0 0 0 2532 6 0 0 20 0 1 0 192482224 127336448 21969 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 31088 21969 4035 3540 0 19345 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 124352 KiB
Current children cumulated memory: 87876 KiB
[startup+26.0491 s]
# the end of solver process 1020683 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=25.8711 s, system=0.069753 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 2.10 1.43 1.68 5/259 1020748
/proc/meminfo: memFree=125623760/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=124352 memory=87876 CPUtime=25.48 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 32780 0 0 0 2542 6 0 0 20 0 1 0 192482224 127336448 21969 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 31088 21969 4035 3540 0 19345 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 124352 KiB
Current children cumulated memory: 87876 KiB
[startup+26.0002 s]*
/proc/loadavg: 2.10 1.43 1.68 5/259 1020750
/proc/meminfo: memFree=125623504/131524600 swapFree=131071996/131071996
[pid=1020683] ppid=1020680 vsize=124352 memory=87876 CPUtime=25.89 cores=5,7
/proc/1020683/stat : 1020683 (pbscip) R 1020680 1020683 1018507 0 -1 4194304 32780 0 0 0 2583 6 0 0 20 0 1 0 192482224 127336448 21969 134679101440 4194304 18693293 140724804779168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29229056 140724804785154 140724804785253 140724804785253 140724804792270 0
/proc/1020683/statm: 31088 21969 4035 3540 0 19345 0
Current children cumulated CPU time: 25.89 s
Current children cumulated vsize: 124352 KiB
Current children cumulated memory: 87876 KiB
Child status: 0
Real time (s): 26.0492
CPU time (s): 25.9409
CPU user time (s): 25.8711
CPU system time (s): 0.069753
CPU usage (%): 99.5844
Max. virtual memory (cumulated for all children) (KiB): 124352
Max. memory (cumulated for all children) (KiB): 87876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.8711
system time used= 0.069753
maximum resident set size= 87876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 1020683
# total CPU time (s): 25.9409
# total CPU user time (s): 25.8711
# total CPU system time (s): 0.069753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060552 second user time and 0.157396 second system time
The end