Trace number 458509

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)524293 1800.03 1800.51

General information on the benchmark

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

Verifier Data (download as text)

OK	524293

Conversion Script Data (download as text)

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 18758
/proc/meminfo: memFree=1790056/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=2236 CPUtime=0
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 311205774 2289664 333 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 559 333 86 219 0 336 0

[startup+0.0520829 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 18758
/proc/meminfo: memFree=1790056/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=2540 CPUtime=0.04
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 444 0 0 0 4 0 0 0 18 0 1 0 311205774 2600960 426 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134586386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 635 426 86 219 0 412 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2540

[startup+0.101087 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 18758
/proc/meminfo: memFree=1790056/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=2540 CPUtime=0.09
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 444 0 0 0 9 0 0 0 18 0 1 0 311205774 2600960 426 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134586362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 635 426 86 219 0 412 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2540

[startup+0.301106 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 18758
/proc/meminfo: memFree=1790056/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=2912 CPUtime=0.29
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 535 0 0 0 29 0 0 0 19 0 1 0 311205774 2981888 517 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135023704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 728 517 86 219 0 505 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2912

[startup+0.701145 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 18758
/proc/meminfo: memFree=1790056/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=4232 CPUtime=0.69
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 852 0 0 0 69 0 0 0 23 0 1 0 311205774 4333568 834 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134586939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 1058 834 86 219 0 835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4232

[startup+1.50122 s]
/proc/loadavg: 0.92 0.98 0.99 2/84 18759
/proc/meminfo: memFree=1785696/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=8496 CPUtime=1.48
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 1921 0 0 0 148 0 0 0 25 0 1 0 311205774 8699904 1903 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134586945 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2124 1903 86 219 0 1901 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8496

[startup+3.10138 s]
/proc/loadavg: 0.92 0.98 0.99 2/84 18771
/proc/meminfo: memFree=1780768/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=10160 CPUtime=3.08
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2494 0 0 0 308 0 0 0 25 0 1 0 311205774 10403840 2320 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2540 2320 90 219 0 2317 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10160

[startup+6.30169 s]
/proc/loadavg: 0.93 0.98 0.99 2/84 18775
/proc/meminfo: memFree=1780768/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=10160 CPUtime=6.29
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2496 0 0 0 628 1 0 0 25 0 1 0 311205774 10403840 2322 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2540 2322 90 219 0 2317 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10160

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/84 18801
/proc/meminfo: memFree=1780712/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=10160 CPUtime=12.67
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2505 0 0 0 1266 1 0 0 25 0 1 0 311205774 10403840 2331 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2540 2331 90 219 0 2317 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 10160

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/84 18809
/proc/meminfo: memFree=1780840/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=10160 CPUtime=25.46
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2513 0 0 0 2545 1 0 0 25 0 1 0 311205774 10403840 2339 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2540 2339 90 219 0 2317 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 10160

[startup+51.102 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1781808/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=10160 CPUtime=51.04
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2534 0 0 0 5103 1 0 0 25 0 1 0 311205774 10403840 2360 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2540 2360 90 219 0 2317 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 10160

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1781872/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=10416 CPUtime=102.24
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2574 0 0 0 10222 2 0 0 25 0 1 0 311205774 10665984 2400 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2604 2400 90 219 0 2381 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 10416

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1781616/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=10928 CPUtime=162.21
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2626 0 0 0 16219 2 0 0 25 0 1 0 311205774 11190272 2452 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2732 2452 90 219 0 2509 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 10928

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1781360/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=10928 CPUtime=222.2
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2685 0 0 0 22217 3 0 0 25 0 1 0 311205774 11190272 2511 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2732 2511 90 219 0 2509 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 10928

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1781040/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=10928 CPUtime=282.18
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2747 0 0 0 28215 3 0 0 25 0 1 0 311205774 11190272 2573 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2732 2573 90 219 0 2509 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 10928

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1780784/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=11952 CPUtime=342.16
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2812 0 0 0 34213 3 0 0 25 0 1 0 311205774 12238848 2638 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2988 2638 90 219 0 2765 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 11952

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1780464/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=11952 CPUtime=402.15
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2883 0 0 0 40211 4 0 0 25 0 1 0 311205774 12238848 2709 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2988 2709 90 219 0 2765 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 11952

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1780272/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=11952 CPUtime=462.14
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 2934 0 0 0 46209 5 0 0 25 0 1 0 311205774 12238848 2760 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 2988 2760 90 219 0 2765 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 11952

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1780272/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=14000 CPUtime=522.12
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 3005 0 0 0 52207 5 0 0 25 0 1 0 311205774 14336000 2831 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 3500 2831 90 219 0 3277 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 14000

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1779760/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=14000 CPUtime=582.11
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 3121 0 0 0 58205 6 0 0 25 0 1 0 311205774 14336000 2947 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 3500 2947 90 219 0 3277 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 14000

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1779376/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=14000 CPUtime=642.09
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 3221 0 0 0 64203 6 0 0 25 0 1 0 311205774 14336000 3047 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 3500 3047 90 219 0 3277 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 14000


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1777776/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=882.04
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 3604 0 0 0 88195 9 0 0 25 0 1 0 311205774 18530304 3430 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545652 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 3430 90 219 0 4301 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 18096

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1777328/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=942.02
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 3723 0 0 0 94193 9 0 0 25 0 1 0 311205774 18530304 3549 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 3549 90 219 0 4301 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 18096

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1776816/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1002.01
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 3834 0 0 0 100191 10 0 0 25 0 1 0 311205774 18530304 3660 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 3660 90 219 0 4301 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 18096

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1776624/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1061.99
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 3905 0 0 0 106189 10 0 0 25 0 1 0 311205774 18530304 3731 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 3731 90 219 0 4301 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 18096

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1776368/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1121.98
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 3964 0 0 0 112187 11 0 0 25 0 1 0 311205774 18530304 3790 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 3790 90 219 0 4301 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 18096

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1776112/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1181.96
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4030 0 0 0 118185 11 0 0 25 0 1 0 311205774 18530304 3856 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 3856 90 219 0 4301 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 18096

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1775856/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1241.95
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4098 0 0 0 124183 12 0 0 25 0 1 0 311205774 18530304 3924 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 3924 90 219 0 4301 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 18096

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 18835
/proc/meminfo: memFree=1775600/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1301.93
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4156 0 0 0 130181 12 0 0 25 0 1 0 311205774 18530304 3982 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 3982 90 219 0 4301 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 18096

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1775344/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1361.92
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4221 0 0 0 136179 13 0 0 25 0 1 0 311205774 18530304 4047 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 4047 90 219 0 4301 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 18096

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18835
/proc/meminfo: memFree=1775088/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1421.9
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4281 0 0 0 142177 13 0 0 25 0 1 0 311205774 18530304 4107 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 4107 90 219 0 4301 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 18096

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 18835
/proc/meminfo: memFree=1774768/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1481.89
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4350 0 0 0 148175 14 0 0 25 0 1 0 311205774 18530304 4176 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545681 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 4176 90 219 0 4301 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 18096

[startup+1542.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 18835
/proc/meminfo: memFree=1774576/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1541.87
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4437 0 0 0 154172 15 0 0 25 0 1 0 311205774 18530304 4263 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 4263 90 219 0 4301 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 18096

[startup+1602.3 s]
/proc/loadavg: 1.05 1.03 1.00 3/78 18835
/proc/meminfo: memFree=1774256/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=18096 CPUtime=1601.85
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4513 0 0 0 160170 15 0 0 25 0 1 0 311205774 18530304 4339 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 4524 4339 90 219 0 4301 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 18096

[startup+1662.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 18835
/proc/meminfo: memFree=1773936/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=26288 CPUtime=1661.84
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4586 0 0 0 166168 16 0 0 25 0 1 0 311205774 26918912 4412 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 6572 4412 90 219 0 6349 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 26288

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 18835
/proc/meminfo: memFree=1773424/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=26288 CPUtime=1721.83
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4700 0 0 0 172166 17 0 0 25 0 1 0 311205774 26918912 4526 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545626 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 6572 4526 90 219 0 6349 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 26288

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 18835
/proc/meminfo: memFree=1773360/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=26288 CPUtime=1781.81
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4724 0 0 0 178164 17 0 0 25 0 1 0 311205774 26918912 4550 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 6572 4550 102 219 0 6349 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 26288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 18835
/proc/meminfo: memFree=1773360/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=26288 CPUtime=1800.01
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4724 0 0 0 179984 17 0 0 25 0 1 0 311205774 26918912 4550 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 6572 4550 102 219 0 6349 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 26288

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.01 1.00 2/78 18835
/proc/meminfo: memFree=1773360/2055920 swapFree=4147200/4192956
[pid=18758] ppid=18756 vsize=26288 CPUtime=1800.01
/proc/18758/stat : 18758 (PBS4_SAT07v2) R 18756 18758 18123 0 -1 4194304 4724 0 0 0 179984 17 0 0 25 0 1 0 311205774 26918912 4550 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18758/statm: 6572 4550 102 219 0 6349 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 26288

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.85
CPU system time (s): 0.179972
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 26288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4727
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= 12
involuntary context switches= 3328

runsolver used 1.50277 second user time and 3.77842 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Tue May  8 14:01:24 UTC 2007

IDJOB= 458509
IDBENCH= 1622
IDSOLVER= 200
FILE ID= node18/458509-1178632883

PBS_JOBID= 5217796

Free space on /tmp= 66560 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458509-1178632883/instance-458509-1178632883.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-458509-1178632883 -o ROOT/results/node18/conversion-458509-1178632883 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458509-1178632883/instance-458509-1178632883.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  5afe2e688387cc46a3d150d955d27ab1

RANDOM SEED= 322707529

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1790528 kB
Buffers:         35860 kB
Cached:         139764 kB
SwapCached:      14572 kB
Active:         101404 kB
Inactive:        98588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1790528 kB
SwapTotal:     4192956 kB
SwapFree:      4147200 kB
Dirty:            4368 kB
Writeback:           0 kB
Mapped:          31796 kB
Slab:            50580 kB
Committed_AS:  8685928 kB
PageTables:       2004 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= 66560 MiB

End job on node18 on Tue May  8 14:31:27 UTC 2007