Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
borg-sat 11.03.02-industrial | SAT | 296.894 | 92.2 |
Name | application/leberre/ 2dimensionalstrippacking/E02F20.cnf |
MD5SUM | 3e5703cd522988fbb05dcac3c4dbbe9d |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 27.9038 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 10420 |
Number of clauses | 395383 |
Sum of the clauses size | 2821910 |
Maximum clause length | 66 |
Minimum clause length | 1 |
Number of clauses of size 1 | 22 |
Number of clauses of size 2 | 27506 |
Number of clauses of size 3 | 20815 |
Number of clauses of size 4 | 12840 |
Number of clauses of size 5 | 36380 |
Number of clauses of size over 5 | 297820 |
0.31/0.47 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle 0.31/0.47 c INFO: solving HOME/instance-3317781-1304270695.cnf 0.31/0.47 c INFO: computing task features 3.21/3.37 c INFO: computed variable-clause graph statistics 3.30/3.44 c INFO: computed clause balance statistics 17.40/17.55 c INFO: computed variable balance statistics 22.90/23.03 c INFO: computed small-clause counts 22.90/23.06 c INFO: computed Horn-clause counts 23.50/23.66 c INFO: computed variable graph statistics 23.50/23.66 c INFO: collected features for HOME/instance-3317781-1304270695.cnf in 23.10 s 23.50/23.68 c INFO: running lingeling-276@0 for 97 with 4776 remaining (b = 0.16) 23.60/23.71 c INFO: running cryptominisat-2.9.0@0 for 485 with 4776 remaining (b = 0.19) 23.60/23.74 c INFO: running lingeling-276@0 for 1261 with 4776 remaining (b = 0.38) 23.60/23.77 c INFO: running lingeling-276@0 for 1261 with 4776 remaining (b = 0.32) 296.61/92.14 s SATISFIABLE 296.61/92.14 v -1 -2 -3 -4 -5 -6 7 -8 -9 -10 -11 -12 -13 14 -15 -16 -17 -18 -19 -20 -21 22 -23 -24 -25 -26 -27 28 -29 -30 31 -32 -33 -34 -35 -36 37 -38 -39 -40 -41 42 -43 -44 -45 -46 -47 -48 49 -50 -51 -52 -53 -54 -55 -56 -57 -58 59 60 -61 62 63 -64 65 -66 -67 -68 69 -70 71 72 73 -74 -75 76 -77 -78 79 80 81 -82 83 -84 85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 103 -104 -105 106 -107 108 -109 -110 -111 112 -113 -114 115 -116 -117 118 119 -120 -121 -122 -123 124 -125 -126 -127 -128 -129 -130 -131 -132 -133 134 -135 -136 137 -138 -139 140 -141 142 -143 -144 -145 -146 -147 148 149 150 -151 152 -153 154 -155 -156 157 -158 -159 -160 -161 -162 -163 164 -165 -166 -167 -168 -169 170 171 -172 173 -174 175 -176 177 -178 -179 -180 -181 -182 -183 184 -185 -186 -187 -188 189 -190 -191 192 193 194 195 196 -197 198 199 200 201 202 203 -204 -205 206 207 208 -209 -210 -211 -212 213 214 215 216 217 -218 -219 220 -221 222 223 -224 225 -226 -227 228 229 230 231 -232 233 234 235 236 237 238 -239 -240 241 242 243 -244 245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 257 -258 -259 -260 -261 -262 -263 -264 265 -266 267 268 -269 -270 -271 272 -273 274 -275 276 277 278 279 280 -281 282 283 284 285 -286 287 -288 289 290 291 292 -293 -294 295 -296 -297 -298 -299 300 -301 -302 303 304 -305 -306 307 -308 -309 310 -311 312 -313 -314 315 316 -317 318 319 320 321 -322 323 -324 325 326 -327 328 329 -330 331 -332 333 334 -335 -336 337 -338 -339 -340 -341 -342 -343 -344 345 -346 -347 -348 349 -350 351 -352 353 -354 355 356 357 358 -359 -360 -361 -362 -363 -364 -365 366 -367 -368 -369 370 -371 372 -373 -374 -375 376 -377 -378 -379 -380 -381 -382 -383 -384 385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 441 442 443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 467 468 469 470 471 472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 525 526 527 528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 563 564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 587 588 589 590 591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 647 648 649 650 651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 662 663 664 665 666 667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 768 769 770 771 -772 -773 -774 -775 -776 -777 -778 -779 -780 781 782 783 784 785 786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 807 808 809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 821 822 823 824 825 826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 861 862 863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 884 885 886 887 888 889 890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 906 907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 927 928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 944 945 946 947 948 949 950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 963 964 965 966 967 968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 1022 1023 1024 1025 1026 1027 1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 1069 1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 1088 1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 1101 1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 1126 1127 1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 1142 1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 2462 2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 2627 2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 2687 2688 2689 2690 2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 2747 2748 2749 2750 2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 2868 2869 2870 2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 3467 3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 3527 3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 3545 3546 3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 3963 3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 4127 4128 4129 4130 4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 4248 4249 4250 4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 4668 4669 4670 4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 5001 5002 5003 5004 5005 5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 5041 5042 5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 5064 5065 5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 5124 5125 5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 5143 5144 5145 5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 5202 5203 5204 5205 5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 5281 5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 5322 5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 5427 5428 5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 5467 5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 5487 5488 5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 5507 5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 5567 5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 5628 5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 5667 5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 5741 5742 5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 5764 5765 5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823 5824 5825 5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 -5842 5843 5844 5845 5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 5902 5903 5904 5905 5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 5981 5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 6022 6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 -6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 6522 6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 6601 6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 6642 6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 6686 6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 6707 6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 6724 6725 6726 6727 6728 6729 6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 6744 6745 6746 6747 6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 6804 6805 6806 6807 6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 6849 6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 -6865 -6866 -6867 6868 6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 6906 6907 6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 6986 6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 7006 7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 7066 7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 7166 7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 7227 7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 7247 7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 7307 7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 7407 7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462 -7463 7464 7465 7466 7467 7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 7524 7525 7526 7527 7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 7569 7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 -7587 7588 7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 7626 7627 7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 7723 7724 7725 7726 7727 7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 -7786 -7787 7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 7826 7827 7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 -7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 -7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903 -7904 7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223 8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263 -8264 -8265 -8266 -8267 8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 8306 8307 8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 8322 8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607 8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 -8782 -8783 -8784 8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 8826 -8827 -8828 -8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 8867 -8868 -8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880 -8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 -8924 8925 -8926 -8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 -8961 -8962 8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 8987 -8988 -8989 -8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 -9001 -9002 9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 9022 -9023 -9024 -9025 -9026 -9027 -9028 -9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 -9043 -9044 -9045 -9046 9047 -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 9062 -9063 -9064 -9065 -9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090 9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103 9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 9129 -9130 -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140 9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160 -9161 -9162 -9163 -9164 -9165 -9166 -9167 9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180 9181 -9182 -9183 -9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 -9201 -9202 -9203 -9204 -9205 -9206 9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 9241 -9242 -9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 9261 -9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 9284 -9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 -9301 -9302 -9303 -9304 -9305 9306 -9307 -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 -9324 -9325 -9326 9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 -9342 -9343 9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 -9361 -9362 9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 -9381 -9382 -9383 -9384 9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 -9421 9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 -9442 -9443 9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463 -9464 -9465 -9466 -9467 -9468 9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 -9484 -9485 -9486 -9487 9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 -9524 -9525 9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 9542 -9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584 9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 9626 -9627 -9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 9643 -9644 -9645 -9646 -9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671 9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 -9690 -9691 9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727 9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 -9761 -9762 -9763 9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 -9843 -9844 -9845 -9846 -9847 -9848 -9849 -9850 9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863 -9864 -9865 -9866 9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 -9882 -9883 -9884 -9885 -9886 -9887 -9888 -9889 -9890 9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 9904 -9905 -9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 -9923 -9924 -9925 -9926 -9927 -9928 9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 -9964 -9965 -9966 -9967 -9968 -9969 -9970 9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 -9985 9986 -9987 -9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000 -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 -10024 -10025 10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040 10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 -10101 -10102 -10103 -10104 -10105 -10106 10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 -10122 -10123 -10124 -10125 -10126 -10127 10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 -10144 -10145 -10146 -10147 -10148 -10149 10150 -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 -10163 -10164 -10165 -10166 -10167 10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 10185 -10186 -10187 -10188 -10189 -10190 -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 -10201 10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223 -10224 -10225 -10226 -10227 10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240 -10241 -10242 -10243 10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 -10264 -10265 -10266 -10267 -10268 -10269 10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280 -10281 -10282 -10283 -10284 -10285 -10286 -10287 -10288 10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 10302 -10303 -10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 -10325 -10326 -10327 10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 10343 -10344 -10345 -10346 -10347 -10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 -10363 -10364 -10365 -10366 -10367 -10368 -10369 10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 -10392 10393 10394 10395 10396 10397 10398 10399 10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410 10411 10412 10413 10414 10415 10416 10417 10418 10419 10420 0
OK
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3317781-1304270695/watcher-3317781-1304270695 -o /tmp/evaluation-result-3317781-1304270695/solver-3317781-1304270695 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317781-1304270695.cnf -seed 1401861513 -budget 4800 -cores 4 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.42 3.61 3.23 6/205 27372 /proc/meminfo: memFree=25007800/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=15384 CPUtime=0 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 795 0 0 0 0 0 0 0 25 0 1 0 538667415 15753216 681 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0 /proc/27372/statm: 3846 681 322 364 0 333 0 [startup+0.019653 s] /proc/loadavg: 4.42 3.61 3.23 6/205 27372 /proc/meminfo: memFree=25007800/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=16248 CPUtime=0.01 cores=1,3,5,7 /proc/27372/stat : 27372 (python) R 27370 27372 26829 0 -1 4202496 1064 0 0 0 1 0 0 0 25 0 1 0 538667415 16637952 935 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377301248 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/27372/statm: 4062 935 381 364 0 549 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 16248 [startup+0.100642 s] /proc/loadavg: 4.42 3.61 3.23 6/205 27372 /proc/meminfo: memFree=25007800/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=104220 CPUtime=0.07 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 3046 0 0 0 5 2 0 0 17 0 1 0 538667415 106721280 2731 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0 /proc/27372/statm: 26055 2731 847 364 0 1803 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 104220 [startup+0.300604 s] /proc/loadavg: 4.42 3.61 3.23 6/205 27372 /proc/meminfo: memFree=25007800/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=170756 CPUtime=0.22 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 6731 938 1 0 15 7 0 0 17 0 1 0 538667415 174854144 4805 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0 /proc/27372/statm: 42689 4805 1336 364 0 3454 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 170756 [startup+0.700528 s] /proc/loadavg: 4.42 3.61 3.23 6/205 27372 /proc/meminfo: memFree=25007800/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=299288 CPUtime=0.6 cores=1,3,5,7 /proc/27372/stat : 27372 (python) R 27370 27372 26829 0 -1 4202496 14581 938 1 0 49 11 0 0 17 0 1 0 538667415 306470912 12080 33554432000 4194304 5683644 140735908070752 18446744073709551615 255376662272 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/27372/statm: 74822 12080 1761 364 0 10746 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 299288 [startup+1.50038 s] /proc/loadavg: 4.42 3.61 3.23 6/206 27377 /proc/meminfo: memFree=24941516/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=348584 CPUtime=1.4 cores=1,3,5,7 /proc/27372/stat : 27372 (python) R 27370 27372 26829 0 -1 4202496 26347 938 1 0 128 12 0 0 18 0 1 0 538667415 356950016 23846 33554432000 4194304 5683644 140735908070752 18446744073709551615 4960288 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/27372/statm: 87146 23847 1761 364 0 23070 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 348584 [startup+3.10109 s] /proc/loadavg: 4.42 3.61 3.23 6/206 27377 /proc/meminfo: memFree=24876536/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=442112 CPUtime=3.01 cores=1,3,5,7 /proc/27372/stat : 27372 (python) R 27370 27372 26829 0 -1 4202496 48762 938 1 0 285 16 0 0 21 0 1 0 538667415 452722688 46261 33554432000 4194304 5683644 140735908070752 18446744073709551615 47631728933189 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/27372/statm: 110528 46261 1761 364 0 46452 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 442112 [startup+6.30049 s] /proc/loadavg: 4.47 3.64 3.24 6/206 27378 /proc/meminfo: memFree=24807016/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=449844 CPUtime=6.2 cores=1,3,5,7 /proc/27372/stat : 27372 (python) R 27370 27372 26829 0 -1 4202496 74855 938 1 0 601 19 0 0 25 0 1 0 538667415 460640256 49845 33554432000 4194304 5683644 140735908070752 18446744073709551615 255380710324 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/27372/statm: 112461 49845 1826 364 0 48385 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 449844 [startup+12.7003 s] /proc/loadavg: 4.51 3.66 3.25 6/206 27378 /proc/meminfo: memFree=24813604/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=449844 CPUtime=12.6 cores=1,3,5,7 /proc/27372/stat : 27372 (python) R 27370 27372 26829 0 -1 4202496 74855 938 1 0 1241 19 0 0 25 0 1 0 538667415 460640256 49845 33554432000 4194304 5683644 140735908070752 18446744073709551615 255376962137 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/27372/statm: 112461 49845 1826 364 0 48385 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 449844 [startup+25.5009 s] /proc/loadavg: 4.94 3.79 3.30 9/218 27390 /proc/meminfo: memFree=24613844/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=477100 CPUtime=23.68 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 77560 938 1 0 2346 22 0 0 20 0 5 0 538667415 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0 /proc/27372/statm: 119275 46471 1881 364 0 55184 0 [pid=27379] ppid=27372 vsize=436088 CPUtime=0 cores=1,3,5,7 /proc/27379/stat : 27379 (python) S 27372 27372 26829 0 -1 4202560 815 0 0 0 0 0 0 0 18 0 1 0 538669784 446554112 44932 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321487 0 0 16781312 514 4435065972394557439 0 0 17 5 0 0 0 /proc/27379/statm: 109022 44932 358 364 0 44940 0 [pid=27381] ppid=27379 vsize=51124 CPUtime=1.79 cores=1,3,5,7 /proc/27381/stat : 27381 (lingeling) R 27379 27381 27381 0 -1 4202496 14127 0 0 0 177 2 0 0 25 0 1 0 538669785 52350976 11939 33554432000 4194304 4352236 140735486955216 18446744073709551615 4284021 0 0 16781312 17506 0 0 0 17 5 0 0 0 /proc/27381/statm: 12781 11939 123 39 0 11861 0 [pid=27382] ppid=27372 vsize=446344 CPUtime=0 cores=1,3,5,7 /proc/27382/stat : 27382 (python) S 27372 27372 26829 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 538669787 457056256 44925 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 11868849794136899848 0 0 17 3 0 0 0 /proc/27382/statm: 111586 44925 347 364 0 47501 0 [pid=27384] ppid=27382 vsize=180424 CPUtime=1.76 cores=1,3,5,7 /proc/27384/stat : 27384 (cryptominisat-2) R 27382 27384 27384 0 -1 4202496 31940 0 0 0 172 4 0 0 25 0 1 0 538669787 184754176 31425 33554432000 4194304 4677096 140736846060832 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/27384/statm: 45106 31425 378 118 0 40065 0 [pid=27385] ppid=27372 vsize=456600 CPUtime=0 cores=1,3,5,7 /proc/27385/stat : 27385 (python) S 27372 27372 26829 0 -1 4202560 746 0 0 0 0 0 0 0 18 0 1 0 538669789 467558400 44929 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 5636366263501455359 0 0 17 3 0 0 0 /proc/27385/statm: 114150 44929 347 364 0 50062 0 [pid=27387] ppid=27385 vsize=51012 CPUtime=1.73 cores=1,3,5,7 /proc/27387/stat : 27387 (lingeling) R 27385 27387 27387 0 -1 4202496 14102 0 0 0 171 2 0 0 25 0 1 0 538669791 52236288 11910 33554432000 4194304 4352236 140734432506272 18446744073709551615 4283813 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/27387/statm: 12753 11910 123 39 0 11833 0 [pid=27388] ppid=27372 vsize=466856 CPUtime=0 cores=1,3,5,7 /proc/27388/stat : 27388 (python) S 27372 27372 26829 0 -1 4202560 763 0 0 0 0 0 0 0 18 0 1 0 538669792 478060544 44933 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 18282540537611288575 0 0 17 5 0 0 0 /proc/27388/statm: 116714 44933 347 364 0 52623 0 [pid=27390] ppid=27388 vsize=51012 CPUtime=1.69 cores=1,3,5,7 /proc/27390/stat : 27390 (lingeling) R 27388 27390 27390 0 -1 4202496 14101 0 0 0 166 3 0 0 25 0 1 0 538669793 52236288 11910 33554432000 4194304 4352236 140733237842608 18446744073709551615 4284208 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/27390/statm: 12753 11910 123 39 0 11833 0 [pid=27372/tid=27380] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27380/stat : 27380 (python) S 27370 27372 26829 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 538669785 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 7 0 0 0 [pid=27372/tid=27383] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27383/stat : 27383 (python) S 27370 27372 26829 0 -1 4202560 19 938 0 0 0 0 0 0 20 0 5 0 538669787 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27386] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27386/stat : 27386 (python) S 27370 27372 26829 0 -1 4202560 23 938 0 0 0 0 0 0 20 0 5 0 538669790 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27389] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27389/stat : 27389 (python) S 27370 27372 26829 0 -1 4202560 29 938 0 0 0 0 0 0 20 0 5 0 538669793 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 30.65 Current children cumulated vsize (KiB) 2616560 [startup+51.1012 s] /proc/loadavg: 5.98 4.13 3.42 9/218 27391 /proc/meminfo: memFree=24497660/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=477100 CPUtime=23.68 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 77560 938 1 0 2346 22 0 0 20 0 5 0 538667415 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0 /proc/27372/statm: 119275 46471 1881 364 0 55184 0 [pid=27379] ppid=27372 vsize=436088 CPUtime=0.03 cores=1,3,5,7 /proc/27379/stat : 27379 (python) S 27372 27372 26829 0 -1 4202560 992 0 0 0 1 2 0 0 18 0 1 0 538669784 446554112 44955 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321487 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27379/statm: 109022 44955 381 364 0 44940 0 [pid=27381] ppid=27379 vsize=57224 CPUtime=27.32 cores=1,3,5,7 /proc/27381/stat : 27381 (lingeling) R 27379 27381 27381 0 -1 4202496 21621 0 0 0 2729 3 0 0 25 0 1 0 538669785 58597376 13470 33554432000 4194304 4352236 140735486955216 18446744073709551615 4268080 0 0 16781312 17506 0 0 0 17 5 0 0 0 /proc/27381/statm: 14306 13470 129 39 0 13386 0 [pid=27382] ppid=27372 vsize=446344 CPUtime=0.03 cores=1,3,5,7 /proc/27382/stat : 27382 (python) S 27372 27372 26829 0 -1 4202560 917 0 0 0 1 2 0 0 15 0 1 0 538669787 457056256 44948 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 3 0 0 0 /proc/27382/statm: 111586 44948 370 364 0 47501 0 [pid=27384] ppid=27382 vsize=198556 CPUtime=27.36 cores=1,3,5,7 /proc/27384/stat : 27384 (cryptominisat-2) R 27382 27384 27384 0 -1 4202496 41317 0 0 0 2730 6 0 0 25 0 1 0 538669787 203321344 36132 33554432000 4194304 4677096 140736846060832 18446744073709551615 4465288 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/27384/statm: 49639 36132 391 118 0 44598 0 [pid=27385] ppid=27372 vsize=456600 CPUtime=0.03 cores=1,3,5,7 /proc/27385/stat : 27385 (python) S 27372 27372 26829 0 -1 4202560 909 0 0 0 1 2 0 0 18 0 1 0 538669789 467558400 44952 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 3 0 0 0 /proc/27385/statm: 114150 44952 370 364 0 50062 0 [pid=27387] ppid=27385 vsize=56864 CPUtime=27.26 cores=1,3,5,7 /proc/27387/stat : 27387 (lingeling) R 27385 27387 27387 0 -1 4202496 21535 0 0 0 2723 3 0 0 25 0 1 0 538669791 58228736 13379 33554432000 4194304 4352236 140734432506272 18446744073709551615 4268080 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/27387/statm: 14216 13379 129 39 0 13296 0 [pid=27388] ppid=27372 vsize=466856 CPUtime=0.03 cores=1,3,5,7 /proc/27388/stat : 27388 (python) S 27372 27372 26829 0 -1 4202560 934 0 0 0 1 2 0 0 18 0 1 0 538669792 478060544 44956 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27388/statm: 116714 44956 370 364 0 52623 0 [pid=27390] ppid=27388 vsize=56848 CPUtime=27.13 cores=1,3,5,7 /proc/27390/stat : 27390 (lingeling) R 27388 27390 27390 0 -1 4202496 18573 0 0 0 2709 4 0 0 25 0 1 0 538669793 58212352 13375 33554432000 4194304 4352236 140733237842608 18446744073709551615 4327902 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/27390/statm: 14212 13375 129 39 0 13292 0 [pid=27372/tid=27380] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27380/stat : 27380 (python) S 27370 27372 26829 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 538669785 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 7 0 0 0 [pid=27372/tid=27383] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27383/stat : 27383 (python) S 27370 27372 26829 0 -1 4202560 19 938 0 0 0 0 0 0 20 0 5 0 538669787 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27386] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27386/stat : 27386 (python) S 27370 27372 26829 0 -1 4202560 23 938 0 0 0 0 0 0 20 0 5 0 538669790 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27389] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27389/stat : 27389 (python) S 27370 27372 26829 0 -1 4202560 29 938 0 0 0 0 0 0 20 0 5 0 538669793 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 132.87 Current children cumulated vsize (KiB) 2652480 Solver just ended. Dumping a history of the last processes samples [startup+76.7014 s] /proc/loadavg: 6.87 4.49 3.56 9/218 27391 /proc/meminfo: memFree=24482628/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=477100 CPUtime=23.68 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 77560 938 1 0 2346 22 0 0 20 0 5 0 538667415 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0 /proc/27372/statm: 119275 46471 1881 364 0 55184 0 [pid=27379] ppid=27372 vsize=436088 CPUtime=0.08 cores=1,3,5,7 /proc/27379/stat : 27379 (python) S 27372 27372 26829 0 -1 4202560 1007 0 0 0 3 5 0 0 18 0 1 0 538669784 446554112 44955 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321487 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27379/statm: 109022 44955 381 364 0 44940 0 [pid=27381] ppid=27379 vsize=61700 CPUtime=52.83 cores=1,3,5,7 /proc/27381/stat : 27381 (lingeling) R 27379 27381 27381 0 -1 4202496 22749 0 0 0 5280 3 0 0 25 0 1 0 538669785 63180800 14589 33554432000 4194304 4352236 140735486955216 18446744073709551615 4328345 0 0 16781312 17506 0 0 0 17 5 0 0 0 /proc/27381/statm: 15425 14589 129 39 0 14505 0 [pid=27382] ppid=27372 vsize=446344 CPUtime=0.07 cores=1,3,5,7 /proc/27382/stat : 27382 (python) S 27372 27372 26829 0 -1 4202560 930 0 0 0 4 3 0 0 15 0 1 0 538669787 457056256 44948 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 11868849794136899848 0 0 17 3 0 0 0 /proc/27382/statm: 111586 44948 370 364 0 47501 0 [pid=27384] ppid=27382 vsize=190844 CPUtime=52.95 cores=1,3,5,7 ################ # More data... # ################ [pid=27372/tid=27386] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27386/stat : 27386 (python) S 27370 27372 26829 0 -1 4202560 23 938 0 0 0 0 0 0 20 0 5 0 538669790 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27389] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27389/stat : 27389 (python) S 27370 27372 26829 0 -1 4202560 29 938 0 0 0 0 0 0 20 0 5 0 538669793 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 273.43 Current children cumulated vsize (KiB) 2659768 [startup+89.501 s] /proc/loadavg: 7.19 4.67 3.63 9/218 27392 /proc/meminfo: memFree=24477776/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=477100 CPUtime=23.68 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 77560 938 1 0 2346 22 0 0 20 0 5 0 538667415 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0 /proc/27372/statm: 119275 46471 1881 364 0 55184 0 [pid=27379] ppid=27372 vsize=436088 CPUtime=0.09 cores=1,3,5,7 /proc/27379/stat : 27379 (python) S 27372 27372 26829 0 -1 4202560 1013 0 0 0 3 6 0 0 18 0 1 0 538669784 446554112 44955 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321487 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27379/statm: 109022 44955 381 364 0 44940 0 [pid=27381] ppid=27379 vsize=62708 CPUtime=65.6 cores=1,3,5,7 /proc/27381/stat : 27381 (lingeling) R 27379 27381 27381 0 -1 4202496 23262 0 0 0 6557 3 0 0 25 0 1 0 538669785 64212992 14841 33554432000 4194304 4352236 140735486955216 18446744073709551615 4328986 0 0 16781312 17506 0 0 0 17 5 0 0 0 /proc/27381/statm: 15677 14841 129 39 0 14757 0 [pid=27382] ppid=27372 vsize=446344 CPUtime=0.09 cores=1,3,5,7 /proc/27382/stat : 27382 (python) S 27372 27372 26829 0 -1 4202560 934 0 0 0 5 4 0 0 15 0 1 0 538669787 457056256 44948 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 11868849794136899848 0 0 17 3 0 0 0 /proc/27382/statm: 111586 44948 370 364 0 47501 0 [pid=27384] ppid=27382 vsize=190844 CPUtime=65.75 cores=1,3,5,7 /proc/27384/stat : 27384 (cryptominisat-2) R 27382 27384 27384 0 -1 4202496 49120 0 0 0 6568 7 0 0 25 0 1 0 538669787 195424256 37853 33554432000 4194304 4677096 140736846060832 18446744073709551615 4490544 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/27384/statm: 47711 37853 391 118 0 42670 0 [pid=27385] ppid=27372 vsize=456600 CPUtime=0.09 cores=1,3,5,7 /proc/27385/stat : 27385 (python) S 27372 27372 26829 0 -1 4202560 927 0 0 0 4 5 0 0 18 0 1 0 538669789 467558400 44952 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 3 0 0 0 /proc/27385/statm: 114150 44952 370 364 0 50062 0 [pid=27387] ppid=27385 vsize=59364 CPUtime=65.54 cores=1,3,5,7 /proc/27387/stat : 27387 (lingeling) R 27385 27387 27387 0 -1 4202496 22174 0 0 0 6551 3 0 0 25 0 1 0 538669791 60788736 14004 33554432000 4194304 4352236 140734432506272 18446744073709551615 4207597 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/27387/statm: 14841 14004 129 39 0 13921 0 [pid=27388] ppid=27372 vsize=466856 CPUtime=0.09 cores=1,3,5,7 /proc/27388/stat : 27388 (python) S 27372 27372 26829 0 -1 4202560 954 0 0 0 4 5 0 0 18 0 1 0 538669792 478060544 44956 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27388/statm: 116714 44956 370 364 0 52623 0 [pid=27390] ppid=27388 vsize=64892 CPUtime=65.29 cores=1,3,5,7 /proc/27390/stat : 27390 (lingeling) R 27388 27390 27390 0 -1 4202496 20854 0 0 0 6525 4 0 0 25 0 1 0 538669793 66449408 15386 33554432000 4194304 4352236 140733237842608 18446744073709551615 4271313 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/27390/statm: 16223 15386 129 39 0 15303 0 [pid=27372/tid=27380] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27380/stat : 27380 (python) S 27370 27372 26829 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 538669785 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 7 0 0 0 [pid=27372/tid=27383] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27383/stat : 27383 (python) S 27370 27372 26829 0 -1 4202560 19 938 0 0 0 0 0 0 20 0 5 0 538669787 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27386] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27386/stat : 27386 (python) S 27370 27372 26829 0 -1 4202560 23 938 0 0 0 0 0 0 20 0 5 0 538669790 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27389] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27389/stat : 27389 (python) S 27370 27372 26829 0 -1 4202560 29 938 0 0 0 0 0 0 20 0 5 0 538669793 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 286.22 Current children cumulated vsize (KiB) 2660796 [startup+91.1007 s] /proc/loadavg: 7.19 4.67 3.63 9/218 27392 /proc/meminfo: memFree=24474684/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=477100 CPUtime=23.68 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 77560 938 1 0 2346 22 0 0 20 0 5 0 538667415 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0 /proc/27372/statm: 119275 46471 1881 364 0 55184 0 [pid=27379] ppid=27372 vsize=436088 CPUtime=0.09 cores=1,3,5,7 /proc/27379/stat : 27379 (python) S 27372 27372 26829 0 -1 4202560 1013 0 0 0 3 6 0 0 18 0 1 0 538669784 446554112 44955 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321487 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27379/statm: 109022 44955 381 364 0 44940 0 [pid=27381] ppid=27379 vsize=62708 CPUtime=67.2 cores=1,3,5,7 /proc/27381/stat : 27381 (lingeling) R 27379 27381 27381 0 -1 4202496 23262 0 0 0 6717 3 0 0 25 0 1 0 538669785 64212992 14841 33554432000 4194304 4352236 140735486955216 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 5 0 0 0 /proc/27381/statm: 15677 14841 129 39 0 14757 0 [pid=27382] ppid=27372 vsize=446344 CPUtime=0.1 cores=1,3,5,7 /proc/27382/stat : 27382 (python) S 27372 27372 26829 0 -1 4202560 937 0 0 0 6 4 0 0 15 0 1 0 538669787 457056256 44948 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 3 0 0 0 /proc/27382/statm: 111586 44948 370 364 0 47501 0 [pid=27384] ppid=27382 vsize=196288 CPUtime=67.35 cores=1,3,5,7 /proc/27384/stat : 27384 (cryptominisat-2) R 27382 27384 27384 0 -1 4202496 49369 0 0 0 6728 7 0 0 25 0 1 0 538669787 200998912 38102 33554432000 4194304 4677096 140736846060832 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/27384/statm: 49072 38102 391 118 0 44031 0 [pid=27385] ppid=27372 vsize=456600 CPUtime=0.09 cores=1,3,5,7 /proc/27385/stat : 27385 (python) S 27372 27372 26829 0 -1 4202560 927 0 0 0 4 5 0 0 18 0 1 0 538669789 467558400 44952 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 3 0 0 0 /proc/27385/statm: 114150 44952 370 364 0 50062 0 [pid=27387] ppid=27385 vsize=61416 CPUtime=67.12 cores=1,3,5,7 /proc/27387/stat : 27387 (lingeling) R 27385 27387 27387 0 -1 4202496 22687 0 0 0 6709 3 0 0 25 0 1 0 538669791 62889984 14517 33554432000 4194304 4352236 140734432506272 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/27387/statm: 15354 14517 129 39 0 14434 0 [pid=27388] ppid=27372 vsize=466856 CPUtime=0.09 cores=1,3,5,7 /proc/27388/stat : 27388 (python) S 27372 27372 26829 0 -1 4202560 954 0 0 0 4 5 0 0 18 0 1 0 538669792 478060544 44956 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27388/statm: 116714 44956 370 364 0 52623 0 [pid=27390] ppid=27388 vsize=64892 CPUtime=66.88 cores=1,3,5,7 /proc/27390/stat : 27390 (lingeling) R 27388 27390 27390 0 -1 4202496 20854 0 0 0 6684 4 0 0 25 0 1 0 538669793 66449408 15386 33554432000 4194304 4352236 140733237842608 18446744073709551615 4208047 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/27390/statm: 16223 15386 129 39 0 15303 0 [pid=27372/tid=27380] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27380/stat : 27380 (python) S 27370 27372 26829 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 538669785 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 7 0 0 0 [pid=27372/tid=27383] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27383/stat : 27383 (python) S 27370 27372 26829 0 -1 4202560 19 938 0 0 0 0 0 0 20 0 5 0 538669787 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27386] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27386/stat : 27386 (python) S 27370 27372 26829 0 -1 4202560 23 938 0 0 0 0 0 0 20 0 5 0 538669790 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27389] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27389/stat : 27389 (python) S 27370 27372 26829 0 -1 4202560 29 938 0 0 0 0 0 0 20 0 5 0 538669793 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 292.6 Current children cumulated vsize (KiB) 2668292 [startup+91.9006 s] /proc/loadavg: 7.19 4.67 3.63 9/218 27392 /proc/meminfo: memFree=24474684/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=477100 CPUtime=23.68 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 77560 938 1 0 2346 22 0 0 20 0 5 0 538667415 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0 /proc/27372/statm: 119275 46471 1881 364 0 55184 0 [pid=27379] ppid=27372 vsize=436088 CPUtime=0.09 cores=1,3,5,7 /proc/27379/stat : 27379 (python) S 27372 27372 26829 0 -1 4202560 1013 0 0 0 3 6 0 0 18 0 1 0 538669784 446554112 44955 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321487 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27379/statm: 109022 44955 381 364 0 44940 0 [pid=27381] ppid=27379 vsize=63732 CPUtime=68 cores=1,3,5,7 /proc/27381/stat : 27381 (lingeling) R 27379 27381 27381 0 -1 4202496 23518 0 0 0 6797 3 0 0 25 0 1 0 538669785 65261568 15097 33554432000 4194304 4352236 140735486955216 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 5 0 0 0 /proc/27381/statm: 15933 15097 129 39 0 15013 0 [pid=27382] ppid=27372 vsize=446344 CPUtime=0.1 cores=1,3,5,7 /proc/27382/stat : 27382 (python) S 27372 27372 26829 0 -1 4202560 937 0 0 0 6 4 0 0 15 0 1 0 538669787 457056256 44948 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 3 0 0 0 /proc/27382/statm: 111586 44948 370 364 0 47501 0 [pid=27384] ppid=27382 vsize=196288 CPUtime=68.15 cores=1,3,5,7 /proc/27384/stat : 27384 (cryptominisat-2) R 27382 27384 27384 0 -1 4202496 49369 0 0 0 6808 7 0 0 25 0 1 0 538669787 200998912 38102 33554432000 4194304 4677096 140736846060832 18446744073709551615 4502926 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/27384/statm: 49072 38102 391 118 0 44031 0 [pid=27385] ppid=27372 vsize=456600 CPUtime=0.09 cores=1,3,5,7 /proc/27385/stat : 27385 (python) S 27372 27372 26829 0 -1 4202560 927 0 0 0 4 5 0 0 18 0 1 0 538669789 467558400 44952 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 3 0 0 0 /proc/27385/statm: 114150 44952 370 364 0 50062 0 [pid=27387] ppid=27385 vsize=60392 CPUtime=67.92 cores=1,3,5,7 /proc/27387/stat : 27387 (lingeling) R 27385 27387 27387 0 -1 4202496 22687 0 0 0 6789 3 0 0 25 0 1 0 538669791 61841408 14261 33554432000 4194304 4352236 140734432506272 18446744073709551615 4328009 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/27387/statm: 15098 14261 129 39 0 14178 0 [pid=27388] ppid=27372 vsize=466856 CPUtime=0.09 cores=1,3,5,7 /proc/27388/stat : 27388 (python) S 27372 27372 26829 0 -1 4202560 954 0 0 0 4 5 0 0 18 0 1 0 538669792 478060544 44956 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27388/statm: 116714 44956 370 364 0 52623 0 [pid=27390] ppid=27388 vsize=64892 CPUtime=67.67 cores=1,3,5,7 /proc/27390/stat : 27390 (lingeling) R 27388 27390 27390 0 -1 4202496 21366 0 0 0 6763 4 0 0 25 0 1 0 538669793 66449408 15386 33554432000 4194304 4352236 140733237842608 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/27390/statm: 16223 15386 129 39 0 15303 0 [pid=27372/tid=27380] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27380/stat : 27380 (python) S 27370 27372 26829 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 538669785 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 7 0 0 0 [pid=27372/tid=27383] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27383/stat : 27383 (python) S 27370 27372 26829 0 -1 4202560 19 938 0 0 0 0 0 0 20 0 5 0 538669787 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27386] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27386/stat : 27386 (python) S 27370 27372 26829 0 -1 4202560 23 938 0 0 0 0 0 0 20 0 5 0 538669790 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27389] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27389/stat : 27389 (python) S 27370 27372 26829 0 -1 4202560 29 938 0 0 0 0 0 0 20 0 5 0 538669793 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 295.79 Current children cumulated vsize (KiB) 2668292 [startup+92.1016 s] /proc/loadavg: 7.19 4.67 3.63 9/218 27392 /proc/meminfo: memFree=24474684/32951124 swapFree=67111352/67111528 [pid=27372] ppid=27370 vsize=477100 CPUtime=23.68 cores=1,3,5,7 /proc/27372/stat : 27372 (python) S 27370 27372 26829 0 -1 4202496 77560 938 1 0 2346 22 0 0 20 0 5 0 538667415 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0 /proc/27372/statm: 119275 46471 1881 364 0 55184 0 [pid=27379] ppid=27372 vsize=436088 CPUtime=0.09 cores=1,3,5,7 /proc/27379/stat : 27379 (python) S 27372 27372 26829 0 -1 4202560 1013 0 0 0 3 6 0 0 18 0 1 0 538669784 446554112 44955 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321487 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27379/statm: 109022 44955 381 364 0 44940 0 [pid=27381] ppid=27379 vsize=63732 CPUtime=68.2 cores=1,3,5,7 /proc/27381/stat : 27381 (lingeling) R 27379 27381 27381 0 -1 4202496 23518 0 0 0 6817 3 0 0 25 0 1 0 538669785 65261568 15097 33554432000 4194304 4352236 140735486955216 18446744073709551615 4328210 0 0 16781312 17506 0 0 0 17 5 0 0 0 /proc/27381/statm: 15933 15097 129 39 0 15013 0 [pid=27382] ppid=27372 vsize=446344 CPUtime=0.1 cores=1,3,5,7 /proc/27382/stat : 27382 (python) S 27372 27372 26829 0 -1 4202560 937 0 0 0 6 4 0 0 15 0 1 0 538669787 457056256 44948 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 3 0 0 0 /proc/27382/statm: 111586 44948 370 364 0 47501 0 [pid=27384] ppid=27382 vsize=196288 CPUtime=68.35 cores=1,3,5,7 /proc/27384/stat : 27384 (cryptominisat-2) R 27382 27384 27384 0 -1 4202496 49369 0 0 0 6828 7 0 0 25 0 1 0 538669787 200998912 38102 33554432000 4194304 4677096 140736846060832 18446744073709551615 4502921 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/27384/statm: 49072 38102 391 118 0 44031 0 [pid=27385] ppid=27372 vsize=456600 CPUtime=0.09 cores=1,3,5,7 /proc/27385/stat : 27385 (python) S 27372 27372 26829 0 -1 4202560 927 0 0 0 4 5 0 0 18 0 1 0 538669789 467558400 44952 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 3 0 0 0 /proc/27385/statm: 114150 44952 370 364 0 50062 0 [pid=27387] ppid=27385 vsize=60392 CPUtime=68.13 cores=1,3,5,7 /proc/27387/stat : 27387 (lingeling) R 27385 27387 27387 0 -1 4202496 22687 0 0 0 6810 3 0 0 25 0 1 0 538669791 61841408 14261 33554432000 4194304 4352236 140734432506272 18446744073709551615 4207615 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/27387/statm: 15098 14261 129 39 0 14178 0 [pid=27388] ppid=27372 vsize=466856 CPUtime=0.09 cores=1,3,5,7 /proc/27388/stat : 27388 (python) S 27372 27372 26829 0 -1 4202560 954 0 0 0 4 5 0 0 18 0 1 0 538669792 478060544 44956 33554432000 4194304 5683644 140735908070752 18446744073709551615 255377321542 0 0 16781312 514 2107068899097805064 0 0 17 5 0 0 0 /proc/27388/statm: 116714 44956 370 364 0 52623 0 [pid=27390] ppid=27388 vsize=64892 CPUtime=67.88 cores=1,3,5,7 /proc/27390/stat : 27390 (lingeling) R 27388 27390 27390 0 -1 4202496 21366 0 0 0 6784 4 0 0 25 0 1 0 538669793 66449408 15386 33554432000 4194304 4352236 140733237842608 18446744073709551615 4328026 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/27390/statm: 16223 15386 129 39 0 15303 0 [pid=27372/tid=27380] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27380/stat : 27380 (python) S 27370 27372 26829 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 538669785 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 7 0 0 0 [pid=27372/tid=27383] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27383/stat : 27383 (python) S 27370 27372 26829 0 -1 4202560 19 938 0 0 0 0 0 0 20 0 5 0 538669787 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27386] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27386/stat : 27386 (python) S 27370 27372 26829 0 -1 4202560 23 938 0 0 0 0 0 0 20 0 5 0 538669790 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 3 0 0 0 [pid=27372/tid=27389] ppid=27370 vsize=477100 CPUtime=0 cores=1,3,5,7 /proc/27372/task/27389/stat : 27389 (python) S 27370 27372 26829 0 -1 4202560 29 938 0 0 0 0 0 0 20 0 5 0 538669793 488550400 46471 33554432000 4194304 5683644 140735908070752 18446744073709551615 255389125041 0 0 16781312 2 18446604454225011136 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 296.61 Current children cumulated vsize (KiB) 2668292 Child status: 0 Real time (s): 92.2 CPU time (s): 296.894 CPU user time (s): 296.196 CPU system time (s): 0.697893 CPU usage (%): 322.011 Max. virtual memory (cumulated for all children) (KiB): 2687236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 296.196 system time used= 0.697893 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 221813 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1543 involuntary context switches= 5454 runsolver used 0.161975 second user time and 0.408937 second system time The end
Begin job on node135 at 2011-05-01 19:24:55 IDJOB=3317781 IDBENCH=83436 IDSOLVER=1706 FILE ID=node135/3317781-1304270695 RUNJOBID= node135-1304267282-26848 PBS_JOBID= 13173944 Free space on /tmp= 72092 MiB SOLVER NAME= borg-sat 11.03.02-industrial BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3317781-1304270695/watcher-3317781-1304270695 -o /tmp/evaluation-result-3317781-1304270695/solver-3317781-1304270695 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317781-1304270695.cnf -seed 1401861513 -budget 4800 -cores 4 TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d RANDOM SEED=1401861513 node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 6640.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25008080 kB Buffers: 980924 kB Cached: 2445048 kB SwapCached: 172 kB Active: 4317020 kB Inactive: 3078404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25008080 kB SwapTotal: 67111528 kB SwapFree: 67111352 kB Dirty: 47072 kB Writeback: 0 kB AnonPages: 3969432 kB Mapped: 22672 kB Slab: 471540 kB PageTables: 17348 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 5152488 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72060 MiB End job on node135 at 2011-05-01 19:26:28