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-3692838-1338025344.opb>
0.04/0.04 c original problem has 6059 variables (6059 bin, 0 int, 0 impl, 0 cont) and 16684 constraints
0.04/0.04 c problem read in 0.05
0.09/0.10 c presolving:
0.19/0.28 c (round 1) 1234 del vars, 2261 del conss, 0 add conss, 773 chg bounds, 372 chg sides, 878 chg coeffs, 0 upgd conss, 298456 impls, 0 clqs
0.29/0.31 c (round 2) 1262 del vars, 3404 del conss, 0 add conss, 795 chg bounds, 373 chg sides, 880 chg coeffs, 0 upgd conss, 298562 impls, 0 clqs
0.29/0.33 c (round 3) 1265 del vars, 3413 del conss, 0 add conss, 796 chg bounds, 374 chg sides, 881 chg coeffs, 0 upgd conss, 298654 impls, 0 clqs
0.29/0.34 c (round 4) 1266 del vars, 3420 del conss, 0 add conss, 796 chg bounds, 374 chg sides, 881 chg coeffs, 0 upgd conss, 298834 impls, 0 clqs
0.29/0.35 c (round 5) 1266 del vars, 3422 del conss, 0 add conss, 796 chg bounds, 374 chg sides, 881 chg coeffs, 0 upgd conss, 298834 impls, 0 clqs
0.39/0.44 c (round 6) 1266 del vars, 3477 del conss, 0 add conss, 796 chg bounds, 374 chg sides, 881 chg coeffs, 13228 upgd conss, 298834 impls, 0 clqs
0.39/0.48 c (round 7) 1266 del vars, 3480 del conss, 0 add conss, 796 chg bounds, 374 chg sides, 881 chg coeffs, 13228 upgd conss, 298834 impls, 0 clqs
0.49/0.55 c (round 8) 1427 del vars, 15845 del conss, 4120 add conss, 848 chg bounds, 374 chg sides, 881 chg coeffs, 13228 upgd conss, 317342 impls, 0 clqs
0.49/0.57 c (round 9) 1483 del vars, 15907 del conss, 4120 add conss, 848 chg bounds, 374 chg sides, 937 chg coeffs, 13290 upgd conss, 320126 impls, 4 clqs
0.59/0.60 c (round 10) 1568 del vars, 16242 del conss, 4455 add conss, 848 chg bounds, 374 chg sides, 937 chg coeffs, 13290 upgd conss, 328312 impls, 5 clqs
0.59/0.61 c (round 11) 1581 del vars, 16250 del conss, 4455 add conss, 848 chg bounds, 374 chg sides, 940 chg coeffs, 13300 upgd conss, 328620 impls, 336 clqs
0.59/0.62 c (round 12) 1584 del vars, 16253 del conss, 4455 add conss, 848 chg bounds, 374 chg sides, 943 chg coeffs, 13300 upgd conss, 328620 impls, 337 clqs
0.59/0.63 c (round 13) 1618 del vars, 16350 del conss, 4551 add conss, 848 chg bounds, 374 chg sides, 943 chg coeffs, 13300 upgd conss, 335284 impls, 337 clqs
0.59/0.64 c (round 14) 1628 del vars, 16355 del conss, 4551 add conss, 848 chg bounds, 374 chg sides, 944 chg coeffs, 13302 upgd conss, 335298 impls, 347 clqs
0.59/0.65 c (round 15) 1634 del vars, 16377 del conss, 4551 add conss, 848 chg bounds, 374 chg sides, 949 chg coeffs, 13302 upgd conss, 335298 impls, 347 clqs
0.59/0.67 c (round 16) 1636 del vars, 16411 del conss, 4585 add conss, 848 chg bounds, 374 chg sides, 949 chg coeffs, 13302 upgd conss, 335298 impls, 347 clqs
0.59/0.68 c (round 17) 1637 del vars, 16412 del conss, 4585 add conss, 848 chg bounds, 374 chg sides, 949 chg coeffs, 13302 upgd conss, 335298 impls, 349 clqs
0.59/0.68 c (round 18) 1638 del vars, 16413 del conss, 4585 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 335298 impls, 349 clqs
0.69/0.70 c (round 19) 1639 del vars, 16414 del conss, 4586 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 335298 impls, 349 clqs
0.69/0.71 c (round 20) 1640 del vars, 16415 del conss, 4587 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 335298 impls, 349 clqs
0.79/0.88 c (round 21) 1663 del vars, 16439 del conss, 4588 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 335796 impls, 349 clqs
0.99/1.05 c (round 22) 1668 del vars, 16445 del conss, 4588 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 335838 impls, 349 clqs
1.18/1.22 c (round 23) 1673 del vars, 16450 del conss, 4588 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 335870 impls, 349 clqs
1.29/1.38 c (round 24) 1678 del vars, 16455 del conss, 4588 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 335900 impls, 349 clqs
1.49/1.55 c (round 25) 1682 del vars, 16459 del conss, 4588 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 335918 impls, 349 clqs
1.69/1.71 c (round 26) 1685 del vars, 16462 del conss, 4588 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 336000 impls, 349 clqs
1.79/1.88 c (round 27) 1687 del vars, 16464 del conss, 4588 add conss, 848 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 336048 impls, 349 clqs
1.99/2.06 c (round 28) 1755 del vars, 16464 del conss, 4588 add conss, 856 chg bounds, 374 chg sides, 950 chg coeffs, 13302 upgd conss, 337262 impls, 342 clqs
1.99/2.07 c (round 29) 1795 del vars, 16524 del conss, 4588 add conss, 856 chg bounds, 374 chg sides, 984 chg coeffs, 13336 upgd conss, 342312 impls, 342 clqs
1.99/2.09 c (round 30) 1798 del vars, 16527 del conss, 4591 add conss, 856 chg bounds, 374 chg sides, 984 chg coeffs, 13336 upgd conss, 342480 impls, 342 clqs
2.20/2.25 c (round 31) 1800 del vars, 16532 del conss, 4594 add conss, 856 chg bounds, 374 chg sides, 984 chg coeffs, 13336 upgd conss, 342596 impls, 344 clqs
2.38/2.43 c (round 32) 1800 del vars, 16533 del conss, 4594 add conss, 856 chg bounds, 374 chg sides, 984 chg coeffs, 13336 upgd conss, 342596 impls, 344 clqs
2.59/2.61 c (round 33) 1854 del vars, 16533 del conss, 4594 add conss, 860 chg bounds, 374 chg sides, 984 chg coeffs, 13336 upgd conss, 349388 impls, 328 clqs
2.59/2.63 c (round 34) 1929 del vars, 16628 del conss, 4594 add conss, 860 chg bounds, 374 chg sides, 1043 chg coeffs, 13336 upgd conss, 362378 impls, 328 clqs
2.59/2.64 c (round 35) 1937 del vars, 16636 del conss, 4599 add conss, 860 chg bounds, 374 chg sides, 1046 chg coeffs, 13336 upgd conss, 362436 impls, 328 clqs
2.59/2.65 c (round 36) 1938 del vars, 16638 del conss, 4599 add conss, 860 chg bounds, 374 chg sides, 1047 chg coeffs, 13336 upgd conss, 362446 impls, 328 clqs
2.79/2.82 c (round 37) 1945 del vars, 16650 del conss, 4604 add conss, 860 chg bounds, 374 chg sides, 1047 chg coeffs, 13336 upgd conss, 363486 impls, 328 clqs
2.79/2.83 c (round 38) 1946 del vars, 16651 del conss, 4605 add conss, 860 chg bounds, 374 chg sides, 1047 chg coeffs, 13336 upgd conss, 363486 impls, 329 clqs
2.99/3.00 c (round 39) 1960 del vars, 16667 del conss, 4606 add conss, 860 chg bounds, 374 chg sides, 1047 chg coeffs, 13336 upgd conss, 365970 impls, 329 clqs
3.08/3.17 c (round 40) 1960 del vars, 16669 del conss, 4606 add conss, 860 chg bounds, 374 chg sides, 1047 chg coeffs, 13336 upgd conss, 365970 impls, 330 clqs
3.39/3.42 c (round 41) 2011 del vars, 16669 del conss, 4606 add conss, 861 chg bounds, 374 chg sides, 1047 chg coeffs, 13336 upgd conss, 484988 impls, 326 clqs
3.39/3.44 c (round 42) 2022 del vars, 16696 del conss, 4606 add conss, 861 chg bounds, 374 chg sides, 1055 chg coeffs, 13336 upgd conss, 489412 impls, 326 clqs
3.39/3.46 c (round 43) 2039 del vars, 16740 del conss, 4650 add conss, 861 chg bounds, 374 chg sides, 1055 chg coeffs, 13336 upgd conss, 491635 impls, 326 clqs
3.39/3.47 c (round 44) 2044 del vars, 16759 del conss, 4668 add conss, 861 chg bounds, 374 chg sides, 1055 chg coeffs, 13338 upgd conss, 491937 impls, 366 clqs
3.59/3.64 c (round 45) 2044 del vars, 16765 del conss, 4672 add conss, 861 chg bounds, 374 chg sides, 1055 chg coeffs, 13338 upgd conss, 491937 impls, 368 clqs
3.79/3.81 c (round 46) 2083 del vars, 16765 del conss, 4672 add conss, 861 chg bounds, 374 chg sides, 1055 chg coeffs, 13338 upgd conss, 491985 impls, 364 clqs
3.79/3.82 c (round 47) 2090 del vars, 16781 del conss, 4672 add conss, 861 chg bounds, 374 chg sides, 1060 chg coeffs, 13338 upgd conss, 493375 impls, 364 clqs
3.89/3.98 c (round 48) 2090 del vars, 16782 del conss, 4673 add conss, 861 chg bounds, 374 chg sides, 1060 chg coeffs, 13338 upgd conss, 493375 impls, 364 clqs
4.09/4.17 c (round 49) 2127 del vars, 16782 del conss, 4673 add conss, 861 chg bounds, 374 chg sides, 1060 chg coeffs, 13338 upgd conss, 494857 impls, 363 clqs
4.09/4.18 c (round 50) 2136 del vars, 16795 del conss, 4673 add conss, 861 chg bounds, 374 chg sides, 1068 chg coeffs, 13338 upgd conss, 496537 impls, 363 clqs
4.30/4.34 c (round 51) 2136 del vars, 16797 del conss, 4675 add conss, 861 chg bounds, 374 chg sides, 1068 chg coeffs, 13338 upgd conss, 496537 impls, 363 clqs
4.49/4.56 c (round 52) 2185 del vars, 16797 del conss, 4675 add conss, 878 chg bounds, 374 chg sides, 1068 chg coeffs, 13338 upgd conss, 544326 impls, 360 clqs
4.49/4.57 c (round 53) 2202 del vars, 16826 del conss, 4675 add conss, 878 chg bounds, 374 chg sides, 1081 chg coeffs, 13352 upgd conss, 546168 impls, 360 clqs
4.69/4.77 c (round 54) 2209 del vars, 16864 del conss, 4713 add conss, 878 chg bounds, 374 chg sides, 1081 chg coeffs, 13352 upgd conss, 546814 impls, 360 clqs
4.69/4.77 c (round 55) 2209 del vars, 16871 del conss, 4720 add conss, 878 chg bounds, 374 chg sides, 1081 chg coeffs, 13352 upgd conss, 546814 impls, 389 clqs
4.88/4.92 c (round 56) 2209 del vars, 16875 del conss, 4720 add conss, 878 chg bounds, 374 chg sides, 1081 chg coeffs, 13352 upgd conss, 546814 impls, 390 clqs
5.09/5.11 c (round 57) 2237 del vars, 16875 del conss, 4720 add conss, 888 chg bounds, 374 chg sides, 1081 chg coeffs, 13352 upgd conss, 568940 impls, 390 clqs
5.09/5.12 c (round 58) 2249 del vars, 16890 del conss, 4720 add conss, 888 chg bounds, 374 chg sides, 1093 chg coeffs, 13358 upgd conss, 570912 impls, 390 clqs
5.19/5.28 c (round 59) 2250 del vars, 16920 del conss, 4748 add conss, 888 chg bounds, 374 chg sides, 1093 chg coeffs, 13358 upgd conss, 570962 impls, 390 clqs
5.39/5.45 c (round 60) 2250 del vars, 16923 del conss, 4748 add conss, 888 chg bounds, 374 chg sides, 1093 chg coeffs, 13358 upgd conss, 570962 impls, 406 clqs
5.68/5.72 c (round 61) 2277 del vars, 16923 del conss, 4748 add conss, 903 chg bounds, 374 chg sides, 1093 chg coeffs, 13358 upgd conss, 630419 impls, 404 clqs
5.68/5.72 c (round 62) 2281 del vars, 16932 del conss, 4748 add conss, 903 chg bounds, 374 chg sides, 1097 chg coeffs, 13362 upgd conss, 630565 impls, 404 clqs
5.68/5.74 c (round 63) 2284 del vars, 16992 del conss, 4808 add conss, 903 chg bounds, 374 chg sides, 1097 chg coeffs, 13362 upgd conss, 636653 impls, 405 clqs
5.88/5.91 c (round 64) 2284 del vars, 16997 del conss, 4811 add conss, 903 chg bounds, 374 chg sides, 1097 chg coeffs, 13362 upgd conss, 636653 impls, 458 clqs
5.99/6.08 c (round 65) 2284 del vars, 16999 del conss, 4811 add conss, 903 chg bounds, 374 chg sides, 1097 chg coeffs, 13362 upgd conss, 636653 impls, 459 clqs
6.29/6.33 c (round 66) 2324 del vars, 16999 del conss, 4811 add conss, 925 chg bounds, 374 chg sides, 1097 chg coeffs, 13362 upgd conss, 701494 impls, 449 clqs
6.29/6.35 c (round 67) 2337 del vars, 17018 del conss, 4811 add conss, 925 chg bounds, 374 chg sides, 1100 chg coeffs, 13370 upgd conss, 704226 impls, 449 clqs
6.29/6.37 c (round 68) 2353 del vars, 17074 del conss, 4860 add conss, 925 chg bounds, 374 chg sides, 1100 chg coeffs, 13370 upgd conss, 705198 impls, 449 clqs
6.49/6.54 c (round 69) 2358 del vars, 17099 del conss, 4876 add conss, 925 chg bounds, 374 chg sides, 1100 chg coeffs, 13370 upgd conss, 706930 impls, 484 clqs
6.69/6.70 c (round 70) 2358 del vars, 17102 del conss, 4877 add conss, 925 chg bounds, 374 chg sides, 1100 chg coeffs, 13370 upgd conss, 706930 impls, 484 clqs
6.88/6.93 c (round 71) 2387 del vars, 17102 del conss, 4877 add conss, 928 chg bounds, 374 chg sides, 1100 chg coeffs, 13370 upgd conss, 737740 impls, 475 clqs
6.88/6.95 c (round 72) 2401 del vars, 17126 del conss, 4877 add conss, 928 chg bounds, 374 chg sides, 1105 chg coeffs, 13372 upgd conss, 743376 impls, 475 clqs
6.88/6.97 c (round 73) 2417 del vars, 17168 del conss, 4915 add conss, 928 chg bounds, 374 chg sides, 1105 chg coeffs, 13378 upgd conss, 744728 impls, 476 clqs
6.88/6.99 c (round 74) 2418 del vars, 17185 del conss, 4932 add conss, 928 chg bounds, 374 chg sides, 1105 chg coeffs, 13378 upgd conss, 744728 impls, 510 clqs
7.09/7.16 c (round 75) 2420 del vars, 17191 del conss, 4933 add conss, 928 chg bounds, 374 chg sides, 1105 chg coeffs, 13378 upgd conss, 745466 impls, 511 clqs
7.29/7.32 c (round 76) 2420 del vars, 17193 del conss, 4935 add conss, 928 chg bounds, 374 chg sides, 1105 chg coeffs, 13378 upgd conss, 745466 impls, 511 clqs
7.49/7.54 c (round 77) 2453 del vars, 17193 del conss, 4935 add conss, 937 chg bounds, 374 chg sides, 1105 chg coeffs, 13378 upgd conss, 769005 impls, 495 clqs
7.49/7.55 c (round 78) 2488 del vars, 17231 del conss, 4935 add conss, 937 chg bounds, 374 chg sides, 1124 chg coeffs, 13378 upgd conss, 771661 impls, 495 clqs
7.70/7.72 c (round 79) 2498 del vars, 17261 del conss, 4954 add conss, 937 chg bounds, 374 chg sides, 1124 chg coeffs, 13380 upgd conss, 774257 impls, 495 clqs
7.70/7.74 c (round 80) 2499 del vars, 17262 del conss, 4955 add conss, 937 chg bounds, 374 chg sides, 1124 chg coeffs, 13380 upgd conss, 774259 impls, 512 clqs
7.89/7.90 c (round 81) 2499 del vars, 17263 del conss, 4956 add conss, 937 chg bounds, 374 chg sides, 1124 chg coeffs, 13380 upgd conss, 774259 impls, 512 clqs
8.09/8.16 c (round 82) 2524 del vars, 17263 del conss, 4956 add conss, 938 chg bounds, 374 chg sides, 1124 chg coeffs, 13380 upgd conss, 814827 impls, 502 clqs
8.09/8.18 c (round 83) 2533 del vars, 17284 del conss, 4956 add conss, 938 chg bounds, 374 chg sides, 1128 chg coeffs, 13385 upgd conss, 816361 impls, 502 clqs
8.09/8.19 c (round 84) 2534 del vars, 17290 del conss, 4959 add conss, 938 chg bounds, 374 chg sides, 1128 chg coeffs, 13390 upgd conss, 816409 impls, 502 clqs
8.29/8.36 c (round 85) 2536 del vars, 17293 del conss, 4960 add conss, 938 chg bounds, 374 chg sides, 1128 chg coeffs, 13390 upgd conss, 816571 impls, 504 clqs
8.59/8.70 c (round 86) 2561 del vars, 17293 del conss, 4960 add conss, 944 chg bounds, 374 chg sides, 1128 chg coeffs, 13390 upgd conss, 870786 impls, 497 clqs
8.70/8.72 c (round 87) 2566 del vars, 17307 del conss, 4967 add conss, 944 chg bounds, 374 chg sides, 1130 chg coeffs, 13394 upgd conss, 871312 impls, 497 clqs
8.80/8.89 c (round 88) 2568 del vars, 17315 del conss, 4970 add conss, 944 chg bounds, 374 chg sides, 1130 chg coeffs, 13394 upgd conss, 871758 impls, 499 clqs
8.99/9.05 c (round 89) 2568 del vars, 17317 del conss, 4972 add conss, 944 chg bounds, 374 chg sides, 1130 chg coeffs, 13394 upgd conss, 871758 impls, 499 clqs
9.19/9.27 c (round 90) 2600 del vars, 17317 del conss, 4972 add conss, 961 chg bounds, 374 chg sides, 1130 chg coeffs, 13394 upgd conss, 881253 impls, 490 clqs
9.19/9.28 c (round 91) 2607 del vars, 17328 del conss, 4972 add conss, 961 chg bounds, 374 chg sides, 1131 chg coeffs, 13406 upgd conss, 881973 impls, 490 clqs
9.39/9.44 c (round 92) 2607 del vars, 17338 del conss, 4982 add conss, 961 chg bounds, 374 chg sides, 1131 chg coeffs, 13406 upgd conss, 881973 impls, 491 clqs
9.59/9.68 c (round 93) 2632 del vars, 17338 del conss, 4982 add conss, 972 chg bounds, 374 chg sides, 1131 chg coeffs, 13406 upgd conss, 904154 impls, 482 clqs
9.68/9.70 c (round 94) 2639 del vars, 17352 del conss, 4982 add conss, 972 chg bounds, 374 chg sides, 1135 chg coeffs, 13408 upgd conss, 905106 impls, 482 clqs
9.79/9.86 c (round 95) 2639 del vars, 17376 del conss, 5006 add conss, 972 chg bounds, 374 chg sides, 1135 chg coeffs, 13408 upgd conss, 905106 impls, 482 clqs
9.99/10.03 c (round 96) 2639 del vars, 17377 del conss, 5006 add conss, 972 chg bounds, 374 chg sides, 1135 chg coeffs, 13408 upgd conss, 905106 impls, 493 clqs
10.28/10.36 c (round 97) 2673 del vars, 17377 del conss, 5006 add conss, 980 chg bounds, 374 chg sides, 1135 chg coeffs, 13408 upgd conss, 952634 impls, 487 clqs
10.28/10.37 c (round 98) 2677 del vars, 17388 del conss, 5006 add conss, 980 chg bounds, 374 chg sides, 1138 chg coeffs, 13414 upgd conss, 952766 impls, 487 clqs
10.28/10.38 c (round 99) 2681 del vars, 17414 del conss, 5030 add conss, 980 chg bounds, 374 chg sides, 1138 chg coeffs, 13420 upgd conss, 953704 impls, 488 clqs
10.48/10.55 c (round 100) 2681 del vars, 17418 del conss, 5034 add conss, 980 chg bounds, 374 chg sides, 1138 chg coeffs, 13420 upgd conss, 953704 impls, 501 clqs
10.69/10.72 c (round 101) 2681 del vars, 17419 del conss, 5034 add conss, 980 chg bounds, 374 chg sides, 1138 chg coeffs, 13420 upgd conss, 953704 impls, 501 clqs
11.00/11.02 c (round 102) 2723 del vars, 17419 del conss, 5034 add conss, 985 chg bounds, 374 chg sides, 1138 chg coeffs, 13420 upgd conss, 983283 impls, 496 clqs
11.00/11.03 c (round 103) 2733 del vars, 17438 del conss, 5034 add conss, 985 chg bounds, 374 chg sides, 1146 chg coeffs, 13432 upgd conss, 986669 impls, 496 clqs
11.00/11.05 c (round 104) 2738 del vars, 17442 del conss, 5035 add conss, 985 chg bounds, 374 chg sides, 1146 chg coeffs, 13436 upgd conss, 986827 impls, 496 clqs
11.19/11.22 c (round 105) 2741 del vars, 17450 del conss, 5040 add conss, 985 chg bounds, 374 chg sides, 1146 chg coeffs, 13436 upgd conss, 987983 impls, 496 clqs
11.29/11.38 c (round 106) 2741 del vars, 17454 del conss, 5041 add conss, 985 chg bounds, 374 chg sides, 1146 chg coeffs, 13436 upgd conss, 987983 impls, 496 clqs
11.59/11.62 c (round 107) 2767 del vars, 17454 del conss, 5041 add conss, 990 chg bounds, 374 chg sides, 1146 chg coeffs, 13436 upgd conss, 1002027 impls, 492 clqs
11.59/11.63 c (round 108) 2774 del vars, 17463 del conss, 5041 add conss, 990 chg bounds, 374 chg sides, 1149 chg coeffs, 13436 upgd conss, 1004995 impls, 492 clqs
11.59/11.64 c (round 109) 2776 del vars, 17477 del conss, 5055 add conss, 990 chg bounds, 374 chg sides, 1149 chg coeffs, 13440 upgd conss, 1005005 impls, 492 clqs
11.79/11.81 c (round 110) 2776 del vars, 17480 del conss, 5057 add conss, 990 chg bounds, 374 chg sides, 1149 chg coeffs, 13440 upgd conss, 1005005 impls, 500 clqs
11.89/11.97 c (round 111) 2776 del vars, 17483 del conss, 5057 add conss, 990 chg bounds, 374 chg sides, 1149 chg coeffs, 13440 upgd conss, 1005005 impls, 500 clqs
12.19/12.28 c (round 112) 2802 del vars, 17483 del conss, 5057 add conss, 992 chg bounds, 374 chg sides, 1149 chg coeffs, 13440 upgd conss, 1039545 impls, 496 clqs
12.19/12.29 c (round 113) 2805 del vars, 17491 del conss, 5057 add conss, 992 chg bounds, 374 chg sides, 1151 chg coeffs, 13440 upgd conss, 1039651 impls, 496 clqs
12.28/12.30 c (round 114) 2810 del vars, 17504 del conss, 5067 add conss, 992 chg bounds, 374 chg sides, 1151 chg coeffs, 13442 upgd conss, 1040627 impls, 496 clqs
12.28/12.32 c (round 115) 2812 del vars, 17511 del conss, 5073 add conss, 992 chg bounds, 374 chg sides, 1151 chg coeffs, 13442 upgd conss, 1040631 impls, 498 clqs
12.39/12.48 c (round 116) 2812 del vars, 17515 del conss, 5075 add conss, 992 chg bounds, 374 chg sides, 1151 chg coeffs, 13442 upgd conss, 1040631 impls, 499 clqs
12.59/12.65 c (round 117) 2812 del vars, 17516 del conss, 5075 add conss, 992 chg bounds, 374 chg sides, 1151 chg coeffs, 13442 upgd conss, 1040631 impls, 499 clqs
12.89/12.93 c (round 118) 2839 del vars, 17516 del conss, 5075 add conss, 995 chg bounds, 374 chg sides, 1151 chg coeffs, 13442 upgd conss, 1063580 impls, 491 clqs
12.89/12.95 c (round 119) 2854 del vars, 17537 del conss, 5075 add conss, 995 chg bounds, 374 chg sides, 1160 chg coeffs, 13452 upgd conss, 1066157 impls, 491 clqs
12.89/12.97 c (round 120) 2864 del vars, 17563 del conss, 5099 add conss, 995 chg bounds, 374 chg sides, 1160 chg coeffs, 13452 upgd conss, 1069055 impls, 488 clqs
13.10/13.14 c (round 121) 2865 del vars, 17573 del conss, 5104 add conss, 995 chg bounds, 374 chg sides, 1160 chg coeffs, 13452 upgd conss, 1069103 impls, 506 clqs
13.39/13.44 c (round 122) 2896 del vars, 17573 del conss, 5104 add conss, 1003 chg bounds, 374 chg sides, 1160 chg coeffs, 13452 upgd conss, 1092721 impls, 500 clqs
13.39/13.45 c (round 123) 2904 del vars, 17597 del conss, 5104 add conss, 1003 chg bounds, 374 chg sides, 1161 chg coeffs, 13456 upgd conss, 1094531 impls, 500 clqs
13.39/13.47 c (round 124) 2917 del vars, 17628 del conss, 5133 add conss, 1003 chg bounds, 374 chg sides, 1161 chg coeffs, 13456 upgd conss, 1097647 impls, 498 clqs
13.39/13.49 c (round 125) 2921 del vars, 17642 del conss, 5145 add conss, 1003 chg bounds, 374 chg sides, 1161 chg coeffs, 13456 upgd conss, 1098851 impls, 516 clqs
13.58/13.66 c (round 126) 2923 del vars, 17653 del conss, 5149 add conss, 1003 chg bounds, 374 chg sides, 1161 chg coeffs, 13456 upgd conss, 1099279 impls, 517 clqs
13.79/13.83 c (round 127) 2923 del vars, 17654 del conss, 5149 add conss, 1003 chg bounds, 374 chg sides, 1161 chg coeffs, 13456 upgd conss, 1099279 impls, 517 clqs
13.88/13.99 c (round 128) 2923 del vars, 17666 del conss, 5149 add conss, 1003 chg bounds, 374 chg sides, 1161 chg coeffs, 13456 upgd conss, 1099279 impls, 517 clqs
14.19/14.30 c (round 129) 2948 del vars, 17666 del conss, 5149 add conss, 1005 chg bounds, 374 chg sides, 1161 chg coeffs, 13456 upgd conss, 1124349 impls, 515 clqs
14.29/14.31 c (round 130) 2953 del vars, 17680 del conss, 5149 add conss, 1007 chg bounds, 374 chg sides, 1161 chg coeffs, 13461 upgd conss, 1124731 impls, 515 clqs
14.29/14.32 c (round 131) 2959 del vars, 17683 del conss, 5149 add conss, 1007 chg bounds, 374 chg sides, 1161 chg coeffs, 13465 upgd conss, 1125099 impls, 511 clqs
14.29/14.33 c (round 132) 2962 del vars, 17695 del conss, 5159 add conss, 1007 chg bounds, 374 chg sides, 1161 chg coeffs, 13465 upgd conss, 1125475 impls, 511 clqs
14.39/14.49 c (round 133) 2962 del vars, 17697 del conss, 5160 add conss, 1007 chg bounds, 374 chg sides, 1161 chg coeffs, 13465 upgd conss, 1125475 impls, 518 clqs
14.69/14.73 c (14.7s) probing: 1000/4793 (20.9%) - 793 fixings, 156 aggregations, 116739 implications, 210 bound changes
14.69/14.75 c (round 134) 2987 del vars, 17697 del conss, 5160 add conss, 1010 chg bounds, 374 chg sides, 1161 chg coeffs, 13465 upgd conss, 1138326 impls, 516 clqs
14.69/14.76 c (round 135) 2991 del vars, 17704 del conss, 5160 add conss, 1010 chg bounds, 374 chg sides, 1163 chg coeffs, 13467 upgd conss, 1138660 impls, 516 clqs
14.88/14.93 c (round 136) 2991 del vars, 17721 del conss, 5177 add conss, 1010 chg bounds, 374 chg sides, 1163 chg coeffs, 13467 upgd conss, 1138660 impls, 516 clqs
14.99/15.09 c (round 137) 2991 del vars, 17722 del conss, 5177 add conss, 1010 chg bounds, 374 chg sides, 1163 chg coeffs, 13467 upgd conss, 1138660 impls, 524 clqs
15.19/15.30 c (round 138) 3017 del vars, 17722 del conss, 5177 add conss, 1010 chg bounds, 374 chg sides, 1163 chg coeffs, 13467 upgd conss, 1141528 impls, 524 clqs
15.29/15.30 c (round 139) 3019 del vars, 17729 del conss, 5177 add conss, 1012 chg bounds, 374 chg sides, 1165 chg coeffs, 13469 upgd conss, 1141588 impls, 524 clqs
15.29/15.31 c (round 140) 3022 del vars, 17735 del conss, 5182 add conss, 1012 chg bounds, 374 chg sides, 1165 chg coeffs, 13471 upgd conss, 1141828 impls, 525 clqs
15.39/15.48 c (round 141) 3022 del vars, 17736 del conss, 5183 add conss, 1012 chg bounds, 374 chg sides, 1165 chg coeffs, 13471 upgd conss, 1141828 impls, 525 clqs
15.59/15.64 c (round 142) 3022 del vars, 17737 del conss, 5183 add conss, 1012 chg bounds, 374 chg sides, 1165 chg coeffs, 13471 upgd conss, 1141828 impls, 525 clqs
15.89/15.92 c (round 143) 3060 del vars, 17737 del conss, 5183 add conss, 1013 chg bounds, 374 chg sides, 1165 chg coeffs, 13471 upgd conss, 1167647 impls, 518 clqs
15.89/15.93 c (round 144) 3067 del vars, 17768 del conss, 5183 add conss, 1013 chg bounds, 374 chg sides, 1168 chg coeffs, 13471 upgd conss, 1168445 impls, 518 clqs
15.89/15.94 c (round 145) 3071 del vars, 17791 del conss, 5206 add conss, 1013 chg bounds, 374 chg sides, 1168 chg coeffs, 13471 upgd conss, 1168611 impls, 518 clqs
16.08/16.10 c (round 146) 3071 del vars, 17796 del conss, 5210 add conss, 1013 chg bounds, 374 chg sides, 1168 chg coeffs, 13471 upgd conss, 1168611 impls, 532 clqs
16.19/16.27 c (round 147) 3071 del vars, 17803 del conss, 5210 add conss, 1013 chg bounds, 374 chg sides, 1168 chg coeffs, 13471 upgd conss, 1168611 impls, 533 clqs
16.50/16.59 c (round 148) 3097 del vars, 17803 del conss, 5210 add conss, 1013 chg bounds, 374 chg sides, 1168 chg coeffs, 13471 upgd conss, 1192185 impls, 532 clqs
16.59/16.60 c (round 149) 3100 del vars, 17832 del conss, 5233 add conss, 1013 chg bounds, 374 chg sides, 1170 chg coeffs, 13471 upgd conss, 1192271 impls, 532 clqs
16.69/16.77 c (round 150) 3100 del vars, 17836 del conss, 5236 add conss, 1013 chg bounds, 374 chg sides, 1170 chg coeffs, 13471 upgd conss, 1192271 impls, 548 clqs
16.89/16.93 c (round 151) 3100 del vars, 17837 del conss, 5236 add conss, 1013 chg bounds, 374 chg sides, 1170 chg coeffs, 13471 upgd conss, 1192271 impls, 549 clqs
17.19/17.20 c (round 152) 3127 del vars, 17837 del conss, 5236 add conss, 1015 chg bounds, 374 chg sides, 1170 chg coeffs, 13471 upgd conss, 1221127 impls, 546 clqs
17.19/17.21 c (round 153) 3134 del vars, 17847 del conss, 5236 add conss, 1015 chg bounds, 374 chg sides, 1174 chg coeffs, 13471 upgd conss, 1222917 impls, 546 clqs
17.19/17.23 c (round 154) 3137 del vars, 17868 del conss, 5256 add conss, 1015 chg bounds, 374 chg sides, 1174 chg coeffs, 13471 upgd conss, 1223489 impls, 546 clqs
17.28/17.39 c (round 155) 3138 del vars, 17872 del conss, 5259 add conss, 1015 chg bounds, 374 chg sides, 1174 chg coeffs, 13471 upgd conss, 1224651 impls, 554 clqs
17.38/17.40 c (round 156) 3140 del vars, 17876 del conss, 5261 add conss, 1015 chg bounds, 374 chg sides, 1174 chg coeffs, 13471 upgd conss, 1224951 impls, 554 clqs
17.49/17.57 c (round 157) 3140 del vars, 17878 del conss, 5263 add conss, 1015 chg bounds, 374 chg sides, 1174 chg coeffs, 13471 upgd conss, 1224951 impls, 555 clqs
17.79/17.83 c (round 158) 3165 del vars, 17878 del conss, 5263 add conss, 1019 chg bounds, 374 chg sides, 1174 chg coeffs, 13471 upgd conss, 1233025 impls, 545 clqs
17.79/17.84 c (round 159) 3176 del vars, 17897 del conss, 5263 add conss, 1024 chg bounds, 374 chg sides, 1174 chg coeffs, 13481 upgd conss, 1234050 impls, 545 clqs
17.79/17.86 c (round 160) 3187 del vars, 17901 del conss, 5263 add conss, 1024 chg bounds, 374 chg sides, 1174 chg coeffs, 13495 upgd conss, 1236614 impls, 540 clqs
17.79/17.86 c (round 161) 3189 del vars, 17903 del conss, 5263 add conss, 1024 chg bounds, 374 chg sides, 1175 chg coeffs, 13495 upgd conss, 1236666 impls, 540 clqs
17.79/17.88 c (round 162) 3193 del vars, 17907 del conss, 5266 add conss, 1024 chg bounds, 374 chg sides, 1175 chg coeffs, 13495 upgd conss, 1239498 impls, 540 clqs
17.99/18.04 c (round 163) 3193 del vars, 17914 del conss, 5270 add conss, 1024 chg bounds, 374 chg sides, 1175 chg coeffs, 13495 upgd conss, 1239498 impls, 542 clqs
18.19/18.21 c (round 164) 3193 del vars, 17923 del conss, 5270 add conss, 1024 chg bounds, 374 chg sides, 1175 chg coeffs, 13495 upgd conss, 1239498 impls, 542 clqs
18.49/18.55 c (round 165) 3218 del vars, 17923 del conss, 5270 add conss, 1024 chg bounds, 374 chg sides, 1175 chg coeffs, 13495 upgd conss, 1263828 impls, 536 clqs
18.49/18.56 c (round 166) 3229 del vars, 17949 del conss, 5286 add conss, 1024 chg bounds, 374 chg sides, 1175 chg coeffs, 13495 upgd conss, 1265010 impls, 536 clqs
18.69/18.73 c (round 167) 3230 del vars, 17957 del conss, 5291 add conss, 1024 chg bounds, 374 chg sides, 1175 chg coeffs, 13495 upgd conss, 1265048 impls, 536 clqs
18.79/18.89 c (round 168) 3230 del vars, 17959 del conss, 5291 add conss, 1024 chg bounds, 374 chg sides, 1175 chg coeffs, 13495 upgd conss, 1265048 impls, 537 clqs
18.99/19.06 c (round 169) 3255 del vars, 17959 del conss, 5291 add conss, 1024 chg bounds, 374 chg sides, 1175 chg coeffs, 13495 upgd conss, 1277898 impls, 530 clqs
18.99/19.07 c (round 170) 3262 del vars, 17966 del conss, 5291 add conss, 1024 chg bounds, 374 chg sides, 1177 chg coeffs, 13495 upgd conss, 1278858 impls, 530 clqs
18.99/19.08 c (round 171) 3263 del vars, 17980 del conss, 5300 add conss, 1024 chg bounds, 374 chg sides, 1177 chg coeffs, 13497 upgd conss, 1279592 impls, 530 clqs
19.19/19.25 c (round 172) 3263 del vars, 17982 del conss, 5302 add conss, 1024 chg bounds, 374 chg sides, 1177 chg coeffs, 13497 upgd conss, 1279592 impls, 530 clqs
19.38/19.41 c (round 173) 3263 del vars, 17984 del conss, 5302 add conss, 1024 chg bounds, 374 chg sides, 1177 chg coeffs, 13497 upgd conss, 1279592 impls, 531 clqs
19.59/19.67 c (round 174) 3288 del vars, 17984 del conss, 5302 add conss, 1025 chg bounds, 374 chg sides, 1177 chg coeffs, 13497 upgd conss, 1306489 impls, 526 clqs
19.59/19.68 c (round 175) 3295 del vars, 17998 del conss, 5302 add conss, 1025 chg bounds, 374 chg sides, 1179 chg coeffs, 13525 upgd conss, 1310278 impls, 526 clqs
19.69/19.71 c (round 176) 3316 del vars, 18013 del conss, 5314 add conss, 1025 chg bounds, 374 chg sides, 1179 chg coeffs, 13525 upgd conss, 1312585 impls, 519 clqs
19.69/19.73 c (round 177) 3347 del vars, 18039 del conss, 5328 add conss, 1025 chg bounds, 374 chg sides, 1179 chg coeffs, 13535 upgd conss, 1315375 impls, 518 clqs
19.80/19.90 c (round 178) 3350 del vars, 18072 del conss, 5343 add conss, 1025 chg bounds, 374 chg sides, 1179 chg coeffs, 13535 upgd conss, 1315463 impls, 517 clqs
19.99/20.06 c (round 179) 3350 del vars, 18084 del conss, 5343 add conss, 1025 chg bounds, 374 chg sides, 1179 chg coeffs, 13535 upgd conss, 1315463 impls, 517 clqs
20.18/20.22 c (round 180) 3350 del vars, 18085 del conss, 5343 add conss, 1025 chg bounds, 374 chg sides, 1179 chg coeffs, 13535 upgd conss, 1315463 impls, 517 clqs
20.48/20.58 c (20.6s) probing: 2000/4793 (41.7%) - 963 fixings, 228 aggregations, 205567 implications, 220 bound changes
20.68/20.73 c (round 181) 3375 del vars, 18085 del conss, 5343 add conss, 1025 chg bounds, 374 chg sides, 1179 chg coeffs, 13535 upgd conss, 1350619 impls, 509 clqs
20.68/20.76 c (round 182) 3390 del vars, 18112 del conss, 5362 add conss, 1029 chg bounds, 374 chg sides, 1179 chg coeffs, 13553 upgd conss, 1357256 impls, 506 clqs
20.68/20.77 c (round 183) 3411 del vars, 18133 del conss, 5371 add conss, 1029 chg bounds, 374 chg sides, 1179 chg coeffs, 13559 upgd conss, 1358658 impls, 509 clqs
20.90/20.95 c (round 184) 3414 del vars, 18149 del conss, 5372 add conss, 1029 chg bounds, 374 chg sides, 1179 chg coeffs, 13559 upgd conss, 1359298 impls, 509 clqs
21.38/21.47 c (round 185) 3439 del vars, 18149 del conss, 5372 add conss, 1029 chg bounds, 374 chg sides, 1179 chg coeffs, 13559 upgd conss, 1382406 impls, 496 clqs
21.38/21.49 c (round 186) 3450 del vars, 18169 del conss, 5372 add conss, 1030 chg bounds, 374 chg sides, 1179 chg coeffs, 13577 upgd conss, 1384286 impls, 495 clqs
21.38/21.49 c (round 187) 3460 del vars, 18182 del conss, 5372 add conss, 1030 chg bounds, 374 chg sides, 1180 chg coeffs, 13596 upgd conss, 1384336 impls, 494 clqs
21.48/21.51 c (round 188) 3469 del vars, 18186 del conss, 5376 add conss, 1030 chg bounds, 374 chg sides, 1180 chg coeffs, 13596 upgd conss, 1385286 impls, 494 clqs
21.48/21.52 c (round 189) 3470 del vars, 18198 del conss, 5386 add conss, 1030 chg bounds, 374 chg sides, 1180 chg coeffs, 13596 upgd conss, 1385286 impls, 494 clqs
21.48/21.53 c (round 190) 3471 del vars, 18206 del conss, 5386 add conss, 1030 chg bounds, 374 chg sides, 1181 chg coeffs, 13596 upgd conss, 1385288 impls, 494 clqs
21.89/21.98 c (round 191) 3496 del vars, 18206 del conss, 5386 add conss, 1031 chg bounds, 374 chg sides, 1181 chg coeffs, 13596 upgd conss, 1413467 impls, 484 clqs
21.89/21.99 c (round 192) 3507 del vars, 18223 del conss, 5386 add conss, 1031 chg bounds, 374 chg sides, 1184 chg coeffs, 13620 upgd conss, 1415583 impls, 484 clqs
21.99/22.01 c (round 193) 3509 del vars, 18236 del conss, 5399 add conss, 1031 chg bounds, 374 chg sides, 1184 chg coeffs, 13620 upgd conss, 1416253 impls, 484 clqs
22.08/22.17 c (round 194) 3509 del vars, 18238 del conss, 5401 add conss, 1031 chg bounds, 374 chg sides, 1184 chg coeffs, 13620 upgd conss, 1416253 impls, 488 clqs
22.29/22.33 c (round 195) 3509 del vars, 18240 del conss, 5401 add conss, 1031 chg bounds, 374 chg sides, 1184 chg coeffs, 13620 upgd conss, 1416253 impls, 488 clqs
22.29/22.37 c (22.4s) probing cycle finished: starting next cycle
22.39/22.46 c (22.5s) probing: 120/2550 (4.7%) - 1016 fixings, 251 aggregations, 253736 implications, 221 bound changes
22.39/22.46 c (22.5s) probing aborted: 50/50 successive totally useless probings
22.39/22.46 c (round 196) 3525 del vars, 18240 del conss, 5401 add conss, 1031 chg bounds, 374 chg sides, 1184 chg coeffs, 13620 upgd conss, 1419343 impls, 465 clqs
22.39/22.48 c (round 197) 3551 del vars, 18276 del conss, 5401 add conss, 1036 chg bounds, 374 chg sides, 1186 chg coeffs, 13621 upgd conss, 1422830 impls, 464 clqs
22.48/22.50 c (round 198) 3578 del vars, 18338 del conss, 5401 add conss, 1036 chg bounds, 374 chg sides, 1187 chg coeffs, 13634 upgd conss, 1425819 impls, 444 clqs
22.48/22.53 c (round 199) 3613 del vars, 18379 del conss, 5438 add conss, 1036 chg bounds, 374 chg sides, 1187 chg coeffs, 13634 upgd conss, 1433505 impls, 438 clqs
22.48/22.54 c (round 200) 3627 del vars, 18427 del conss, 5469 add conss, 1036 chg bounds, 374 chg sides, 1187 chg coeffs, 13642 upgd conss, 1433993 impls, 442 clqs
22.48/22.55 c (round 201) 3629 del vars, 18527 del conss, 5474 add conss, 1036 chg bounds, 374 chg sides, 1187 chg coeffs, 13642 upgd conss, 1434221 impls, 443 clqs
22.68/22.72 c (round 202) 3632 del vars, 18536 del conss, 5476 add conss, 1036 chg bounds, 374 chg sides, 1187 chg coeffs, 13642 upgd conss, 1434597 impls, 443 clqs
22.78/22.89 c (round 203) 3632 del vars, 18539 del conss, 5476 add conss, 1036 chg bounds, 374 chg sides, 1187 chg coeffs, 13642 upgd conss, 1434597 impls, 443 clqs
22.99/23.05 c (round 204) 3632 del vars, 18540 del conss, 5476 add conss, 1036 chg bounds, 374 chg sides, 1187 chg coeffs, 13642 upgd conss, 1434597 impls, 443 clqs
23.09/23.12 c (23.1s) probing: 194/2550 (7.6%) - 1016 fixings, 251 aggregations, 255013 implications, 221 bound changes
23.09/23.12 c (23.1s) probing aborted: 50/50 successive totally useless probings
23.09/23.13 c presolving (205 rounds):
23.09/23.13 c 3632 deleted vars, 18540 deleted constraints, 5476 added constraints, 1036 tightened bounds, 0 added holes, 374 changed sides, 1187 changed coefficients
23.09/23.13 c 1437027 implications, 443 cliques
23.09/23.13 c presolved problem has 2427 variables (2427 bin, 0 int, 0 impl, 0 cont) and 2899 constraints
23.09/23.13 c 716 constraints of type <knapsack>
23.09/23.13 c 770 constraints of type <setppc>
23.09/23.13 c 1410 constraints of type <and>
23.09/23.13 c 3 constraints of type <logicor>
23.09/23.13 c transformed objective value is always integral (scale: 1)
23.09/23.13 c Presolving Time: 23.06
23.09/23.13 c - non default parameters ----------------------------------------------------------------------
23.09/23.13 c # SCIP version 2.1.1.4
23.09/23.13 c
23.09/23.13 c # maximal time in seconds to run
23.09/23.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.09/23.13 c limits/time = 1797
23.09/23.13 c
23.09/23.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
23.09/23.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.09/23.13 c limits/memory = 13950
23.09/23.13 c
23.09/23.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
23.09/23.13 c # [type: int, range: [1,2], default: 1]
23.09/23.13 c timing/clocktype = 2
23.09/23.13 c
23.09/23.13 c # belongs reading time to solving time?
23.09/23.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
23.09/23.13 c timing/reading = TRUE
23.09/23.13 c
23.09/23.13 c -----------------------------------------------------------------------------------------------
23.09/23.13 c start solving
23.09/23.13 c
23.09/23.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.09/23.20 c 23.2s| 1 | 0 | 775 | - | 39M| 0 | 586 |2427 |2933 |2427 |4309 | 0 | 34 | 0 | 0.000000e+00 | -- | Inf
24.79/24.81 c 24.8s| 1 | 0 | 7020 | - | 40M| 0 | 947 |2427 |2943 |2427 |5201 | 892 | 44 | 0 | 0.000000e+00 | -- | Inf
25.08/25.16 c 25.2s| 1 | 0 | 8337 | - | 41M| 0 |1059 |2427 |2943 |2427 |5986 |1677 | 44 | 0 | 0.000000e+00 | -- | Inf
25.59/25.68 c 25.7s| 1 | 0 | 9893 | - | 42M| 0 |1227 |2427 |2943 |2427 |6733 |2424 | 44 | 0 | 0.000000e+00 | -- | Inf
26.79/26.82 c 26.8s| 1 | 0 | 13269 | - | 43M| 0 |1355 |2427 |2943 |2427 |7518 |3209 | 44 | 0 | 0.000000e+00 | -- | Inf
27.99/28.06 c 28.1s| 1 | 0 | 15976 | - | 44M| 0 |1432 |2427 |2943 |2427 |8903 |4594 | 44 | 0 | 0.000000e+00 | -- | Inf
30.38/30.41 c 30.4s| 1 | 0 | 20207 | - | 45M| 0 |1557 |2427 |2943 |2427 |9792 |5483 | 44 | 0 | 0.000000e+00 | -- | Inf
37.78/37.85 c 37.9s| 1 | 2 | 20207 | - | 45M| 0 |1557 |2427 |2943 |2427 |9792 |5483 | 44 | 21 | 0.000000e+00 | -- | Inf
69.18/69.28 c
69.18/69.28 c SCIP Status : problem is solved [infeasible]
69.18/69.28 c Solving Time (sec) : 69.28
69.18/69.28 c Solving Nodes : 30
69.18/69.28 c Primal Bound : +1.00000000000000e+20 (0 solutions)
69.18/69.28 c Dual Bound : +1.00000000000000e+20
69.18/69.28 c Gap : 0.00 %
69.18/69.28 s UNSATISFIABLE
69.18/69.28 c SCIP Status : problem is solved [infeasible]
69.18/69.28 c Total Time : 69.28
69.18/69.28 c solving : 69.28
69.18/69.28 c presolving : 23.06 (included in solving)
69.18/69.28 c reading : 0.05 (included in solving)
69.18/69.28 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
69.18/69.28 c Original Problem :
69.18/69.28 c Problem name : HOME/instance-3692838-1338025344.opb
69.18/69.28 c Variables : 6059 (6059 binary, 0 integer, 0 implicit integer, 0 continuous)
69.18/69.28 c Constraints : 16684 initial, 16684 maximal
69.18/69.28 c Objective sense : minimize
69.18/69.28 c Presolved Problem :
69.18/69.28 c Problem name : t_HOME/instance-3692838-1338025344.opb
69.18/69.28 c Variables : 2427 (2427 binary, 0 integer, 0 implicit integer, 0 continuous)
69.18/69.28 c Constraints : 2899 initial, 2978 maximal
69.18/69.28 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
69.18/69.28 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
69.18/69.28 c trivial : 0.04 0.00 61 0 0 0 0 0 0 0 0
69.18/69.28 c dualfix : 0.02 0.00 2 0 0 0 0 0 0 0 0
69.18/69.28 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
69.18/69.28 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
69.18/69.28 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
69.18/69.28 c gateextraction : 0.04 0.00 0 0 0 0 0 12365 4120 0 0
69.18/69.28 c implics : 0.18 0.00 0 465 0 0 0 0 0 0 0
69.18/69.28 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
69.18/69.28 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
69.18/69.28 c probing : 4.11 0.00 1016 251 0 221 0 0 0 0 0
69.18/69.28 c knapsack : 0.21 0.00 0 0 0 0 0 0 0 0 0
69.18/69.28 c setppc : 0.55 0.00 1 244 0 0 0 918 0 0 0
69.18/69.28 c and : 17.41 0.00 39 747 0 8 0 1776 1356 0 306
69.18/69.28 c linear : 0.27 0.00 796 10 0 796 0 3477 0 374 881
69.18/69.28 c logicor : 0.07 0.00 0 0 0 11 0 4 0 0 0
69.18/69.28 c root node : - - 202 - - 202 - - - - -
69.18/69.28 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
69.18/69.28 c integral : 0 0 0 0 35 0 4 0 2 37 0 0 38
69.18/69.28 c knapsack : 716 716 6 14905 0 0 3 0 0 0 1203 0 0
69.18/69.28 c setppc : 770 770 6 14905 0 0 0 1086 42 1399 0 0 0
69.18/69.28 c and : 1410 1410 90 14863 0 0 0 2108 119 4105 2094 0 0
69.18/69.28 c logicor : 3+ 83 6 1610 0 0 0 50 12 46 18 0 0
69.18/69.28 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
69.18/69.28 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
69.18/69.28 c integral : 35.18 0.00 0.00 0.00 35.18 0.00 0.00 0.00
69.18/69.28 c knapsack : 0.17 0.00 0.02 0.15 0.00 0.00 0.00 0.00
69.18/69.28 c setppc : 0.28 0.00 0.00 0.28 0.00 0.00 0.00 0.00
69.18/69.28 c and : 0.81 0.00 0.04 0.77 0.00 0.00 0.00 0.00
69.18/69.28 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
69.18/69.28 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
69.18/69.28 c Propagators : #Propagate #ResProp Cutoffs DomReds
69.18/69.28 c rootredcost : 0 0 0 0
69.18/69.28 c pseudoobj : 0 0 0 0
69.18/69.28 c vbounds : 0 0 0 0
69.18/69.28 c redcost : 105 0 0 0
69.18/69.28 c probing : 0 0 0 0
69.18/69.28 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
69.18/69.28 c rootredcost : 0.01 0.00 0.00 0.01 0.00
69.18/69.28 c pseudoobj : 0.01 0.00 0.00 0.01 0.00
69.18/69.28 c vbounds : 0.01 0.00 0.00 0.01 0.00
69.18/69.28 c redcost : 0.01 0.00 0.00 0.01 0.00
69.18/69.28 c probing : 4.11 0.00 4.11 0.00 0.00
69.18/69.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
69.18/69.28 c propagation : 0.01 173 33 66 7.9 21 9.0 -
69.18/69.28 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
69.18/69.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
69.18/69.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
69.18/69.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
69.18/69.28 c applied globally : - - - 80 8.1 - - -
69.18/69.28 c applied locally : - - - 0 0.0 - - -
69.18/69.28 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
69.18/69.28 c cut pool : 0.00 5 - - 682 - (maximal pool size: 7636)
69.18/69.28 c closecuts : 0.00 0.00 0 0 0 0 0
69.18/69.28 c impliedbounds : 0.02 0.00 6 0 0 7206 0
69.18/69.28 c intobj : 0.00 0.00 0 0 0 0 0
69.18/69.28 c gomory : 0.07 0.00 6 0 0 300 0
69.18/69.28 c cgmip : 0.00 0.00 0 0 0 0 0
69.18/69.28 c strongcg : 1.27 0.00 6 0 0 2852 0
69.18/69.28 c cmir : 0.27 0.00 6 0 0 405 0
69.18/69.28 c flowcover : 0.31 0.00 6 0 0 1200 0
69.18/69.28 c clique : 0.58 0.00 6 0 0 51 0
69.18/69.28 c zerohalf : 0.00 0.00 0 0 0 0 0
69.18/69.28 c mcf : 0.00 0.00 1 0 0 0 0
69.18/69.28 c oddcycle : 0.00 0.00 0 0 0 0 0
69.18/69.28 c rapidlearning : 0.00 0.00 0 0 0 0 0
69.18/69.28 c Pricers : ExecTime SetupTime Calls Vars
69.18/69.28 c problem variables: 0.00 - 0 0
69.18/69.28 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
69.18/69.28 c relpscost : 35.18 0.00 35 2 37 0 0 38
69.18/69.28 c pscost : 0.00 0.00 0 0 0 0 0 0
69.18/69.28 c inference : 0.00 0.00 0 0 0 0 0 0
69.18/69.28 c mostinf : 0.00 0.00 0 0 0 0 0 0
69.18/69.28 c leastinf : 0.00 0.00 0 0 0 0 0 0
69.18/69.28 c fullstrong : 0.00 0.00 0 0 0 0 0 0
69.18/69.28 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
69.18/69.28 c random : 0.00 0.00 0 0 0 0 0 0
69.18/69.28 c Primal Heuristics : ExecTime SetupTime Calls Found
69.18/69.28 c LP solutions : 0.00 - - 0
69.18/69.28 c pseudo solutions : 0.00 - - 0
69.18/69.28 c oneopt : 0.00 0.00 0 0
69.18/69.28 c crossover : 0.00 0.00 0 0
69.18/69.28 c coefdiving : 0.00 0.00 0 0
69.18/69.28 c pscostdiving : 0.00 0.00 0 0
69.18/69.28 c fracdiving : 0.00 0.00 0 0
69.18/69.28 c veclendiving : 0.00 0.00 0 0
69.18/69.28 c objpscostdiving : 0.00 0.00 0 0
69.18/69.28 c rootsoldiving : 0.00 0.00 0 0
69.18/69.28 c linesearchdiving : 0.00 0.00 0 0
69.18/69.28 c guideddiving : 0.00 0.00 0 0
69.18/69.28 c smallcard : 0.00 0.00 0 0
69.18/69.28 c trivial : 0.00 0.00 2 0
69.18/69.28 c shiftandpropagate: 0.03 0.00 1 0
69.18/69.28 c simplerounding : 0.00 0.00 0 0
69.18/69.28 c zirounding : 0.01 0.00 0 0
69.18/69.28 c rounding : 0.04 0.00 105 0
69.18/69.28 c shifting : 0.11 0.00 7 0
69.18/69.28 c intshifting : 0.00 0.00 0 0
69.18/69.28 c twoopt : 0.00 0.00 0 0
69.18/69.28 c indtwoopt : 0.00 0.00 0 0
69.18/69.28 c indoneopt : 0.00 0.00 0 0
69.18/69.28 c fixandinfer : 0.00 0.00 0 0
69.18/69.28 c feaspump : 0.67 0.00 1 0
69.18/69.28 c clique : 0.00 0.00 0 0
69.18/69.28 c indcoefdiving : 0.00 0.00 0 0
69.18/69.28 c indrounding : 0.00 0.00 0 0
69.18/69.28 c nlpdiving : 0.00 0.00 0 0
69.18/69.28 c intdiving : 0.00 0.00 0 0
69.18/69.28 c actconsdiving : 0.00 0.00 0 0
69.18/69.28 c octane : 0.00 0.00 0 0
69.18/69.28 c rens : 0.02 0.00 0 0
69.18/69.28 c rins : 0.00 0.00 0 0
69.18/69.28 c localbranching : 0.00 0.00 0 0
69.18/69.28 c mutation : 0.00 0.00 0 0
69.18/69.28 c dins : 0.00 0.00 0 0
69.18/69.28 c vbounds : 0.00 0.00 0 0
69.18/69.28 c undercover : 0.32 0.00 1 0
69.18/69.28 c subnlp : 0.00 0.00 0 0
69.18/69.28 c trysol : 0.00 0.00 0 0
69.18/69.28 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
69.18/69.28 c primal LP : 0.00 1 0 0.00 - 0.00 1
69.18/69.28 c dual LP : 6.62 106 28450 270.95 4295.70 0.00 1
69.18/69.28 c lex dual LP : 0.00 0 0 0.00 -
69.18/69.28 c barrier LP : 0.00 0 0 0.00 - 0.00 0
69.18/69.28 c diving/probing LP: 0.65 10 5281 528.10 8100.55
69.18/69.28 c strong branching : 35.16 367 138619 377.71 3942.79
69.18/69.28 c (at root node) : - 21 20099 957.10 -
69.18/69.28 c conflict analysis: 0.00 0 0 0.00 -
69.18/69.28 c B&B Tree :
69.18/69.28 c number of runs : 1
69.18/69.28 c nodes : 30
69.18/69.28 c nodes (total) : 30
69.18/69.28 c nodes left : 0
69.18/69.28 c max depth : 8
69.18/69.28 c max depth (total): 8
69.18/69.28 c backtracks : 8 (26.7%)
69.18/69.28 c delayed cutoffs : 9
69.18/69.28 c repropagations : 14 (900 domain reductions, 6 cutoffs)
69.18/69.28 c avg switch length: 2.73
69.18/69.28 c switching time : 0.06
69.18/69.28 c Solution :
69.18/69.28 c Solutions found : 0 (0 improvements)
69.18/69.28 c Primal Bound : infeasible
69.18/69.28 c Dual Bound : -
69.18/69.28 c Gap : 0.00 %
69.18/69.28 c Root Dual Bound : +0.00000000000000e+00
69.18/69.28 c Root Iterations : 20207
69.28/69.33 c Time complete: 69.31.