Trace number 459218

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)178 1800.08 1800.56

General information on the benchmark

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

Verifier Data (download as text)

OK	178

Conversion Script Data (download as text)

/tmp/evaluation/459218-1178651535/instance-459218-1178651535.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/node48/watcher-459218-1178651535 -o ROOT/results/node48/solver-459218-1178651535 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459218-1178651535/instance-459218-1178651535.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18924
/proc/meminfo: memFree=1611800/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=2324 CPUtime=0
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 219998882 2379776 350 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 581 351 84 219 0 358 0

[startup+0.0118679 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18924
/proc/meminfo: memFree=1611800/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=2456 CPUtime=0.01
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 401 0 0 0 1 0 0 0 18 0 1 0 219998882 2514944 383 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 614 383 84 219 0 391 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2456

[startup+0.101877 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18924
/proc/meminfo: memFree=1611800/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=2732 CPUtime=0.1
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 501 0 0 0 10 0 0 0 18 0 1 0 219998882 2797568 483 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 683 483 86 219 0 460 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2732

[startup+0.301894 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18924
/proc/meminfo: memFree=1611800/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=4620 CPUtime=0.29
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 1022 0 0 0 29 0 0 0 19 0 1 0 219998882 4730880 858 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 1155 858 90 219 0 932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4620

[startup+0.701931 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18924
/proc/meminfo: memFree=1611800/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=5160 CPUtime=0.69
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 1213 0 0 0 67 2 0 0 22 0 1 0 219998882 5283840 1049 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544901 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 1290 1049 102 219 0 1067 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5160

[startup+1.502 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18925
/proc/meminfo: memFree=1607632/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=6720 CPUtime=1.49
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 1488 0 0 0 147 2 0 0 25 0 1 0 219998882 6881280 1324 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 1680 1324 102 219 0 1457 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6720

[startup+3.10115 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18925
/proc/meminfo: memFree=1606224/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=8240 CPUtime=3.09
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 1903 0 0 0 306 3 0 0 25 0 1 0 219998882 8437760 1739 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 2060 1739 102 219 0 1837 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8240

[startup+6.30145 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18925
/proc/meminfo: memFree=1603408/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=11036 CPUtime=6.29
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 2474 0 0 0 623 6 0 0 25 0 1 0 219998882 11300864 2310 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 2759 2310 102 219 0 2536 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11036

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18925
/proc/meminfo: memFree=1600592/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=16072 CPUtime=12.69
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 3026 0 0 0 1259 10 0 0 25 0 1 0 219998882 16457728 2862 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 4018 2862 102 219 0 3795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16072

[startup+25.5012 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1596112/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=17660 CPUtime=25.48
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 4104 0 0 0 2531 17 0 0 25 0 1 0 219998882 18083840 3940 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 4415 3940 102 219 0 4192 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17660

[startup+51.1016 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 18925
/proc/meminfo: memFree=1593936/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=20396 CPUtime=51.08
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 4639 0 0 0 5081 27 0 0 25 0 1 0 219998882 20885504 4475 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 5099 4475 102 219 0 4876 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20396

[startup+102.305 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 18925
/proc/meminfo: memFree=1591952/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=23376 CPUtime=102.27
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 5339 0 0 0 10195 32 0 0 25 0 1 0 219998882 23937024 4982 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 5844 4982 102 219 0 5621 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23376

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1590864/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=24400 CPUtime=162.25
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 5608 0 0 0 16190 35 0 0 25 0 1 0 219998882 24985600 5251 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 6100 5251 102 219 0 5877 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24400

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1589136/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=26164 CPUtime=222.24
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 6025 0 0 0 22184 40 0 0 25 0 1 0 219998882 26791936 5668 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 6541 5668 102 219 0 6318 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 26164

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1587856/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=27424 CPUtime=282.23
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 6359 0 0 0 28180 43 0 0 25 0 1 0 219998882 28082176 6002 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 6856 6002 102 219 0 6633 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 27424

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1585296/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=36164 CPUtime=342.21
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 6991 0 0 0 34175 46 0 0 25 0 1 0 219998882 37031936 6634 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 9041 6634 102 219 0 8818 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 36164

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1583440/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=36796 CPUtime=402.19
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 7454 0 0 0 40172 47 0 0 25 0 1 0 219998882 37679104 7097 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 9199 7097 102 219 0 8976 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 36796

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1581968/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=38668 CPUtime=462.18
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 7819 0 0 0 46169 49 0 0 25 0 1 0 219998882 39596032 7462 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 9667 7462 102 219 0 9444 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 38668

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1580816/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=40784 CPUtime=522.16
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 8486 0 0 0 52165 51 0 0 25 0 1 0 219998882 41762816 7744 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 10196 7744 102 219 0 9973 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 40784

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1580112/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=41448 CPUtime=582.15
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 8661 0 0 0 58162 53 0 0 25 0 1 0 219998882 42442752 7919 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 10362 7919 102 219 0 10139 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 41448

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1579536/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=41988 CPUtime=642.14
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 8810 0 0 0 64160 54 0 0 25 0 1 0 219998882 42995712 8068 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545113 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 10497 8068 102 219 0 10274 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 41988


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1577424/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=44132 CPUtime=882.07
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 9334 0 0 0 88148 59 0 0 25 0 1 0 219998882 45191168 8592 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11033 8592 102 219 0 10810 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 44132

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1577232/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=44280 CPUtime=942.06
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 9376 0 0 0 94146 60 0 0 25 0 1 0 219998882 45342720 8634 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11070 8634 102 219 0 10847 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 44280

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1576848/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=44692 CPUtime=1002.05
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 9479 0 0 0 100144 61 0 0 25 0 1 0 219998882 45764608 8737 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11173 8737 102 219 0 10950 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 44692

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1576080/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=45424 CPUtime=1062.03
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 9662 0 0 0 106140 63 0 0 25 0 1 0 219998882 46514176 8920 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11356 8920 102 219 0 11133 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 45424

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1575760/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=45584 CPUtime=1122.02
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 9731 0 0 0 112137 65 0 0 25 0 1 0 219998882 46678016 8989 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11396 8989 102 219 0 11173 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 45584

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1575504/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=45696 CPUtime=1182
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 9796 0 0 0 118134 66 0 0 25 0 1 0 219998882 46792704 9054 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11424 9054 102 219 0 11201 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 45696

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1575120/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=46072 CPUtime=1241.98
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 9890 0 0 0 124130 68 0 0 25 0 1 0 219998882 47177728 9148 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11518 9148 102 219 0 11295 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 46072

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1574864/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=46356 CPUtime=1301.98
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 9959 0 0 0 130129 69 0 0 25 0 1 0 219998882 47468544 9217 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11589 9217 102 219 0 11366 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 46356

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1574544/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=46676 CPUtime=1361.95
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 10038 0 0 0 136125 70 0 0 25 0 1 0 219998882 47796224 9296 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11669 9296 102 219 0 11446 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 46676

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1574096/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=46956 CPUtime=1421.94
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 10147 0 0 0 142122 72 0 0 25 0 1 0 219998882 48082944 9405 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11739 9405 102 219 0 11516 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 46956

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1573584/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=47328 CPUtime=1481.92
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 10272 0 0 0 148118 74 0 0 25 0 1 0 219998882 48463872 9530 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11832 9530 102 219 0 11609 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 47328

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1573136/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=47796 CPUtime=1541.92
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 10380 0 0 0 154116 76 0 0 25 0 1 0 219998882 48943104 9638 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 11949 9638 102 219 0 11726 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 47796

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1572816/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=51172 CPUtime=1601.9
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 11233 0 0 0 160113 77 0 0 25 0 1 0 219998882 52400128 9722 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 12793 9722 102 219 0 12570 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 51172

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1572432/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=51396 CPUtime=1661.88
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 11338 0 0 0 166109 79 0 0 25 0 1 0 219998882 52629504 9827 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 12849 9827 102 219 0 12626 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 51396

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1572304/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=51608 CPUtime=1721.87
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 11370 0 0 0 172107 80 0 0 25 0 1 0 219998882 52846592 9859 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 12902 9859 102 219 0 12679 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 51608

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1571984/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=51784 CPUtime=1781.86
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 11450 0 0 0 178102 84 0 0 25 0 1 0 219998882 53026816 9939 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 12946 9939 102 219 0 12723 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 51784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18925
/proc/meminfo: memFree=1571984/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=51784 CPUtime=1800.06
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 11453 0 0 0 179922 84 0 0 25 0 1 0 219998882 53026816 9942 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 12946 9942 102 219 0 12723 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 51784

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 1.00 2/65 18925
/proc/meminfo: memFree=1571984/2055920 swapFree=4183976/4192956
[pid=18924] ppid=18922 vsize=51784 CPUtime=1800.06
/proc/18924/stat : 18924 (PBS4_SAT07v2) R 18922 18924 18605 0 -1 4194304 11453 0 0 0 179922 84 0 0 25 0 1 0 219998882 53026816 9942 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18924/statm: 12946 9942 102 219 0 12723 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 51784

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.08
CPU user time (s): 1799.23
CPU system time (s): 0.85087
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 51784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.85087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 1058

runsolver used 1.40479 second user time and 3.52146 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Tue May  8 19:12:16 UTC 2007

IDJOB= 459218
IDBENCH= 24989
IDSOLVER= 200
FILE ID= node48/459218-1178651535

PBS_JOBID= 5218399

Free space on /tmp= 66562 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  66cf2657d020eb0982c7cab0e5ad93c1

RANDOM SEED= 75874504

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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:       1612208 kB
Buffers:         34024 kB
Cached:         293340 kB
SwapCached:       3048 kB
Active:          82236 kB
Inactive:       254836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1612208 kB
SwapTotal:     4192956 kB
SwapFree:      4183976 kB
Dirty:            2908 kB
Writeback:           0 kB
Mapped:          15672 kB
Slab:            92616 kB
Committed_AS:  3739404 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node48 on Tue May  8 19:42:18 UTC 2007