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