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