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