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