Registering Logic ConstraintAnalyzers...done
Registering ConstraintAnalyzers...done
Registering SolutionTransformers...done
Output dir: ./ns903616/default/1322242171_DaQq
>config
	probName = ns903616
	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 = 21582
	binaries = 21582
	integers = 0
	nrows = 18052
>presolvedProblem
	hasPresolve = 1
	emptyProblem = 0
	offset = 0
>presolvedProblem
	nvars = 13094
	binaries = 13094
	integers = 0
	nrows = 5428
>config
	firstOptMethod = simplex
	reOptMethod = primal
	timeLimit = 7200
	iterLimit = 2000
	s1IterLimit = 10000
	s1MaxMissedDecrease = 70
	maxMissedDecrease = 600
	maxRestarts = 100
	avgFlips = 20
	seed = 1322242171
	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 155
cardinality 84
knapsack 0
linear 5189

	isPureInteger = 1
	fixedCnt = 0
	isBinary = 1
relaxationTime = 2.37615
relaxationObjValue = 14.7706
>Stage1
#iteration = 20
#iteration = 40
#iteration = 60
	s1Iterations = 67
>Stage2
	maxFlipsInRestart = 0
Found Solution!
>stats
	found = 1
	stage = 1
	totalLpTime = 13.6008
	totalRoundingTime = 0.508033
	iterations = 67
	time = 16.501
	perturbationCnt = 9
	restartCnt = 3
>results
	firstValue = 22
	firstIt = 67
	firstTime = 16.501
	lastValue = 22
	lastIt = 67
	lastTime = 16.501

Solution (only non-zero entries are reported): 
R21561 = 1
R21562 = 1
R21563 = 1
R21564 = 1
R21565 = 1
R21566 = 1
R21567 = 1
R21568 = 1
R21569 = 1
R21570 = 1
R21571 = 1
R21572 = 1
R21573 = 1
R21574 = 1
R21575 = 1
R21576 = 1
R21577 = 1
R21578 = 1
R21579 = 1
R21580 = 1
R21581 = 1
R21582 = 1
R8 = 1
R10 = 1
R11 = 1
R284 = 1
R553 = 1
R562 = 1
R831 = 1
R1107 = 1
R1112 = 1
R1116 = 1
R1381 = 1
R1387 = 1
R1660 = 1
R1665 = 1
R1666 = 1
R1935 = 1
R1940 = 1
R2214 = 1
R2215 = 1
R2216 = 1
R2490 = 1
R2491 = 1
R2762 = 1
R2765 = 1
R2768 = 1
R3046 = 1
R3048 = 1
R3315 = 1
R3594 = 1
R3595 = 1
R3599 = 1
R3867 = 1
R3873 = 1
R3874 = 1
R4142 = 1
R4145 = 1
R4426 = 1
R4698 = 1
R4701 = 1
R4703 = 1
R4970 = 1
R5245 = 1
R5523 = 1
R5527 = 1
R5530 = 1
R5799 = 1
R5800 = 1
R5805 = 1
R6446 = 1
R145 = 1
R157 = 1
R169 = 1
R181 = 1
R193 = 1
R205 = 1
R217 = 1
R229 = 1
R241 = 1
R253 = 1
R265 = 1
R6250 = 1
R75 = 1
R87 = 1
R99 = 1
R111 = 1
R123 = 1
R135 = 1
R147 = 1
R159 = 1
R171 = 1
R183 = 1
R195 = 1
R207 = 1
R219 = 1
R231 = 1
R243 = 1
R255 = 1
R267 = 1
R6434 = 1
R148 = 1
R160 = 1
R172 = 1
R184 = 1
R196 = 1
R208 = 1
R220 = 1
R232 = 1
R244 = 1
R256 = 1
R268 = 1
R6599 = 1
R209 = 1
R221 = 1
R233 = 1
R245 = 1
R257 = 1
R269 = 1
R6086 = 1
R19 = 1
R31 = 1
R43 = 1
R55 = 1
R67 = 1
R79 = 1
R91 = 1
R103 = 1
R115 = 1
R127 = 1
R139 = 1
R151 = 1
R163 = 1
R175 = 1
R187 = 1
R199 = 1
R211 = 1
R223 = 1
R235 = 1
R247 = 1
R259 = 1
R271 = 1
R20 = 1
R32 = 1
R44 = 1
R56 = 1
R68 = 1
R80 = 1
R92 = 1
R104 = 1
R116 = 1
R128 = 1
R140 = 1
R152 = 1
R164 = 1
R176 = 1
R188 = 1
R200 = 1
R212 = 1
R224 = 1
R236 = 1
R248 = 1
R260 = 1
R272 = 1
R22 = 1
R34 = 1
R46 = 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
R238 = 1
R250 = 1
R262 = 1
R274 = 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
R239 = 1
R251 = 1
R263 = 1
R275 = 1
R6315 = 1
R108 = 1
R120 = 1
R132 = 1
R144 = 1
R156 = 1
R168 = 1
R180 = 1
R192 = 1
R204 = 1
R216 = 1
R228 = 1
R240 = 1
R252 = 1
R264 = 1
R276 = 1
R7163 = 1
R435 = 1
R447 = 1
R459 = 1
R471 = 1
R483 = 1
R495 = 1
R507 = 1
R519 = 1
R531 = 1
R543 = 1
R6786 = 1
R292 = 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
R460 = 1
R472 = 1
R484 = 1
R496 = 1
R508 = 1
R520 = 1
R532 = 1
R544 = 1
R6815 = 1
R305 = 1
R317 = 1
R329 = 1
R341 = 1
R353 = 1
R365 = 1
R377 = 1
R389 = 1
R401 = 1
R413 = 1
R425 = 1
R437 = 1
R449 = 1
R461 = 1
R473 = 1
R485 = 1
R497 = 1
R509 = 1
R521 = 1
R533 = 1
R545 = 1
R296 = 1
R308 = 1
R320 = 1
R332 = 1
R344 = 1
R356 = 1
R368 = 1
R380 = 1
R392 = 1
R404 = 1
R416 = 1
R428 = 1
R440 = 1
R452 = 1
R464 = 1
R476 = 1
R488 = 1
R500 = 1
R512 = 1
R524 = 1
R536 = 1
R548 = 1
R7337 = 1
R503 = 1
R515 = 1
R527 = 1
R539 = 1
R551 = 1
R7435 = 1
R540 = 1
R552 = 1
R565 = 1
R577 = 1
R589 = 1
R601 = 1
R613 = 1
R625 = 1
R637 = 1
R649 = 1
R661 = 1
R673 = 1
R685 = 1
R697 = 1
R709 = 1
R721 = 1
R733 = 1
R745 = 1
R757 = 1
R769 = 1
R781 = 1
R793 = 1
R805 = 1
R817 = 1
R574 = 1
R586 = 1
R598 = 1
R610 = 1
R622 = 1
R634 = 1
R646 = 1
R658 = 1
R670 = 1
R682 = 1
R694 = 1
R706 = 1
R718 = 1
R730 = 1
R742 = 1
R754 = 1
R766 = 1
R778 = 1
R790 = 1
R802 = 1
R814 = 1
R826 = 1
R8052 = 1
R780 = 1
R792 = 1
R804 = 1
R816 = 1
R828 = 1
R8526 = 1
R961 = 1
R973 = 1
R985 = 1
R997 = 1
R1009 = 1
R1021 = 1
R1033 = 1
R1045 = 1
R1057 = 1
R1069 = 1
R1081 = 1
R1093 = 1
R843 = 1
R855 = 1
R867 = 1
R879 = 1
R891 = 1
R903 = 1
R915 = 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
R8847 = 1
R1086 = 1
R1098 = 1
R9102 = 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
R1369 = 1
R9284 = 1
R1262 = 1
R1274 = 1
R1286 = 1
R1298 = 1
R1310 = 1
R1322 = 1
R1334 = 1
R1346 = 1
R1358 = 1
R1370 = 1
R1119 = 1
R1131 = 1
R1143 = 1
R1155 = 1
R1167 = 1
R1179 = 1
R1191 = 1
R1203 = 1
R1215 = 1
R1227 = 1
R1239 = 1
R1251 = 1
R1263 = 1
R1275 = 1
R1287 = 1
R1299 = 1
R1311 = 1
R1323 = 1
R1335 = 1
R1347 = 1
R1359 = 1
R1371 = 1
R9282 = 1
R1264 = 1
R1276 = 1
R1288 = 1
R1300 = 1
R1312 = 1
R1324 = 1
R1336 = 1
R1348 = 1
R1360 = 1
R1372 = 1
R9397 = 1
R1301 = 1
R1313 = 1
R1325 = 1
R1337 = 1
R1349 = 1
R1361 = 1
R1373 = 1
R9135 = 1
R1206 = 1
R1218 = 1
R1230 = 1
R1242 = 1
R1254 = 1
R1266 = 1
R1278 = 1
R1290 = 1
R1302 = 1
R1314 = 1
R1326 = 1
R1338 = 1
R1350 = 1
R1362 = 1
R1374 = 1
R1124 = 1
R1136 = 1
R1148 = 1
R1160 = 1
R1172 = 1
R1184 = 1
R1196 = 1
R1208 = 1
R1220 = 1
R1232 = 1
R1244 = 1
R1256 = 1
R1268 = 1
R1280 = 1
R1292 = 1
R1304 = 1
R1316 = 1
R1328 = 1
R1340 = 1
R1352 = 1
R1364 = 1
R1376 = 1
R9576 = 1
R1378 = 1
R1128 = 1
R1140 = 1
R1152 = 1
R1164 = 1
R1176 = 1
R1188 = 1
R1200 = 1
R1212 = 1
R1224 = 1
R1236 = 1
R1248 = 1
R1260 = 1
R1272 = 1
R1284 = 1
R1296 = 1
R1308 = 1
R1320 = 1
R1332 = 1
R1344 = 1
R1356 = 1
R1368 = 1
R1380 = 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
R1597 = 1
R1609 = 1
R1621 = 1
R1633 = 1
R1645 = 1
R10116 = 1
R1586 = 1
R1598 = 1
R1610 = 1
R1622 = 1
R1634 = 1
R1646 = 1
R10174 = 1
R1612 = 1
R1624 = 1
R1636 = 1
R1648 = 1
R1399 = 1
R1411 = 1
R1423 = 1
R1435 = 1
R1447 = 1
R1459 = 1
R1471 = 1
R1483 = 1
R1495 = 1
R1507 = 1
R1519 = 1
R1531 = 1
R1543 = 1
R1555 = 1
R1567 = 1
R1579 = 1
R1591 = 1
R1603 = 1
R1615 = 1
R1627 = 1
R1639 = 1
R1651 = 1
R10209 = 1
R1628 = 1
R1640 = 1
R1652 = 1
R9861 = 1
R1498 = 1
R1510 = 1
R1522 = 1
R1534 = 1
R1546 = 1
R1558 = 1
R1570 = 1
R1582 = 1
R1594 = 1
R1606 = 1
R1618 = 1
R1630 = 1
R1642 = 1
R1654 = 1
R10068 = 1
R1572 = 1
R1584 = 1
R1596 = 1
R1608 = 1
R1620 = 1
R1632 = 1
R1644 = 1
R1656 = 1
R10608 = 1
R1777 = 1
R1789 = 1
R1801 = 1
R1813 = 1
R1825 = 1
R1837 = 1
R1849 = 1
R1861 = 1
R1873 = 1
R1885 = 1
R1897 = 1
R1909 = 1
R1921 = 1
R10826 = 1
R1863 = 1
R1875 = 1
R1887 = 1
R1899 = 1
R1911 = 1
R1923 = 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
R1828 = 1
R1840 = 1
R1852 = 1
R1864 = 1
R1876 = 1
R1888 = 1
R1900 = 1
R1912 = 1
R1924 = 1
R10869 = 1
R1877 = 1
R1889 = 1
R1901 = 1
R1913 = 1
R1925 = 1
R10584 = 1
R1770 = 1
R1782 = 1
R1794 = 1
R1806 = 1
R1818 = 1
R1830 = 1
R1842 = 1
R1854 = 1
R1866 = 1
R1878 = 1
R1890 = 1
R1902 = 1
R1914 = 1
R1926 = 1
R10406 = 1
R1711 = 1
R1723 = 1
R1735 = 1
R1747 = 1
R1759 = 1
R1771 = 1
R1783 = 1
R1795 = 1
R1807 = 1
R1819 = 1
R1831 = 1
R1843 = 1
R1855 = 1
R1867 = 1
R1879 = 1
R1891 = 1
R1903 = 1
R1915 = 1
R1927 = 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
R1833 = 1
R1845 = 1
R1857 = 1
R1869 = 1
R1881 = 1
R1893 = 1
R1905 = 1
R1917 = 1
R1929 = 1
R1678 = 1
R1690 = 1
R1702 = 1
R1714 = 1
R1726 = 1
R1738 = 1
R1750 = 1
R1762 = 1
R1774 = 1
R1786 = 1
R1798 = 1
R1810 = 1
R1822 = 1
R1834 = 1
R1846 = 1
R1858 = 1
R1870 = 1
R1882 = 1
R1894 = 1
R1906 = 1
R1918 = 1
R1930 = 1
R10450 = 1
R1727 = 1
R1739 = 1
R1751 = 1
R1763 = 1
R1775 = 1
R1787 = 1
R1799 = 1
R1811 = 1
R1823 = 1
R1835 = 1
R1847 = 1
R1859 = 1
R1871 = 1
R1883 = 1
R1895 = 1
R1907 = 1
R1919 = 1
R1931 = 1
R10804 = 1
R1860 = 1
R1872 = 1
R1884 = 1
R1896 = 1
R1908 = 1
R1920 = 1
R1932 = 1
R1947 = 1
R1959 = 1
R1971 = 1
R1983 = 1
R1995 = 1
R2007 = 1
R2019 = 1
R2031 = 1
R2043 = 1
R2055 = 1
R2067 = 1
R2079 = 1
R2091 = 1
R2103 = 1
R2115 = 1
R2127 = 1
R2139 = 1
R2151 = 1
R2163 = 1
R2175 = 1
R2187 = 1
R2199 = 1
R11266 = 1
R2044 = 1
R2056 = 1
R2068 = 1
R2080 = 1
R2092 = 1
R2104 = 1
R2116 = 1
R2128 = 1
R2140 = 1
R2152 = 1
R2164 = 1
R2176 = 1
R2188 = 1
R2200 = 1
R1952 = 1
R1964 = 1
R1976 = 1
R1988 = 1
R2000 = 1
R2012 = 1
R2024 = 1
R2036 = 1
R2048 = 1
R2060 = 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
R12336 = 1
R2449 = 1
R2461 = 1
R2473 = 1
R2226 = 1
R2238 = 1
R2250 = 1
R2262 = 1
R2274 = 1
R2286 = 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
R2227 = 1
R2239 = 1
R2251 = 1
R2263 = 1
R2275 = 1
R2287 = 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
R2228 = 1
R2240 = 1
R2252 = 1
R2264 = 1
R2276 = 1
R2288 = 1
R2300 = 1
R2312 = 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
R12404 = 1
R2484 = 1
R13028 = 1
R2726 = 1
R2738 = 1
R2750 = 1
R12597 = 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
R2741 = 1
R2753 = 1
R2502 = 1
R2514 = 1
R2526 = 1
R2538 = 1
R2550 = 1
R2562 = 1
R2574 = 1
R2586 = 1
R2598 = 1
R2610 = 1
R2622 = 1
R2634 = 1
R2646 = 1
R2658 = 1
R2670 = 1
R2682 = 1
R2694 = 1
R2706 = 1
R2718 = 1
R2730 = 1
R2742 = 1
R2754 = 1
R2503 = 1
R2515 = 1
R2527 = 1
R2539 = 1
R2551 = 1
R2563 = 1
R2575 = 1
R2587 = 1
R2599 = 1
R2611 = 1
R2623 = 1
R2635 = 1
R2647 = 1
R2659 = 1
R2671 = 1
R2683 = 1
R2695 = 1
R2707 = 1
R2719 = 1
R2731 = 1
R2743 = 1
R2755 = 1
R12985 = 1
R2724 = 1
R2736 = 1
R2748 = 1
R2760 = 1
R13712 = 1
R2989 = 1
R3001 = 1
R3013 = 1
R3025 = 1
R2774 = 1
R2786 = 1
R2798 = 1
R2810 = 1
R2822 = 1
R2834 = 1
R2846 = 1
R2858 = 1
R2870 = 1
R2882 = 1
R2894 = 1
R2906 = 1
R2918 = 1
R2930 = 1
R2942 = 1
R2954 = 1
R2966 = 1
R2978 = 1
R2990 = 1
R3002 = 1
R3014 = 1
R3026 = 1
R13738 = 1
R3003 = 1
R3015 = 1
R3027 = 1
R13410 = 1
R2884 = 1
R2896 = 1
R2908 = 1
R2920 = 1
R2932 = 1
R2944 = 1
R2956 = 1
R2968 = 1
R2980 = 1
R2992 = 1
R3004 = 1
R3016 = 1
R3028 = 1
R2777 = 1
R2789 = 1
R2801 = 1
R2813 = 1
R2825 = 1
R2837 = 1
R2849 = 1
R2861 = 1
R2873 = 1
R2885 = 1
R2897 = 1
R2909 = 1
R2921 = 1
R2933 = 1
R2945 = 1
R2957 = 1
R2969 = 1
R2981 = 1
R2993 = 1
R3005 = 1
R3017 = 1
R3029 = 1
R13494 = 1
R2910 = 1
R2922 = 1
R2934 = 1
R2946 = 1
R2958 = 1
R2970 = 1
R2982 = 1
R2994 = 1
R3006 = 1
R3018 = 1
R3030 = 1
R2780 = 1
R2792 = 1
R2804 = 1
R2816 = 1
R2828 = 1
R2840 = 1
R2852 = 1
R2864 = 1
R2876 = 1
R2888 = 1
R2900 = 1
R2912 = 1
R2924 = 1
R2936 = 1
R2948 = 1
R2960 = 1
R2972 = 1
R2984 = 1
R2996 = 1
R3008 = 1
R3020 = 1
R3032 = 1
R13591 = 1
R2951 = 1
R2963 = 1
R2975 = 1
R2987 = 1
R2999 = 1
R3011 = 1
R3023 = 1
R3035 = 1
R13529 = 1
R2940 = 1
R2952 = 1
R2964 = 1
R2976 = 1
R2988 = 1
R3000 = 1
R3012 = 1
R3024 = 1
R3036 = 1
R14214 = 1
R3199 = 1
R3211 = 1
R3223 = 1
R3235 = 1
R3247 = 1
R3259 = 1
R3271 = 1
R3283 = 1
R3295 = 1
R3307 = 1
R3058 = 1
R3070 = 1
R3082 = 1
R3094 = 1
R3106 = 1
R3118 = 1
R3130 = 1
R3142 = 1
R3154 = 1
R3166 = 1
R3178 = 1
R3190 = 1
R3202 = 1
R3214 = 1
R3226 = 1
R3238 = 1
R3250 = 1
R3262 = 1
R3274 = 1
R3286 = 1
R3298 = 1
R3310 = 1
R3060 = 1
R3072 = 1
R3084 = 1
R3096 = 1
R3108 = 1
R3120 = 1
R3132 = 1
R3144 = 1
R3156 = 1
R3168 = 1
R3180 = 1
R3192 = 1
R3204 = 1
R3216 = 1
R3228 = 1
R3240 = 1
R3252 = 1
R3264 = 1
R3276 = 1
R3288 = 1
R3300 = 1
R3312 = 1
R14852 = 1
R3446 = 1
R3458 = 1
R3470 = 1
R3482 = 1
R3494 = 1
R3506 = 1
R3518 = 1
R3530 = 1
R3542 = 1
R3554 = 1
R3566 = 1
R3578 = 1
R3327 = 1
R3339 = 1
R3351 = 1
R3363 = 1
R3375 = 1
R3387 = 1
R3399 = 1
R3411 = 1
R3423 = 1
R3435 = 1
R3447 = 1
R3459 = 1
R3471 = 1
R3483 = 1
R3495 = 1
R3507 = 1
R3519 = 1
R3531 = 1
R3543 = 1
R3555 = 1
R3567 = 1
R3579 = 1
R15070 = 1
R3532 = 1
R3544 = 1
R3556 = 1
R3568 = 1
R3580 = 1
R15169 = 1
R3572 = 1
R3584 = 1
R14827 = 1
R3444 = 1
R3456 = 1
R3468 = 1
R3480 = 1
R3492 = 1
R3504 = 1
R3516 = 1
R3528 = 1
R3540 = 1
R3552 = 1
R3564 = 1
R3576 = 1
R3588 = 1
R15376 = 1
R3649 = 1
R3661 = 1
R3673 = 1
R3685 = 1
R3697 = 1
R3709 = 1
R3721 = 1
R3733 = 1
R3745 = 1
R3757 = 1
R3769 = 1
R3781 = 1
R3793 = 1
R3805 = 1
R3817 = 1
R3829 = 1
R3841 = 1
R3853 = 1
R15588 = 1
R3734 = 1
R3746 = 1
R3758 = 1
R3770 = 1
R3782 = 1
R3794 = 1
R3806 = 1
R3818 = 1
R3830 = 1
R3842 = 1
R3854 = 1
R15274 = 1
R3615 = 1
R3627 = 1
R3639 = 1
R3651 = 1
R3663 = 1
R3675 = 1
R3687 = 1
R3699 = 1
R3711 = 1
R3723 = 1
R3735 = 1
R3747 = 1
R3759 = 1
R3771 = 1
R3783 = 1
R3795 = 1
R3807 = 1
R3819 = 1
R3831 = 1
R3843 = 1
R3855 = 1
R15646 = 1
R3760 = 1
R3772 = 1
R3784 = 1
R3796 = 1
R3808 = 1
R3820 = 1
R3832 = 1
R3844 = 1
R3856 = 1
R3606 = 1
R3618 = 1
R3630 = 1
R3642 = 1
R3654 = 1
R3666 = 1
R3678 = 1
R3690 = 1
R3702 = 1
R3714 = 1
R3726 = 1
R3738 = 1
R3750 = 1
R3762 = 1
R3774 = 1
R3786 = 1
R3798 = 1
R3810 = 1
R3822 = 1
R3834 = 1
R3846 = 1
R3858 = 1
R3607 = 1
R3619 = 1
R3631 = 1
R3643 = 1
R3655 = 1
R3667 = 1
R3679 = 1
R3691 = 1
R3703 = 1
R3715 = 1
R3727 = 1
R3739 = 1
R3751 = 1
R3763 = 1
R3775 = 1
R3787 = 1
R3799 = 1
R3811 = 1
R3823 = 1
R3835 = 1
R3847 = 1
R3859 = 1
R15717 = 1
R3790 = 1
R3802 = 1
R3814 = 1
R3826 = 1
R3838 = 1
R3850 = 1
R3862 = 1
R3611 = 1
R3623 = 1
R3635 = 1
R3647 = 1
R3659 = 1
R3671 = 1
R3683 = 1
R3695 = 1
R3707 = 1
R3719 = 1
R3731 = 1
R3743 = 1
R3755 = 1
R3767 = 1
R3779 = 1
R3791 = 1
R3803 = 1
R3815 = 1
R3827 = 1
R3839 = 1
R3851 = 1
R3863 = 1
R15412 = 1
R3672 = 1
R3684 = 1
R3696 = 1
R3708 = 1
R3720 = 1
R3732 = 1
R3744 = 1
R3756 = 1
R3768 = 1
R3780 = 1
R3792 = 1
R3804 = 1
R3816 = 1
R3828 = 1
R3840 = 1
R3852 = 1
R3864 = 1
R3879 = 1
R3891 = 1
R3903 = 1
R3915 = 1
R3927 = 1
R3939 = 1
R3951 = 1
R3963 = 1
R3975 = 1
R3987 = 1
R3999 = 1
R4011 = 1
R4023 = 1
R4035 = 1
R4047 = 1
R4059 = 1
R4071 = 1
R4083 = 1
R4095 = 1
R4107 = 1
R4119 = 1
R4131 = 1
R16384 = 1
R4048 = 1
R4060 = 1
R4072 = 1
R4084 = 1
R4096 = 1
R4108 = 1
R4120 = 1
R4132 = 1
R16167 = 1
R3965 = 1
R3977 = 1
R3989 = 1
R4001 = 1
R4013 = 1
R4025 = 1
R4037 = 1
R4049 = 1
R4061 = 1
R4073 = 1
R4085 = 1
R4097 = 1
R4109 = 1
R4121 = 1
R4133 = 1
R16449 = 1
R4076 = 1
R4088 = 1
R4100 = 1
R4112 = 1
R4124 = 1
R4136 = 1
R3885 = 1
R3897 = 1
R3909 = 1
R3921 = 1
R3933 = 1
R3945 = 1
R3957 = 1
R3969 = 1
R3981 = 1
R3993 = 1
R4005 = 1
R4017 = 1
R4029 = 1
R4041 = 1
R4053 = 1
R4065 = 1
R4077 = 1
R4089 = 1
R4101 = 1
R4113 = 1
R4125 = 1
R4137 = 1
R3886 = 1
R3898 = 1
R3910 = 1
R3922 = 1
R3934 = 1
R3946 = 1
R3958 = 1
R3970 = 1
R3982 = 1
R3994 = 1
R4006 = 1
R4018 = 1
R4030 = 1
R4042 = 1
R4054 = 1
R4066 = 1
R4078 = 1
R4090 = 1
R4102 = 1
R4114 = 1
R4126 = 1
R4138 = 1
R16688 = 1
R4165 = 1
R4177 = 1
R4189 = 1
R4201 = 1
R4213 = 1
R4225 = 1
R4237 = 1
R4249 = 1
R4261 = 1
R4273 = 1
R4285 = 1
R4297 = 1
R4309 = 1
R4321 = 1
R4333 = 1
R4345 = 1
R4357 = 1
R4369 = 1
R4381 = 1
R4393 = 1
R4405 = 1
R4154 = 1
R4166 = 1
R4178 = 1
R4190 = 1
R4202 = 1
R4214 = 1
R4226 = 1
R4238 = 1
R4250 = 1
R4262 = 1
R4274 = 1
R4286 = 1
R4298 = 1
R4310 = 1
R4322 = 1
R4334 = 1
R4346 = 1
R4358 = 1
R4370 = 1
R4382 = 1
R4394 = 1
R4406 = 1
R16909 = 1
R4251 = 1
R4263 = 1
R4275 = 1
R4287 = 1
R4299 = 1
R4311 = 1
R4323 = 1
R4335 = 1
R4347 = 1
R4359 = 1
R4371 = 1
R4383 = 1
R4395 = 1
R4407 = 1
R17310 = 1
R4408 = 1
R4157 = 1
R4169 = 1
R4181 = 1
R4193 = 1
R4205 = 1
R4217 = 1
R4229 = 1
R4241 = 1
R4253 = 1
R4265 = 1
R4277 = 1
R4289 = 1
R4301 = 1
R4313 = 1
R4325 = 1
R4337 = 1
R4349 = 1
R4361 = 1
R4373 = 1
R4385 = 1
R4397 = 1
R4409 = 1
R16662 = 1
R4158 = 1
R4170 = 1
R4182 = 1
R4194 = 1
R4206 = 1
R4218 = 1
R4230 = 1
R4242 = 1
R4254 = 1
R4266 = 1
R4278 = 1
R4290 = 1
R4302 = 1
R4314 = 1
R4326 = 1
R4338 = 1
R4350 = 1
R4362 = 1
R4374 = 1
R4386 = 1
R4398 = 1
R4410 = 1
R17009 = 1
R4291 = 1
R4303 = 1
R4315 = 1
R4327 = 1
R4339 = 1
R4351 = 1
R4363 = 1
R4375 = 1
R4387 = 1
R4399 = 1
R4411 = 1
R17189 = 1
R4366 = 1
R4378 = 1
R4390 = 1
R4402 = 1
R4414 = 1
R16983 = 1
R4283 = 1
R4295 = 1
R4307 = 1
R4319 = 1
R4331 = 1
R4343 = 1
R4355 = 1
R4367 = 1
R4379 = 1
R4391 = 1
R4403 = 1
R4415 = 1
R18026 = 1
R4683 = 1
R17415 = 1
R4457 = 1
R4469 = 1
R4481 = 1
R4493 = 1
R4505 = 1
R4517 = 1
R4529 = 1
R4541 = 1
R4553 = 1
R4565 = 1
R4577 = 1
R4589 = 1
R4601 = 1
R4613 = 1
R4625 = 1
R4637 = 1
R4649 = 1
R4661 = 1
R4673 = 1
R4685 = 1
R17798 = 1
R4603 = 1
R4615 = 1
R4627 = 1
R4639 = 1
R4651 = 1
R4663 = 1
R4675 = 1
R4687 = 1
R4438 = 1
R4450 = 1
R4462 = 1
R4474 = 1
R4486 = 1
R4498 = 1
R4510 = 1
R4522 = 1
R4534 = 1
R4546 = 1
R4558 = 1
R4570 = 1
R4582 = 1
R4594 = 1
R4606 = 1
R4618 = 1
R4630 = 1
R4642 = 1
R4654 = 1
R4666 = 1
R4678 = 1
R4690 = 1
R18002 = 1
R4679 = 1
R4691 = 1
R17593 = 1
R4536 = 1
R4548 = 1
R4560 = 1
R4572 = 1
R4584 = 1
R4596 = 1
R4608 = 1
R4620 = 1
R4632 = 1
R4644 = 1
R4656 = 1
R4668 = 1
R4680 = 1
R4692 = 1
R18695 = 1
R4949 = 1
R4961 = 1
R4710 = 1
R4722 = 1
R4734 = 1
R4746 = 1
R4758 = 1
R4770 = 1
R4782 = 1
R4794 = 1
R4806 = 1
R4818 = 1
R4830 = 1
R4842 = 1
R4854 = 1
R4866 = 1
R4878 = 1
R4890 = 1
R4902 = 1
R4914 = 1
R4926 = 1
R4938 = 1
R4950 = 1
R4962 = 1
R18289 = 1
R4795 = 1
R4807 = 1
R4819 = 1
R4831 = 1
R4843 = 1
R4855 = 1
R4867 = 1
R4879 = 1
R4891 = 1
R4903 = 1
R4915 = 1
R4927 = 1
R4939 = 1
R4951 = 1
R4963 = 1
R4713 = 1
R4725 = 1
R4737 = 1
R4749 = 1
R4761 = 1
R4773 = 1
R4785 = 1
R4797 = 1
R4809 = 1
R4821 = 1
R4833 = 1
R4845 = 1
R4857 = 1
R4869 = 1
R4881 = 1
R4893 = 1
R4905 = 1
R4917 = 1
R4929 = 1
R4941 = 1
R4953 = 1
R4965 = 1
R18469 = 1
R4870 = 1
R4882 = 1
R4894 = 1
R4906 = 1
R4918 = 1
R4930 = 1
R4942 = 1
R4954 = 1
R4966 = 1
R4715 = 1
R4727 = 1
R4739 = 1
R4751 = 1
R4763 = 1
R4775 = 1
R4787 = 1
R4799 = 1
R4811 = 1
R4823 = 1
R4835 = 1
R4847 = 1
R4859 = 1
R4871 = 1
R4883 = 1
R4895 = 1
R4907 = 1
R4919 = 1
R4931 = 1
R4943 = 1
R4955 = 1
R4967 = 1
R4982 = 1
R4994 = 1
R5006 = 1
R5018 = 1
R5030 = 1
R5042 = 1
R5054 = 1
R5066 = 1
R5078 = 1
R5090 = 1
R5102 = 1
R5114 = 1
R5126 = 1
R5138 = 1
R5150 = 1
R5162 = 1
R5174 = 1
R5186 = 1
R5198 = 1
R5210 = 1
R5222 = 1
R5234 = 1
R18860 = 1
R5019 = 1
R5031 = 1
R5043 = 1
R5055 = 1
R5067 = 1
R5079 = 1
R5091 = 1
R5103 = 1
R5115 = 1
R5127 = 1
R5139 = 1
R5151 = 1
R5163 = 1
R5175 = 1
R5187 = 1
R5199 = 1
R5211 = 1
R5223 = 1
R5235 = 1
R19345 = 1
R5203 = 1
R5215 = 1
R5227 = 1
R5239 = 1
R19365 = 1
R5218 = 1
R5230 = 1
R5242 = 1
R19241 = 1
R5171 = 1
R5183 = 1
R5195 = 1
R5207 = 1
R5219 = 1
R5231 = 1
R5243 = 1
R18787 = 1
R5004 = 1
R5016 = 1
R5028 = 1
R5040 = 1
R5052 = 1
R5064 = 1
R5076 = 1
R5088 = 1
R5100 = 1
R5112 = 1
R5124 = 1
R5136 = 1
R5148 = 1
R5160 = 1
R5172 = 1
R5184 = 1
R5196 = 1
R5208 = 1
R5220 = 1
R5232 = 1
R5244 = 1
R5257 = 1
R5269 = 1
R5281 = 1
R5293 = 1
R5305 = 1
R5317 = 1
R5329 = 1
R5341 = 1
R5353 = 1
R5365 = 1
R5377 = 1
R5389 = 1
R5401 = 1
R5413 = 1
R5425 = 1
R5437 = 1
R5449 = 1
R5461 = 1
R5473 = 1
R5485 = 1
R5497 = 1
R5509 = 1
R19933 = 1
R5438 = 1
R5450 = 1
R5462 = 1
R5474 = 1
R5486 = 1
R5498 = 1
R5510 = 1
R19648 = 1
R5332 = 1
R5344 = 1
R5356 = 1
R5368 = 1
R5380 = 1
R5392 = 1
R5404 = 1
R5416 = 1
R5428 = 1
R5440 = 1
R5452 = 1
R5464 = 1
R5476 = 1
R5488 = 1
R5500 = 1
R5512 = 1
R19578 = 1
R5309 = 1
R5321 = 1
R5333 = 1
R5345 = 1
R5357 = 1
R5369 = 1
R5381 = 1
R5393 = 1
R5405 = 1
R5417 = 1
R5429 = 1
R5441 = 1
R5453 = 1
R5465 = 1
R5477 = 1
R5489 = 1
R5501 = 1
R5513 = 1
R19540 = 1
R5292 = 1
R5304 = 1
R5316 = 1
R5328 = 1
R5340 = 1
R5352 = 1
R5364 = 1
R5376 = 1
R5388 = 1
R5400 = 1
R5412 = 1
R5424 = 1
R5436 = 1
R5448 = 1
R5460 = 1
R5472 = 1
R5484 = 1
R5496 = 1
R5508 = 1
R5520 = 1
R20688 = 1
R5725 = 1
R5737 = 1
R5749 = 1
R5761 = 1
R5773 = 1
R5785 = 1
R20356 = 1
R5606 = 1
R5618 = 1
R5630 = 1
R5642 = 1
R5654 = 1
R5666 = 1
R5678 = 1
R5690 = 1
R5702 = 1
R5714 = 1
R5726 = 1
R5738 = 1
R5750 = 1
R5762 = 1
R5774 = 1
R5786 = 1
R5535 = 1
R5547 = 1
R5559 = 1
R5571 = 1
R5583 = 1
R5595 = 1
R5607 = 1
R5619 = 1
R5631 = 1
R5643 = 1
R5655 = 1
R5667 = 1
R5679 = 1
R5691 = 1
R5703 = 1
R5715 = 1
R5727 = 1
R5739 = 1
R5751 = 1
R5763 = 1
R5775 = 1
R5787 = 1
R20382 = 1
R5620 = 1
R5632 = 1
R5644 = 1
R5656 = 1
R5668 = 1
R5680 = 1
R5692 = 1
R5704 = 1
R5716 = 1
R5728 = 1
R5740 = 1
R5752 = 1
R5764 = 1
R5776 = 1
R5788 = 1
R20479 = 1
R5657 = 1
R5669 = 1
R5681 = 1
R5693 = 1
R5705 = 1
R5717 = 1
R5729 = 1
R5741 = 1
R5753 = 1
R5765 = 1
R5777 = 1
R5789 = 1
R20600 = 1
R5694 = 1
R5706 = 1
R5718 = 1
R5730 = 1
R5742 = 1
R5754 = 1
R5766 = 1
R5778 = 1
R5790 = 1
R5539 = 1
R5551 = 1
R5563 = 1
R5575 = 1
R5587 = 1
R5599 = 1
R5611 = 1
R5623 = 1
R5635 = 1
R5647 = 1
R5659 = 1
R5671 = 1
R5683 = 1
R5695 = 1
R5707 = 1
R5719 = 1
R5731 = 1
R5743 = 1
R5755 = 1
R5767 = 1
R5779 = 1
R5791 = 1
R5542 = 1
R5554 = 1
R5566 = 1
R5578 = 1
R5590 = 1
R5602 = 1
R5614 = 1
R5626 = 1
R5638 = 1
R5650 = 1
R5662 = 1
R5674 = 1
R5686 = 1
R5698 = 1
R5710 = 1
R5722 = 1
R5734 = 1
R5746 = 1
R5758 = 1
R5770 = 1
R5782 = 1
R5794 = 1
R20370 = 1
R5615 = 1
R5627 = 1
R5639 = 1
R5651 = 1
R5663 = 1
R5675 = 1
R5687 = 1
R5699 = 1
R5711 = 1
R5723 = 1
R5735 = 1
R5747 = 1
R5759 = 1
R5771 = 1
R5783 = 1
R5795 = 1
R20171 = 1
R5544 = 1
R5556 = 1
R5568 = 1
R5580 = 1
R5592 = 1
R5604 = 1
R5616 = 1
R5628 = 1
R5640 = 1
R5652 = 1
R5664 = 1
R5676 = 1
R5688 = 1
R5700 = 1
R5712 = 1
R5724 = 1
R5736 = 1
R5748 = 1
R5760 = 1
R5772 = 1
R5784 = 1
R5796 = 1
R21294 = 1
R5965 = 1
R5977 = 1
R5989 = 1
R6001 = 1
R6013 = 1
R6025 = 1
R6037 = 1
R6049 = 1
R6061 = 1
R5811 = 1
R5823 = 1
R5835 = 1
R5847 = 1
R5859 = 1
R5871 = 1
R5883 = 1
R5895 = 1
R5907 = 1
R5919 = 1
R5931 = 1
R5943 = 1
R5955 = 1
R5967 = 1
R5979 = 1
R5991 = 1
R6003 = 1
R6015 = 1
R6027 = 1
R6039 = 1
R6051 = 1
R6063 = 1
R5812 = 1
R5824 = 1
R5836 = 1
R5848 = 1
R5860 = 1
R5872 = 1
R5884 = 1
R5896 = 1
R5908 = 1
R5920 = 1
R5932 = 1
R5944 = 1
R5956 = 1
R5968 = 1
R5980 = 1
R5992 = 1
R6004 = 1
R6016 = 1
R6028 = 1
R6040 = 1
R6052 = 1
R6064 = 1
R20959 = 1
R5849 = 1
R5861 = 1
R5873 = 1
R5885 = 1
R5897 = 1
R5909 = 1
R5921 = 1
R5933 = 1
R5945 = 1
R5957 = 1
R5969 = 1
R5981 = 1
R5993 = 1
R6005 = 1
R6017 = 1
R6029 = 1
R6041 = 1
R6053 = 1
R6065 = 1
R20984 = 1
R5850 = 1
R5862 = 1
R5874 = 1
R5886 = 1
R5898 = 1
R5910 = 1
R5922 = 1
R5934 = 1
R5946 = 1
R5958 = 1
R5970 = 1
R5982 = 1
R5994 = 1
R6006 = 1
R6018 = 1
R6030 = 1
R6042 = 1
R6054 = 1
R6066 = 1
R21169 = 1
R5923 = 1
R5935 = 1
R5947 = 1
R5959 = 1
R5971 = 1
R5983 = 1
R5995 = 1
R6007 = 1
R6019 = 1
R6031 = 1
R6043 = 1
R6055 = 1
R6067 = 1
R5817 = 1
R5829 = 1
R5841 = 1
R5853 = 1
R5865 = 1
R5877 = 1
R5889 = 1
R5901 = 1
R5913 = 1
R5925 = 1
R5937 = 1
R5949 = 1
R5961 = 1
R5973 = 1
R5985 = 1
R5997 = 1
R6009 = 1
R6021 = 1
R6033 = 1
R6045 = 1
R6057 = 1
R6069 = 1
R20937 = 1
R5843 = 1
R5855 = 1
R5867 = 1
R5879 = 1
R5891 = 1
R5903 = 1
R5915 = 1
R5927 = 1
R5939 = 1
R5951 = 1
R5963 = 1
R5975 = 1
R5987 = 1
R5999 = 1
R6011 = 1
R6023 = 1
R6035 = 1
R6047 = 1
R6059 = 1
R6071 = 1
16.76user 0.05system 0:15.63elapsed 107%CPU (0avgtext+0avgdata 229200maxresident)k
0inputs+688outputs (0major+18543minor)pagefaults 0swaps