Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 195 | 1800.07 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb |
MD5SUM | 8e8463c13e61e1a22058cdf603119640 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 26 |
Best CPU time to get the best result obtained on this benchmark | 273.442 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26 |
Optimality of the best value was proved | YES |
Number of variables | 7926 |
Total number of constraints | 23835 |
Number of constraints which are clauses | 23835 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 3885 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3885 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 3885 |
Number of bits of the biggest sum of numbers | 12 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb ...... 0.29/0.35 c done parsing opb. 0.29/0.35 o 218 0.29/0.36 o 217 0.49/0.52 o 216 153.86/153.91 o 215 153.86/153.94 o 214 207.24/207.31 o 213 207.34/207.40 o 212 441.88/442.02 o 195 1800.05/1800.50 s SATISFIABLE 1800.05/1800.50 v x1 x10 x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.05/1800.50 v -x1015 -x1016 -x1017 -x1018 -x1019 x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 x1028 -x1029 x103 -x1030 1800.05/1800.50 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.05/1800.50 v -x1047 -x1048 -x1049 x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 1800.05/1800.50 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.05/1800.50 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.05/1800.50 v -x1095 -x1096 -x1097 -x1098 -x1099 x11 x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x111 1800.05/1800.50 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.05/1800.50 v -x1127 -x1128 -x1129 x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x114 -x1140 -x1141 -x1142 1800.05/1800.50 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.05/1800.50 v -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.05/1800.50 v -x1176 -x1177 -x1178 -x1179 x118 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 -x1187 -x1188 -x1189 x119 -x1190 -x1191 1800.05/1800.50 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x12 x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1800.05/1800.50 v -x1208 -x1209 x121 -x1210 -x1211 -x1212 x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x122 -x1220 -x1221 -x1222 -x1223 1800.05/1800.50 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1800.05/1800.50 v x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1800.05/1800.50 v -x1256 -x1257 -x1258 -x1259 x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x127 -x1270 x1271 1800.05/1800.50 v x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1800.05/1800.50 v -x1289 x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x13 -x130 -x1300 -x1301 -x1302 -x1303 1800.05/1800.50 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 x1314 x1315 -x1316 -x1317 -x1318 -x1319 x132 1800.05/1800.50 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1800.05/1800.50 v -x1337 -x1338 -x1339 x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x135 -x1350 -x1351 -x1352 1800.05/1800.50 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x136 -x1360 -x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1800.05/1800.50 v x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1800.05/1800.50 v -x1386 -x1387 -x1388 -x1389 x139 -x1390 -x1391 -x1392 x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x14 x140 -x1400 -x1401 1800.05/1800.50 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.05/1800.50 v -x1419 x142 -x1420 x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x143 -x1430 -x1431 -x1432 -x1433 -x1434 1800.05/1800.50 v -x1435 -x1436 -x1437 -x1438 -x1439 x144 -x1440 x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x145 -x1450 1800.05/1800.50 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 x146 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.05/1800.50 v -x1468 -x1469 x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x148 -x1480 -x1481 -x1482 -x1483 1800.05/1800.50 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x15 1800.05/1800.50 v x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.05/1800.50 v -x1516 -x1517 -x1518 -x1519 x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x153 -x1530 -x1531 1800.05/1800.50 v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 1800.05/1800.50 v -x1548 -x1549 x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x156 -x1560 -x1561 -x1562 -x1563 1800.05/1800.50 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x157 x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x158 1800.05/1800.50 v -x1580 -x1581 x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1800.05/1800.50 v -x1597 -x1598 -x1599 x16 x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 x1609 -x161 -x1610 -x1611 -x1612 1800.05/1800.50 v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x162 -x1620 -x1621 x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 1800.05/1800.50 v x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 1800.05/1800.50 v -x1646 -x1647 -x1648 -x1649 x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 1800.05/1800.50 v -x1662 -x1663 -x1664 -x1665 x1666 x1667 -x1668 -x1669 x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1800.05/1800.50 v -x1679 x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 x169 x1690 -x1691 -x1692 -x1693 -x1694 1800.05/1800.50 v -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x171 1800.05/1800.50 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 1800.05/1800.50 v -x1726 -x1727 -x1728 -x1729 x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x174 -x1740 -x1741 1800.05/1800.50 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 x1758 1800.05/1800.50 v -x1759 x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x177 x1770 -x1771 -x1772 -x1773 -x1774 1800.05/1800.50 v -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x179 -x1790 1800.05/1800.50 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x18 x180 -x1800 -x1801 -x1802 x1803 x1804 -x1805 -x1806 1800.05/1800.50 v -x1807 -x1808 -x1809 x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 x182 x1820 -x1821 -x1822 1800.05/1800.50 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.05/1800.50 v -x1839 x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 x1848 -x1849 x185 -x1850 -x1851 -x1852 -x1853 -x1854 1800.05/1800.50 v -x1855 -x1856 -x1857 -x1858 -x1859 x186 -x1860 x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 1800.05/1800.50 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 x1878 -x1879 x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1800.05/1800.50 v -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 x1894 x1895 -x1896 -x1897 -x1898 -x1899 x19 -x190 -x1900 -x1901 -x1902 1800.05/1800.50 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1800.05/1800.50 v -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 x1926 -x1927 -x1928 -x1929 x193 -x1930 -x1931 -x1932 -x1933 -x1934 1800.05/1800.50 v -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 1800.05/1800.50 v x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 1800.05/1800.50 v -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 x198 -x1980 -x1981 -x1982 -x1983 1800.05/1800.50 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 1800.05/1800.50 v x20 -x200 -x2000 -x2001 -x2002 -x2003 x2004 x2005 x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.05/1800.50 v -x2016 -x2017 -x2018 -x2019 x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 1800.05/1800.50 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.05/1800.50 v -x2048 -x2049 x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 x2057 -x2058 -x2059 x206 -x2060 -x2061 -x2062 -x2063 1800.05/1800.50 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x208 1800.05/1800.50 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.05/1800.50 v -x2097 -x2098 -x2099 x21 x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 1800.05/1800.50 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.05/1800.50 v -x2129 x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 1800.05/1800.50 v -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 1800.05/1800.50 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.05/1800.50 v -x2177 -x2178 -x2179 x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 1800.05/1800.50 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1800.05/1800.50 v -x2209 x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x222 -x2220 -x2221 -x2222 -x2223 -x2224 1800.05/1800.50 v -x2225 -x2226 -x2227 -x2228 -x2229 x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x224 -x2240 1800.05/1800.50 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 1800.05/1800.50 v -x2257 -x2258 -x2259 x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 1800.05/1800.50 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.05/1800.50 v -x2289 x229 -x2290 -x2291 -x2292 x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 1800.05/1800.50 v -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 1800.05/1800.50 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1800.05/1800.50 v -x2338 -x2339 x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x235 -x2350 -x2351 -x2352 -x2353 1800.05/1800.50 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 1800.05/1800.50 v -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.05/1800.50 v -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x24 -x240 -x2400 1800.05/1800.50 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1800.05/1800.50 v -x2417 x2418 x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 1800.05/1800.50 v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1800.05/1800.50 v -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 1800.05/1800.50 v -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 1800.05/1800.50 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.05/1800.50 v -x2497 -x2498 -x2499 x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 1800.05/1800.50 v -x2512 x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 1800.05/1800.50 v -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 1800.05/1800.50 v -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 1800.05/1800.50 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.05/1800.50 v -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 1800.05/1800.50 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1800.05/1800.50 v -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 1800.05/1800.50 v -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x264 -x2640 1800.05/1800.50 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.05/1800.50 v -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 x2672 x2673 1800.05/1800.50 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.05/1800.50 v -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 1800.05/1800.50 v -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 1800.05/1800.50 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 1800.05/1800.50 v -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 1800.05/1800.50 v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 1800.05/1800.50 v -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 1800.05/1800.50 v -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 1800.05/1800.50 v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.05/1800.50 v -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 1800.05/1800.50 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.05/1800.50 v -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 1800.05/1800.50 v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1800.05/1800.50 v -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1800.05/1800.50 v -x2896 -x2897 -x2898 -x2899 x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 1800.05/1800.50 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1800.05/1800.50 v -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 1800.05/1800.50 v -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.05/1800.50 v -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 1800.05/1800.50 v -x2975 -x2976 -x2977 x2978 x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 1800.05/1800.50 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3 x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 1800.05/1800.50 v -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 1800.05/1800.50 v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 1800.05/1800.50 v -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 1800.05/1800.50 v -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 1800.05/1800.50 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 1800.05/1800.50 v -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x31 -x310 -x3100 -x3101 1800.05/1800.50 v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 1800.05/1800.50 v -x3118 x3119 -x312 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 1800.05/1800.50 v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1800.05/1800.50 v -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 1800.05/1800.50 v x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 1800.05/1800.50 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 1800.05/1800.50 v -x3198 -x3199 x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 1800.05/1800.50 v -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 1800.05/1800.50 v -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 1800.05/1800.50 v -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 x3253 x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 1800.05/1800.50 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 1800.05/1800.50 v -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 1800.05/1800.50 v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.05/1800.50 v -x3309 -x331 x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 1800.05/1800.50 v -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 x3340 1800.05/1800.50 v x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 1800.05/1800.50 v -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 1800.05/1800.50 v -x3374 x3375 x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 1800.05/1800.50 v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 1800.05/1800.50 v -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 1800.05/1800.50 v -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 1800.05/1800.50 v -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 1800.05/1800.50 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1800.05/1800.50 v -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 1800.05/1800.50 v -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 1800.05/1800.50 v x3501 x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 1800.05/1800.50 v -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 1800.05/1800.50 v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 1800.05/1800.50 v -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557 x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 1800.05/1800.50 v -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 1800.05/1800.50 v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1800.05/1800.50 v -x3598 -x3599 x36 x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x361 -x3610 -x3611 -x3612 1800.05/1800.50 v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 x3624 x3625 -x3626 -x3627 -x3628 -x3629 1800.05/1800.50 v -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1800.05/1800.50 v -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 1800.05/1800.50 v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 1800.05/1800.50 v -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 1800.05/1800.50 v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x37 -x370 -x3700 -x3701 -x3702 -x3703 x3704 x3705 -x3706 -x3707 -x3708 -x3709 1800.05/1800.50 v -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 1800.05/1800.50 v -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 1800.05/1800.50 v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 x3751 x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 1800.05/1800.50 v -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 x3767 x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 1800.05/1800.50 v -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 1800.05/1800.50 v -x3791 -x3792 -x3793 -x3794 x3795 x3796 -x3797 -x3798 -x3799 x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 1800.05/1800.50 v -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 1800.05/1800.50 v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 1800.05/1800.50 v -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 1800.05/1800.50 v -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 1800.05/1800.50 v -x3871 -x3872 -x3873 x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 1800.05/1800.50 v -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 x3897 x3898 -x3899 x39 -x390 -x3900 -x3901 -x3902 1800.05/1800.50 v -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1800.05/1800.50 v -x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x393 x3930 -x3931 -x3932 -x3933 -x3934 1800.05/1800.50 v -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 1800.05/1800.50 v -x3951 -x3952 -x3953 -x3954 x3955 x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 1800.05/1800.50 v -x3968 -x3969 -x397 -x3970 -x3971 -x3972 x3973 x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 1800.05/1800.50 v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x399 x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 x4 1800.05/1800.50 v x40 -x400 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 1800.05/1800.50 v -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 1800.05/1800.50 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 1800.05/1800.50 v -x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 1800.05/1800.50 v -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 1800.05/1800.50 v -x4079 -x408 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 1800.05/1800.50 v -x4095 -x4096 -x4097 -x4098 -x4099 x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 1800.05/1800.50 v -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 1800.05/1800.50 v -x4126 -x4127 -x4128 -x4129 -x413 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 1800.05/1800.50 v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 1800.05/1800.50 v -x4158 -x4159 -x416 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 1800.05/1800.50 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 x4187 -x4188 -x4189 -x419 1800.05/1800.50 v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 1800.05/1800.50 v -x4206 -x4207 -x4208 -x4209 -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 1800.05/1800.50 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x423 x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 1800.05/1800.50 v -x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 1800.05/1800.50 v -x4255 -x4256 -x4257 -x4258 -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 1800.05/1800.50 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 1800.05/1800.50 v -x4287 -x4288 -x4289 -x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 x43 -x430 -x4300 -x4301 1800.05/1800.50 v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1800.05/1800.50 v -x4319 -x432 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 1800.05/1800.50 v -x4335 -x4336 -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 x4349 -x435 -x4350 1800.05/1800.50 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 1800.05/1800.50 v -x4367 -x4368 -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 1800.05/1800.50 v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 x4394 x4395 -x4396 -x4397 -x4398 -x4399 1800.05/1800.50 v -x44 -x440 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 1800.05/1800.50 v -x4415 -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 1800.05/1800.50 v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 1800.05/1800.50 v -x4447 -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 1800.05/1800.50 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 1800.05/1800.50 v -x4479 -x448 -x4480 -x4481 -x4482 -x4483 x4484 x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 1800.05/1800.50 v -x4495 -x4496 -x4497 -x4498 -x4499 x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 1800.05/1800.50 v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.05/1800.50 v -x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 1800.05/1800.50 v x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1800.05/1800.50 v -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574 1800.05/1800.50 v -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590 1800.05/1800.50 v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 1800.05/1800.50 v -x4607 -x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 x4615 x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 1800.05/1800.50 v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 1800.05/1800.50 v -x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x465 x4650 -x4651 -x4652 -x4653 -x4654 1800.05/1800.50 v -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 x4667 x4668 -x4669 -x467 -x4670 1800.05/1800.50 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 1800.05/1800.50 v -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 -x4701 1800.05/1800.50 v -x4702 x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1800.05/1800.50 v -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 x4728 x4729 -x473 -x4730 -x4731 -x4732 -x4733 -x4734 1800.05/1800.50 v -x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475 -x4750 1800.05/1800.50 v -x4751 -x4752 -x4753 -x4754 -x4755 x4756 x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 1800.05/1800.50 v -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 -x4782 -x4783 1800.05/1800.50 v -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 1800.05/1800.50 v x48 -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 -x4813 -x4814 1800.05/1800.50 v -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x483 -x4830 1800.05/1800.50 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 1800.05/1800.50 v -x4848 -x4849 x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 x486 -x4860 -x4861 x4862 x4863 1800.05/1800.50 v -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 x4878 x4879 -x488 1800.05/1800.50 v -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 1800.05/1800.50 v -x4896 -x4897 -x4898 -x4899 x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 -x4910 1800.05/1800.50 v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 1800.05/1800.50 v -x4927 -x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 x4940 x4941 -x4942 1800.05/1800.50 v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 1800.05/1800.50 v -x4959 -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 1800.05/1800.50 v -x4975 -x4976 x4977 x4978 -x4979 -x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x499 -x4990 1800.05/1800.50 v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5 x50 -x500 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 1800.05/1800.50 v x5007 x5008 -x5009 -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 -x5021 -x5022 1800.05/1800.50 v -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x503 -x5030 x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 1800.05/1800.50 v -x504 -x5040 -x5041 -x5042 x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 1800.05/1800.50 v -x5056 -x5057 -x5058 -x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 -x5070 -x5071 1800.05/1800.50 v -x5072 -x5073 -x5074 x5075 x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 1800.05/1800.50 v -x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x51 -x510 -x5100 -x5101 -x5102 -x5103 1800.05/1800.50 v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 x5116 -x5117 -x5118 -x5119 -x512 1800.05/1800.50 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 1800.05/1800.50 v -x5136 -x5137 -x5138 -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 x5149 -x515 x5150 -x5151 1800.05/1800.50 v -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 x5159 -x516 x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 1800.05/1800.50 v -x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 x5175 x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 1800.05/1800.50 v -x5185 -x5186 -x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 x5193 x5194 -x5195 -x5196 -x5197 -x5198 -x5199 x52 -x520 1800.05/1800.50 v -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 1800.05/1800.50 v -x5216 -x5217 -x5218 -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x523 -x5230 x5231 1800.05/1800.50 v x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 1800.05/1800.50 v -x5249 -x525 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 1800.05/1800.50 v -x5265 -x5266 -x5267 -x5268 -x5269 -x527 -x5270 -x5271 -x5272 x5273 x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 1800.05/1800.50 v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 -x5292 x5293 x5294 -x5295 -x5296 x5297 1800.05/1800.50 v x5298 -x5299 -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 1800.05/1800.50 v -x5313 -x5314 x5315 x5316 -x5317 -x5318 -x5319 -x532 -x5320 x5321 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 1800.05/1800.50 v -x533 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x534 -x5340 -x5341 x5342 -x5343 -x5344 -x5345 1800.05/1800.50 v -x5346 -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x536 -x5360 -x5361 1800.05/1800.50 v x5362 x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 1800.05/1800.50 v -x5379 -x538 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 -x5394 1800.05/1800.50 v -x5395 -x5396 -x5397 -x5398 -x5399 x54 -x540 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 1800.05/1800.50 v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 1800.05/1800.50 v -x5426 -x5427 -x5428 -x5429 -x543 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441 1800.05/1800.50 v -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 1800.05/1800.50 v -x5458 -x5459 -x546 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470 -x5471 -x5472 -x5473 1800.05/1800.50 v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x548 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 1800.05/1800.50 v -x549 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 1800.05/1800.50 v -x5505 -x5506 -x5507 -x5508 -x5509 -x551 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 1800.05/1800.50 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x553 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 1800.05/1800.50 v -x5537 -x5538 -x5539 -x554 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 1800.05/1800.50 v -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 1800.05/1800.50 v -x5569 -x557 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x558 -x5580 -x5581 -x5582 -x5583 x5584 1800.05/1800.50 v x5585 -x5586 -x5587 -x5588 -x5589 x559 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x56 -x560 1800.05/1800.50 v -x5600 -x5601 x5602 x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x561 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 1800.05/1800.50 v -x5617 -x5618 -x5619 -x562 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 1800.05/1800.50 v -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 1800.05/1800.50 v -x5649 -x565 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 x5657 x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 1800.05/1800.50 v -x5665 -x5666 -x5667 -x5668 -x5669 -x567 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 1800.05/1800.50 v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x569 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 1800.05/1800.50 v -x5697 -x5698 -x5699 x57 -x570 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 1800.05/1800.50 v -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x572 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 1800.05/1800.50 v -x5728 -x5729 -x573 -x5730 -x5731 -x5732 x5733 x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 1800.05/1800.50 v -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x575 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 1800.05/1800.50 v -x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x577 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 1800.05/1800.50 v -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 x5786 x5787 -x5788 -x5789 -x579 -x5790 -x5791 1800.05/1800.50 v -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x58 -x580 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 1800.05/1800.50 v -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 x5817 -x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 1800.05/1800.50 v -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x583 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 1800.05/1800.50 v -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x585 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 1800.05/1800.50 v -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 1800.05/1800.50 v -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x588 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 1800.05/1800.50 v -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x59 -x590 -x5900 -x5901 -x5902 1800.05/1800.50 v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x591 x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 1800.05/1800.50 v x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 x593 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 1800.05/1800.50 v x5936 x5937 -x5938 -x5939 -x594 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 1800.05/1800.50 v -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x596 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 1800.05/1800.50 v -x5968 -x5969 -x597 x5970 x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x598 -x5980 -x5981 -x5982 -x5983 1800.05/1800.50 v -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x599 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 1800.05/1800.50 v x6 x60 -x600 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x601 x6010 -x6011 -x6012 -x6013 -x6014 1800.05/1800.50 v -x6015 -x6016 -x6017 -x6018 -x6019 -x602 x6020 x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 1800.05/1800.50 v -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 x6039 -x604 x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 1800.05/1800.50 v -x6048 -x6049 -x605 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 1800.05/1800.50 v -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x607 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 1800.05/1800.50 v -x608 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 1800.05/1800.50 v -x6096 -x6097 -x6098 -x6099 x61 -x610 -x6100 -x6101 x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 1800.05/1800.50 v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 1800.05/1800.50 v -x6127 -x6128 -x6129 -x613 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x6140 -x6141 -x6142 1800.05/1800.50 v -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x615 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 1800.05/1800.50 v -x6159 -x616 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 x6169 -x617 x6170 -x6171 -x6172 -x6173 -x6174 1800.05/1800.50 v -x6175 -x6176 -x6177 -x6178 -x6179 -x618 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x619 -x6190 1800.05/1800.50 v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 x62 -x620 -x6200 -x6201 x6202 x6203 -x6204 -x6205 -x6206 1800.05/1800.50 v -x6207 -x6208 -x6209 -x621 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x622 -x6220 -x6221 -x6222 1800.05/1800.50 v -x6223 -x6224 x6225 x6226 -x6227 -x6228 -x6229 -x623 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 1800.05/1800.50 v -x624 -x6240 -x6241 -x6242 -x6243 -x6244 x6245 x6246 -x6247 -x6248 -x6249 -x625 -x6250 -x6251 -x6252 -x6253 -x6254 x6255 1800.05/1800.50 v x6256 -x6257 -x6258 -x6259 -x626 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x627 -x6270 -x6271 1800.05/1800.50 v -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x628 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 1800.05/1800.50 v -x6288 -x6289 -x629 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 x63 -x630 -x6300 -x6301 -x6302 1800.05/1800.50 v -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x631 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 1800.05/1800.50 v -x6319 -x632 -x6320 -x6321 -x6322 x6323 x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x633 -x6330 -x6331 -x6332 -x6333 -x6334 1800.05/1800.50 v -x6335 -x6336 -x6337 -x6338 -x6339 -x634 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x635 -x6350 1800.05/1800.50 v -x6351 x6352 x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x636 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 1800.05/1800.50 v -x6368 -x6369 -x637 -x6370 x6371 x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x638 -x6380 -x6381 -x6382 -x6383 1800.05/1800.50 v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x639 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 1800.05/1800.50 v x64 -x640 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x641 x6410 x6411 -x6412 -x6413 -x6414 1800.05/1800.50 v -x6415 -x6416 -x6417 x6418 x6419 -x642 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x643 -x6430 1800.05/1800.50 v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x644 -x6440 -x6441 x6442 x6443 -x6444 -x6445 -x6446 -x6447 1800.05/1800.50 v -x6448 -x6449 -x645 -x6450 -x6451 -x6452 -x6453 x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x646 -x6460 -x6461 -x6462 -x6463 1800.05/1800.50 v -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x647 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 1800.05/1800.50 v -x648 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x649 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 1800.05/1800.50 v -x6496 -x6497 -x6498 -x6499 x65 -x650 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x651 x6510 1800.05/1800.50 v x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x652 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 1800.05/1800.50 v -x6528 -x6529 -x653 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x654 -x6540 -x6541 -x6542 -x6543 1800.05/1800.50 v -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x655 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 1800.05/1800.50 v -x656 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x657 -x6570 -x6571 -x6572 -x6573 x6574 x6575 1800.05/1800.50 v -x6576 -x6577 -x6578 -x6579 -x658 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x659 -x6590 -x6591 1800.05/1800.50 v -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 x66 x660 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 1800.05/1800.50 v -x6608 -x6609 x661 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x662 -x6620 -x6621 -x6622 x6623 1800.05/1800.50 v x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x663 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x664 1800.05/1800.50 v -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x665 -x6650 x6651 x6652 -x6653 -x6654 -x6655 -x6656 1800.05/1800.50 v -x6657 -x6658 -x6659 -x666 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x667 -x6670 -x6671 -x6672 1800.05/1800.50 v -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x668 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 x6687 x6688 -x6689 1800.05/1800.50 v -x669 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 x67 -x670 -x6700 -x6701 -x6702 -x6703 -x6704 1800.05/1800.50 v -x6705 -x6706 -x6707 -x6708 -x6709 -x671 x6710 x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x672 -x6720 1800.05/1800.50 v -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x673 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 1800.05/1800.50 v -x6737 -x6738 -x6739 -x674 x6740 x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x675 -x6750 -x6751 -x6752 1800.05/1800.50 v -x6753 -x6754 -x6755 x6756 x6757 -x6758 -x6759 -x676 -x6760 -x6761 -x6762 -x6763 x6764 x6765 -x6766 -x6767 -x6768 -x6769 1800.05/1800.50 v -x677 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x678 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 1800.05/1800.50 v -x6786 -x6787 -x6788 -x6789 -x679 -x6790 -x6791 -x6792 -x6793 x6794 x6795 -x6796 -x6797 -x6798 -x6799 x68 -x680 -x6800 1800.05/1800.50 v -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x681 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 1800.05/1800.50 v -x6817 -x6818 -x6819 -x682 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x683 -x6830 -x6831 -x6832 1800.05/1800.50 v -x6833 x6834 x6835 -x6836 -x6837 -x6838 -x6839 -x684 -x6840 -x6841 x6842 x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 1800.05/1800.50 v -x685 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x686 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 1800.05/1800.50 v -x6866 -x6867 -x6868 -x6869 -x687 -x6870 -x6871 x6872 x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x688 -x6880 -x6881 1800.05/1800.50 v -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 x689 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 1800.05/1800.50 v -x6899 x69 x690 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x691 -x6910 -x6911 x6912 x6913 -x6914 1800.05/1800.50 v -x6915 -x6916 -x6917 -x6918 -x6919 -x692 x6920 x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x693 -x6930 1800.05/1800.50 v -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x694 x6940 x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 1800.05/1800.50 v -x6948 -x6949 -x695 x6950 x6951 -x6952 x6953 x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x696 -x6960 -x6961 -x6962 -x6963 1800.05/1800.50 v -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x697 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 x6977 -x6978 -x6979 -x698 1800.05/1800.50 v -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x699 -x6990 -x6991 -x6992 -x6993 x6994 x6995 -x6996 1800.05/1800.50 v -x6997 -x6998 -x6999 x7 x70 -x700 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x701 -x7010 -x7011 1800.05/1800.50 v -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x702 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 1800.05/1800.50 v -x7028 -x7029 -x703 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x704 -x7040 -x7041 -x7042 -x7043 1800.05/1800.50 v -x7044 -x7045 -x7046 -x7047 x7048 x7049 -x705 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x706 1800.05/1800.50 v -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x707 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 1800.05/1800.50 v -x7076 -x7077 -x7078 -x7079 x708 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 x709 -x7090 -x7091 1800.05/1800.50 v -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 x71 -x710 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 1800.05/1800.50 v -x7108 x7109 -x711 x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x712 -x7120 -x7121 -x7122 -x7123 1800.05/1800.50 v -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x713 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 1800.05/1800.50 v -x714 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x715 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 1800.05/1800.50 v -x7156 -x7157 -x7158 -x7159 -x716 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x717 -x7170 -x7171 1800.05/1800.50 v -x7172 -x7173 x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x718 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 1800.05/1800.50 v -x7189 -x719 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 x72 -x720 x7200 x7201 -x7202 -x7203 1800.05/1800.50 v -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x721 -x7210 -x7211 -x7212 -x7213 x7214 x7215 -x7216 -x7217 -x7218 -x7219 -x722 1800.05/1800.50 v -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x723 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 1800.05/1800.50 v -x7236 -x7237 -x7238 -x7239 -x724 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x725 -x7250 -x7251 1800.05/1800.50 v -x7252 -x7253 -x7254 -x7255 x7256 x7257 -x7258 -x7259 -x726 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 1800.05/1800.50 v -x7269 -x727 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x728 -x7280 -x7281 -x7282 -x7283 -x7284 1800.05/1800.50 v -x7285 -x7286 -x7287 -x7288 -x7289 -x729 -x7290 -x7291 x7292 x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 x73 x730 -x7300 1800.05/1800.50 v -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 x731 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 1800.05/1800.50 v -x7318 -x7319 -x732 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x733 -x7330 -x7331 -x7332 -x7333 1800.05/1800.50 v -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x734 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 1800.05/1800.50 v -x735 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x736 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 1800.05/1800.50 v -x7366 -x7367 -x7368 -x7369 -x737 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 x7376 x7377 -x7378 -x7379 -x738 -x7380 -x7381 1800.05/1800.50 v -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x739 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 1800.05/1800.50 v -x7398 -x7399 x74 -x740 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x741 -x7410 -x7411 -x7412 1800.05/1800.50 v -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x742 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 1800.05/1800.50 v -x7429 -x743 x7430 x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x744 -x7440 -x7441 -x7442 -x7443 -x7444 1800.05/1800.50 v -x7445 -x7446 -x7447 -x7448 -x7449 -x745 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x746 x7460 1800.05/1800.50 v x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x747 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 1800.05/1800.50 v -x7478 -x7479 -x748 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 x749 -x7490 -x7491 -x7492 -x7493 1800.05/1800.50 v -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 x75 x750 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 1800.05/1800.50 v -x751 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 x7516 x7517 -x7518 -x7519 -x752 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 1800.05/1800.50 v -x7526 -x7527 -x7528 -x7529 -x753 -x7530 x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x754 -x7540 -x7541 1800.05/1800.50 v -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x755 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 1800.05/1800.50 v -x7558 -x7559 -x756 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x757 -x7570 -x7571 -x7572 -x7573 1800.05/1800.50 v -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x758 -x7580 -x7581 x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x759 1800.05/1800.50 v -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 x76 -x760 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 1800.05/1800.50 v -x7606 x7607 x7608 -x7609 -x761 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x762 -x7620 -x7621 1800.05/1800.50 v -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x763 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 1800.05/1800.50 v -x7638 -x7639 -x764 -x7640 x7641 x7642 -x7643 -x7644 -x7645 -x7646 x7647 x7648 -x7649 -x765 -x7650 -x7651 -x7652 -x7653 1800.05/1800.50 v -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x766 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 1800.05/1800.50 v -x767 -x7670 -x7671 x7672 x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x768 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 1800.05/1800.50 v -x7686 -x7687 -x7688 -x7689 -x769 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 x77 -x770 -x7700 1800.05/1800.50 v -x7701 -x7702 -x7703 x7704 x7705 -x7706 -x7707 -x7708 -x7709 -x771 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 1800.05/1800.50 v -x7718 -x7719 -x772 x7720 x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x773 -x7730 -x7731 -x7732 -x7733 1800.05/1800.50 v -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x774 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 1800.05/1800.50 v -x775 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x776 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 1800.05/1800.50 v -x7766 -x7767 -x7768 -x7769 -x777 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x778 -x7780 -x7781 1800.05/1800.50 v -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 x7788 x7789 -x779 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 1800.05/1800.50 v -x7799 x78 -x780 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x781 -x7810 -x7811 -x7812 x7813 1800.05/1800.50 v -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x782 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 x7828 x7829 -x783 1800.05/1800.50 v -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x784 -x7840 -x7841 -x7842 -x7843 x7844 -x7845 -x7846 1800.05/1800.50 v -x7847 -x7848 -x7849 -x785 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x786 -x7860 -x7861 -x7862 1800.05/1800.50 v x7863 x7864 -x7865 -x7866 -x7867 -x7868 -x7869 x787 -x7870 -x7871 -x7872 -x7873 -x7874 x7875 -x7876 -x7877 -x7878 -x7879 1800.05/1800.50 v x788 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x789 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 1800.05/1800.50 v x7896 -x7897 -x7898 -x7899 x79 -x790 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x791 -x7910 1800.05/1800.50 v -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x792 x7920 -x7921 -x7922 x7923 x7924 x7925 x7926 -x793 1800.05/1800.50 v -x794 -x795 -x796 -x797 -x798 -x799 x8 x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x81 -x810 -x811 -x812 1800.05/1800.50 v -x813 -x814 -x815 -x816 -x817 -x818 -x819 x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x83 -x830 -x831 1800.05/1800.50 v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x85 -x850 1800.05/1800.50 v -x851 -x852 -x853 -x854 -x855 x856 x857 -x858 -x859 x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 x869 x87 -x870 1800.05/1800.50 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 1800.05/1800.50 v -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 1800.05/1800.50 v x91 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920 -x921 -x922 -x923 x924 x925 -x926 -x927 -x928 -x929 1800.05/1800.50 v x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1800.05/1800.50 v x949 x95 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 x968 1800.05/1800.50 v -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.05/1800.50 v -x988 x989 x99 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 195
/tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-459227-1178651758 -o ROOT/results/node18/solver-459227-1178651758 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20362 /proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=2396 CPUtime=0 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 386 0 0 0 0 0 0 0 18 0 1 0 313093211 2453504 368 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134530465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 599 368 84 219 0 376 0 [startup+0.01548 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20362 /proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=2528 CPUtime=0.01 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 429 0 0 0 1 0 0 0 18 0 1 0 313093211 2588672 411 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 632 411 84 219 0 409 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2528 [startup+0.101488 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20362 /proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=2700 CPUtime=0.09 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 483 0 0 0 9 0 0 0 18 0 1 0 313093211 2764800 465 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134530019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 675 465 86 219 0 452 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2700 [startup+0.301507 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20362 /proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=4728 CPUtime=0.29 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 1007 0 0 0 29 0 0 0 19 0 1 0 313093211 4841472 843 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 1182 844 86 219 0 959 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4728 [startup+0.701546 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20362 /proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=5548 CPUtime=0.69 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 1290 0 0 0 67 2 0 0 22 0 1 0 313093211 5681152 1126 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 1387 1126 102 219 0 1164 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5548 [startup+1.50162 s] /proc/loadavg: 0.92 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1848808/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=6904 CPUtime=1.49 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 1440 0 0 0 147 2 0 0 25 0 1 0 313093211 7069696 1276 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 1726 1276 102 219 0 1503 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6904 [startup+3.10178 s] /proc/loadavg: 0.92 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1848040/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=8952 CPUtime=3.09 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 1692 0 0 0 306 3 0 0 25 0 1 0 313093211 9166848 1528 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 2238 1528 102 219 0 2015 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8952 [startup+6.30109 s] /proc/loadavg: 0.93 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1845800/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=8952 CPUtime=6.29 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 2172 0 0 0 625 4 0 0 25 0 1 0 313093211 9166848 2008 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 2238 2008 102 219 0 2015 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8952 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1842280/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=13168 CPUtime=12.69 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 3008 0 0 0 1264 5 0 0 25 0 1 0 313093211 13484032 2844 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 3292 2844 102 219 0 3069 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13168 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1835688/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=21784 CPUtime=25.48 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 4589 0 0 0 2540 8 0 0 25 0 1 0 313093211 22306816 4425 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 5446 4425 102 219 0 5223 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21784 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1834664/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=21912 CPUtime=51.08 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 4825 0 0 0 5099 9 0 0 25 0 1 0 313093211 22437888 4661 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 5478 4661 102 219 0 5255 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21912 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1827816/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=40664 CPUtime=102.27 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 6753 0 0 0 10214 13 0 0 25 0 1 0 313093211 41639936 6396 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560642 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 10166 6396 102 219 0 9943 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40664 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1822952/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=43672 CPUtime=162.25 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 7945 0 0 0 16209 16 0 0 25 0 1 0 313093211 44720128 7588 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 10918 7588 102 219 0 10695 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43672 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1821096/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=45336 CPUtime=222.23 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 8382 0 0 0 22205 18 0 0 25 0 1 0 313093211 46424064 8025 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 11334 8025 102 219 0 11111 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 45336 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1819048/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=47864 CPUtime=282.22 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 8922 0 0 0 28201 21 0 0 25 0 1 0 313093211 49012736 8565 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 11966 8565 102 219 0 11743 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 47864 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1816808/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=50184 CPUtime=342.21 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 9446 0 0 0 34195 26 0 0 25 0 1 0 313093211 51388416 9089 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 12546 9089 102 219 0 12323 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 50184 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1816040/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=52264 CPUtime=402.19 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 9994 0 0 0 40189 30 0 0 25 0 1 0 313093211 53518336 9252 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 13066 9252 102 219 0 12843 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 52264 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1814568/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=53804 CPUtime=462.18 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 10396 0 0 0 46183 35 0 0 25 0 1 0 313093211 55095296 9654 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 13451 9654 102 219 0 13228 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 53804 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1813224/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=54908 CPUtime=522.16 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 10723 0 0 0 52177 39 0 0 25 0 1 0 313093211 56225792 9981 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 13727 9981 102 219 0 13504 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 54908 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1812648/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=55552 CPUtime=582.14 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 10879 0 0 0 58173 41 0 0 25 0 1 0 313093211 56885248 10137 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 13888 10137 102 219 0 13665 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 55552 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1811944/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=56096 CPUtime=642.13 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 11055 0 0 0 64169 44 0 0 25 0 1 0 313093211 57442304 10313 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 14024 10313 102 219 0 13801 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 56096 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1808936/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=58560 CPUtime=882.06 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 11768 0 0 0 88149 57 0 0 25 0 1 0 313093211 59965440 11026 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 14640 11026 102 219 0 14417 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 58560 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1807912/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=59632 CPUtime=942.05 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 12046 0 0 0 94144 61 0 0 25 0 1 0 313093211 61063168 11304 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 14908 11304 102 219 0 14685 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 59632 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1807656/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=59824 CPUtime=1002.04 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 12122 0 0 0 100139 65 0 0 25 0 1 0 313093211 61259776 11380 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 14956 11380 102 219 0 14733 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 59824 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1807208/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=63340 CPUtime=1062.02 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13017 0 0 0 106134 68 0 0 25 0 1 0 313093211 64860160 11506 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 15835 11506 102 219 0 15612 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 63340 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1806760/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=63680 CPUtime=1122.01 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13128 0 0 0 112129 72 0 0 25 0 1 0 313093211 65208320 11617 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 15920 11617 102 219 0 15697 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 63680 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1806056/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=64040 CPUtime=1181.99 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13298 0 0 0 118124 75 0 0 25 0 1 0 313093211 65576960 11787 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16010 11787 102 219 0 15787 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 64040 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1805736/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=64268 CPUtime=1241.98 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13363 0 0 0 124121 77 0 0 25 0 1 0 313093211 65810432 11852 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16067 11852 102 219 0 15844 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 64268 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1805480/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=64344 CPUtime=1301.97 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13441 0 0 0 130117 80 0 0 25 0 1 0 313093211 65888256 11930 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16086 11930 102 219 0 15863 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 64344 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1805032/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=64660 CPUtime=1361.95 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13531 0 0 0 136112 83 0 0 25 0 1 0 313093211 66211840 12020 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16165 12020 102 219 0 15942 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 64660 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1804712/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=65064 CPUtime=1421.94 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13647 0 0 0 142107 87 0 0 25 0 1 0 313093211 66625536 12136 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16266 12136 102 219 0 16043 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 65064 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20363 /proc/meminfo: memFree=1804200/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=65200 CPUtime=1481.92 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13752 0 0 0 148103 89 0 0 25 0 1 0 313093211 66764800 12241 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16300 12241 102 219 0 16077 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 65200 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20365 /proc/meminfo: memFree=1803944/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=65472 CPUtime=1541.91 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13837 0 0 0 154098 93 0 0 25 0 1 0 313093211 67043328 12326 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16368 12326 102 219 0 16145 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 65472 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20365 /proc/meminfo: memFree=1802600/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=66912 CPUtime=1601.89 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14161 0 0 0 160093 96 0 0 25 0 1 0 313093211 68517888 12650 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16728 12650 102 219 0 16505 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 66912 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20365 /proc/meminfo: memFree=1802152/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=67360 CPUtime=1661.87 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14278 0 0 0 166087 100 0 0 25 0 1 0 313093211 68976640 12767 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16840 12767 102 219 0 16617 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 67360 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20365 /proc/meminfo: memFree=1801768/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=67360 CPUtime=1721.86 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14357 0 0 0 172082 104 0 0 25 0 1 0 313093211 68976640 12846 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16840 12846 102 219 0 16617 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 67360 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20365 /proc/meminfo: memFree=1801512/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=67668 CPUtime=1781.85 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14435 0 0 0 178078 107 0 0 25 0 1 0 313093211 69292032 12924 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16917 12924 102 219 0 16694 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 67668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20365 /proc/meminfo: memFree=1801320/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=67828 CPUtime=1800.05 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14471 0 0 0 179897 108 0 0 25 0 1 0 313093211 69455872 12960 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16957 12960 102 219 0 16734 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 67828 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20365 /proc/meminfo: memFree=1801320/2055920 swapFree=4147172/4192956 [pid=20362] ppid=20360 vsize=67828 CPUtime=1800.05 /proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14471 0 0 0 179897 108 0 0 25 0 1 0 313093211 69455872 12960 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20362/statm: 16957 12960 102 219 0 16734 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 67828 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1798.98 CPU system time (s): 1.09483 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 67828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.09483 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14474 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= 9 involuntary context switches= 3258 runsolver used 1.45178 second user time and 3.79642 second system time The end
Begin job on node18 on Tue May 8 19:15:58 UTC 2007 IDJOB= 459227 IDBENCH= 24998 IDSOLVER= 200 FILE ID= node18/459227-1178651758 PBS_JOBID= 5217836 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-459227-1178651758 -o ROOT/results/node18/conversion-459227-1178651758 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-459227-1178651758 -o ROOT/results/node18/solver-459227-1178651758 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640 RANDOM SEED= 606303525 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1853704 kB Buffers: 34172 kB Cached: 82076 kB SwapCached: 14244 kB Active: 54180 kB Inactive: 84788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853704 kB SwapTotal: 4192956 kB SwapFree: 4147172 kB Dirty: 2952 kB Writeback: 0 kB Mapped: 29724 kB Slab: 48764 kB Committed_AS: 8683500 kB PageTables: 1776 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node18 on Tue May 8 19:46:01 UTC 2007