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