Trace number 459250

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)26 1800.07 1800.72

General information on the benchmark

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

Verifier Data (download as text)

OK	26

Conversion Script Data (download as text)

/tmp/evaluation/459250-1178652616/instance-459250-1178652616.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/node13/watcher-459250-1178652616 -o ROOT/results/node13/solver-459250-1178652616 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459250-1178652616/instance-459250-1178652616.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.88 0.97 0.99 3/77 28357
/proc/meminfo: memFree=1591704/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=1992 CPUtime=0
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 310 0 0 0 0 0 0 0 18 0 1 0 313179440 2039808 292 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 498 292 84 219 0 275 0

[startup+0.0913511 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 28357
/proc/meminfo: memFree=1591704/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=2660 CPUtime=0.08
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 543 0 0 0 8 0 0 0 18 0 1 0 313179440 2723840 476 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588793 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 665 476 86 219 0 442 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2660

[startup+0.101352 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 28357
/proc/meminfo: memFree=1591704/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=2916 CPUtime=0.09
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 561 0 0 0 9 0 0 0 18 0 1 0 313179440 2985984 494 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 729 494 86 219 0 506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2916

[startup+0.301395 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 28357
/proc/meminfo: memFree=1591704/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=4452 CPUtime=0.29
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 921 0 0 0 29 0 0 0 19 0 1 0 313179440 4558848 757 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 1113 757 90 219 0 890 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4452

[startup+0.70148 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 28357
/proc/meminfo: memFree=1591704/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=4720 CPUtime=0.69
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 1025 0 0 0 69 0 0 0 22 0 1 0 313179440 4833280 861 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 1180 861 90 219 0 957 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4720

[startup+1.50165 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1588304/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=5300 CPUtime=1.5
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 1187 0 0 0 149 1 0 0 25 0 1 0 313179440 5427200 1023 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545514 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 1325 1023 90 219 0 1102 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 5300

[startup+3.10199 s]
/proc/loadavg: 0.89 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1587600/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=6324 CPUtime=3.09
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 1291 0 0 0 308 1 0 0 25 0 1 0 313179440 6475776 1127 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 1581 1127 90 219 0 1358 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6324

[startup+6.30168 s]
/proc/loadavg: 0.89 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1586768/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=6484 CPUtime=6.29
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 1467 0 0 0 628 1 0 0 25 0 1 0 313179440 6639616 1303 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 1621 1303 90 219 0 1398 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6484

[startup+12.701 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1585168/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=9292 CPUtime=12.69
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 1863 0 0 0 1267 2 0 0 25 0 1 0 313179440 9515008 1699 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 2323 1699 90 219 0 2100 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9292

[startup+25.5018 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1579792/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=14468 CPUtime=25.48
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 3356 0 0 0 2538 10 0 0 25 0 1 0 313179440 14815232 2999 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 3617 2999 90 219 0 3394 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14468

[startup+51.1012 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1577616/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=20364 CPUtime=51.07
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 3913 0 0 0 5086 21 0 0 25 0 1 0 313179440 20852736 3556 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 5091 3556 90 219 0 4868 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20364

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1575184/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=23412 CPUtime=102.26
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 4903 0 0 0 10181 45 0 0 25 0 1 0 313179440 23973888 4161 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 5853 4161 90 219 0 5630 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23412

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1573136/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=24748 CPUtime=162.24
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 5411 0 0 0 16157 67 0 0 25 0 1 0 313179440 25341952 4669 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560669 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 6187 4669 102 219 0 5964 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24748

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1571280/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=25908 CPUtime=222.21
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 5865 0 0 0 22133 88 0 0 25 0 1 0 313179440 26529792 5123 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 6477 5123 102 219 0 6254 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 25908

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1569424/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=30320 CPUtime=282.19
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 7095 0 0 0 28108 111 0 0 25 0 1 0 313179440 31047680 5584 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 7580 5584 102 219 0 7357 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 30320

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1567832/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=31188 CPUtime=342.17
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 7503 0 0 0 34084 133 0 0 25 0 1 0 313179440 31936512 5992 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557022 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 7797 5992 102 219 0 7574 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 31188

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1565656/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=32220 CPUtime=402.15
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 8039 0 0 0 40061 154 0 0 25 0 1 0 313179440 32993280 6528 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 8055 6528 102 219 0 7832 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 32220

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1564120/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=33160 CPUtime=462.12
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 8421 0 0 0 46033 179 0 0 25 0 1 0 313179440 33955840 6910 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 8290 6910 102 219 0 8067 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 33160

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1562264/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=34844 CPUtime=522.11
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 8893 0 0 0 52011 200 0 0 25 0 1 0 313179440 35680256 7382 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 8711 7382 102 219 0 8488 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 34844

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1560728/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=41904 CPUtime=582.08
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 10820 0 0 0 57985 223 0 0 25 0 1 0 313179440 42909696 7772 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 10476 7772 102 219 0 10253 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 41904

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28358
/proc/meminfo: memFree=1559320/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=42620 CPUtime=642.06
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 11153 0 0 0 63961 245 0 0 25 0 1 0 313179440 43642880 8105 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 10655 8105 102 219 0 10432 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 42620


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1553688/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=46524 CPUtime=881.97
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 12591 0 0 0 87861 336 0 0 25 0 1 0 313179440 47640576 9543 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 11631 9543 102 219 0 11408 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 46524

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1552280/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=47476 CPUtime=941.95
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 12934 0 0 0 93836 359 0 0 25 0 1 0 313179440 48615424 9886 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 11869 9886 102 219 0 11646 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 47476

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1551000/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=47776 CPUtime=1001.92
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 13274 0 0 0 99808 384 0 0 25 0 1 0 313179440 48922624 10226 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 11944 10226 102 219 0 11721 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 47776

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1549848/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=48640 CPUtime=1061.91
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 13561 0 0 0 105785 406 0 0 25 0 1 0 313179440 49807360 10513 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134555544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 12160 10513 102 219 0 11937 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 48640

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1548504/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=49640 CPUtime=1121.88
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 13878 0 0 0 111764 424 0 0 25 0 1 0 313179440 50831360 10830 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 12410 10830 102 219 0 12187 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 49640

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1547416/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=50508 CPUtime=1181.87
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 14154 0 0 0 117741 446 0 0 25 0 1 0 313179440 51720192 11106 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 12627 11106 102 219 0 12404 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 50508

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1546136/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=62988 CPUtime=1241.84
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 17528 0 0 0 123717 467 0 0 25 0 1 0 313179440 64499712 11407 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544454 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 15747 11407 102 219 0 15524 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 62988

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1545048/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=63968 CPUtime=1301.82
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 17797 0 0 0 129696 486 0 0 25 0 1 0 313179440 65503232 11676 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 15992 11676 102 219 0 15769 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 63968

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1543832/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=64392 CPUtime=1361.79
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 18109 0 0 0 135673 506 0 0 25 0 1 0 313179440 65937408 11988 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 16098 11988 102 219 0 15875 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 64392

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1542872/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=65228 CPUtime=1421.78
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 18344 0 0 0 141650 528 0 0 25 0 1 0 313179440 66793472 12223 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 16307 12223 102 219 0 16084 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 65228

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1541848/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=66212 CPUtime=1481.75
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 18598 0 0 0 147629 546 0 0 25 0 1 0 313179440 67801088 12477 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544975 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 16553 12477 102 219 0 16330 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 66212

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1540568/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=66404 CPUtime=1541.73
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 18927 0 0 0 153606 567 0 0 25 0 1 0 313179440 67997696 12806 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 16601 12806 102 219 0 16378 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 66404

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1539544/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=66596 CPUtime=1601.71
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 19180 0 0 0 159584 587 0 0 25 0 1 0 313179440 68194304 13059 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 16649 13059 102 219 0 16426 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 66596

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1538584/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=67636 CPUtime=1661.68
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 19424 0 0 0 165563 605 0 0 25 0 1 0 313179440 69259264 13303 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 16909 13303 102 219 0 16686 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 67636

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1537560/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=67732 CPUtime=1721.66
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 19681 0 0 0 171541 625 0 0 25 0 1 0 313179440 69357568 13560 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 16933 13560 102 219 0 16710 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 67732

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1536536/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=68828 CPUtime=1781.64
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 19926 0 0 0 177521 643 0 0 25 0 1 0 313179440 70479872 13805 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 17207 13805 102 219 0 16984 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 68828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1536088/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=68988 CPUtime=1800.04
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 20042 0 0 0 179356 648 0 0 25 0 1 0 313179440 70643712 13921 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 17247 13921 102 219 0 17024 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 68988

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 28360
/proc/meminfo: memFree=1536088/2055920 swapFree=4159396/4192956
[pid=28357] ppid=28355 vsize=68988 CPUtime=1800.04
/proc/28357/stat : 28357 (PBS4_SAT07v2) R 28355 28357 28290 0 -1 4194304 20042 0 0 0 179356 648 0 0 25 0 1 0 313179440 70643712 13921 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28357/statm: 17247 13921 102 219 0 17024 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 68988

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.07
CPU user time (s): 1793.57
CPU system time (s): 6.49401
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 68988

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

runsolver used 1.43078 second user time and 4.14937 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Tue May  8 19:30:16 UTC 2007

IDJOB= 459250
IDBENCH= 25021
IDSOLVER= 200
FILE ID= node13/459250-1178652616

PBS_JOBID= 5218007

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/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459250-1178652616/instance-459250-1178652616.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-459250-1178652616 -o ROOT/results/node13/conversion-459250-1178652616 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459250-1178652616/instance-459250-1178652616.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  130be24ef6faf784c5a8bf386cbf11b2

RANDOM SEED= 559510807

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1592184 kB
Buffers:         45476 kB
Cached:         326300 kB
SwapCached:      12696 kB
Active:         179020 kB
Inactive:       215636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1592184 kB
SwapTotal:     4192956 kB
SwapFree:      4159396 kB
Dirty:            3008 kB
Writeback:           0 kB
Mapped:          29944 kB
Slab:            54496 kB
Committed_AS:  9711200 kB
PageTables:       1872 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 node13 on Tue May  8 20:00:19 UTC 2007