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

OK	0

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node65/watcher-41175-1149241122 -o ROOT/results/node65/solver-41175-1149241122 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node65/41175-1149241122/instance-41175-1149241122.opb 459326226 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.97 0.91 3/64 24842
/proc/meminfo: memFree=1831640/2055920 swapFree=4181844/4192956
[pid=24842] ppid=24840 vsize=1984 CPUtime=0
/proc/24842/stat : 24842 (PBS4L) R 24840 24842 24797 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 189781568 2031616 278 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536732 0 0 4096 0 0 0 0 17 0 0 0
/proc/24842/statm: 496 278 99 232 0 261 0

[startup+10.0025 s]
/proc/loadavg: 0.87 0.97 0.91 2/64 24842
/proc/meminfo: memFree=1822184/2055920 swapFree=4181844/4192956
[pid=24842] ppid=24840 vsize=14616 CPUtime=9.99
/proc/24842/stat : 24842 (PBS4L) R 24840 24842 24797 0 -1 4194304 2892 0 0 0 969 30 0 0 25 0 1 0 189781568 14966784 2529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0
/proc/24842/statm: 3654 2529 105 232 0 3419 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 14616

[startup+20.0092 s]
/proc/loadavg: 0.89 0.97 0.91 2/64 24842
/proc/meminfo: memFree=1821480/2055920 swapFree=4181844/4192956
[pid=24842] ppid=24840 vsize=15144 CPUtime=19.99
/proc/24842/stat : 24842 (PBS4L) R 24840 24842 24797 0 -1 4194304 3084 0 0 0 1945 54 0 0 25 0 1 0 189781568 15507456 2721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 0 0 0
/proc/24842/statm: 3786 2721 105 232 0 3551 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 15144

Child status: 0
Real time (s): 23.3089
CPU time (s): 23.2975
CPU user time (s): 22.6516
CPU system time (s): 0.645901
CPU usage (%): 99.9508
Max. virtual memory (cumulated for all children) (Kb): 15144

Begin job on node65 on Fri Jun  2 09:38:42 UTC 2006


FILE ID= 41175-1149241122

PBS_JOBID= 297438

BENCH NAME= ROOT/tmp/node65/41175-1149241122/instance-41175-1149241122.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node65/41175-1149241122/instance-41175-1149241122.opb 459326226
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-41175-1149241122 -o ROOT/results/node65/solver-41175-1149241122 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node65/41175-1149241122/instance-41175-1149241122.opb 459326226

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  bcdf4c9a1de867d3db370c95867fefb5

RANDOM SEED= 459326226


/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.283
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.283
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:       1832040 kB
Buffers:         14116 kB
Cached:         142408 kB
SwapCached:       2800 kB
Active:          54388 kB
Inactive:       110740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832040 kB
SwapTotal:     4192956 kB
SwapFree:      4181844 kB
Dirty:             268 kB
Writeback:           0 kB
Mapped:          14736 kB
Slab:            44772 kB
Committed_AS:   227184 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node65 on Fri Jun  2 09:39:06 UTC 2006