Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat-SCIP 2025-06-04 | SAT (TO) | 1099398192 | 3600.03 | 3609.9 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb |
| MD5SUM | 9da0f014fb9cbd107dd1b5ea973ba0c7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1086940160 |
| Best CPU time to get the best result obtained on this benchmark | 2471.28 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8902 |
| Total number of constraints | 2864 |
| Number of constraints which are clauses | 143 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2407 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1024000000000 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2123511627775 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - ) 0.00/0.00 c Setting memory limit to 31000MB. 0.00/0.00 c Parsing PB file... 0.09/0.17 c Converting 2918 PB-constraints to clauses... 0.19/0.25 c Using SCIP solver, version 9.02.2, https://www.scipopt.org 47.83/48.09 o 1837253628 47.83/48.09 c Generalized BMO splitting point(s) found and can be used. 47.83/48.09 c Boolean multilevel optimization (BMO) can be done in 30 point(s). 47.83/48.09 c ============================[ Problem Statistics ]============================ 47.83/48.09 c | Number of variables: 100522 | 47.83/48.09 c | Number of clauses: 734904 (incl. 30 soft in queue) | 47.83/48.09 c =============================================================================== 47.83/48.09 c Starting SCIP solver (with time-limit: 900s) ... 47.83/48.09 c SCIP start delayed for at least 252s 286.13/287.19 o 1107297328 286.33/287.35 o 1099398192 286.33/287.35 c BMO - done. 347.81/349.09 c SCIP started with lower and upper bounds: [1073741824, 1099398192] 1245.43/1249.09 c SCIP timeout with lower and upper bounds: [1073741824, 1099398192] 3600.01/3609.90 c *** TERMINATED by signal 15 *** 3600.01/3609.90 c _______________________________________________________________________________ 3600.01/3609.90 c 3600.01/3609.90 c _______________________________________________________________________________ 3600.01/3609.90 c 3600.01/3609.90 c =======================[ UWrMaxSat resources usage ]=========================== 3600.01/3609.90 c Memory used : 654.00 MB 3600.01/3609.90 c CPU time : 3599 s 3600.01/3609.90 c Constr Enc: Srt/BDD/Add: 1392 0 3 3600.01/3609.90 c Reused sorter inputs : 3724 of 72898 inputs (5.11% in avg) in 9823 sorters 3600.01/3609.90 c _______________________________________________________________________________ 3600.01/3609.90 c _______________________________________________________________________________ 3600.01/3609.90 3600.01/3609.90 v -x8872 -x8873 -x8874 -x8875 x8876 x8877 -x8878 -x8879 -x8880 -x8881 x8882 x8883 x8884 x8885 x8886 -x8887 x8888 x8889 x8890 -x8891 -x8892 -x8893 -x8894 x8895 x8896 -x8897 -x8898 -x8899 -x8900 -x8901 x8902 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 x590 x591 x592 x593 x594 -x595 x596 x597 x598 -x599 -x600 -x601 -x602 x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5391 -x5392 x5393 x5394 -x5395 -x5396 -x5397 x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 x5417 x5418 x5419 x5420 x5421 x5422 x5423 x5424 x5425 x5426 -x5427 -x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x620 x621 x622 x623 x624 -x625 x626 x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 x643 x644 -x645 x646 x647 x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1460 x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x2120 x2121 -x2122 -x2123 x2124 x2125 -x2126 x2127 -x2128 -x2129 x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2340 x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2560 x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x1080 x1081 x1082 x1083 x1084 x1085 -x1086 -x1087 -x1088 x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 x1101 x1102 x1103 -x1104 -x1105 x1106 x1107 -x1108 x1109 x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 x1121 x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 x1181 x1182 x1183 x1184 x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 x1201 x1202 x1203 x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 x1302 x1303 -x1304 -x1305 x1306 x1307 -x1308 x1309 -x1310 x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 x1321 x1322 -x1323 -x1324 x1325 x1326 -x1327 -x1328 -x1329 -x1330 x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 x1341 -x1342 -x1343 x1344 x1345 -x1346 -x1347 x1348 x1349 x1350 x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 x1401 x1402 -x1403 x1404 -x1405 x1406 x1407 -x1408 x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 x1421 x1422 -x1423 -x1424 -x1425 x1426 x1427 x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 x1541 x1542 -x1543 x1544 -x1545 x1546 -x1547 x1548 -x1549 x1550 -x1551 -x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 x1563 x1564 -x1565 -x1566 x1567 -x1568 x1569 x1570 x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 x1628 x1629 x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 x1641 x1642 x1643 x1644 x1645 x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 x1663 x1664 -x1665 -x1666 x1667 x1668 x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 x1761 x1762 x1763 x1764 x1765 -x1766 -x1767 x1768 x1769 x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 x1841 -x1842 -x1843 x1844 x1845 -x1846 x1847 -x1848 -x1849 -x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 x1861 x1862 x1863 -x1864 -x1865 x1866 x1867 x1868 -x1869 x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 x1881 x1882 -x1883 -x1884 x1885 x1886 x1887 x1888 x1889 x1890 x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 x1961 -x1962 x1963 x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 x1988 x1989 -x1990 x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 x2041 x2042 x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 x2061 x2062 x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 x2181 -x2182 x2183 x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 x2201 x2202 -x2203 -x2204 x2205 x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 x2221 -x2222 -x2223 x2224 x2225 x2226 -x2227 x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 x2281 x2282 -x2283 x2284 x2285 x2286 -x2287 x2288 x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 x2301 x2302 x2303 x2304 -x2305 -x2306 -x2307 x2308 x2309 -x2310 x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 x2401 x2402 x2403 -x2404 x2405 x2406 -x2407 x2408 x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 x2421 x2422 x2423 x2424 x2425 -x2426 -x2427 -x2428 -x2429 x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 x2481 x2482 -x2483 -x2484 x2485 x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 x2501 x2502 x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 x2521 x2522 x2523 -x2524 x2525 x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 x2601 x2602 x2603 x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 x2621 x2622 x2623 x2624 x2625 -x2626 -x2627 -x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 x2681 x2682 x2683 -x2684 x2685 -x2686 -x2687 -x2688 x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 x2701 x2702 x2703 x2704 x2705 x2706 -x2707 x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 x2722 x2723 -x2724 -x2725 x2726 -x2727 -x2728 x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x2800 x2801 x2802 x2803 x2804 x2805 x2806 x2807 x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 x2821 x2822 x2823 x2824 -x2825 -x2826 x2827 x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 x2880 x2881 x2882 x2883 x2884 -x2885 -x2886 -x2887 x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 x2901 x2902 x2903 -x2904 -x2905 x2906 x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 x2981 x2982 x2983 -x2984 x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x680 x681 x682 x683 x684 -x685 -x686 x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 x741 x742 x743 x744 -x745 x746 -x747 -x748 -x749 x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 x761 x762 x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 x841 x842 x843 x844 x845 x846 -x847 -x848 x849 x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 x921 x922 x923 x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 x941 x942 x943 x944 -x945 -x946 x947 -x948 x949 x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 x961 x962 x963 x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 x4514 x4515 -x4516 -x4517 -x4518 -x4519 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 x4735 -x4736 -x4737 -x4738 -x4739 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 x3712 -x3713 -x3714 -x3715 x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 -x3952 x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 x4030 -x4031 -x4032 x4033 x4034 x4035 -x4036 x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 x4052 x4053 x4054 x4055 -x4056 -x4057 -x4058 -x4059 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 x4151 x4152 -x4153 x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 x4172 x4173 -x4174 x4175 x4176 -x4177 x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x4230 x4231 -x4232 x4233 x4234 -x4235 x4236 x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 x4251 x4252 x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 x4274 x4275 x4276 -x4277 -x4278 -x4279 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 x4374 -x4375 x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 x4592 -x4593 -x4594 -x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 x4671 x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 x4691 x4692 -x4693 x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 x4834 -x4835 x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 -x5092 x5093 x5094 -x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 x5195 x5196 -x5197 -x5198 -x5199 x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 x5295 x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 x5374 -x5375 x5376 x5377 -x5378 -x5379 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 x3316 x3317 -x3318 -x3319 x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x28 -x29 -x5434 -x5435 -x30 -x31 x5436 -x5437 -x252 -x253 -x5658 -x5659 -x366 -x367 -x5772 -x5773 -x388 -x389 -x5794 -x5795 -x410 -x411 -x5816 -x5817 -x432 -x433 -x5838 -x5839 -x454 -x455 -x5860 -x5861 -x476 -x477 -x5882 -x5883 -x498 -x499 -x5904 -x5905 -x32 -x33 -x5438 -x5439 -x54 -x55 -x5460 -x5461 -x76 -x77 -x5482 -x5483 -x98 -x99 -x5504 -x5505 -x120 -x121 -x5526 -x5527 -x142 -x143 -x5548 -x5549 -x164 -x165 -x5570 -x5571 -x186 -x187 -x5592 -x5593 -x208 -x209 -x5614 -x5615 -x230 -x231 x5636 -x5637 -x254 -x255 -x5660 -x5661 -x276 -x277 -x5682 -x5683 -x298 -x299 -x5704 -x5705 -x320 -x321 -x5726 -x5727 -x342 -x343 x5748 -x5749 -x356 -x357 -x5762 -x5763 -x358 -x359 -x5764 -x5765 -x360 -x361 -x5766 -x5767 -x362 -x363 -x5768 -x5769 -x364 -x365 -x5770 -x5771 -x368 -x369 -x5774 -x5775 -x370 -x371 x5776 -x5777 -x372 -x373 -x5778 -x5779 -x374 -x375 -x5780 -x5781 -x376 -x377 -x5782 -x5783 -x378 -x379 -x5784 -x5785 -x380 -x381 -x5786 -x5787 -x382 -x383 x5788 -x5789 -x384 -x385 x5790 -x5791 -x386 -x387 -x5792 -x5793 -x390 -x391 -x5796 -x5797 -x392 -x393 -x5798 -x5799 -x394 -x395 -x5800 -x5801 -x396 -x397 -x5802 -x5803 -x398 -x399 -x5804 -x5805 x400 -x401 -x5806 -x5807 -x402 -x403 -x5808 -x5809 -x404 -x405 -x5810 -x5811 -x406 -x407 -x5812 -x5813 -x408 -x409 x5814 -x5815 -x412 -x413 x5818 -x5819 -x414 -x415 -x5820 -x5821 -x416 -x417 -x5822 -x5823 -x418 -x419 -x5824 -x5825 -x420 -x421 -x5826 -x5827 x422 -x423 -x5828 -x5829 -x424 -x425 -x5830 -x5831 -x426 -x427 x5832 -x5833 -x428 -x429 -x5834 -x5835 -x430 -x431 -x5836 -x5837 -x434 -x435 -x5840 -x5841 -x436 -x437 x5842 -x5843 -x438 -x439 -x5844 -x5845 -x440 -x441 -x5846 -x5847 -x442 -x443 -x5848 -x5849 -x444 -x445 -x5850 -x5851 -x446 -x447 -x5852 -x5853 -x448 -x449 -x5854 -x5855 -x450 -x451 -x5856 -x5857 -x452 -x453 -x5858 -x5859 -x456 -x457 -x5862 -x5863 -x458 -x459 -x5864 -x5865 -x460 -x461 -x5866 -x5867 x462 -x463 -x5868 -x5869 -x464 -x465 -x5870 -x5871 -x466 -x467 -x5872 -x5873 -x468 -x469 -x5874 -x5875 -x470 -x471 x5876 -x5877 -x472 -x473 -x5878 -x5879 -x474 -x475 -x5880 -x5881 -x478 -x479 -x5884 -x5885 -x480 -x481 -x5886 -x5887 -x482 -x483 x5888 -x5889 -x484 -x485 -x5890 -x5891 -x486 -x487 -x5892 -x5893 -x488 -x489 -x5894 -x5895 -x490 -x491 -x5896 -x5897 -x492 -x493 -x5898 -x5899 -x494 -x495 x5900 -x5901 -x496 -x497 -x5902 -x5903 -x500 -x501 -x5906 -x5907 -x502 -x503 x5908 -x5909 -x504 -x505 -x5910 -x5911 -x506 -x507 -x5912 -x5913 -x508 -x509 -x5914 -x5915 -x510 -x511 -x5916 -x5917 -x512 -x513 x5918 -x5919 -x514 -x515 -x5920 -x5921 -x516 -x517 -x5922 -x5923 -x518 -x519 -x5924 -x5925 -x34 -x35 -x5440 -x5441 -x36 -x37 -x5442 -x5443 -x38 -x39 -x5444 -x5445 -x40 -x41 -x5446 -x5447 -x42 -x43 x5448 -x5449 -x44 -x45 -x5450 -x5451 -x46 -x47 -x5452 -x5453 -x48 -x49 -x5454 -x5455 -x50 -x51 -x5456 -x5457 x52 -x53 -x5458 -x5459 -x56 -x57 -x5462 -x5463 -x58 -x59 x5464 -x5465 -x60 -x61 -x5466 -x5467 -x62 -x63 -x5468 -x5469 -x64 -x65 -x5470 -x5471 -x66 -x67 -x5472 -x5473 -x68 -x69 -x5474 -x5475 -x70 -x71 -x5476 -x5477 -x72 -x73 -x5478 -x5479 -x74 -x75 x5480 -x5481 -x78 -x79 -x5484 -x5485 -x80 -x81 -x5486 -x5487 x82 -x83 -x5488 -x5489 -x84 -x85 -x5490 -x5491 -x86 -x87 -x5492 -x5493 -x88 -x89 x5494 -x5495 -x90 -x91 -x5496 -x5497 -x92 -x93 -x5498 -x5499 -x94 -x95 -x5500 -x5501 -x96 -x97 -x5502 -x5503 -x100 -x101 -x5506 -x5507 -x102 -x103 -x5508 -x5509 -x104 -x105 -x5510 -x5511 -x106 -x107 x5512 -x5513 -x108 -x109 -x5514 -x5515 -x110 -x111 -x5516 -x5517 -x112 -x113 -x5518 -x5519 -x114 -x115 -x5520 -x5521 -x116 -x117 -x5522 -x5523 -x118 -x119 -x5524 -x5525 -x122 -x123 -x5528 -x5529 -x124 -x125 x5530 -x5531 -x126 -x127 -x5532 -x5533 -x128 -x129 -x5534 -x5535 -x130 -x131 -x5536 -x5537 -x132 -x133 -x5538 -x5539 -x134 -x135 -x5540 -x5541 -x136 -x137 -x5542 -x5543 -x138 -x139 x5544 -x5545 -x140 -x141 -x5546 -x5547 -x144 -x145 -x5550 -x5551 -x146 -x147 -x5552 -x5553 -x148 -x149 -x5554 -x5555 -x150 -x151 -x5556 -x5557 -x152 -x153 -x5558 -x5559 -x154 -x155 x5560 -x5561 -x156 -x157 -x5562 -x5563 -x158 -x159 -x5564 -x5565 -x160 -x161 -x5566 -x5567 -x162 -x163 -x5568 -x5569 -x166 -x167 -x5572 -x5573 -x168 -x169 -x5574 -x5575 x170 -x171 -x5576 -x5577 -x172 -x173 -x5578 -x5579 -x174 -x175 x5580 -x5581 -x176 -x177 x5582 -x5583 -x178 -x179 -x5584 -x5585 -x180 -x181 -x5586 -x5587 x182 -x183 -x5588 -x5589 -x184 -x185 -x5590 -x5591 x188 -x189 -x5594 -x5595 -x190 -x191 -x5596 -x5597 -x192 -x193 -x5598 -x5599 -x194 -x195 -x5600 -x5601 -x196 -x197 -x5602 -x5603 -x198 -x199 -x5604 -x5605 -x200 -x201 -x5606 -x5607 x202 -x203 -x5608 -x5609 -x204 -x205 -x5610 -x5611 -x206 -x207 -x5612 -x5613 x210 -x211 -x5616 -x5617 -x212 -x213 -x5618 -x5619 -x214 -x215 -x5620 -x5621 x216 -x217 -x5622 -x5623 -x218 -x219 -x5624 -x5625 x220 -x221 -x5626 -x5627 x222 -x223 -x5628 -x5629 -x224 -x225 -x5630 -x5631 -x226 -x227 -x5632 -x5633 -x228 -x229 -x5634 -x5635 -x232 -x233 -x5638 -x5639 -x234 -x235 x5640 -x5641 -x236 -x237 -x5642 -x5643 -x238 -x239 -x5644 -x5645 x240 -x241 -x5646 -x5647 x242 -x243 -x5648 -x5649 x244 -x245 -x5650 -x5651 -x246 -x247 -x5652 -x5653 -x248 -x249 x5654 -x5655 -x250 -x251 -x5656 -x5657 -x256 -x257 -x5662 -x5663 -x258 -x259 -x5664 -x5665 -x260 -x261 -x5666 -x5667 -x262 -x263 x5668 -x5669 -x264 -x265 -x5670 -x5671 -x266 -x267 -x5672 -x5673 -x268 -x269 -x5674 -x5675 x270 -x271 -x5676 -x5677 -x272 -x273 -x5678 -x5679 x274 -x275 -x5680 -x5681 x278 -x279 -x5684 -x5685 -x280 -x281 -x5686 -x5687 x282 -x283 -x5688 -x5689 -x284 -x285 -x5690 -x5691 -x286 -x287 -x5692 -x5693 -x288 -x289 x5694 -x5695 -x290 -x291 -x5696 -x5697 -x292 -x293 -x5698 -x5699 -x294 -x295 -x5700 -x5701 x296 -x297 -x5702 -x5703 -x300 -x301 -x5706 -x5707 x302 -x303 -x5708 -x5709 -x304 -x305 -x5710 -x5711 -x306 -x307 -x5712 -x5713 -x310 -x311 x5716 -x5717 -x312 -x313 -x5718 -x5719 -x314 -x315 -x5720 -x5721 -x316 -x317 -x5722 -x5723 -x318 -x319 -x5724 -x5725 -x322 x323 -x5728 -x5729 -x324 -x325 -x5730 -x5731 -x326 -x327 -x5732 -x5733 -x328 -x329 -x5734 -x5735 -x330 -x331 -x5736 -x5737 -x332 -x333 -x5738 -x5739 -x334 -x335 -x5740 -x5741 -x336 -x337 -x5742 -x5743 -x338 -x339 -x5744 -x5745 x340 -x341 -x5746 -x5747 -x344 -x345 -x5750 -x5751 -x346 -x347 -x5752 -x5753 -x348 -x349 -x5754 -x5755 -x350 -x351 -x5756 -x5757 -x352 -x353 -x5758 -x5759 -x354 -x355 -x5760 -x5761 x308 -x309 -x5714 -x5715 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 x5937 -x5938 -x5939 -x5940 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 x7137 -x7138 -x7139 -x7140 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 x5952 -x5953 -x5954 -x5955 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 x6446 -x6447 -x6448 -x6449 -x6450 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 x7166 -x7167 -x7168 -x7169 -x7170 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 x7182 -x7183 x7184 -x7185 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 x6941 x6942 -x6943 -x6944 -x6945 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 x7121 -x7122 -x7123 -x7124 -x7125 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 x6266 -x6267 -x6268 -x6269 -x6270 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 x6371 x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 x6491 x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 x6596 x6597 -x6598 -x6599 -x6600 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 x6686 -x6687 -x6688 x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 x6792 x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 x6927 -x6928 -x6929 -x6930 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 x7091 x7092 -x7093 -x7094 -x7095 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 x7287 x7288 -x7289 -x7290 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 x8487 x8488 -x8489 -x8490 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 x7302 -x7303 -x7304 -x7305 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 x7798 -x7799 -x7800 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 x8517 x8518 -x8519 -x8520 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 x8531 -x8532 x8533 -x8534 -x8535 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 x8127 -x8128 -x8129 -x8130 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 x8291 -x8292 -x8293 -x8294 -x8295 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 x8472 -x8473 -x8474 -x8475 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 3600.01/3609.90 v -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 x7331 x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 x7451 -x7452 -x7453 -x7454 -x7455 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 x7601 x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 x7616 -x7617 x7618 -x7619 -x7620 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 x7721 x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 x7736 x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 x7841 x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 x7946 -x7947 x7948 -x7949 -x7950 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 x8546 -x8547 -x8548 -x8549 -x8550 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 x8231 x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 x8276 -x8277 -x8278 -x8279 -x8280 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 x8441 -x8442 -x8443 -x8444 -x8445 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 x7256 x7257 -x7258 x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 x7272 -x7273 -x7274 -x7275 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x8738 -x8814 -x8815 x8816 x8818 -x8819 -x8820 -x8821 -x8626 x8627 -x8795 -x8806 -x8817 -x8828 -x8839 -x8850 -x8861 -x8628 -x8639 -x8650 -x8661 -x8672 -x8683 -x8694 -x8705 -x8716 x8727 -x8739 -x8822 -x8750 -x8761 -x8772 x8783 -x8790 -x8791 -x8792 -x8793 -x8794 -x8796 x8797 -x8798 -x8799 -x8800 -x8801 -x8802 x8803 x8804 -x8805 -x8807 -x8808 -x8809 -x8810 -x8811 x8812 -x8813 x8823 -x8824 x8825 -x8826 -x8827 -x8829 x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 x8843 -x8844 -x8845 -x8846 x8847 -x8848 -x8849 -x8851 -x8852 x8853 -x8854 -x8855 -x8856 -x8857 -x8858 x8859 -x8860 -x8862 x8863 -x8864 -x8865 -x8866 -x8867 x8868 -x8869 -x8870 -x8871 -x8629 -x8630 -x8631 -x8632 x8633 -x8634 -x8635 -x8636 -x8637 x8638 -x8640 x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 x8649 -x8651 -x8652 x8653 -x8654 -x8655 x8656 -x8657 -x8658 -x8659 -x8660 -x8662 -x8663 -x8664 x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8673 x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 x8681 -x8682 -x8684 -x8685 -x8686 -x8687 -x8688 x8689 -x8690 -x8691 -x8692 -x8693 -x8695 -x8696 x8697 -x8698 x8699 x8700 -x8701 -x8702 x8703 -x8704 x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 x8713 -x8714 -x8715 x8717 -x8718 -x8719 x8720 -x8721 x8722 x8723 -x8724 -x8725 -x8726 -x8728 x8729 -x8730 -x8731 x8732 x8733 x8734 -x8735 x8736 -x8737 -x8740 -x8741 -x8742 x8743 -x8744 -x8745 -x8746 x8747 -x8748 x8749 x8751 -x8752 x8753 -x8754 -x8755 x8756 -x8757 -x8758 -x8759 x8760 -x8762 x8763 -x8764 -x8765 x8767 -x8768 -x8769 -x8770 -x8771 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 x8782 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 x8766 3600.01/3609.90 s SATISFIABLE
OK 1099398192
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60546 MiB free)
memory of node 1: 64465 MiB (61470 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485658-1751306826/watcher-4485658-1751306826 -o /tmp/evaluation-result-4485658-1751306826/solver-4485658-1751306826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751303214-40389 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4485658-1751306826.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40799, runsolver pid=40796
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.14 4.12 4.09 5/258 40800
/proc/meminfo: memFree=124925212/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=33492 memory=16568 CPUtime=0.09 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 3300 0 0 0 9 0 0 0 20 0 1 0 46357191 34295808 4142 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 8373 4142 1120 3139 0 4661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33492 KiB
Current children cumulated memory: 16568 KiB
[startup+0.205122 s]*
/proc/loadavg: 4.14 4.12 4.09 5/259 40806
/proc/meminfo: memFree=124901832/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=39516 memory=22712 CPUtime=0.19 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 4806 0 0 0 19 0 0 0 20 0 1 0 46357191 40464384 5678 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 9879 5678 1152 3139 0 6167 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39516 KiB
Current children cumulated memory: 22712 KiB
[startup+0.305051 s]*
/proc/loadavg: 4.14 4.12 4.09 5/263 40810
/proc/meminfo: memFree=124852228/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=51964 memory=40908 CPUtime=0.3 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 8117 0 0 0 29 1 0 0 20 0 1 0 46357191 53211136 10227 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 12991 10227 2688 3139 0 9279 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51964 KiB
Current children cumulated memory: 40908 KiB
[startup+0.700182 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 40810
/proc/meminfo: memFree=124750796/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=62476 memory=50108 CPUtime=0.68 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 11138 0 0 0 67 1 0 0 20 0 1 0 46357191 63975424 12527 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 15619 12527 2688 3139 0 11907 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62476 KiB
Current children cumulated memory: 50108 KiB
[startup+1.50018 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 40810
/proc/meminfo: memFree=124366448/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=76308 memory=61372 CPUtime=1.48 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 14089 0 0 0 145 3 0 0 20 0 1 0 46357191 78139392 15343 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 19077 15343 2688 3139 0 15365 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76308 KiB
Current children cumulated memory: 61372 KiB
[startup+3.10552 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 40855
/proc/meminfo: memFree=123742000/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=173132 memory=161236 CPUtime=3.08 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 25303 0 0 0 302 6 0 0 20 0 1 0 46357191 177287168 40309 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 43283 40309 2688 3139 0 39571 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 173132 KiB
Current children cumulated memory: 161236 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 40855
/proc/meminfo: memFree=123376932/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=421388 memory=385044 CPUtime=6.26 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 47622 0 0 0 614 12 0 0 20 0 1 0 46357191 431501312 96261 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 105347 96261 2688 3139 0 101635 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 421388 KiB
Current children cumulated memory: 385044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 40855
/proc/meminfo: memFree=123296332/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=472164 memory=438208 CPUtime=12.64 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 50566 0 0 0 1250 14 0 0 20 0 1 0 46357191 483495936 109552 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 118041 109552 2720 3139 0 114329 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 472164 KiB
Current children cumulated memory: 438208 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 40856
/proc/meminfo: memFree=123117592/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=468352 memory=436512 CPUtime=25.4 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 51617 0 0 0 2523 17 0 0 20 0 1 0 46357191 479592448 109128 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 117088 109128 2720 3139 0 113376 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 436512 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 40856
/proc/meminfo: memFree=122813124/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=440980 memory=409804 CPUtime=50.92 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 55479 0 0 0 5071 21 0 0 20 0 1 0 46357191 451563520 102451 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 110245 102451 2720 3139 0 106533 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 440980 KiB
Current children cumulated memory: 409804 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 40862
/proc/meminfo: memFree=122234212/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=451900 memory=430780 CPUtime=101.94 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 57264 0 0 0 10172 22 0 0 20 0 1 0 46357191 462745600 107695 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 112975 107695 2720 3139 0 109263 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 451900 KiB
Current children cumulated memory: 430780 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 40864
/proc/meminfo: memFree=122093860/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=450020 memory=428736 CPUtime=161.74 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 58565 0 0 0 16150 24 0 0 20 0 1 0 46357191 460820480 107184 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 112505 107184 2720 3139 0 108793 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 450020 KiB
Current children cumulated memory: 428736 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 40870
/proc/meminfo: memFree=121548108/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=495960 memory=444276 CPUtime=221.54 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 59974 0 0 0 22129 25 0 0 20 0 1 0 46357191 507863040 111069 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 123990 111069 2720 3139 0 120278 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 495960 KiB
Current children cumulated memory: 444276 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 40872
/proc/meminfo: memFree=121429996/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=447380 memory=395664 CPUtime=281.34 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 62604 0 0 0 28107 27 0 0 20 0 1 0 46357191 458117120 98916 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 111845 98916 2720 3139 0 108133 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 447380 KiB
Current children cumulated memory: 395664 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/263 40874
/proc/meminfo: memFree=120694348/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=481804 memory=430096 CPUtime=341.13 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 63560 0 0 0 34085 28 0 0 20 0 1 0 46357191 493367296 107524 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 120451 107524 2720 3139 0 116739 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 481804 KiB
Current children cumulated memory: 430096 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 40876
/proc/meminfo: memFree=120334984/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=481804 memory=432656 CPUtime=400.94 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 63666 0 0 0 40066 28 0 0 20 0 1 0 46357191 493367296 108164 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 120451 108164 3328 3139 0 116739 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 481804 KiB
Current children cumulated memory: 432656 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 40879
/proc/meminfo: memFree=119297612/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=481804 memory=432784 CPUtime=460.76 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 63668 0 0 0 46048 28 0 0 20 0 1 0 46357191 493367296 108196 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 120451 108196 3360 3139 0 116739 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
Current children cumulated memory: 523692 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 41036
/proc/meminfo: memFree=94297772/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=580772 memory=529648 CPUtime=2914.24 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 104445 0 0 0 291347 77 0 0 20 0 1 0 46357191 594710528 132412 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 145193 132412 3360 3139 0 141481 0
Current children cumulated CPU time: 2914.24 s
Current children cumulated vsize: 580772 KiB
Current children cumulated memory: 529648 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/262 41038
/proc/meminfo: memFree=95038192/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=584536 memory=533412 CPUtime=2974.07 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 105194 0 0 0 297328 79 0 0 20 0 1 0 46357191 598564864 133353 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 146134 133353 3360 3139 0 142422 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 584536 KiB
Current children cumulated memory: 533412 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 41040
/proc/meminfo: memFree=91383952/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=578552 memory=527428 CPUtime=3033.92 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 105899 0 0 0 303311 81 0 0 20 0 1 0 46357191 592437248 131857 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 144638 131857 3360 3139 0 140926 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 578552 KiB
Current children cumulated memory: 527428 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 41042
/proc/meminfo: memFree=95066268/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=582552 memory=531332 CPUtime=3093.76 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 107360 0 0 0 309291 85 0 0 20 0 1 0 46357191 596533248 132833 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 145638 132833 3360 3139 0 141926 0
Current children cumulated CPU time: 3093.76 s
Current children cumulated vsize: 582552 KiB
Current children cumulated memory: 531332 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 41049
/proc/meminfo: memFree=95298152/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=579664 memory=528540 CPUtime=3153.61 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 107761 0 0 0 315273 88 0 0 20 0 1 0 46357191 593575936 132135 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 144916 132135 3360 3139 0 141204 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 579664 KiB
Current children cumulated memory: 528540 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 41052
/proc/meminfo: memFree=94264860/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=590884 memory=539664 CPUtime=3213.45 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 108250 0 0 0 321256 89 0 0 20 0 1 0 46357191 605065216 134916 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 147721 134916 3360 3139 0 144009 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 590884 KiB
Current children cumulated memory: 539664 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 41067
/proc/meminfo: memFree=95293960/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=581248 memory=530028 CPUtime=3273.29 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 109258 0 0 0 327238 91 0 0 20 0 1 0 46357191 595197952 132507 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 145312 132507 3360 3139 0 141600 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 581248 KiB
Current children cumulated memory: 530028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 41069
/proc/meminfo: memFree=95325260/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=579516 memory=528296 CPUtime=3333.14 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 110226 0 0 0 333219 95 0 0 20 0 1 0 46357191 593424384 132074 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 144879 132074 3360 3139 0 141167 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 579516 KiB
Current children cumulated memory: 528296 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 41071
/proc/meminfo: memFree=95139824/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=586172 memory=534952 CPUtime=3392.98 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 110714 0 0 0 339201 97 0 0 20 0 1 0 46357191 600240128 133738 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 146543 133738 3360 3139 0 142831 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 586172 KiB
Current children cumulated memory: 534952 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 41073
/proc/meminfo: memFree=91349376/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=576772 memory=525648 CPUtime=3452.82 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 111273 0 0 0 345184 98 0 0 20 0 1 0 46357191 590614528 131412 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 144193 131412 3360 3139 0 140481 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 576772 KiB
Current children cumulated memory: 525648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 41075
/proc/meminfo: memFree=94215392/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=625608 memory=574484 CPUtime=3512.65 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 112044 0 0 0 351165 100 0 0 20 0 1 0 46357191 640622592 143621 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 156402 143621 3360 3139 0 152690 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 625608 KiB
Current children cumulated memory: 574484 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 41076
/proc/meminfo: memFree=95287648/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=566484 memory=515264 CPUtime=3572.49 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 112577 0 0 0 357148 101 0 0 20 0 1 0 46357191 580079616 128816 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 141621 128816 3360 3139 0 137909 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 566484 KiB
Current children cumulated memory: 515264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 41078
/proc/meminfo: memFree=94845520/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=568024 memory=516804 CPUtime=3600.01 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 112883 0 0 0 359899 102 0 0 20 0 1 0 46357191 581656576 129201 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 142006 129201 3360 3139 0 138294 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 568024 KiB
Current children cumulated memory: 516804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 40799 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599 s, system=1.03191 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 41078
/proc/meminfo: memFree=94845520/131249992 swapFree=33010160/33010684
[pid=40799] ppid=40796 vsize=568024 memory=516804 CPUtime=3600.01 cores=0,2
/proc/40799/stat : 40799 (uwrmaxsat-scip) R 40796 40799 40379 0 -1 4194304 112883 0 0 0 359899 102 0 0 20 0 1 0 46357191 581656576 129201 18446744073709551615 4198400 17051741 140721105391488 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 36790272 140721105393978 140721105394148 140721105394148 140721105399750 0
/proc/40799/statm: 142006 129201 3360 3139 0 138294 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 568024 KiB
Current children cumulated memory: 516804 KiB
Child status: 10
Real time (s): 3609.9
CPU time (s): 3600.03
CPU user time (s): 3599
CPU system time (s): 1.03191
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 669932
Max. memory (cumulated for all children) (KiB): 618660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599
system time used= 1.03191
maximum resident set size= 618660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 7859
# summary of solver processes directly reported to runsolver:
# pid: 40799
# total CPU time (s): 3600.03
# total CPU user time (s): 3599
# total CPU system time (s): 1.03191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95148 second user time and 16.3874 second system time
The end
Begin job on nodeC035 at 2025-06-30 20:07:06 IDJOB=4485658 IDBENCH=146805 IDSOLVER=3373 FILE ID=nodeC035/4485658-1751306826 RUNJOBID= nodeC035-1751303214-40389 SLURM_JOB_ID= 9594292 Free space on /tmp= 433024 MiB SOLVER NAME= UWrMaxSat-SCIP 2025-06-04 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485658-1751306826/watcher-4485658-1751306826 -o /tmp/evaluation-result-4485658-1751306826/solver-4485658-1751306826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751303214-40389 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4485658-1751306826.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9da0f014fb9cbd107dd1b5ea973ba0c7 RANDOM SEED=1021996278 nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.298 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2540.938 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.738 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2362.878 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.741 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2539.490 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.827 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2337.553 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 124965832 kB MemAvailable: 129656548 kB Buffers: 1840 kB Cached: 5444136 kB SwapCached: 8 kB Active: 347356 kB Inactive: 5164676 kB Active(anon): 72484 kB Inactive(anon): 11620 kB Active(file): 274872 kB Inactive(file): 5153056 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 54616 kB Writeback: 4 kB AnonPages: 69248 kB Mapped: 103164 kB Shmem: 18048 kB KReclaimable: 204052 kB Slab: 292808 kB SReclaimable: 204052 kB SUnreclaim: 88756 kB KernelStack: 4144 kB PageTables: 3044 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 333648 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432964 MiB End job on nodeC035 at 2025-06-30 21:07:17