0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3741441-1338775521.opb>
0.03/0.06 c original problem has 3208 variables (3208 bin, 0 int, 0 impl, 0 cont) and 4687 constraints
0.03/0.06 c problem read
0.03/0.06 c presolving settings loaded
0.03/0.08 c presolving:
0.09/0.11 c (round 1) 146 del vars, 10 del conss, 0 add conss, 146 chg bounds, 2744 chg sides, 2744 chg coeffs, 0 upgd conss, 68 impls, 441 clqs
0.09/0.13 c (round 2) 166 del vars, 40 del conss, 0 add conss, 166 chg bounds, 2822 chg sides, 2822 chg coeffs, 0 upgd conss, 74 impls, 439 clqs
0.09/0.14 c (round 3) 217 del vars, 149 del conss, 0 add conss, 216 chg bounds, 2831 chg sides, 2831 chg coeffs, 0 upgd conss, 198 impls, 432 clqs
0.09/0.15 c (round 4) 266 del vars, 233 del conss, 0 add conss, 264 chg bounds, 2879 chg sides, 2879 chg coeffs, 0 upgd conss, 312 impls, 432 clqs
0.09/0.16 c (round 5) 307 del vars, 304 del conss, 0 add conss, 305 chg bounds, 2929 chg sides, 2929 chg coeffs, 0 upgd conss, 420 impls, 432 clqs
0.09/0.17 c (round 6) 344 del vars, 370 del conss, 0 add conss, 342 chg bounds, 2980 chg sides, 2980 chg coeffs, 0 upgd conss, 526 impls, 432 clqs
0.09/0.18 c (round 7) 372 del vars, 421 del conss, 0 add conss, 370 chg bounds, 3030 chg sides, 3030 chg coeffs, 0 upgd conss, 722 impls, 432 clqs
0.09/0.19 c (round 8) 391 del vars, 452 del conss, 0 add conss, 389 chg bounds, 3059 chg sides, 3059 chg coeffs, 0 upgd conss, 798 impls, 432 clqs
0.09/0.19 c (round 9) 406 del vars, 472 del conss, 0 add conss, 404 chg bounds, 3074 chg sides, 3074 chg coeffs, 0 upgd conss, 828 impls, 432 clqs
0.19/0.20 c (round 10) 417 del vars, 488 del conss, 0 add conss, 415 chg bounds, 3086 chg sides, 3086 chg coeffs, 0 upgd conss, 886 impls, 432 clqs
0.19/0.21 c (round 11) 423 del vars, 496 del conss, 0 add conss, 421 chg bounds, 3095 chg sides, 3095 chg coeffs, 0 upgd conss, 886 impls, 432 clqs
0.19/0.21 c (round 12) 423 del vars, 496 del conss, 0 add conss, 421 chg bounds, 3101 chg sides, 3101 chg coeffs, 0 upgd conss, 886 impls, 432 clqs
0.19/0.24 c (round 13) 423 del vars, 496 del conss, 0 add conss, 421 chg bounds, 3101 chg sides, 3101 chg coeffs, 4191 upgd conss, 886 impls, 432 clqs
0.48/0.55 c (round 14) 498 del vars, 959 del conss, 2273 add conss, 445 chg bounds, 5431 chg sides, 12544 chg coeffs, 4191 upgd conss, 40762 impls, 706 clqs
0.79/0.86 c (round 15) 525 del vars, 1299 del conss, 4302 add conss, 445 chg bounds, 7472 chg sides, 17631 chg coeffs, 4191 upgd conss, 182406 impls, 852 clqs
1.00/1.09 c (round 16) 597 del vars, 2262 del conss, 5165 add conss, 448 chg bounds, 8335 chg sides, 21069 chg coeffs, 4191 upgd conss, 182738 impls, 1633 clqs
1.19/1.26 c (round 17) 631 del vars, 3350 del conss, 6017 add conss, 448 chg bounds, 9211 chg sides, 23633 chg coeffs, 4191 upgd conss, 182744 impls, 2419 clqs
1.29/1.36 c (round 18) 631 del vars, 3359 del conss, 6023 add conss, 448 chg bounds, 9217 chg sides, 23759 chg coeffs, 4191 upgd conss, 182744 impls, 2431 clqs
1.39/1.47 c (round 19) 674 del vars, 3383 del conss, 6023 add conss, 448 chg bounds, 9217 chg sides, 23774 chg coeffs, 4191 upgd conss, 182744 impls, 2383 clqs
1.49/1.59 c (round 20) 674 del vars, 3507 del conss, 6039 add conss, 448 chg bounds, 9257 chg sides, 23852 chg coeffs, 4191 upgd conss, 182744 impls, 2383 clqs
1.69/1.73 c (round 21) 707 del vars, 3541 del conss, 6039 add conss, 448 chg bounds, 9257 chg sides, 23863 chg coeffs, 4191 upgd conss, 182744 impls, 2346 clqs
1.79/1.85 c (round 22) 707 del vars, 3636 del conss, 6055 add conss, 448 chg bounds, 9305 chg sides, 23944 chg coeffs, 4191 upgd conss, 182744 impls, 2346 clqs
1.89/1.97 c (round 23) 728 del vars, 3656 del conss, 6055 add conss, 448 chg bounds, 9305 chg sides, 23950 chg coeffs, 4191 upgd conss, 182744 impls, 2323 clqs
1.99/2.04 c (round 24) 728 del vars, 3718 del conss, 6063 add conss, 448 chg bounds, 9333 chg sides, 23998 chg coeffs, 4191 upgd conss, 182744 impls, 2323 clqs
2.10/2.12 c (round 25) 739 del vars, 3728 del conss, 6063 add conss, 448 chg bounds, 9333 chg sides, 24003 chg coeffs, 4191 upgd conss, 182744 impls, 2317 clqs
2.10/2.18 c (round 26) 739 del vars, 3760 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24062 chg coeffs, 4191 upgd conss, 182744 impls, 2319 clqs
2.59/2.64 c (round 27) 789 del vars, 3760 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24066 chg coeffs, 4191 upgd conss, 253296 impls, 2258 clqs
2.69/2.71 c (round 28) 789 del vars, 3895 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24071 chg coeffs, 4191 upgd conss, 253296 impls, 2258 clqs
2.89/2.95 c (round 29) 789 del vars, 3924 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24074 chg coeffs, 4191 upgd conss, 253296 impls, 2260 clqs
3.09/3.18 c (round 30) 839 del vars, 3924 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24077 chg coeffs, 4191 upgd conss, 320630 impls, 2193 clqs
3.20/3.27 c (round 31) 839 del vars, 4065 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24088 chg coeffs, 4191 upgd conss, 320630 impls, 2193 clqs
3.30/3.34 c (round 32) 839 del vars, 4094 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24092 chg coeffs, 4191 upgd conss, 320630 impls, 2203 clqs
3.99/4.01 c (round 33) 889 del vars, 4094 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24093 chg coeffs, 4191 upgd conss, 435806 impls, 2149 clqs
3.99/4.09 c (round 34) 889 del vars, 4237 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24099 chg coeffs, 4191 upgd conss, 435806 impls, 2149 clqs
4.09/4.14 c (round 35) 889 del vars, 4258 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24104 chg coeffs, 4191 upgd conss, 435806 impls, 2155 clqs
4.88/4.93 c (round 36) 939 del vars, 4258 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24109 chg coeffs, 4191 upgd conss, 559554 impls, 2107 clqs
4.99/5.02 c (round 37) 939 del vars, 4391 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24115 chg coeffs, 4191 upgd conss, 559564 impls, 2112 clqs
4.99/5.08 c (round 38) 939 del vars, 4407 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24120 chg coeffs, 4191 upgd conss, 559564 impls, 2114 clqs
5.40/5.43 c (round 39) 991 del vars, 4407 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24123 chg coeffs, 4191 upgd conss, 594526 impls, 2057 clqs
5.50/5.51 c (round 40) 991 del vars, 4537 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24131 chg coeffs, 4191 upgd conss, 594540 impls, 2057 clqs
5.50/5.57 c (round 41) 991 del vars, 4552 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24136 chg coeffs, 4191 upgd conss, 594540 impls, 2061 clqs
5.89/5.98 c (round 42) 1041 del vars, 4552 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24139 chg coeffs, 4191 upgd conss, 638502 impls, 2004 clqs
5.99/6.06 c (round 43) 1041 del vars, 4669 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24146 chg coeffs, 4191 upgd conss, 638514 impls, 2004 clqs
6.09/6.11 c (round 44) 1041 del vars, 4690 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24151 chg coeffs, 4191 upgd conss, 638514 impls, 2004 clqs
6.19/6.29 c (round 45) 1042 del vars, 5876 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24155 chg coeffs, 4191 upgd conss, 638514 impls, 2003 clqs
6.69/6.71 c (round 46) 1092 del vars, 5876 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24159 chg coeffs, 4191 upgd conss, 685194 impls, 1939 clqs
6.69/6.79 c (round 47) 1092 del vars, 5972 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24167 chg coeffs, 4191 upgd conss, 685194 impls, 1941 clqs
7.09/7.14 c (round 48) 1142 del vars, 5972 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24170 chg coeffs, 4191 upgd conss, 714640 impls, 1890 clqs
7.19/7.21 c (round 49) 1142 del vars, 6071 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24179 chg coeffs, 4191 upgd conss, 714648 impls, 1891 clqs
7.19/7.29 c (round 50) 1142 del vars, 6077 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24183 chg coeffs, 4191 upgd conss, 714648 impls, 1896 clqs
7.29/7.31 c (round 51) 1142 del vars, 6090 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24186 chg coeffs, 4191 upgd conss, 714648 impls, 1897 clqs
7.29/7.38 c (7.4s) probing: 1000/2469 (40.5%) - 413 fixings, 0 aggregations, 227437 implications, 0 bound changes
7.49/7.56 c (round 52) 1192 del vars, 6090 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24188 chg coeffs, 4191 upgd conss, 735860 impls, 1843 clqs
7.60/7.63 c (round 53) 1192 del vars, 6192 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24197 chg coeffs, 4191 upgd conss, 735868 impls, 1844 clqs
7.60/7.69 c (round 54) 1192 del vars, 6195 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24202 chg coeffs, 4191 upgd conss, 735868 impls, 1849 clqs
7.70/7.71 c (round 55) 1192 del vars, 6197 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24205 chg coeffs, 4191 upgd conss, 735868 impls, 1851 clqs
7.70/7.73 c (round 56) 1192 del vars, 6202 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24206 chg coeffs, 4191 upgd conss, 735868 impls, 1853 clqs
7.89/7.92 c (round 57) 1242 del vars, 6202 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24207 chg coeffs, 4191 upgd conss, 752792 impls, 1819 clqs
7.89/7.98 c (round 58) 1242 del vars, 6272 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24213 chg coeffs, 4191 upgd conss, 752800 impls, 1819 clqs
7.99/8.04 c (round 59) 1242 del vars, 6274 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24214 chg coeffs, 4191 upgd conss, 752800 impls, 1821 clqs
8.19/8.26 c (round 60) 1292 del vars, 6274 del conss, 6071 add conss, 448 chg bounds, 9365 chg sides, 24215 chg coeffs, 4191 upgd conss, 771052 impls, 1774 clqs
8.29/8.33 c (round 61) 1292 del vars, 6348 del conss, 6072 add conss, 448 chg bounds, 9366 chg sides, 24230 chg coeffs, 4191 upgd conss, 771052 impls, 1775 clqs
8.29/8.38 c (round 62) 1292 del vars, 6350 del conss, 6072 add conss, 448 chg bounds, 9366 chg sides, 24234 chg coeffs, 4191 upgd conss, 771052 impls, 1782 clqs
8.39/8.41 c (round 63) 1292 del vars, 6351 del conss, 6072 add conss, 448 chg bounds, 9366 chg sides, 24236 chg coeffs, 4191 upgd conss, 771052 impls, 1784 clqs
8.39/8.43 c (round 64) 1292 del vars, 6358 del conss, 6072 add conss, 448 chg bounds, 9366 chg sides, 24238 chg coeffs, 4191 upgd conss, 771052 impls, 1785 clqs
8.49/8.59 c (round 65) 1342 del vars, 6358 del conss, 6072 add conss, 448 chg bounds, 9366 chg sides, 24240 chg coeffs, 4191 upgd conss, 784874 impls, 1737 clqs
8.59/8.65 c (round 66) 1342 del vars, 6426 del conss, 6072 add conss, 448 chg bounds, 9366 chg sides, 24249 chg coeffs, 4191 upgd conss, 784882 impls, 1737 clqs
8.70/8.71 c (round 67) 1342 del vars, 6429 del conss, 6073 add conss, 448 chg bounds, 9367 chg sides, 24255 chg coeffs, 4191 upgd conss, 784884 impls, 1744 clqs
8.70/8.74 c (round 68) 1342 del vars, 6432 del conss, 6073 add conss, 448 chg bounds, 9367 chg sides, 24257 chg coeffs, 4191 upgd conss, 784884 impls, 1747 clqs
8.70/8.76 c (round 69) 1342 del vars, 6440 del conss, 6073 add conss, 448 chg bounds, 9367 chg sides, 24259 chg coeffs, 4191 upgd conss, 784884 impls, 1748 clqs
8.80/8.84 c (round 70) 1392 del vars, 6440 del conss, 6073 add conss, 448 chg bounds, 9367 chg sides, 24260 chg coeffs, 4191 upgd conss, 787286 impls, 1716 clqs
8.89/8.90 c (round 71) 1392 del vars, 6476 del conss, 6073 add conss, 448 chg bounds, 9367 chg sides, 24271 chg coeffs, 4191 upgd conss, 787286 impls, 1716 clqs
9.09/9.10 c (round 72) 1442 del vars, 6476 del conss, 6073 add conss, 448 chg bounds, 9367 chg sides, 24273 chg coeffs, 4191 upgd conss, 803240 impls, 1689 clqs
9.09/9.16 c (round 73) 1442 del vars, 6530 del conss, 6074 add conss, 448 chg bounds, 9368 chg sides, 24294 chg coeffs, 4191 upgd conss, 803240 impls, 1691 clqs
9.19/9.21 c (round 74) 1442 del vars, 6532 del conss, 6074 add conss, 448 chg bounds, 9368 chg sides, 24297 chg coeffs, 4191 upgd conss, 803240 impls, 1702 clqs
9.19/9.24 c (round 75) 1442 del vars, 6533 del conss, 6074 add conss, 448 chg bounds, 9368 chg sides, 24300 chg coeffs, 4191 upgd conss, 803240 impls, 1703 clqs
9.29/9.35 c (round 76) 1492 del vars, 6533 del conss, 6074 add conss, 448 chg bounds, 9368 chg sides, 24301 chg coeffs, 4191 upgd conss, 810628 impls, 1669 clqs
9.39/9.41 c (round 77) 1492 del vars, 6596 del conss, 6076 add conss, 448 chg bounds, 9370 chg sides, 24341 chg coeffs, 4191 upgd conss, 810634 impls, 1671 clqs
9.39/9.46 c (round 78) 1498 del vars, 6601 del conss, 6076 add conss, 448 chg bounds, 9370 chg sides, 24348 chg coeffs, 4191 upgd conss, 810634 impls, 1663 clqs
9.39/9.48 c (round 79) 1498 del vars, 6612 del conss, 6076 add conss, 448 chg bounds, 9370 chg sides, 24352 chg coeffs, 4191 upgd conss, 810634 impls, 1666 clqs
9.59/9.62 c (round 80) 1548 del vars, 6612 del conss, 6076 add conss, 448 chg bounds, 9370 chg sides, 24354 chg coeffs, 4191 upgd conss, 819646 impls, 1617 clqs
9.59/9.68 c (round 81) 1548 del vars, 6681 del conss, 6076 add conss, 448 chg bounds, 9370 chg sides, 24373 chg coeffs, 4191 upgd conss, 819646 impls, 1617 clqs
9.69/9.72 c (round 82) 1548 del vars, 6681 del conss, 6076 add conss, 448 chg bounds, 9370 chg sides, 24381 chg coeffs, 4191 upgd conss, 819646 impls, 1632 clqs
9.69/9.76 c (round 83) 1548 del vars, 6683 del conss, 6076 add conss, 448 chg bounds, 9370 chg sides, 24386 chg coeffs, 4191 upgd conss, 819646 impls, 1636 clqs
9.69/9.77 c (round 84) 1548 del vars, 6691 del conss, 6076 add conss, 448 chg bounds, 9370 chg sides, 24391 chg coeffs, 4191 upgd conss, 819646 impls, 1637 clqs
9.90/9.92 c (round 85) 1598 del vars, 6691 del conss, 6076 add conss, 448 chg bounds, 9370 chg sides, 24395 chg coeffs, 4191 upgd conss, 828906 impls, 1583 clqs
9.90/9.98 c (round 86) 1598 del vars, 6780 del conss, 6077 add conss, 448 chg bounds, 9371 chg sides, 24417 chg coeffs, 4191 upgd conss, 828914 impls, 1584 clqs
9.99/10.03 c (round 87) 1598 del vars, 6781 del conss, 6077 add conss, 448 chg bounds, 9371 chg sides, 24429 chg coeffs, 4191 upgd conss, 828914 impls, 1601 clqs
10.09/10.18 c (round 88) 1648 del vars, 6781 del conss, 6077 add conss, 448 chg bounds, 9371 chg sides, 24434 chg coeffs, 4191 upgd conss, 836856 impls, 1553 clqs
10.19/10.23 c (round 89) 1649 del vars, 6890 del conss, 6077 add conss, 448 chg bounds, 9371 chg sides, 24455 chg coeffs, 4191 upgd conss, 836856 impls, 1554 clqs
10.19/10.29 c (round 90) 1649 del vars, 6893 del conss, 6078 add conss, 448 chg bounds, 9372 chg sides, 24484 chg coeffs, 4191 upgd conss, 836856 impls, 1571 clqs
10.29/10.32 c (round 91) 1653 del vars, 6894 del conss, 6078 add conss, 448 chg bounds, 9372 chg sides, 24487 chg coeffs, 4191 upgd conss, 836858 impls, 1571 clqs
10.29/10.35 c (round 92) 1653 del vars, 6902 del conss, 6078 add conss, 448 chg bounds, 9372 chg sides, 24491 chg coeffs, 4191 upgd conss, 836858 impls, 1571 clqs
10.39/10.49 c (round 93) 1703 del vars, 6902 del conss, 6078 add conss, 448 chg bounds, 9372 chg sides, 24493 chg coeffs, 4191 upgd conss, 843764 impls, 1523 clqs
10.49/10.54 c (round 94) 1703 del vars, 7018 del conss, 6079 add conss, 448 chg bounds, 9373 chg sides, 24526 chg coeffs, 4191 upgd conss, 843766 impls, 1525 clqs
10.49/10.59 c (round 95) 1709 del vars, 7028 del conss, 6079 add conss, 448 chg bounds, 9373 chg sides, 24536 chg coeffs, 4191 upgd conss, 843766 impls, 1536 clqs
10.59/10.63 c (round 96) 1709 del vars, 7044 del conss, 6087 add conss, 448 chg bounds, 9417 chg sides, 24601 chg coeffs, 4191 upgd conss, 843766 impls, 1541 clqs
10.59/10.67 c (round 97) 1709 del vars, 7049 del conss, 6087 add conss, 448 chg bounds, 9417 chg sides, 24616 chg coeffs, 4191 upgd conss, 843766 impls, 1546 clqs
10.59/10.69 c (round 98) 1709 del vars, 7063 del conss, 6087 add conss, 448 chg bounds, 9417 chg sides, 24626 chg coeffs, 4191 upgd conss, 843766 impls, 1546 clqs
10.69/10.70 c (round 99) 1709 del vars, 7063 del conss, 6087 add conss, 448 chg bounds, 9417 chg sides, 24632 chg coeffs, 4191 upgd conss, 843766 impls, 1546 clqs
10.69/10.70 c (round 100) 1709 del vars, 7063 del conss, 6087 add conss, 448 chg bounds, 9417 chg sides, 24638 chg coeffs, 4191 upgd conss, 843766 impls, 1546 clqs
10.69/10.78 c (10.8s) probing: 2000/2469 (81.0%) - 984 fixings, 0 aggregations, 278229 implications, 0 bound changes
10.79/10.82 c (round 101) 1759 del vars, 7063 del conss, 6087 add conss, 448 chg bounds, 9417 chg sides, 24642 chg coeffs, 4191 upgd conss, 848642 impls, 1499 clqs
10.79/10.86 c (round 102) 1759 del vars, 7183 del conss, 6087 add conss, 448 chg bounds, 9417 chg sides, 24661 chg coeffs, 4191 upgd conss, 848658 impls, 1508 clqs
10.90/10.91 c (round 103) 1794 del vars, 7207 del conss, 6087 add conss, 448 chg bounds, 9417 chg sides, 24668 chg coeffs, 4191 upgd conss, 848658 impls, 1476 clqs
10.90/10.96 c (round 104) 1794 del vars, 7290 del conss, 6103 add conss, 448 chg bounds, 9477 chg sides, 24767 chg coeffs, 4191 upgd conss, 848658 impls, 1480 clqs
11.00/11.01 c (round 105) 1795 del vars, 7308 del conss, 6103 add conss, 448 chg bounds, 9477 chg sides, 24776 chg coeffs, 4191 upgd conss, 848658 impls, 1486 clqs
11.00/11.03 c (round 106) 1795 del vars, 7310 del conss, 6103 add conss, 448 chg bounds, 9477 chg sides, 24788 chg coeffs, 4191 upgd conss, 848658 impls, 1486 clqs
11.00/11.05 c (round 107) 1799 del vars, 7311 del conss, 6103 add conss, 448 chg bounds, 9477 chg sides, 24796 chg coeffs, 4191 upgd conss, 848658 impls, 1482 clqs
11.00/11.08 c (round 108) 1799 del vars, 7319 del conss, 6111 add conss, 448 chg bounds, 9507 chg sides, 24848 chg coeffs, 4191 upgd conss, 848658 impls, 1482 clqs
11.09/11.11 c (round 109) 1799 del vars, 7321 del conss, 6111 add conss, 448 chg bounds, 9507 chg sides, 24860 chg coeffs, 4191 upgd conss, 848658 impls, 1482 clqs
11.09/11.13 c (round 110) 1799 del vars, 7327 del conss, 6111 add conss, 448 chg bounds, 9507 chg sides, 24870 chg coeffs, 4191 upgd conss, 848658 impls, 1482 clqs
11.09/11.14 c (round 111) 1799 del vars, 7328 del conss, 6111 add conss, 448 chg bounds, 9507 chg sides, 24878 chg coeffs, 4191 upgd conss, 848658 impls, 1482 clqs
11.29/11.34 c (round 112) 1849 del vars, 7328 del conss, 6111 add conss, 448 chg bounds, 9507 chg sides, 24880 chg coeffs, 4191 upgd conss, 859374 impls, 1413 clqs
11.29/11.38 c (round 113) 1849 del vars, 7438 del conss, 6119 add conss, 448 chg bounds, 9521 chg sides, 24932 chg coeffs, 4191 upgd conss, 859374 impls, 1413 clqs
11.39/11.42 c (round 114) 1850 del vars, 7479 del conss, 6119 add conss, 448 chg bounds, 9521 chg sides, 24941 chg coeffs, 4191 upgd conss, 859374 impls, 1423 clqs
11.39/11.45 c (round 115) 1850 del vars, 7481 del conss, 6119 add conss, 448 chg bounds, 9521 chg sides, 24945 chg coeffs, 4191 upgd conss, 859374 impls, 1424 clqs
11.39/11.47 c (round 116) 1853 del vars, 7482 del conss, 6119 add conss, 448 chg bounds, 9521 chg sides, 24946 chg coeffs, 4191 upgd conss, 859374 impls, 1420 clqs
11.39/11.48 c (round 117) 1853 del vars, 7488 del conss, 6127 add conss, 448 chg bounds, 9533 chg sides, 24970 chg coeffs, 4191 upgd conss, 859374 impls, 1421 clqs
11.49/11.56 c (round 118) 1857 del vars, 7488 del conss, 6127 add conss, 448 chg bounds, 9533 chg sides, 24970 chg coeffs, 4191 upgd conss, 860978 impls, 1416 clqs
11.59/11.60 c (round 119) 1857 del vars, 7499 del conss, 6127 add conss, 448 chg bounds, 9533 chg sides, 24970 chg coeffs, 4191 upgd conss, 860978 impls, 1416 clqs
11.59/11.63 c (round 120) 1857 del vars, 7510 del conss, 6127 add conss, 448 chg bounds, 9533 chg sides, 24970 chg coeffs, 4191 upgd conss, 860978 impls, 1416 clqs
11.59/11.64 c (round 121) 1857 del vars, 7512 del conss, 6127 add conss, 448 chg bounds, 9533 chg sides, 24970 chg coeffs, 4191 upgd conss, 860978 impls, 1416 clqs
11.59/11.64 c presolving (122 rounds):
11.59/11.64 c 1857 deleted vars, 7512 deleted constraints, 6127 added constraints, 448 tightened bounds, 0 added holes, 9533 changed sides, 24970 changed coefficients
11.59/11.64 c 860978 implications, 1416 cliques
11.59/11.64 c presolved problem has 1351 variables (1351 bin, 0 int, 0 impl, 0 cont) and 3302 constraints
11.59/11.64 c 60 constraints of type <knapsack>
11.59/11.64 c 2110 constraints of type <setppc>
11.59/11.64 c 1132 constraints of type <logicor>
11.59/11.64 c transformed objective value is always integral (scale: 1)
11.59/11.64 c Presolving Time: 11.56
11.59/11.64 c - non default parameters ----------------------------------------------------------------------
11.59/11.64 c # SCIP version 2.0.1.5
11.59/11.64 c
11.59/11.64 c # frequency for displaying node information lines
11.59/11.64 c # [type: int, range: [-1,2147483647], default: 100]
11.59/11.64 c display/freq = 10000
11.59/11.64 c
11.59/11.64 c # maximal time in seconds to run
11.59/11.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.59/11.64 c limits/time = 1797
11.59/11.64 c
11.59/11.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.59/11.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.59/11.64 c limits/memory = 13950
11.59/11.64 c
11.59/11.64 c # default clock type (1: CPU user seconds, 2: wall clock time)
11.59/11.64 c # [type: int, range: [1,2], default: 1]
11.59/11.64 c timing/clocktype = 2
11.59/11.64 c
11.59/11.64 c # belongs reading time to solving time?
11.59/11.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.64 c timing/reading = TRUE
11.59/11.64 c
11.59/11.64 c # should presolving try to simplify inequalities
11.59/11.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.64 c constraints/linear/simplifyinequalities = TRUE
11.59/11.64 c
11.59/11.64 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
11.59/11.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.64 c constraints/indicator/addCouplingCons = TRUE
11.59/11.64 c
11.59/11.64 c # should presolving try to simplify knapsacks
11.59/11.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.64 c constraints/knapsack/simplifyinequalities = TRUE
11.59/11.64 c
11.59/11.64 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.59/11.64 c # [type: int, range: [-1,2147483647], default: -1]
11.59/11.64 c separating/rapidlearning/freq = 0
11.59/11.64 c
11.59/11.64 c -----------------------------------------------------------------------------------------------
11.59/11.64 c start solving
11.59/11.64 c
12.19/12.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.19/12.20 c 12.2s| 1 | 0 | 3226 | - | 36M| 0 | 495 |1351 |3288 |1351 |3302 | 0 | 19 | 0 | 1.817333e+01 | -- | Inf
19.79/19.85 c 19.9s| 1 | 0 | 25411 | - | 40M| 0 | 591 |1351 |3545 |1351 |3432 | 164 | 19 | 0 | 1.840000e+01 | -- | Inf
22.08/22.16 c 22.2s| 1 | 0 | 32887 | - | 45M| 0 | 479 |1351 |3545 |1351 |3458 | 190 | 19 | 0 | 2.038462e+01 | -- | Inf
23.99/24.02 c 24.0s| 1 | 0 | 38387 | - | 50M| 0 | 510 |1351 |3545 |1351 |3477 | 209 | 19 | 0 | 2.133333e+01 | -- | Inf
26.48/26.59 c 26.6s| 1 | 0 | 43863 | - | 51M| 0 | 621 |1351 |3545 |1351 |3504 | 236 | 19 | 0 | 2.220000e+01 | -- | Inf
28.38/28.47 c 28.5s| 1 | 0 | 47624 | - | 52M| 0 | 570 |1351 |3545 |1351 |3521 | 253 | 19 | 0 | 2.313636e+01 | -- | Inf
29.49/29.56 c 29.6s| 1 | 0 | 50642 | - | 52M| 0 | 478 |1351 |3545 |1351 |3542 | 274 | 19 | 0 | 2.325000e+01 | -- | Inf
31.68/31.72 c 31.7s| 1 | 0 | 59614 | - | 52M| 0 | 599 |1351 |3545 |1351 |3556 | 288 | 19 | 0 | 2.404942e+01 | -- | Inf
33.38/33.43 c 33.4s| 1 | 0 | 62809 | - | 56M| 0 | 594 |1351 |3545 |1351 |3586 | 318 | 19 | 0 | 2.409184e+01 | -- | Inf
36.08/36.17 c 36.2s| 1 | 0 | 70474 | - | 64M| 0 | 640 |1351 |3545 |1351 |3608 | 340 | 19 | 0 | 2.500247e+01 | -- | Inf
37.39/37.47 c 37.5s| 1 | 0 | 73715 | - | 65M| 0 | 539 |1351 |3545 |1351 |3636 | 368 | 19 | 0 | 2.502863e+01 | -- | Inf
38.49/38.56 c 38.6s| 1 | 0 | 76850 | - | 65M| 0 | 633 |1351 |3545 |1351 |3646 | 378 | 19 | 0 | 2.550000e+01 | -- | Inf
39.18/39.22 c 39.2s| 1 | 0 | 78233 | - | 65M| 0 | 691 |1351 |3545 |1351 |3653 | 385 | 19 | 0 | 2.550000e+01 | -- | Inf
39.98/40.00 c 40.0s| 1 | 0 | 79631 | - | 65M| 0 | 624 |1351 |3545 |1351 |3657 | 389 | 19 | 0 | 2.550000e+01 | -- | Inf
41.28/41.31 c 41.3s| 1 | 0 | 83322 | - | 66M| 0 | 617 |1351 |3545 |1351 |3486 | 402 | 19 | 0 | 2.600000e+01 | -- | Inf
41.97/42.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.97/42.00 c 42.0s| 1 | 0 | 84878 | - | 66M| 0 | 635 |1351 |3545 |1351 |3493 | 409 | 19 | 0 | 2.600000e+01 | -- | Inf
42.79/42.81 c 42.8s| 1 | 0 | 86549 | - | 66M| 0 | 648 |1351 |3545 |1351 |3498 | 414 | 19 | 0 | 2.600000e+01 | -- | Inf
43.38/43.49 c 43.5s| 1 | 0 | 87985 | - | 66M| 0 | 648 |1351 |3545 |1351 |3504 | 420 | 19 | 0 | 2.600000e+01 | -- | Inf
43.88/43.96 c 44.0s| 1 | 0 | 88605 | - | 66M| 0 | 611 |1351 |3545 |1351 |3506 | 422 | 19 | 0 | 2.600000e+01 | -- | Inf
44.57/44.61 c 44.6s| 1 | 0 | 89989 | - | 66M| 0 | 606 |1351 |3545 |1351 |3518 | 434 | 19 | 0 | 2.600000e+01 | -- | Inf
49.08/49.15 c 49.1s| 1 | 2 | 89989 | - | 66M| 0 | 606 |1351 |3545 |1351 |3518 | 434 | 19 | 10 | 2.600000e+01 | -- | Inf
142.86/142.95 c
142.86/142.95 c SCIP Status : problem is solved [infeasible]
142.86/142.95 c Solving Time (sec) : 142.95
142.86/142.95 c Solving Nodes : 840
142.86/142.95 c Primal Bound : +1.00000000000000e+20 (0 solutions)
142.86/142.95 c Dual Bound : +1.00000000000000e+20
142.86/142.95 c Gap : 0.00 %
142.86/142.95 s UNSATISFIABLE
142.86/142.95 c SCIP Status : problem is solved [infeasible]
142.86/142.95 c Total Time : 142.95
142.86/142.95 c solving : 142.95
142.86/142.95 c presolving : 11.56 (included in solving)
142.86/142.95 c reading : 0.06 (included in solving)
142.86/142.95 c Original Problem :
142.86/142.95 c Problem name : HOME/instance-3741441-1338775521.opb
142.86/142.95 c Variables : 3208 (3208 binary, 0 integer, 0 implicit integer, 0 continuous)
142.86/142.95 c Constraints : 4687 initial, 4687 maximal
142.86/142.95 c Presolved Problem :
142.86/142.95 c Problem name : t_HOME/instance-3741441-1338775521.opb
142.86/142.95 c Variables : 1351 (1351 binary, 0 integer, 0 implicit integer, 0 continuous)
142.86/142.95 c Constraints : 3302 initial, 4313 maximal
142.86/142.95 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
142.86/142.95 c trivial : 0.01 27 0 0 0 0 0 0 0 0
142.86/142.95 c dualfix : 0.01 0 0 0 0 0 0 0 0 0
142.86/142.95 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
142.86/142.95 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
142.86/142.95 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
142.86/142.95 c implics : 0.03 0 0 0 0 0 0 0 0 0
142.86/142.95 c probing : 5.57 1056 0 0 0 0 0 0 0 0
142.86/142.95 c knapsack : 4.30 4 0 0 0 0 2248 6127 6432 21869
142.86/142.95 c setppc : 1.27 347 0 0 27 0 4676 0 0 0
142.86/142.95 c linear : 0.12 421 2 0 421 0 496 0 3101 3101
142.86/142.95 c logicor : 0.09 0 0 0 0 0 92 0 0 0
142.86/142.95 c root node : - 30 - - 30 - - - - -
142.86/142.95 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
142.86/142.95 c integral : 0 0 0 529 0 4 0 6 156 0 0 960
142.86/142.95 c knapsack : 60 20 18759 0 0 3 10534 201 12220 0 0 0
142.86/142.95 c setppc : 2110 20 18558 0 0 2 65282 792 38338 0 0 0
142.86/142.95 c linear : 0+ 19 5062 0 0 0 580 13 617 14 0 0
142.86/142.95 c logicor : 1132+ 20 14796 0 0 0 38625 78 16503 0 0 0
142.86/142.95 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
142.86/142.95 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
142.86/142.95 c integral : 55.19 0.00 0.00 55.19 0.00 0.00 0.00
142.86/142.95 c knapsack : 1.04 0.05 0.98 0.00 0.00 0.00 0.01
142.86/142.95 c setppc : 1.27 0.00 1.24 0.00 0.00 0.00 0.02
142.86/142.95 c linear : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
142.86/142.95 c logicor : 0.29 0.00 0.27 0.00 0.00 0.00 0.02
142.86/142.95 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
142.86/142.95 c Propagators : #Propagate #Resprop Cutoffs DomReds
142.86/142.95 c vbounds : 0 0 0 0
142.86/142.95 c rootredcost : 0 0 0 0
142.86/142.95 c pseudoobj : 5507 0 0 0
142.86/142.95 c Propagator Timings : TotalTime Propagate Resprop
142.86/142.95 c vbounds : 0.00 0.00 0.00
142.86/142.95 c rootredcost : 0.00 0.00 0.00
142.86/142.95 c pseudoobj : 0.00 0.00 0.00
142.86/142.95 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
142.86/142.95 c propagation : 0.07 339 334 1959 72.4 84 18.8 -
142.86/142.95 c infeasible LP : 0.07 137 118 780 94.0 17 14.4 0
142.86/142.95 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
142.86/142.95 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
142.86/142.95 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
142.86/142.95 c applied globally : - - - 1184 37.7 - - -
142.86/142.95 c applied locally : - - - 1 167.0 - - -
142.86/142.95 c Separators : Time Calls Cutoffs DomReds Cuts Conss
142.86/142.95 c cut pool : 0.08 18 - - 240 - (maximal pool size: 2959)
142.86/142.95 c redcost : 0.01 539 0 0 0 0
142.86/142.95 c impliedbounds : 0.04 19 0 0 640 0
142.86/142.95 c intobj : 0.00 0 0 0 0 0
142.86/142.95 c gomory : 4.72 19 0 0 1835 0
142.86/142.95 c cgmip : 0.00 0 0 0 0 0
142.86/142.95 c closecuts : 0.00 0 0 0 0 0
142.86/142.95 c strongcg : 3.83 19 0 0 3318 0
142.86/142.95 c cmir : 0.14 10 0 0 6 0
142.86/142.95 c flowcover : 0.15 10 0 0 13 0
142.86/142.95 c clique : 1.56 19 0 0 181 0
142.86/142.95 c zerohalf : 0.00 0 0 0 0 0
142.86/142.95 c mcf : 0.00 1 0 0 0 0
142.86/142.95 c oddcycle : 0.00 0 0 0 0 0
142.86/142.95 c rapidlearning : 0.39 1 0 7 0 278
142.86/142.95 c Pricers : Time Calls Vars
142.86/142.95 c problem variables: 0.00 0 0
142.86/142.95 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
142.86/142.95 c relpscost : 55.19 529 6 156 0 0 960
142.86/142.95 c pscost : 0.00 0 0 0 0 0 0
142.86/142.95 c inference : 0.00 0 0 0 0 0 0
142.86/142.95 c mostinf : 0.00 0 0 0 0 0 0
142.86/142.95 c leastinf : 0.00 0 0 0 0 0 0
142.86/142.95 c fullstrong : 0.00 0 0 0 0 0 0
142.86/142.95 c allfullstrong : 0.00 0 0 0 0 0 0
142.86/142.95 c random : 0.00 0 0 0 0 0 0
142.86/142.95 c Primal Heuristics : Time Calls Found
142.86/142.95 c LP solutions : 0.00 - 0
142.86/142.95 c pseudo solutions : 0.00 - 0
142.86/142.95 c oneopt : 0.00 0 0
142.86/142.95 c crossover : 0.00 0 0
142.86/142.95 c linesearchdiving : 0.00 0 0
142.86/142.95 c guideddiving : 0.00 0 0
142.86/142.95 c intshifting : 0.00 0 0
142.86/142.95 c coefdiving : 0.01 1 0
142.86/142.95 c pscostdiving : 0.57 1 0
142.86/142.95 c fracdiving : 0.01 1 0
142.86/142.95 c veclendiving : 0.04 1 0
142.86/142.95 c feaspump : 5.62 1 0
142.86/142.95 c trivial : 0.00 2 0
142.86/142.95 c shiftandpropagate: 0.03 1 0
142.86/142.95 c simplerounding : 0.00 0 0
142.86/142.95 c zirounding : 0.04 0 0
142.86/142.95 c rounding : 0.07 291 0
142.86/142.95 c shifting : 0.08 66 0
142.86/142.95 c twoopt : 0.00 0 0
142.86/142.95 c fixandinfer : 0.00 0 0
142.86/142.95 c clique : 0.00 0 0
142.86/142.95 c intdiving : 0.00 0 0
142.86/142.95 c actconsdiving : 0.00 0 0
142.86/142.95 c objpscostdiving : 0.32 1 0
142.86/142.95 c rootsoldiving : 2.26 1 0
142.86/142.95 c octane : 0.00 0 0
142.86/142.95 c rens : 2.67 1 0
142.86/142.95 c rins : 0.00 0 0
142.86/142.95 c localbranching : 0.00 0 0
142.86/142.95 c mutation : 0.00 0 0
142.86/142.95 c dins : 0.00 0 0
142.86/142.95 c vbounds : 0.00 0 0
142.86/142.95 c undercover : 0.00 0 0
142.86/142.95 c subnlp : 0.00 0 0
142.86/142.95 c trysol : 0.00 0 0
142.86/142.95 c LP : Time Calls Iterations Iter/call Iter/sec
142.86/142.95 c primal LP : 0.00 0 0 0.00 -
142.86/142.95 c dual LP : 52.28 674 235920 350.03 4512.22
142.86/142.95 c lex dual LP : 0.00 0 0 0.00 -
142.86/142.95 c barrier LP : 0.00 0 0 0.00 -
142.86/142.95 c diving/probing LP: 8.80 78 36813 471.96 4182.94
142.86/142.95 c strong branching : 55.15 552 234077 424.05 4244.56
142.86/142.95 c (at root node) : - 10 6326 632.60 -
142.86/142.95 c conflict analysis: 0.00 0 0 0.00 -
142.86/142.95 c B&B Tree :
142.86/142.95 c number of runs : 1
142.86/142.95 c nodes : 840
142.86/142.95 c nodes (total) : 840
142.86/142.95 c nodes left : 0
142.86/142.95 c max depth : 23
142.86/142.95 c max depth (total): 23
142.86/142.95 c backtracks : 190 (22.6%)
142.86/142.95 c delayed cutoffs : 121
142.86/142.95 c repropagations : 951 (13365 domain reductions, 94 cutoffs)
142.86/142.95 c avg switch length: 3.95
142.86/142.95 c switching time : 0.26
142.86/142.95 c Solution :
142.86/142.95 c Solutions found : 0 (0 improvements)
142.86/142.95 c Primal Bound : infeasible
142.86/142.95 c Dual Bound : -
142.86/142.95 c Gap : 0.00 %
142.86/142.95 c Root Dual Bound : +2.60000000000000e+01
142.86/142.95 c Root Iterations : 89989
142.86/142.98 c Time complete: 142.94.