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

OK	192

/tmp/evaluation/458506-1178632554/instance-458506-1178632554.opb is already a linear file

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-458506-1178632554 -o ROOT/results/node9/solver-458506-1178632554 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458506-1178632554/instance-458506-1178632554.opb 

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 3053
/proc/meminfo: memFree=1625312/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=2212 CPUtime=0
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 342 0 0 0 0 0 0 0 18 0 1 0 339292927 2265088 324 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 553 324 84 219 0 330 0

[startup+0.033894 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 3053
/proc/meminfo: memFree=1625312/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=2512 CPUtime=0.02
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 405 0 0 0 2 0 0 0 18 0 1 0 339292927 2572288 387 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134586453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 628 387 86 219 0 405 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2512

[startup+0.101902 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 3053
/proc/meminfo: memFree=1625312/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=2512 CPUtime=0.09
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 421 0 0 0 9 0 0 0 18 0 1 0 339292927 2572288 403 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134586979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 628 403 86 219 0 405 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2512

[startup+0.301924 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 3053
/proc/meminfo: memFree=1625312/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=3968 CPUtime=0.29
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 786 0 0 0 29 0 0 0 19 0 1 0 339292927 4063232 768 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 992 768 89 219 0 769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3968

[startup+0.70197 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 3053
/proc/meminfo: memFree=1625312/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=4224 CPUtime=0.69
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 833 0 0 0 68 1 0 0 23 0 1 0 339292927 4325376 815 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 1056 815 90 219 0 833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4224

[startup+1.50106 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 3054
/proc/meminfo: memFree=1622232/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=4352 CPUtime=1.49
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 892 0 0 0 147 2 0 0 25 0 1 0 339292927 4456448 874 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 1088 874 90 219 0 865 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4352

[startup+3.10124 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 3054
/proc/meminfo: memFree=1621784/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=4864 CPUtime=3.09
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 996 0 0 0 305 4 0 0 25 0 1 0 339292927 4980736 978 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 1216 978 90 219 0 993 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4864

[startup+6.3016 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 3054
/proc/meminfo: memFree=1620440/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=6216 CPUtime=6.29
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 1321 0 0 0 623 6 0 0 25 0 1 0 339292927 6365184 1303 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 1554 1303 90 219 0 1331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6216

[startup+12.7013 s]
/proc/loadavg: 0.93 0.96 0.97 2/78 3054
/proc/meminfo: memFree=1619168/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=8404 CPUtime=12.68
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 1580 0 0 0 1262 6 0 0 25 0 1 0 339292927 8605696 1562 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 2101 1562 90 219 0 1878 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8404

[startup+25.5018 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 3054
/proc/meminfo: memFree=1618080/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=8404 CPUtime=25.48
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 1839 0 0 0 2540 8 0 0 25 0 1 0 339292927 8605696 1821 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 2101 1821 90 219 0 1878 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8404

[startup+51.1017 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 3054
/proc/meminfo: memFree=1615712/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=12632 CPUtime=51.08
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 2446 0 0 0 5097 11 0 0 25 0 1 0 339292927 12935168 2428 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557382 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 3158 2428 90 219 0 2935 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12632

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 3054
/proc/meminfo: memFree=1608032/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=23008 CPUtime=102.26
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 4503 0 0 0 10186 40 0 0 25 0 1 0 339292927 23560192 4339 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 5752 4339 90 219 0 5529 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23008

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3054
/proc/meminfo: memFree=1606880/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=24448 CPUtime=162.25
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 4984 0 0 0 16137 88 0 0 25 0 1 0 339292927 25034752 4627 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 6112 4627 90 219 0 5889 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24448

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3054
/proc/meminfo: memFree=1605920/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=25032 CPUtime=222.24
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 5216 0 0 0 22095 129 0 0 25 0 1 0 339292927 25632768 4859 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 6258 4859 90 219 0 6035 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 25032

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3054
/proc/meminfo: memFree=1604896/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=27188 CPUtime=282.22
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 5866 0 0 0 28047 175 0 0 25 0 1 0 339292927 27840512 5124 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 6797 5124 102 219 0 6574 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 27188

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/84 3218
/proc/meminfo: memFree=1602592/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=27580 CPUtime=342.12
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 6078 0 0 0 33991 221 0 0 25 0 1 0 339292927 28241920 5336 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 6895 5336 102 219 0 6672 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 27580

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1602912/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=28208 CPUtime=402.08
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 6294 0 0 0 39943 265 0 0 25 0 1 0 339292927 28884992 5552 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 7052 5552 102 219 0 6829 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 28208

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1602272/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=28492 CPUtime=462.07
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 6484 0 0 0 45900 307 0 0 25 0 1 0 339292927 29175808 5742 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 7123 5742 102 219 0 6900 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 28492

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1601440/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=32092 CPUtime=522.05
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 7468 0 0 0 51858 347 0 0 25 0 1 0 339292927 32862208 5957 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 8023 5957 102 219 0 7800 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 32092

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1600736/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=32596 CPUtime=582.04
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 7660 0 0 0 57813 391 0 0 25 0 1 0 339292927 33378304 6149 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 8149 6149 102 219 0 7926 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 32596

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1599968/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=32956 CPUtime=642.03
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 7858 0 0 0 63769 434 0 0 25 0 1 0 339292927 33746944 6347 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 8239 6347 102 219 0 8016 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 32956


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1597728/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=34404 CPUtime=821.97
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 8433 0 0 0 81637 560 0 0 25 0 1 0 339292927 35229696 6922 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 8601 6922 102 219 0 8378 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 34404

[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1596960/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=34776 CPUtime=881.96
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 8617 0 0 0 87598 598 0 0 25 0 1 0 339292927 35610624 7106 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 8694 7106 102 219 0 8471 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 34776

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1596320/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=34856 CPUtime=941.95
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 8794 0 0 0 93558 637 0 0 25 0 1 0 339292927 35692544 7283 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545415 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 8714 7283 102 219 0 8491 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 34856

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1595552/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=35252 CPUtime=1001.92
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 8981 0 0 0 99520 672 0 0 25 0 1 0 339292927 36098048 7470 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 8813 7470 102 219 0 8590 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 35252

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1594784/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=41908 CPUtime=1061.91
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 10706 0 0 0 105479 712 0 0 25 0 1 0 339292927 42913792 7658 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 10477 7658 102 219 0 10254 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 41908

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1594080/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=42352 CPUtime=1121.89
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 10878 0 0 0 111445 744 0 0 25 0 1 0 339292927 43368448 7830 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 10588 7830 102 219 0 10365 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 42352

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1591648/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=42824 CPUtime=1181.88
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 11484 0 0 0 117405 783 0 0 25 0 1 0 339292927 43851776 8436 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 10706 8436 102 219 0 10483 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 42824

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1590944/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=42908 CPUtime=1241.86
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 11638 0 0 0 123366 820 0 0 25 0 1 0 339292927 43937792 8590 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 10727 8590 102 219 0 10504 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 42908

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1590176/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=43412 CPUtime=1301.85
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 11833 0 0 0 129326 859 0 0 25 0 1 0 339292927 44453888 8785 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 10853 8785 102 219 0 10630 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 43412

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1589536/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=43948 CPUtime=1361.83
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 12009 0 0 0 135285 898 0 0 25 0 1 0 339292927 45002752 8961 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 10987 8961 102 219 0 10764 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 43948

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1588896/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=43948 CPUtime=1421.82
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 12178 0 0 0 141243 939 0 0 25 0 1 0 339292927 45002752 9130 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 10987 9130 102 219 0 10764 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 43948

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 3/78 3251
/proc/meminfo: memFree=1588256/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=44600 CPUtime=1481.8
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 12340 0 0 0 147203 977 0 0 25 0 1 0 339292927 45670400 9292 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 11150 9292 102 219 0 10927 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 44600

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1587616/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=45204 CPUtime=1541.79
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 12501 0 0 0 153165 1014 0 0 25 0 1 0 339292927 46288896 9453 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 11301 9453 102 219 0 11078 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 45204

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1586976/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=45204 CPUtime=1601.77
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 12668 0 0 0 159128 1049 0 0 25 0 1 0 339292927 46288896 9620 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 11301 9620 102 219 0 11078 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 45204

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1586336/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=45844 CPUtime=1661.75
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 12830 0 0 0 165084 1091 0 0 25 0 1 0 339292927 46944256 9782 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 11461 9782 102 219 0 11238 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 45844

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1585632/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=45844 CPUtime=1721.74
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 13000 0 0 0 171047 1127 0 0 25 0 1 0 339292927 46944256 9952 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 11461 9952 102 219 0 11238 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 45844

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1584864/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=46604 CPUtime=1781.72
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 13158 0 0 0 177009 1163 0 0 25 0 1 0 339292927 47722496 10110 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 11651 10110 102 219 0 11428 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 46604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3251
/proc/meminfo: memFree=1584672/2055920 swapFree=4145452/4192956
[pid=3053] ppid=3051 vsize=46604 CPUtime=1800.02
/proc/3053/stat : 3053 (PBS4_SAT07v2) R 3051 3053 2547 0 -1 4194304 13207 0 0 0 178826 1176 0 0 25 0 1 0 339292927 47722496 10159 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3053/statm: 11651 10159 102 219 0 11428 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 46604

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.05
CPU user time (s): 1788.27
CPU system time (s): 11.7732
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 47964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.27
system time used= 11.7732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 1250

runsolver used 1.39979 second user time and 3.9644 second system time

The end

Begin job on node9 on Tue May  8 13:55:54 UTC 2007

IDJOB= 458506
IDBENCH= 1619
IDSOLVER= 200
FILE ID= node9/458506-1178632554

PBS_JOBID= 5217795

Free space on /tmp= 66562 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  9b27e30a8bba28dee1f89aacae920d43

RANDOM SEED= 389043230

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1625720 kB
Buffers:         45272 kB
Cached:         291180 kB
SwapCached:      15448 kB
Active:         148520 kB
Inactive:       211432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1625720 kB
SwapTotal:     4192956 kB
SwapFree:      4145452 kB
Dirty:            2644 kB
Writeback:           0 kB
Mapped:          30436 kB
Slab:            55816 kB
Committed_AS:  8878228 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node9 on Tue May  8 14:25:56 UTC 2007