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