Trace number 459221

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.09 1800.52

General information on the benchmark

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 27470
/proc/meminfo: memFree=1872248/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=2568 CPUtime=0
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 417 0 0 0 0 0 0 0 18 0 1 0 313073292 2629632 399 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134801856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 642 399 84 219 0 419 0

[startup+0.050079 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 27470
/proc/meminfo: memFree=1872248/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=2868 CPUtime=0.04
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 487 0 0 0 4 0 0 0 18 0 1 0 313073292 2936832 469 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 717 469 86 219 0 494 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2868

[startup+0.102084 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 27470
/proc/meminfo: memFree=1872248/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=2868 CPUtime=0.09
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 504 0 0 0 9 0 0 0 18 0 1 0 313073292 2936832 486 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 717 486 86 219 0 494 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2868

[startup+0.302101 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 27470
/proc/meminfo: memFree=1872248/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=4984 CPUtime=0.29
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 1023 0 0 0 29 0 0 0 19 0 1 0 313073292 5103616 859 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 1246 859 86 219 0 1023 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4984

[startup+0.701135 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 27470
/proc/meminfo: memFree=1872248/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=5520 CPUtime=0.69
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 1305 0 0 0 67 2 0 0 23 0 1 0 313073292 5652480 1141 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 1380 1141 102 219 0 1157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5520

[startup+1.5012 s]
/proc/loadavg: 0.91 0.97 0.99 3/78 27471
/proc/meminfo: memFree=1867504/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=7024 CPUtime=1.49
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 1521 0 0 0 146 3 0 0 25 0 1 0 313073292 7192576 1357 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 1756 1357 102 219 0 1533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7024

[startup+3.10135 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1866544/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=9296 CPUtime=3.09
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 1838 0 0 0 305 4 0 0 25 0 1 0 313073292 9519104 1674 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 2324 1674 102 219 0 2101 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9296

[startup+6.30162 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1864048/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=10532 CPUtime=6.29
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 2344 0 0 0 623 6 0 0 25 0 1 0 313073292 10784768 2180 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 2633 2180 102 219 0 2410 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10532

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1861296/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=12988 CPUtime=12.69
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 2990 0 0 0 1257 12 0 0 25 0 1 0 313073292 13299712 2826 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 3247 2826 102 219 0 3024 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12988

[startup+25.5013 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1857520/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=18952 CPUtime=25.49
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 3938 0 0 0 2530 19 0 0 25 0 1 0 313073292 19406848 3774 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 4738 3774 102 219 0 4515 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18952

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1852720/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=22732 CPUtime=51.08
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 5265 0 0 0 5077 31 0 0 25 0 1 0 313073292 23277568 4908 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 5683 4908 102 219 0 5460 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22732

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1850672/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=24892 CPUtime=102.27
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 5770 0 0 0 10191 36 0 0 25 0 1 0 313073292 25489408 5413 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 6223 5413 102 219 0 6000 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24892

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1845040/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=36232 CPUtime=162.25
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 7202 0 0 0 16181 44 0 0 25 0 1 0 313073292 37101568 6845 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 9058 6845 102 219 0 8835 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36232

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1843120/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=38156 CPUtime=222.23
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 7647 0 0 0 22175 48 0 0 25 0 1 0 313073292 39071744 7290 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544300 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 9539 7290 102 219 0 9316 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 38156

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1842160/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=39088 CPUtime=282.22
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 7880 0 0 0 28172 50 0 0 25 0 1 0 313073292 40026112 7523 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 9772 7523 102 219 0 9549 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 39088

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1840368/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=41120 CPUtime=342.21
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 8328 0 0 0 34169 52 0 0 25 0 1 0 313073292 42106880 7971 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 10280 7971 102 219 0 10057 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 41120

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1839408/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=41844 CPUtime=402.2
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 8560 0 0 0 40166 54 0 0 25 0 1 0 313073292 42848256 8203 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 10461 8203 102 219 0 10238 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 41844

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1838896/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=42324 CPUtime=462.18
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 8678 0 0 0 46164 54 0 0 25 0 1 0 313073292 43339776 8321 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 10581 8321 102 219 0 10358 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 42324

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1837744/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=43472 CPUtime=522.17
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 8972 0 0 0 52160 57 0 0 25 0 1 0 313073292 44515328 8615 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 10868 8615 102 219 0 10645 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 43472

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1836720/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=45960 CPUtime=582.15
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 9609 0 0 0 58155 60 0 0 25 0 1 0 313073292 47063040 8867 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 11490 8867 102 219 0 11267 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 45960

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1834864/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=46776 CPUtime=642.14
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 10069 0 0 0 64149 65 0 0 25 0 1 0 313073292 47898624 9327 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557471 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 11694 9327 102 219 0 11471 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 46776


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1832240/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=49044 CPUtime=882.08
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 10678 0 0 0 88134 74 0 0 25 0 1 0 313073292 50221056 9936 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 12261 9936 102 219 0 12038 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 49044

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1831920/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=49280 CPUtime=942.06
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 10763 0 0 0 94130 76 0 0 25 0 1 0 313073292 50462720 10021 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 12320 10021 102 219 0 12097 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 49280

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1831408/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=49828 CPUtime=1002.05
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 10885 0 0 0 100127 78 0 0 25 0 1 0 313073292 51023872 10143 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 12457 10143 102 219 0 12234 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 49828

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1830704/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=50620 CPUtime=1062.04
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 11067 0 0 0 106124 80 0 0 25 0 1 0 313073292 51834880 10325 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 12655 10325 102 219 0 12432 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 50620

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1830448/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=50816 CPUtime=1122.02
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 11137 0 0 0 112120 82 0 0 25 0 1 0 313073292 52035584 10395 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 12704 10395 102 219 0 12481 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 50816

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1829872/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=51292 CPUtime=1182.01
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 11272 0 0 0 118117 84 0 0 25 0 1 0 313073292 52523008 10530 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 12823 10530 102 219 0 12600 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 51292

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1829296/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=51716 CPUtime=1241.99
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 11394 0 0 0 124111 88 0 0 25 0 1 0 313073292 52957184 10652 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 12929 10652 102 219 0 12706 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 51716

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1828912/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=52036 CPUtime=1301.98
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 11492 0 0 0 130108 90 0 0 25 0 1 0 313073292 53284864 10750 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 13009 10750 102 219 0 12786 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 52036

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1828528/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=52276 CPUtime=1361.97
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 11577 0 0 0 136105 92 0 0 25 0 1 0 313073292 53530624 10835 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 13069 10835 102 219 0 12846 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 52276

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1828144/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=52500 CPUtime=1421.96
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 11648 0 0 0 142103 93 0 0 25 0 1 0 313073292 53760000 10906 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 13125 10906 102 219 0 12902 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 52500

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1827696/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=52900 CPUtime=1481.94
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 11764 0 0 0 148099 95 0 0 25 0 1 0 313073292 54169600 11022 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 13225 11022 102 219 0 13002 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 52900

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27471
/proc/meminfo: memFree=1827184/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=53276 CPUtime=1541.92
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 11869 0 0 0 154093 99 0 0 25 0 1 0 313073292 54554624 11127 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 13319 11127 102 219 0 13096 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 53276

[startup+1602.3 s]
/proc/loadavg: 1.05 0.99 0.99 2/78 27471
/proc/meminfo: memFree=1826672/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=53992 CPUtime=1601.91
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 12003 0 0 0 160088 103 0 0 25 0 1 0 313073292 55287808 11261 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 13498 11261 102 219 0 13275 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 53992

[startup+1662.3 s]
/proc/loadavg: 1.13 1.02 1.00 2/78 27471
/proc/meminfo: memFree=1826288/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=57128 CPUtime=1661.89
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 12841 0 0 0 166084 105 0 0 25 0 1 0 313073292 58499072 11330 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 14282 11330 102 219 0 14059 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 57128

[startup+1722.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/78 27473
/proc/meminfo: memFree=1825328/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=58064 CPUtime=1721.88
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 13054 0 0 0 172079 109 0 0 25 0 1 0 313073292 59457536 11543 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 14516 11543 102 219 0 14293 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 58064

[startup+1782.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 27473
/proc/meminfo: memFree=1825008/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=58240 CPUtime=1781.87
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 13128 0 0 0 178076 111 0 0 25 0 1 0 313073292 59637760 11617 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544494 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 14560 11617 102 219 0 14337 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 58240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 27473
/proc/meminfo: memFree=1824816/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=58320 CPUtime=1800.06
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 13175 0 0 0 179893 113 0 0 25 0 1 0 313073292 59719680 11664 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 14580 11664 102 219 0 14357 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 58320

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.02 1.02 1.00 2/78 27473
/proc/meminfo: memFree=1824816/2055920 swapFree=4169412/4192956
[pid=27470] ppid=27468 vsize=58320 CPUtime=1800.06
/proc/27470/stat : 27470 (PBS4_SAT07v2) R 27468 27470 27048 0 -1 4194304 13175 0 0 0 179893 113 0 0 25 0 1 0 313073292 59719680 11664 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27470/statm: 14580 11664 102 219 0 14357 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 58320

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1798.94
CPU system time (s): 1.14682
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 58320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.14682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13178
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= 10
involuntary context switches= 1001

runsolver used 1.36579 second user time and 3.98939 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Tue May  8 19:13:34 UTC 2007

IDJOB= 459221
IDBENCH= 24992
IDSOLVER= 200
FILE ID= node41/459221-1178651614

PBS_JOBID= 5218394

Free space on /tmp= 66561 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  1b0ac127de7b79f6251c1506cbcbe6c3

RANDOM SEED= 833516894

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1872656 kB
Buffers:         21596 kB
Cached:          61504 kB
SwapCached:       2920 kB
Active:          57020 kB
Inactive:        49808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1872656 kB
SwapTotal:     4192956 kB
SwapFree:      4169412 kB
Dirty:            3132 kB
Writeback:           0 kB
Mapped:          31388 kB
Slab:            61736 kB
Committed_AS:  8580976 kB
PageTables:       2008 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= 66561 MiB

End job on node41 on Tue May  8 19:43:37 UTC 2007