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

OK	0

/tmp/evaluation/458303-1178621696/instance-458303-1178621696.opb is already a linear file

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-458303-1178621696 -o ROOT/results/node45/solver-458303-1178621696 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458303-1178621696/instance-458303-1178621696.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: 1.08 1.02 1.01 3/77 4490
/proc/meminfo: memFree=1296264/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=1896 CPUtime=0
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 217015968 1941504 266 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4490/statm: 474 266 86 219 0 251 0

[startup+0.078887 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 4490
/proc/meminfo: memFree=1296264/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=2788 CPUtime=0.07
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 504 0 0 0 7 0 0 0 18 0 1 0 217015968 2854912 437 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135063209 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4490/statm: 697 438 86 219 0 474 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2788

[startup+0.101884 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 4490
/proc/meminfo: memFree=1296264/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=2788 CPUtime=0.1
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 541 0 0 0 10 0 0 0 18 0 1 0 217015968 2854912 474 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134801936 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4490/statm: 697 474 86 219 0 474 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2788

[startup+0.301899 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 4490
/proc/meminfo: memFree=1296264/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=3960 CPUtime=0.29
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 971 0 0 0 29 0 0 0 19 0 1 0 217015968 4055040 807 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 990 807 86 219 0 767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3960

[startup+0.701947 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 4490
/proc/meminfo: memFree=1296264/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=10404 CPUtime=0.69
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 2360 0 0 0 68 1 0 0 23 0 1 0 217015968 10653696 1618 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530463 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 2601 1618 86 219 0 2378 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10404

[startup+1.50103 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 4491
/proc/meminfo: memFree=1286784/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=18496 CPUtime=1.49
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 4418 0 0 0 147 2 0 0 25 0 1 0 217015968 18939904 2907 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530523 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 4624 2907 86 219 0 4401 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18496

[startup+3.10119 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 4491
/proc/meminfo: memFree=1280384/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=34680 CPUtime=3.08
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 8469 0 0 0 304 4 0 0 25 0 1 0 217015968 35512320 5421 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 8670 5421 86 219 0 8447 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34680

[startup+6.30132 s]
/proc/loadavg: 1.15 1.03 1.01 2/78 4491
/proc/meminfo: memFree=1260224/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=66916 CPUtime=6.28
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 16536 0 0 0 619 9 0 0 25 0 1 0 217015968 68521984 10415 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 16729 10415 86 219 0 16506 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 66916

[startup+12.702 s]
/proc/loadavg: 1.14 1.03 1.01 2/78 4491
/proc/meminfo: memFree=1219264/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=131980 CPUtime=12.68
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 32679 0 0 0 1250 18 0 0 25 0 1 0 217015968 135147520 20413 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 32995 20413 86 219 0 32772 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 131980

[startup+25.5013 s]
/proc/loadavg: 1.11 1.03 1.01 2/78 4491
/proc/meminfo: memFree=1138816/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=260752 CPUtime=25.46
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 64504 0 0 0 2510 36 0 0 25 0 1 0 217015968 267010048 39949 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134518650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 65188 39950 86 219 0 64965 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 260752

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

[startup+27.1024 s]
/proc/loadavg: 1.11 1.03 1.01 2/78 4491
/proc/meminfo: memFree=1132800/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=261432 CPUtime=27.07
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 66686 0 0 0 2669 38 0 0 25 0 1 0 217015968 267706368 42131 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 65358 42131 86 219 0 65135 0
Current children cumulated CPU time (s) 27.07
Current children cumulated vsize (KiB) 261432

[startup+28.7016 s]
/proc/loadavg: 1.10 1.03 1.01 2/78 4491
/proc/meminfo: memFree=1121280/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=266764 CPUtime=28.67
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 68838 0 0 0 2828 39 0 0 25 0 1 0 217015968 273166336 44250 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 66691 44250 86 219 0 66468 0
Current children cumulated CPU time (s) 28.67
Current children cumulated vsize (KiB) 266764

[startup+29.5017 s]
/proc/loadavg: 1.10 1.03 1.01 2/78 4491
/proc/meminfo: memFree=1121280/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=271648 CPUtime=29.47
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 70135 0 0 0 2903 44 0 0 25 0 1 0 217015968 278167552 45482 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 67912 45482 90 219 0 67689 0
Current children cumulated CPU time (s) 29.47
Current children cumulated vsize (KiB) 271648

[startup+29.7057 s]
/proc/loadavg: 1.10 1.03 1.01 2/78 4491
/proc/meminfo: memFree=1114816/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=272192 CPUtime=29.67
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194304 70266 0 0 0 2922 45 0 0 25 0 1 0 217015968 278724608 45613 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 68048 45613 90 219 0 67825 0
Current children cumulated CPU time (s) 29.67
Current children cumulated vsize (KiB) 272192

[startup+29.8017 s]
/proc/loadavg: 1.10 1.03 1.01 2/78 4491
/proc/meminfo: memFree=1114816/2055920 swapFree=4157932/4192956
[pid=4490] ppid=4488 vsize=0 CPUtime=29.77
/proc/4490/stat : 4490 (PBS4_SAT07v2) R 4488 4490 3531 0 -1 4194308 70353 0 0 0 2929 48 0 0 25 0 1 0 217015968 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4490/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 29.77
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 29.813
CPU time (s): 29.7885
CPU user time (s): 29.2955
CPU system time (s): 0.492925
CPU usage (%): 99.9177
Max. virtual memory (cumulated for all children) (KiB): 272192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.2955
system time used= 0.492925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70353
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= 10
involuntary context switches= 82

runsolver used 0.021996 second user time and 0.075988 second system time

The end

Begin job on node45 on Tue May  8 10:55:03 UTC 2007

IDJOB= 458303
IDBENCH= 1380
IDSOLVER= 200
FILE ID= node45/458303-1178621696

PBS_JOBID= 5218245

Free space on /tmp= 66475 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458303-1178621696/instance-458303-1178621696.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-458303-1178621696 -o ROOT/results/node45/conversion-458303-1178621696 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458303-1178621696/instance-458303-1178621696.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  81a731c23b82a1147f726d3bcf60f6bf

RANDOM SEED= 965217949

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1296680 kB
Buffers:         38264 kB
Cached:         587024 kB
SwapCached:      14388 kB
Active:         223272 kB
Inactive:       425440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1296680 kB
SwapTotal:     4192956 kB
SwapFree:      4157932 kB
Dirty:           91120 kB
Writeback:           0 kB
Mapped:          30524 kB
Slab:            96112 kB
Committed_AS:  3947920 kB
PageTables:       1736 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= 66475 MiB

End job on node45 on Tue May  8 10:55:33 UTC 2007