Trace number 459227

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS4_v2 2007-03-23SAT (TO)195 1800.07 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
MD5SUM8e8463c13e61e1a22058cdf603119640
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark273.442
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables7926
Total number of constraints23835
Number of constraints which are clauses23835
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3885
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 3885
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 3885
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	195

Conversion Script Data (download as text)

/tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-459227-1178651758 -o ROOT/results/node18/solver-459227-1178651758 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20362
/proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=2396 CPUtime=0
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 386 0 0 0 0 0 0 0 18 0 1 0 313093211 2453504 368 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134530465 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 599 368 84 219 0 376 0

[startup+0.01548 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20362
/proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=2528 CPUtime=0.01
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 429 0 0 0 1 0 0 0 18 0 1 0 313093211 2588672 411 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 632 411 84 219 0 409 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2528

[startup+0.101488 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20362
/proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=2700 CPUtime=0.09
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 483 0 0 0 9 0 0 0 18 0 1 0 313093211 2764800 465 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134530019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 675 465 86 219 0 452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2700

[startup+0.301507 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20362
/proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=4728 CPUtime=0.29
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 1007 0 0 0 29 0 0 0 19 0 1 0 313093211 4841472 843 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 1182 844 86 219 0 959 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4728

[startup+0.701546 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20362
/proc/meminfo: memFree=1853296/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=5548 CPUtime=0.69
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 1290 0 0 0 67 2 0 0 22 0 1 0 313093211 5681152 1126 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 1387 1126 102 219 0 1164 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5548

[startup+1.50162 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1848808/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=6904 CPUtime=1.49
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 1440 0 0 0 147 2 0 0 25 0 1 0 313093211 7069696 1276 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 1726 1276 102 219 0 1503 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6904

[startup+3.10178 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1848040/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=8952 CPUtime=3.09
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 1692 0 0 0 306 3 0 0 25 0 1 0 313093211 9166848 1528 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 2238 1528 102 219 0 2015 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8952

[startup+6.30109 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1845800/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=8952 CPUtime=6.29
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 2172 0 0 0 625 4 0 0 25 0 1 0 313093211 9166848 2008 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 2238 2008 102 219 0 2015 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8952

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1842280/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=13168 CPUtime=12.69
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 3008 0 0 0 1264 5 0 0 25 0 1 0 313093211 13484032 2844 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 3292 2844 102 219 0 3069 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13168

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1835688/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=21784 CPUtime=25.48
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 4589 0 0 0 2540 8 0 0 25 0 1 0 313093211 22306816 4425 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 5446 4425 102 219 0 5223 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21784

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1834664/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=21912 CPUtime=51.08
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 4825 0 0 0 5099 9 0 0 25 0 1 0 313093211 22437888 4661 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 5478 4661 102 219 0 5255 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21912

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1827816/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=40664 CPUtime=102.27
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 6753 0 0 0 10214 13 0 0 25 0 1 0 313093211 41639936 6396 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 10166 6396 102 219 0 9943 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40664

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1822952/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=43672 CPUtime=162.25
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 7945 0 0 0 16209 16 0 0 25 0 1 0 313093211 44720128 7588 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 10918 7588 102 219 0 10695 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 43672

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1821096/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=45336 CPUtime=222.23
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 8382 0 0 0 22205 18 0 0 25 0 1 0 313093211 46424064 8025 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 11334 8025 102 219 0 11111 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 45336

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1819048/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=47864 CPUtime=282.22
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 8922 0 0 0 28201 21 0 0 25 0 1 0 313093211 49012736 8565 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 11966 8565 102 219 0 11743 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 47864

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1816808/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=50184 CPUtime=342.21
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 9446 0 0 0 34195 26 0 0 25 0 1 0 313093211 51388416 9089 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 12546 9089 102 219 0 12323 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 50184

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1816040/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=52264 CPUtime=402.19
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 9994 0 0 0 40189 30 0 0 25 0 1 0 313093211 53518336 9252 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 13066 9252 102 219 0 12843 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 52264

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1814568/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=53804 CPUtime=462.18
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 10396 0 0 0 46183 35 0 0 25 0 1 0 313093211 55095296 9654 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 13451 9654 102 219 0 13228 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 53804

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1813224/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=54908 CPUtime=522.16
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 10723 0 0 0 52177 39 0 0 25 0 1 0 313093211 56225792 9981 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 13727 9981 102 219 0 13504 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 54908

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1812648/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=55552 CPUtime=582.14
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 10879 0 0 0 58173 41 0 0 25 0 1 0 313093211 56885248 10137 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 13888 10137 102 219 0 13665 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 55552

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1811944/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=56096 CPUtime=642.13
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 11055 0 0 0 64169 44 0 0 25 0 1 0 313093211 57442304 10313 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 14024 10313 102 219 0 13801 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 56096


################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1808936/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=58560 CPUtime=882.06
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 11768 0 0 0 88149 57 0 0 25 0 1 0 313093211 59965440 11026 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 14640 11026 102 219 0 14417 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 58560

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1807912/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=59632 CPUtime=942.05
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 12046 0 0 0 94144 61 0 0 25 0 1 0 313093211 61063168 11304 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 14908 11304 102 219 0 14685 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 59632

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1807656/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=59824 CPUtime=1002.04
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 12122 0 0 0 100139 65 0 0 25 0 1 0 313093211 61259776 11380 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 14956 11380 102 219 0 14733 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 59824

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1807208/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=63340 CPUtime=1062.02
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13017 0 0 0 106134 68 0 0 25 0 1 0 313093211 64860160 11506 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 15835 11506 102 219 0 15612 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 63340

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1806760/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=63680 CPUtime=1122.01
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13128 0 0 0 112129 72 0 0 25 0 1 0 313093211 65208320 11617 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 15920 11617 102 219 0 15697 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 63680

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1806056/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=64040 CPUtime=1181.99
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13298 0 0 0 118124 75 0 0 25 0 1 0 313093211 65576960 11787 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16010 11787 102 219 0 15787 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 64040

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1805736/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=64268 CPUtime=1241.98
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13363 0 0 0 124121 77 0 0 25 0 1 0 313093211 65810432 11852 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16067 11852 102 219 0 15844 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 64268

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1805480/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=64344 CPUtime=1301.97
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13441 0 0 0 130117 80 0 0 25 0 1 0 313093211 65888256 11930 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16086 11930 102 219 0 15863 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 64344

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1805032/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=64660 CPUtime=1361.95
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13531 0 0 0 136112 83 0 0 25 0 1 0 313093211 66211840 12020 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16165 12020 102 219 0 15942 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 64660

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1804712/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=65064 CPUtime=1421.94
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13647 0 0 0 142107 87 0 0 25 0 1 0 313093211 66625536 12136 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16266 12136 102 219 0 16043 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 65064

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20363
/proc/meminfo: memFree=1804200/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=65200 CPUtime=1481.92
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13752 0 0 0 148103 89 0 0 25 0 1 0 313093211 66764800 12241 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16300 12241 102 219 0 16077 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 65200

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20365
/proc/meminfo: memFree=1803944/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=65472 CPUtime=1541.91
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 13837 0 0 0 154098 93 0 0 25 0 1 0 313093211 67043328 12326 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16368 12326 102 219 0 16145 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 65472

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20365
/proc/meminfo: memFree=1802600/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=66912 CPUtime=1601.89
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14161 0 0 0 160093 96 0 0 25 0 1 0 313093211 68517888 12650 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16728 12650 102 219 0 16505 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 66912

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20365
/proc/meminfo: memFree=1802152/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=67360 CPUtime=1661.87
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14278 0 0 0 166087 100 0 0 25 0 1 0 313093211 68976640 12767 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16840 12767 102 219 0 16617 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 67360

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20365
/proc/meminfo: memFree=1801768/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=67360 CPUtime=1721.86
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14357 0 0 0 172082 104 0 0 25 0 1 0 313093211 68976640 12846 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16840 12846 102 219 0 16617 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 67360

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20365
/proc/meminfo: memFree=1801512/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=67668 CPUtime=1781.85
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14435 0 0 0 178078 107 0 0 25 0 1 0 313093211 69292032 12924 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16917 12924 102 219 0 16694 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 67668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20365
/proc/meminfo: memFree=1801320/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=67828 CPUtime=1800.05
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14471 0 0 0 179897 108 0 0 25 0 1 0 313093211 69455872 12960 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16957 12960 102 219 0 16734 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 67828

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.98 0.99 2/78 20365
/proc/meminfo: memFree=1801320/2055920 swapFree=4147172/4192956
[pid=20362] ppid=20360 vsize=67828 CPUtime=1800.05
/proc/20362/stat : 20362 (PBS4_SAT07v2) R 20360 20362 20045 0 -1 4194304 14471 0 0 0 179897 108 0 0 25 0 1 0 313093211 69455872 12960 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20362/statm: 16957 12960 102 219 0 16734 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 67828

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1798.98
CPU system time (s): 1.09483
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 67828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.09483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14474
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= 3258

runsolver used 1.45178 second user time and 3.79642 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Tue May  8 19:15:58 UTC 2007

IDJOB= 459227
IDBENCH= 24998
IDSOLVER= 200
FILE ID= node18/459227-1178651758

PBS_JOBID= 5217836

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_022_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-459227-1178651758 -o ROOT/results/node18/conversion-459227-1178651758 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-459227-1178651758 -o ROOT/results/node18/solver-459227-1178651758 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459227-1178651758/instance-459227-1178651758.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  8e8463c13e61e1a22058cdf603119640

RANDOM SEED= 606303525

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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:       1853704 kB
Buffers:         34172 kB
Cached:          82076 kB
SwapCached:      14244 kB
Active:          54180 kB
Inactive:        84788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853704 kB
SwapTotal:     4192956 kB
SwapFree:      4147172 kB
Dirty:            2952 kB
Writeback:           0 kB
Mapped:          29724 kB
Slab:            48764 kB
Committed_AS:  8683500 kB
PageTables:       1776 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 node18 on Tue May  8 19:46:01 UTC 2007