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