Trace number 459730

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)-64 1800.07 1800.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_1.opb
MD5SUM7980660368cd371c40e33d6668082e41
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-64
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -64
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint48
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15716
Sum of products size (including duplicates)31432
Number of different products7858
Sum of products size15716

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

Verifier Data (download as text)

OK	-64

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459730-1178658939/instance-459730-1178658939.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-459730-1178658939 -o ROOT/results/node44/solver-459730-1178658939 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459730-1178658939/instance-459730-1178658939.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.94 0.99 0.99 3/77 22398
/proc/meminfo: memFree=1858632/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=2400 CPUtime=0
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 313805640 2457600 385 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134532580 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 600 385 84 219 0 377 0

[startup+0.056434 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 22398
/proc/meminfo: memFree=1858632/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=3592 CPUtime=0.05
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 674 0 0 0 5 0 0 0 18 0 1 0 313805640 3678208 656 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586495 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 898 656 86 219 0 675 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3592

[startup+0.101437 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 22398
/proc/meminfo: memFree=1858632/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=4120 CPUtime=0.09
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 840 0 0 0 9 0 0 0 18 0 1 0 313805640 4218880 822 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134798148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 1030 822 86 219 0 807 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4120

[startup+0.301458 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 22398
/proc/meminfo: memFree=1858632/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=6384 CPUtime=0.29
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 1497 0 0 0 29 0 0 0 19 0 1 0 313805640 6537216 1317 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 1596 1317 102 219 0 1373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6384

[startup+0.701498 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 22398
/proc/meminfo: memFree=1858632/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=10356 CPUtime=0.69
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 2296 0 0 0 68 1 0 0 23 0 1 0 313805640 10604544 2116 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134564371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 2589 2117 102 219 0 2366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10356

[startup+1.50158 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1848576/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=22644 CPUtime=1.49
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 3566 0 0 0 148 1 0 0 25 0 1 0 313805640 23187456 3386 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 5661 3386 102 219 0 5438 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22644

[startup+3.10175 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1841664/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=39028 CPUtime=3.09
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 5861 0 0 0 306 3 0 0 25 0 1 0 313805640 39964672 5681 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 9757 5681 102 219 0 9534 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39028

[startup+6.30107 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1826368/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=39836 CPUtime=6.29
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 9192 0 0 0 623 6 0 0 25 0 1 0 313805640 40792064 9012 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 9959 9012 102 219 0 9736 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39836

[startup+12.7017 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1808712/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=74712 CPUtime=12.69
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 12767 0 0 0 1261 8 0 0 25 0 1 0 313805640 76505088 12490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 18678 12490 102 219 0 18455 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74712

[startup+25.5011 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1804616/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=76472 CPUtime=25.48
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 13755 0 0 0 2538 10 0 0 25 0 1 0 313805640 78307328 13478 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134532461 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 19118 13478 102 219 0 18895 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76472

[startup+51.1017 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1800904/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=79188 CPUtime=51.08
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 14886 0 0 0 5094 14 0 0 25 0 1 0 313805640 81088512 14416 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 19797 14416 102 219 0 19574 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79188

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1796552/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=82624 CPUtime=102.27
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 16363 0 0 0 10207 20 0 0 25 0 1 0 313805640 84606976 15508 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 20656 15508 102 219 0 20433 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 82624

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1791752/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=87872 CPUtime=162.25
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 18263 0 0 0 16198 27 0 0 25 0 1 0 313805640 89980928 16639 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 21968 16639 102 219 0 21745 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 87872

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1789256/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=89404 CPUtime=222.23
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 18931 0 0 0 22190 33 0 0 25 0 1 0 313805640 91549696 17307 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 22351 17307 102 219 0 22128 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 89404

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1787080/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=90612 CPUtime=282.22
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 19466 0 0 0 28182 40 0 0 25 0 1 0 313805640 92786688 17842 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 22653 17842 102 219 0 22430 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 90612

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1784776/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=91760 CPUtime=342.2
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 20035 0 0 0 34173 47 0 0 25 0 1 0 313805640 93962240 18411 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 22940 18411 102 219 0 22717 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 91760

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1782600/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=99156 CPUtime=402.19
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 22096 0 0 0 40164 55 0 0 25 0 1 0 313805640 101535744 18935 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 24789 18935 102 219 0 24566 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 99156

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1780680/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=100284 CPUtime=462.18
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 22564 0 0 0 46156 62 0 0 25 0 1 0 313805640 102690816 19403 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 25071 19403 102 219 0 24848 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 100284

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1778824/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=101544 CPUtime=522.16
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 23021 0 0 0 52147 69 0 0 25 0 1 0 313805640 103981056 19860 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 25386 19860 102 219 0 25163 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 101544

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1776776/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=102472 CPUtime=582.14
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 23531 0 0 0 58137 77 0 0 25 0 1 0 313805640 104931328 20370 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 25618 20370 102 219 0 25395 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 102472

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1774984/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=103244 CPUtime=642.14
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 23969 0 0 0 64129 85 0 0 25 0 1 0 313805640 105721856 20808 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134548767 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 25811 20808 102 219 0 25588 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 103244


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1768264/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=118788 CPUtime=882.07
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 28687 0 0 0 88101 106 0 0 25 0 1 0 313805640 121638912 22453 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 29697 22453 102 219 0 29474 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 118788

[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1766792/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=119800 CPUtime=942.05
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 29054 0 0 0 94093 112 0 0 25 0 1 0 313805640 122675200 22820 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 29950 22820 102 219 0 29727 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 119800

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1765320/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=120776 CPUtime=1002.04
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 29409 0 0 0 100087 117 0 0 25 0 1 0 313805640 123674624 23175 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 30194 23175 102 219 0 29971 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 120776

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1763848/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=121812 CPUtime=1062.02
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 29771 0 0 0 106080 122 0 0 25 0 1 0 313805640 124735488 23537 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 30453 23537 102 219 0 30230 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 121812

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1762312/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=121812 CPUtime=1122.01
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 30133 0 0 0 112074 127 0 0 25 0 1 0 313805640 124735488 23899 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 30453 23899 102 219 0 30230 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 121812

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1760776/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=123072 CPUtime=1181.99
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 30515 0 0 0 118066 133 0 0 25 0 1 0 313805640 126025728 24281 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 30768 24281 102 219 0 30545 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 123072

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1759240/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=124336 CPUtime=1241.97
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 30872 0 0 0 124061 136 0 0 25 0 1 0 313805640 127320064 24638 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 31084 24638 102 219 0 30861 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 124336

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1757512/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=124624 CPUtime=1301.96
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 31271 0 0 0 130056 140 0 0 25 0 1 0 313805640 127614976 25037 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 31156 25037 102 219 0 30933 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 124624

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1756232/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=125864 CPUtime=1361.94
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 31590 0 0 0 136048 146 0 0 25 0 1 0 313805640 128884736 25356 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 31466 25356 102 219 0 31243 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 125864

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1754952/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=125864 CPUtime=1421.93
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 31899 0 0 0 142043 150 0 0 25 0 1 0 313805640 128884736 25665 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 31466 25665 102 219 0 31243 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 125864

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1753736/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=127184 CPUtime=1481.91
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 32210 0 0 0 148037 154 0 0 25 0 1 0 313805640 130236416 25976 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134548931 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 31796 25976 102 219 0 31573 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 127184

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1752456/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=127184 CPUtime=1541.9
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 32507 0 0 0 154032 158 0 0 25 0 1 0 313805640 130236416 26273 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134597531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 31796 26273 102 219 0 31573 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 127184

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22399
/proc/meminfo: memFree=1751176/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=128680 CPUtime=1601.88
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 32837 0 0 0 160025 163 0 0 25 0 1 0 313805640 131768320 26603 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 32170 26603 102 219 0 31947 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 128680

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22401
/proc/meminfo: memFree=1750024/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=128680 CPUtime=1661.86
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 33122 0 0 0 166019 167 0 0 25 0 1 0 313805640 131768320 26888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 32170 26888 102 219 0 31947 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 128680

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22401
/proc/meminfo: memFree=1748872/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=128680 CPUtime=1721.85
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 33418 0 0 0 172014 171 0 0 25 0 1 0 313805640 131768320 27184 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 32170 27184 102 219 0 31947 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 128680

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22401
/proc/meminfo: memFree=1747400/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=130328 CPUtime=1781.83
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 33748 0 0 0 178008 175 0 0 25 0 1 0 313805640 133455872 27514 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 32582 27514 102 219 0 32359 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 130328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22401
/proc/meminfo: memFree=1747080/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=130328 CPUtime=1800.03
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 33837 0 0 0 179826 177 0 0 25 0 1 0 313805640 133455872 27603 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 32582 27603 102 219 0 32359 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 130328

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22401
/proc/meminfo: memFree=1747080/2055920 swapFree=4155964/4192956
[pid=22398] ppid=22396 vsize=130328 CPUtime=1800.03
/proc/22398/stat : 22398 (PBS4_SAT07v2) R 22396 22398 21545 0 -1 4194304 33837 0 0 0 179826 177 0 0 25 0 1 0 313805640 133455872 27603 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22398/statm: 32582 27603 102 219 0 32359 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 130328

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1798.28
CPU system time (s): 1.79673
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 130328

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

runsolver used 1.54776 second user time and 4.24835 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Tue May  8 21:15:39 UTC 2007

IDJOB= 459730
IDBENCH= 48191
IDSOLVER= 200
FILE ID= node44/459730-1178658939

PBS_JOBID= 5218420

Free space on /tmp= 66558 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_1.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459730-1178658939/instance-459730-1178658939.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-459730-1178658939 -o ROOT/results/node44/conversion-459730-1178658939 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459730-1178658939/instance-459730-1178658939.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  7980660368cd371c40e33d6668082e41

RANDOM SEED= 962851708

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1858976 kB
Buffers:         23488 kB
Cached:          77900 kB
SwapCached:      12512 kB
Active:          66900 kB
Inactive:        57336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858976 kB
SwapTotal:     4192956 kB
SwapFree:      4155964 kB
Dirty:            2920 kB
Writeback:           0 kB
Mapped:          31384 kB
Slab:            58196 kB
Committed_AS:  4600924 kB
PageTables:       1736 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= 66557 MiB

End job on node44 on Tue May  8 21:45:42 UTC 2007