Registering Logic ConstraintAnalyzers...done
Registering ConstraintAnalyzers...done
Registering SolutionTransformers...done
Output dir: ./ns894236/default/1322242078_CcCL
>config
	probName = ns894236
	runName = default
	presolve = 1
IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
>originalProblem
	nvars = 9666
	binaries = 9666
	integers = 0
	nrows = 8218
>presolvedProblem
	hasPresolve = 1
	emptyProblem = 0
	offset = 0
>presolvedProblem
	nvars = 5965
	binaries = 5965
	integers = 0
	nrows = 2664
>config
	firstOptMethod = simplex
	reOptMethod = primal
	timeLimit = 7200
	iterLimit = 2000
	s1IterLimit = 10000
	s1MaxMissedDecrease = 70
	maxMissedDecrease = 600
	maxRestarts = 100
	avgFlips = 20
	seed = 1322242078
	sigmaThr = 0.02
	perturbeFromTransformerOutput = 1
	optIterLimit = -1
	reOptIterLimit = -1
	alpha = 0
	alphaFactor = 0.9
	alphaDist = 0.005
	doStage3 = 1
	logPerturbation = 0
	logDetails = 0
	logFracX = 0
	logIteration = 0
	logTime = 0
	logIntX = 0
	logIncumbent = 0
	logLP = 0
>config
	randomizedRounding = 1
	logDetails = 0
>config
	ranker = FRAC
	logDetails = 0
>config
	reverse = 0
	rankNoise = 0.1
	noiseAfter = 10
>fpInit

Propagators:
equiv 0
implies 77
cardinality 85
knapsack 0
linear 2502

	isPureInteger = 1
	fixedCnt = 0
	isBinary = 1
relaxationTime = 0.812051
relaxationObjValue = 12.3844
>Stage1
#iteration = 20
#iteration = 40
#iteration = 60
	s1Iterations = 68
>Stage2
	maxFlipsInRestart = 0
Found Solution!
>stats
	found = 1
	stage = 1
	totalLpTime = 30.5899
	totalRoundingTime = 0.200012
	iterations = 68
	time = 31.606
	perturbationCnt = 3
	restartCnt = 2
>results
	firstValue = 18
	firstIt = 68
	firstTime = 31.606
	lastValue = 18
	lastIt = 68
	lastTime = 31.606

Solution (only non-zero entries are reported): 
R9649 = 1
R9650 = 1
R9651 = 1
R9652 = 1
R9653 = 1
R9654 = 1
R9655 = 1
R9656 = 1
R9657 = 1
R9658 = 1
R9659 = 1
R9660 = 1
R9661 = 1
R9662 = 1
R9663 = 1
R9664 = 1
R9665 = 1
R9666 = 1
R11 = 1
R234 = 1
R467 = 1
R687 = 1
R915 = 1
R1141 = 1
R1373 = 1
R1600 = 1
R1605 = 1
R1827 = 1
R1832 = 1
R2060 = 1
R2286 = 1
R2287 = 1
R2513 = 1
R2934 = 1
R86 = 1
R98 = 1
R110 = 1
R122 = 1
R134 = 1
R146 = 1
R158 = 1
R170 = 1
R182 = 1
R194 = 1
R206 = 1
R218 = 1
R3002 = 1
R112 = 1
R124 = 1
R136 = 1
R148 = 1
R160 = 1
R172 = 1
R184 = 1
R196 = 1
R208 = 1
R220 = 1
R2786 = 1
R30 = 1
R42 = 1
R54 = 1
R66 = 1
R78 = 1
R90 = 1
R102 = 1
R114 = 1
R126 = 1
R138 = 1
R150 = 1
R162 = 1
R174 = 1
R186 = 1
R198 = 1
R210 = 1
R222 = 1
R3101 = 1
R153 = 1
R165 = 1
R177 = 1
R189 = 1
R201 = 1
R213 = 1
R225 = 1
R2860 = 1
R58 = 1
R70 = 1
R82 = 1
R94 = 1
R106 = 1
R118 = 1
R130 = 1
R142 = 1
R154 = 1
R166 = 1
R178 = 1
R190 = 1
R202 = 1
R214 = 1
R226 = 1
R23 = 1
R35 = 1
R47 = 1
R59 = 1
R71 = 1
R83 = 1
R95 = 1
R107 = 1
R119 = 1
R131 = 1
R143 = 1
R155 = 1
R167 = 1
R179 = 1
R191 = 1
R203 = 1
R215 = 1
R227 = 1
R3858 = 1
R445 = 1
R3318 = 1
R242 = 1
R254 = 1
R266 = 1
R278 = 1
R290 = 1
R302 = 1
R314 = 1
R326 = 1
R338 = 1
R350 = 1
R362 = 1
R374 = 1
R386 = 1
R398 = 1
R410 = 1
R422 = 1
R434 = 1
R446 = 1
R3736 = 1
R399 = 1
R411 = 1
R423 = 1
R435 = 1
R447 = 1
R3482 = 1
R304 = 1
R316 = 1
R328 = 1
R340 = 1
R352 = 1
R364 = 1
R376 = 1
R388 = 1
R400 = 1
R412 = 1
R424 = 1
R436 = 1
R448 = 1
R246 = 1
R258 = 1
R270 = 1
R282 = 1
R294 = 1
R306 = 1
R318 = 1
R330 = 1
R342 = 1
R354 = 1
R366 = 1
R378 = 1
R390 = 1
R402 = 1
R414 = 1
R426 = 1
R438 = 1
R450 = 1
R3593 = 1
R343 = 1
R355 = 1
R367 = 1
R379 = 1
R391 = 1
R403 = 1
R415 = 1
R427 = 1
R439 = 1
R451 = 1
R3747 = 1
R404 = 1
R416 = 1
R428 = 1
R440 = 1
R452 = 1
R3517 = 1
R321 = 1
R333 = 1
R345 = 1
R357 = 1
R369 = 1
R381 = 1
R393 = 1
R405 = 1
R417 = 1
R429 = 1
R441 = 1
R453 = 1
R3790 = 1
R418 = 1
R430 = 1
R442 = 1
R454 = 1
R4146 = 1
R565 = 1
R577 = 1
R589 = 1
R601 = 1
R613 = 1
R625 = 1
R637 = 1
R649 = 1
R661 = 1
R673 = 1
R3949 = 1
R482 = 1
R494 = 1
R506 = 1
R518 = 1
R530 = 1
R542 = 1
R554 = 1
R566 = 1
R578 = 1
R590 = 1
R602 = 1
R614 = 1
R626 = 1
R638 = 1
R650 = 1
R662 = 1
R674 = 1
R4123 = 1
R555 = 1
R567 = 1
R579 = 1
R591 = 1
R603 = 1
R615 = 1
R627 = 1
R639 = 1
R651 = 1
R663 = 1
R675 = 1
R4026 = 1
R520 = 1
R532 = 1
R544 = 1
R556 = 1
R568 = 1
R580 = 1
R592 = 1
R604 = 1
R616 = 1
R628 = 1
R640 = 1
R652 = 1
R664 = 1
R676 = 1
R4224 = 1
R593 = 1
R605 = 1
R617 = 1
R629 = 1
R641 = 1
R653 = 1
R665 = 1
R677 = 1
R4292 = 1
R619 = 1
R631 = 1
R643 = 1
R655 = 1
R667 = 1
R679 = 1
R4262 = 1
R608 = 1
R620 = 1
R632 = 1
R644 = 1
R656 = 1
R668 = 1
R680 = 1
R4362 = 1
R645 = 1
R657 = 1
R669 = 1
R681 = 1
R3916 = 1
R478 = 1
R490 = 1
R502 = 1
R514 = 1
R526 = 1
R538 = 1
R550 = 1
R562 = 1
R574 = 1
R586 = 1
R598 = 1
R610 = 1
R622 = 1
R634 = 1
R646 = 1
R658 = 1
R670 = 1
R682 = 1
R479 = 1
R491 = 1
R503 = 1
R515 = 1
R527 = 1
R539 = 1
R551 = 1
R563 = 1
R575 = 1
R587 = 1
R599 = 1
R611 = 1
R623 = 1
R635 = 1
R647 = 1
R659 = 1
R671 = 1
R683 = 1
R4626 = 1
R757 = 1
R769 = 1
R781 = 1
R793 = 1
R805 = 1
R817 = 1
R829 = 1
R841 = 1
R853 = 1
R865 = 1
R877 = 1
R889 = 1
R901 = 1
R4982 = 1
R890 = 1
R902 = 1
R699 = 1
R711 = 1
R723 = 1
R735 = 1
R747 = 1
R759 = 1
R771 = 1
R783 = 1
R795 = 1
R807 = 1
R819 = 1
R831 = 1
R843 = 1
R855 = 1
R867 = 1
R879 = 1
R891 = 1
R903 = 1
R4476 = 1
R700 = 1
R712 = 1
R724 = 1
R736 = 1
R748 = 1
R760 = 1
R772 = 1
R784 = 1
R796 = 1
R808 = 1
R820 = 1
R832 = 1
R844 = 1
R856 = 1
R868 = 1
R880 = 1
R892 = 1
R904 = 1
R4768 = 1
R809 = 1
R821 = 1
R833 = 1
R845 = 1
R857 = 1
R869 = 1
R881 = 1
R893 = 1
R905 = 1
R4610 = 1
R750 = 1
R762 = 1
R774 = 1
R786 = 1
R798 = 1
R810 = 1
R822 = 1
R834 = 1
R846 = 1
R858 = 1
R870 = 1
R882 = 1
R894 = 1
R906 = 1
R4573 = 1
R741 = 1
R753 = 1
R765 = 1
R777 = 1
R789 = 1
R801 = 1
R813 = 1
R825 = 1
R837 = 1
R849 = 1
R861 = 1
R873 = 1
R885 = 1
R897 = 1
R909 = 1
R4972 = 1
R886 = 1
R898 = 1
R910 = 1
R4560 = 1
R731 = 1
R743 = 1
R755 = 1
R767 = 1
R779 = 1
R791 = 1
R803 = 1
R815 = 1
R827 = 1
R839 = 1
R851 = 1
R863 = 1
R875 = 1
R887 = 1
R899 = 1
R911 = 1
R927 = 1
R939 = 1
R951 = 1
R963 = 1
R975 = 1
R987 = 1
R999 = 1
R1011 = 1
R1023 = 1
R1035 = 1
R1047 = 1
R1059 = 1
R1071 = 1
R1083 = 1
R1095 = 1
R1107 = 1
R1119 = 1
R1131 = 1
R5340 = 1
R1036 = 1
R1048 = 1
R1060 = 1
R1072 = 1
R1084 = 1
R1096 = 1
R1108 = 1
R1120 = 1
R1132 = 1
R5605 = 1
R1133 = 1
R5506 = 1
R1098 = 1
R1110 = 1
R1122 = 1
R1134 = 1
R5609 = 1
R1135 = 1
R5575 = 1
R1124 = 1
R1136 = 1
R5533 = 1
R1113 = 1
R1125 = 1
R1137 = 1
R5452 = 1
R1078 = 1
R1090 = 1
R1102 = 1
R1114 = 1
R1126 = 1
R1138 = 1
R5392 = 1
R1055 = 1
R1067 = 1
R1079 = 1
R1091 = 1
R1103 = 1
R1115 = 1
R1127 = 1
R1139 = 1
R1153 = 1
R1165 = 1
R1177 = 1
R1189 = 1
R1201 = 1
R1213 = 1
R1225 = 1
R1237 = 1
R1249 = 1
R1261 = 1
R1273 = 1
R1285 = 1
R1297 = 1
R1309 = 1
R1321 = 1
R1333 = 1
R1345 = 1
R1357 = 1
R6046 = 1
R1312 = 1
R1324 = 1
R1336 = 1
R1348 = 1
R1360 = 1
R5696 = 1
R1181 = 1
R1193 = 1
R1205 = 1
R1217 = 1
R1229 = 1
R1241 = 1
R1253 = 1
R1265 = 1
R1277 = 1
R1289 = 1
R1301 = 1
R1313 = 1
R1325 = 1
R1337 = 1
R1349 = 1
R1361 = 1
R5894 = 1
R1256 = 1
R1268 = 1
R1280 = 1
R1292 = 1
R1304 = 1
R1316 = 1
R1328 = 1
R1340 = 1
R1352 = 1
R1364 = 1
R5960 = 1
R1281 = 1
R1293 = 1
R1305 = 1
R1317 = 1
R1329 = 1
R1341 = 1
R1353 = 1
R1365 = 1
R6207 = 1
R1381 = 1
R1393 = 1
R1405 = 1
R1417 = 1
R1429 = 1
R1441 = 1
R1453 = 1
R1465 = 1
R1477 = 1
R1489 = 1
R1501 = 1
R1513 = 1
R1525 = 1
R1537 = 1
R1549 = 1
R1561 = 1
R1573 = 1
R1585 = 1
R6679 = 1
R1562 = 1
R1574 = 1
R1586 = 1
R6225 = 1
R1395 = 1
R1407 = 1
R1419 = 1
R1431 = 1
R1443 = 1
R1455 = 1
R1467 = 1
R1479 = 1
R1491 = 1
R1503 = 1
R1515 = 1
R1527 = 1
R1539 = 1
R1551 = 1
R1563 = 1
R1575 = 1
R1587 = 1
R6716 = 1
R1576 = 1
R1588 = 1
R1385 = 1
R1397 = 1
R1409 = 1
R1421 = 1
R1433 = 1
R1445 = 1
R1457 = 1
R1469 = 1
R1481 = 1
R1493 = 1
R1505 = 1
R1517 = 1
R1529 = 1
R1541 = 1
R1553 = 1
R1565 = 1
R1577 = 1
R1589 = 1
R6741 = 1
R1590 = 1
R7295 = 1
R1801 = 1
R1813 = 1
R1612 = 1
R1624 = 1
R1636 = 1
R1648 = 1
R1660 = 1
R1672 = 1
R1684 = 1
R1696 = 1
R1708 = 1
R1720 = 1
R1732 = 1
R1744 = 1
R1756 = 1
R1768 = 1
R1780 = 1
R1792 = 1
R1804 = 1
R1816 = 1
R7269 = 1
R1793 = 1
R1805 = 1
R1817 = 1
R6921 = 1
R1663 = 1
R1675 = 1
R1687 = 1
R1699 = 1
R1711 = 1
R1723 = 1
R1735 = 1
R1747 = 1
R1759 = 1
R1771 = 1
R1783 = 1
R1795 = 1
R1807 = 1
R1819 = 1
R7015 = 1
R1700 = 1
R1712 = 1
R1724 = 1
R1736 = 1
R1748 = 1
R1760 = 1
R1772 = 1
R1784 = 1
R1796 = 1
R1808 = 1
R1820 = 1
R1617 = 1
R1629 = 1
R1641 = 1
R1653 = 1
R1665 = 1
R1677 = 1
R1689 = 1
R1701 = 1
R1713 = 1
R1725 = 1
R1737 = 1
R1749 = 1
R1761 = 1
R1773 = 1
R1785 = 1
R1797 = 1
R1809 = 1
R1821 = 1
R7583 = 1
R1921 = 1
R1933 = 1
R1945 = 1
R1957 = 1
R1969 = 1
R1981 = 1
R1993 = 1
R2005 = 1
R2017 = 1
R2029 = 1
R2041 = 1
R7447 = 1
R1874 = 1
R1886 = 1
R1898 = 1
R1910 = 1
R1922 = 1
R1934 = 1
R1946 = 1
R1958 = 1
R1970 = 1
R1982 = 1
R1994 = 1
R2006 = 1
R2018 = 1
R2030 = 1
R2042 = 1
R1839 = 1
R1851 = 1
R1863 = 1
R1875 = 1
R1887 = 1
R1899 = 1
R1911 = 1
R1923 = 1
R1935 = 1
R1947 = 1
R1959 = 1
R1971 = 1
R1983 = 1
R1995 = 1
R2007 = 1
R2019 = 1
R2031 = 1
R2043 = 1
R7674 = 1
R1960 = 1
R1972 = 1
R1984 = 1
R1996 = 1
R2008 = 1
R2020 = 1
R2032 = 1
R2044 = 1
R7397 = 1
R1853 = 1
R1865 = 1
R1877 = 1
R1889 = 1
R1901 = 1
R1913 = 1
R1925 = 1
R1937 = 1
R1949 = 1
R1961 = 1
R1973 = 1
R1985 = 1
R1997 = 1
R2009 = 1
R2021 = 1
R2033 = 1
R2045 = 1
R7573 = 1
R1926 = 1
R1938 = 1
R1950 = 1
R1962 = 1
R1974 = 1
R1986 = 1
R1998 = 1
R2010 = 1
R2022 = 1
R2034 = 1
R2046 = 1
R1844 = 1
R1856 = 1
R1868 = 1
R1880 = 1
R1892 = 1
R1904 = 1
R1916 = 1
R1928 = 1
R1940 = 1
R1952 = 1
R1964 = 1
R1976 = 1
R1988 = 1
R2000 = 1
R2012 = 1
R2024 = 1
R2036 = 1
R2048 = 1
R7528 = 1
R1905 = 1
R1917 = 1
R1929 = 1
R1941 = 1
R1953 = 1
R1965 = 1
R1977 = 1
R1989 = 1
R2001 = 1
R2013 = 1
R2025 = 1
R2037 = 1
R2049 = 1
R7916 = 1
R2050 = 1
R7777 = 1
R2003 = 1
R2015 = 1
R2027 = 1
R2039 = 1
R2051 = 1
R7993 = 1
R2090 = 1
R2102 = 1
R2114 = 1
R2126 = 1
R2138 = 1
R2150 = 1
R2162 = 1
R2174 = 1
R2186 = 1
R2198 = 1
R2210 = 1
R2222 = 1
R2234 = 1
R2246 = 1
R2258 = 1
R2270 = 1
R8315 = 1
R2211 = 1
R2223 = 1
R2235 = 1
R2247 = 1
R2259 = 1
R2271 = 1
R7966 = 1
R2080 = 1
R2092 = 1
R2104 = 1
R2116 = 1
R2128 = 1
R2140 = 1
R2152 = 1
R2164 = 1
R2176 = 1
R2188 = 1
R2200 = 1
R2212 = 1
R2224 = 1
R2236 = 1
R2248 = 1
R2260 = 1
R2272 = 1
R8389 = 1
R2237 = 1
R2249 = 1
R2261 = 1
R2273 = 1
R8309 = 1
R2214 = 1
R2226 = 1
R2238 = 1
R2250 = 1
R2262 = 1
R2274 = 1
R8036 = 1
R2107 = 1
R2119 = 1
R2131 = 1
R2143 = 1
R2155 = 1
R2167 = 1
R2179 = 1
R2191 = 1
R2203 = 1
R2215 = 1
R2227 = 1
R2239 = 1
R2251 = 1
R2263 = 1
R2275 = 1
R2072 = 1
R2084 = 1
R2096 = 1
R2108 = 1
R2120 = 1
R2132 = 1
R2144 = 1
R2156 = 1
R2168 = 1
R2180 = 1
R2192 = 1
R2204 = 1
R2216 = 1
R2228 = 1
R2240 = 1
R2252 = 1
R2264 = 1
R2276 = 1
R7944 = 1
R2073 = 1
R2085 = 1
R2097 = 1
R2109 = 1
R2121 = 1
R2133 = 1
R2145 = 1
R2157 = 1
R2169 = 1
R2181 = 1
R2193 = 1
R2205 = 1
R2217 = 1
R2229 = 1
R2241 = 1
R2253 = 1
R2265 = 1
R2277 = 1
R8302 = 1
R2206 = 1
R2218 = 1
R2230 = 1
R2242 = 1
R2254 = 1
R2266 = 1
R2278 = 1
R8927 = 1
R2449 = 1
R2461 = 1
R2473 = 1
R2485 = 1
R2497 = 1
R8790 = 1
R2402 = 1
R2414 = 1
R2426 = 1
R2438 = 1
R2450 = 1
R2462 = 1
R2474 = 1
R2486 = 1
R2498 = 1
R8879 = 1
R2427 = 1
R2439 = 1
R2451 = 1
R2463 = 1
R2475 = 1
R2487 = 1
R2499 = 1
R8956 = 1
R2464 = 1
R2476 = 1
R2488 = 1
R2500 = 1
R8645 = 1
R2345 = 1
R2357 = 1
R2369 = 1
R2381 = 1
R2393 = 1
R2405 = 1
R2417 = 1
R2429 = 1
R2441 = 1
R2453 = 1
R2465 = 1
R2477 = 1
R2489 = 1
R2501 = 1
R2298 = 1
R2310 = 1
R2322 = 1
R2334 = 1
R2346 = 1
R2358 = 1
R2370 = 1
R2382 = 1
R2394 = 1
R2406 = 1
R2418 = 1
R2430 = 1
R2442 = 1
R2454 = 1
R2466 = 1
R2478 = 1
R2490 = 1
R2502 = 1
R2299 = 1
R2311 = 1
R2323 = 1
R2335 = 1
R2347 = 1
R2359 = 1
R2371 = 1
R2383 = 1
R2395 = 1
R2407 = 1
R2419 = 1
R2431 = 1
R2443 = 1
R2455 = 1
R2467 = 1
R2479 = 1
R2491 = 1
R2503 = 1
R8579 = 1
R2324 = 1
R2336 = 1
R2348 = 1
R2360 = 1
R2372 = 1
R2384 = 1
R2396 = 1
R2408 = 1
R2420 = 1
R2432 = 1
R2444 = 1
R2456 = 1
R2468 = 1
R2480 = 1
R2492 = 1
R2504 = 1
R8810 = 1
R2409 = 1
R2421 = 1
R2433 = 1
R2445 = 1
R2457 = 1
R2469 = 1
R2481 = 1
R2493 = 1
R2505 = 1
R8748 = 1
R2386 = 1
R2398 = 1
R2410 = 1
R2422 = 1
R2434 = 1
R2446 = 1
R2458 = 1
R2470 = 1
R2482 = 1
R2494 = 1
R2506 = 1
R8673 = 1
R2363 = 1
R2375 = 1
R2387 = 1
R2399 = 1
R2411 = 1
R2423 = 1
R2435 = 1
R2447 = 1
R2459 = 1
R2471 = 1
R2483 = 1
R2495 = 1
R2507 = 1
R9183 = 1
R2557 = 1
R2569 = 1
R2581 = 1
R2593 = 1
R2605 = 1
R2617 = 1
R2629 = 1
R2641 = 1
R2653 = 1
R2665 = 1
R2677 = 1
R2689 = 1
R2701 = 1
R2713 = 1
R2725 = 1
R9201 = 1
R2571 = 1
R2583 = 1
R2595 = 1
R2607 = 1
R2619 = 1
R2631 = 1
R2643 = 1
R2655 = 1
R2667 = 1
R2679 = 1
R2691 = 1
R2703 = 1
R2715 = 1
R2727 = 1
R2525 = 1
R2537 = 1
R2549 = 1
R2561 = 1
R2573 = 1
R2585 = 1
R2597 = 1
R2609 = 1
R2621 = 1
R2633 = 1
R2645 = 1
R2657 = 1
R2669 = 1
R2681 = 1
R2693 = 1
R2705 = 1
R2717 = 1
R2729 = 1
R9346 = 1
R2622 = 1
R2634 = 1
R2646 = 1
R2658 = 1
R2670 = 1
R2682 = 1
R2694 = 1
R2706 = 1
R2718 = 1
R2730 = 1
R9286 = 1
R2600 = 1
R2612 = 1
R2624 = 1
R2636 = 1
R2648 = 1
R2660 = 1
R2672 = 1
R2684 = 1
R2696 = 1
R2708 = 1
R2720 = 1
R2732 = 1
R9296 = 1
R2603 = 1
R2615 = 1
R2627 = 1
R2639 = 1
R2651 = 1
R2663 = 1
R2675 = 1
R2687 = 1
R2699 = 1
R2711 = 1
R2723 = 1
R2735 = 1
31.75user 0.08system 0:31.50elapsed 101%CPU (0avgtext+0avgdata 121936maxresident)k
0inputs+328outputs (0major+10538minor)pagefaults 0swaps