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