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