0.00/0.00	c NaPS 1.02b.
1800.08/1800.40	o 3269
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED *** by signal 15
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	c _____________________________________________________________________________
1800.08/1800.40	c 
1800.08/1800.40	c std/band forms        : 5739,0
1800.08/1800.40	c 2cl/3cl ITE-codings   : 0,0
1800.08/1800.40	c BDD/srt/adr Max costs : 2,686175,0
1800.08/1800.40	c BDDraw/bin/mul/srt/adr: 5738,0,0,1,0
1800.08/1800.40	c BDD nodes             : 17214
1800.08/1800.40	c Es1/CC detections     : 0,0
1800.08/1800.40	c SAT/UNSAT calls       : 1,0
1800.08/1800.40	c restarts              : 1
1800.08/1800.40	c conflicts             : 0              (0 /sec)
1800.08/1800.40	c decisions             : 2562           (1 /sec)
1800.08/1800.40	c propagations          : 12029          (7 /sec)
1800.08/1800.40	c inspects              : 0              (0 /sec)
1800.08/1800.40	c CPU time (solving tm) : 1800 s        (0.026 s)
1800.08/1800.40	c Time for Opt-base     : 0.127 s
1800.08/1800.40	c _____________________________________________________________________________
1800.08/1800.40	v -x554 -x1 -x280 -x555 -x306 -x556 -x312 -x557 -x343 -x558 -x355 -x559 -x358 -x560 -x374 -x561 -x377 -x562 -x2 -x282 -x563 -x284 -x564 -x296 -x565 -x310 -x566 -x567 -x568 -x344 -x569 -x350 -x570 -x571 -x572 -x363 -x573 -x369 -x574 -x376 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x392 -x584 -x395 -x585 -x479 -x586 -x482 -x587 -x588 -x527 -x589 -x538 -x590 -x4 -x591 -x592 -x593 -x594 -x595 -x361 -x596 -x597 -x598 -x599 -x600 -x530 -x601 -x545 -x602 -x5 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x380 -x611 -x387 -x612 -x394 -x613 -x614 -x398 -x615 -x616 -x617 -x618 -x6 -x619 -x620 -x347 -x621 -x354 -x622 -x623 -x624 -x625 -x626 -x627 -x443 -x628 -x517 -x629 -x520 -x630 -x7 -x366 -x631 -x632 -x373 -x633 -x634 -x635 -x384 -x636 -x637 -x391 -x638 -x639 -x640 -x435 -x641 -x442 -x642 -x643 -x478 -x644 -x519 -x645 -x646 -x8 -x647 -x648 -x649 -x322 -x650 -x335 -x651 -x338 -x652 -x653 -x654 -x352 -x655 -x362 -x656 -x409 -x657 -x412 -x658 -x659 -x660 -x500 -x661 -x503 -x662 -x663 -x546 -x664 -x9 -x665 -x666 -x667 -x668 -x669 -x323 -x670 -x324 -x671 -x330 -x672 -x337 -x673 -x674 -x364 -x675 -x676 -x371 -x677 -x381 -x678 -x382 -x679 -x680 -x389 -x681 -x399 -x682 -x404 -x683 -x411 -x684 -x685 -x686 -x481 -x687 -x688 -x486 -x689 -x502 -x690 -x691 -x692 -x693 -x10 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x346 -x701 -x702 -x703 -x704 -x705 -x425 -x706 -x428 -x707 -x708 -x709 -x710 -x711 -x11 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x365 -x723 -x724 -x725 -x383 -x726 -x727 -x728 -x729 -x730 -x731 -x420 -x732 -x427 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x12 -x741 -x281 -x742 -x743 -x307 -x744 -x745 -x313 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x13 -x759 -x283 -x760 -x761 -x285 -x762 -x763 -x297 -x764 -x765 -x311 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x356 -x785 -x359 -x786 -x787 -x788 -x525 -x789 -x790 -x528 -x791 -x533 -x792 -x543 -x793 -x15 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x375 -x801 -x378 -x802 -x803 -x804 -x393 -x805 -x396 -x806 -x807 -x808 -x809 -x810 -x480 -x811 -x483 -x812 -x813 -x814 -x532 -x815 -x816 -x539 -x817 -x818 -x16 -x819 -x820 -x821 -x360 -x822 -x823 -x824 -x825 -x826 -x827 -x529 -x828 -x829 -x544 -x830 -x17 -x831 -x832 -x833 -x379 -x834 -x835 -x836 -x837 -x838 -x839 -x397 -x840 -x841 -x842 -x484 -x843 -x844 -x845 -x846 -x540 -x847 -x848 -x849 -x18 -x850 -x851 -x852 -x853 -x854 -x348 -x855 -x349 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x454 -x864 -x457 -x865 -x467 -x866 -x470 -x867 -x868 -x869 -x870 -x871 -x872 -x19 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x367 -x880 -x368 -x881 -x882 -x883 -x884 -x885 -x886 -x385 -x887 -x386 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x449 -x898 -x456 -x899 -x900 -x462 -x901 -x469 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x20 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x21 -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 -x24 -x353 -x960 -x961 -x962 -x509 -x963 -x512 -x964 -x25 -x965 -x966 -x967 -x968 -x969 -x372 -x970 -x390 -x971 -x972 -x511 -x973 -x974 -x26 -x975 -x976 -x977 -x27 -x978 -x979 -x980 -x981 -x982 -x28 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x29 -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 -x30 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x31 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x32 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x33 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x34 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x35 -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 -x36 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x37 -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 -x38 -x1200 -x1201 -x351 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x490 -x1210 -x493 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x370 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x388 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x475 -x1239 -x1240 -x1241 -x1242 -x492 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x40 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x41 -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 -x42 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x43 -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 -x44 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x45 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x46 -x1358 -x1359 -x318 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x47 -x1366 -x1367 -x290 -x1368 -x304 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x48 -x277 -x1377 -x1378 -x1379 -x286 -x1380 -x1381 -x300 -x1382 -x320 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x49 -x1394 -x1395 -x1396 -x1397 -x288 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x50 -x279 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x51 -x1425 -x1426 -x1427 -x308 -x1428 -x314 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x52 -x1440 -x1441 -x1442 -x316 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x53 -x1452 -x1453 -x1454 -x292 -x1455 -x294 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x54 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x55 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x56 -x1497 -x302 -x1498 -x1499 -x1500 -x1501 -x57 -x1502 -x1503 -x1504 -x58 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x59 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x60 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x61 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x62 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x63 -x1589 -x1590 -x1591 -x298 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x64 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x65 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x66 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x67 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x446 -x1660 -x523 -x1661 -x68 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x341 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x415 -x1681 -x1682 -x506 -x1683 -x1684 -x69 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x431 -x1698 -x1699 -x70 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x319 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x71 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x536 -x1733 -x548 -x1734 -x72 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x550 -x1749 -x73 -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 -x460 -x1777 -x473 -x1778 -x1779 -x1780 -x1781 -x74 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x75 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x515 -x1815 -x77 -x1816 -x1817 -x1818 -x1819 -x78 -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 -x80 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x81 -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 -x1900 -x1901 -x1902 -x82 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x83 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x496 -x1954 -x1955 -x1956 -x1957 -x84 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x85 -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 -x327 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x401 -x2025 -x408 -x2026 -x2027 -x2028 -x2029 -x2030 -x499 -x2031 -x2032 -x88 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x417 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x89 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x305 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x90 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x439 -x2088 -x2089 -x441 -x2090 -x444 -x2091 -x2092 -x518 -x2093 -x521 -x2094 -x91 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x445 -x2106 -x2107 -x2108 -x522 -x2109 -x92 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x433 -x2132 -x434 -x2133 -x2134 -x2135 -x2136 -x453 -x2137 -x466 -x2138 -x2139 -x2140 -x2141 -x93 -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 -x95 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x438 -x2176 -x508 -x2177 -x96 -x2178 -x2179 -x2180 -x2181 -x97 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x98 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x99 -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
1800.08/1800.40	v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x102 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x436 -x2310 -x2311 -x2312 -x2313 -x2314 -x489 -x2315 -x2316 -x2317 -x2318 -x103 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x104 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x105 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x106 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x325 -x2372 -x326 -x2373 -x2374 -x2375 -x342 -x2376 -x2377 -x2378 -x2379 -x2380 -x400 -x2381 -x406 -x2382 -x2383 -x2384 -x422 -x2385 -x432 -x2386 -x2387 -x2388 -x2389 -x507 -x2390 -x2391 -x107 -x2392 -x278 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x301 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x332 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x108 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x339 -x2430 -x2431 -x2432 -x2433 -x410 -x2434 -x413 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x501 -x2443 -x504 -x2444 -x2445 -x537 -x2446 -x549 -x2447 -x109 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x340 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x414 -x2462 -x2463 -x2464 -x2465 -x2466 -x505 -x2467 -x2468 -x2469 -x551 -x2470 -x110 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x328 -x2480 -x329 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x402 -x2489 -x403 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x451 -x2501 -x461 -x2502 -x2503 -x464 -x2504 -x474 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x111 -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 -x113 -x2556 -x2557 -x2558 -x333 -x2559 -x2560 -x2561 -x2562 -x2563 -x407 -x2564 -x2565 -x498 -x2566 -x2567 -x114 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x115 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x116 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x117 -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 -x118 -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 -x119 -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 -x120 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x331 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x405 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x487 -x2760 -x497 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x121 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x122 -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 -x123 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x124 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x289 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x125 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x426 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x126 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x430 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x127 -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 -x418 -x2952 -x419 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x128 -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 -x129 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x130 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x423 -x3015 -x3016 -x3017 -x131 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x132 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x133 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x134 -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 -x135 -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 -x136 -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 -x137 -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 -x421 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x138 -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 -x139 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x140 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x141 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x309 -x3294 -x3295 -x315 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x142 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x317 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x143 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x293 -x3344 -x3345 -x295 -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 -x144 -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 -x145 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x146 -x3425 -x3426 -x3427 -x303 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x147 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x148 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x149 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x150 -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 -x151 -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 -x152 -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 -x153 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x299 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x154 -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 -x155 -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 -x157 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x534 -x3740 -x535 -x3741 -x547 -x3742 -x158 -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 -x455 -x3768 -x458 -x3769 -x3770 -x468 -x3771 -x471 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x159 -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 -x161 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x513 -x3825 -x162 -x3826 -x3827 -x3828 -x3829 -x163 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x164 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x165 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x166 -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 -x167 -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 -x168 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x491 -x3983 -x494 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x169 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x170 -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 -x171 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x172 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x459 -x4071 -x4072 -x4073 -x472 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x173 -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 -x175 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x514 -x4117 -x4118 -x4119 -x4120 -x4121 -x177 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x178 -x4142 -x4143 -x4144 -x4145 -x4146
1800.08/1800.40	v -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x179 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x180 -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 -x181 -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 -x182 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x495 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x183 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x184 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x185 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x186 -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 -x188 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x452 -x4364 -x4365 -x4366 -x4367 -x4368 -x189 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x190 -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 -x191 -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 -x192 -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 -x193 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x194 -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 -x448 -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 -x450 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x196 -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 -x197 -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 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x198 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x199 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x200 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x201 -x4757 -x4758 -x4759 -x4760 -x202 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x203 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x204 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x205 -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 -x206 -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 -x207 -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 -x208 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -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 -x210 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x213 -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 -x216 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x217 -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 -x220 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x222 -x5111 -x5112 -x223 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x224 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x225 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x226 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x228 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x488 -x5179 -x5180 -x5181 -x5182 -x229 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x230 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x231 -x5207 -x5208 -x5209 -x5210 -x232 -x5211 -x5212 -x5213 -x5214 -x5215 -x233 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x235 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x236 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x237 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x238 -x5247 -x5248 -x5249 -x5250 -x5251 -x239 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x240 -x5258 -x5259 -x241 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x242 -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 -x243 -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 -x244 -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 -x245 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -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 -x246 -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 -x247 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x248 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x249 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x250 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x251 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x252 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x254 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x255 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x256 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x257 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x258 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x259 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x260 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x261 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x262 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x263 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x264 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x265 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x266 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x267 -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 -x268 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064
1800.08/1800.40	v -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x269 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x270 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x271 -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 -x272 -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 -x273 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x274 -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 -x275 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x276 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 x553 -x3 -x14 -x22 -x23 -x39 -x76 -x79 -x86 -x87 -x94 -x100 -x101 -x112 -x156 -x160 -x174 -x176 -x187 -x195 -x209 -x211 -x212 -x214 -x215 -x218 -x219 -x221 -x227 -x234 -x253 -x287 -x291 -x321 -x334 -x336 -x345 -x357 -x416 -x424 -x429 -x437 -x440 -x447 -x463 -x465 -x476 -x477 -x485 -x510 -x516 -x524 -x526 -x531 -x541 -x542 -x552

OK	3269

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118774-1467270504/watcher-4118774-1467270504 -o /tmp/evaluation-result-4118774-1467270504/solver-4118774-1467270504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467268700-8349 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118774-1467270504.opb 

pid=8489
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing Stack size limit: 81920 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.10 2.17 2.14 4/176 8492
/proc/meminfo: memFree=20872220/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=8364 CPUtime=0 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 753 0 0 0 0 0 0 0 20 0 1 0 6078051 8564736 628 33554432000 4194304 5796924 140736032506848 140734184223736 4621249 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 2091 630 114 392 0 1690 0

[startup+0.100165 s]
/proc/loadavg: 2.10 2.17 2.14 4/176 8492
/proc/meminfo: memFree=20872220/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=9304 CPUtime=0.09 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 1044 0 0 0 9 0 0 0 20 0 1 0 6078051 9527296 903 33554432000 4194304 5796924 140736032506848 140734184223736 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 2326 903 128 392 0 1925 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9304

[startup+0.200326 s]
/proc/loadavg: 2.10 2.17 2.14 4/176 8492
/proc/meminfo: memFree=20872220/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=11748 CPUtime=0.19 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 1686 0 0 0 19 0 0 0 20 0 1 0 6078051 12029952 1532 33554432000 4194304 5796924 140736032506848 140736032506216 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 2937 1534 129 392 0 2536 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11748

[startup+0.300307 s]
/proc/loadavg: 2.10 2.17 2.14 4/176 8492
/proc/meminfo: memFree=20872220/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=14616 CPUtime=0.29 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 2514 0 0 0 29 0 0 0 20 0 1 0 6078051 14966784 2302 33554432000 4194304 5796924 140736032506848 140736032506216 4266541 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 3654 2302 140 392 0 3253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14616

[startup+0.700292 s]
/proc/loadavg: 2.10 2.17 2.14 4/176 8492
/proc/meminfo: memFree=20872220/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=30916 CPUtime=0.68 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 6093 0 0 0 68 0 0 0 20 0 1 0 6078051 31657984 7130 33554432000 4194304 5796924 140736032506848 140736032506216 4246736 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 7729 7130 167 392 0 7328 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 30916

[startup+1.5003 s]
/proc/loadavg: 2.10 2.17 2.14 4/177 8493
/proc/meminfo: memFree=20757596/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=253912 CPUtime=1.49 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 42853 0 0 0 142 7 0 0 20 0 1 0 6078051 260005888 58564 33554432000 4194304 5796924 140736032506848 140736032494728 4659057 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 63478 58565 167 392 0 63077 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 253912

[startup+3.10031 s]
/proc/loadavg: 2.17 2.19 2.15 4/177 8493
/proc/meminfo: memFree=25254288/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=455684 CPUtime=3.09 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 61018 0 0 0 297 12 0 0 20 0 1 0 6078051 466620416 100707 33554432000 4194304 5796924 140736032506848 140736032503944 4627361 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 113921 100707 167 392 0 113520 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 455684

[startup+6.3003 s]
/proc/loadavg: 2.17 2.19 2.15 3/177 8539
/proc/meminfo: memFree=27963856/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=411652 CPUtime=6.29 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 62789 0 0 0 616 13 0 0 20 0 1 0 6078051 421531648 94672 33554432000 4194304 5796924 140736032506848 140736032503896 4606420 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 102913 94672 177 392 0 102512 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 411652

[startup+12.7003 s]
/proc/loadavg: 2.14 2.18 2.15 3/177 8539
/proc/meminfo: memFree=27951636/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=412940 CPUtime=12.68 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 63158 0 0 0 1255 13 0 0 20 0 1 0 6078051 422850560 95552 33554432000 4194304 5796924 140736032506848 140736032503896 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 103235 95552 178 392 0 102834 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 412940

[startup+25.5004 s]
/proc/loadavg: 2.12 2.17 2.14 3/177 8539
/proc/meminfo: memFree=27935764/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=414188 CPUtime=25.48 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 63434 0 0 0 2535 13 0 0 20 0 1 0 6078051 424128512 96851 33554432000 4194304 5796924 140736032506848 140736032503896 4606534 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 103547 96851 178 392 0 103146 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 414188

[startup+51.1004 s]
/proc/loadavg: 2.22 2.19 2.15 4/177 8539
/proc/meminfo: memFree=27932780/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=415408 CPUtime=51.07 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 64261 0 0 0 5093 14 0 0 20 0 1 0 6078051 425377792 97332 33554432000 4194304 5796924 140736032506848 140736032503896 4606516 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 103852 97332 178 392 0 103451 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 415408

[startup+102.3 s]
/proc/loadavg: 2.29 2.22 2.16 3/178 8544
/proc/meminfo: memFree=27909476/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=434376 CPUtime=102.27 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 65086 0 0 0 10211 16 0 0 20 0 1 0 6078051 444801024 98831 33554432000 4194304 5796924 140736032506848 140736032504488 4606516 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 108594 98831 178 392 0 108193 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 434376

[startup+162.3 s]
/proc/loadavg: 2.21 2.20 2.16 3/177 8545
/proc/meminfo: memFree=27876032/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=435304 CPUtime=162.24 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 65834 0 0 0 16207 17 0 0 20 0 1 0 6078051 445751296 100403 33554432000 4194304 5796924 140736032506848 140736032504488 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 108826 100403 178 392 0 108425 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 435304

[startup+222.307 s]
/proc/loadavg: 2.12 2.18 2.15 4/177 8546
/proc/meminfo: memFree=27865088/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=435304 CPUtime=222.23 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 66363 0 0 0 22205 18 0 0 20 0 1 0 6078051 445751296 102457 33554432000 4194304 5796924 140736032506848 140736032504488 4593577 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 108826 102457 178 392 0 108425 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 435304

[startup+282.3 s]
/proc/loadavg: 2.27 2.21 2.16 3/177 8547
/proc/meminfo: memFree=27873412/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=418648 CPUtime=282.21 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 67779 0 0 0 28202 19 0 0 20 0 1 0 6078051 428695552 99844 33554432000 4194304 5796924 140736032506848 140736032504312 4606830 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 104662 99844 178 392 0 104261 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 418648

[startup+342.3 s]
/proc/loadavg: 2.22 2.20 2.16 3/177 8548
/proc/meminfo: memFree=27841888/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=438856 CPUtime=342.21 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 68106 0 0 0 34201 20 0 0 20 0 1 0 6078051 449388544 104770 33554432000 4194304 5796924 140736032506848 140736032503896 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 109714 104770 178 392 0 109313 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 438856

[startup+402.3 s]
/proc/loadavg: 2.19 2.19 2.16 3/177 8549
/proc/meminfo: memFree=27843156/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=438856 CPUtime=402.19 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 69352 0 0 0 40198 21 0 0 20 0 1 0 6078051 449388544 103387 33554432000 4194304 5796924 140736032506848 140736032504488 4591871 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 109714 103387 178 392 0 109313 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 438856

[startup+462.3 s]
/proc/loadavg: 2.21 2.20 2.17 3/177 8551
/proc/meminfo: memFree=27824224/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=469676 CPUtime=462.18 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 70023 0 0 0 46196 22 0 0 20 0 1 0 6078051 480948224 108140 33554432000 4194304 5796924 140736032506848 140736032504488 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 117419 108140 178 392 0 117018 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 469676

[startup+522.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 8552
/proc/meminfo: memFree=27844780/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=438856 CPUtime=522.17 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 70607 0 0 0 52194 23 0 0 20 0 1 0 6078051 449388544 103026 33554432000 4194304 5796924 140736032506848 140736032504488 4593857 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 109714 103026 178 392 0 109313 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 438856

[startup+582.3 s]
/proc/loadavg: 2.29 2.23 2.18 3/177 8553
/proc/meminfo: memFree=27807052/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=439316 CPUtime=582.17 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 71270 0 0 0 58193 24 0 0 20 0 1 0 6078051 449859584 102666 33554432000 4194304 5796924 140736032506848 140736032503832 4592304 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 109829 102666 178 392 0 109428 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 439316

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


[startup+882.307 s]
/proc/loadavg: 2.24 2.26 2.19 3/177 8562
/proc/meminfo: memFree=27852776/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=423256 CPUtime=882.13 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 74109 0 0 0 88184 29 0 0 20 0 1 0 6078051 433414144 100739 33554432000 4194304 5796924 140736032506848 140736032504312 4606442 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 105814 100739 178 392 0 105413 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 423256

[startup+942.3 s]
/proc/loadavg: 2.14 2.23 2.18 3/177 8563
/proc/meminfo: memFree=27844416/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=442224 CPUtime=942.11 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 74155 0 0 0 94182 29 0 0 20 0 1 0 6078051 452837376 102829 33554432000 4194304 5796924 140736032506848 140736032504488 4592073 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 110556 102829 178 392 0 110155 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 442224

[startup+1002.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 8564
/proc/meminfo: memFree=27827976/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=473044 CPUtime=1002.1 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 74757 0 0 0 100180 30 0 0 20 0 1 0 6078051 484397056 107008 33554432000 4194304 5796924 140736032506848 140736032504488 4592014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 118261 107008 178 392 0 117860 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 473044

[startup+1062.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 8566
/proc/meminfo: memFree=27745428/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=473044 CPUtime=1062.09 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 74831 0 0 0 106179 30 0 0 20 0 1 0 6078051 484397056 112192 33554432000 4194304 5796924 140736032506848 140736032504488 4592017 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 118261 112192 178 392 0 117860 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 473044

[startup+1122.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/177 8567
/proc/meminfo: memFree=27795328/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=442552 CPUtime=1122.08 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 76344 0 0 0 112176 32 0 0 20 0 1 0 6078051 453173248 101855 33554432000 4194304 5796924 140736032506848 140736032504488 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 110638 101855 178 392 0 110237 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 442552

[startup+1182.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 8568
/proc/meminfo: memFree=27787580/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=445352 CPUtime=1182.08 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 76765 0 0 0 118175 33 0 0 20 0 1 0 6078051 456040448 105852 33554432000 4194304 5796924 140736032506848 140736032503896 4607232 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 111338 105852 178 392 0 110937 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 445352

[startup+1242.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 8569
/proc/meminfo: memFree=27803004/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=426384 CPUtime=1242.07 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 77607 0 0 0 124173 34 0 0 20 0 1 0 6078051 436617216 101739 33554432000 4194304 5796924 140736032506848 140736032504312 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 106596 101739 178 392 0 106195 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 426384

[startup+1302.3 s]
/proc/loadavg: 2.11 2.18 2.17 3/178 8573
/proc/meminfo: memFree=27765028/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=445352 CPUtime=1302.06 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 77764 0 0 0 130172 34 0 0 20 0 1 0 6078051 456040448 103428 33554432000 4194304 5796924 140736032506848 140736032504488 4606640 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 111338 103428 178 392 0 110937 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 445352

[startup+1362.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/177 8575
/proc/meminfo: memFree=27773588/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=447976 CPUtime=1362.04 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 78756 0 0 0 136169 35 0 0 20 0 1 0 6078051 458727424 104423 33554432000 4194304 5796924 140736032506848 140736032504488 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 111994 104423 178 392 0 111593 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 447976

[startup+1422.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/177 8576
/proc/meminfo: memFree=27752748/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=478796 CPUtime=1422.04 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 79346 0 0 0 142168 36 0 0 20 0 1 0 6078051 490287104 109610 33554432000 4194304 5796924 140736032506848 140736032504488 4591877 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 119699 109610 178 392 0 119298 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 478796

[startup+1482.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 8577
/proc/meminfo: memFree=27768988/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=478796 CPUtime=1482.03 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 79360 0 0 0 148166 37 0 0 20 0 1 0 6078051 490287104 114223 33554432000 4194304 5796924 140736032506848 140736032504488 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 119699 114223 178 392 0 119298 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 478796

[startup+1542.31 s]
/proc/loadavg: 2.28 2.19 2.18 3/177 8578
/proc/meminfo: memFree=27686952/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=528884 CPUtime=1542.03 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 79884 0 0 0 154166 37 0 0 20 0 1 0 6078051 541577216 118323 33554432000 4194304 5796924 140736032506848 140736032504488 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 132221 118323 178 392 0 131820 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 528884

[startup+1602.3 s]
/proc/loadavg: 2.33 2.22 2.19 3/177 8579
/proc/meminfo: memFree=27750208/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=447976 CPUtime=1602.02 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 81139 0 0 0 160163 39 0 0 20 0 1 0 6078051 458727424 106708 33554432000 4194304 5796924 140736032506848 140736032504488 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 111994 106708 178 392 0 111593 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 447976

[startup+1662.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 8581
/proc/meminfo: memFree=27780652/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=478796 CPUtime=1662 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 81664 0 0 0 166161 39 0 0 20 0 1 0 6078051 490287104 110854 33554432000 4194304 5796924 140736032506848 140736032504488 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 119699 110854 178 392 0 119298 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 478796

[startup+1722.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 8582
/proc/meminfo: memFree=27760248/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=528884 CPUtime=1721.99 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 82186 0 0 0 172159 40 0 0 20 0 1 0 6078051 541577216 115974 33554432000 4194304 5796924 140736032506848 140736032504488 4596172 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 132221 115974 178 392 0 131820 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 528884

[startup+1782.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 8583
/proc/meminfo: memFree=27679748/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=528884 CPUtime=1781.98 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 82195 0 0 0 178158 40 0 0 20 0 1 0 6078051 541577216 120582 33554432000 4194304 5796924 140736032506848 140736032504488 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 132221 120582 178 392 0 131820 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 528884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 8583
/proc/meminfo: memFree=27743232/32872528 swapFree=1555460/1718980
[pid=8492] ppid=8489 vsize=429008 CPUtime=1800.08 cores=1,3,5,7
/proc/8492/stat : 8492 (naps-1.02) R 8489 8492 8332 0 -1 4202496 82658 0 0 0 179967 41 0 0 20 0 1 0 6078051 439304192 102133 33554432000 4194304 5796924 140736032506848 140736032504312 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/8492/statm: 107252 102133 178 392 0 106851 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 429008

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8492 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1799.68
CPU system time (s): 0.412937
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 559236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.412937
maximum resident set size= 516668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82670
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= 84
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9604 second user time and 7.56585 second system time

The end

Begin job on node117 at 2016-06-30 09:08:24
IDJOB=4118774
IDBENCH=111531
IDSOLVER=2544
FILE ID=node117/4118774-1467270504
RUNJOBID= node117-1467268700-8349
PBS_JOBID= 20004501
Free space on /tmp= 71496 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross24-115.lin.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118774-1467270504/watcher-4118774-1467270504 -o /tmp/evaluation-result-4118774-1467270504/solver-4118774-1467270504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467268700-8349 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118774-1467270504.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6e10896707ba1f61ee1eeed9b67b775a
RANDOM SEED=2058575304

node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        20872112 kB
Buffers:          133220 kB
Cached:          1957104 kB
SwapCached:            0 kB
Active:          7724936 kB
Inactive:        1792812 kB
Active(anon):    7430468 kB
Inactive(anon):        4 kB
Active(file):     294468 kB
Inactive(file):  1792808 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4676 kB
Writeback:             0 kB
AnonPages:       9103504 kB
Mapped:            14680 kB
Shmem:               204 kB
Slab:             615684 kB
SReclaimable:      60252 kB
SUnreclaim:       555432 kB
KernelStack:        1472 kB
PageTables:        22388 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9428564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1865728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71616 MiB
End job on node117 at 2016-06-30 09:38:25