Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 141 | 1800.04 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 35.0187 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6148 |
Total number of constraints | 19000 |
Number of constraints which are clauses | 19000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 2987 |
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 | 2987 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2987 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459220-1178651573/instance-459220-1178651573.opb ...... 0.19/0.24 c done parsing opb. 0.19/0.24 o 195 0.19/0.26 o 194 0.19/0.26 o 193 0.19/0.27 o 192 0.19/0.28 o 191 0.48/0.56 o 190 2.19/2.25 o 189 3.68/3.77 o 188 4.49/4.52 o 187 155.55/155.63 o 184 155.55/155.67 o 174 155.65/155.70 o 173 155.65/155.78 o 150 677.32/677.54 o 149 697.31/697.59 o 148 697.50/697.71 o 147 698.00/698.29 o 146 1122.19/1122.50 o 145 1296.14/1296.51 o 144 1433.51/1433.98 o 143 1737.44/1737.98 o 142 1787.82/1788.30 o 141 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 v -x1 -x10 x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.02/1800.50 v -x1015 -x1016 -x1017 -x1018 -x1019 x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.02/1800.50 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.02/1800.50 v -x1047 -x1048 -x1049 x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x106 -x1060 -x1061 -x1062 1800.02/1800.50 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.02/1800.50 v x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.02/1800.50 v -x1096 -x1097 -x1098 -x1099 -x11 x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 1800.02/1800.50 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.02/1800.50 v -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 1800.02/1800.50 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 x1159 1800.02/1800.50 v -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.02/1800.50 v -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 1800.02/1800.50 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1800.02/1800.50 v -x1208 -x1209 x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 1800.02/1800.50 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x124 1800.02/1800.50 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1800.02/1800.50 v -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 1800.02/1800.50 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1800.02/1800.50 v -x1289 -x129 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 x130 -x1300 -x1301 -x1302 -x1303 1800.02/1800.50 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.02/1800.50 v -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.02/1800.50 v -x1336 -x1337 -x1338 -x1339 x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 1800.02/1800.50 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.02/1800.50 v -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 1800.02/1800.50 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.02/1800.50 v -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x141 -x1410 -x1411 -x1412 -x1413 -x1414 1800.02/1800.50 v -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 1800.02/1800.50 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1800.02/1800.50 v -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 1800.02/1800.50 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1800.02/1800.50 v x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 1800.02/1800.50 v -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 1800.02/1800.50 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 1800.02/1800.50 v -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x154 -x1540 -x1541 -x1542 1800.02/1800.50 v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 1800.02/1800.50 v -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1800.02/1800.50 v -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x159 -x1590 -x1591 1800.02/1800.50 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x16 x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.02/1800.50 v -x1608 -x1609 x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 1800.02/1800.50 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 1800.02/1800.50 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.02/1800.50 v -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x167 -x1670 -x1671 1800.02/1800.50 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.02/1800.50 v -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 x170 -x1700 -x1701 -x1702 1800.02/1800.50 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.02/1800.50 v -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x173 -x1730 -x1731 -x1732 -x1733 -x1734 1800.02/1800.50 v -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x175 -x1750 1800.02/1800.50 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1800.02/1800.50 v -x1767 -x1768 -x1769 x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 1800.02/1800.50 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1800.02/1800.50 v -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x181 -x1810 -x1811 -x1812 -x1813 1800.02/1800.50 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.02/1800.50 v x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1800.02/1800.50 v -x1846 -x1847 -x1848 -x1849 x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 1800.02/1800.50 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.02/1800.50 v -x1879 x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x189 -x1890 -x1891 -x1892 -x1893 -x1894 1800.02/1800.50 v -x1895 -x1896 -x1897 -x1898 -x1899 -x19 x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 1800.02/1800.50 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.02/1800.50 v -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 1800.02/1800.50 v -x1942 x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.02/1800.50 v -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 1800.02/1800.50 v -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 1800.02/1800.50 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 1800.02/1800.50 v -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 1800.02/1800.50 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1800.02/1800.50 v -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 1800.02/1800.50 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1800.02/1800.50 v -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1800.02/1800.50 v -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 1800.02/1800.50 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1800.02/1800.50 v -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 x2131 -x2132 -x2133 1800.02/1800.50 v -x2134 -x2135 x2136 x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 1800.02/1800.50 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 1800.02/1800.50 v x2167 x2168 x2169 -x217 x2170 x2171 x2172 x2173 x2174 x2175 x2176 x2177 x2178 x2179 -x218 x2180 x2181 -x2182 -x2183 -x2184 1800.02/1800.50 v -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 1800.02/1800.50 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 1800.02/1800.50 v -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 1800.02/1800.50 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.02/1800.50 v -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 1800.02/1800.50 v -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 1800.02/1800.50 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 1800.02/1800.50 v -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x231 -x2310 -x2311 1800.02/1800.50 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.02/1800.50 v -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 1800.02/1800.50 v -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 1800.02/1800.50 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1800.02/1800.50 v -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 1800.02/1800.50 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.02/1800.50 v -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 1800.02/1800.50 v -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 1800.02/1800.50 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 1800.02/1800.50 v -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 1800.02/1800.50 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 1800.02/1800.50 v -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 1800.02/1800.50 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1800.02/1800.50 v -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.02/1800.50 v -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 1800.02/1800.50 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.02/1800.50 v -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 1800.02/1800.50 v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1800.02/1800.50 v -x26 -x260 -x2600 x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 1800.02/1800.50 v x2615 x2616 -x2617 -x2618 -x2619 -x262 -x2620 x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 1800.02/1800.50 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 1800.02/1800.50 v -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 1800.02/1800.50 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 x2676 -x2677 -x2678 -x2679 1800.02/1800.50 v -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1800.02/1800.50 v -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 1800.02/1800.50 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.02/1800.50 v -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 1800.02/1800.50 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1800.02/1800.50 v -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 1800.02/1800.50 v -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 x2783 x2784 x2785 x2786 -x2787 -x2788 -x2789 -x279 -x2790 1800.02/1800.50 v x2791 x2792 -x2793 -x2794 -x2795 -x2796 x2797 x2798 x2799 -x28 -x280 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 1800.02/1800.50 v x2808 -x2809 -x281 -x2810 x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 1800.02/1800.50 v -x2824 -x2825 -x2826 x2827 x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 1800.02/1800.50 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1800.02/1800.50 v -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 1800.02/1800.50 v -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 1800.02/1800.50 v -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x29 -x290 -x2900 -x2901 -x2902 1800.02/1800.50 v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1800.02/1800.50 v -x2919 -x292 -x2920 x2921 x2922 x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 1800.02/1800.50 v -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 x2946 x2947 x2948 x2949 -x295 x2950 1800.02/1800.50 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 1800.02/1800.50 v -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 1800.02/1800.50 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 1800.02/1800.50 v -x2999 -x3 x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 1800.02/1800.50 v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 x3026 -x3027 -x3028 -x3029 -x303 1800.02/1800.50 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1800.02/1800.50 v -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 1800.02/1800.50 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 1800.02/1800.50 v -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x309 x3090 -x3091 -x3092 -x3093 1800.02/1800.50 v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x31 -x310 -x3100 x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 1800.02/1800.50 v -x311 -x3110 -x3111 -x3112 -x3113 -x3114 x3115 x3116 x3117 x3118 x3119 -x312 x3120 -x3121 -x3122 x3123 x3124 x3125 x3126 1800.02/1800.50 v -x3127 -x3128 x3129 -x313 x3130 x3131 x3132 -x3133 -x3134 x3135 x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 1800.02/1800.50 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 x3157 x3158 -x3159 -x316 1800.02/1800.50 v -x3160 x3161 x3162 x3163 x3164 -x3165 -x3166 x3167 x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 1800.02/1800.50 v -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 1800.02/1800.50 v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 1800.02/1800.50 v -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 1800.02/1800.50 v -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 1800.02/1800.50 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 1800.02/1800.50 v -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 1800.02/1800.50 v -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 1800.02/1800.50 v -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x33 -x330 -x3300 -x3301 -x3302 -x3303 1800.02/1800.50 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 1800.02/1800.50 v -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1800.02/1800.50 v -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 1800.02/1800.50 v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 1800.02/1800.50 v -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 1800.02/1800.50 v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 1800.02/1800.50 v x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 1800.02/1800.50 v -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x343 -x3430 1800.02/1800.50 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 1800.02/1800.50 v -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 1800.02/1800.50 v -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.02/1800.50 v -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 1800.02/1800.50 v -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 1800.02/1800.50 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 1800.02/1800.50 v -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 1800.02/1800.50 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 1800.02/1800.50 v -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 1800.02/1800.50 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 1800.02/1800.50 v -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 1800.02/1800.50 v -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 1800.02/1800.50 v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 1800.02/1800.50 v -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 1800.02/1800.50 v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 1800.02/1800.50 v -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 1800.02/1800.50 v -x3686 -x3687 -x3688 x3689 -x369 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 1800.02/1800.50 v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 1800.02/1800.50 v -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 1800.02/1800.50 v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 1800.02/1800.50 v -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 1800.02/1800.50 v -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 1800.02/1800.50 v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1800.02/1800.50 v -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 1800.02/1800.50 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1800.02/1800.50 v -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 1800.02/1800.50 v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 x3856 -x3857 -x3858 -x3859 -x386 1800.02/1800.50 v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 1800.02/1800.50 v -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 1800.02/1800.50 v -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 x3899 -x39 -x390 x3900 -x3901 x3902 -x3903 -x3904 -x3905 -x3906 -x3907 1800.02/1800.50 v -x3908 -x3909 -x391 -x3910 -x3911 -x3912 x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923 1800.02/1800.50 v -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 1800.02/1800.50 v -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 1800.02/1800.50 v -x3956 -x3957 -x3958 -x3959 -x396 -x3960 x3961 x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970 x3971 1800.02/1800.50 v x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1800.02/1800.50 v -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 -x4001 -x4002 1800.02/1800.50 v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 1800.02/1800.50 v -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 1800.02/1800.50 v -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050 1800.02/1800.50 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.02/1800.50 v -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082 1800.02/1800.50 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 1800.02/1800.50 v -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 1800.02/1800.50 v x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 1800.02/1800.50 v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 x4143 x4144 x4145 -x4146 1800.02/1800.50 v -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162 1800.02/1800.50 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 1800.02/1800.50 v -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194 1800.02/1800.50 v -x4195 -x4196 -x4197 -x4198 -x4199 x42 -x420 x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421 1800.02/1800.50 v x4210 x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 1800.02/1800.50 v -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242 1800.02/1800.50 v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 x4259 1800.02/1800.50 v -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 1800.02/1800.50 v -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x429 -x4290 -x4291 1800.02/1800.50 v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 1800.02/1800.50 v x4308 x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x432 x4320 x4321 -x4322 -x4323 1800.02/1800.50 v -x4324 x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 x4336 x4337 -x4338 -x4339 -x434 1800.02/1800.50 v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.02/1800.50 v -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 x4370 x4371 1800.02/1800.50 v x4372 x4373 x4374 x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 x4386 x4387 -x4388 1800.02/1800.50 v -x4389 -x439 x4390 x4391 -x4392 -x4393 -x4394 -x4395 x4396 x4397 -x4398 -x4399 -x44 -x440 -x4400 -x4401 -x4402 -x4403 -x4404 1800.02/1800.50 v -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 x4412 x4413 -x4414 -x4415 x4416 x4417 -x4418 -x4419 -x442 x4420 1800.02/1800.50 v x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 1800.02/1800.50 v -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 1800.02/1800.50 v -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 1800.02/1800.50 v -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x448 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 1800.02/1800.50 v -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x45 -x450 -x4500 1800.02/1800.50 v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 1800.02/1800.50 v -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 1800.02/1800.50 v -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 1800.02/1800.50 v -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 1800.02/1800.50 v -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 x4574 x4575 x4576 x4577 -x4578 -x4579 -x458 x4580 1800.02/1800.50 v x4581 -x4582 x4583 -x4584 -x4585 x4586 x4587 -x4588 -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.02/1800.50 v -x4598 -x4599 x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x461 -x4610 -x4611 -x4612 1800.02/1800.50 v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 1800.02/1800.50 v -x4629 -x463 -x4630 -x4631 x4632 x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 1800.02/1800.50 v -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 1800.02/1800.50 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1800.02/1800.50 v -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 1800.02/1800.50 v -x4693 x4694 x4695 -x4696 -x4697 -x4698 -x4699 x47 -x470 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 x4706 x4707 -x4708 -x4709 1800.02/1800.50 v -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 1800.02/1800.50 v -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 1800.02/1800.50 v x4742 x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475 -x4750 -x4751 -x4752 -x4753 x4754 x4755 -x4756 -x4757 -x4758 1800.02/1800.50 v -x4759 -x476 -x4760 -x4761 x4762 x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 1800.02/1800.50 v -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 1800.02/1800.50 v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 x48 -x480 -x4800 -x4801 -x4802 -x4803 x4804 x4805 -x4806 1800.02/1800.50 v -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 1800.02/1800.50 v -x4823 -x4824 -x4825 x4826 x4827 -x4828 -x4829 -x483 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 1800.02/1800.50 v -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851 -x4852 -x4853 x4854 x4855 1800.02/1800.50 v -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 1800.02/1800.50 v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 1800.02/1800.50 v -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x49 -x490 -x4900 -x4901 -x4902 1800.02/1800.50 v -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 1800.02/1800.50 v -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 1800.02/1800.50 v -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x495 -x4950 1800.02/1800.50 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1800.02/1800.50 v -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x498 -x4980 -x4981 -x4982 1800.02/1800.50 v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 1800.02/1800.50 v -x4999 -x5 -x50 -x500 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010 -x5011 -x5012 1800.02/1800.50 v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 1800.02/1800.50 v -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044 1800.02/1800.50 v -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x506 -x5060 1800.02/1800.50 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 1800.02/1800.50 v -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 -x5092 1800.02/1800.50 v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 1800.02/1800.50 v -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 -x5124 1800.02/1800.50 v -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x514 -x5140 1800.02/1800.50 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 1800.02/1800.50 v -x5157 -x5158 -x5159 -x516 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171 -x5172 1800.02/1800.50 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 1800.02/1800.50 v -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 x5197 x5198 x5199 x52 -x520 x5200 -x5201 -x5202 -x5203 -x5204 1800.02/1800.50 v -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x522 -x5220 1800.02/1800.50 v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x523 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 1800.02/1800.50 v -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 x5247 x5248 x5249 -x525 x5250 x5251 x5252 -x5253 1800.02/1800.50 v x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x526 x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x527 1800.02/1800.50 v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 1800.02/1800.50 v -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x53 -x530 -x5300 1800.02/1800.50 v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 1800.02/1800.50 v -x5317 -x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330 -x5331 -x5332 1800.02/1800.50 v -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 1800.02/1800.50 v -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x536 -x5360 -x5361 -x5362 -x5363 -x5364 1800.02/1800.50 v -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x538 -x5380 1800.02/1800.50 v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 1800.02/1800.50 v -x5397 -x5398 -x5399 -x54 -x540 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410 -x5411 1800.02/1800.50 v -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 x5426 x5427 -x5428 1800.02/1800.50 v -x5429 -x543 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x544 x5440 x5441 x5442 x5443 x5444 1800.02/1800.50 v x5445 x5446 x5447 x5448 x5449 -x545 x5450 x5451 x5452 x5453 -x5454 -x5455 -x5456 -x5457 x5458 x5459 -x546 -x5460 -x5461 1800.02/1800.50 v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 1800.02/1800.50 v -x5478 -x5479 -x548 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 -x5491 -x5492 -x5493 1800.02/1800.50 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 1800.02/1800.50 v -x551 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 1800.02/1800.50 v -x5526 -x5527 -x5528 -x5529 -x553 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x554 -x5540 -x5541 1800.02/1800.50 v -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 1800.02/1800.50 v -x5558 -x5559 -x556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x557 -x5570 -x5571 -x5572 -x5573 1800.02/1800.50 v -x5574 -x5575 -x5576 -x5577 -x5578 x5579 -x558 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x559 1800.02/1800.50 v -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x56 -x560 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 1800.02/1800.50 v -x5606 -x5607 -x5608 -x5609 -x561 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562 -x5620 -x5621 1800.02/1800.50 v -x5622 x5623 x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634 x5635 x5636 -x5637 -x5638 1800.02/1800.50 v -x5639 -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651 -x5652 -x5653 -x5654 1800.02/1800.50 v -x5655 -x5656 -x5657 -x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x567 -x5670 1800.02/1800.50 v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 1800.02/1800.50 v -x5687 -x5688 -x5689 -x569 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 -x57 -x570 x5700 -x5701 1800.02/1800.50 v -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 x5715 x5716 x5717 x5718 1800.02/1800.50 v -x5719 -x572 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 -x5732 -x5733 -x5734 1800.02/1800.50 v -x5735 -x5736 x5737 x5738 -x5739 -x574 -x5740 -x5741 -x5742 x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x575 -x5750 1800.02/1800.50 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 1800.02/1800.50 v -x5767 -x5768 -x5769 -x577 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 -x5782 1800.02/1800.50 v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 1800.02/1800.50 v -x5799 -x58 -x580 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813 1800.02/1800.50 v -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 1800.02/1800.50 v -x583 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 1800.02/1800.50 v -x5846 -x5847 -x5848 -x5849 -x585 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861 1800.02/1800.50 v -x5862 -x5863 -x5864 x5865 x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1800.02/1800.50 v -x5879 -x588 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893 -x5894 1800.02/1800.50 v -x5895 -x5896 -x5897 -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 x5905 x5906 -x5907 -x5908 x5909 -x591 1800.02/1800.50 v x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 1800.02/1800.50 v -x5927 -x5928 -x5929 -x593 -x5930 x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x594 -x5940 -x5941 -x5942 1800.02/1800.50 v -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 1800.02/1800.50 v -x5959 -x596 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972 -x5973 -x5974 1800.02/1800.50 v -x5975 -x5976 -x5977 x5978 -x5979 -x598 -x5980 x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x599 -x5990 1800.02/1800.50 v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6 x60 -x600 -x6000 x6001 x6002 -x6003 -x6004 -x6005 -x6006 1800.02/1800.50 v -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 x6019 -x602 x6020 -x6021 -x6022 1800.02/1800.50 v x6023 x6024 -x6025 -x6026 x6027 x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 1800.02/1800.50 v -x604 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 1800.02/1800.50 v x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x607 -x6070 -x6071 1800.02/1800.50 v -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 1800.02/1800.50 v -x6088 -x6089 -x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 x6098 -x6099 x61 -x610 x6100 -x6101 -x6102 1800.02/1800.50 v -x6103 -x6104 x6105 x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 x6113 x6114 x6115 x6116 -x6117 -x6118 -x6119 1800.02/1800.50 v -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x613 -x6130 x6131 x6132 -x6133 -x6134 -x6135 1800.02/1800.50 v -x6136 -x6137 -x6138 x6139 -x614 x6140 x6141 x6142 -x6143 -x6144 x6145 x6146 x6147 x6148 -x615 -x616 -x617 -x618 -x619 x62 1800.02/1800.50 v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 1800.02/1800.50 v -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1800.02/1800.50 v -x659 x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.02/1800.50 v -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.02/1800.50 v -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 1800.02/1800.50 v -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 1800.02/1800.50 v -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 1800.02/1800.50 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x77 -x770 -x771 1800.02/1800.50 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 1800.02/1800.50 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 1800.02/1800.50 v -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1800.02/1800.50 v -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1800.02/1800.50 v -x848 -x849 x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.02/1800.50 v -x867 -x868 -x869 x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 1800.02/1800.50 v -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 1800.02/1800.50 v -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920 -x921 -x922 1800.02/1800.50 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 1800.02/1800.50 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 1800.02/1800.50 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 1800.02/1800.50 v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 141
/tmp/evaluation/459220-1178651573/instance-459220-1178651573.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-459220-1178651573 -o ROOT/results/node9/solver-459220-1178651573 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459220-1178651573/instance-459220-1178651573.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.92 3/77 4877 /proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=2188 CPUtime=0 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 332 0 0 0 0 0 0 0 18 0 1 0 341194933 2240512 314 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 547 315 84 219 0 324 0 [startup+0.0890749 s] /proc/loadavg: 0.91 0.95 0.92 3/77 4877 /proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=2732 CPUtime=0.08 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 477 0 0 0 8 0 0 0 18 0 1 0 341194933 2797568 459 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 683 459 86 219 0 460 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2732 [startup+0.101076 s] /proc/loadavg: 0.91 0.95 0.92 3/77 4877 /proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=2732 CPUtime=0.09 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 498 0 0 0 9 0 0 0 18 0 1 0 341194933 2797568 480 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 683 480 86 219 0 460 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2732 [startup+0.301099 s] /proc/loadavg: 0.91 0.95 0.92 3/77 4877 /proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=4396 CPUtime=0.29 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 922 0 0 0 29 0 0 0 19 0 1 0 341194933 4501504 758 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 1099 758 102 219 0 876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4396 [startup+0.701144 s] /proc/loadavg: 0.91 0.95 0.92 3/77 4877 /proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=4944 CPUtime=0.69 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 1114 0 0 0 68 1 0 0 22 0 1 0 341194933 5062656 950 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 1236 950 102 219 0 1013 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4944 [startup+1.50223 s] /proc/loadavg: 0.91 0.95 0.92 2/78 4878 /proc/meminfo: memFree=1911912/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=6524 CPUtime=1.49 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 1374 0 0 0 148 1 0 0 25 0 1 0 341194933 6680576 1210 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 1631 1210 102 219 0 1408 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6524 [startup+3.10142 s] /proc/loadavg: 0.92 0.95 0.92 2/78 4878 /proc/meminfo: memFree=1910568/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=9496 CPUtime=3.08 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 1864 0 0 0 306 2 0 0 25 0 1 0 341194933 9723904 1700 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544508 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 2374 1700 102 219 0 2151 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9496 [startup+6.30178 s] /proc/loadavg: 0.92 0.95 0.92 2/78 4878 /proc/meminfo: memFree=1906920/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=11092 CPUtime=6.29 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 2548 0 0 0 623 6 0 0 25 0 1 0 341194933 11358208 2384 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 2773 2384 102 219 0 2550 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11092 [startup+12.7015 s] /proc/loadavg: 0.93 0.96 0.92 2/78 4878 /proc/meminfo: memFree=1905448/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=11796 CPUtime=12.68 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 2787 0 0 0 1260 8 0 0 25 0 1 0 341194933 12079104 2623 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 2949 2623 102 219 0 2726 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11796 [startup+25.5019 s] /proc/loadavg: 0.94 0.96 0.92 2/78 4878 /proc/meminfo: memFree=1904936/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=12224 CPUtime=25.49 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 2911 0 0 0 2539 10 0 0 25 0 1 0 341194933 12517376 2747 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 3056 2747 102 219 0 2833 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12224 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.92 2/78 4878 /proc/meminfo: memFree=1904488/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=12720 CPUtime=51.07 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 3034 0 0 0 5096 11 0 0 25 0 1 0 341194933 13025280 2870 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 3180 2870 102 219 0 2957 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12720 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.92 2/78 4878 /proc/meminfo: memFree=1899496/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=19724 CPUtime=102.27 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 4469 0 0 0 10210 17 0 0 25 0 1 0 341194933 20197376 4112 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 4931 4112 102 219 0 4708 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 19724 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1897640/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=21588 CPUtime=162.25 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 4932 0 0 0 16201 24 0 0 25 0 1 0 341194933 22106112 4575 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 5397 4575 102 219 0 5174 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21588 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1895848/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=22520 CPUtime=222.23 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 5353 0 0 0 22197 26 0 0 25 0 1 0 341194933 23060480 4996 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 5630 4996 102 219 0 5407 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22520 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1893992/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=23576 CPUtime=282.22 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 5819 0 0 0 28192 30 0 0 25 0 1 0 341194933 24141824 5462 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 5894 5462 102 219 0 5671 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23576 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1892520/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=25012 CPUtime=342.2 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 6184 0 0 0 34185 35 0 0 25 0 1 0 341194933 25612288 5827 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 6253 5827 102 219 0 6030 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 25012 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1891688/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=27232 CPUtime=402.19 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 6783 0 0 0 40180 39 0 0 25 0 1 0 341194933 27885568 6041 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 6808 6041 102 219 0 6585 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 27232 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1891048/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=27692 CPUtime=462.17 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 6934 0 0 0 46176 41 0 0 25 0 1 0 341194933 28356608 6192 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 6923 6192 102 219 0 6700 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 27692 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1890344/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=28204 CPUtime=522.15 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 7123 0 0 0 52171 44 0 0 25 0 1 0 341194933 28880896 6381 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 7051 6381 102 219 0 6828 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 28204 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1889768/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=28808 CPUtime=582.14 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 7258 0 0 0 58168 46 0 0 25 0 1 0 341194933 29499392 6516 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 7202 6516 102 219 0 6979 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 28808 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1889064/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=29364 CPUtime=642.12 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 7440 0 0 0 64162 50 0 0 25 0 1 0 341194933 30068736 6698 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 7341 6698 102 219 0 7118 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 29364 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1886824/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=31196 CPUtime=882.06 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 7973 0 0 0 88147 59 0 0 25 0 1 0 341194933 31944704 7231 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 7799 7231 102 219 0 7576 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 31196 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1886376/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=31336 CPUtime=942.04 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 8068 0 0 0 94143 61 0 0 25 0 1 0 341194933 32088064 7326 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 7834 7326 102 219 0 7611 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 31336 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 3/78 4878 /proc/meminfo: memFree=1885928/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=31744 CPUtime=1002.02 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 8186 0 0 0 100137 65 0 0 25 0 1 0 341194933 32505856 7444 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 7936 7444 102 219 0 7713 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 31744 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1885608/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=32020 CPUtime=1062.01 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 8259 0 0 0 106132 69 0 0 25 0 1 0 341194933 32788480 7517 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 8005 7517 102 219 0 7782 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 32020 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1885160/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=32392 CPUtime=1121.99 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 8377 0 0 0 112128 71 0 0 25 0 1 0 341194933 33169408 7635 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 8098 7635 102 219 0 7875 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 32392 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1884648/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=35908 CPUtime=1181.98 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9277 0 0 0 118122 76 0 0 25 0 1 0 341194933 36769792 7766 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 8977 7766 102 219 0 8754 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 35908 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1884200/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=36124 CPUtime=1241.96 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9359 0 0 0 124117 79 0 0 25 0 1 0 341194933 36990976 7848 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9031 7848 102 219 0 8808 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 36124 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1883688/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=36308 CPUtime=1301.95 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9474 0 0 0 130112 83 0 0 25 0 1 0 341194933 37179392 7963 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9077 7963 102 219 0 8854 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 36308 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 3/78 4878 /proc/meminfo: memFree=1883304/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=36680 CPUtime=1361.92 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9575 0 0 0 136107 85 0 0 25 0 1 0 341194933 37560320 8064 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9170 8064 102 219 0 8947 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 36680 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4878 /proc/meminfo: memFree=1882664/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=37320 CPUtime=1421.91 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9723 0 0 0 142104 87 0 0 25 0 1 0 341194933 38215680 8212 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9330 8212 102 219 0 9107 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 37320 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4880 /proc/meminfo: memFree=1882088/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=37692 CPUtime=1481.9 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9815 0 0 0 148099 91 0 0 25 0 1 0 341194933 38596608 8304 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9423 8304 102 219 0 9200 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 37692 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4880 /proc/meminfo: memFree=1881512/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=38292 CPUtime=1541.88 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9959 0 0 0 154092 96 0 0 25 0 1 0 341194933 39211008 8448 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9573 8448 102 219 0 9350 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 38292 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4880 /proc/meminfo: memFree=1881256/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=38380 CPUtime=1601.87 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10030 0 0 0 160088 99 0 0 25 0 1 0 341194933 39301120 8519 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9595 8519 102 219 0 9372 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 38380 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4880 /proc/meminfo: memFree=1880872/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=38380 CPUtime=1661.85 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10113 0 0 0 166084 101 0 0 25 0 1 0 341194933 39301120 8602 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9595 8602 102 219 0 9372 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 38380 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 3/78 4880 /proc/meminfo: memFree=1880424/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=38900 CPUtime=1721.83 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10226 0 0 0 172078 105 0 0 25 0 1 0 341194933 39833600 8715 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9725 8715 102 219 0 9502 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 38900 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4880 /proc/meminfo: memFree=1880232/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=38900 CPUtime=1781.82 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10277 0 0 0 178074 108 0 0 25 0 1 0 341194933 39833600 8766 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9725 8766 102 219 0 9502 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 38900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.92 2/78 4880 /proc/meminfo: memFree=1880104/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=39192 CPUtime=1800.02 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10309 0 0 0 179893 109 0 0 25 0 1 0 341194933 40132608 8798 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9798 8798 102 219 0 9575 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 39192 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.92 2/78 4880 /proc/meminfo: memFree=1880104/2055920 swapFree=4145464/4192956 [pid=4877] ppid=4875 vsize=39192 CPUtime=1800.02 /proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10309 0 0 0 179893 109 0 0 25 0 1 0 341194933 40132608 8798 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4877/statm: 9798 8798 102 219 0 9575 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 39192 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.04 CPU user time (s): 1798.94 CPU system time (s): 1.10283 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 39192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.94 system time used= 1.10283 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10312 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= 968 runsolver used 1.37279 second user time and 3.90641 second system time The end
Begin job on node9 on Tue May 8 19:12:54 UTC 2007 IDJOB= 459220 IDBENCH= 24991 IDSOLVER= 200 FILE ID= node9/459220-1178651573 PBS_JOBID= 5217835 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459220-1178651573/instance-459220-1178651573.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-459220-1178651573 -o ROOT/results/node9/conversion-459220-1178651573 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459220-1178651573/instance-459220-1178651573.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-459220-1178651573 -o ROOT/results/node9/solver-459220-1178651573 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459220-1178651573/instance-459220-1178651573.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED= 18091303 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1916296 kB Buffers: 23156 kB Cached: 30636 kB SwapCached: 15296 kB Active: 48920 kB Inactive: 27512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1916296 kB SwapTotal: 4192956 kB SwapFree: 4145464 kB Dirty: 2808 kB Writeback: 0 kB Mapped: 29716 kB Slab: 48672 kB Committed_AS: 8877732 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node9 on Tue May 8 19:42:56 UTC 2007