7.80/7.92 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529739-1752253371.opb
7.80/7.92 c Solving mode: decision
7.80/7.92 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
7.80/7.92 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
7.80/7.92 c original problem has 428 variables (428 bin, 0 int, 0 impl, 0 cont) and 644 constraints
7.80/7.92 c presolving:
7.80/7.92 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 0 impls, 222 clqs
7.80/7.92 c (round 2, medium) 8 del vars, 296 del conss, 1152 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 0 impls, 1354 clqs
7.80/7.92 c (round 3, fast) 8 del vars, 308 del conss, 1152 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 0 impls, 1354 clqs
7.80/7.92 c (round 4, exhaustive) 8 del vars, 1584 del conss, 1284 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 0 impls, 1354 clqs
7.80/7.92 c (0.1s) probing cycle finished: starting next cycle
7.80/7.92 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.80/7.92 c (0.1s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
7.80/7.92 c dynamic symmetry handling statistics:
7.80/7.92 c orbitopal reduction: no components
7.80/7.92 c orbital reduction: 1 components of sizes 3
7.80/7.92 c lexicographic reduction: 3 permutations with support sizes 396, 352, 420
7.80/7.92 c handled 1 out of 1 symmetry components
7.80/7.92 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
7.80/7.92 c 8 deleted vars, 1584 deleted constraints, 1284 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.80/7.92 c 0 implications, 3448 cliques
7.80/7.92 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 344 constraints
7.80/7.92 c 2 constraints of type <knapsack>
7.80/7.92 c 210 constraints of type <setppc>
7.80/7.92 c 132 constraints of type <and>
7.80/7.92 c transformed objective value is always integral (scale: 1)
7.80/7.92 c Presolving Time: 0.13
7.80/7.92 c
7.80/7.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.80/7.92 c 0.2s| 1 | 0 | 187 | - | 12M | 0 | 420 | 422 | 476 | 0 | 0 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 0.3s| 1 | 0 | 423 | - | 12M | 0 | 420 | 428 | 544 | 68 | 1 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 0.4s| 1 | 0 | 501 | - | 20M | 0 | 420 | 433 | 598 | 122 | 2 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 0.5s| 1 | 0 | 593 | - | 26M | 0 | 420 | 436 | 645 | 169 | 3 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 0.6s| 1 | 0 | 643 | - | 33M | 0 | 420 | 437 | 677 | 201 | 4 | 101 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 0.8s| 1 | 0 | 703 | - | 39M | 0 | 420 | 439 | 712 | 236 | 5 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 0.9s| 1 | 0 | 757 | - | 47M | 0 | 420 | 445 | 738 | 262 | 6 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 1.1s| 1 | 0 | 809 | - | 55M | 0 | 420 | 446 | 745 | 269 | 7 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 1.2s| 1 | 0 | 879 | - | 59M | 0 | 420 | 451 | 779 | 303 | 8 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 1.3s| 1 | 0 | 951 | - | 68M | 0 | 420 | 459 | 812 | 336 | 9 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 1.4s| 1 | 0 | 1023 | - | 71M | 0 | 420 | 465 | 817 | 341 | 10 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 1.5s| 1 | 0 | 1090 | - | 71M | 0 | 420 | 470 | 839 | 363 | 11 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 1.6s| 1 | 2 | 1579 | - | 71M | 0 | 420 | 498 | 839 | 363 | 11 | 162 | 10 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 2.4s| 100 | 29 | 9450 | 84.8 | 75M | 18 | 420 | 623 | 915 |1106 | 2 | 289 | 10 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 2.6s| 200 | 35 | 12604 | 58.0 | 75M | 21 | 420 | 628 | 947 |1426 | 0 | 296 | 10 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.80/7.92 c 3.6s| 300 | 39 | 18593 | 58.6 | 84M | 26 | 420 | 661 |1124 |2093 | 0 | 329 | 10 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 4.0s| 400 | 39 | 21469 | 51.2 | 84M | 26 | 420 | 674 | 911 |2374 | 2 | 342 | 10 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 4.5s| 500 | 39 | 24670 | 47.3 | 88M | 29 | 420 | 676 | 954 |2797 | 2 | 344 | 10 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 5.0s| 600 | 39 | 30752 | 49.6 | 94M | 29 | 420 | 720 | 937 |3590 | 2 | 388 | 10 | 0.000000e+00 | -- | Inf | 0.84%
7.80/7.92 c 5.5s| 700 | 41 | 35122 | 48.7 | 98M | 29 | 420 | 753 |1044 |4265 | 2 | 421 | 10 | 0.000000e+00 | -- | Inf | 0.99%
7.80/7.92 c 6.0s| 800 | 41 | 37823 | 46.0 | 101M | 31 | 420 | 759 | 916 |4611 | 1 | 427 | 10 | 0.000000e+00 | -- | Inf | 1.01%
7.80/7.92 c 6.5s| 900 | 43 | 40478 | 43.8 | 100M | 31 | 420 | 759 | 969 |4808 | 1 | 427 | 10 | 0.000000e+00 | -- | Inf | 1.02%
7.80/7.92 c 6.9s| 1000 | 45 | 44086 | 43.1 | 100M | 31 | 420 | 763 | 0 |5375 | 0 | 431 | 10 | 0.000000e+00 | -- | Inf | 1.26%
7.80/7.92 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
7.80/7.92 c (run 1, node 1056) performing user restart
7.80/7.92 c
7.80/7.92 c (restart) converted 153 cuts from the global cut pool into linear constraints
7.80/7.92 c
7.80/7.92 c presolving:
7.80/7.92 c (round 1, fast) 0 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3448 clqs
7.80/7.92 c (round 2, exhaustive) 0 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 152 upgd conss, 0 impls, 3448 clqs
7.80/7.92 c (round 3, fast) 0 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 152 upgd conss, 0 impls, 3448 clqs
7.80/7.92 c (round 4, medium) 0 del vars, 25 del conss, 41 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 152 upgd conss, 0 impls, 3448 clqs
7.80/7.92 c (round 5, exhaustive) 0 del vars, 66 del conss, 41 add conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 152 upgd conss, 0 impls, 3448 clqs
7.80/7.92 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
7.80/7.92 c 0 deleted vars, 66 deleted constraints, 41 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 105 changed coefficients
7.80/7.92 c 0 implications, 3448 cliques
7.80/7.92 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 897 constraints
7.80/7.92 c 3 constraints of type <knapsack>
7.80/7.92 c 387 constraints of type <setppc>
7.80/7.92 c 132 constraints of type <and>
7.80/7.92 c 1 constraints of type <linear>
7.80/7.92 c 374 constraints of type <logicor>
7.80/7.92 c transformed objective value is always integral (scale: 1)
7.80/7.92 c Presolving Time: 0.15
7.80/7.92 c
7.80/7.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.80/7.92 c 7.3s| 1 | 0 | 45906 | - | 98M | 0 | 420 | 897 | 652 | 0 | 0 | 444 | 10 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 7.4s| 1 | 0 | 46034 | - | 100M | 0 | 420 | 921 | 711 | 59 | 1 | 445 | 10 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 7.4s| 1 | 0 | 46126 | - | 100M | 0 | 420 | 924 | 760 | 108 | 2 | 448 | 10 | 0.000000e+00 | -- | Inf | unknown
7.80/7.92 c 7.5s| 1 | 0 | 46208 | - | 100M | 0 | 420 | 926 | 796 | 144 | 3 | 450 | 10 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 7.5s| 1 | 0 | 46240 | - | 100M | 0 | 420 | 931 | 836 | 184 | 4 | 455 | 10 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 7.6s| 1 | 0 | 46312 | - | 100M | 0 | 420 | 934 | 839 | 187 | 5 | 458 | 10 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 7.7s| 1 | 0 | 46408 | - | 100M | 0 | 420 | 935 | 875 | 223 | 6 | 459 | 10 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 7.8s| 1 | 0 | 46480 | - | 101M | 0 | 420 | 939 | 911 | 259 | 7 | 463 | 10 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 7.9s| 1 | 0 | 46517 | - | 103M | 0 | 420 | 946 | 931 | 279 | 8 | 470 | 10 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 8.0s| 1 | 0 | 46626 | - | 103M | 0 | 420 | 947 | 952 | 300 | 9 | 471 | 10 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 8.1s| 1 | 0 | 46667 | - | 105M | 0 | 420 | 948 | 810 | 316 | 10 | 472 | 10 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 8.1s| 1 | 0 | 46725 | - | 105M | 0 | 420 | 951 | 820 | 326 | 11 | 475 | 10 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 8.3s| 1 | 2 | 47284 | - | 105M | 0 | 420 | 967 | 820 | 326 | 11 | 493 | 21 | 0.000000e+00 | -- | Inf | unknown
22.95/23.11 c 9.1s| 100 | 19 | 57652 | 48.1 | 105M | 19 | 420 |1040 | 978 |1557 | 0 | 566 | 21 | 0.000000e+00 | -- | Inf | 0.58%
22.95/23.11 c 9.7s| 200 | 21 | 66492 | 51.3 | 106M | 19 | 420 |1066 | 992 |2362 | 0 | 592 | 21 | 0.000000e+00 | -- | Inf | 1.14%
22.95/23.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.95/23.11 c 10.4s| 300 | 29 | 73050 | 52.3 | 106M | 21 | 420 |1093 | 917 |3116 | 2 | 619 | 21 | 0.000000e+00 | -- | Inf | 1.16%
22.95/23.11 c 11.3s| 400 | 31 | 77510 | 51.8 | 107M | 24 | 420 |1120 | 947 |3830 | 1 | 646 | 21 | 0.000000e+00 | -- | Inf | 1.16%
22.95/23.11 c 12.4s| 500 | 37 | 82340 | 51.6 | 108M | 24 | 420 |1181 | 925 |4358 | 2 | 707 | 21 | 0.000000e+00 | -- | Inf | 1.24%
22.95/23.11 c 12.8s| 600 | 37 | 84801 | 50.0 | 108M | 24 | 420 |1181 | 932 |4689 | 2 | 707 | 21 | 0.000000e+00 | -- | Inf | 1.34%
22.95/23.11 c 13.2s| 700 | 41 | 89134 | 49.6 | 110M | 24 | 420 |1199 | 962 |5357 | 1 | 725 | 21 | 0.000000e+00 | -- | Inf | 1.48%
22.95/23.11 c 13.5s| 800 | 41 | 92587 | 48.8 | 110M | 24 | 420 |1210 | 944 |5830 | 2 | 736 | 21 | 0.000000e+00 | -- | Inf | 1.52%
22.95/23.11 c 13.9s| 900 | 37 | 95744 | 47.9 | 110M | 24 | 420 |1210 | 988 |6260 | 0 | 736 | 21 | 0.000000e+00 | -- | Inf | 1.55%
22.95/23.11 c 14.4s| 1000 | 39 |100662 | 48.0 | 111M | 24 | 420 |1232 | 936 |7025 | 2 | 758 | 21 | 0.000000e+00 | -- | Inf | 1.75%
22.95/23.11 c 14.7s| 1100 | 39 |103862 | 47.2 | 111M | 24 | 420 |1240 | 923 |7405 | 0 | 766 | 21 | 0.000000e+00 | -- | Inf | 1.81%
22.95/23.11 c 14.9s| 1200 | 37 |106403 | 46.2 | 111M | 27 | 420 |1240 | 925 |7679 | 2 | 766 | 21 | 0.000000e+00 | -- | Inf | 1.85%
22.95/23.11 c 15.2s| 1300 | 45 |109684 | 45.7 | 111M | 27 | 420 |1264 | 898 |8079 | 1 | 790 | 21 | 0.000000e+00 | -- | Inf | 1.95%
22.95/23.11 c 15.4s| 1400 | 43 |112607 | 45.0 | 111M | 27 | 420 |1286 | 870 |8451 | 2 | 812 | 21 | 0.000000e+00 | -- | Inf | 1.98%
22.95/23.11 c 15.6s| 1500 | 45 |114699 | 44.1 | 111M | 27 | 420 |1290 | 950 |8828 | 0 | 816 | 21 | 0.000000e+00 | -- | Inf | 2.07%
22.95/23.11 c 16.1s| 1600 | 55 |119262 | 44.1 | 112M | 27 | 420 |1302 | 929 |9422 | 0 | 832 | 21 | 0.000000e+00 | -- | Inf | 2.11%
22.95/23.11 c 16.3s| 1700 | 51 |123265 | 44.0 | 112M | 27 | 420 |1297 | 975 | 10k| 2 | 834 | 21 | 0.000000e+00 | -- | Inf | 2.17%
22.95/23.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.95/23.11 c 16.6s| 1800 | 49 |127071 | 43.8 | 112M | 27 | 420 |1303 | 951 | 10k| 2 | 841 | 21 | 0.000000e+00 | -- | Inf | 2.23%
22.95/23.11 c 16.9s| 1900 | 51 |129798 | 43.2 | 112M | 27 | 420 |1305 | 948 | 10k| 0 | 845 | 21 | 0.000000e+00 | -- | Inf | 2.33%
22.95/23.11 c 17.1s| 2000 | 51 |133215 | 42.9 | 112M | 27 | 420 |1308 | 947 | 11k| 2 | 848 | 21 | 0.000000e+00 | -- | Inf | 2.35%
22.95/23.11 c 17.5s| 2100 | 51 |137702 | 43.0 | 112M | 27 | 420 |1326 | 963 | 11k| 2 | 867 | 21 | 0.000000e+00 | -- | Inf | 2.43%
22.95/23.11 c 17.8s| 2200 | 47 |142345 | 43.1 | 112M | 27 | 420 |1330 | 993 | 12k| 0 | 875 | 21 | 0.000000e+00 | -- | Inf | 2.45%
22.95/23.11 c 18.2s| 2300 | 53 |146110 | 42.9 | 112M | 27 | 420 |1353 | 965 | 13k| 1 | 899 | 21 | 0.000000e+00 | -- | Inf | 2.53%
22.95/23.11 c 18.4s| 2400 | 53 |149018 | 42.5 | 112M | 27 | 420 |1356 | 0 | 13k| 0 | 903 | 21 | 0.000000e+00 | -- | Inf | 2.55%
22.95/23.11 c 18.5s| 2500 | 55 |151955 | 42.1 | 112M | 27 | 420 |1366 | 955 | 13k| 2 | 914 | 21 | 0.000000e+00 | -- | Inf | 2.63%
22.95/23.11 c 18.8s| 2600 | 57 |154838 | 41.8 | 112M | 27 | 420 |1369 | 992 | 14k| 0 | 920 | 21 | 0.000000e+00 | -- | Inf | 2.68%
22.95/23.11 c 19.0s| 2700 | 57 |157233 | 41.3 | 112M | 31 | 420 |1369 | 975 | 14k| 1 | 920 | 21 | 0.000000e+00 | -- | Inf | 2.68%
22.95/23.11 c 19.1s| 2800 | 57 |159284 | 40.8 | 112M | 31 | 420 |1372 | 978 | 14k| 1 | 923 | 21 | 0.000000e+00 | -- | Inf | 2.68%
22.95/23.11 c 19.2s| 2900 | 55 |161606 | 40.3 | 112M | 39 | 420 |1372 | 949 | 14k| 1 | 923 | 21 | 0.000000e+00 | -- | Inf | 2.68%
22.95/23.11 c 19.5s| 3000 | 63 |164429 | 40.0 | 112M | 39 | 420 |1383 | 928 | 14k| 0 | 936 | 21 | 0.000000e+00 | -- | Inf | 2.78%
22.95/23.11 c 19.6s| 3100 | 61 |166568 | 39.6 | 112M | 39 | 420 |1387 | 931 | 15k| 2 | 940 | 21 | 0.000000e+00 | -- | Inf | 2.79%
22.95/23.11 c 19.9s| 3200 | 63 |169108 | 39.2 | 112M | 39 | 420 |1391 | 978 | 15k| 0 | 944 | 21 | 0.000000e+00 | -- | Inf | 2.83%
22.95/23.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.95/23.11 c 20.2s| 3300 | 61 |171493 | 38.9 | 112M | 39 | 420 |1397 | 938 | 15k| 0 | 951 | 21 | 0.000000e+00 | -- | Inf | 2.86%
22.95/23.11 c 20.3s| 3400 | 63 |173727 | 38.5 | 112M | 39 | 420 |1404 | 996 | 15k| 1 | 959 | 21 | 0.000000e+00 | -- | Inf | 2.91%
22.95/23.11 c 20.4s| 3500 | 61 |176085 | 38.2 | 112M | 39 | 420 |1420 | 935 | 15k| 0 | 975 | 21 | 0.000000e+00 | -- | Inf | 2.93%
22.95/23.11 c 20.8s| 3600 | 61 |179137 | 38.0 | 112M | 39 | 420 |1426 | 969 | 15k| 0 | 981 | 21 | 0.000000e+00 | -- | Inf | 2.99%
22.95/23.11 c 20.9s| 3700 | 67 |181871 | 37.8 | 112M | 39 | 420 |1436 | 973 | 15k| 2 | 991 | 21 | 0.000000e+00 | -- | Inf | 3.01%
22.95/23.11 c 21.1s| 3800 | 61 |184565 | 37.6 | 112M | 39 | 420 |1440 | 973 | 16k| 0 | 995 | 21 | 0.000000e+00 | -- | Inf | 3.03%
22.95/23.11 c 21.5s| 3900 | 65 |187931 | 37.5 | 113M | 39 | 420 |1446 | 0 | 16k| 0 |1002 | 21 | 0.000000e+00 | -- | Inf | 3.13%
22.95/23.11 c 21.7s| 4000 | 63 |191453 | 37.5 | 113M | 39 | 420 |1464 | 983 | 16k| 0 |1022 | 21 | 0.000000e+00 | -- | Inf | 3.18%
22.95/23.11 c 22.0s| 4100 | 69 |195300 | 37.5 | 113M | 39 | 420 |1469 |1000 | 17k| 0 |1028 | 21 | 0.000000e+00 | -- | Inf | 3.23%
22.95/23.11 c 22.2s| 4200 | 77 |198608 | 37.4 | 113M | 39 | 420 |1468 | 977 | 17k| 1 |1031 | 21 | 0.000000e+00 | -- | Inf | 3.25%
22.95/23.11 c 22.4s| 4300 | 73 |201196 | 37.2 | 113M | 39 | 420 |1479 | 972 | 18k| 0 |1045 | 21 | 0.000000e+00 | -- | Inf | 3.26%
22.95/23.11 c 22.5s| 4400 | 75 |203958 | 37.0 | 113M | 39 | 420 |1486 | 992 | 18k| 2 |1052 | 21 | 0.000000e+00 | -- | Inf | 3.27%
30.82/31.03 c 22.7s| 4500 | 73 |207132 | 36.9 | 113M | 39 | 420 |1488 | 972 | 18k| 2 |1057 | 21 | 0.000000e+00 | -- | Inf | 3.36%
30.82/31.03 c 23.1s| 4600 | 81 |211065 | 36.9 | 113M | 39 | 420 |1498 | 962 | 19k| 2 |1072 | 21 | 0.000000e+00 | -- | Inf | 3.43%
30.82/31.03 c 23.3s| 4700 | 81 |213593 | 36.7 | 113M | 39 | 420 |1499 | 995 | 19k| 2 |1078 | 21 | 0.000000e+00 | -- | Inf | 3.44%
30.82/31.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.82/31.03 c 23.6s| 4800 | 83 |216436 | 36.6 | 113M | 39 | 420 |1504 | 939 | 20k| 0 |1086 | 21 | 0.000000e+00 | -- | Inf | 3.47%
30.82/31.03 c 23.7s| 4900 | 85 |219514 | 36.5 | 112M | 39 | 420 |1509 | 952 | 20k| 0 |1092 | 21 | 0.000000e+00 | -- | Inf | 3.48%
30.82/31.03 c 23.9s| 5000 | 85 |221862 | 36.3 | 112M | 39 | 420 |1508 | 909 | 20k| 0 |1094 | 21 | 0.000000e+00 | -- | Inf | 3.48%
30.82/31.03 c 24.0s| 5100 | 87 |224246 | 36.1 | 112M | 39 | 420 |1512 | 924 | 21k| 1 |1099 | 21 | 0.000000e+00 | -- | Inf | 3.48%
30.82/31.03 c 24.1s| 5200 | 91 |226612 | 35.9 | 112M | 39 | 420 |1522 | 927 | 21k| 0 |1110 | 21 | 0.000000e+00 | -- | Inf | 3.48%
30.82/31.03 c 24.3s| 5300 | 93 |229030 | 35.7 | 112M | 39 | 420 |1524 | 954 | 21k| 2 |1112 | 21 | 0.000000e+00 | -- | Inf | 3.48%
30.82/31.03 c 24.4s| 5400 | 89 |231700 | 35.6 | 111M | 39 | 420 |1524 | 954 | 21k| 0 |1112 | 21 | 0.000000e+00 | -- | Inf | 3.48%
30.82/31.03 c 24.6s| 5500 | 87 |234115 | 35.4 | 111M | 39 | 420 |1524 | 969 | 22k| 1 |1112 | 21 | 0.000000e+00 | -- | Inf | 3.48%
30.82/31.03 c 24.7s| 5600 | 87 |237200 | 35.3 | 111M | 39 | 420 |1532 | 934 | 22k| 2 |1123 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 24.9s| 5700 | 83 |240627 | 35.3 | 111M | 39 | 420 |1533 | 960 | 23k| 1 |1129 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 25.1s| 5800 | 85 |244158 | 35.3 | 111M | 39 | 420 |1532 | 951 | 23k| 0 |1132 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 25.2s| 5900 | 85 |247022 | 35.2 | 111M | 39 | 420 |1531 | 971 | 23k| 2 |1134 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 25.4s| 6000 | 87 |250329 | 35.2 | 111M | 39 | 420 |1532 | 958 | 24k| 0 |1138 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 25.6s| 6100 | 85 |253532 | 35.1 | 111M | 39 | 420 |1528 | 981 | 24k| 0 |1140 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 25.7s| 6200 | 85 |255940 | 35.0 | 111M | 39 | 420 |1526 | 969 | 25k| 2 |1140 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.82/31.03 c 25.8s| 6300 | 87 |258771 | 34.9 | 111M | 39 | 420 |1524 | 952 | 25k| 2 |1140 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 26.0s| 6400 | 87 |261300 | 34.8 | 111M | 39 | 420 |1522 | 951 | 25k| 2 |1140 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 26.1s| 6500 | 87 |263828 | 34.6 | 111M | 39 | 420 |1521 | 955 | 25k| 1 |1140 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 26.2s| 6600 | 87 |265874 | 34.5 | 111M | 39 | 420 |1521 | 957 | 26k| 0 |1140 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 26.4s| 6700 | 89 |268358 | 34.3 | 111M | 39 | 420 |1521 | 989 | 26k| 1 |1140 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 26.5s| 6800 | 87 |270929 | 34.2 | 112M | 39 | 420 |1521 | 957 | 26k| 0 |1140 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 26.6s| 6900 | 87 |272672 | 34.0 | 112M | 39 | 420 |1521 | 975 | 26k| 2 |1142 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 26.8s| 7000 | 85 |274606 | 33.8 | 112M | 39 | 420 |1520 | 964 | 26k| 0 |1142 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 26.9s| 7100 | 89 |276511 | 33.6 | 112M | 39 | 420 |1519 | 969 | 26k| 2 |1142 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 27.0s| 7200 | 87 |278825 | 33.5 | 112M | 39 | 420 |1518 | 960 | 26k| 1 |1142 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 27.1s| 7300 | 87 |280934 | 33.4 | 112M | 39 | 420 |1518 | 968 | 27k| 1 |1142 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 27.2s| 7400 | 83 |283539 | 33.3 | 112M | 39 | 420 |1515 | 990 | 27k| 0 |1142 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 27.4s| 7500 | 97 |286402 | 33.2 | 112M | 39 | 420 |1512 | 906 | 27k| 2 |1143 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 27.5s| 7600 | 91 |288494 | 33.1 | 112M | 39 | 420 |1511 | 916 | 27k| 2 |1143 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 27.7s| 7700 | 97 |291210 | 33.0 | 112M | 39 | 420 |1509 | 910 | 28k| 0 |1145 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.82/31.03 c 27.8s| 7800 | 95 |293556 | 32.9 | 112M | 39 | 420 |1508 | 958 | 28k| 2 |1145 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 28.0s| 7900 | 91 |296664 | 32.9 | 112M | 39 | 420 |1506 | 968 | 28k| 2 |1145 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 28.1s| 8000 | 87 |299463 | 32.8 | 112M | 39 | 420 |1506 | 978 | 29k| 0 |1145 | 21 | 0.000000e+00 | -- | Inf | 3.49%
30.82/31.03 c 28.3s| 8100 | 91 |302195 | 32.8 | 112M | 39 | 420 |1507 | 940 | 29k| 0 |1147 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 28.5s| 8200 | 91 |305799 | 32.8 | 112M | 39 | 420 |1506 | 948 | 30k| 2 |1147 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 28.7s| 8300 | 89 |309466 | 32.9 | 112M | 39 | 420 |1506 | 963 | 30k| 1 |1147 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 28.9s| 8400 | 93 |313124 | 32.9 | 112M | 39 | 420 |1503 | 923 | 31k| 0 |1147 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 29.0s| 8500 | 95 |316497 | 32.9 | 112M | 39 | 420 |1498 | 930 | 31k| 0 |1147 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 29.2s| 8600 | 95 |319031 | 32.8 | 112M | 39 | 420 |1502 | 955 | 32k| 2 |1153 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 29.3s| 8700 | 97 |321629 | 32.8 | 112M | 39 | 420 |1501 | 942 | 32k| 0 |1153 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 29.5s| 8800 | 97 |324092 | 32.7 | 112M | 39 | 420 |1503 | 943 | 33k| 2 |1155 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 29.7s| 8900 | 93 |327171 | 32.7 | 112M | 39 | 420 |1504 |1024 | 33k| 0 |1162 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 29.8s| 9000 | 93 |329568 | 32.6 | 112M | 39 | 420 |1544 | 945 | 33k| 1 |1202 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 29.9s| 9100 | 93 |331272 | 32.4 | 112M | 39 | 420 |1552 | 973 | 33k| 0 |1210 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 30.0s| 9200 | 95 |333557 | 32.3 | 112M | 39 | 420 |1554 | 933 | 33k| 0 |1213 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.82/31.03 c 30.1s| 9300 | 95 |335198 | 32.2 | 112M | 39 | 420 |1569 | 921 | 34k| 1 |1229 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 30.3s| 9400 | 95 |337374 | 32.1 | 112M | 39 | 420 |1573 | 948 | 34k| 1 |1235 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 30.4s| 9500 | 97 |339574 | 32.0 | 112M | 39 | 420 |1589 | 938 | 34k| 2 |1251 | 21 | 0.000000e+00 | -- | Inf | 3.50%
30.82/31.03 c 30.5s| 9600 | 97 |342062 | 31.9 | 112M | 39 | 420 |1596 | 962 | 34k| 2 |1261 | 21 | 0.000000e+00 | -- | Inf | 3.50%
40.88/41.17 c 30.6s| 9700 | 93 |344370 | 31.8 | 112M | 39 | 420 |1605 | 963 | 35k| 1 |1271 | 21 | 0.000000e+00 | -- | Inf | 3.50%
40.88/41.17 c 30.8s| 9800 | 95 |347237 | 31.8 | 112M | 39 | 420 |1616 | 965 | 35k| 1 |1283 | 21 | 0.000000e+00 | -- | Inf | 3.50%
40.88/41.17 c 30.9s| 9900 | 95 |349334 | 31.7 | 112M | 39 | 420 |1622 |1004 | 35k| 2 |1292 | 21 | 0.000000e+00 | -- | Inf | 3.50%
40.88/41.17 c 31.2s| 10000 | 95 |351809 | 31.6 | 112M | 39 | 420 |1608 |1082 | 35k| 0 |1300 | 21 | 0.000000e+00 | -- | Inf | 3.53%
40.88/41.17 c 31.4s| 10100 | 97 |354917 | 31.6 | 112M | 39 | 420 |1607 |1061 | 36k| 0 |1301 | 21 | 0.000000e+00 | -- | Inf | 3.54%
40.88/41.17 c 31.5s| 10200 | 99 |357289 | 31.6 | 112M | 39 | 420 |1609 |1062 | 36k| 2 |1305 | 21 | 0.000000e+00 | -- | Inf | 3.55%
40.88/41.17 c 31.6s| 10300 | 97 |359559 | 31.5 | 112M | 39 | 420 |1627 |1077 | 36k| 0 |1328 | 21 | 0.000000e+00 | -- | Inf | 3.59%
40.88/41.17 c 32.0s| 10400 | 95 |363293 | 31.5 | 112M | 39 | 420 |1621 |1062 | 36k| 2 |1335 | 21 | 0.000000e+00 | -- | Inf | 3.62%
40.88/41.17 c 32.1s| 10500 | 91 |365835 | 31.5 | 112M | 39 | 420 |1621 | 928 | 37k| 0 |1339 | 21 | 0.000000e+00 | -- | Inf | 3.70%
40.88/41.17 c 32.3s| 10600 | 93 |368557 | 31.4 | 112M | 39 | 420 |1619 | 932 | 37k| 0 |1339 | 21 | 0.000000e+00 | -- | Inf | 3.70%
40.88/41.17 c 32.5s| 10700 | 91 |372250 | 31.5 | 112M | 39 | 420 |1608 | 825 | 37k| 2 |1345 | 21 | 0.000000e+00 | -- | Inf | 3.73%
40.88/41.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.88/41.17 c 32.8s| 10800 | 99 |375914 | 31.5 | 112M | 39 | 420 |1630 | 975 | 38k| 1 |1372 | 21 | 0.000000e+00 | -- | Inf | 3.74%
40.88/41.17 c 33.2s| 10900 | 101 |384391 | 32.0 | 113M | 39 | 420 |1618 | 983 | 39k| 1 |1389 | 21 | 0.000000e+00 | -- | Inf | 4.13%
40.88/41.17 c 33.4s| 11000 | 101 |386980 | 31.9 | 113M | 39 | 420 |1630 | 949 | 39k| 0 |1409 | 21 | 0.000000e+00 | -- | Inf | 4.15%
40.88/41.17 c 33.6s| 11100 | 115 |391963 | 32.1 | 113M | 39 | 420 |1637 | 983 | 40k| 1 |1431 | 21 | 0.000000e+00 | -- | Inf | 4.20%
40.88/41.17 c 33.9s| 11200 | 121 |395154 | 32.1 | 113M | 39 | 420 |1640 |1070 | 40k| 2 |1441 | 21 | 0.000000e+00 | -- | Inf | 4.22%
40.88/41.17 c 34.1s| 11300 | 117 |398967 | 32.1 | 113M | 39 | 420 |1642 |1059 | 41k| 1 |1455 | 21 | 0.000000e+00 | -- | Inf | 4.27%
40.88/41.17 c 34.3s| 11400 | 119 |402117 | 32.1 | 113M | 39 | 420 |1638 | 957 | 41k| 0 |1462 | 21 | 0.000000e+00 | -- | Inf | 4.29%
40.88/41.17 c 34.6s| 11500 | 121 |405661 | 32.1 | 113M | 39 | 420 |1657 | 925 | 42k| 2 |1486 | 21 | 0.000000e+00 | -- | Inf | 4.34%
40.88/41.17 c 34.8s| 11600 | 121 |408790 | 32.1 | 113M | 39 | 420 |1653 | 971 | 42k| 0 |1488 | 21 | 0.000000e+00 | -- | Inf | 4.36%
40.88/41.17 c 35.0s| 11700 | 123 |411397 | 32.1 | 113M | 39 | 420 |1648 | 937 | 42k| 0 |1490 | 21 | 0.000000e+00 | -- | Inf | 4.37%
40.88/41.17 c 35.1s| 11800 | 121 |414140 | 32.1 | 113M | 39 | 420 |1649 | 950 | 43k| 1 |1500 | 21 | 0.000000e+00 | -- | Inf | 4.37%
40.88/41.17 c 35.3s| 11900 | 125 |416933 | 32.0 | 113M | 39 | 420 |1650 | 945 | 43k| 2 |1506 | 21 | 0.000000e+00 | -- | Inf | 4.38%
40.88/41.17 c 35.5s| 12000 | 121 |420068 | 32.0 | 113M | 39 | 420 |1655 | 991 | 43k| 1 |1516 | 21 | 0.000000e+00 | -- | Inf | 4.38%
40.88/41.17 c 35.8s| 12100 | 127 |423228 | 32.0 | 113M | 39 | 420 |1660 | 946 | 44k| 0 |1533 | 21 | 0.000000e+00 | -- | Inf | 4.42%
40.88/41.17 c 35.9s| 12200 | 129 |425978 | 32.0 | 113M | 39 | 420 |1658 | 938 | 44k| 2 |1539 | 21 | 0.000000e+00 | -- | Inf | 4.43%
40.88/41.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.88/41.17 c 36.1s| 12300 | 129 |430303 | 32.1 | 113M | 39 | 420 |1657 | 980 | 45k| 2 |1548 | 21 | 0.000000e+00 | -- | Inf | 4.43%
40.88/41.17 c 36.3s| 12400 | 127 |433877 | 32.1 | 113M | 39 | 420 |1658 | 951 | 45k| 2 |1556 | 21 | 0.000000e+00 | -- | Inf | 4.44%
40.88/41.17 c 36.5s| 12500 | 131 |437918 | 32.2 | 113M | 39 | 420 |1647 | 922 | 46k| 1 |1561 | 21 | 0.000000e+00 | -- | Inf | 4.46%
40.88/41.17 c 36.7s| 12600 | 131 |440929 | 32.1 | 113M | 39 | 420 |1648 | 908 | 46k| 2 |1569 | 21 | 0.000000e+00 | -- | Inf | 4.46%
40.88/41.17 c 36.9s| 12700 | 135 |445790 | 32.3 | 113M | 39 | 420 |1646 | 954 | 47k| 2 |1577 | 21 | 0.000000e+00 | -- | Inf | 4.47%
40.88/41.17 c 37.2s| 12800 | 133 |450757 | 32.4 | 113M | 39 | 420 |1644 | 958 | 47k| 2 |1580 | 21 | 0.000000e+00 | -- | Inf | 4.48%
40.88/41.17 c 37.5s| 12900 | 131 |457400 | 32.6 | 113M | 39 | 420 |1634 |1007 | 48k| 0 |1584 | 21 | 0.000000e+00 | -- | Inf | 4.49%
40.88/41.17 c 37.6s| 13000 | 129 |460153 | 32.6 | 113M | 39 | 420 |1633 | 948 | 48k| 0 |1586 | 21 | 0.000000e+00 | -- | Inf | 4.49%
40.88/41.17 c 37.8s| 13100 | 125 |463342 | 32.6 | 113M | 39 | 420 |1623 |1173 | 49k| 2 |1590 | 21 | 0.000000e+00 | -- | Inf | 4.49%
40.88/41.17 c 38.0s| 13200 | 123 |466610 | 32.6 | 113M | 39 | 420 |1622 | 990 | 49k| 1 |1598 | 21 | 0.000000e+00 | -- | Inf | 4.50%
40.88/41.17 c 38.1s| 13300 | 121 |468916 | 32.5 | 113M | 39 | 420 |1626 | 0 | 49k| 0 |1606 | 21 | 0.000000e+00 | -- | Inf | 4.50%
40.88/41.17 c 38.4s| 13400 | 129 |471535 | 32.5 | 113M | 39 | 420 |1623 |1066 | 49k| 0 |1608 | 21 | 0.000000e+00 | -- | Inf | 4.51%
40.88/41.17 c 38.5s| 13500 | 127 |474330 | 32.4 | 113M | 39 | 420 |1628 | 0 | 49k| 0 |1616 | 21 | 0.000000e+00 | -- | Inf | 4.52%
40.88/41.17 c 38.7s| 13600 | 127 |476394 | 32.4 | 113M | 39 | 420 |1630 |1081 | 49k| 1 |1620 | 21 | 0.000000e+00 | -- | Inf | 4.52%
40.88/41.17 c 38.8s| 13700 | 127 |479658 | 32.4 | 113M | 39 | 420 |1633 |1084 | 50k| 2 |1629 | 21 | 0.000000e+00 | -- | Inf | 4.52%
40.88/41.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.88/41.17 c 39.0s| 13800 | 127 |482335 | 32.3 | 114M | 39 | 420 |1644 |1082 | 50k| 2 |1646 | 21 | 0.000000e+00 | -- | Inf | 4.52%
40.88/41.17 c 39.1s| 13900 | 131 |484863 | 32.3 | 114M | 39 | 420 |1645 |1059 | 50k| 2 |1648 | 21 | 0.000000e+00 | -- | Inf | 4.53%
40.88/41.17 c 39.2s| 14000 | 127 |486927 | 32.2 | 114M | 39 | 420 |1656 |1075 | 50k| 0 |1664 | 21 | 0.000000e+00 | -- | Inf | 4.53%
40.88/41.17 c 39.4s| 14100 | 127 |489501 | 32.2 | 114M | 39 | 420 |1658 |1069 | 50k| 0 |1667 | 21 | 0.000000e+00 | -- | Inf | 4.53%
40.88/41.17 c 39.5s| 14200 | 125 |491898 | 32.1 | 114M | 39 | 420 |1669 | 0 | 50k| 0 |1679 | 21 | 0.000000e+00 | -- | Inf | 4.53%
40.88/41.17 c 39.6s| 14300 | 125 |495052 | 32.1 | 114M | 39 | 420 |1676 |1074 | 50k| 0 |1687 | 21 | 0.000000e+00 | -- | Inf | 4.53%
40.88/41.17 c 39.8s| 14400 | 125 |497935 | 32.1 | 114M | 39 | 420 |1685 |1082 | 50k| 1 |1701 | 21 | 0.000000e+00 | -- | Inf | 4.53%
40.88/41.17 c 39.9s| 14500 | 127 |500893 | 32.1 | 114M | 39 | 420 |1678 |1005 | 51k| 0 |1703 | 21 | 0.000000e+00 | -- | Inf | 4.53%
40.88/41.17 c 40.1s| 14600 | 125 |502964 | 32.0 | 114M | 39 | 420 |1675 |1073 | 51k| 2 |1703 | 21 | 0.000000e+00 | -- | Inf | 4.54%
40.88/41.17 c 40.2s| 14700 | 125 |506249 | 32.0 | 114M | 39 | 420 |1677 | 990 | 51k| 0 |1712 | 21 | 0.000000e+00 | -- | Inf | 4.54%
40.88/41.17 c 40.5s| 14800 | 133 |508875 | 32.0 | 114M | 39 | 420 |1663 | 945 | 52k| 0 |1716 | 21 | 0.000000e+00 | -- | Inf | 4.55%
40.88/41.17 c 40.7s| 14900 | 133 |510586 | 31.9 | 114M | 39 | 420 |1673 | 948 | 52k| 2 |1728 | 21 | 0.000000e+00 | -- | Inf | 4.55%
50.64/50.99 c 40.8s| 15000 | 133 |512888 | 31.8 | 114M | 39 | 420 |1680 | 923 | 52k| 0 |1738 | 21 | 0.000000e+00 | -- | Inf | 4.55%
50.64/50.99 c 40.9s| 15100 | 133 |514919 | 31.7 | 114M | 39 | 420 |1682 | 926 | 52k| 1 |1744 | 21 | 0.000000e+00 | -- | Inf | 4.55%
50.64/50.99 c 41.1s| 15200 | 131 |517102 | 31.7 | 114M | 39 | 420 |1679 | 946 | 53k| 0 |1752 | 21 | 0.000000e+00 | -- | Inf | 4.56%
50.64/50.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.64/50.99 c 41.2s| 15300 | 133 |520040 | 31.7 | 114M | 39 | 420 |1683 | 924 | 53k| 1 |1773 | 21 | 0.000000e+00 | -- | Inf | 4.56%
50.64/50.99 c 41.4s| 15400 | 133 |521972 | 31.6 | 114M | 39 | 420 |1691 | 0 | 53k| 0 |1784 | 21 | 0.000000e+00 | -- | Inf | 4.56%
50.64/50.99 c 41.6s| 15500 | 139 |524699 | 31.6 | 114M | 39 | 420 |1680 | 963 | 54k| 1 |1789 | 21 | 0.000000e+00 | -- | Inf | 4.57%
50.64/50.99 c 41.7s| 15600 | 139 |526623 | 31.5 | 114M | 39 | 420 |1710 | 952 | 54k| 2 |1825 | 21 | 0.000000e+00 | -- | Inf | 4.58%
50.64/50.99 c 41.9s| 15700 | 143 |528916 | 31.4 | 114M | 39 | 420 |1718 | 965 | 54k| 0 |1842 | 21 | 0.000000e+00 | -- | Inf | 4.62%
50.64/50.99 c 42.0s| 15800 | 139 |530687 | 31.4 | 114M | 39 | 420 |1727 | 968 | 55k| 1 |1854 | 21 | 0.000000e+00 | -- | Inf | 4.63%
50.64/50.99 c 42.1s| 15900 | 141 |533236 | 31.3 | 114M | 39 | 420 |1746 | 971 | 55k| 2 |1875 | 21 | 0.000000e+00 | -- | Inf | 4.65%
50.64/50.99 c 42.3s| 16000 | 141 |535026 | 31.2 | 114M | 39 | 420 |1750 | 953 | 55k| 2 |1884 | 21 | 0.000000e+00 | -- | Inf | 4.65%
50.64/50.99 c 42.4s| 16100 | 139 |537105 | 31.2 | 114M | 39 | 420 |1745 | 957 | 55k| 1 |1887 | 21 | 0.000000e+00 | -- | Inf | 4.65%
50.64/50.99 c 42.5s| 16200 | 141 |538859 | 31.1 | 114M | 39 | 420 |1743 | 926 | 56k| 2 |1890 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c 42.7s| 16300 | 139 |541206 | 31.1 | 114M | 39 | 420 |1748 | 965 | 56k| 2 |1898 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c 42.8s| 16400 | 135 |543295 | 31.0 | 114M | 39 | 420 |1740 | 922 | 56k| 0 |1910 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c 42.9s| 16500 | 139 |545834 | 31.0 | 114M | 39 | 420 |1733 | 933 | 57k| 2 |1910 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c 43.1s| 16600 | 143 |547802 | 30.9 | 114M | 39 | 420 |1735 | 930 | 57k| 2 |1912 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c 43.2s| 16700 | 145 |550182 | 30.9 | 114M | 39 | 420 |1745 | 954 | 57k| 1 |1923 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.64/50.99 c 43.3s| 16800 | 141 |552228 | 30.8 | 114M | 39 | 420 |1749 | 935 | 57k| 1 |1927 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c 43.5s| 16900 | 147 |554854 | 30.8 | 114M | 39 | 420 |1786 | 971 | 58k| 0 |1965 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c 43.6s| 17000 | 145 |556937 | 30.7 | 114M | 39 | 420 |1792 | 947 | 58k| 0 |1972 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c 43.7s| 17100 | 145 |559384 | 30.7 | 114M | 39 | 420 |1792 |1026 | 58k| 1 |1976 | 21 | 0.000000e+00 | -- | Inf | 4.66%
50.64/50.99 c 43.9s| 17200 | 145 |561503 | 30.6 | 114M | 39 | 420 |1792 |1016 | 58k| 0 |1976 | 21 | 0.000000e+00 | -- | Inf | 4.67%
50.64/50.99 c 44.3s| 17300 | 147 |565622 | 30.7 | 114M | 39 | 420 |1773 | 934 | 59k| 2 |1991 | 21 | 0.000000e+00 | -- | Inf | 5.14%
50.64/50.99 c 45.0s| 17400 | 151 |572424 | 30.9 | 115M | 39 | 420 |1778 | 969 | 60k| 1 |2021 | 21 | 0.000000e+00 | -- | Inf | 5.53%
50.64/50.99 c 45.1s| 17500 | 151 |574723 | 30.9 | 115M | 39 | 420 |1771 | 991 | 60k| 1 |2023 | 21 | 0.000000e+00 | -- | Inf | 5.54%
50.64/50.99 c 45.4s| 17600 | 155 |577274 | 30.8 | 115M | 39 | 420 |1760 | 939 | 61k| 0 |2030 | 21 | 0.000000e+00 | -- | Inf | 5.61%
50.64/50.99 c 45.6s| 17700 | 155 |579948 | 30.8 | 115M | 39 | 420 |1744 | 929 | 61k| 2 |2033 | 21 | 0.000000e+00 | -- | Inf | 5.62%
50.64/50.99 c 45.9s| 17800 | 157 |583902 | 30.9 | 115M | 39 | 420 |1734 |1009 | 62k| 2 |2049 | 21 | 0.000000e+00 | -- | Inf | 5.69%
50.64/50.99 c 46.1s| 17900 | 155 |588414 | 30.9 | 115M | 39 | 420 |1716 | 994 | 62k| 1 |2064 | 21 | 0.000000e+00 | -- | Inf | 5.72%
50.64/50.99 c 46.4s| 18000 | 157 |593184 | 31.0 | 115M | 39 | 420 |1702 | 929 | 63k| 2 |2071 | 21 | 0.000000e+00 | -- | Inf | 5.74%
50.64/50.99 c 46.6s| 18100 | 157 |595987 | 31.0 | 115M | 39 | 420 |1698 | 958 | 63k| 0 |2081 | 21 | 0.000000e+00 | -- | Inf | 5.74%
50.64/50.99 c 46.8s| 18200 | 157 |598961 | 31.0 | 115M | 39 | 420 |1693 | 958 | 63k| 0 |2093 | 21 | 0.000000e+00 | -- | Inf | 5.75%
50.64/50.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.64/50.99 c 47.0s| 18300 | 159 |602441 | 31.0 | 115M | 39 | 420 |1666 | 938 | 64k| 2 |2101 | 21 | 0.000000e+00 | -- | Inf | 5.75%
50.64/50.99 c 47.1s| 18400 | 161 |604933 | 31.0 | 115M | 39 | 420 |1649 | 941 | 64k| 2 |2103 | 21 | 0.000000e+00 | -- | Inf | 5.76%
50.64/50.99 c 47.3s| 18500 | 159 |608034 | 31.0 | 115M | 39 | 420 |1639 | 966 | 65k| 2 |2103 | 21 | 0.000000e+00 | -- | Inf | 5.76%
50.64/50.99 c 47.4s| 18600 | 159 |610820 | 31.0 | 115M | 39 | 420 |1623 | 917 | 65k| 2 |2103 | 21 | 0.000000e+00 | -- | Inf | 5.76%
50.64/50.99 c 47.6s| 18700 | 157 |613678 | 31.0 | 115M | 39 | 420 |1624 | 930 | 65k| 1 |2111 | 21 | 0.000000e+00 | -- | Inf | 5.77%
50.64/50.99 c 47.7s| 18800 | 157 |616897 | 31.0 | 115M | 39 | 420 |1620 | 951 | 66k| 0 |2113 | 21 | 0.000000e+00 | -- | Inf | 5.77%
50.64/50.99 c 47.9s| 18900 | 157 |620589 | 31.0 | 115M | 39 | 420 |1611 | 916 | 66k| 0 |2120 | 21 | 0.000000e+00 | -- | Inf | 5.77%
50.64/50.99 c 48.3s| 19000 | 159 |625308 | 31.1 | 115M | 39 | 420 |1601 | 997 | 67k| 2 |2129 | 21 | 0.000000e+00 | -- | Inf | 5.82%
50.64/50.99 c 48.5s| 19100 | 161 |629476 | 31.1 | 115M | 39 | 420 |1601 |1020 | 68k| 0 |2138 | 21 | 0.000000e+00 | -- | Inf | 5.85%
50.64/50.99 c 48.6s| 19200 | 163 |632183 | 31.1 | 115M | 39 | 420 |1607 | 979 | 68k| 1 |2147 | 21 | 0.000000e+00 | -- | Inf | 5.87%
50.64/50.99 c 48.9s| 19300 | 171 |634931 | 31.1 | 115M | 39 | 420 |1596 | 994 | 68k| 1 |2152 | 21 | 0.000000e+00 | -- | Inf | 5.90%
50.64/50.99 c 49.1s| 19400 | 167 |640115 | 31.2 | 115M | 39 | 420 |1580 | 965 | 69k| 2 |2164 | 21 | 0.000000e+00 | -- | Inf | 5.92%
50.64/50.99 c 49.3s| 19500 | 161 |643575 | 31.2 | 115M | 39 | 420 |1567 | 941 | 69k| 2 |2164 | 21 | 0.000000e+00 | -- | Inf | 5.94%
50.64/50.99 c 49.4s| 19600 | 159 |646502 | 31.2 | 115M | 39 | 420 |1553 | 971 | 70k| 2 |2164 | 21 | 0.000000e+00 | -- | Inf | 5.97%
50.64/50.99 c 49.6s| 19700 | 157 |649595 | 31.2 | 115M | 39 | 420 |1549 | 953 | 70k| 1 |2173 | 21 | 0.000000e+00 | -- | Inf | 5.98%
50.64/50.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.64/50.99 c 49.8s| 19800 | 157 |652271 | 31.2 | 115M | 39 | 420 |1542 | 938 | 70k| 0 |2177 | 21 | 0.000000e+00 | -- | Inf | 5.99%
50.64/50.99 c 50.1s| 19900 | 161 |655059 | 31.2 | 116M | 39 | 420 |1554 | 925 | 71k| 2 |2205 | 21 | 0.000000e+00 | -- | Inf | 6.05%
50.64/50.99 c 50.3s| 20000 | 165 |658003 | 31.2 | 116M | 39 | 420 |1539 | 921 | 71k| 1 |2217 | 21 | 0.000000e+00 | -- | Inf | 6.09%
50.64/50.99 c 50.5s| 20100 | 165 |660519 | 31.1 | 116M | 39 | 420 |1536 | 922 | 72k| 0 |2217 | 21 | 0.000000e+00 | -- | Inf | 6.09%
58.51/58.86 c 50.6s| 20200 | 165 |662796 | 31.1 | 116M | 39 | 420 |1532 | 928 | 72k| 1 |2217 | 21 | 0.000000e+00 | -- | Inf | 6.09%
58.51/58.86 c 50.8s| 20300 | 167 |665530 | 31.1 | 116M | 39 | 420 |1543 | 937 | 72k| 2 |2230 | 21 | 0.000000e+00 | -- | Inf | 6.09%
58.51/58.86 c 50.9s| 20400 | 169 |667890 | 31.0 | 116M | 39 | 420 |1541 | 938 | 72k| 1 |2230 | 21 | 0.000000e+00 | -- | Inf | 6.09%
58.51/58.86 c 51.0s| 20500 | 171 |670290 | 31.0 | 116M | 39 | 420 |1540 | 931 | 72k| 0 |2232 | 21 | 0.000000e+00 | -- | Inf | 6.10%
58.51/58.86 c 51.1s| 20600 | 173 |672430 | 31.0 | 116M | 39 | 420 |1541 | 948 | 73k| 0 |2235 | 21 | 0.000000e+00 | -- | Inf | 6.10%
58.51/58.86 c 51.2s| 20700 | 171 |674387 | 30.9 | 116M | 39 | 420 |1548 | 959 | 73k| 1 |2248 | 21 | 0.000000e+00 | -- | Inf | 6.10%
58.51/58.86 c 51.4s| 20800 | 171 |676453 | 30.9 | 116M | 39 | 420 |1561 | 947 | 73k| 2 |2262 | 21 | 0.000000e+00 | -- | Inf | 6.10%
58.51/58.86 c 51.5s| 20900 | 171 |678594 | 30.8 | 116M | 39 | 420 |1568 | 919 | 73k| 2 |2269 | 21 | 0.000000e+00 | -- | Inf | 6.10%
58.51/58.86 c 51.6s| 21000 | 169 |680971 | 30.8 | 116M | 39 | 420 |1573 | 969 | 73k| 1 |2276 | 21 | 0.000000e+00 | -- | Inf | 6.10%
58.51/58.86 c 51.7s| 21100 | 167 |683070 | 30.7 | 116M | 39 | 420 |1573 | 964 | 73k| 0 |2276 | 21 | 0.000000e+00 | -- | Inf | 6.10%
58.51/58.86 c 51.8s| 21200 | 169 |685522 | 30.7 | 116M | 39 | 420 |1565 | 955 | 73k| 0 |2278 | 21 | 0.000000e+00 | -- | Inf | 6.10%
58.51/58.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.51/58.86 c 52.0s| 21300 | 173 |688192 | 30.7 | 116M | 39 | 420 |1569 |1004 | 74k| 2 |2297 | 21 | 0.000000e+00 | -- | Inf | 6.10%
58.51/58.86 c 52.1s| 21400 | 169 |691066 | 30.7 | 116M | 39 | 420 |1605 |1188 | 74k| 2 |2342 | 21 | 0.000000e+00 | -- | Inf | 6.11%
58.51/58.86 c 52.6s| 21500 | 175 |694077 | 30.7 | 116M | 39 | 420 |1587 |1113 | 74k| 1 |2345 | 21 | 0.000000e+00 | -- | Inf | 6.17%
58.51/58.86 c 52.7s| 21600 | 175 |696412 | 30.6 | 116M | 39 | 420 |1588 |1118 | 74k| 1 |2351 | 21 | 0.000000e+00 | -- | Inf | 6.19%
58.51/58.86 c 52.8s| 21700 | 179 |698776 | 30.6 | 116M | 39 | 420 |1592 |1133 | 74k| 0 |2358 | 21 | 0.000000e+00 | -- | Inf | 6.20%
58.51/58.86 c 53.0s| 21800 | 179 |701246 | 30.6 | 116M | 39 | 420 |1593 |1147 | 75k| 0 |2362 | 21 | 0.000000e+00 | -- | Inf | 6.20%
58.51/58.86 c 53.3s| 21900 | 173 |704479 | 30.6 | 116M | 39 | 420 |1577 | 912 | 75k| 2 |2367 | 21 | 0.000000e+00 | -- | Inf | 6.31%
58.51/58.86 c 53.5s| 22000 | 181 |708778 | 30.7 | 116M | 39 | 420 |1585 |1136 | 75k| 2 |2389 | 21 | 0.000000e+00 | -- | Inf | 6.35%
58.51/58.86 c 53.7s| 22100 | 177 |711823 | 30.7 | 116M | 39 | 420 |1608 | 0 | 75k| 0 |2420 | 21 | 0.000000e+00 | -- | Inf | 6.36%
58.51/58.86 c 53.8s| 22200 | 179 |714102 | 30.6 | 116M | 39 | 420 |1619 |1122 | 76k| 2 |2435 | 21 | 0.000000e+00 | -- | Inf | 6.37%
58.51/58.86 c 53.9s| 22300 | 177 |716622 | 30.6 | 116M | 39 | 420 |1625 |1121 | 76k| 0 |2448 | 21 | 0.000000e+00 | -- | Inf | 6.37%
58.51/58.86 c 54.1s| 22400 | 181 |718602 | 30.5 | 116M | 39 | 420 |1636 |1132 | 76k| 2 |2466 | 21 | 0.000000e+00 | -- | Inf | 6.38%
58.51/58.86 c 54.2s| 22500 | 179 |720573 | 30.5 | 116M | 39 | 420 |1643 |1153 | 76k| 1 |2480 | 21 | 0.000000e+00 | -- | Inf | 6.38%
58.51/58.86 c 54.3s| 22600 | 181 |722733 | 30.5 | 116M | 39 | 420 |1638 |1135 | 76k| 1 |2484 | 21 | 0.000000e+00 | -- | Inf | 6.39%
58.51/58.86 c 54.4s| 22700 | 183 |724360 | 30.4 | 116M | 39 | 420 |1635 |1141 | 76k| 0 |2484 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.51/58.86 c 54.5s| 22800 | 181 |726346 | 30.4 | 116M | 39 | 420 |1635 |1132 | 76k| 0 |2491 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 54.6s| 22900 | 185 |728108 | 30.3 | 116M | 39 | 420 |1639 |1138 | 76k| 1 |2499 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 54.8s| 23000 | 181 |730130 | 30.3 | 116M | 39 | 420 |1646 |1140 | 77k| 2 |2506 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 54.9s| 23100 | 179 |731655 | 30.2 | 116M | 39 | 420 |1641 |1140 | 77k| 1 |2506 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 54.9s| 23200 | 183 |733138 | 30.1 | 116M | 39 | 420 |1646 |1140 | 77k| 0 |2511 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 55.0s| 23300 | 183 |734692 | 30.1 | 116M | 39 | 420 |1650 | 0 | 77k| 0 |2519 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 55.1s| 23400 | 183 |736087 | 30.0 | 116M | 39 | 420 |1650 |1136 | 77k| 1 |2525 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 55.2s| 23500 | 185 |737644 | 30.0 | 116M | 39 | 420 |1653 |1141 | 77k| 2 |2535 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 55.3s| 23600 | 183 |739455 | 29.9 | 116M | 39 | 420 |1650 |1143 | 77k| 0 |2535 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 55.4s| 23700 | 181 |741102 | 29.9 | 116M | 39 | 420 |1654 |1156 | 77k| 1 |2543 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 55.5s| 23800 | 181 |742611 | 29.8 | 116M | 39 | 420 |1659 |1156 | 77k| 0 |2553 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 55.6s| 23900 | 181 |744309 | 29.7 | 116M | 39 | 420 |1664 |1158 | 77k| 1 |2558 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 55.8s| 24000 | 177 |746213 | 29.7 | 116M | 39 | 420 |1661 |1280 | 77k| 1 |2562 | 21 | 0.000000e+00 | -- | Inf | 6.40%
58.51/58.86 c 55.9s| 24100 | 175 |749350 | 29.7 | 116M | 39 | 420 |1653 | 967 | 77k| 0 |2566 | 21 | 0.000000e+00 | -- | Inf | 6.41%
58.51/58.86 c 56.2s| 24200 | 179 |754943 | 29.8 | 116M | 39 | 420 |1630 | 951 | 78k| 0 |2574 | 21 | 0.000000e+00 | -- | Inf | 6.44%
58.51/58.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.51/58.86 c 56.4s| 24300 | 179 |758129 | 29.8 | 116M | 39 | 420 |1621 | 959 | 79k| 1 |2574 | 21 | 0.000000e+00 | -- | Inf | 6.44%
58.51/58.86 c 56.6s| 24400 | 179 |762001 | 29.9 | 116M | 39 | 420 |1595 |1149 | 79k| 0 |2574 | 21 | 0.000000e+00 | -- | Inf | 6.45%
58.51/58.86 c 56.8s| 24500 | 179 |765534 | 29.9 | 116M | 39 | 420 |1597 |1155 | 79k| 2 |2578 | 21 | 0.000000e+00 | -- | Inf | 6.45%
58.51/58.86 c 57.0s| 24600 | 181 |770072 | 29.9 | 116M | 39 | 420 |1602 | 926 | 80k| 2 |2591 | 21 | 0.000000e+00 | -- | Inf | 6.46%
58.51/58.86 c 57.2s| 24700 | 179 |772907 | 29.9 | 116M | 39 | 420 |1609 | 948 | 80k| 1 |2605 | 21 | 0.000000e+00 | -- | Inf | 6.47%
58.51/58.86 c 57.3s| 24800 | 177 |775204 | 29.9 | 116M | 39 | 420 |1602 | 0 | 81k| 0 |2605 | 21 | 0.000000e+00 | -- | Inf | 6.47%
58.51/58.86 c 57.5s| 24900 | 181 |777758 | 29.9 | 116M | 39 | 420 |1598 | 922 | 81k| 0 |2605 | 21 | 0.000000e+00 | -- | Inf | 6.47%
58.51/58.86 c 57.6s| 25000 | 181 |780314 | 29.9 | 116M | 39 | 420 |1591 | 945 | 81k| 0 |2605 | 21 | 0.000000e+00 | -- | Inf | 6.48%
58.51/58.86 c 57.8s| 25100 | 183 |783351 | 29.9 | 116M | 39 | 420 |1588 | 984 | 82k| 2 |2609 | 21 | 0.000000e+00 | -- | Inf | 6.48%
58.51/58.86 c 57.9s| 25200 | 181 |786593 | 29.9 | 116M | 39 | 420 |1576 | 968 | 82k| 1 |2613 | 21 | 0.000000e+00 | -- | Inf | 6.48%
58.51/58.86 c 58.1s| 25300 | 179 |789623 | 29.9 | 116M | 39 | 420 |1583 | 935 | 83k| 2 |2633 | 21 | 0.000000e+00 | -- | Inf | 6.48%
58.51/58.86 c 58.3s| 25400 | 177 |792267 | 29.9 | 116M | 39 | 420 |1590 | 964 | 83k| 1 |2645 | 21 | 0.000000e+00 | -- | Inf | 6.48%
67.69/68.10 c 58.5s| 25500 | 187 |796503 | 29.9 | 116M | 39 | 420 |1595 | 942 | 84k| 0 |2663 | 21 | 0.000000e+00 | -- | Inf | 6.49%
67.69/68.10 c 58.7s| 25600 | 189 |799274 | 29.9 | 116M | 39 | 420 |1595 | 921 | 84k| 1 |2665 | 21 | 0.000000e+00 | -- | Inf | 6.49%
67.69/68.10 c 58.8s| 25700 | 187 |801722 | 29.9 | 116M | 39 | 420 |1616 | 938 | 85k| 2 |2688 | 21 | 0.000000e+00 | -- | Inf | 6.50%
67.69/68.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.69/68.10 c 59.0s| 25800 | 183 |804621 | 29.9 | 116M | 39 | 420 |1649 | 977 | 85k| 0 |2723 | 21 | 0.000000e+00 | -- | Inf | 6.50%
67.69/68.10 c 59.2s| 25900 | 181 |808190 | 29.9 | 116M | 39 | 420 |1648 | 952 | 86k| 1 |2725 | 21 | 0.000000e+00 | -- | Inf | 6.50%
67.69/68.10 c 59.3s| 26000 | 181 |810816 | 29.9 | 116M | 39 | 420 |1650 | 936 | 86k| 2 |2743 | 21 | 0.000000e+00 | -- | Inf | 6.51%
67.69/68.10 c 59.6s| 26100 | 187 |814918 | 29.9 | 117M | 39 | 420 |1632 | 932 | 87k| 1 |2753 | 21 | 0.000000e+00 | -- | Inf | 6.57%
67.69/68.10 c 59.8s| 26200 | 183 |818047 | 29.9 | 117M | 39 | 420 |1640 | 974 | 87k| 0 |2772 | 21 | 0.000000e+00 | -- | Inf | 6.60%
67.69/68.10 c 59.9s| 26300 | 187 |820624 | 29.9 | 117M | 39 | 420 |1641 |1133 | 87k| 0 |2781 | 21 | 0.000000e+00 | -- | Inf | 6.61%
67.69/68.10 c 60.0s| 26400 | 187 |822110 | 29.9 | 117M | 39 | 420 |1657 |1130 | 87k| 0 |2799 | 21 | 0.000000e+00 | -- | Inf | 6.61%
67.69/68.10 c 60.2s| 26500 | 185 |824214 | 29.8 | 117M | 39 | 420 |1668 |1018 | 88k| 0 |2814 | 21 | 0.000000e+00 | -- | Inf | 6.61%
67.69/68.10 c 60.3s| 26600 | 185 |826529 | 29.8 | 117M | 39 | 420 |1676 |1149 | 88k| 1 |2827 | 21 | 0.000000e+00 | -- | Inf | 6.61%
67.69/68.10 c 60.5s| 26700 | 187 |830589 | 29.8 | 117M | 39 | 420 |1677 | 971 | 88k| 2 |2839 | 21 | 0.000000e+00 | -- | Inf | 6.61%
67.69/68.10 c 60.7s| 26800 | 187 |833630 | 29.9 | 117M | 39 | 420 |1677 | 969 | 89k| 2 |2845 | 21 | 0.000000e+00 | -- | Inf | 6.61%
67.69/68.10 c 60.9s| 26900 | 183 |836836 | 29.9 | 117M | 39 | 420 |1692 |1009 | 89k| 2 |2869 | 21 | 0.000000e+00 | -- | Inf | 6.61%
67.69/68.10 c 61.0s| 27000 | 187 |838966 | 29.8 | 117M | 39 | 420 |1682 | 969 | 89k| 0 |2881 | 21 | 0.000000e+00 | -- | Inf | 6.63%
67.69/68.10 c 61.2s| 27100 | 187 |842662 | 29.9 | 117M | 39 | 420 |1684 |1077 | 90k| 0 |2902 | 21 | 0.000000e+00 | -- | Inf | 6.64%
67.69/68.10 c 61.3s| 27200 | 187 |844808 | 29.8 | 117M | 39 | 420 |1692 |1091 | 90k| 1 |2911 | 21 | 0.000000e+00 | -- | Inf | 6.64%
67.69/68.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.69/68.10 c 61.5s| 27300 | 185 |847319 | 29.8 | 117M | 39 | 420 |1698 |1088 | 90k| 0 |2917 | 21 | 0.000000e+00 | -- | Inf | 6.65%
67.69/68.10 c 61.8s| 27400 | 187 |850687 | 29.8 | 117M | 39 | 420 |1692 |1054 | 90k| 2 |2923 | 21 | 0.000000e+00 | -- | Inf | 6.69%
67.69/68.10 c 62.1s| 27500 | 193 |853107 | 29.8 | 117M | 39 | 420 |1674 | 908 | 91k| 1 |2925 | 21 | 0.000000e+00 | -- | Inf | 6.71%
67.69/68.10 c 62.2s| 27600 | 197 |855426 | 29.8 | 117M | 39 | 420 |1673 | 902 | 91k| 2 |2927 | 21 | 0.000000e+00 | -- | Inf | 6.76%
67.69/68.10 c 62.4s| 27700 | 195 |857629 | 29.8 | 117M | 39 | 420 |1673 | 894 | 91k| 2 |2933 | 21 | 0.000000e+00 | -- | Inf | 6.77%
67.69/68.10 c 62.5s| 27800 | 199 |859864 | 29.7 | 117M | 39 | 420 |1653 | 901 | 91k| 0 |2933 | 21 | 0.000000e+00 | -- | Inf | 6.79%
67.69/68.10 c 62.6s| 27900 | 193 |861826 | 29.7 | 117M | 39 | 420 |1643 | 908 | 92k| 0 |2933 | 21 | 0.000000e+00 | -- | Inf | 6.79%
67.69/68.10 c 62.7s| 28000 | 191 |863795 | 29.7 | 117M | 39 | 420 |1648 |1085 | 92k| 0 |2946 | 21 | 0.000000e+00 | -- | Inf | 6.79%
67.69/68.10 c 63.1s| 28100 | 197 |868643 | 29.7 | 117M | 39 | 420 |1645 | 997 | 92k| 1 |2965 | 21 | 0.000000e+00 | -- | Inf | 6.98%
67.69/68.10 c 63.3s| 28200 | 197 |873440 | 29.8 | 117M | 39 | 420 |1632 |1087 | 93k| 0 |2978 | 21 | 0.000000e+00 | -- | Inf | 6.99%
67.69/68.10 c 63.5s| 28300 | 199 |876441 | 29.8 | 117M | 39 | 420 |1632 | 987 | 93k| 0 |2983 | 21 | 0.000000e+00 | -- | Inf | 6.99%
67.69/68.10 c 63.8s| 28400 | 207 |880500 | 29.8 | 117M | 39 | 420 |1631 | 886 | 93k| 2 |3008 | 21 | 0.000000e+00 | -- | Inf | 7.01%
67.69/68.10 c 63.9s| 28500 | 205 |882885 | 29.8 | 117M | 39 | 420 |1636 |1065 | 94k| 0 |3020 | 21 | 0.000000e+00 | -- | Inf | 7.10%
67.69/68.10 c 64.1s| 28600 | 211 |885431 | 29.8 | 117M | 39 | 420 |1646 | 931 | 94k| 2 |3033 | 21 | 0.000000e+00 | -- | Inf | 7.15%
67.69/68.10 c 64.4s| 28700 | 211 |887906 | 29.8 | 117M | 39 | 420 |1646 | 923 | 94k| 0 |3041 | 21 | 0.000000e+00 | -- | Inf | 7.17%
67.69/68.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.69/68.10 c 64.6s| 28800 | 211 |890719 | 29.8 | 117M | 39 | 420 |1652 |1105 | 94k| 0 |3061 | 21 | 0.000000e+00 | -- | Inf | 7.22%
67.69/68.10 c 64.7s| 28900 | 213 |892726 | 29.7 | 117M | 39 | 420 |1642 |1103 | 94k| 1 |3069 | 21 | 0.000000e+00 | -- | Inf | 7.24%
67.69/68.10 c 64.8s| 29000 | 213 |894988 | 29.7 | 117M | 39 | 420 |1635 |1103 | 94k| 1 |3071 | 21 | 0.000000e+00 | -- | Inf | 7.25%
67.69/68.10 c 65.0s| 29100 | 207 |899030 | 29.7 | 117M | 39 | 420 |1621 | 949 | 94k| 0 |3076 | 21 | 0.000000e+00 | -- | Inf | 7.25%
67.69/68.10 c 65.1s| 29200 | 211 |901706 | 29.7 | 118M | 39 | 420 |1626 | 922 | 95k| 2 |3085 | 21 | 0.000000e+00 | -- | Inf | 7.30%
67.69/68.10 c 65.3s| 29300 | 213 |903733 | 29.7 | 118M | 39 | 420 |1632 | 921 | 95k| 0 |3091 | 21 | 0.000000e+00 | -- | Inf | 7.30%
67.69/68.10 c 65.4s| 29400 | 215 |906234 | 29.7 | 118M | 39 | 420 |1636 | 933 | 95k| 0 |3095 | 21 | 0.000000e+00 | -- | Inf | 7.30%
67.69/68.10 c 65.6s| 29500 | 219 |908713 | 29.7 | 118M | 39 | 420 |1643 | 942 | 95k| 0 |3103 | 21 | 0.000000e+00 | -- | Inf | 7.31%
67.69/68.10 c 65.7s| 29600 | 217 |910855 | 29.6 | 118M | 39 | 420 |1657 | 0 | 96k| 0 |3118 | 21 | 0.000000e+00 | -- | Inf | 7.31%
67.69/68.10 c 65.8s| 29700 | 213 |913246 | 29.6 | 118M | 39 | 420 |1647 |1127 | 96k| 0 |3118 | 21 | 0.000000e+00 | -- | Inf | 7.31%
67.69/68.10 c 65.9s| 29800 | 215 |915029 | 29.6 | 118M | 39 | 420 |1657 | 979 | 96k| 0 |3130 | 21 | 0.000000e+00 | -- | Inf | 7.31%
67.69/68.10 c 66.5s| 29900 | 227 |918096 | 29.6 | 118M | 39 | 420 |1649 |1057 | 96k| 0 |3144 | 21 | 0.000000e+00 | -- | Inf | 7.32%
67.69/68.10 c 66.6s| 30000 | 229 |920057 | 29.6 | 118M | 39 | 420 |1647 |1056 | 96k| 0 |3149 | 21 | 0.000000e+00 | -- | Inf | 7.35%
67.69/68.10 c 66.7s| 30100 | 235 |922333 | 29.5 | 118M | 39 | 420 |1641 |1063 | 96k| 0 |3151 | 21 | 0.000000e+00 | -- | Inf | 7.36%
67.69/68.10 c 66.9s| 30200 | 233 |925147 | 29.5 | 118M | 39 | 420 |1641 | 978 | 97k| 2 |3162 | 21 | 0.000000e+00 | -- | Inf | 7.36%
67.69/68.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.69/68.10 c 67.0s| 30300 | 231 |927916 | 29.5 | 118M | 39 | 420 |1644 |1150 | 97k| 1 |3173 | 21 | 0.000000e+00 | -- | Inf | 7.36%
67.69/68.10 c 67.2s| 30400 | 231 |931049 | 29.5 | 118M | 39 | 420 |1663 |1151 | 97k| 2 |3199 | 21 | 0.000000e+00 | -- | Inf | 7.36%
67.69/68.10 c 67.4s| 30500 | 235 |934388 | 29.5 | 118M | 39 | 420 |1661 |1141 | 97k| 0 |3204 | 21 | 0.000000e+00 | -- | Inf | 7.36%
67.69/68.10 c 67.6s| 30600 | 237 |937415 | 29.5 | 118M | 39 | 420 |1657 | 926 | 98k| 2 |3213 | 21 | 0.000000e+00 | -- | Inf | 7.37%
77.65/78.10 c 67.7s| 30700 | 235 |940568 | 29.6 | 118M | 39 | 420 |1663 |1017 | 98k| 0 |3226 | 21 | 0.000000e+00 | -- | Inf | 7.38%
77.65/78.10 c 67.9s| 30800 | 243 |943313 | 29.5 | 118M | 39 | 420 |1682 | 951 | 98k| 0 |3258 | 21 | 0.000000e+00 | -- | Inf | 7.38%
77.65/78.10 c 68.1s| 30900 | 249 |946260 | 29.5 | 118M | 39 | 420 |1693 | 946 | 99k| 2 |3277 | 21 | 0.000000e+00 | -- | Inf | 7.38%
77.65/78.10 c 68.2s| 31000 | 247 |949074 | 29.5 | 118M | 39 | 420 |1720 | 993 | 99k| 1 |3308 | 21 | 0.000000e+00 | -- | Inf | 7.38%
77.65/78.10 c 68.4s| 31100 | 251 |951717 | 29.5 | 118M | 39 | 420 |1721 | 948 | 99k| 0 |3313 | 21 | 0.000000e+00 | -- | Inf | 7.38%
77.65/78.10 c 68.5s| 31200 | 257 |954639 | 29.5 | 118M | 39 | 420 |1723 |1195 | 100k| 0 |3319 | 21 | 0.000000e+00 | -- | Inf | 7.38%
77.65/78.10 c 68.7s| 31300 | 261 |957328 | 29.5 | 118M | 39 | 420 |1715 | 983 | 100k| 1 |3322 | 21 | 0.000000e+00 | -- | Inf | 7.38%
77.65/78.10 c 68.8s| 31400 | 261 |959791 | 29.5 | 118M | 39 | 420 |1711 |1099 | 100k| 0 |3331 | 21 | 0.000000e+00 | -- | Inf | 7.39%
77.65/78.10 c 69.1s| 31500 | 269 |964108 | 29.5 | 118M | 39 | 420 |1712 | 939 | 100k| 2 |3373 | 21 | 0.000000e+00 | -- | Inf | 7.40%
77.65/78.10 c 69.3s| 31600 | 267 |967981 | 29.6 | 118M | 39 | 420 |1697 |1088 | 101k| 0 |3375 | 21 | 0.000000e+00 | -- | Inf | 7.46%
77.65/78.10 c 69.5s| 31700 | 273 |970333 | 29.6 | 118M | 39 | 420 |1713 |1123 | 101k| 2 |3402 | 21 | 0.000000e+00 | -- | Inf | 7.47%
77.65/78.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.65/78.10 c 69.6s| 31800 | 287 |972282 | 29.5 | 118M | 39 | 420 |1702 |1122 | 101k| 1 |3414 | 21 | 0.000000e+00 | -- | Inf | 7.48%
77.65/78.10 c 69.7s| 31900 | 283 |974327 | 29.5 | 118M | 39 | 420 |1690 |1124 | 101k| 0 |3414 | 21 | 0.000000e+00 | -- | Inf | 7.48%
77.65/78.10 c 69.8s| 32000 | 275 |976432 | 29.5 | 118M | 39 | 420 |1682 | 991 | 101k| 1 |3416 | 21 | 0.000000e+00 | -- | Inf | 7.48%
77.65/78.10 c 70.0s| 32100 | 277 |979241 | 29.5 | 118M | 39 | 420 |1675 | 967 | 101k| 2 |3427 | 21 | 0.000000e+00 | -- | Inf | 7.57%
77.65/78.10 c 70.5s| 32200 | 275 |986541 | 29.6 | 118M | 39 | 420 |1653 | 946 | 102k| 2 |3436 | 21 | 0.000000e+00 | -- | Inf | 7.64%
77.65/78.10 c 70.7s| 32300 | 273 |990026 | 29.6 | 118M | 39 | 420 |1625 | 956 | 103k| 0 |3436 | 21 | 0.000000e+00 | -- | Inf | 7.65%
77.65/78.10 c 70.9s| 32400 | 275 |993347 | 29.6 | 118M | 39 | 420 |1593 | 968 | 103k| 2 |3449 | 21 | 0.000000e+00 | -- | Inf | 7.66%
77.65/78.10 c 71.1s| 32500 | 275 |997407 | 29.7 | 118M | 39 | 420 |1566 | 946 | 104k| 0 |3460 | 21 | 0.000000e+00 | -- | Inf | 7.67%
77.65/78.10 c 71.3s| 32600 | 273 | 1001k| 29.7 | 118M | 39 | 420 |1539 | 949 | 104k| 2 |3475 | 21 | 0.000000e+00 | -- | Inf | 7.68%
77.65/78.10 c 71.6s| 32700 | 273 | 1009k| 29.8 | 118M | 39 | 420 |1506 |1132 | 105k| 0 |3477 | 21 | 0.000000e+00 | -- | Inf | 7.69%
77.65/78.10 c 71.8s| 32800 | 273 | 1011k| 29.8 | 118M | 39 | 420 |1516 |1126 | 105k| 1 |3497 | 21 | 0.000000e+00 | -- | Inf | 7.69%
77.65/78.10 c 71.9s| 32900 | 275 | 1013k| 29.8 | 118M | 39 | 420 |1525 |1135 | 105k| 1 |3518 | 21 | 0.000000e+00 | -- | Inf | 7.69%
77.65/78.10 c 72.0s| 33000 | 273 | 1016k| 29.8 | 118M | 39 | 420 |1524 | 906 | 105k| 2 |3525 | 21 | 0.000000e+00 | -- | Inf | 7.69%
77.65/78.10 c 72.2s| 33100 | 271 | 1019k| 29.8 | 118M | 39 | 420 |1507 | 963 | 106k| 2 |3529 | 21 | 0.000000e+00 | -- | Inf | 7.70%
77.65/78.10 c 72.4s| 33200 | 273 | 1023k| 29.8 | 118M | 39 | 420 |1496 | 926 | 106k| 2 |3529 | 21 | 0.000000e+00 | -- | Inf | 7.72%
77.65/78.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.65/78.10 c 72.5s| 33300 | 271 | 1025k| 29.8 | 118M | 39 | 420 |1491 | 879 | 107k| 2 |3529 | 21 | 0.000000e+00 | -- | Inf | 7.72%
77.65/78.10 c 72.8s| 33400 | 275 | 1028k| 29.8 | 118M | 39 | 420 |1480 | 918 | 107k| 0 |3535 | 21 | 0.000000e+00 | -- | Inf | 7.75%
77.65/78.10 c 73.0s| 33500 | 281 | 1031k| 29.8 | 118M | 39 | 420 |1492 | 921 | 108k| 1 |3558 | 21 | 0.000000e+00 | -- | Inf | 7.76%
77.65/78.10 c 73.1s| 33600 | 277 | 1033k| 29.8 | 119M | 39 | 420 |1499 | 975 | 108k| 0 |3573 | 21 | 0.000000e+00 | -- | Inf | 7.77%
77.65/78.10 c 73.3s| 33700 | 279 | 1035k| 29.7 | 119M | 39 | 420 |1499 |1137 | 108k| 0 |3580 | 21 | 0.000000e+00 | -- | Inf | 7.80%
77.65/78.10 c 73.4s| 33800 | 277 | 1038k| 29.7 | 119M | 39 | 420 |1504 |1140 | 108k| 0 |3587 | 21 | 0.000000e+00 | -- | Inf | 7.80%
77.65/78.10 c 73.6s| 33900 | 279 | 1042k| 29.8 | 119M | 39 | 420 |1503 | 939 | 109k| 1 |3592 | 21 | 0.000000e+00 | -- | Inf | 7.80%
77.65/78.10 c 73.9s| 34000 | 281 | 1047k| 29.8 | 119M | 39 | 420 |1487 | 931 | 110k| 0 |3605 | 21 | 0.000000e+00 | -- | Inf | 7.85%
77.65/78.10 c 74.1s| 34100 | 283 | 1051k| 29.9 | 119M | 39 | 420 |1480 | 960 | 110k| 0 |3617 | 21 | 0.000000e+00 | -- | Inf | 7.90%
77.65/78.10 c 74.3s| 34200 | 283 | 1056k| 29.9 | 119M | 39 | 420 |1454 |1008 | 111k| 0 |3629 | 21 | 0.000000e+00 | -- | Inf | 7.92%
77.65/78.10 c 74.5s| 34300 | 279 | 1059k| 29.9 | 119M | 39 | 420 |1449 | 957 | 111k| 0 |3635 | 21 | 0.000000e+00 | -- | Inf | 7.93%
77.65/78.10 c 74.9s| 34400 | 283 | 1065k| 30.0 | 119M | 39 | 420 |1439 | 995 | 112k| 2 |3652 | 21 | 0.000000e+00 | -- | Inf | 7.97%
77.65/78.10 c 75.1s| 34500 | 285 | 1068k| 30.0 | 119M | 39 | 420 |1431 | 928 | 113k| 0 |3662 | 21 | 0.000000e+00 | -- | Inf | 7.99%
77.65/78.10 c 75.3s| 34600 | 281 | 1070k| 30.0 | 119M | 39 | 420 |1425 | 966 | 113k| 1 |3670 | 21 | 0.000000e+00 | -- | Inf | 7.99%
77.65/78.10 c 75.5s| 34700 | 285 | 1075k| 30.0 | 119M | 39 | 420 |1417 | 951 | 114k| 0 |3680 | 21 | 0.000000e+00 | -- | Inf | 7.99%
77.65/78.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.65/78.10 c 75.8s| 34800 | 285 | 1078k| 30.0 | 119M | 39 | 420 |1413 |1020 | 114k| 1 |3686 | 21 | 0.000000e+00 | -- | Inf | 8.04%
77.65/78.10 c 76.0s| 34900 | 291 | 1080k| 30.0 | 119M | 39 | 420 |1414 | 923 | 115k| 0 |3700 | 21 | 0.000000e+00 | -- | Inf | 8.05%
77.65/78.10 c 76.1s| 35000 | 291 | 1083k| 30.0 | 119M | 39 | 420 |1424 | 916 | 115k| 2 |3717 | 21 | 0.000000e+00 | -- | Inf | 8.05%
77.65/78.10 c 76.3s| 35100 | 293 | 1085k| 30.0 | 119M | 39 | 420 |1418 |1141 | 115k| 0 |3721 | 21 | 0.000000e+00 | -- | Inf | 8.06%
77.65/78.10 c 76.4s| 35200 | 291 | 1088k| 30.0 | 119M | 39 | 420 |1421 |1221 | 115k| 1 |3729 | 21 | 0.000000e+00 | -- | Inf | 8.06%
77.65/78.10 c 76.6s| 35300 | 291 | 1091k| 30.0 | 119M | 39 | 420 |1419 |1226 | 116k| 1 |3734 | 21 | 0.000000e+00 | -- | Inf | 8.06%
77.65/78.10 c 76.7s| 35400 | 291 | 1095k| 30.0 | 119M | 39 | 420 |1418 | 967 | 116k| 1 |3741 | 21 | 0.000000e+00 | -- | Inf | 8.06%
77.65/78.10 c 76.9s| 35500 | 299 | 1097k| 30.0 | 119M | 39 | 420 |1424 |1129 | 116k| 1 |3756 | 21 | 0.000000e+00 | -- | Inf | 8.06%
77.65/78.10 c 77.0s| 35600 | 295 | 1099k| 29.9 | 119M | 39 | 420 |1429 |1130 | 116k| 0 |3763 | 21 | 0.000000e+00 | -- | Inf | 8.06%
77.65/78.10 c 77.1s| 35700 | 297 | 1101k| 29.9 | 119M | 39 | 420 |1439 |1133 | 116k| 0 |3775 | 21 | 0.000000e+00 | -- | Inf | 8.06%
77.65/78.10 c 77.3s| 35800 | 297 | 1104k| 29.9 | 119M | 39 | 420 |1435 | 953 | 116k| 1 |3777 | 21 | 0.000000e+00 | -- | Inf | 8.06%
77.65/78.10 c 77.5s| 35900 | 301 | 1107k| 29.9 | 119M | 39 | 420 |1433 | 977 | 117k| 2 |3785 | 21 | 0.000000e+00 | -- | Inf | 8.12%
88.20/88.68 c 77.7s| 36000 | 305 | 1111k| 29.9 | 119M | 39 | 420 |1433 | 947 | 117k| 2 |3789 | 21 | 0.000000e+00 | -- | Inf | 8.13%
88.20/88.68 c 77.9s| 36100 | 305 | 1113k| 29.9 | 119M | 39 | 420 |1434 | 970 | 117k| 0 |3791 | 21 | 0.000000e+00 | -- | Inf | 8.13%
88.20/88.68 c 78.1s| 36200 | 305 | 1118k| 30.0 | 119M | 39 | 420 |1429 | 964 | 118k| 2 |3803 | 21 | 0.000000e+00 | -- | Inf | 8.53%
88.20/88.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
88.20/88.68 c 78.2s| 36300 | 305 | 1120k| 29.9 | 119M | 39 | 420 |1427 | 958 | 118k| 0 |3803 | 21 | 0.000000e+00 | -- | Inf | 8.53%
88.20/88.68 c 78.6s| 36400 | 311 | 1126k| 30.0 | 119M | 39 | 420 |1430 | 0 | 119k| 0 |3820 | 21 | 0.000000e+00 | -- | Inf | 8.89%
88.20/88.68 c 78.8s| 36500 | 307 | 1129k| 30.0 | 119M | 39 | 420 |1414 | 969 | 119k| 0 |3830 | 21 | 0.000000e+00 | -- | Inf | 8.92%
88.20/88.68 c 79.2s| 36600 | 309 | 1136k| 30.1 | 119M | 39 | 420 |1413 | 991 | 120k| 1 |3848 | 21 | 0.000000e+00 | -- | Inf | 9.01%
88.20/88.68 c 79.6s| 36700 | 313 | 1141k| 30.2 | 119M | 39 | 420 |1416 | 942 | 120k| 0 |3862 | 21 | 0.000000e+00 | -- | Inf | 9.04%
88.20/88.68 c 79.8s| 36800 | 313 | 1146k| 30.2 | 119M | 39 | 420 |1422 | 945 | 121k| 2 |3874 | 21 | 0.000000e+00 | -- | Inf | 9.07%
88.20/88.68 c 80.1s| 36900 | 311 | 1152k| 30.3 | 119M | 39 | 420 |1416 | 963 | 122k| 2 |3878 | 21 | 0.000000e+00 | -- | Inf | 9.10%
88.20/88.68 c 80.4s| 37000 | 311 | 1159k| 30.4 | 119M | 39 | 420 |1417 | 946 | 123k| 1 |3882 | 21 | 0.000000e+00 | -- | Inf | 9.12%
88.20/88.68 c 80.7s| 37100 | 309 | 1164k| 30.5 | 119M | 39 | 420 |1413 | 985 | 123k| 1 |3891 | 21 | 0.000000e+00 | -- | Inf | 9.32%
88.20/88.68 c 81.0s| 37200 | 311 | 1170k| 30.5 | 120M | 39 | 420 |1423 | 972 | 124k| 0 |3915 | 21 | 0.000000e+00 | -- | Inf | 9.41%
88.20/88.68 c 81.3s| 37300 | 315 | 1173k| 30.5 | 120M | 39 | 420 |1416 | 936 | 125k| 1 |3917 | 21 | 0.000000e+00 | -- | Inf | 9.44%
88.20/88.68 c 81.5s| 37400 | 319 | 1176k| 30.5 | 120M | 39 | 420 |1417 | 986 | 125k| 0 |3921 | 21 | 0.000000e+00 | -- | Inf | 9.45%
88.20/88.68 c 81.6s| 37500 | 317 | 1178k| 30.5 | 120M | 39 | 420 |1418 | 954 | 125k| 0 |3925 | 21 | 0.000000e+00 | -- | Inf | 9.45%
88.20/88.68 c 81.8s| 37600 | 321 | 1182k| 30.5 | 120M | 39 | 420 |1415 | 963 | 126k| 2 |3925 | 21 | 0.000000e+00 | -- | Inf | 9.46%
88.20/88.68 c 82.0s| 37700 | 319 | 1185k| 30.5 | 120M | 39 | 420 |1415 |1017 | 126k| 2 |3927 | 21 | 0.000000e+00 | -- | Inf | 9.46%
88.20/88.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
88.20/88.68 c 82.2s| 37800 | 315 | 1188k| 30.5 | 120M | 39 | 420 |1412 | 951 | 127k| 0 |3927 | 21 | 0.000000e+00 | -- | Inf | 9.47%
88.20/88.68 c 82.3s| 37900 | 315 | 1191k| 30.5 | 120M | 39 | 420 |1416 | 977 | 127k| 0 |3933 | 21 | 0.000000e+00 | -- | Inf | 9.47%
88.20/88.68 c 82.5s| 38000 | 313 | 1194k| 30.5 | 120M | 39 | 420 |1415 |1110 | 127k| 2 |3937 | 21 | 0.000000e+00 | -- | Inf | 9.47%
88.20/88.68 c 82.7s| 38100 | 319 | 1197k| 30.5 | 120M | 39 | 420 |1409 | 950 | 128k| 2 |3937 | 21 | 0.000000e+00 | -- | Inf | 9.48%
88.20/88.68 c 82.8s| 38200 | 313 | 1200k| 30.5 | 120M | 39 | 420 |1407 | 950 | 128k| 2 |3937 | 21 | 0.000000e+00 | -- | Inf | 9.49%
88.20/88.68 c 83.0s| 38300 | 313 | 1204k| 30.5 | 120M | 39 | 420 |1406 | 998 | 129k| 0 |3939 | 21 | 0.000000e+00 | -- | Inf | 9.49%
88.20/88.68 c 83.2s| 38400 | 313 | 1208k| 30.6 | 120M | 39 | 420 |1397 | 999 | 129k| 0 |3939 | 21 | 0.000000e+00 | -- | Inf | 9.50%
88.20/88.68 c 83.4s| 38500 | 311 | 1212k| 30.6 | 120M | 39 | 420 |1397 | 973 | 130k| 2 |3939 | 21 | 0.000000e+00 | -- | Inf | 9.50%
88.20/88.68 c 83.6s| 38600 | 313 | 1216k| 30.6 | 120M | 39 | 420 |1399 | 964 | 130k| 0 |3943 | 21 | 0.000000e+00 | -- | Inf | 9.50%
88.20/88.68 c 83.8s| 38700 | 311 | 1219k| 30.6 | 120M | 39 | 420 |1404 | 955 | 131k| 2 |3950 | 21 | 0.000000e+00 | -- | Inf | 9.50%
88.20/88.68 c 84.1s| 38800 | 313 | 1226k| 30.7 | 120M | 39 | 420 |1411 | 986 | 132k| 2 |3960 | 21 | 0.000000e+00 | -- | Inf | 9.51%
88.20/88.68 c 84.3s| 38900 | 307 | 1230k| 30.7 | 120M | 39 | 420 |1408 |1010 | 132k| 1 |3963 | 21 | 0.000000e+00 | -- | Inf | 9.51%
88.20/88.68 c 84.5s| 39000 | 315 | 1235k| 30.8 | 120M | 39 | 420 |1413 | 993 | 132k| 2 |3971 | 21 | 0.000000e+00 | -- | Inf | 9.51%
88.20/88.68 c 84.8s| 39100 | 307 | 1240k| 30.8 | 120M | 39 | 420 |1428 | 972 | 133k| 0 |3987 | 21 | 0.000000e+00 | -- | Inf | 9.51%
88.20/88.68 c 85.0s| 39200 | 309 | 1243k| 30.8 | 120M | 39 | 420 |1426 |1003 | 133k| 2 |3989 | 21 | 0.000000e+00 | -- | Inf | 9.51%
88.20/88.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
88.20/88.68 c 85.2s| 39300 | 309 | 1248k| 30.9 | 120M | 39 | 420 |1427 |1119 | 134k| 2 |3993 | 21 | 0.000000e+00 | -- | Inf | 9.51%
88.20/88.68 c 85.3s| 39400 | 307 | 1250k| 30.9 | 120M | 39 | 420 |1430 |1240 | 134k| 0 |3997 | 21 | 0.000000e+00 | -- | Inf | 9.52%
88.20/88.68 c 85.4s| 39500 | 311 | 1253k| 30.8 | 120M | 39 | 420 |1424 |1245 | 134k| 0 |4000 | 21 | 0.000000e+00 | -- | Inf | 9.53%
88.20/88.68 c 85.6s| 39600 | 313 | 1256k| 30.8 | 120M | 39 | 420 |1411 |1195 | 134k| 1 |4005 | 21 | 0.000000e+00 | -- | Inf | 9.53%
88.20/88.68 c 85.8s| 39700 | 315 | 1258k| 30.8 | 120M | 39 | 420 |1410 | 942 | 135k| 1 |4009 | 21 | 0.000000e+00 | -- | Inf | 9.54%
88.20/88.68 c 86.0s| 39800 | 319 | 1262k| 30.8 | 120M | 39 | 420 |1418 | 961 | 135k| 2 |4024 | 21 | 0.000000e+00 | -- | Inf | 9.63%
88.20/88.68 c 86.5s| 39900 | 323 | 1267k| 30.9 | 120M | 39 | 420 |1450 | 948 | 136k| 2 |4063 | 21 | 0.000000e+00 | -- | Inf | 9.72%
88.20/88.68 c 86.7s| 40000 | 323 | 1273k| 31.0 | 120M | 39 | 420 |1449 | 950 | 137k| 1 |4070 | 21 | 0.000000e+00 | -- | Inf | 9.74%
88.20/88.68 c 86.9s| 40100 | 325 | 1275k| 30.9 | 120M | 39 | 420 |1456 | 958 | 137k| 2 |4080 | 21 | 0.000000e+00 | -- | Inf | 9.75%
88.20/88.68 c 87.1s| 40200 | 323 | 1280k| 31.0 | 120M | 39 | 420 |1464 | 0 | 138k| 0 |4096 | 21 | 0.000000e+00 | -- | Inf | 9.76%
88.20/88.68 c 87.3s| 40300 | 319 | 1283k| 31.0 | 120M | 39 | 420 |1480 | 973 | 138k| 1 |4116 | 21 | 0.000000e+00 | -- | Inf | 9.77%
88.20/88.68 c 87.5s| 40400 | 319 | 1286k| 31.0 | 120M | 39 | 420 |1494 | 0 | 138k| 0 |4132 | 21 | 0.000000e+00 | -- | Inf | 9.77%
88.20/88.68 c 87.7s| 40500 | 321 | 1290k| 31.0 | 120M | 39 | 420 |1503 |1015 | 139k| 0 |4146 | 21 | 0.000000e+00 | -- | Inf | 9.78%
88.20/88.68 c 87.8s| 40600 | 321 | 1292k| 31.0 | 120M | 39 | 420 |1497 | 865 | 139k| 2 |4147 | 21 | 0.000000e+00 | -- | Inf | 9.78%
88.20/88.68 c 88.0s| 40700 | 323 | 1296k| 31.0 | 120M | 39 | 420 |1509 | 968 | 139k| 1 |4161 | 21 | 0.000000e+00 | -- | Inf | 9.78%
88.20/88.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
88.20/88.68 c d88.3s| 40784 | 0 | 1299k| 31.0 |linesear| 39 | 420 |1488 | 894 | 0 | 2 |4170 | 21 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
88.20/88.68 c
88.20/88.68 c SCIP Status : problem is solved [optimal solution found]
88.20/88.68 c Solving Time (sec) : 88.30
88.20/88.68 c Solving Nodes : 40784 (total of 41840 nodes in 2 runs)
88.20/88.68 c Primal Bound : +0.00000000000000e+00 (1 solutions)
88.20/88.68 c Dual Bound : +0.00000000000000e+00
88.20/88.68 c Gap : 0.00 %
88.20/88.68 c All original constraints are satisfied.
88.20/88.68 c SCIP's best solution is verified feasible for the original problem.
88.20/88.68 c SCIP found a feasible solution.
88.20/88.68 s SATISFIABLE
88.20/88.68 v -x1 -x3 -x5 -x7 -x9 -x11 -x13 -x15 -x17 -x19 -x21 -x23 -x25 -x27 -x29 -x31 -x33 -x35 -x37 -x39 -x41 -x43 -x45 -x47 -x49 -x51 -x53 -x55 -x57 -x59 -x61 -x63 -x65 -x67 -x69 -x71 -x73 -x75 -x77 -x79 -x81 -x83 -x85 -x87 -x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x121 -x123 -x125 -x127 -x129 -x131 -x133 -x135 -x137 -x139 -x141 -x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159 -x161 x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 x187 x189 -x191 -x193 -x195 -x197 x199 -x201 -x203 -x205 -x207 -x209 x211 x213 x215 -x217 -x219 x221 x223 x225 -x227 -x229 -x231 -x233 -x235 x237 x239 -x241 -x243 x245 x247 x249 -x251 -x253 -x255 -x257 x259 -x261 x263 -x265 -x267 x269 x271 x273 -x275 -x277 -x279 -x281 -x283 x285 -x287 x2 -x4 -x6 -x8 -x10 x12 x14 x16 x18 -x20 -x22 -x24 -x26 x28 -x30 -x32 -x34 x36 x38 x40 x42 -x44 -x46 -x48 x50 -x52 -x54 -x56 -x58 -x60 x62 x64 x66 -x68 -x70 -x72 x74 x76 -x78 -x80 -x82 -x84 -x86 x88 -x90 -x92 -x94 -x96 x98 x100 -x102 -x104 -x106 -x108 -x110 -x112 -x114 -x116 -x118 -x120 -x122 x124 -x126 -x128 -x130 x132 -x134 -x136 -x138 -x140 -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 x289 -x292 x291 -x294 x293 -x296 x295 -x298 x297 -x300 x299 x302 -x301 x304 -x303 x306 -x305 x308 -x307 x310 -x309 x312 -x311 -x314 x313 -x316 x315 x318 -x317 x320 -x319 x322 -x321 -x324 x323 -x326 x325 -x328 x327 -x330 x329 x332 -x331 x334 -x333 x336 -x335 -x338 x337 x340 -x339 -x342 x341 -x344 x343 -x346 x345 x348 -x347 x350 -x349 x352 -x351 x354 -x353 x356 -x355 -x358 -x357 -x360 -x359 -x362 x361 -x364 -x363
88.20/88.68 v -x366 x365 -x368 x367 -x370 x369 -x372 x371 -x374 x373 -x376 x375 -x378 x377 -x380 x379 -x382 x381 x384 -x383 x386 -x385 x388 -x387 x390 -x389 x392 -x391 x394 -x393 x396 -x395 x398 -x397 x400 -x399 x402 -x401 x404 -x403 -x406 -x405 -x408 -x407 -x410 -x409 -x412 -x411 -x414 x413 -x416 x415 -x418 x417 -x420 x419 -x422 x421 x424 -x423 x426 -x425 x428 -x427
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: 63837 MiB (62195 MiB free)
memory of node 1: 64465 MiB (63313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529739-1752253371/watcher-4529739-1752253371 -o /tmp/evaluation-result-4529739-1752253371/solver-4529739-1752253371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752253296-111989 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529739-1752253371.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=112460, runsolver pid=112457
[startup+0.100042 s]*
/proc/loadavg: 3.32 2.18 2.58 5/260 112465
/proc/meminfo: memFree=128514124/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=19072 memory=14336 CPUtime=0.07 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 1870 0 0 0 6 1 0 0 20 0 1 0 141016247 19529728 3584 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 4768 3584 2016 1 0 1522 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23264 KiB
Current children cumulated memory: 17408 KiB
[startup+0.217858 s]*
/proc/loadavg: 3.32 2.18 2.58 5/260 112465
/proc/meminfo: memFree=128508328/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1186544 memory=31300 CPUtime=0.16 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 3610 0 0 0 14 2 0 0 20 0 1 0 141016247 1215021056 7825 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 296636 7825 4857 1 0 268658 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1190736 KiB
Current children cumulated memory: 34372 KiB
[startup+0.318105 s]*
/proc/loadavg: 3.32 2.18 2.58 5/260 112465
/proc/meminfo: memFree=128505052/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1190524 memory=35524 CPUtime=0.26 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 4524 0 0 0 23 3 0 0 20 0 1 0 141016247 1219096576 8881 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 297631 8881 5049 1 0 269522 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1194716 KiB
Current children cumulated memory: 38596 KiB
[startup+0.70037 s]
/proc/loadavg: 3.32 2.18 2.58 5/260 112465
/proc/meminfo: memFree=128505052/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1217476 memory=68164 CPUtime=0.62 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 9832 0 0 0 57 5 0 0 20 0 1 0 141016247 1246695424 17041 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 304369 17041 8121 1 0 275727 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1221668 KiB
Current children cumulated memory: 71236 KiB
[startup+1.50038 s]
/proc/loadavg: 3.32 2.18 2.58 5/260 112465
/proc/meminfo: memFree=128481112/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1254556 memory=104900 CPUtime=1.42 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 19010 0 0 0 135 7 0 0 20 0 1 0 141016247 1284665344 26225 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 313639 26225 8121 1 0 284997 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 1258748 KiB
Current children cumulated memory: 107972 KiB
[startup+3.11318 s]
/proc/loadavg: 3.32 2.18 2.58 5/260 112465
/proc/meminfo: memFree=128428700/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1279000 memory=128196 CPUtime=3.03 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 24857 0 0 0 295 8 0 0 20 0 1 0 141016247 1309696000 32049 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 319750 32049 8121 1 0 291108 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1283192 KiB
Current children cumulated memory: 131268 KiB
[startup+6.30038 s]
/proc/loadavg: 3.37 2.21 2.59 5/260 112465
/proc/meminfo: memFree=128405516/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1304868 memory=152212 CPUtime=6.2 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 31332 0 0 0 610 10 0 0 20 0 1 0 141016247 1336184832 38053 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 326217 38053 8121 1 0 297575 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1309060 KiB
Current children cumulated memory: 155284 KiB
[startup+12.7004 s]
/proc/loadavg: 3.42 2.24 2.60 5/260 112465
/proc/meminfo: memFree=128400228/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1312736 memory=162068 CPUtime=12.58 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 33797 0 0 0 1248 10 0 0 20 0 1 0 141016247 1344241664 40517 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 328184 40517 8121 1 0 299542 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 1316928 KiB
Current children cumulated memory: 165140 KiB
[startup+25.5004 s]
/proc/loadavg: 3.55 2.33 2.62 5/260 112465
/proc/meminfo: memFree=128391524/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1315716 memory=165012 CPUtime=25.33 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 34527 0 0 0 2523 10 0 0 20 0 1 0 141016247 1347293184 41253 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 328929 41253 8121 1 0 300287 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 1319908 KiB
Current children cumulated memory: 168084 KiB
[startup+51.1135 s]
/proc/loadavg: 3.78 2.48 2.66 5/260 112466
/proc/meminfo: memFree=128383560/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1319192 memory=167956 CPUtime=50.85 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 35275 0 0 0 5074 11 0 0 20 0 1 0 141016247 1350852608 41989 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 329798 41989 8121 1 0 301156 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 1323384 KiB
Current children cumulated memory: 171028 KiB
[startup+88.718 s]
# the end of solver process 112460 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=88.2046 s, system=0.127028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 3.78 2.48 2.66 5/260 112466
/proc/meminfo: memFree=128383560/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1319192 memory=167956 CPUtime=50.94 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 35275 0 0 0 5083 11 0 0 20 0 1 0 141016247 1350852608 41989 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 329798 41989 8121 1 0 301156 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1323384 KiB
Current children cumulated memory: 171028 KiB
[startup+64.0003 s]*
/proc/loadavg: 3.81 2.53 2.68 5/260 112467
/proc/meminfo: memFree=128373180/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1321560 memory=170132 CPUtime=63.7 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 35823 0 0 0 6359 11 0 0 20 0 1 0 141016247 1353277440 42533 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 330390 42533 8121 1 0 301748 0
Current children cumulated CPU time: 63.7 s
Current children cumulated vsize: 1325752 KiB
Current children cumulated memory: 173204 KiB
[startup+76.8003 s]
/proc/loadavg: 3.86 2.60 2.70 5/260 112467
/proc/meminfo: memFree=128370116/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1322976 memory=171796 CPUtime=76.44 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 36275 0 0 0 7633 11 0 0 20 0 1 0 141016247 1354727424 42949 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 330744 42949 8121 1 0 302102 0
Current children cumulated CPU time: 76.44 s
Current children cumulated vsize: 1327168 KiB
Current children cumulated memory: 174868 KiB
[startup+83.2003 s]
/proc/loadavg: 3.87 2.62 2.71 5/260 112467
/proc/meminfo: memFree=128394276/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1322976 memory=172180 CPUtime=82.82 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 36359 0 0 0 8271 11 0 0 20 0 1 0 141016247 1354727424 43045 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 330744 43045 8121 1 0 302102 0
Current children cumulated CPU time: 82.82 s
Current children cumulated vsize: 1327168 KiB
Current children cumulated memory: 175252 KiB
[startup+86.4003 s]
/proc/loadavg: 3.88 2.65 2.71 5/260 112467
/proc/meminfo: memFree=128394320/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1322976 memory=172180 CPUtime=86.01 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 36359 0 0 0 8590 11 0 0 20 0 1 0 141016247 1354727424 43045 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 330744 43045 8121 1 0 302102 0
Current children cumulated CPU time: 86.01 s
Current children cumulated vsize: 1327168 KiB
Current children cumulated memory: 175252 KiB
[startup+88.0003 s]*
/proc/loadavg: 3.88 2.65 2.71 5/260 112467
/proc/meminfo: memFree=128354252/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1324952 memory=173588 CPUtime=87.61 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 36720 0 0 0 8750 11 0 0 20 0 1 0 141016247 1356750848 43397 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 331238 43397 8121 1 0 302596 0
Current children cumulated CPU time: 87.61 s
Current children cumulated vsize: 1329144 KiB
Current children cumulated memory: 176660 KiB
[startup+88.4003 s]
/proc/loadavg: 3.88 2.65 2.71 5/260 112467
/proc/meminfo: memFree=128354252/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1324952 memory=173588 CPUtime=88 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 36720 0 0 0 8789 11 0 0 20 0 1 0 141016247 1356750848 43397 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 331238 43397 8121 1 0 302596 0
Current children cumulated CPU time: 88 s
Current children cumulated vsize: 1329144 KiB
Current children cumulated memory: 176660 KiB
[startup+88.6003 s]
/proc/loadavg: 3.88 2.65 2.71 5/260 112467
/proc/meminfo: memFree=128354252/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1324952 memory=173588 CPUtime=88.2 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 36720 0 0 0 8809 11 0 0 20 0 1 0 141016247 1356750848 43397 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 331238 43397 8121 1 0 302596 0
Current children cumulated CPU time: 88.2 s
Current children cumulated vsize: 1329144 KiB
Current children cumulated memory: 176660 KiB
[startup+88.7003 s]
/proc/loadavg: 3.88 2.65 2.71 5/260 112467
/proc/meminfo: memFree=128354252/131382120 swapFree=33010160/33010684
[pid=112460] ppid=112457 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/112460/stat : 112460 (scip-naps-1.00a) S 112457 112460 110827 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 141016245 4292608 768 18446744073709551615 94523727933440 94523728827973 140732326963904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94523729067024 94523729114768 94523757690880 140732326967707 140732326967806 140732326967806 140732326973410 0
/proc/112460/statm: 1048 768 704 219 0 110 0
[pid=112465] ppid=112460 vsize=1321816 memory=171396 CPUtime=88.3 cores=1,3
/proc/112465/stat : 112465 (python3) R 112460 112460 110827 0 -1 4194304 36797 0 0 0 8819 11 0 0 20 0 1 0 141016247 1353539584 42849 18446744073709551615 94753925619712 94753925620089 140721180458160 0 0 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0 94753925631384 94753925632004 94753944879104 140721180461391 140721180461600 140721180461600 140721180467175 0
/proc/112465/statm: 330454 42849 8185 1 0 301812 0
Current children cumulated CPU time: 88.3 s
Current children cumulated vsize: 1326008 KiB
Current children cumulated memory: 174468 KiB
Child status: 0
Real time (s): 88.7181
CPU time (s): 88.3316
CPU user time (s): 88.2046
CPU system time (s): 0.127028
CPU usage (%): 99.5644
Max. virtual memory (cumulated for all children) (KiB): 1329144
Max. memory (cumulated for all children) (KiB): 176660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.2046
system time used= 0.127028
maximum resident set size= 174228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37424
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= 334
involuntary context switches= 113
# summary of solver processes directly reported to runsolver:
# pid: 112460
# total CPU time (s): 88.3316
# total CPU user time (s): 88.2046
# total CPU system time (s): 0.127028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.498607 second user time and 0.953026 second system time
The end