Trace number 459239

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
MD5SUM21fb64899a6dc4867ccfcbb30d44d536
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark206.965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables5537
Total number of constraints15855
Number of constraints which are clauses15855
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 2646
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 2646
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 2646
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/459239-1178652117/instance-459239-1178652117.opb ......
0.19/0.20	c done parsing opb.
0.19/0.20	o 144
0.19/0.21	o 143
0.19/0.24	o 142
3.29/3.35	o 141
42.28/42.30	o 140
51.37/51.41	o 139
751.10/751.31	o 138
756.29/756.51	o 137
941.24/941.56	o 136
946.04/946.32	o 135
984.53/984.84	o 134
1068.91/1069.22	o 133
1070.71/1071.08	o 132
1087.61/1087.91	o 131
1093.90/1094.24	o 130
1097.81/1098.16	o 129
1110.90/1111.26	o 128
1368.24/1368.64	o 127
1468.80/1469.27	o 126
1542.19/1542.63	o 125
1550.09/1550.53	o 124
1556.29/1556.79	o 123
1709.14/1709.67	o 122
1783.33/1783.85	o 121
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 -x1031
1800.02/1800.50	v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x104 -x1040 -x1041 x1042 x1043 -x1044 -x1045 -x1046 -x1047 x1048
1800.02/1800.50	v x1049 x105 -x1050 -x1051 -x1052 -x1053 x1054 x1055 x1056 -x1057 -x1058 -x1059 x106 -x1060 -x1061 x1062 x1063 -x1064 -x1065
1800.02/1800.50	v x1066 x1067 -x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x108 -x1080 -x1081
1800.02/1800.50	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1800.02/1800.50	v -x1099 x11 x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x111 -x1110 -x1111 -x1112 -x1113
1800.02/1800.50	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 x1128 -x1129 x113
1800.02/1800.50	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 x1138 -x1139 x114 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.02/1800.50	v -x1147 -x1148 -x1149 x115 x1150 x1151 x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x116 -x1160 -x1161 -x1162 -x1163
1800.02/1800.50	v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x118
1800.02/1800.50	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
1800.02/1800.50	v -x1197 -x1198 -x1199 x12 x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 x1208 -x1209 x121 -x1210 -x1211 -x1212
1800.02/1800.50	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1800.02/1800.50	v -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x124 x1240 -x1241 -x1242 -x1243 -x1244 -x1245
1800.02/1800.50	v -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261
1800.02/1800.50	v -x1262 x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 x1278
1800.02/1800.50	v -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x129 -x1290 -x1291 -x1292 -x1293 -x1294
1800.02/1800.50	v -x1295 -x1296 -x1297 -x1298 -x1299 x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131
1800.02/1800.50	v -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325
1800.02/1800.50	v -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 -x1332 x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341
1800.02/1800.50	v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358
1800.02/1800.50	v -x1359 x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x137 -x1370 -x1371 -x1372 -x1373 -x1374
1800.02/1800.50	v -x1375 -x1376 -x1377 -x1378 -x1379 x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390
1800.02/1800.50	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406
1800.02/1800.50	v -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x142 -x1420 -x1421 -x1422
1800.02/1800.50	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439
1800.02/1800.50	v x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1800.02/1800.50	v -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x147 -x1470 -x1471
1800.02/1800.50	v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
1800.02/1800.50	v -x1489 x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x15 x150 -x1500 -x1501 -x1502 -x1503
1800.02/1800.50	v x1504 x1505 -x1506 -x1507 -x1508 -x1509 x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x152
1800.02/1800.50	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 x1527 -x1528 -x1529 x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1800.02/1800.50	v -x1537 -x1538 -x1539 x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x155 -x1550 -x1551 -x1552
1800.02/1800.50	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
1800.02/1800.50	v -x1569 x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584
1800.02/1800.50	v -x1585 -x1586 -x1587 -x1588 -x1589 x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x16 x160
1800.02/1800.50	v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616
1800.02/1800.50	v -x1617 -x1618 -x1619 x162 x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x163 -x1630 -x1631 -x1632
1800.02/1800.50	v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649
1800.02/1800.50	v x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665
1800.02/1800.50	v -x1666 -x1667 -x1668 -x1669 x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x168 -x1680 -x1681
1800.02/1800.50	v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697
1800.02/1800.50	v -x1698 -x1699 -x17 x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x171 -x1710 -x1711 -x1712
1800.02/1800.50	v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729
1800.02/1800.50	v x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745
1800.02/1800.50	v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761
1800.02/1800.50	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
1800.02/1800.50	v -x1779 x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x179 -x1790 -x1791 -x1792 -x1793 -x1794
1800.02/1800.50	v -x1795 -x1796 -x1797 -x1798 -x1799 x18 x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x181
1800.02/1800.50	v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826
1800.02/1800.50	v -x1827 -x1828 -x1829 x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x184 -x1840 -x1841 -x1842
1800.02/1800.50	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859
1800.02/1800.50	v x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875
1800.02/1800.50	v -x1876 -x1877 -x1878 -x1879 x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x189 -x1890 -x1891
1800.02/1800.50	v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x19 x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
1800.02/1800.50	v -x1908 -x1909 x191 -x1910 -x1911 -x1912 x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923
1800.02/1800.50	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194
1800.02/1800.50	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
1800.02/1800.50	v -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 x1968 -x1969 x197 -x1970 -x1971 -x1972
1800.02/1800.50	v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989
1800.02/1800.50	v x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 x20 -x200 -x2000 -x2001 -x2002 x2003 x2004
1800.02/1800.50	v -x2005 -x2006 -x2007 -x2008 -x2009 x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 x202 -x2020
1800.02/1800.50	v -x2021 -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 -x207
1800.02/1800.50	v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086
1800.02/1800.50	v -x2087 -x2088 -x2089 x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x21 x210 -x2100 -x2101
1800.02/1800.50	v -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
1800.02/1800.50	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1800.02/1800.50	v x22 x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x221 -x2210 -x2211 -x2212 -x2213 x2214 x2215
1800.02/1800.50	v -x2216 -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 -x2249
1800.02/1800.50	v x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265
1800.02/1800.50	v -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x228 -x2280 -x2281
1800.02/1800.50	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298
1800.02/1800.50	v -x2299 -x23 x230 -x2300 -x2301 x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x231 x2310 x2311 x2312 x2313 x2314
1800.02/1800.50	v x2315 -x2316 -x2317 x2318 x2319 x232 x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x233 -x2330 -x2331
1800.02/1800.50	v -x2332 -x2333 x2334 x2335 -x2336 -x2337 -x2338 -x2339 x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 x2347 -x2348
1800.02/1800.50	v -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x236 -x2360 -x2361 -x2362 -x2363 -x2364
1800.02/1800.50	v -x2365 -x2366 -x2367 -x2368 -x2369 x237 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x238 -x2380
1800.02/1800.50	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397
1800.02/1800.50	v -x2398 -x2399 x24 x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x241 -x2410 -x2411 -x2412
1800.02/1800.50	v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429
1800.02/1800.50	v x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
1800.02/1800.50	v -x2446 -x2447 -x2448 -x2449 x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x246 -x2460 -x2461
1800.02/1800.50	v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478
1800.02/1800.50	v -x2479 x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x249 -x2490 -x2491 -x2492 -x2493 -x2494
1800.02/1800.50	v -x2495 -x2496 -x2497 -x2498 -x2499 x25 x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x251
1800.02/1800.50	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
1800.02/1800.50	v -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x254 -x2540 -x2541 -x2542
1800.02/1800.50	v -x2543 -x2544 -x2545 x2546 x2547 -x2548 -x2549 x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559
1800.02/1800.50	v -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575
1800.02/1800.50	v -x2576 -x2577 -x2578 -x2579 x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x259 x2590 x2591
1800.02/1800.50	v -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 x2599 x26 x260 x2600 -x2601 -x2602 x2603 x2604 -x2605 -x2606 -x2607 -x2608
1800.02/1800.50	v x2609 x261 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 x2618 -x2619 x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625
1800.02/1800.50	v -x2626 -x2627 -x2628 -x2629 x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x264 -x2640 -x2641
1800.02/1800.50	v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658
1800.02/1800.50	v -x2659 x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x267 -x2670 -x2671 -x2672 -x2673 -x2674
1800.02/1800.50	v -x2675 -x2676 -x2677 -x2678 -x2679 x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x269 -x2690
1800.02/1800.50	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 x27 x270 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706
1800.02/1800.50	v -x2707 -x2708 x2709 x271 x2710 x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x272 -x2720 -x2721 -x2722 -x2723
1800.02/1800.50	v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x274
1800.02/1800.50	v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x275 -x2750 -x2751 -x2752 x2753 x2754 -x2755 -x2756
1800.02/1800.50	v -x2757 -x2758 -x2759 x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x277 -x2770 -x2771 -x2772
1800.02/1800.50	v -x2773 -x2774 -x2775 -x2776 x2777 x2778 -x2779 x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 x2788 -x2789
1800.02/1800.50	v -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x28 x280 -x2800 -x2801 -x2802 -x2803 -x2804
1800.02/1800.50	v -x2805 -x2806 -x2807 -x2808 -x2809 x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x282 -x2820
1800.02/1800.50	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837
1800.02/1800.50	v -x2838 -x2839 x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x285 -x2850 -x2851 -x2852 -x2853
1800.02/1800.50	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x287
1800.02/1800.50	v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886
1800.02/1800.50	v -x2887 -x2888 -x2889 x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x29 x290 -x2900 -x2901
1800.02/1800.50	v -x2902 -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 -x2967
1800.02/1800.50	v -x2968 -x2969 x297 -x2970 -x2971 -x2972 x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x298 -x2980 -x2981 -x2982 -x2983
1800.02/1800.50	v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3
1800.02/1800.50	v x30 x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x301 -x3010 -x3011 -x3012 -x3013 -x3014
1800.02/1800.50	v -x3015 -x3016 -x3017 -x3018 -x3019 x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030
1800.02/1800.50	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046
1800.02/1800.50	v -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062
1800.02/1800.50	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078
1800.02/1800.50	v -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094
1800.02/1800.50	v -x3095 -x3096 -x3097 -x3098 -x3099 x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311
1800.02/1800.50	v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125
1800.02/1800.50	v -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141
1800.02/1800.50	v -x3142 -x3143 -x3144 -x3145 x3146 x3147 -x3148 -x3149 -x315 x3150 x3151 x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158
1800.02/1800.50	v -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174
1800.02/1800.50	v -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190
1800.02/1800.50	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x32 -x320 -x3200 -x3201 -x3202 -x3203 x3204 x3205 -x3206
1800.02/1800.50	v -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222
1800.02/1800.50	v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 x3231 x3232 x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239
1800.02/1800.50	v -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255
1800.02/1800.50	v -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271
1800.02/1800.50	v -x3272 -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 -x3447
1800.02/1800.50	v -x3448 -x3449 -x345 -x3450 x3451 x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463
1800.02/1800.50	v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 x3475 x3476 x3477 x3478 x3479 -x348
1800.02/1800.50	v x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496
1800.02/1800.50	v -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 x3505 x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511
1800.02/1800.50	v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527
1800.02/1800.50	v -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543
1800.02/1800.50	v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559
1800.02/1800.50	v -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575
1800.02/1800.50	v -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591
1800.02/1800.50	v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607
1800.02/1800.50	v -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623
1800.02/1800.50	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639
1800.02/1800.50	v -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655
1800.02/1800.50	v -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671
1800.02/1800.50	v -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687
1800.02/1800.50	v -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702
1800.02/1800.50	v -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718
1800.02/1800.50	v -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734
1800.02/1800.50	v -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750
1800.02/1800.50	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766
1800.02/1800.50	v -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782
1800.02/1800.50	v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798
1800.02/1800.50	v -x3799 x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813
1800.02/1800.50	v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829
1800.02/1800.50	v -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845
1800.02/1800.50	v -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861
1800.02/1800.50	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877
1800.02/1800.50	v -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893
1800.02/1800.50	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909
1800.02/1800.50	v -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925
1800.02/1800.50	v -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940 -x3941
1800.02/1800.50	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957
1800.02/1800.50	v -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970 -x3971 -x3972 -x3973
1800.02/1800.50	v -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989
1800.02/1800.50	v -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 x4 x40 -x400 -x4000 -x4001 -x4002 -x4003 -x4004
1800.02/1800.50	v -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020
1800.02/1800.50	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036
1800.02/1800.50	v -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052
1800.02/1800.50	v -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068
1800.02/1800.50	v -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082 -x4083 -x4084
1800.02/1800.50	v -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x41 -x410
1800.02/1800.50	v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115
1800.02/1800.50	v -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 -x4130 -x4131
1800.02/1800.50	v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 -x4144 x4145 x4146 -x4147 -x4148
1800.02/1800.50	v -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162 -x4163 -x4164
1800.02/1800.50	v -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 -x4180
1800.02/1800.50	v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196
1800.02/1800.50	v -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421 -x4210 -x4211
1800.02/1800.50	v -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227
1800.02/1800.50	v -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242 -x4243
1800.02/1800.50	v -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
1800.02/1800.50	v -x434 -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
1800.02/1800.50	v -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x44 -x440 -x4400 -x4401 -x4402
1800.02/1800.50	v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 -x4419
1800.02/1800.50	v -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 x4428 x4429 -x443 x4430 -x4431 -x4432 x4433 x4434 -x4435 -x4436
1800.02/1800.50	v -x4437 -x4438 x4439 -x444 x4440 x4441 x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451 -x4452
1800.02/1800.50	v -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468
1800.02/1800.50	v -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x448 -x4480 -x4481 -x4482 -x4483 -x4484
1800.02/1800.50	v -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 x45 -x450
1800.02/1800.50	v -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515
1800.02/1800.50	v -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531
1800.02/1800.50	v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547
1800.02/1800.50	v -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563
1800.02/1800.50	v -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 x457 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 x458
1800.02/1800.50	v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595
1800.02/1800.50	v -x4596 -x4597 -x4598 -x4599 x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 x4608 x4609 -x461 x4610 x4611
1800.02/1800.50	v -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627
1800.02/1800.50	v -x4628 -x4629 x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639 x464 x4640 -x4641 -x4642 -x4643
1800.02/1800.50	v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659
1800.02/1800.50	v -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670 -x4671 -x4672 x4673 x4674 -x4675
1800.02/1800.50	v -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x469 -x4690 -x4691
1800.02/1800.50	v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707
1800.02/1800.50	v -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723
1800.02/1800.50	v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739
1800.02/1800.50	v -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755
1800.02/1800.50	v -x4756 -x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x477 -x4770 -x4771
1800.02/1800.50	v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787
1800.02/1800.50	v -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 x48 -x480 -x4800 -x4801 -x4802
1800.02/1800.50	v -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818
1800.02/1800.50	v -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x483 -x4830 -x4831 -x4832 -x4833 -x4834
1800.02/1800.50	v -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850
1800.02/1800.50	v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866
1800.02/1800.50	v -x4867 -x4868 -x4869 -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882
1800.02/1800.50	v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898
1800.02/1800.50	v -x4899 x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 -x4910 -x4911 -x4912 -x4913
1800.02/1800.50	v -x4914 -x4915 -x4916 x4917 x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x493
1800.02/1800.50	v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945
1800.02/1800.50	v -x4946 -x4947 -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 x4956 -x4957 -x4958 -x4959 -x496 -x4960 -x4961
1800.02/1800.50	v -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977
1800.02/1800.50	v -x4978 -x4979 -x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x499 -x4990 -x4991 -x4992 -x4993
1800.02/1800.50	v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5 -x50 -x500 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008
1800.02/1800.50	v -x5009 -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 -x5021 -x5022 -x5023 -x5024
1800.02/1800.50	v -x5025 -x5026 -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040
1800.02/1800.50	v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056
1800.02/1800.50	v -x5057 -x5058 -x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 -x5070 -x5071 -x5072
1800.02/1800.50	v -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088
1800.02/1800.50	v -x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 x51 -x510 -x5100 -x5101 -x5102 -x5103
1800.02/1800.50	v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x511 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x512
1800.02/1800.50	v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135
1800.02/1800.50	v -x5136 -x5137 -x5138 -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151
1800.02/1800.50	v -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167
1800.02/1800.50	v -x5168 -x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183
1800.02/1800.50	v -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199
1800.02/1800.50	v x52 -x520 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214
1800.02/1800.50	v -x5215 -x5216 -x5217 -x5218 -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x523 -x5230
1800.02/1800.50	v -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247
1800.02/1800.50	v -x5248 -x5249 -x525 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263
1800.02/1800.50	v -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x527 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279
1800.02/1800.50	v -x528 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295
1800.02/1800.50	v -x5296 -x5297 -x5298 -x5299 x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310
1800.02/1800.50	v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326
1800.02/1800.50	v -x5327 -x5328 -x5329 -x533 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342
1800.02/1800.50	v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358
1800.02/1800.50	v -x5359 -x536 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374
1800.02/1800.50	v -x5375 -x5376 -x5377 -x5378 -x5379 -x538 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x539 -x5390
1800.02/1800.50	v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x54 -x540 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406
1800.02/1800.50	v -x5407 -x5408 -x5409 -x541 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422
1800.02/1800.50	v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x543 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438
1800.02/1800.50	v -x5439 -x544 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454
1800.02/1800.50	v -x5455 -x5456 -x5457 -x5458 -x5459 -x546 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470
1800.02/1800.50	v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x548 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486
1800.02/1800.50	v -x5487 -x5488 -x5489 -x549 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x55 -x550 -x5500 -x5501
1800.02/1800.50	v -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x551 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517
1800.02/1800.50	v -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x553 -x5530 -x5531 -x5532 -x5533
1800.02/1800.50	v -x5534 -x5535 -x5536 -x5537 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1800.02/1800.50	v x569 x57 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.02/1800.50	v -x589 x59 -x590 x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x6 x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1800.02/1800.50	v -x608 -x609 x61 -x610 -x611 -x612 -x613 -x614 x615 x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 x625 x626 -x627
1800.02/1800.50	v -x628 x629 x63 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.02/1800.50	v -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x66 -x660 -x661 x662 x663 -x664 -x665 -x666 -x667
1800.02/1800.50	v -x668 -x669 x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x68 x680 x681 -x682 -x683 -x684 -x685 -x686 -x687
1800.02/1800.50	v x688 x689 x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 x7 x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707
1800.02/1800.50	v -x708 -x709 x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726
1800.02/1800.50	v -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745
1800.02/1800.50	v -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764
1800.02/1800.50	v -x765 -x766 -x767 x768 x769 x77 -x770 -x771 x772 x773 -x774 -x775 -x776 -x777 x778 x779 x78 -x780 -x781 -x782 -x783 -x784 -x785
1800.02/1800.50	v -x786 -x787 -x788 -x789 x79 x790 x791 -x792 -x793 x794 x795 -x796 -x797 -x798 -x799 x8 -x80 -x800 -x801 x802 x803 -x804 -x805
1800.02/1800.50	v -x806 -x807 -x808 -x809 x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 x819 x82 -x820 -x821 -x822 -x823 -x824 -x825
1800.02/1800.50	v -x826 -x827 -x828 -x829 x83 -x830 -x831 -x832 -x833 -x834 -x835 x836 x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845
1800.02/1800.50	v -x846 -x847 -x848 -x849 x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 x859 x86 -x860 -x861 x862 x863 -x864 -x865
1800.02/1800.50	v -x866 -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 -x904
1800.02/1800.50	v -x905 -x906 -x907 -x908 -x909 x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920 -x921 -x922 -x923
1800.02/1800.50	v -x924 -x925 -x926 -x927 -x928 -x929 x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x94 -x940 -x941 -x942
1800.02/1800.50	v -x943 -x944 -x945 -x946 -x947 -x948 -x949 x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 x959 -x96 -x960 -x961 -x962
1800.02/1800.50	v -x963 -x964 -x965 -x966 -x967 -x968 -x969 x97 -x970 -x971 x972 x973 -x974 -x975 x976 x977 -x978 -x979 x98 -x980 -x981 -x982
1800.02/1800.50	v -x983 x984 x985 -x986 -x987 -x988 -x989 x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	121

Conversion Script Data (download as text)

/tmp/evaluation/459239-1178652117/instance-459239-1178652117.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/node21/watcher-459239-1178652117 -o ROOT/results/node21/solver-459239-1178652117 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459239-1178652117/instance-459239-1178652117.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: 1.00 1.00 1.00 3/77 10371
/proc/meminfo: memFree=1930296/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=2128 CPUtime=0
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 312 0 0 0 0 0 0 0 18 0 1 0 313128986 2179072 294 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134530021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 532 294 84 219 0 309 0

[startup+0.0135921 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10371
/proc/meminfo: memFree=1930296/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=2260 CPUtime=0.01
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 347 0 0 0 1 0 0 0 18 0 1 0 313128986 2314240 329 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134586368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 565 329 86 219 0 342 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2260

[startup+0.101601 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10371
/proc/meminfo: memFree=1930296/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=2788 CPUtime=0.09
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 504 0 0 0 9 0 0 0 18 0 1 0 313128986 2854912 486 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 697 486 86 219 0 474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2788

[startup+0.301623 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10371
/proc/meminfo: memFree=1930296/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=3500 CPUtime=0.29
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 775 0 0 0 28 1 0 0 19 0 1 0 313128986 3584000 708 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 875 708 102 219 0 652 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3500

[startup+0.701667 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10371
/proc/meminfo: memFree=1930296/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=3804 CPUtime=0.69
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 834 0 0 0 68 1 0 0 22 0 1 0 313128986 3895296 767 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 951 767 102 219 0 728 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3804

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1927472/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=4124 CPUtime=1.49
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 885 0 0 0 147 2 0 0 25 0 1 0 313128986 4222976 818 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 1031 818 102 219 0 808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4124

[startup+3.10193 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1927088/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=5260 CPUtime=3.09
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 1045 0 0 0 307 2 0 0 25 0 1 0 313128986 5386240 978 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 1315 978 102 219 0 1092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5260

[startup+6.30128 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1925616/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=7108 CPUtime=6.29
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 1408 0 0 0 626 3 0 0 25 0 1 0 313128986 7278592 1244 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 1777 1244 102 219 0 1554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7108

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1924224/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=9156 CPUtime=12.69
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 1737 0 0 0 1265 4 0 0 25 0 1 0 313128986 9375744 1573 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 2289 1573 102 219 0 2066 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9156

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1921344/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=13392 CPUtime=25.49
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 2436 0 0 0 2544 5 0 0 25 0 1 0 313128986 13713408 2272 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 3348 2272 102 219 0 3125 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13392

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1915584/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=22992 CPUtime=51.07
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 3902 0 0 0 5099 8 0 0 25 0 1 0 313128986 23543808 3738 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 5748 3738 102 219 0 5525 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22992

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1911488/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=25016 CPUtime=102.27
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 4882 0 0 0 10214 13 0 0 25 0 1 0 313128986 25616384 4718 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 6254 4718 102 219 0 6031 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25016

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1910464/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=26584 CPUtime=162.25
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 5279 0 0 0 16208 17 0 0 25 0 1 0 313128986 27222016 4922 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 6646 4922 102 219 0 6423 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26584

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1909632/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=27436 CPUtime=222.24
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 5524 0 0 0 22202 22 0 0 25 0 1 0 313128986 28094464 5167 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 6859 5167 102 219 0 6636 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 27436

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1908864/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=27996 CPUtime=282.22
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 5690 0 0 0 28198 24 0 0 25 0 1 0 313128986 28667904 5333 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 6999 5333 102 219 0 6776 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 27996

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1907968/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=28952 CPUtime=342.21
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 5920 0 0 0 34193 28 0 0 25 0 1 0 313128986 29646848 5563 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 7238 5563 102 219 0 7015 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 28952

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1906944/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=29820 CPUtime=402.19
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 6160 0 0 0 40188 31 0 0 25 0 1 0 313128986 30535680 5803 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 7455 5803 102 219 0 7232 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 29820

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1906432/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=30224 CPUtime=462.17
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 6270 0 0 0 46185 32 0 0 25 0 1 0 313128986 30949376 5913 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 7556 5913 102 219 0 7333 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 30224

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1905856/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=30676 CPUtime=522.16
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 6378 0 0 0 52182 34 0 0 25 0 1 0 313128986 31412224 6021 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 7669 6021 102 219 0 7446 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 30676

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1905408/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=30948 CPUtime=582.14
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 6488 0 0 0 58178 36 0 0 25 0 1 0 313128986 31690752 6131 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 7737 6131 102 219 0 7514 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 30948

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1904960/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=31204 CPUtime=642.12
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 6585 0 0 0 64174 38 0 0 25 0 1 0 313128986 31952896 6228 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 7801 6228 102 219 0 7578 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 31204


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1903040/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=34076 CPUtime=882.06
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 7369 0 0 0 88154 52 0 0 25 0 1 0 313128986 34893824 6627 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 8519 6627 102 219 0 8296 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 34076

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1902400/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=34492 CPUtime=942.05
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 7517 0 0 0 94147 58 0 0 25 0 1 0 313128986 35319808 6775 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 8623 6775 102 219 0 8400 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 34492

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1901824/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=35004 CPUtime=1002.03
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 7637 0 0 0 100141 62 0 0 25 0 1 0 313128986 35844096 6895 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 8751 6895 102 219 0 8528 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 35004

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1901568/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=35004 CPUtime=1062.02
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 7678 0 0 0 106138 64 0 0 25 0 1 0 313128986 35844096 6936 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 8751 6936 102 219 0 8528 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 35004

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1900736/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=35744 CPUtime=1121.99
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 7872 0 0 0 112129 70 0 0 25 0 1 0 313128986 36601856 7130 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 8936 7130 102 219 0 8713 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 35744

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10372
/proc/meminfo: memFree=1900352/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=36016 CPUtime=1181.98
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 7953 0 0 0 118124 74 0 0 25 0 1 0 313128986 36880384 7211 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 9004 7211 102 219 0 8781 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 36016

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1899520/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=36296 CPUtime=1241.97
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 8086 0 0 0 124118 79 0 0 25 0 1 0 313128986 37167104 7344 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 9074 7344 102 219 0 8851 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 36296

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1899264/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=36588 CPUtime=1301.96
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 8160 0 0 0 130113 83 0 0 25 0 1 0 313128986 37466112 7418 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 9147 7418 102 219 0 8924 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 36588

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1899008/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=36688 CPUtime=1361.94
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 8218 0 0 0 136109 85 0 0 25 0 1 0 313128986 37568512 7476 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 9172 7476 102 219 0 8949 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 36688

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1898624/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=37016 CPUtime=1421.92
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 8304 0 0 0 142103 89 0 0 25 0 1 0 313128986 37904384 7562 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 9254 7562 102 219 0 9031 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 37016

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1898240/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=37316 CPUtime=1481.9
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 8385 0 0 0 148097 93 0 0 25 0 1 0 313128986 38211584 7643 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 9329 7643 102 219 0 9106 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 37316

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1897920/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=37540 CPUtime=1541.89
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 8474 0 0 0 154092 97 0 0 25 0 1 0 313128986 38440960 7732 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 9385 7732 102 219 0 9162 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 37540

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1897280/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=41048 CPUtime=1601.87
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 9346 0 0 0 160086 101 0 0 25 0 1 0 313128986 42033152 7835 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 10262 7835 102 219 0 10039 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 41048

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1897088/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=41048 CPUtime=1661.86
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 9414 0 0 0 166080 106 0 0 25 0 1 0 313128986 42033152 7903 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 10262 7903 102 219 0 10039 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 41048

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1896832/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=41156 CPUtime=1721.84
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 9453 0 0 0 172076 108 0 0 25 0 1 0 313128986 42143744 7942 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 10289 7942 102 219 0 10066 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 41156

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1896256/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=41684 CPUtime=1781.83
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 9549 0 0 0 178071 112 0 0 25 0 1 0 313128986 42684416 8038 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 10421 8038 102 219 0 10198 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 41684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1896192/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=41684 CPUtime=1800.02
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 9566 0 0 0 179890 112 0 0 25 0 1 0 313128986 42684416 8055 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 10421 8055 102 219 0 10198 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 41684

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10374
/proc/meminfo: memFree=1896192/2055920 swapFree=4156340/4192956
[pid=10371] ppid=10369 vsize=41684 CPUtime=1800.02
/proc/10371/stat : 10371 (PBS4_SAT07v2) R 10369 10371 10003 0 -1 4194304 9566 0 0 0 179890 112 0 0 25 0 1 0 313128986 42684416 8055 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10371/statm: 10421 8055 102 219 0 10198 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 41684

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1798.91
CPU system time (s): 1.13183
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 41684

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

runsolver used 1.42078 second user time and 3.9634 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Tue May  8 19:21:57 UTC 2007

IDJOB= 459239
IDBENCH= 25010
IDSOLVER= 200
FILE ID= node21/459239-1178652117

PBS_JOBID= 5217837

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/aksoy/area_delay/normalized-fir06_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459239-1178652117/instance-459239-1178652117.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node21/convwatcher-459239-1178652117 -o ROOT/results/node21/conversion-459239-1178652117 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459239-1178652117/instance-459239-1178652117.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  21fb64899a6dc4867ccfcbb30d44d536

RANDOM SEED= 528659925

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1930704 kB
Buffers:         16568 kB
Cached:          29540 kB
SwapCached:      14820 kB
Active:          48300 kB
Inactive:        20492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1930704 kB
SwapTotal:     4192956 kB
SwapFree:      4156340 kB
Dirty:            2744 kB
Writeback:           0 kB
Mapped:          29920 kB
Slab:            41948 kB
Committed_AS:  5041272 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 node21 on Tue May  8 19:51:59 UTC 2007