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