Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 28 | 1800.08 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
MD5SUM | af0ded53094abde95c37378ccd6c7afa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 8901 |
Total number of constraints | 32298 |
Number of constraints which are clauses | 32280 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 790 |
Number of terms in the objective function | 790 |
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 | 790 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 820 |
Number of bits of the biggest sum of numbers | 10 |
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/459247-1178652455/instance-459247-1178652455.opb ...... 69.48/69.56 c done parsing opb. 69.48/69.56 o 30 69.78/69.85 o 29 209.84/209.99 o 28 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 1800.06/1800.50 v -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 1800.06/1800.50 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.06/1800.50 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.06/1800.50 v -x1095 -x1096 -x1097 -x1098 -x1099 x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 1800.06/1800.50 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.06/1800.50 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x114 -x1140 -x1141 1800.06/1800.50 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.06/1800.50 v -x1159 x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 1800.06/1800.50 v -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 1800.06/1800.50 v -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 1800.06/1800.50 v -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 1800.06/1800.50 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 1800.06/1800.50 v -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 1800.06/1800.50 v -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 1800.06/1800.50 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.06/1800.50 v -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 1800.06/1800.50 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.06/1800.50 v -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 1800.06/1800.50 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1800.06/1800.50 v -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.06/1800.50 v -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 1800.06/1800.50 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.06/1800.50 v -x1398 -x1399 x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 1800.06/1800.50 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1800.06/1800.50 v -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 1800.06/1800.50 v -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 1800.06/1800.50 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1800.06/1800.50 v -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 1800.06/1800.50 v -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x15 -x150 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.06/1800.50 v -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 1800.06/1800.50 v -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 1800.06/1800.50 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.06/1800.50 v -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 1800.06/1800.50 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.06/1800.50 v -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 1800.06/1800.50 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.06/1800.50 v -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.06/1800.50 v -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 1800.06/1800.50 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1800.06/1800.50 v -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 1800.06/1800.50 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x17 1800.06/1800.50 v -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 1800.06/1800.50 v -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 1800.06/1800.50 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1800.06/1800.50 v -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 1800.06/1800.50 v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1800.06/1800.50 v -x178 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1800.06/1800.50 v -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 1800.06/1800.50 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.06/1800.50 v -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 1800.06/1800.50 v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.06/1800.50 v -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 1800.06/1800.50 v -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 1800.06/1800.50 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.06/1800.50 v -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 1800.06/1800.50 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 1800.06/1800.50 v -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 1800.06/1800.50 v -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 1800.06/1800.50 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1800.06/1800.50 v -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 1800.06/1800.50 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.06/1800.50 v -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 1800.06/1800.50 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.06/1800.50 v -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 1800.06/1800.50 v -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x208 -x2080 1800.06/1800.50 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.06/1800.50 v -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 1800.06/1800.50 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.06/1800.50 v -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 1800.06/1800.50 v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.06/1800.50 v -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1800.06/1800.50 v -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 1800.06/1800.50 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1800.06/1800.50 v -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 1800.06/1800.50 v -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 1800.06/1800.50 v -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 1800.06/1800.50 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1800.06/1800.50 v -x2319 -x232 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 1800.06/1800.50 v -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 1800.06/1800.50 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 1800.06/1800.50 v -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 1800.06/1800.50 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 1800.06/1800.50 v -x2399 -x24 -x240 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 1800.06/1800.50 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x243 1800.06/1800.50 v -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 1800.06/1800.50 v -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 1800.06/1800.50 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1800.06/1800.50 v -x248 -x2480 -x2481 -x2482 x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1800.06/1800.50 v -x2496 -x2497 x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 1800.06/1800.50 v -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 1800.06/1800.50 v -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x254 x2540 x2541 x2542 -x2543 1800.06/1800.50 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 1800.06/1800.50 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x257 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.06/1800.50 v -x2577 x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 1800.06/1800.50 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1800.06/1800.50 v -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 1800.06/1800.50 v -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x264 -x2640 1800.06/1800.50 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 1800.06/1800.50 v -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 1800.06/1800.50 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1800.06/1800.50 v -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 x2702 -x2703 1800.06/1800.50 v -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 1800.06/1800.50 v -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 1800.06/1800.50 v -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 1800.06/1800.50 v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 1800.06/1800.50 v -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 1800.06/1800.50 v -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 x2791 x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 1800.06/1800.50 v -x2800 -x2801 -x2802 -x2803 x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 1800.06/1800.50 v -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 x2832 1800.06/1800.50 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 1800.06/1800.50 v -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1800.06/1800.50 v -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 1800.06/1800.50 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.06/1800.50 v -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 1800.06/1800.50 v -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1800.06/1800.50 v -x293 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 1800.06/1800.50 v -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x296 -x2960 -x2961 1800.06/1800.50 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 1800.06/1800.50 v -x2979 -x298 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 1800.06/1800.50 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 1800.06/1800.50 v -x301 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 1800.06/1800.50 v -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 1800.06/1800.50 v -x3042 -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 -x3188 1800.06/1800.50 v -x3189 -x319 x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 x3198 -x3199 -x32 -x320 x3200 -x3201 -x3202 -x3203 -x3204 1800.06/1800.50 v -x3205 -x3206 -x3207 -x3208 -x3209 -x321 x3210 x3211 x3212 -x3213 -x3214 x3215 x3216 -x3217 -x3218 -x3219 -x322 x3220 x3221 1800.06/1800.50 v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 1800.06/1800.50 v -x3239 -x324 x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 1800.06/1800.50 v -x3255 -x3256 -x3257 -x3258 -x3259 -x326 x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 1800.06/1800.50 v -x3271 -x3272 -x3273 -x3274 x3275 x3276 -x3277 -x3278 -x3279 -x328 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 1800.06/1800.50 v -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 x3300 x3301 -x3302 1800.06/1800.50 v -x3303 -x3304 x3305 x3306 -x3307 -x3308 -x3309 -x331 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 1800.06/1800.50 v -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1800.06/1800.50 v -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 x3350 x3351 1800.06/1800.50 v -x3352 -x3353 -x3354 x3355 x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 1800.06/1800.50 v -x3369 -x337 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 1800.06/1800.50 v -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 -x340 1800.06/1800.50 v x3400 x3401 -x3402 -x3403 -x3404 x3405 x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 1800.06/1800.50 v -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x343 x3430 -x3431 -x3432 1800.06/1800.50 v -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x344 x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 1800.06/1800.50 v -x345 x3450 x3451 -x3452 -x3453 -x3454 x3455 x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 1800.06/1800.50 v -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 1800.06/1800.50 v -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1800.06/1800.50 v -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 1800.06/1800.50 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 1800.06/1800.50 v -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 1800.06/1800.50 v -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 x3557 -x3558 -x3559 -x356 -x3560 1800.06/1800.50 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 1800.06/1800.50 v -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 1800.06/1800.50 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 1800.06/1800.50 v -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 x362 -x3620 -x3621 -x3622 -x3623 -x3624 1800.06/1800.50 v -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 1800.06/1800.50 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1800.06/1800.50 v -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 1800.06/1800.50 v -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 1800.06/1800.50 v -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 1800.06/1800.50 v -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 1800.06/1800.50 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 1800.06/1800.50 v -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 1800.06/1800.50 v -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 1800.06/1800.50 v -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 1800.06/1800.50 v -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 1800.06/1800.50 v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 1800.06/1800.50 v -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 1800.06/1800.50 v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 1800.06/1800.50 v -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 1800.06/1800.50 v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x388 1800.06/1800.50 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1800.06/1800.50 v -x3896 -x3897 -x3898 -x3899 -x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x391 -x3910 1800.06/1800.50 v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 1800.06/1800.50 v -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940 -x3941 -x3942 1800.06/1800.50 v -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 1800.06/1800.50 v -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970 -x3971 -x3972 -x3973 -x3974 1800.06/1800.50 v -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x399 -x3990 1800.06/1800.50 v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 x400 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 1800.06/1800.50 v -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 1800.06/1800.50 v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 1800.06/1800.50 v -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 -x4053 1800.06/1800.50 v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 1800.06/1800.50 v -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 1800.06/1800.50 v -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x41 -x410 -x4100 1800.06/1800.50 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 1800.06/1800.50 v -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 -x4130 -x4131 -x4132 1800.06/1800.50 v -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1800.06/1800.50 v -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162 -x4163 -x4164 1800.06/1800.50 v -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 -x4180 1800.06/1800.50 v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 1800.06/1800.50 v -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421 -x4210 -x4211 1800.06/1800.50 v x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 1800.06/1800.50 v x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 1800.06/1800.50 v -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x426 -x4260 1800.06/1800.50 v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 1800.06/1800.50 v -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x429 -x4290 -x4291 -x4292 1800.06/1800.50 v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 1800.06/1800.50 v -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322 -x4323 -x4324 1800.06/1800.50 v -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 x434 -x4340 1800.06/1800.50 v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 1800.06/1800.50 v -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371 -x4372 1800.06/1800.50 v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1800.06/1800.50 v -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x44 -x440 -x4400 -x4401 -x4402 -x4403 1800.06/1800.50 v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 1800.06/1800.50 v -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 1800.06/1800.50 v -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451 1800.06/1800.50 v -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 1800.06/1800.50 v -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x448 -x4480 -x4481 -x4482 -x4483 1800.06/1800.50 v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 1800.06/1800.50 v -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 1800.06/1800.50 v -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x453 -x4530 1800.06/1800.50 v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 1800.06/1800.50 v -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 1800.06/1800.50 v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 1800.06/1800.50 v -x4579 -x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 1800.06/1800.50 v -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x461 1800.06/1800.50 v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 1800.06/1800.50 v -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x464 -x4640 -x4641 1800.06/1800.50 v -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 1800.06/1800.50 v -x4658 -x4659 -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670 -x4671 -x4672 -x4673 1800.06/1800.50 v -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x469 1800.06/1800.50 v -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 1800.06/1800.50 v -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x472 -x4720 -x4721 1800.06/1800.50 v -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 1800.06/1800.50 v -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475 -x4750 -x4751 -x4752 x4753 1800.06/1800.50 v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 1800.06/1800.50 v -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1800.06/1800.50 v -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x48 -x480 -x4800 1800.06/1800.50 v -x4801 -x4802 -x4803 x4804 -x4805 x4806 x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 1800.06/1800.50 v -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x483 x4830 -x4831 -x4832 -x4833 1800.06/1800.50 v -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 1800.06/1800.50 v -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 x4858 x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 1800.06/1800.50 v -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 -x4881 1800.06/1800.50 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 1800.06/1800.50 v -x4899 -x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 -x4910 -x4911 -x4912 -x4913 1800.06/1800.50 v -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 x4923 x4924 -x4925 x4926 x4927 -x4928 -x4929 -x493 1800.06/1800.50 v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x494 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 1800.06/1800.50 v -x4947 -x4948 -x4949 -x495 -x4950 -x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 1800.06/1800.50 v -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 1800.06/1800.50 v -x4979 -x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 1800.06/1800.50 v -x4995 -x4996 -x4997 -x4998 -x4999 -x5 x50 -x500 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 1800.06/1800.50 v -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 1800.06/1800.50 v -x5026 -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 1800.06/1800.50 v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 1800.06/1800.50 v -x5058 -x5059 -x506 -x5060 -x5061 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 1800.06/1800.50 v -x5074 -x5075 x5076 -x5077 x5078 x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 1800.06/1800.50 v -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x51 -x510 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 1800.06/1800.50 v -x5106 -x5107 -x5108 -x5109 -x511 -x5110 -x5111 x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 1800.06/1800.50 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1800.06/1800.50 v -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 1800.06/1800.50 v -x5155 -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 1800.06/1800.50 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 1800.06/1800.50 v -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202 1800.06/1800.50 v -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 1800.06/1800.50 v -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x523 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 1800.06/1800.50 v x5236 -x5237 x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 -x5244 x5245 -x5246 -x5247 -x5248 -x5249 -x525 -x5250 -x5251 1800.06/1800.50 v -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 x5266 x5267 -x5268 1800.06/1800.50 v -x5269 -x527 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 -x528 -x5280 -x5281 -x5282 -x5283 -x5284 1800.06/1800.50 v -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x53 -x530 1800.06/1800.50 v -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 1800.06/1800.50 v -x5317 -x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330 -x5331 -x5332 1800.06/1800.50 v -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 1800.06/1800.50 v -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x536 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 1800.06/1800.50 v -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 -x5373 x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x538 -x5380 -x5381 1800.06/1800.50 v -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 1800.06/1800.50 v -x5399 -x54 -x540 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410 -x5411 -x5412 -x5413 1800.06/1800.50 v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 1800.06/1800.50 v -x543 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 1800.06/1800.50 v -x5446 -x5447 -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 x5458 -x5459 -x546 -x5460 -x5461 1800.06/1800.50 v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 1800.06/1800.50 v -x5478 -x5479 -x548 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 -x5491 -x5492 -x5493 1800.06/1800.50 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x55 -x550 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 1800.06/1800.50 v -x551 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 x5516 -x5517 -x5518 x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 1800.06/1800.50 v -x5526 x5527 x5528 -x5529 -x553 x5530 -x5531 -x5532 -x5533 -x5534 x5535 -x5536 -x5537 -x5538 -x5539 -x554 -x5540 -x5541 1800.06/1800.50 v x5542 x5543 -x5544 x5545 -x5546 x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 x5557 -x5558 1800.06/1800.50 v -x5559 -x556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 x5567 x5568 -x5569 -x557 -x5570 -x5571 -x5572 -x5573 -x5574 1800.06/1800.50 v -x5575 -x5576 -x5577 -x5578 -x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 x5589 -x559 -x5590 1800.06/1800.50 v -x5591 x5592 -x5593 x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 1800.06/1800.50 v -x5607 -x5608 -x5609 -x561 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562 -x5620 -x5621 -x5622 1800.06/1800.50 v -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 x5637 x5638 -x5639 1800.06/1800.50 v -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 1800.06/1800.50 v -x5656 -x5657 -x5658 -x5659 -x566 -x5660 -x5661 x5662 x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x567 -x5670 -x5671 1800.06/1800.50 v -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 1800.06/1800.50 v -x5689 -x569 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x57 -x570 -x5700 -x5701 x5702 -x5703 1800.06/1800.50 v x5704 -x5705 -x5706 x5707 x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x572 1800.06/1800.50 v -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 1800.06/1800.50 v -x5736 -x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x575 -x5750 -x5751 1800.06/1800.50 v -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 1800.06/1800.50 v -x5768 -x5769 -x577 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 x5782 -x5783 1800.06/1800.50 v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 x5797 x5798 -x5799 -x58 1800.06/1800.50 v -x580 -x5800 -x5801 x5802 -x5803 -x5804 -x5805 -x5806 x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 1800.06/1800.50 v -x5816 -x5817 -x5818 -x5819 -x582 -x5820 -x5821 x5822 x5823 -x5824 -x5825 -x5826 x5827 -x5828 x5829 -x583 -x5830 -x5831 1800.06/1800.50 v -x5832 -x5833 -x5834 -x5835 -x5836 x5837 -x5838 -x5839 -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 1800.06/1800.50 v -x5849 -x585 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861 -x5862 -x5863 -x5864 1800.06/1800.50 v -x5865 -x5866 x5867 -x5868 -x5869 -x587 -x5870 -x5871 x5872 -x5873 -x5874 -x5875 -x5876 x5877 -x5878 -x5879 -x588 x5880 1800.06/1800.50 v -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 1800.06/1800.50 v -x5897 -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x591 -x5910 -x5911 1800.06/1800.50 v -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 1800.06/1800.50 v -x5928 -x5929 -x593 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 x594 -x5940 -x5941 -x5942 -x5943 1800.06/1800.50 v -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 1800.06/1800.50 v -x596 -x5960 -x5961 -x5962 x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 1800.06/1800.50 v x5976 -x5977 -x5978 x5979 -x598 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x599 -x5990 -x5991 1800.06/1800.50 v -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6 -x60 -x600 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 1800.06/1800.50 v -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x602 -x6020 -x6021 -x6022 1800.06/1800.50 v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 1800.06/1800.50 v -x6039 -x604 -x6040 -x6041 -x6042 -x6043 x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 -x6052 -x6053 -x6054 1800.06/1800.50 v -x6055 -x6056 -x6057 -x6058 x6059 -x606 x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x607 -x6070 1800.06/1800.50 v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 -x6081 -x6082 x6083 x6084 -x6085 -x6086 -x6087 1800.06/1800.50 v -x6088 -x6089 -x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x61 -x610 -x6100 -x6101 -x6102 1800.06/1800.50 v -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 1800.06/1800.50 v -x6119 -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x613 -x6130 -x6131 -x6132 -x6133 -x6134 1800.06/1800.50 v -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x615 -x6150 1800.06/1800.50 v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x616 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 1800.06/1800.50 v -x6167 -x6168 -x6169 -x617 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x618 -x6180 -x6181 -x6182 1800.06/1800.50 v -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x619 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 1800.06/1800.50 v -x6199 -x62 -x620 -x6200 -x6201 -x6202 x6203 x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x621 -x6210 -x6211 -x6212 -x6213 1800.06/1800.50 v -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x622 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 1800.06/1800.50 v -x623 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 x6239 -x624 x6240 -x6241 -x6242 -x6243 -x6244 -x6245 1800.06/1800.50 v -x6246 -x6247 -x6248 -x6249 -x625 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x626 -x6260 -x6261 1800.06/1800.50 v -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x627 -x6270 -x6271 -x6272 -x6273 -x6274 x6275 -x6276 -x6277 -x6278 1800.06/1800.50 v -x6279 -x628 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 x6287 -x6288 -x6289 -x629 -x6290 -x6291 -x6292 -x6293 -x6294 1800.06/1800.50 v -x6295 -x6296 -x6297 -x6298 x6299 -x63 -x630 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x631 1800.06/1800.50 v -x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x632 -x6320 -x6321 -x6322 x6323 -x6324 -x6325 -x6326 1800.06/1800.50 v -x6327 x6328 -x6329 -x633 x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x634 -x6340 -x6341 x6342 1800.06/1800.50 v -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 x6349 -x635 -x6350 x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 x6358 -x6359 1800.06/1800.50 v -x636 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x637 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 1800.06/1800.50 v -x6376 -x6377 -x6378 x6379 -x638 x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x639 -x6390 -x6391 1800.06/1800.50 v -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x64 -x640 -x6400 -x6401 -x6402 -x6403 -x6404 x6405 -x6406 -x6407 1800.06/1800.50 v -x6408 -x6409 -x641 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x642 -x6420 -x6421 -x6422 -x6423 1800.06/1800.50 v -x6424 -x6425 x6426 -x6427 x6428 -x6429 -x643 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x644 1800.06/1800.50 v -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 x6449 -x645 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 1800.06/1800.50 v -x6457 -x6458 -x6459 -x646 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 x6468 -x6469 -x647 -x6470 -x6471 -x6472 1800.06/1800.50 v -x6473 -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 x6537 1800.06/1800.50 v x6538 -x6539 -x654 -x6540 -x6541 -x6542 -x6543 -x6544 x6545 -x6546 -x6547 -x6548 -x6549 -x655 -x6550 -x6551 x6552 -x6553 1800.06/1800.50 v -x6554 -x6555 x6556 x6557 x6558 x6559 -x656 -x6560 -x6561 -x6562 -x6563 x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x657 1800.06/1800.50 v -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x658 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 1800.06/1800.50 v -x6586 -x6587 -x6588 -x6589 -x659 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x66 -x660 -x6600 1800.06/1800.50 v -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x661 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 1800.06/1800.50 v -x6617 -x6618 -x6619 -x662 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x663 -x6630 -x6631 -x6632 1800.06/1800.50 v -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 1800.06/1800.50 v -x6967 -x6968 -x6969 -x697 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x698 -x6980 -x6981 -x6982 1800.06/1800.50 v -x6983 -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 1800.06/1800.50 v -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x702 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 1800.06/1800.50 v -x703 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x704 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 1800.06/1800.50 v -x7046 -x7047 -x7048 -x7049 -x705 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x706 -x7060 -x7061 1800.06/1800.50 v -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x707 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 1800.06/1800.50 v -x7078 -x7079 -x708 -x7080 x7081 x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x709 -x7090 -x7091 -x7092 -x7093 1800.06/1800.50 v -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x71 -x710 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 x7109 1800.06/1800.50 v -x711 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x712 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 1800.06/1800.50 v -x7126 -x7127 -x7128 -x7129 -x713 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x714 -x7140 -x7141 1800.06/1800.50 v -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x715 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 1800.06/1800.50 v -x7158 -x7159 -x716 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x717 -x7170 -x7171 -x7172 -x7173 1800.06/1800.50 v -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x718 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 1800.06/1800.50 v -x719 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x72 -x720 -x7200 -x7201 -x7202 -x7203 -x7204 1800.06/1800.50 v -x7205 -x7206 -x7207 -x7208 -x7209 -x721 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x722 -x7220 1800.06/1800.50 v -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x723 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 1800.06/1800.50 v -x7237 -x7238 -x7239 -x724 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x725 -x7250 -x7251 -x7252 1800.06/1800.50 v -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 x726 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 1800.06/1800.50 v -x727 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x728 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 1800.06/1800.50 v -x7286 -x7287 -x7288 -x7289 -x729 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 x73 -x730 -x7300 1800.06/1800.50 v -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x731 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 1800.06/1800.50 v -x7317 -x7318 -x7319 -x732 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x733 -x7330 -x7331 -x7332 1800.06/1800.50 v -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x734 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 1800.06/1800.50 v -x7349 -x735 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x736 -x7360 -x7361 -x7362 -x7363 -x7364 1800.06/1800.50 v -x7365 -x7366 -x7367 -x7368 -x7369 -x737 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x738 -x7380 1800.06/1800.50 v -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x739 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 1800.06/1800.50 v -x7397 -x7398 -x7399 -x74 -x740 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x741 -x7410 -x7411 1800.06/1800.50 v -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x742 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 1800.06/1800.50 v -x7428 -x7429 -x743 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x744 -x7440 -x7441 -x7442 -x7443 1800.06/1800.50 v -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x745 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 1800.06/1800.50 v -x746 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x747 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 1800.06/1800.50 v -x7476 -x7477 -x7478 -x7479 -x748 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x749 -x7490 -x7491 1800.06/1800.50 v -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x75 -x750 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 1800.06/1800.50 v -x7508 -x7509 -x751 -x7510 -x7511 -x7512 -x7513 x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x752 -x7520 -x7521 -x7522 -x7523 1800.06/1800.50 v -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x753 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 1800.06/1800.50 v -x754 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x755 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 1800.06/1800.50 v -x7556 -x7557 -x7558 -x7559 -x756 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x757 -x7570 -x7571 1800.06/1800.50 v -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x758 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 1800.06/1800.50 v -x7588 -x7589 -x759 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x76 -x760 -x7600 -x7601 -x7602 1800.06/1800.50 v -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x761 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 1800.06/1800.50 v -x7619 -x762 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x763 -x7630 -x7631 -x7632 -x7633 -x7634 1800.06/1800.50 v -x7635 -x7636 -x7637 -x7638 -x7639 -x764 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x765 -x7650 1800.06/1800.50 v -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x766 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 1800.06/1800.50 v -x7667 -x7668 -x7669 -x767 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x768 -x7680 -x7681 -x7682 1800.06/1800.50 v -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x769 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 1800.06/1800.50 v -x7699 -x77 -x770 -x7700 -x7701 -x7702 x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x771 -x7710 -x7711 -x7712 -x7713 1800.06/1800.50 v -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x772 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 x7726 -x7727 -x7728 -x7729 -x773 1800.06/1800.50 v -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x774 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 1800.06/1800.50 v -x7746 -x7747 -x7748 -x7749 -x775 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x776 -x7760 -x7761 1800.06/1800.50 v -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x777 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 1800.06/1800.50 v -x7778 -x7779 -x778 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x779 -x7790 -x7791 -x7792 -x7793 1800.06/1800.50 v -x7794 -x7795 x7796 -x7797 -x7798 -x7799 -x78 -x780 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 1800.06/1800.50 v -x781 x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x782 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 1800.06/1800.50 v -x7826 -x7827 -x7828 -x7829 -x783 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x784 -x7840 -x7841 1800.06/1800.50 v -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x785 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 1800.06/1800.50 v -x7858 -x7859 -x786 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x787 -x7870 -x7871 -x7872 -x7873 1800.06/1800.50 v -x7874 -x7875 -x7876 -x7877 x7878 -x7879 -x788 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x789 1800.06/1800.50 v -x7890 -x7891 x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x79 -x790 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 1800.06/1800.50 v -x7906 -x7907 -x7908 -x7909 -x791 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x792 -x7920 -x7921 1800.06/1800.50 v -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x793 x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 x7938 1800.06/1800.50 v -x7939 -x794 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x795 -x7950 -x7951 -x7952 -x7953 x7954 1800.06/1800.50 v -x7955 -x7956 -x7957 -x7958 -x7959 -x796 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x797 -x7970 1800.06/1800.50 v -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x798 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 1800.06/1800.50 v -x7987 -x7988 -x7989 -x799 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8 -x80 -x800 -x8000 1800.06/1800.50 v -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x801 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 1800.06/1800.50 v -x8017 -x8018 -x8019 -x802 -x8020 -x8021 x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x803 -x8030 -x8031 -x8032 1800.06/1800.50 v -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x804 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 1800.06/1800.50 v -x8049 -x805 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x806 -x8060 -x8061 -x8062 -x8063 x8064 1800.06/1800.50 v -x8065 -x8066 -x8067 -x8068 -x8069 -x807 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 x8078 -x8079 -x808 -x8080 1800.06/1800.50 v -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x809 -x8090 -x8091 x8092 -x8093 -x8094 -x8095 -x8096 -x8097 1800.06/1800.50 v -x8098 -x8099 -x81 -x810 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 x8106 -x8107 -x8108 -x8109 -x811 -x8110 -x8111 -x8112 1800.06/1800.50 v -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x812 x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 1800.06/1800.50 v -x813 x8130 -x8131 x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x814 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 1800.06/1800.50 v -x8146 -x8147 -x8148 -x8149 -x815 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x816 -x8160 -x8161 1800.06/1800.50 v -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x817 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 1800.06/1800.50 v -x8178 -x8179 -x818 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 x8188 -x8189 -x819 -x8190 -x8191 -x8192 -x8193 1800.06/1800.50 v -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x82 -x820 -x8200 -x8201 x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 1800.06/1800.50 v -x821 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x822 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 1800.06/1800.50 v -x8226 -x8227 -x8228 -x8229 -x823 x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x824 -x8240 -x8241 1800.06/1800.50 v -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x825 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 1800.06/1800.50 v -x8258 -x8259 -x826 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x827 -x8270 -x8271 -x8272 -x8273 1800.06/1800.50 v -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x828 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 1800.06/1800.50 v -x829 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x83 -x830 -x8300 -x8301 -x8302 -x8303 -x8304 1800.06/1800.50 v -x8305 -x8306 -x8307 -x8308 -x8309 -x831 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x832 -x8320 1800.06/1800.50 v -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x833 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 1800.06/1800.50 v -x8337 -x8338 -x8339 -x834 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x835 -x8350 -x8351 -x8352 1800.06/1800.50 v -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x836 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 1800.06/1800.50 v -x8369 -x837 x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x838 -x8380 -x8381 -x8382 -x8383 -x8384 1800.06/1800.50 v -x8385 -x8386 -x8387 -x8388 -x8389 -x839 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x84 -x840 1800.06/1800.50 v -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x841 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 1800.06/1800.50 v -x8416 -x8417 -x8418 -x8419 -x842 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x843 -x8430 -x8431 1800.06/1800.50 v -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x844 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 1800.06/1800.50 v -x8448 -x8449 -x845 -x8450 -x8451 x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x846 -x8460 -x8461 -x8462 -x8463 1800.06/1800.50 v -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x847 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 1800.06/1800.50 v -x848 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x849 -x8490 -x8491 -x8492 -x8493 x8494 -x8495 1800.06/1800.50 v x8496 -x8497 -x8498 x8499 -x85 x850 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 x851 -x8510 -x8511 1800.06/1800.50 v -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 x852 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 1800.06/1800.50 v -x8529 -x853 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 x8536 -x8537 x8538 -x8539 -x854 -x8540 -x8541 -x8542 x8543 -x8544 1800.06/1800.50 v -x8545 -x8546 -x8547 -x8548 -x8549 -x855 x8550 -x8551 -x8552 x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x856 x8560 1800.06/1800.50 v -x8561 x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x857 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 1800.06/1800.50 v -x8578 -x8579 -x858 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 x859 x8590 -x8591 -x8592 -x8593 1800.06/1800.50 v -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x86 x860 x8600 -x8601 x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 1800.06/1800.50 v x861 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 x862 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 1800.06/1800.50 v -x8626 -x8627 -x8628 -x8629 -x863 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x864 -x8640 -x8641 1800.06/1800.50 v -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x865 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 1800.06/1800.50 v -x8658 -x8659 -x866 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x867 -x8670 -x8671 -x8672 -x8673 1800.06/1800.50 v -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x868 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 1800.06/1800.50 v -x869 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x87 -x870 x8700 -x8701 -x8702 -x8703 -x8704 1800.06/1800.50 v -x8705 -x8706 -x8707 -x8708 -x8709 -x871 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x872 -x8720 1800.06/1800.50 v -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x873 -x8730 -x8731 -x8732 -x8733 -x8734 x8735 x8736 -x8737 1800.06/1800.50 v -x8738 -x8739 -x874 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 x875 -x8750 -x8751 -x8752 -x8753 1800.06/1800.50 v -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 x876 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x877 1800.06/1800.50 v x8770 x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x878 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 1800.06/1800.50 v -x8787 -x8788 -x8789 -x879 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 x88 -x880 x8800 -x8801 1800.06/1800.50 v -x8802 -x8803 -x8804 x8805 -x8806 -x8807 -x8808 -x8809 -x881 x8810 -x8811 -x8812 -x8813 -x8814 x8815 -x8816 -x8817 -x8818 1800.06/1800.50 v -x8819 -x882 x8820 x8821 -x8822 -x8823 -x8824 x8825 x8826 -x8827 -x8828 -x8829 -x883 x8830 -x8831 -x8832 -x8833 -x8834 1800.06/1800.50 v -x8835 -x8836 -x8837 -x8838 -x8839 -x884 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x885 -x8850 1800.06/1800.50 v -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x886 x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 1800.06/1800.50 v -x8868 -x8869 -x887 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x888 -x8880 -x8881 -x8882 -x8883 1800.06/1800.50 v -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 x8896 x8897 -x8898 -x8899 -x89 1800.06/1800.50 v -x890 -x8900 x8901 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 1800.06/1800.50 v -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 1800.06/1800.50 v -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 1800.06/1800.50 v -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 x962 x963 1800.06/1800.50 v -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 1800.06/1800.50 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 28
/tmp/evaluation/459247-1178652455/instance-459247-1178652455.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-459247-1178652455 -o ROOT/results/node61/solver-459247-1178652455 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459247-1178652455/instance-459247-1178652455.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.95 0.98 3/64 5219 /proc/meminfo: memFree=1399720/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=2576 CPUtime=0 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 420 0 0 0 0 0 0 0 18 0 1 0 277209143 2637824 402 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134801856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 644 402 84 219 0 421 0 [startup+0.0295831 s] /proc/loadavg: 0.92 0.95 0.98 3/64 5219 /proc/meminfo: memFree=1399720/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=2880 CPUtime=0.02 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 500 0 0 0 2 0 0 0 18 0 1 0 277209143 2949120 482 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 720 482 86 219 0 497 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2880 [startup+0.101589 s] /proc/loadavg: 0.92 0.95 0.98 3/64 5219 /proc/meminfo: memFree=1399720/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=3428 CPUtime=0.09 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 674 0 0 0 9 0 0 0 18 0 1 0 277209143 3510272 607 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 857 607 86 219 0 634 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3428 [startup+0.301606 s] /proc/loadavg: 0.92 0.95 0.98 3/64 5219 /proc/meminfo: memFree=1399720/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=4756 CPUtime=0.29 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 1124 0 0 0 29 0 0 0 19 0 1 0 277209143 4870144 960 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 1189 961 86 219 0 966 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4756 [startup+0.701643 s] /proc/loadavg: 0.92 0.95 0.98 3/64 5219 /proc/meminfo: memFree=1399720/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=5796 CPUtime=0.69 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 1425 0 0 0 68 1 0 0 23 0 1 0 277209143 5935104 1261 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 1449 1261 90 219 0 1226 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5796 [startup+1.50272 s] /proc/loadavg: 0.92 0.95 0.98 2/65 5220 /proc/meminfo: memFree=1394656/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=7300 CPUtime=1.49 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 1544 0 0 0 148 1 0 0 25 0 1 0 277209143 7475200 1380 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 1825 1380 90 219 0 1602 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7300 [startup+3.10186 s] /proc/loadavg: 0.92 0.95 0.98 2/65 5220 /proc/meminfo: memFree=1394080/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=8788 CPUtime=3.09 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 1931 0 0 0 307 2 0 0 25 0 1 0 277209143 8998912 1574 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 2197 1574 90 219 0 1974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8788 [startup+6.30116 s] /proc/loadavg: 0.93 0.95 0.98 2/65 5220 /proc/meminfo: memFree=1392928/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=8948 CPUtime=6.29 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 2092 0 0 0 626 3 0 0 25 0 1 0 277209143 9162752 1735 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 2237 1735 90 219 0 2014 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8948 [startup+12.7017 s] /proc/loadavg: 0.93 0.96 0.98 2/65 5220 /proc/meminfo: memFree=1391544/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=11604 CPUtime=12.69 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 2429 0 0 0 1264 5 0 0 25 0 1 0 277209143 11882496 2072 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 2901 2072 90 219 0 2678 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11604 [startup+25.5019 s] /proc/loadavg: 0.95 0.96 0.98 2/65 5220 /proc/meminfo: memFree=1389944/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=12056 CPUtime=25.49 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 2822 0 0 0 2541 8 0 0 25 0 1 0 277209143 12345344 2465 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 3014 2465 90 219 0 2791 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12056 [startup+51.1013 s] /proc/loadavg: 0.96 0.96 0.98 2/65 5220 /proc/meminfo: memFree=1384568/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=20916 CPUtime=51.08 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 4185 0 0 0 5093 15 0 0 25 0 1 0 277209143 21417984 3828 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 5229 3828 90 219 0 5006 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20916 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/65 5220 /proc/meminfo: memFree=1380856/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=24968 CPUtime=102.27 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 5488 0 0 0 10198 29 0 0 25 0 1 0 277209143 25567232 4746 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 6242 4746 102 219 0 6019 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24968 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5220 /proc/meminfo: memFree=1379192/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=26304 CPUtime=162.25 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 5902 0 0 0 16178 47 0 0 25 0 1 0 277209143 26935296 5160 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 6576 5160 102 219 0 6353 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 26304 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5220 /proc/meminfo: memFree=1377912/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=27100 CPUtime=222.24 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 6207 0 0 0 22163 61 0 0 25 0 1 0 277209143 27750400 5465 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 6775 5465 102 219 0 6552 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 27100 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5220 /proc/meminfo: memFree=1376120/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=28812 CPUtime=282.23 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 6656 0 0 0 28145 78 0 0 25 0 1 0 277209143 29503488 5914 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 7203 5914 102 219 0 6980 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 28812 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1374840/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=32648 CPUtime=342.2 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 7715 0 0 0 34130 90 0 0 25 0 1 0 277209143 33431552 6204 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 8162 6204 102 219 0 7939 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 32648 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1373752/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=33528 CPUtime=402.19 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 8006 0 0 0 40116 103 0 0 25 0 1 0 277209143 34332672 6495 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 8382 6495 102 219 0 8159 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 33528 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1372664/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=34208 CPUtime=462.17 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 8265 0 0 0 46099 118 0 0 25 0 1 0 277209143 35028992 6754 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 8552 6754 102 219 0 8329 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 34208 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1371256/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=35360 CPUtime=522.16 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 8627 0 0 0 52077 139 0 0 25 0 1 0 277209143 36208640 7116 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 8840 7116 102 219 0 8617 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 35360 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1370104/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=35980 CPUtime=582.14 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 8906 0 0 0 58059 155 0 0 25 0 1 0 277209143 36843520 7395 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 8995 7395 102 219 0 8772 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 35980 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1369016/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=36676 CPUtime=642.13 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 9175 0 0 0 64043 170 0 0 25 0 1 0 277209143 37556224 7664 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 9169 7664 102 219 0 8946 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 36676 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1364664/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=45720 CPUtime=882.08 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 11803 0 0 0 87979 229 0 0 25 0 1 0 277209143 46817280 8755 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 11430 8755 102 219 0 11207 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 45720 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1363832/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=46152 CPUtime=942.06 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 12000 0 0 0 93960 246 0 0 25 0 1 0 277209143 47259648 8952 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 11538 8952 102 219 0 11315 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 46152 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1363000/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=46692 CPUtime=1002.05 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 12211 0 0 0 99941 264 0 0 25 0 1 0 277209143 47812608 9163 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 11673 9163 102 219 0 11450 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 46692 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1361976/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=47452 CPUtime=1062.03 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 12465 0 0 0 105925 278 0 0 25 0 1 0 277209143 48590848 9417 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 11863 9417 102 219 0 11640 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 47452 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1360760/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=48400 CPUtime=1122.02 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 12770 0 0 0 111908 294 0 0 25 0 1 0 277209143 49561600 9722 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 12100 9722 102 219 0 11877 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 48400 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1359864/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=49012 CPUtime=1182 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 12991 0 0 0 117889 311 0 0 25 0 1 0 277209143 50188288 9943 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 12253 9943 102 219 0 12030 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 49012 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1358904/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=49292 CPUtime=1241.99 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 13226 0 0 0 123874 325 0 0 25 0 1 0 277209143 50475008 10178 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 12323 10178 102 219 0 12100 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 49292 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1358200/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=49940 CPUtime=1301.97 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 13406 0 0 0 129857 340 0 0 25 0 1 0 277209143 51138560 10358 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 12485 10358 102 219 0 12262 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 49940 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1357176/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=50196 CPUtime=1361.96 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 13659 0 0 0 135840 356 0 0 25 0 1 0 277209143 51400704 10611 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 12549 10611 102 219 0 12326 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 50196 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1356088/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=51116 CPUtime=1421.94 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 13924 0 0 0 141823 371 0 0 25 0 1 0 277209143 52342784 10876 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 12779 10876 102 219 0 12556 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 51116 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1355320/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=51920 CPUtime=1481.93 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 14136 0 0 0 147805 388 0 0 25 0 1 0 277209143 53166080 11088 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555952 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 12980 11088 102 219 0 12757 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 51920 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1354488/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=52128 CPUtime=1541.91 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 14350 0 0 0 153785 406 0 0 25 0 1 0 277209143 53379072 11302 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 13032 11302 102 219 0 12809 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 52128 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1353208/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=53116 CPUtime=1601.89 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 14669 0 0 0 159766 423 0 0 25 0 1 0 277209143 54390784 11621 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 13279 11621 102 219 0 13056 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 53116 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1352440/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=53116 CPUtime=1661.88 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 14850 0 0 0 165750 438 0 0 25 0 1 0 277209143 54390784 11802 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 13279 11802 102 219 0 13056 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 53116 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1351672/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=53956 CPUtime=1721.86 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 15041 0 0 0 171733 453 0 0 25 0 1 0 277209143 55250944 11993 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 13489 11993 102 219 0 13266 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 53956 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1350968/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=54084 CPUtime=1781.85 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 15224 0 0 0 177718 467 0 0 25 0 1 0 277209143 55382016 12176 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 13521 12176 102 219 0 13298 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 54084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1350648/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=54148 CPUtime=1800.06 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 15298 0 0 0 179534 472 0 0 25 0 1 0 277209143 55447552 12250 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 13537 12250 102 219 0 13314 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 54148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5222 /proc/meminfo: memFree=1350648/2055920 swapFree=4184204/4192956 [pid=5219] ppid=5217 vsize=54148 CPUtime=1800.06 /proc/5219/stat : 5219 (PBS4_SAT07v2) R 5217 5219 5152 0 -1 4194304 15298 0 0 0 179534 472 0 0 25 0 1 0 277209143 55447552 12250 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5219/statm: 13537 12250 102 219 0 13314 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 54148 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.08 CPU user time (s): 1795.35 CPU system time (s): 4.72928 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 54148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.35 system time used= 4.72928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15301 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 2448 runsolver used 1.18782 second user time and 3.73643 second system time The end
Begin job on node61 on Tue May 8 19:27:35 UTC 2007 IDJOB= 459247 IDBENCH= 25018 IDSOLVER= 200 FILE ID= node61/459247-1178652455 PBS_JOBID= 5218421 Free space on /tmp= 66559 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459247-1178652455/instance-459247-1178652455.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-459247-1178652455 -o ROOT/results/node61/conversion-459247-1178652455 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459247-1178652455/instance-459247-1178652455.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-459247-1178652455 -o ROOT/results/node61/solver-459247-1178652455 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459247-1178652455/instance-459247-1178652455.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED= 575879516 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1400128 kB Buffers: 37188 kB Cached: 506584 kB SwapCached: 2812 kB Active: 89012 kB Inactive: 464272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1400128 kB SwapTotal: 4192956 kB SwapFree: 4184204 kB Dirty: 3340 kB Writeback: 0 kB Mapped: 15508 kB Slab: 88660 kB Committed_AS: 6207720 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66559 MiB End job on node61 on Tue May 8 19:57:38 UTC 2007