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