Trace number 459210

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)210 1800.05 1800.52

General information on the benchmark

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

Verifier Data (download as text)

OK	210

Conversion Script Data (download as text)

/tmp/evaluation/459210-1178651418/instance-459210-1178651418.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/node24/watcher-459210-1178651418 -o ROOT/results/node24/solver-459210-1178651418 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459210-1178651418/instance-459210-1178651418.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.78 0.95 0.98 3/77 7772
/proc/meminfo: memFree=1568192/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=2380 CPUtime=0
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 313059804 2437120 364 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 595 365 84 219 0 372 0

[startup+0.0482181 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 7772
/proc/meminfo: memFree=1568192/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=2512 CPUtime=0.04
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 437 0 0 0 4 0 0 0 18 0 1 0 313059804 2572288 419 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586450 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 628 419 86 219 0 405 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2512

[startup+0.101221 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 7772
/proc/meminfo: memFree=1568192/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=2808 CPUtime=0.09
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 490 0 0 0 9 0 0 0 18 0 1 0 313059804 2875392 472 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 702 472 86 219 0 479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2808

[startup+0.301242 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 7772
/proc/meminfo: memFree=1568192/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=4688 CPUtime=0.29
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 1010 0 0 0 29 0 0 0 19 0 1 0 313059804 4800512 846 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 1172 846 86 219 0 949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4688

[startup+0.701286 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 7772
/proc/meminfo: memFree=1568192/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=5056 CPUtime=0.69
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 1181 0 0 0 68 1 0 0 23 0 1 0 313059804 5177344 1017 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 1264 1017 102 219 0 1041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5056

[startup+1.50137 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 7773
/proc/meminfo: memFree=1564152/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=6368 CPUtime=1.49
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 1319 0 0 0 148 1 0 0 25 0 1 0 313059804 6520832 1155 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 1592 1155 102 219 0 1369 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6368

[startup+3.10155 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 7773
/proc/meminfo: memFree=1563448/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=6368 CPUtime=3.09
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 1548 0 0 0 307 2 0 0 25 0 1 0 313059804 6520832 1384 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 1592 1384 102 219 0 1369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6368

[startup+6.30189 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 7773
/proc/meminfo: memFree=1561400/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=9132 CPUtime=6.29
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 1988 0 0 0 626 3 0 0 25 0 1 0 313059804 9351168 1824 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 2283 1824 102 219 0 2060 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9132

[startup+12.7016 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 7773
/proc/meminfo: memFree=1557560/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=12508 CPUtime=12.69
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 2936 0 0 0 1260 9 0 0 25 0 1 0 313059804 12808192 2772 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 3127 2772 102 219 0 2904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12508

[startup+25.502 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 7773
/proc/meminfo: memFree=1556024/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=13848 CPUtime=25.48
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 3241 0 0 0 2534 14 0 0 25 0 1 0 313059804 14180352 3077 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 3462 3077 102 219 0 3239 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13848

[startup+51.1017 s]
/proc/loadavg: 0.90 0.95 0.98 2/78 7773
/proc/meminfo: memFree=1552184/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=20684 CPUtime=51.07
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 4180 0 0 0 5090 17 0 0 25 0 1 0 313059804 21180416 4016 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 5171 4016 102 219 0 4948 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20684

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 7773
/proc/meminfo: memFree=1548728/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=22320 CPUtime=102.26
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 5224 0 0 0 10205 21 0 0 25 0 1 0 313059804 22855680 4867 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 5580 4867 102 219 0 5357 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 22320

[startup+162.302 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 7773
/proc/meminfo: memFree=1545592/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=25576 CPUtime=162.25
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 6010 0 0 0 16195 30 0 0 25 0 1 0 313059804 26189824 5653 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 6394 5653 102 219 0 6171 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 25576

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1544120/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=27216 CPUtime=222.23
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 6370 0 0 0 22191 32 0 0 25 0 1 0 313059804 27869184 6013 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 6804 6013 102 219 0 6581 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27216

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1542712/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=28620 CPUtime=282.21
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 6722 0 0 0 28184 37 0 0 25 0 1 0 313059804 29306880 6365 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 7155 6365 102 219 0 6932 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28620

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1541816/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=29360 CPUtime=342.2
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 6947 0 0 0 34178 42 0 0 25 0 1 0 313059804 30064640 6590 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 7340 6590 102 219 0 7117 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29360

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1540920/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=30324 CPUtime=402.19
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 7189 0 0 0 40174 45 0 0 25 0 1 0 313059804 31051776 6832 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 7581 6832 102 219 0 7358 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 30324

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1540344/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=32228 CPUtime=462.17
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 7684 0 0 0 46170 47 0 0 25 0 1 0 313059804 33001472 6942 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 8057 6942 102 219 0 7834 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 32228

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1539640/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=32904 CPUtime=522.16
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 7866 0 0 0 52166 50 0 0 25 0 1 0 313059804 33693696 7124 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 8226 7124 102 219 0 8003 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 32904

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1538744/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=33756 CPUtime=582.14
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 8077 0 0 0 58161 53 0 0 25 0 1 0 313059804 34566144 7335 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 8439 7335 102 219 0 8216 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 33756

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1537464/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=35048 CPUtime=642.13
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 8403 0 0 0 64157 56 0 0 25 0 1 0 313059804 35889152 7661 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 8762 7661 102 219 0 8539 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 35048


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1534456/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=37900 CPUtime=882.06
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 9154 0 0 0 88134 72 0 0 25 0 1 0 313059804 38809600 8412 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 9475 8412 102 219 0 9252 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 37900

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1530872/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=46460 CPUtime=942.05
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 10045 0 0 0 94128 77 0 0 25 0 1 0 313059804 47575040 9303 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 11615 9303 102 219 0 11392 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 46460

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7773
/proc/meminfo: memFree=1530552/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=46728 CPUtime=1002.03
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 10142 0 0 0 100124 79 0 0 25 0 1 0 313059804 47849472 9400 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 11682 9400 102 219 0 11459 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 46728

[startup+1062.3 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 7773
/proc/meminfo: memFree=1530232/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=47068 CPUtime=1062.02
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 10211 0 0 0 106120 82 0 0 25 0 1 0 313059804 48197632 9469 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 11767 9469 102 219 0 11544 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 47068

[startup+1122.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 7773
/proc/meminfo: memFree=1529656/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=47300 CPUtime=1122
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 10351 0 0 0 112113 87 0 0 25 0 1 0 313059804 48435200 9609 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 11825 9609 102 219 0 11602 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 47300

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 7773
/proc/meminfo: memFree=1529272/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=47736 CPUtime=1181.99
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 10451 0 0 0 118109 90 0 0 25 0 1 0 313059804 48881664 9709 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 11934 9709 102 219 0 11711 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 47736

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 7773
/proc/meminfo: memFree=1529080/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=47896 CPUtime=1241.96
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 10483 0 0 0 124106 90 0 0 25 0 1 0 313059804 49045504 9741 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 11974 9741 102 219 0 11751 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 47896

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 7773
/proc/meminfo: memFree=1527672/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=48096 CPUtime=1301.95
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 10858 0 0 0 130102 93 0 0 25 0 1 0 313059804 49250304 10116 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 12024 10116 102 219 0 11801 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 48096

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 7773
/proc/meminfo: memFree=1526968/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=51772 CPUtime=1361.93
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 11793 0 0 0 136096 97 0 0 25 0 1 0 313059804 53014528 10282 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 12943 10282 102 219 0 12720 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 51772

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 7773
/proc/meminfo: memFree=1526584/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=52044 CPUtime=1421.92
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 11910 0 0 0 142092 100 0 0 25 0 1 0 313059804 53293056 10399 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 13011 10399 102 219 0 12788 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 52044

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 7773
/proc/meminfo: memFree=1525816/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=52980 CPUtime=1481.9
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 12104 0 0 0 148088 102 0 0 25 0 1 0 313059804 54251520 10593 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 13245 10593 102 219 0 13022 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 52980

[startup+1542.3 s]
/proc/loadavg: 1.03 1.00 0.99 2/78 7773
/proc/meminfo: memFree=1525176/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=53476 CPUtime=1541.89
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 12266 0 0 0 154083 106 0 0 25 0 1 0 313059804 54759424 10755 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 13369 10755 102 219 0 13146 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 53476

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 7773
/proc/meminfo: memFree=1524856/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=53620 CPUtime=1601.87
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 12336 0 0 0 160080 107 0 0 25 0 1 0 313059804 54906880 10825 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 13405 10825 102 219 0 13182 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 53620

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7773
/proc/meminfo: memFree=1524088/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=54520 CPUtime=1661.86
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 12525 0 0 0 166077 109 0 0 25 0 1 0 313059804 55828480 11014 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 13630 11014 102 219 0 13407 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 54520

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7773
/proc/meminfo: memFree=1523064/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=55160 CPUtime=1721.84
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 12794 0 0 0 172071 113 0 0 25 0 1 0 313059804 56483840 11283 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 13790 11283 102 219 0 13567 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 55160

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7773
/proc/meminfo: memFree=1522680/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=55544 CPUtime=1781.83
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 12885 0 0 0 178067 116 0 0 25 0 1 0 313059804 56877056 11374 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 13886 11374 102 219 0 13663 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 55544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7773
/proc/meminfo: memFree=1522680/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=55544 CPUtime=1800.03
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 12888 0 0 0 179887 116 0 0 25 0 1 0 313059804 56877056 11377 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560873 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 13886 11377 102 219 0 13663 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 55544

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 7773
/proc/meminfo: memFree=1522680/2055920 swapFree=4143684/4192956
[pid=7772] ppid=7770 vsize=55544 CPUtime=1800.03
/proc/7772/stat : 7772 (PBS4_SAT07v2) R 7770 7772 7705 0 -1 4194304 12888 0 0 0 179887 116 0 0 25 0 1 0 313059804 56877056 11377 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560873 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7772/statm: 13886 11377 102 219 0 13663 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 55544

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1798.88
CPU system time (s): 1.17282
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 55544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.17282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12891
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= 12
involuntary context switches= 35931

runsolver used 1.38379 second user time and 4.10738 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue May  8 19:10:18 UTC 2007

IDJOB= 459210
IDBENCH= 24981
IDSOLVER= 200
FILE ID= node24/459210-1178651418

PBS_JOBID= 5218412

Free space on /tmp= 66502 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459210-1178651418/instance-459210-1178651418.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-459210-1178651418 -o ROOT/results/node24/conversion-459210-1178651418 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459210-1178651418/instance-459210-1178651418.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  90acfb7d1c18536583ef7e2a90905f54

RANDOM SEED= 881725766

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1568536 kB
Buffers:         39944 kB
Cached:         338180 kB
SwapCached:      16956 kB
Active:         110076 kB
Inactive:       290880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1568536 kB
SwapTotal:     4192956 kB
SwapFree:      4143684 kB
Dirty:            3144 kB
Writeback:           0 kB
Mapped:          29924 kB
Slab:            71844 kB
Committed_AS:  7431800 kB
PageTables:       1808 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= 66502 MiB

End job on node24 on Tue May  8 19:40:20 UTC 2007