Trace number 4485634

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
NaPS naps-1.03a6SAT (TO)1117782015 3600.11 3611.02

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUM9da0f014fb9cbd107dd1b5ea973ba0c7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1086940160
Best CPU time to get the best result obtained on this benchmark2471.28
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
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 

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

Verifier Data 

OK	1117782015

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (59977 MiB free)
  memory of node 1: 64465 MiB (59898 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485634-1751307048/watcher-4485634-1751307048 -o /tmp/evaluation-result-4485634-1751307048/solver-4485634-1751307048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751305074-43433 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4485634-1751307048.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=43834, runsolver pid=43831

[startup+0.100107 s]*
/proc/loadavg: 4.26 4.24 4.18 5/257 43838
/proc/meminfo: memFree=122751728/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=8496 memory=6684 CPUtime=0.08 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 1277 0 0 0 8 0 0 0 20 0 1 0 46384171 8699904 1671 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 2124 1671 544 696 0 1285 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 12688 KiB
Current children cumulated memory: 9628 KiB

[startup+0.213984 s]*
/proc/loadavg: 4.26 4.24 4.18 5/257 43838
/proc/meminfo: memFree=122756420/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=11208 memory=8988 CPUtime=0.19 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 1832 0 0 0 19 0 0 0 20 0 1 0 46384171 11476992 2247 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 2802 2247 544 696 0 1963 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 15400 KiB
Current children cumulated memory: 11932 KiB

[startup+0.313768 s]*
/proc/loadavg: 4.26 4.24 4.18 5/257 43838
/proc/meminfo: memFree=122752388/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=13452 memory=10908 CPUtime=0.29 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 2318 0 0 0 29 0 0 0 20 0 1 0 46384171 13774848 2727 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 3363 2727 544 696 0 2524 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 17644 KiB
Current children cumulated memory: 13852 KiB

[startup+0.700428 s]
/proc/loadavg: 4.26 4.24 4.18 5/256 43838
/proc/meminfo: memFree=122744324/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=20484 memory=17704 CPUtime=0.67 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 4052 0 0 0 65 2 0 0 20 0 1 0 46384171 20975616 4426 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 5121 4426 576 696 0 4282 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 24676 KiB
Current children cumulated memory: 20648 KiB

[startup+1.50043 s]
/proc/loadavg: 4.26 4.24 4.18 5/256 43838
/proc/meminfo: memFree=122744324/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=22648 memory=19768 CPUtime=1.47 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 4672 0 0 0 145 2 0 0 20 0 1 0 46384171 23191552 4942 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 5662 4942 576 696 0 4823 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 26840 KiB
Current children cumulated memory: 22712 KiB

[startup+3.11328 s]
/proc/loadavg: 4.24 4.24 4.18 5/256 43839
/proc/meminfo: memFree=122760148/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=36504 memory=33492 CPUtime=3.08 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 8235 0 0 0 305 3 0 0 20 0 1 0 46384171 37380096 8373 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 9126 8373 576 696 0 8287 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40696 KiB
Current children cumulated memory: 36436 KiB

[startup+6.30042 s]
/proc/loadavg: 4.24 4.24 4.18 5/256 43839
/proc/meminfo: memFree=122764196/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=62984 memory=59920 CPUtime=6.25 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 13615 0 0 0 621 4 0 0 20 0 1 0 46384171 64495616 14980 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 15746 14980 576 696 0 14907 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 67176 KiB
Current children cumulated memory: 62864 KiB

[startup+12.7005 s]
/proc/loadavg: 4.28 4.25 4.18 5/256 43839
/proc/meminfo: memFree=122724356/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=99472 memory=94244 CPUtime=12.63 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 19208 0 0 0 1258 5 0 0 20 0 1 0 46384171 101859328 23561 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 24868 23561 576 696 0 24029 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 103664 KiB
Current children cumulated memory: 97188 KiB

[startup+25.5005 s]
/proc/loadavg: 4.24 4.24 4.18 5/256 43839
/proc/meminfo: memFree=122567764/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=410208 memory=396624 CPUtime=25.4 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 87303 0 0 0 2522 18 0 0 20 0 1 0 46384171 420052992 99156 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 102552 99156 576 696 0 101713 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 414400 KiB
Current children cumulated memory: 399568 KiB

[startup+51.1136 s]
/proc/loadavg: 4.16 4.22 4.18 5/256 43839
/proc/meminfo: memFree=120164520/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=2983148 memory=2818028 CPUtime=50.94 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 260347 0 0 0 4994 100 0 0 20 0 1 0 46384171 3054743552 704507 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 745787 704507 608 696 0 744948 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2987340 KiB
Current children cumulated memory: 2820972 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/256 43842
/proc/meminfo: memFree=119838136/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=2965184 memory=2771192 CPUtime=101.97 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 306948 0 0 0 10016 181 0 0 20 0 1 0 46384171 3036348416 692798 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 741296 692798 640 696 0 740457 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2969376 KiB
Current children cumulated memory: 2774136 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.19 4.17 5/256 43844
/proc/meminfo: memFree=120108560/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=3018704 memory=2674720 CPUtime=161.79 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 328272 0 0 0 15917 262 0 0 20 0 1 0 46384171 3091152896 668680 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 754676 668680 640 696 0 753837 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 3022896 KiB
Current children cumulated memory: 2677664 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/256 43846
/proc/meminfo: memFree=120238820/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=2847548 memory=2553596 CPUtime=221.62 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 330643 0 0 0 21886 276 0 0 20 0 1 0 46384171 2915889152 638399 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 711887 638399 640 696 0 711048 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2851740 KiB

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

/proc/43838/statm: 795731 731378 640 696 0 794892 0
Current children cumulated CPU time: 3032.92 s
Current children cumulated vsize: 3187116 KiB
Current children cumulated memory: 2928456 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 44183
/proc/meminfo: memFree=117738128/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=3182924 memory=2925512 CPUtime=3092.76 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 406430 0 0 0 308760 516 0 0 20 0 1 0 46384171 3259314176 731378 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 795731 731378 640 696 0 794892 0
Current children cumulated CPU time: 3092.76 s
Current children cumulated vsize: 3187116 KiB
Current children cumulated memory: 2928456 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/253 44185
/proc/meminfo: memFree=115947700/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=3044516 memory=2787168 CPUtime=3152.6 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 407161 0 0 0 314744 516 0 0 20 0 1 0 46384171 3117584384 696792 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 761129 696792 640 696 0 760290 0
Current children cumulated CPU time: 3152.6 s
Current children cumulated vsize: 3048708 KiB
Current children cumulated memory: 2790112 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/253 44187
/proc/meminfo: memFree=111871496/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=3044516 memory=2787168 CPUtime=3212.45 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 407623 0 0 0 320729 516 0 0 20 0 1 0 46384171 3117584384 696792 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 761129 696792 640 696 0 760290 0
Current children cumulated CPU time: 3212.45 s
Current children cumulated vsize: 3048708 KiB
Current children cumulated memory: 2790112 KiB

[startup+3282.3 s]
/proc/loadavg: 4.64 4.25 4.14 5/253 44189
/proc/meminfo: memFree=108686352/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=2847236 memory=2589888 CPUtime=3272.3 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 408320 0 0 0 326713 517 0 0 20 0 1 0 46384171 2915569664 647472 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 711809 647472 640 696 0 710970 0
Current children cumulated CPU time: 3272.3 s
Current children cumulated vsize: 2851428 KiB
Current children cumulated memory: 2592832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.61 4.32 4.17 5/253 44191
/proc/meminfo: memFree=105418652/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=2847236 memory=2589888 CPUtime=3332.15 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 408910 0 0 0 332698 517 0 0 20 0 1 0 46384171 2915569664 647472 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 711809 647472 640 696 0 710970 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 2851428 KiB
Current children cumulated memory: 2592832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.83 4.43 4.22 5/254 44196
/proc/meminfo: memFree=101844368/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=2847236 memory=2591936 CPUtime=3391.99 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 409757 0 0 0 338682 517 0 0 20 0 1 0 46384171 2915569664 647984 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 711809 647984 640 696 0 710970 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 2851428 KiB
Current children cumulated memory: 2594880 KiB

[startup+3462.3 s]
/proc/loadavg: 4.51 4.43 4.23 5/254 44202
/proc/meminfo: memFree=94512584/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=3045368 memory=2789972 CPUtime=3451.83 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 411437 0 0 0 344662 521 0 0 20 0 1 0 46384171 3118456832 697493 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 761342 697493 640 696 0 760503 0
Current children cumulated CPU time: 3451.83 s
Current children cumulated vsize: 3049560 KiB
Current children cumulated memory: 2792916 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.36 4.22 5/254 44204
/proc/meminfo: memFree=89876140/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=3045368 memory=2789972 CPUtime=3511.65 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 411700 0 0 0 350644 521 0 0 20 0 1 0 46384171 3118456832 697493 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 761342 697493 640 696 0 760503 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 3049560 KiB
Current children cumulated memory: 2792916 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.32 4.21 5/254 44206
/proc/meminfo: memFree=89128028/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=2985644 memory=2646792 CPUtime=3571.46 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 412923 0 0 0 356624 522 0 0 20 0 1 0 46384171 3057299456 661698 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 746411 661698 640 696 0 745572 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 2989836 KiB
Current children cumulated memory: 2649736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.13 4.30 4.21 5/254 44206
/proc/meminfo: memFree=88462932/131382112 swapFree=33010684/33010684
[pid=43834] ppid=43831 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43834/stat : 43834 (naps-1.03a6.sh) S 43831 43834 43422 0 -1 4194304 232 202 0 0 0 0 0 0 20 0 1 0 46384169 4292608 736 18446744073709551615 94332152414208 94332153308741 140722374019088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332153547792 94332153595536 94332186296320 140722374023591 140722374023685 140722374023685 140722374029287 0
/proc/43834/statm: 1048 736 672 219 0 110 0
[pid=43838] ppid=43834 vsize=2847236 memory=2591936 CPUtime=3600.08 cores=4,6
/proc/43838/stat : 43838 (naps-1.03a6) R 43834 43834 43422 0 -1 4194304 417297 0 0 0 359473 535 0 0 20 0 1 0 46384171 2915569664 647984 18446744073709551615 4198400 7047149 140733939774512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32808960 140733939779956 140733939780070 140733939780070 140733939785673 0
/proc/43838/statm: 711809 647984 640 696 0 710970 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2851428 KiB
Current children cumulated memory: 2594880 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.02 s]
# the end of solver process 43834 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002894 s, system=0.007507 s
Sleeping 2 seconds

[startup+3611.02 s]
# the end of solver process 43838 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3594.75 s, system=5.36839 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3611.02
CPU time (s): 3600.11
CPU user time (s): 3594.75
CPU system time (s): 5.36839
CPU usage (%): 99.698
Max. virtual memory (cumulated for all children) (KiB): 3710576
Max. memory (cumulated for all children) (KiB): 3600612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.75
system time used= 5.36839
maximum resident set size= 3597668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417732
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= 448
involuntary context switches= 18921


# summary of solver processes directly reported to runsolver:
#   pid: 43834,43838
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3594.75
#   total CPU system time (s): 5.36839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.241 second user time and 37.957 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-30 20:10:48
IDJOB=4485634
IDBENCH=146805
IDSOLVER=3341
FILE ID=nodeC005/4485634-1751307048
RUNJOBID= nodeC005-1751305074-43433
SLURM_JOB_ID= 9594302
Free space on /tmp= 431020 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485634-1751307048/watcher-4485634-1751307048 -o /tmp/evaluation-result-4485634-1751307048/solver-4485634-1751307048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751305074-43433 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4485634-1751307048.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9da0f014fb9cbd107dd1b5ea973ba0c7
RANDOM SEED=637466530

nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.951
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.041
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.546
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.481
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.303
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.868
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.233
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.627
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        122753268 kB
MemAvailable:   125038936 kB
Buffers:            3280 kB
Cached:          3087316 kB
SwapCached:            0 kB
Active:          5112556 kB
Inactive:        2788000 kB
Active(anon):    4827920 kB
Inactive(anon):        0 kB
Active(file):     284636 kB
Inactive(file):  2788000 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6540 kB
Writeback:            20 kB
AnonPages:       4813032 kB
Mapped:           111348 kB
Shmem:             17960 kB
KReclaimable:     105316 kB
Slab:             189496 kB
SReclaimable:     105316 kB
SUnreclaim:        84180 kB
KernelStack:        4128 kB
PageTables:        12576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    5485960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3579904 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430988 MiB
End job on nodeC005 at 2025-06-30 21:10:59