0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692846-1338027682.opb>
0.01/0.05 c original problem has 6832 variables (6832 bin, 0 int, 0 impl, 0 cont) and 19477 constraints
0.01/0.05 c problem read in 0.05
0.09/0.12 c presolving:
0.29/0.33 c (round 1) 690 del vars, 622 del conss, 0 add conss, 228 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 375793 impls, 0 clqs
0.29/0.36 c (round 2) 708 del vars, 1724 del conss, 0 add conss, 241 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 375941 impls, 0 clqs
0.29/0.38 c (round 3) 725 del vars, 1757 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376155 impls, 0 clqs
0.29/0.39 c (round 4) 726 del vars, 1783 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376237 impls, 0 clqs
0.38/0.41 c (round 5) 726 del vars, 1785 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376237 impls, 0 clqs
0.49/0.52 c (round 6) 726 del vars, 1799 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 17686 upgd conss, 376237 impls, 0 clqs
0.58/0.66 c (round 7) 767 del vars, 18869 del conss, 5688 add conss, 281 chg bounds, 262 chg sides, 628 chg coeffs, 17686 upgd conss, 417786 impls, 0 clqs
0.58/0.68 c (round 8) 798 del vars, 18902 del conss, 5688 add conss, 281 chg bounds, 262 chg sides, 659 chg coeffs, 17700 upgd conss, 418800 impls, 6 clqs
0.69/0.72 c (round 9) 879 del vars, 19392 del conss, 6178 add conss, 281 chg bounds, 262 chg sides, 659 chg coeffs, 17700 upgd conss, 429933 impls, 6 clqs
0.69/0.73 c (round 10) 910 del vars, 19408 del conss, 6178 add conss, 281 chg bounds, 262 chg sides, 664 chg coeffs, 17716 upgd conss, 430035 impls, 478 clqs
0.69/0.75 c (round 11) 912 del vars, 19414 del conss, 6178 add conss, 281 chg bounds, 262 chg sides, 666 chg coeffs, 17716 upgd conss, 430035 impls, 479 clqs
0.69/0.78 c (round 12) 952 del vars, 19522 del conss, 6284 add conss, 281 chg bounds, 262 chg sides, 666 chg coeffs, 17716 upgd conss, 438819 impls, 478 clqs
0.69/0.79 c (round 13) 984 del vars, 19531 del conss, 6284 add conss, 281 chg bounds, 262 chg sides, 673 chg coeffs, 17726 upgd conss, 438819 impls, 496 clqs
0.79/0.80 c (round 14) 989 del vars, 19564 del conss, 6284 add conss, 281 chg bounds, 262 chg sides, 674 chg coeffs, 17726 upgd conss, 438819 impls, 496 clqs
0.79/0.82 c (round 15) 993 del vars, 19568 del conss, 6284 add conss, 281 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 438819 impls, 496 clqs
0.79/0.84 c (round 16) 998 del vars, 19600 del conss, 6316 add conss, 281 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 438819 impls, 496 clqs
1.00/1.02 c (round 17) 1020 del vars, 19644 del conss, 6321 add conss, 281 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 439519 impls, 496 clqs
1.19/1.20 c (round 18) 1020 del vars, 19649 del conss, 6321 add conss, 281 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 439519 impls, 496 clqs
1.39/1.45 c (round 19) 1059 del vars, 19649 del conss, 6321 add conss, 306 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 515516 impls, 488 clqs
1.39/1.48 c (round 20) 1131 del vars, 19743 del conss, 6321 add conss, 306 chg bounds, 262 chg sides, 728 chg coeffs, 17736 upgd conss, 533708 impls, 486 clqs
1.49/1.50 c (round 21) 1162 del vars, 19749 del conss, 6321 add conss, 306 chg bounds, 262 chg sides, 732 chg coeffs, 17736 upgd conss, 534328 impls, 486 clqs
1.49/1.51 c (round 22) 1166 del vars, 19753 del conss, 6321 add conss, 306 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 534328 impls, 486 clqs
1.49/1.54 c (round 23) 1174 del vars, 19832 del conss, 6400 add conss, 306 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 545206 impls, 486 clqs
1.69/1.72 c (round 24) 1174 del vars, 19840 del conss, 6408 add conss, 306 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 545206 impls, 554 clqs
1.78/1.89 c (round 25) 1174 del vars, 19843 del conss, 6408 add conss, 306 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 545206 impls, 555 clqs
2.39/2.44 c (round 26) 1200 del vars, 19843 del conss, 6408 add conss, 324 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 1035092 impls, 552 clqs
2.39/2.48 c (round 27) 1215 del vars, 19858 del conss, 6408 add conss, 324 chg bounds, 262 chg sides, 748 chg coeffs, 17740 upgd conss, 1044598 impls, 552 clqs
2.49/2.51 c (round 28) 1221 del vars, 19976 del conss, 6526 add conss, 324 chg bounds, 262 chg sides, 748 chg coeffs, 17744 upgd conss, 1046370 impls, 552 clqs
2.59/2.68 c (round 29) 1221 del vars, 19983 del conss, 6533 add conss, 324 chg bounds, 262 chg sides, 748 chg coeffs, 17744 upgd conss, 1046370 impls, 662 clqs
2.88/2.98 c (round 30) 1279 del vars, 19983 del conss, 6533 add conss, 342 chg bounds, 262 chg sides, 748 chg coeffs, 17744 upgd conss, 1165328 impls, 657 clqs
2.99/3.00 c (round 31) 1315 del vars, 20026 del conss, 6533 add conss, 342 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1169340 impls, 657 clqs
2.99/3.03 c (round 32) 1319 del vars, 20068 del conss, 6573 add conss, 342 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1169632 impls, 657 clqs
3.09/3.20 c (round 33) 1319 del vars, 20075 del conss, 6577 add conss, 342 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1169632 impls, 683 clqs
3.30/3.37 c (round 34) 1319 del vars, 20079 del conss, 6577 add conss, 342 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1169632 impls, 684 clqs
3.59/3.61 c (round 35) 1347 del vars, 20079 del conss, 6577 add conss, 348 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1214282 impls, 681 clqs
3.59/3.63 c (round 36) 1353 del vars, 20086 del conss, 6577 add conss, 348 chg bounds, 262 chg sides, 782 chg coeffs, 17756 upgd conss, 1215814 impls, 681 clqs
3.79/3.80 c (round 37) 1353 del vars, 20093 del conss, 6584 add conss, 348 chg bounds, 262 chg sides, 782 chg coeffs, 17756 upgd conss, 1215814 impls, 681 clqs
4.18/4.22 c (round 38) 1378 del vars, 20093 del conss, 6584 add conss, 357 chg bounds, 262 chg sides, 782 chg coeffs, 17756 upgd conss, 1421087 impls, 672 clqs
4.30/4.31 c (round 39) 1408 del vars, 20141 del conss, 6584 add conss, 357 chg bounds, 262 chg sides, 796 chg coeffs, 17770 upgd conss, 1473817 impls, 672 clqs
4.30/4.37 c (round 40) 1436 del vars, 20209 del conss, 6645 add conss, 357 chg bounds, 262 chg sides, 797 chg coeffs, 17770 upgd conss, 1491197 impls, 667 clqs
4.30/4.40 c (round 41) 1441 del vars, 20214 del conss, 6645 add conss, 357 chg bounds, 262 chg sides, 799 chg coeffs, 17770 upgd conss, 1496493 impls, 719 clqs
4.49/4.57 c (round 42) 1441 del vars, 20223 del conss, 6654 add conss, 357 chg bounds, 262 chg sides, 799 chg coeffs, 17770 upgd conss, 1496493 impls, 719 clqs
4.68/4.74 c (round 43) 1441 del vars, 20224 del conss, 6654 add conss, 357 chg bounds, 262 chg sides, 799 chg coeffs, 17770 upgd conss, 1496493 impls, 723 clqs
5.08/5.16 c (round 44) 1466 del vars, 20224 del conss, 6654 add conss, 377 chg bounds, 262 chg sides, 799 chg coeffs, 17770 upgd conss, 1682833 impls, 716 clqs
5.08/5.20 c (round 45) 1480 del vars, 20238 del conss, 6654 add conss, 377 chg bounds, 262 chg sides, 806 chg coeffs, 17772 upgd conss, 1688241 impls, 716 clqs
5.19/5.23 c (round 46) 1487 del vars, 20276 del conss, 6692 add conss, 377 chg bounds, 262 chg sides, 806 chg coeffs, 17774 upgd conss, 1689605 impls, 716 clqs
5.29/5.40 c (round 47) 1487 del vars, 20283 del conss, 6699 add conss, 377 chg bounds, 262 chg sides, 806 chg coeffs, 17774 upgd conss, 1689605 impls, 745 clqs
5.69/5.72 c (round 48) 1581 del vars, 20283 del conss, 6699 add conss, 455 chg bounds, 262 chg sides, 806 chg coeffs, 17774 upgd conss, 1731103 impls, 732 clqs
5.69/5.77 c (round 49) 1613 del vars, 20322 del conss, 6699 add conss, 455 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1745851 impls, 732 clqs
5.79/5.81 c (round 50) 1617 del vars, 20333 del conss, 6710 add conss, 455 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1756957 impls, 732 clqs
5.98/6.01 c (round 51) 1633 del vars, 20356 del conss, 6715 add conss, 455 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1759825 impls, 735 clqs
6.09/6.18 c (round 52) 1633 del vars, 20358 del conss, 6715 add conss, 455 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1759825 impls, 736 clqs
6.50/6.56 c (round 53) 1674 del vars, 20358 del conss, 6715 add conss, 487 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1817625 impls, 724 clqs
6.50/6.59 c (round 54) 1696 del vars, 20380 del conss, 6715 add conss, 487 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 1824995 impls, 724 clqs
6.60/6.63 c (round 55) 1702 del vars, 20389 del conss, 6722 add conss, 487 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 1833511 impls, 724 clqs
6.79/6.80 c (round 56) 1704 del vars, 20413 del conss, 6744 add conss, 487 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 1834527 impls, 728 clqs
6.89/6.98 c (round 57) 1704 del vars, 20414 del conss, 6744 add conss, 487 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 1834527 impls, 745 clqs
7.59/7.62 c (round 58) 1784 del vars, 20414 del conss, 6744 add conss, 505 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 2039686 impls, 714 clqs
7.59/7.65 c (round 59) 1836 del vars, 20479 del conss, 6744 add conss, 505 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2044752 impls, 714 clqs
7.59/7.67 c (round 60) 1839 del vars, 20507 del conss, 6771 add conss, 505 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2045390 impls, 714 clqs
7.79/7.89 c (round 61) 1851 del vars, 20524 del conss, 6774 add conss, 505 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2053862 impls, 737 clqs
7.99/8.07 c (round 62) 1851 del vars, 20527 del conss, 6774 add conss, 505 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2053862 impls, 738 clqs
8.89/8.93 c (round 63) 1876 del vars, 20527 del conss, 6774 add conss, 508 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2314811 impls, 736 clqs
8.89/8.96 c (round 64) 1879 del vars, 20584 del conss, 6825 add conss, 509 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2315252 impls, 736 clqs
8.89/8.99 c (round 65) 1882 del vars, 20588 del conss, 6828 add conss, 509 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2318376 impls, 778 clqs
9.19/9.21 c (round 66) 1892 del vars, 20601 del conss, 6829 add conss, 509 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2327304 impls, 778 clqs
9.28/9.38 c (round 67) 1892 del vars, 20604 del conss, 6831 add conss, 509 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2327304 impls, 778 clqs
9.99/10.00 c (round 68) 1919 del vars, 20604 del conss, 6831 add conss, 521 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2443581 impls, 771 clqs
9.99/10.02 c (round 69) 1935 del vars, 20621 del conss, 6831 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445163 impls, 771 clqs
9.99/10.05 c (round 70) 1943 del vars, 20677 del conss, 6884 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445533 impls, 771 clqs
10.18/10.23 c (round 71) 1943 del vars, 20687 del conss, 6892 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445533 impls, 811 clqs
10.39/10.40 c (round 72) 1943 del vars, 20688 del conss, 6892 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445533 impls, 812 clqs
10.49/10.57 c (round 73) 1943 del vars, 20689 del conss, 6892 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445533 impls, 812 clqs
11.48/11.52 c (round 74) 2001 del vars, 20689 del conss, 6892 add conss, 528 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2651036 impls, 796 clqs
11.48/11.54 c (round 75) 2007 del vars, 20708 del conss, 6892 add conss, 528 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2651614 impls, 796 clqs
11.48/11.57 c (round 76) 2017 del vars, 20759 del conss, 6940 add conss, 528 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2652478 impls, 796 clqs
11.48/11.59 c (round 77) 2019 del vars, 20770 del conss, 6950 add conss, 528 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2652478 impls, 833 clqs
11.69/11.77 c (round 78) 2019 del vars, 20772 del conss, 6952 add conss, 528 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2652478 impls, 834 clqs
12.39/12.45 c (round 79) 2044 del vars, 20772 del conss, 6952 add conss, 532 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2770954 impls, 824 clqs
12.39/12.47 c (round 80) 2060 del vars, 20792 del conss, 6952 add conss, 532 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2773636 impls, 824 clqs
12.49/12.51 c (round 81) 2067 del vars, 20818 del conss, 6976 add conss, 532 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2775512 impls, 824 clqs
12.49/12.53 c (round 82) 2069 del vars, 20825 del conss, 6983 add conss, 532 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2775512 impls, 838 clqs
12.69/12.71 c (round 83) 2069 del vars, 20828 del conss, 6985 add conss, 532 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2775512 impls, 839 clqs
13.09/13.16 c (13.2s) probing: 1000/6106 (16.4%) - 499 fixings, 117 aggregations, 215013 implications, 288 bound changes
13.09/13.17 c (round 84) 2094 del vars, 20828 del conss, 6985 add conss, 537 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2834498 impls, 831 clqs
13.09/13.19 c (round 85) 2100 del vars, 20838 del conss, 6985 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2834578 impls, 831 clqs
13.09/13.20 c (round 86) 2107 del vars, 20843 del conss, 6985 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2834578 impls, 824 clqs
13.19/13.23 c (round 87) 2115 del vars, 20872 del conss, 7007 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2834784 impls, 824 clqs
13.39/13.42 c (round 88) 2121 del vars, 20879 del conss, 7008 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2835344 impls, 837 clqs
13.48/13.59 c (round 89) 2121 del vars, 20883 del conss, 7012 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2835344 impls, 837 clqs
14.19/14.21 c (round 90) 2146 del vars, 20883 del conss, 7012 add conss, 541 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2927918 impls, 836 clqs
14.19/14.23 c (round 91) 2152 del vars, 20896 del conss, 7012 add conss, 542 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2930221 impls, 836 clqs
14.19/14.26 c (round 92) 2157 del vars, 20942 del conss, 7057 add conss, 542 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2930253 impls, 837 clqs
14.49/14.52 c (round 93) 2175 del vars, 20965 del conss, 7061 add conss, 542 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2931645 impls, 876 clqs
14.59/14.69 c (round 94) 2175 del vars, 20969 del conss, 7065 add conss, 542 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2931645 impls, 877 clqs
15.09/15.18 c (round 95) 2201 del vars, 20969 del conss, 7065 add conss, 550 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2970000 impls, 876 clqs
15.29/15.36 c (round 96) 2203 del vars, 21001 del conss, 7088 add conss, 550 chg bounds, 262 chg sides, 919 chg coeffs, 17866 upgd conss, 2970118 impls, 876 clqs
15.48/15.54 c (round 97) 2203 del vars, 21002 del conss, 7088 add conss, 550 chg bounds, 262 chg sides, 919 chg coeffs, 17866 upgd conss, 2970118 impls, 892 clqs
15.98/16.00 c (round 98) 2230 del vars, 21002 del conss, 7088 add conss, 566 chg bounds, 262 chg sides, 919 chg coeffs, 17866 upgd conss, 3024216 impls, 884 clqs
15.98/16.03 c (round 99) 2240 del vars, 21020 del conss, 7088 add conss, 566 chg bounds, 262 chg sides, 925 chg coeffs, 17868 upgd conss, 3027966 impls, 884 clqs
15.98/16.06 c (round 100) 2246 del vars, 21057 del conss, 7125 add conss, 566 chg bounds, 262 chg sides, 925 chg coeffs, 17868 upgd conss, 3029026 impls, 884 clqs
16.19/16.23 c (round 101) 2246 del vars, 21063 del conss, 7131 add conss, 566 chg bounds, 262 chg sides, 925 chg coeffs, 17868 upgd conss, 3029026 impls, 905 clqs
16.58/16.67 c (round 102) 2273 del vars, 21063 del conss, 7131 add conss, 578 chg bounds, 262 chg sides, 925 chg coeffs, 17868 upgd conss, 3066359 impls, 892 clqs
16.69/16.70 c (round 103) 2285 del vars, 21080 del conss, 7131 add conss, 578 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3067735 impls, 892 clqs
16.69/16.73 c (round 104) 2289 del vars, 21119 del conss, 7168 add conss, 578 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3069021 impls, 892 clqs
16.89/16.90 c (round 105) 2289 del vars, 21125 del conss, 7173 add conss, 578 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3069021 impls, 916 clqs
16.99/17.07 c (round 106) 2289 del vars, 21127 del conss, 7173 add conss, 578 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3069021 impls, 918 clqs
17.59/17.61 c (round 107) 2316 del vars, 21127 del conss, 7173 add conss, 584 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3124507 impls, 914 clqs
17.59/17.63 c (round 108) 2324 del vars, 21140 del conss, 7173 add conss, 584 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3125701 impls, 914 clqs
17.59/17.66 c (round 109) 2329 del vars, 21203 del conss, 7233 add conss, 584 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3126965 impls, 914 clqs
17.78/17.83 c (round 110) 2329 del vars, 21208 del conss, 7238 add conss, 584 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3126965 impls, 963 clqs
17.99/18.00 c (round 111) 2329 del vars, 21211 del conss, 7238 add conss, 584 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3126965 impls, 964 clqs
18.69/18.76 c (round 112) 2354 del vars, 21211 del conss, 7238 add conss, 587 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3205180 impls, 960 clqs
18.69/18.78 c (round 113) 2356 del vars, 21215 del conss, 7238 add conss, 587 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3205470 impls, 960 clqs
18.89/18.95 c (round 114) 2356 del vars, 21259 del conss, 7280 add conss, 587 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3205470 impls, 960 clqs
19.09/19.13 c (round 115) 2356 del vars, 21260 del conss, 7280 add conss, 587 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3205470 impls, 985 clqs
19.28/19.30 c (round 116) 2356 del vars, 21263 del conss, 7280 add conss, 587 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3205470 impls, 985 clqs
19.48/19.58 c (19.6s) probing: 2000/6106 (32.8%) - 587 fixings, 188 aggregations, 314389 implications, 337 bound changes
19.99/20.01 c (round 117) 2382 del vars, 21263 del conss, 7280 add conss, 591 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3273708 impls, 975 clqs
19.99/20.07 c (round 118) 2393 del vars, 21277 del conss, 7280 add conss, 595 chg bounds, 262 chg sides, 946 chg coeffs, 17874 upgd conss, 3277980 impls, 975 clqs
19.99/20.08 c (round 119) 2400 del vars, 21279 del conss, 7280 add conss, 595 chg bounds, 262 chg sides, 946 chg coeffs, 17878 upgd conss, 3278218 impls, 972 clqs
20.18/20.26 c (round 120) 2401 del vars, 21317 del conss, 7317 add conss, 595 chg bounds, 262 chg sides, 946 chg coeffs, 17878 upgd conss, 3278944 impls, 973 clqs
20.80/20.86 c (round 121) 2428 del vars, 21317 del conss, 7317 add conss, 597 chg bounds, 262 chg sides, 946 chg coeffs, 17878 upgd conss, 3339570 impls, 982 clqs
20.80/20.89 c (round 122) 2442 del vars, 21331 del conss, 7317 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3341522 impls, 982 clqs
20.89/20.92 c (round 123) 2445 del vars, 21343 del conss, 7329 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3341588 impls, 982 clqs
21.09/21.10 c (round 124) 2447 del vars, 21348 del conss, 7332 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3342912 impls, 988 clqs
21.18/21.27 c (round 125) 2447 del vars, 21350 del conss, 7332 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3342912 impls, 988 clqs
21.49/21.53 c (round 126) 2472 del vars, 21350 del conss, 7332 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3350844 impls, 975 clqs
21.49/21.56 c (round 127) 2490 del vars, 21366 del conss, 7332 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17896 upgd conss, 3352036 impls, 973 clqs
21.68/21.74 c (round 128) 2492 del vars, 21372 del conss, 7336 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17896 upgd conss, 3352044 impls, 973 clqs
22.49/22.51 c (round 129) 2517 del vars, 21372 del conss, 7336 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17896 upgd conss, 3441796 impls, 971 clqs
22.49/22.53 c (round 130) 2523 del vars, 21377 del conss, 7336 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3443944 impls, 970 clqs
22.49/22.56 c (round 131) 2526 del vars, 21414 del conss, 7372 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3444396 impls, 971 clqs
22.68/22.73 c (round 132) 2526 del vars, 21417 del conss, 7374 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3444396 impls, 992 clqs
22.88/22.90 c (round 133) 2526 del vars, 21425 del conss, 7374 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3444396 impls, 993 clqs
23.29/23.36 c (round 134) 2553 del vars, 21425 del conss, 7374 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3470956 impls, 984 clqs
23.29/23.39 c (round 135) 2565 del vars, 21437 del conss, 7374 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3475208 impls, 984 clqs
23.39/23.41 c (round 136) 2568 del vars, 21461 del conss, 7396 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3475240 impls, 982 clqs
23.49/23.58 c (round 137) 2568 del vars, 21462 del conss, 7397 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3475240 impls, 993 clqs
24.29/24.30 c (round 138) 2593 del vars, 21462 del conss, 7397 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3542484 impls, 986 clqs
24.29/24.35 c (round 139) 2602 del vars, 21490 del conss, 7415 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3543346 impls, 986 clqs
24.49/24.52 c (round 140) 2602 del vars, 21492 del conss, 7417 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3543346 impls, 993 clqs
24.58/24.69 c (round 141) 2602 del vars, 21493 del conss, 7417 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3543346 impls, 993 clqs
25.19/25.24 c (round 142) 2627 del vars, 21493 del conss, 7417 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3570996 impls, 982 clqs
25.19/25.28 c (round 143) 2645 del vars, 21515 del conss, 7417 add conss, 604 chg bounds, 262 chg sides, 961 chg coeffs, 17914 upgd conss, 3572783 impls, 982 clqs
25.29/25.31 c (round 144) 2659 del vars, 21522 del conss, 7417 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3573287 impls, 982 clqs
25.29/25.33 c (round 145) 2660 del vars, 21528 del conss, 7423 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3575021 impls, 982 clqs
25.48/25.51 c (round 146) 2663 del vars, 21533 del conss, 7424 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3575051 impls, 985 clqs
25.59/25.68 c (round 147) 2663 del vars, 21534 del conss, 7424 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3575051 impls, 986 clqs
25.89/25.92 c (25.9s) probing: 3000/6106 (49.1%) - 724 fixings, 232 aggregations, 456869 implications, 343 bound changes
27.68/27.77 c (round 148) 2688 del vars, 21534 del conss, 7424 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3733519 impls, 977 clqs
27.79/27.80 c (round 149) 2701 del vars, 21552 del conss, 7424 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17945 upgd conss, 3736456 impls, 977 clqs
27.79/27.82 c (round 150) 2704 del vars, 21586 del conss, 7457 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17960 upgd conss, 3736970 impls, 976 clqs
27.88/27.99 c (round 151) 2704 del vars, 21587 del conss, 7458 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17960 upgd conss, 3736970 impls, 1004 clqs
28.08/28.17 c (round 152) 2704 del vars, 21588 del conss, 7458 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17960 upgd conss, 3736970 impls, 1004 clqs
29.19/29.22 c (29.2s) probing: 4000/6106 (65.5%) - 752 fixings, 251 aggregations, 595967 implications, 343 bound changes
29.59/29.64 c (round 153) 2729 del vars, 21588 del conss, 7458 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17960 upgd conss, 3838852 impls, 993 clqs
29.59/29.66 c (round 154) 2733 del vars, 21600 del conss, 7458 add conss, 606 chg bounds, 262 chg sides, 973 chg coeffs, 17972 upgd conss, 3838907 impls, 993 clqs
29.79/29.83 c (round 155) 2735 del vars, 21683 del conss, 7540 add conss, 606 chg bounds, 262 chg sides, 973 chg coeffs, 17986 upgd conss, 3838907 impls, 992 clqs
29.99/30.00 c (30.0s) probing cycle finished: starting next cycle
30.39/30.47 c (30.5s) probing: 224/4097 (5.5%) - 774 fixings, 252 aggregations, 625550 implications, 343 bound changes
30.39/30.47 c (30.5s) probing aborted: 50/50 successive totally useless probings
30.39/30.47 c (round 156) 2757 del vars, 21683 del conss, 7540 add conss, 606 chg bounds, 262 chg sides, 973 chg coeffs, 17986 upgd conss, 3863149 impls, 1067 clqs
30.59/30.68 c (round 157) 2764 del vars, 21770 del conss, 7584 add conss, 606 chg bounds, 262 chg sides, 973 chg coeffs, 17986 upgd conss, 3863919 impls, 1067 clqs
30.80/30.85 c (30.9s) probing: 229/4097 (5.6%) - 774 fixings, 252 aggregations, 625550 implications, 343 bound changes
30.80/30.85 c (30.9s) probing aborted: 50/50 successive totally useless probings
30.80/30.86 c presolving (158 rounds):
30.80/30.86 c 2764 deleted vars, 21770 deleted constraints, 7584 added constraints, 606 tightened bounds, 0 added holes, 262 changed sides, 973 changed coefficients
30.80/30.86 c 3863919 implications, 1088 cliques
30.80/30.86 c presolved problem has 4068 variables (4068 bin, 0 int, 0 impl, 0 cont) and 4754 constraints
30.80/30.86 c 524 constraints of type <knapsack>
30.80/30.86 c 1569 constraints of type <setppc>
30.80/30.86 c 2655 constraints of type <and>
30.80/30.86 c 6 constraints of type <logicor>
30.80/30.86 c transformed objective value is always integral (scale: 1)
30.80/30.86 c Presolving Time: 30.78
30.80/30.86 c - non default parameters ----------------------------------------------------------------------
30.80/30.86 c # SCIP version 2.1.1.4
30.80/30.86 c
30.80/30.86 c # maximal time in seconds to run
30.80/30.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.80/30.86 c limits/time = 1797
30.80/30.86 c
30.80/30.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.80/30.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.80/30.86 c limits/memory = 13950
30.80/30.86 c
30.80/30.86 c # default clock type (1: CPU user seconds, 2: wall clock time)
30.80/30.86 c # [type: int, range: [1,2], default: 1]
30.80/30.86 c timing/clocktype = 2
30.80/30.86 c
30.80/30.86 c # belongs reading time to solving time?
30.80/30.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.80/30.86 c timing/reading = TRUE
30.80/30.86 c
30.80/30.86 c -----------------------------------------------------------------------------------------------
30.80/30.86 c start solving
30.80/30.86 c
30.99/31.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.99/31.02 c 31.0s| 1 | 0 | 1421 | - | 86M| 0 | 884 |4068 |4773 |4068 |7409 | 0 | 19 | 0 | 0.000000e+00 | -- | Inf
37.68/37.76 c 37.8s| 1 | 0 | 9818 | - | 88M| 0 |1352 |4068 |4781 |4068 |9395 |1986 | 27 | 0 | 0.000000e+00 | -- | Inf
38.48/38.54 c 38.5s| 1 | 0 | 11972 | - | 90M| 0 |1690 |4068 |4781 |4068 | 11k|3986 | 27 | 0 | 0.000000e+00 | -- | Inf
40.28/40.35 c 40.4s| 1 | 0 | 15183 | - | 93M| 0 |1897 |4068 |4781 |4068 | 13k|5715 | 27 | 0 | 0.000000e+00 | -- | Inf
45.18/45.26 c 45.3s| 1 | 0 | 20194 | - | 94M| 0 |2264 |4068 |4781 |4068 | 14k|7332 | 27 | 0 | 0.000000e+00 | -- | Inf
47.19/47.30 c 47.3s| 1 | 0 | 24144 | - | 95M| 0 |2274 |4068 |4781 |4068 | 16k|9332 | 27 | 0 | 0.000000e+00 | -- | Inf
54.78/54.89 c 54.9s| 1 | 0 | 28542 | - | 96M| 0 |2499 |4068 |4781 |4068 | 18k| 10k| 27 | 0 | 0.000000e+00 | -- | Inf
67.67/67.70 c 67.7s| 1 | 2 | 28542 | - | 96M| 0 |2499 |4068 |4781 |4068 | 18k| 10k| 27 | 22 | 0.000000e+00 | -- | Inf
134.57/134.62 c 135s| 100 | 10 | 74858 | 467.8 | 97M| 23 | - |4068 |4918 | 0 | 0 | 13k| 164 | 330 | 0.000000e+00 | -- | Inf
156.96/157.00 c 157s| 200 | 15 |117664 | 447.8 | 97M| 23 | - |4068 |5068 | 0 | 0 | 15k| 314 | 369 | 0.000000e+00 | -- | Inf
181.76/181.81 c 182s| 300 | 23 |166070 | 460.0 | 97M| 23 | 697 |4068 |5221 |4068 | 10k| 17k| 467 | 413 | 0.000000e+00 | -- | Inf
204.66/204.74 c 205s| 400 | 14 |211098 | 457.5 | 97M| 23 | - |4068 |5383 | 0 | 0 | 18k| 629 | 456 | 0.000000e+00 | -- | Inf
222.35/222.42 c 222s| 500 | 13 |247220 | 438.2 | 97M| 23 |1074 |4068 |5520 |4068 | 10k| 20k| 766 | 488 | 0.000000e+00 | -- | Inf
257.75/257.84 c 258s| 600 | 6 |308342 | 467.1 | 93M| 23 | - |4068 |5529 |4068 | 10k| 23k| 936 | 589 | 0.000000e+00 | -- | Inf
291.75/291.85 c 292s| 700 | 10 |372136 | 491.6 | 93M| 23 |1892 |4068 |5680 |4068 | 10k| 25k|1087 | 651 | 0.000000e+00 | -- | Inf
324.04/324.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.04/324.16 c 324s| 800 | 12 |434396 | 508.0 | 93M| 23 |1098 |4068 |5834 |4068 | 10k| 27k|1243 | 725 | 0.000000e+00 | -- | Inf
359.43/359.51 c 360s| 900 | 8 |493605 | 517.3 | 93M| 23 |1775 |4068 |5966 |4068 | 10k| 29k|1391 | 802 | 0.000000e+00 | -- | Inf
385.33/385.43 c 385s| 1000 | 6 |542208 | 514.2 | 93M| 23 |1586 |4068 |6078 |4068 | 10k| 30k|1524 | 882 | 0.000000e+00 | -- | Inf
404.93/405.05 c 405s| 1100 | 8 |580939 | 502.6 | 93M| 23 | - |4068 |6238 | 0 | 0 | 32k|1710 | 931 | 0.000000e+00 | -- | Inf
426.42/426.53 c 427s| 1200 | 7 |616818 | 490.6 | 93M| 23 |1307 |4068 |6280 |4068 | 10k| 33k|1846 | 993 | 0.000000e+00 | -- | Inf
433.53/433.67 c
433.53/433.67 c SCIP Status : problem is solved [infeasible]
433.53/433.67 c Solving Time (sec) : 433.67
433.53/433.67 c Solving Nodes : 1232
433.53/433.67 c Primal Bound : +1.00000000000000e+20 (0 solutions)
433.53/433.67 c Dual Bound : +1.00000000000000e+20
433.53/433.67 c Gap : 0.00 %
433.53/433.67 s UNSATISFIABLE
433.53/433.67 c SCIP Status : problem is solved [infeasible]
433.53/433.67 c Total Time : 433.67
433.53/433.67 c solving : 433.67
433.53/433.67 c presolving : 30.78 (included in solving)
433.53/433.67 c reading : 0.05 (included in solving)
433.53/433.67 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
433.53/433.67 c Original Problem :
433.53/433.67 c Problem name : HOME/instance-3692846-1338027682.opb
433.53/433.67 c Variables : 6832 (6832 binary, 0 integer, 0 implicit integer, 0 continuous)
433.53/433.67 c Constraints : 19477 initial, 19477 maximal
433.53/433.67 c Objective sense : minimize
433.53/433.67 c Presolved Problem :
433.53/433.67 c Problem name : t_HOME/instance-3692846-1338027682.opb
433.53/433.67 c Variables : 4068 (4068 binary, 0 integer, 0 implicit integer, 0 continuous)
433.53/433.67 c Constraints : 4754 initial, 6298 maximal
433.53/433.67 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
433.53/433.67 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
433.53/433.67 c trivial : 0.05 0.00 91 0 0 0 0 0 0 0 0
433.53/433.67 c dualfix : 0.03 0.00 0 0 0 0 0 0 0 0 0
433.53/433.67 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
433.53/433.67 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
433.53/433.67 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
433.53/433.67 c gateextraction : 0.06 0.00 0 0 0 0 0 17070 5688 0 0
433.53/433.67 c implics : 0.37 0.00 0 471 0 0 0 0 0 0 0
433.53/433.67 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
433.53/433.67 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
433.53/433.67 c probing : 13.43 0.00 774 252 0 343 0 0 0 0 0
433.53/433.67 c knapsack : 0.13 0.00 0 0 0 0 0 0 0 0 0
433.53/433.67 c setppc : 0.78 0.00 4 224 0 0 0 561 0 0 0
433.53/433.67 c and : 15.37 0.00 62 634 0 6 0 2340 1896 0 345
433.53/433.67 c linear : 0.33 0.00 248 4 0 248 0 1799 0 262 628
433.53/433.67 c logicor : 0.08 0.00 0 0 0 9 0 0 0 0 0
433.53/433.67 c root node : - - 103 - - 103 - - - - -
433.53/433.67 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
433.53/433.67 c integral : 0 0 0 0 912 0 4 0 9 109 0 0 1732
433.53/433.67 c knapsack : 524 524 6 47478 0 0 3 84 8 0 1136 0 0
433.53/433.67 c setppc : 1569 1569 6 47470 0 0 0 47821 258 116722 0 0 0
433.53/433.67 c and : 2655 2655 2770 47212 0 0 0 115016 434 260055 30126 0 0
433.53/433.67 c logicor : 6+ 1711 6 12474 0 0 0 5147 96 4095 8 0 0
433.53/433.67 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
433.53/433.67 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
433.53/433.67 c integral : 148.24 0.00 0.00 0.00 148.24 0.00 0.00 0.00
433.53/433.67 c knapsack : 0.47 0.00 0.02 0.45 0.00 0.00 0.00 0.00
433.53/433.67 c setppc : 1.39 0.00 0.00 1.34 0.00 0.00 0.00 0.06
433.53/433.67 c and : 4.61 0.00 1.10 3.38 0.00 0.00 0.00 0.12
433.53/433.67 c logicor : 0.13 0.00 0.00 0.12 0.00 0.00 0.00 0.01
433.53/433.67 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
433.53/433.67 c Propagators : #Propagate #ResProp Cutoffs DomReds
433.53/433.67 c rootredcost : 0 0 0 0
433.53/433.67 c pseudoobj : 0 0 0 0
433.53/433.67 c vbounds : 0 0 0 0
433.53/433.67 c redcost : 2925 0 0 0
433.53/433.67 c probing : 0 0 0 0
433.53/433.67 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
433.53/433.67 c rootredcost : 0.04 0.00 0.00 0.04 0.00
433.53/433.67 c pseudoobj : 0.04 0.00 0.00 0.04 0.00
433.53/433.67 c vbounds : 0.04 0.00 0.00 0.04 0.00
433.53/433.67 c redcost : 0.19 0.00 0.00 0.19 0.00
433.53/433.67 c probing : 13.43 0.00 13.43 0.00 0.00
433.53/433.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
433.53/433.67 c propagation : 0.34 796 643 4122 30.5 74 15.8 -
433.53/433.67 c infeasible LP : 0.15 127 125 332 26.9 20 13.6 0
433.53/433.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
433.53/433.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
433.53/433.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
433.53/433.67 c applied globally : - - - 1892 22.1 - - -
433.53/433.67 c applied locally : - - - 0 0.0 - - -
433.53/433.67 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
433.53/433.67 c cut pool : 0.00 5 - - 455 - (maximal pool size: 12737)
433.53/433.67 c closecuts : 0.00 0.00 0 0 0 0 0
433.53/433.67 c impliedbounds : 0.09 0.00 6 0 0 16853 0
433.53/433.67 c intobj : 0.00 0.00 0 0 0 0 0
433.53/433.67 c gomory : 0.94 0.00 5 0 0 250 0
433.53/433.67 c cgmip : 0.00 0.00 0 0 0 0 0
433.53/433.67 c strongcg : 6.10 0.00 5 0 0 2112 0
433.53/433.67 c cmir : 0.30 0.00 4 0 0 0 0
433.53/433.67 c flowcover : 0.47 0.00 4 0 0 801 0
433.53/433.67 c clique : 4.97 0.00 4 0 0 35 0
433.53/433.67 c zerohalf : 0.00 0.00 0 0 0 0 0
433.53/433.67 c mcf : 0.00 0.00 1 0 0 0 0
433.53/433.67 c oddcycle : 0.00 0.00 0 0 0 0 0
433.53/433.67 c rapidlearning : 0.00 0.00 0 0 0 0 0
433.53/433.67 c Pricers : ExecTime SetupTime Calls Vars
433.53/433.67 c problem variables: 0.00 - 0 0
433.53/433.67 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
433.53/433.67 c relpscost : 148.24 0.00 912 9 109 0 0 1732
433.53/433.67 c pscost : 0.00 0.00 0 0 0 0 0 0
433.53/433.67 c inference : 0.00 0.00 0 0 0 0 0 0
433.53/433.67 c mostinf : 0.00 0.00 0 0 0 0 0 0
433.53/433.67 c leastinf : 0.00 0.00 0 0 0 0 0 0
433.53/433.67 c fullstrong : 0.00 0.00 0 0 0 0 0 0
433.53/433.67 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
433.53/433.67 c random : 0.00 0.00 0 0 0 0 0 0
433.53/433.67 c Primal Heuristics : ExecTime SetupTime Calls Found
433.53/433.67 c LP solutions : 0.00 - - 0
433.53/433.67 c pseudo solutions : 0.00 - - 0
433.53/433.67 c oneopt : 0.01 0.00 0 0
433.53/433.67 c crossover : 0.00 0.00 0 0
433.53/433.67 c intshifting : 0.00 0.00 0 0
433.53/433.67 c guideddiving : 0.00 0.00 0 0
433.53/433.67 c pscostdiving : 4.26 0.00 3 0
433.53/433.67 c fracdiving : 5.28 0.00 3 0
433.53/433.67 c veclendiving : 3.69 0.00 3 0
433.53/433.67 c linesearchdiving : 3.04 0.00 3 0
433.53/433.67 c rootsoldiving : 6.26 0.00 2 0
433.53/433.67 c coefdiving : 2.67 0.00 4 0
433.53/433.67 c smallcard : 0.00 0.00 0 0
433.53/433.67 c trivial : 0.00 0.00 2 0
433.53/433.67 c shiftandpropagate: 0.07 0.00 1 0
433.53/433.67 c simplerounding : 0.00 0.00 0 0
433.53/433.67 c zirounding : 0.40 0.00 0 0
433.53/433.67 c rounding : 0.52 0.00 726 0
433.53/433.67 c shifting : 3.49 0.00 212 0
433.53/433.67 c twoopt : 0.00 0.00 0 0
433.53/433.67 c indoneopt : 0.00 0.00 0 0
433.53/433.67 c indtwoopt : 0.00 0.00 0 0
433.53/433.67 c fixandinfer : 0.00 0.00 0 0
433.53/433.67 c feaspump : 4.43 0.00 2 0
433.53/433.67 c clique : 0.00 0.00 0 0
433.53/433.67 c indcoefdiving : 0.00 0.00 0 0
433.53/433.67 c indrounding : 0.00 0.00 0 0
433.53/433.67 c nlpdiving : 0.00 0.00 0 0
433.53/433.67 c intdiving : 0.00 0.00 0 0
433.53/433.67 c actconsdiving : 0.00 0.00 0 0
433.53/433.67 c objpscostdiving : 5.19 0.00 2 0
433.53/433.67 c octane : 0.00 0.00 0 0
433.53/433.67 c rens : 0.04 0.00 0 0
433.53/433.67 c rins : 0.00 0.00 0 0
433.53/433.67 c localbranching : 0.00 0.00 0 0
433.53/433.67 c mutation : 0.00 0.00 0 0
433.53/433.67 c dins : 0.00 0.00 0 0
433.53/433.67 c vbounds : 0.00 0.00 0 0
433.53/433.67 c undercover : 0.56 0.00 1 0
433.53/433.67 c subnlp : 0.00 0.00 0 0
433.53/433.67 c trysol : 0.00 0.00 0 0
433.53/433.67 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
433.53/433.67 c primal LP : 0.00 1 0 0.00 - 0.00 1
433.53/433.67 c dual LP : 190.40 2976 551478 185.68 2896.41 0.03 6
433.53/433.67 c lex dual LP : 0.00 0 0 0.00 -
433.53/433.67 c barrier LP : 0.00 0 0 0.00 - 0.00 0
433.53/433.67 c diving/probing LP: 31.07 1809 89903 49.70 2893.18
433.53/433.67 c strong branching : 147.89 993 401427 404.26 2714.41
433.53/433.67 c (at root node) : - 22 21394 972.45 -
433.53/433.67 c conflict analysis: 0.00 0 0 0.00 -
433.53/433.67 c B&B Tree :
433.53/433.67 c number of runs : 1
433.53/433.67 c nodes : 1232
433.53/433.67 c nodes (total) : 1232
433.53/433.67 c nodes left : 0
433.53/433.67 c max depth : 23
433.53/433.67 c max depth (total): 23
433.53/433.67 c backtracks : 396 (32.1%)
433.53/433.67 c delayed cutoffs : 501
433.53/433.67 c repropagations : 960 (145776 domain reductions, 316 cutoffs)
433.53/433.67 c avg switch length: 3.09
433.53/433.67 c switching time : 1.15
433.53/433.67 c Solution :
433.53/433.67 c Solutions found : 0 (0 improvements)
433.53/433.67 c Primal Bound : infeasible
433.53/433.67 c Dual Bound : -
433.53/433.67 c Gap : 0.00 %
433.53/433.67 c Root Dual Bound : +0.00000000000000e+00
433.53/433.67 c Root Iterations : 28542
433.63/433.75 c Time complete: 433.67.