Trace number 459220

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)141 1800.04 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
MD5SUM2aa6eb5ee09e1484657dfe3626167241
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark35.0187
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6148
Total number of constraints19000
Number of constraints which are clauses19000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 2987
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 2987
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2987
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	141

Conversion Script Data (download as text)

/tmp/evaluation/459220-1178651573/instance-459220-1178651573.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.92 3/77 4877
/proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=2188 CPUtime=0
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 332 0 0 0 0 0 0 0 18 0 1 0 341194933 2240512 314 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 547 315 84 219 0 324 0

[startup+0.0890749 s]
/proc/loadavg: 0.91 0.95 0.92 3/77 4877
/proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=2732 CPUtime=0.08
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 477 0 0 0 8 0 0 0 18 0 1 0 341194933 2797568 459 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 683 459 86 219 0 460 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2732

[startup+0.101076 s]
/proc/loadavg: 0.91 0.95 0.92 3/77 4877
/proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=2732 CPUtime=0.09
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 498 0 0 0 9 0 0 0 18 0 1 0 341194933 2797568 480 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 683 480 86 219 0 460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2732

[startup+0.301099 s]
/proc/loadavg: 0.91 0.95 0.92 3/77 4877
/proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=4396 CPUtime=0.29
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 922 0 0 0 29 0 0 0 19 0 1 0 341194933 4501504 758 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 1099 758 102 219 0 876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4396

[startup+0.701144 s]
/proc/loadavg: 0.91 0.95 0.92 3/77 4877
/proc/meminfo: memFree=1915952/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=4944 CPUtime=0.69
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 1114 0 0 0 68 1 0 0 22 0 1 0 341194933 5062656 950 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 1236 950 102 219 0 1013 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4944

[startup+1.50223 s]
/proc/loadavg: 0.91 0.95 0.92 2/78 4878
/proc/meminfo: memFree=1911912/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=6524 CPUtime=1.49
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 1374 0 0 0 148 1 0 0 25 0 1 0 341194933 6680576 1210 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 1631 1210 102 219 0 1408 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6524

[startup+3.10142 s]
/proc/loadavg: 0.92 0.95 0.92 2/78 4878
/proc/meminfo: memFree=1910568/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=9496 CPUtime=3.08
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 1864 0 0 0 306 2 0 0 25 0 1 0 341194933 9723904 1700 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 2374 1700 102 219 0 2151 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9496

[startup+6.30178 s]
/proc/loadavg: 0.92 0.95 0.92 2/78 4878
/proc/meminfo: memFree=1906920/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=11092 CPUtime=6.29
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 2548 0 0 0 623 6 0 0 25 0 1 0 341194933 11358208 2384 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 2773 2384 102 219 0 2550 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11092

[startup+12.7015 s]
/proc/loadavg: 0.93 0.96 0.92 2/78 4878
/proc/meminfo: memFree=1905448/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=11796 CPUtime=12.68
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 2787 0 0 0 1260 8 0 0 25 0 1 0 341194933 12079104 2623 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 2949 2623 102 219 0 2726 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11796

[startup+25.5019 s]
/proc/loadavg: 0.94 0.96 0.92 2/78 4878
/proc/meminfo: memFree=1904936/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=12224 CPUtime=25.49
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 2911 0 0 0 2539 10 0 0 25 0 1 0 341194933 12517376 2747 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 3056 2747 102 219 0 2833 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12224

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.92 2/78 4878
/proc/meminfo: memFree=1904488/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=12720 CPUtime=51.07
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 3034 0 0 0 5096 11 0 0 25 0 1 0 341194933 13025280 2870 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 3180 2870 102 219 0 2957 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 12720

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.92 2/78 4878
/proc/meminfo: memFree=1899496/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=19724 CPUtime=102.27
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 4469 0 0 0 10210 17 0 0 25 0 1 0 341194933 20197376 4112 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 4931 4112 102 219 0 4708 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19724

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1897640/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=21588 CPUtime=162.25
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 4932 0 0 0 16201 24 0 0 25 0 1 0 341194933 22106112 4575 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 5397 4575 102 219 0 5174 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21588

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1895848/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=22520 CPUtime=222.23
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 5353 0 0 0 22197 26 0 0 25 0 1 0 341194933 23060480 4996 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 5630 4996 102 219 0 5407 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22520

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1893992/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=23576 CPUtime=282.22
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 5819 0 0 0 28192 30 0 0 25 0 1 0 341194933 24141824 5462 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 5894 5462 102 219 0 5671 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23576

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1892520/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=25012 CPUtime=342.2
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 6184 0 0 0 34185 35 0 0 25 0 1 0 341194933 25612288 5827 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 6253 5827 102 219 0 6030 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 25012

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1891688/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=27232 CPUtime=402.19
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 6783 0 0 0 40180 39 0 0 25 0 1 0 341194933 27885568 6041 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 6808 6041 102 219 0 6585 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 27232

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1891048/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=27692 CPUtime=462.17
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 6934 0 0 0 46176 41 0 0 25 0 1 0 341194933 28356608 6192 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 6923 6192 102 219 0 6700 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 27692

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1890344/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=28204 CPUtime=522.15
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 7123 0 0 0 52171 44 0 0 25 0 1 0 341194933 28880896 6381 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 7051 6381 102 219 0 6828 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 28204

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1889768/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=28808 CPUtime=582.14
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 7258 0 0 0 58168 46 0 0 25 0 1 0 341194933 29499392 6516 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 7202 6516 102 219 0 6979 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 28808

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1889064/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=29364 CPUtime=642.12
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 7440 0 0 0 64162 50 0 0 25 0 1 0 341194933 30068736 6698 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 7341 6698 102 219 0 7118 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 29364


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1886824/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=31196 CPUtime=882.06
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 7973 0 0 0 88147 59 0 0 25 0 1 0 341194933 31944704 7231 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 7799 7231 102 219 0 7576 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 31196

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1886376/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=31336 CPUtime=942.04
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 8068 0 0 0 94143 61 0 0 25 0 1 0 341194933 32088064 7326 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 7834 7326 102 219 0 7611 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 31336

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 3/78 4878
/proc/meminfo: memFree=1885928/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=31744 CPUtime=1002.02
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 8186 0 0 0 100137 65 0 0 25 0 1 0 341194933 32505856 7444 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 7936 7444 102 219 0 7713 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 31744

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1885608/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=32020 CPUtime=1062.01
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 8259 0 0 0 106132 69 0 0 25 0 1 0 341194933 32788480 7517 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 8005 7517 102 219 0 7782 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 32020

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1885160/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=32392 CPUtime=1121.99
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 8377 0 0 0 112128 71 0 0 25 0 1 0 341194933 33169408 7635 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 8098 7635 102 219 0 7875 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 32392

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1884648/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=35908 CPUtime=1181.98
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9277 0 0 0 118122 76 0 0 25 0 1 0 341194933 36769792 7766 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 8977 7766 102 219 0 8754 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 35908

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1884200/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=36124 CPUtime=1241.96
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9359 0 0 0 124117 79 0 0 25 0 1 0 341194933 36990976 7848 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9031 7848 102 219 0 8808 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 36124

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1883688/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=36308 CPUtime=1301.95
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9474 0 0 0 130112 83 0 0 25 0 1 0 341194933 37179392 7963 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9077 7963 102 219 0 8854 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 36308

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 3/78 4878
/proc/meminfo: memFree=1883304/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=36680 CPUtime=1361.92
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9575 0 0 0 136107 85 0 0 25 0 1 0 341194933 37560320 8064 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9170 8064 102 219 0 8947 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 36680

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4878
/proc/meminfo: memFree=1882664/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=37320 CPUtime=1421.91
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9723 0 0 0 142104 87 0 0 25 0 1 0 341194933 38215680 8212 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9330 8212 102 219 0 9107 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 37320

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4880
/proc/meminfo: memFree=1882088/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=37692 CPUtime=1481.9
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9815 0 0 0 148099 91 0 0 25 0 1 0 341194933 38596608 8304 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9423 8304 102 219 0 9200 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 37692

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4880
/proc/meminfo: memFree=1881512/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=38292 CPUtime=1541.88
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 9959 0 0 0 154092 96 0 0 25 0 1 0 341194933 39211008 8448 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9573 8448 102 219 0 9350 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 38292

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4880
/proc/meminfo: memFree=1881256/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=38380 CPUtime=1601.87
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10030 0 0 0 160088 99 0 0 25 0 1 0 341194933 39301120 8519 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9595 8519 102 219 0 9372 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 38380

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4880
/proc/meminfo: memFree=1880872/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=38380 CPUtime=1661.85
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10113 0 0 0 166084 101 0 0 25 0 1 0 341194933 39301120 8602 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9595 8602 102 219 0 9372 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 38380

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 3/78 4880
/proc/meminfo: memFree=1880424/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=38900 CPUtime=1721.83
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10226 0 0 0 172078 105 0 0 25 0 1 0 341194933 39833600 8715 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9725 8715 102 219 0 9502 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 38900

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4880
/proc/meminfo: memFree=1880232/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=38900 CPUtime=1781.82
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10277 0 0 0 178074 108 0 0 25 0 1 0 341194933 39833600 8766 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9725 8766 102 219 0 9502 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 38900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 4880
/proc/meminfo: memFree=1880104/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=39192 CPUtime=1800.02
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10309 0 0 0 179893 109 0 0 25 0 1 0 341194933 40132608 8798 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9798 8798 102 219 0 9575 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 39192

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.97 0.92 2/78 4880
/proc/meminfo: memFree=1880104/2055920 swapFree=4145464/4192956
[pid=4877] ppid=4875 vsize=39192 CPUtime=1800.02
/proc/4877/stat : 4877 (PBS4_SAT07v2) R 4875 4877 4561 0 -1 4194304 10309 0 0 0 179893 109 0 0 25 0 1 0 341194933 40132608 8798 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4877/statm: 9798 8798 102 219 0 9575 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 39192

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1798.94
CPU system time (s): 1.10283
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 39192

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

runsolver used 1.37279 second user time and 3.90641 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue May  8 19:12:54 UTC 2007

IDJOB= 459220
IDBENCH= 24991
IDSOLVER= 200
FILE ID= node9/459220-1178651573

PBS_JOBID= 5217835

Free space on /tmp= 66562 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  2aa6eb5ee09e1484657dfe3626167241

RANDOM SEED= 18091303

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1916296 kB
Buffers:         23156 kB
Cached:          30636 kB
SwapCached:      15296 kB
Active:          48920 kB
Inactive:        27512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1916296 kB
SwapTotal:     4192956 kB
SwapFree:      4145464 kB
Dirty:            2808 kB
Writeback:           0 kB
Mapped:          29716 kB
Slab:            48672 kB
Committed_AS:  8877732 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node9 on Tue May  8 19:42:56 UTC 2007