Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 163 | 1800.09 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 48.3037 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3973 |
Total number of constraints | 11097 |
Number of constraints which are clauses | 11097 |
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 | 63 |
Number of terms in the objective function | 1906 |
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 | 1906 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1906 |
Number of bits of the biggest sum of numbers | 11 |
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/459219-1178651542/instance-459219-1178651542.opb ...... 0.09/0.14 c done parsing opb. 0.09/0.14 o 192 0.09/0.14 o 191 0.09/0.15 o 190 0.09/0.15 o 189 0.09/0.18 o 188 0.19/0.21 o 167 9.69/9.79 o 166 991.90/992.27 o 165 1023.99/1024.31 o 164 1329.90/1330.37 o 163 1800.06/1800.60 s SATISFIABLE 1800.06/1800.60 v x1 -x10 x100 -x1000 x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.06/1800.60 v -x1015 -x1016 -x1017 -x1018 -x1019 x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x103 -x1030 1800.06/1800.60 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 x104 x1040 -x1041 -x1042 -x1043 -x1044 x1045 x1046 -x1047 1800.06/1800.60 v -x1048 -x1049 x105 -x1050 x1051 x1052 -x1053 -x1054 x1055 x1056 -x1057 -x1058 -x1059 x106 -x1060 -x1061 -x1062 -x1063 -x1064 1800.06/1800.60 v -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x108 -x1080 1800.06/1800.60 v -x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1800.06/1800.60 v -x1098 x1099 x11 x110 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111 -x1112 -x1113 1800.06/1800.60 v -x1114 x1115 x1116 -x1117 -x1118 -x1119 x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x113 1800.06/1800.60 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x114 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.06/1800.60 v -x1147 -x1148 -x1149 x115 -x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x116 -x1160 x1161 x1162 -x1163 1800.06/1800.60 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 1800.06/1800.60 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 x1193 x1194 -x1195 -x1196 1800.06/1800.60 v -x1197 -x1198 -x1199 x12 x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 1800.06/1800.60 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1800.06/1800.60 v -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x124 -x1240 -x1241 -x1242 -x1243 -x1244 1800.06/1800.60 v -x1245 -x1246 -x1247 -x1248 x1249 -x125 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x126 -x1260 1800.06/1800.60 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 1800.06/1800.60 v -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 x1286 -x1287 -x1288 -x1289 x129 -x1290 -x1291 -x1292 1800.06/1800.60 v -x1293 -x1294 -x1295 -x1296 x1297 x1298 -x1299 x13 x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1800.06/1800.60 v -x1309 x131 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 x1316 -x1317 -x1318 -x1319 x132 -x1320 -x1321 -x1322 -x1323 -x1324 1800.06/1800.60 v -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x134 -x1340 1800.06/1800.60 v -x1341 -x1342 x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1800.06/1800.60 v -x1358 -x1359 x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x137 -x1370 -x1371 -x1372 -x1373 1800.06/1800.60 v -x1374 x1375 x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x139 1800.06/1800.60 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x14 x140 -x1400 x1401 x1402 -x1403 -x1404 -x1405 1800.06/1800.60 v -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x142 -x1420 -x1421 1800.06/1800.60 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1800.06/1800.60 v -x1439 x144 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 1800.06/1800.60 v -x1455 -x1456 -x1457 -x1458 -x1459 x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 x147 x1470 1800.06/1800.60 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x148 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 x1486 -x1487 1800.06/1800.60 v -x1488 -x1489 x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x15 x150 -x1500 -x1501 -x1502 1800.06/1800.60 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1800.06/1800.60 v x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1800.06/1800.60 v -x1536 -x1537 -x1538 -x1539 x154 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 -x1547 -x1548 x1549 x155 x1550 -x1551 -x1552 1800.06/1800.60 v -x1553 -x1554 x1555 x1556 x1557 x1558 x1559 x156 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 1800.06/1800.60 v -x1570 x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.06/1800.60 v -x1587 -x1588 -x1589 x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x16 x160 -x1600 -x1601 1800.06/1800.60 v -x1602 -x1603 -x1604 x1605 x1606 -x1607 -x1608 -x1609 x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.06/1800.60 v -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 1800.06/1800.60 v -x1635 -x1636 -x1637 -x1638 -x1639 x164 -x1640 x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 1800.06/1800.60 v -x1651 -x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1800.06/1800.60 v -x1668 -x1669 -x167 -x1670 x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x168 -x1680 -x1681 -x1682 -x1683 1800.06/1800.60 v -x1684 x1685 x1686 -x1687 -x1688 -x1689 x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 1800.06/1800.60 v x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x171 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 1800.06/1800.60 v -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 x1731 1800.06/1800.60 v x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x174 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1800.06/1800.60 v -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 x1761 x1762 -x1763 -x1764 1800.06/1800.60 v -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 1800.06/1800.60 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.06/1800.60 v -x1797 -x1798 -x1799 x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 1800.06/1800.60 v -x1812 -x1813 -x1814 -x1815 -x1816 x1817 x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1800.06/1800.60 v -x1829 -x183 -x1830 x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 x1841 x1842 -x1843 -x1844 1800.06/1800.60 v -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 1800.06/1800.60 v -x1861 -x1862 x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1800.06/1800.60 v -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 x1893 1800.06/1800.60 v x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.06/1800.60 v -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.06/1800.60 v -x1926 -x1927 -x1928 x1929 -x193 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 1800.06/1800.60 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.06/1800.60 v -x1958 -x1959 -x196 -x1960 -x1961 -x1962 x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 1800.06/1800.60 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 1800.06/1800.60 v -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 1800.06/1800.60 v -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x202 -x2020 1800.06/1800.60 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1800.06/1800.60 v -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 1800.06/1800.60 v -x2054 -x2055 -x2056 x2057 x2058 -x2059 -x206 -x2060 x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 1800.06/1800.60 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1800.06/1800.60 v -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x21 -x210 -x2100 -x2101 1800.06/1800.60 v -x2102 -x2103 -x2104 x2105 x2106 -x2107 -x2108 -x2109 -x211 -x2110 x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.06/1800.60 v -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 1800.06/1800.60 v -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 x2146 -x2147 -x2148 -x2149 -x215 -x2150 1800.06/1800.60 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1800.06/1800.60 v -x2167 -x2168 -x2169 x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x218 -x2180 -x2181 -x2182 1800.06/1800.60 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1800.06/1800.60 v -x2199 x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 1800.06/1800.60 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 x2228 -x2229 -x223 1800.06/1800.60 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 x2246 1800.06/1800.60 v -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 1800.06/1800.60 v -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 1800.06/1800.60 v -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1800.06/1800.60 v -x2296 -x2297 -x2298 x2299 -x23 -x230 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 1800.06/1800.60 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1800.06/1800.60 v -x2327 -x2328 -x2329 x233 -x2330 -x2331 -x2332 x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x234 -x2340 -x2341 -x2342 1800.06/1800.60 v -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 1800.06/1800.60 v -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 1800.06/1800.60 v -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 1800.06/1800.60 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x24 -x240 -x2400 -x2401 -x2402 x2403 x2404 -x2405 -x2406 -x2407 1800.06/1800.60 v -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 1800.06/1800.60 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 1800.06/1800.60 v -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 1800.06/1800.60 v x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 1800.06/1800.60 v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x248 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 1800.06/1800.60 v -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x25 -x250 -x2500 -x2501 -x2502 -x2503 1800.06/1800.60 v -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x251 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 1800.06/1800.60 v -x2520 x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 1800.06/1800.60 v -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 x2548 -x2549 -x255 -x2550 -x2551 -x2552 1800.06/1800.60 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1800.06/1800.60 v -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 1800.06/1800.60 v -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x26 -x260 1800.06/1800.60 v -x2600 -x2601 -x2602 -x2603 -x2604 x2605 x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1800.06/1800.60 v x2617 x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 x2631 x2632 1800.06/1800.60 v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 1800.06/1800.60 v x265 -x2650 x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2659 x266 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 1800.06/1800.60 v -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 x2677 x2678 -x2679 -x268 -x2680 -x2681 -x2682 1800.06/1800.60 v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 x2696 -x2697 -x2698 -x2699 1800.06/1800.60 v x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 1800.06/1800.60 v -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2729 -x273 x2730 1800.06/1800.60 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1800.06/1800.60 v -x2747 -x2748 x2749 -x275 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 x2758 -x2759 -x276 -x2760 -x2761 -x2762 1800.06/1800.60 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 1800.06/1800.60 v -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1800.06/1800.60 v -x2796 -x2797 -x2798 -x2799 x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 1800.06/1800.60 v -x2811 -x2812 x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1800.06/1800.60 v -x2828 x2829 -x283 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x284 x2840 -x2841 -x2842 -x2843 1800.06/1800.60 v -x2844 -x2845 -x2846 x2847 x2848 -x2849 -x285 -x2850 x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 1800.06/1800.60 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.06/1800.60 v -x2876 -x2877 -x2878 x2879 -x288 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 1800.06/1800.60 v -x2892 -x2893 -x2894 -x2895 -x2896 x2897 x2898 -x2899 x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 1800.06/1800.60 v -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 1800.06/1800.60 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 1800.06/1800.60 v -x294 -x2940 -x2941 -x2942 x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1800.06/1800.60 v -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 1800.06/1800.60 v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 x2979 -x298 x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 1800.06/1800.60 v -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 x30 -x300 -x3000 -x3001 -x3002 x3003 1800.06/1800.60 v x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 1800.06/1800.60 v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.06/1800.60 v -x3036 -x3037 -x3038 x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 1800.06/1800.60 v -x3052 -x3053 -x3054 -x3055 x3056 x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 1800.06/1800.60 v -x3069 -x307 -x3070 -x3071 x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 1800.06/1800.60 v -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x31 -x310 1800.06/1800.60 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 1800.06/1800.60 v -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 1800.06/1800.60 v -x3133 x3134 x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1800.06/1800.60 v -x315 x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 1800.06/1800.60 v -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 x3177 -x3178 -x3179 -x318 -x3180 -x3181 1800.06/1800.60 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 1800.06/1800.60 v -x3198 -x3199 -x32 -x320 x3200 x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211 x3212 1800.06/1800.60 v x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 1800.06/1800.60 v -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 1800.06/1800.60 v -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 1800.06/1800.60 v -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 x3272 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 1800.06/1800.60 v -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 x3288 x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 1800.06/1800.60 v -x3295 -x3296 -x3297 -x3298 -x3299 x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 1800.06/1800.60 v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.06/1800.60 v -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 1800.06/1800.60 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 1800.06/1800.60 v -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 1800.06/1800.60 v -x3375 x3376 x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 1800.06/1800.60 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 -x340 x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 1800.06/1800.60 v -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 1800.06/1800.60 v -x3423 -x3424 -x3425 x3426 x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 x3437 -x3438 -x3439 1800.06/1800.60 v -x344 -x3440 -x3441 x3442 x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 1800.06/1800.60 v -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 1800.06/1800.60 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 1800.06/1800.60 v -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 1800.06/1800.60 v x3504 x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 1800.06/1800.60 v -x3520 -x3521 x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 1800.06/1800.60 v -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 1800.06/1800.60 v -x3553 x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 1800.06/1800.60 v -x357 x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 1800.06/1800.60 v -x3586 -x3587 -x3588 -x3589 -x359 x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x36 -x360 -x3600 1800.06/1800.60 v -x3601 -x3602 -x3603 x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 1800.06/1800.60 v -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 1800.06/1800.60 v -x3634 -x3635 -x3636 x3637 x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 1800.06/1800.60 v -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 1800.06/1800.60 v -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 1800.06/1800.60 v -x3682 -x3683 -x3684 x3685 x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 1800.06/1800.60 v -x3699 x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 x3707 x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 1800.06/1800.60 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 x3728 -x3729 -x373 1800.06/1800.60 v -x3730 -x3731 -x3732 x3733 x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 x3741 x3742 x3743 x3744 -x3745 -x3746 1800.06/1800.60 v -x3747 -x3748 x3749 -x375 x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 1800.06/1800.60 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 x3769 -x377 x3770 -x3771 -x3772 x3773 x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1800.06/1800.60 v -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 x3790 x3791 -x3792 -x3793 -x3794 -x3795 1800.06/1800.60 v x3796 x3797 -x3798 -x3799 x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 1800.06/1800.60 v -x3811 x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 x3824 x3825 -x3826 -x3827 1800.06/1800.60 v -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 x3836 x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 1800.06/1800.60 v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 1800.06/1800.60 v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 x3866 x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 1800.06/1800.60 v -x3877 -x3878 -x3879 -x388 x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892 1800.06/1800.60 v -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x39 -x390 x3900 x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 1800.06/1800.60 v -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 x3918 x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924 1800.06/1800.60 v -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3936 x3937 x3938 x3939 -x394 -x3940 1800.06/1800.60 v -x3941 x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 x3952 x3953 -x3954 -x3955 -x3956 -x3957 1800.06/1800.60 v -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x397 x3970 x3971 x3972 x3973 -x398 1800.06/1800.60 v -x399 x4 x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 1800.06/1800.60 v -x418 -x419 x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 1800.06/1800.60 v -x437 -x438 -x439 x44 -x440 -x441 -x442 x443 x444 -x445 -x446 -x447 -x448 -x449 x45 -x450 -x451 x452 -x453 -x454 -x455 -x456 1800.06/1800.60 v -x457 -x458 -x459 x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x47 -x470 -x471 -x472 -x473 -x474 -x475 1800.06/1800.60 v -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x49 -x490 -x491 -x492 -x493 -x494 1800.06/1800.60 v -x495 -x496 -x497 -x498 -x499 x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x51 -x510 -x511 -x512 -x513 1800.06/1800.60 v -x514 -x515 -x516 -x517 -x518 x519 x52 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x53 -x530 -x531 -x532 -x533 1800.06/1800.60 v -x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 x55 x550 -x551 -x552 -x553 1800.06/1800.60 v -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 1800.06/1800.60 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x59 -x590 -x591 1800.06/1800.60 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x6 x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x61 -x610 1800.06/1800.60 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 -x621 -x622 -x623 -x624 x625 x626 -x627 -x628 -x629 x63 -x630 1800.06/1800.60 v -x631 -x632 -x633 -x634 x635 x636 -x637 -x638 -x639 x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 1800.06/1800.60 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 x67 x670 1800.06/1800.60 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x69 1800.06/1800.60 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1800.06/1800.60 v -x709 x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 1800.06/1800.60 v -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1800.06/1800.60 v -x747 -x748 -x749 x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 1800.06/1800.60 v -x767 -x768 -x769 x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x78 -x780 -x781 -x782 -x783 -x784 -x785 1800.06/1800.60 v -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x8 x80 -x800 -x801 -x802 -x803 -x804 1800.06/1800.60 v -x805 -x806 x807 x808 -x809 x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x82 -x820 -x821 -x822 -x823 -x824 1800.06/1800.60 v -x825 -x826 -x827 -x828 -x829 x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 x838 -x839 x84 -x840 -x841 -x842 -x843 -x844 1800.06/1800.60 v -x845 -x846 -x847 -x848 -x849 x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 x858 x859 x86 x860 -x861 -x862 -x863 -x864 1800.06/1800.60 v -x865 -x866 -x867 -x868 -x869 x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x88 -x880 -x881 -x882 -x883 1800.06/1800.60 v -x884 -x885 -x886 -x887 -x888 -x889 x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 x898 -x899 -x9 x90 -x900 -x901 -x902 1800.06/1800.60 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920 -x921 1800.06/1800.60 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 1800.06/1800.60 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x95 -x950 x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 1800.06/1800.60 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x98 1800.06/1800.60 v -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 x988 -x989 x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 163
/tmp/evaluation/459219-1178651542/instance-459219-1178651542.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-459219-1178651542 -o ROOT/results/node74/solver-459219-1178651542 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459219-1178651542/instance-459219-1178651542.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.84 0.94 0.95 3/66 25321 /proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=1872 CPUtime=0 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 313068975 1916928 244 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 468 244 84 219 0 245 0 [startup+0.100864 s] /proc/loadavg: 0.84 0.94 0.95 3/66 25321 /proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=2384 CPUtime=0.09 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 466 0 0 0 9 0 0 0 18 0 1 0 313068975 2441216 448 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 596 448 86 219 0 373 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2384 [startup+0.201872 s] /proc/loadavg: 0.84 0.94 0.95 3/66 25321 /proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=2940 CPUtime=0.19 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 601 0 0 0 18 1 0 0 18 0 1 0 313068975 3010560 534 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 735 534 102 219 0 512 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2940 [startup+0.301884 s] /proc/loadavg: 0.84 0.94 0.95 3/66 25321 /proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=3212 CPUtime=0.29 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 679 0 0 0 27 2 0 0 19 0 1 0 313068975 3289088 612 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 803 612 102 219 0 580 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3212 [startup+0.701929 s] /proc/loadavg: 0.84 0.94 0.95 3/66 25321 /proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=4144 CPUtime=0.69 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 828 0 0 0 67 2 0 0 22 0 1 0 313068975 4243456 761 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 1036 761 102 219 0 813 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4144 [startup+1.50202 s] /proc/loadavg: 0.84 0.94 0.95 2/67 25322 /proc/meminfo: memFree=1409672/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=5312 CPUtime=1.49 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 1045 0 0 0 147 2 0 0 25 0 1 0 313068975 5439488 978 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 1328 978 102 219 0 1105 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5312 [startup+3.10121 s] /proc/loadavg: 0.85 0.94 0.95 2/67 25322 /proc/meminfo: memFree=1408392/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=7360 CPUtime=3.09 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 1460 0 0 0 306 3 0 0 25 0 1 0 313068975 7536640 1393 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 1840 1393 102 219 0 1617 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7360 [startup+6.30158 s] /proc/loadavg: 0.85 0.94 0.95 2/67 25322 /proc/meminfo: memFree=1405064/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=11456 CPUtime=6.29 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 2234 0 0 0 623 6 0 0 25 0 1 0 313068975 11730944 2167 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 2864 2167 102 219 0 2641 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11456 [startup+12.7013 s] /proc/loadavg: 0.88 0.94 0.95 2/67 25322 /proc/meminfo: memFree=1399376/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=21164 CPUtime=12.68 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 3598 0 0 0 1258 10 0 0 25 0 1 0 313068975 21671936 3434 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 5291 3434 102 219 0 5068 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21164 [startup+25.5028 s] /proc/loadavg: 0.89 0.94 0.95 2/67 25322 /proc/meminfo: memFree=1395856/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=22376 CPUtime=25.48 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 4431 0 0 0 2536 12 0 0 25 0 1 0 313068975 22913024 4267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 5594 4267 102 219 0 5371 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22376 [startup+51.1028 s] /proc/loadavg: 0.93 0.94 0.95 2/67 25322 /proc/meminfo: memFree=1395088/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=23048 CPUtime=51.07 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 4624 0 0 0 5094 13 0 0 25 0 1 0 313068975 23601152 4460 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 5762 4460 102 219 0 5539 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23048 [startup+102.303 s] /proc/loadavg: 0.97 0.95 0.95 2/67 25322 /proc/meminfo: memFree=1394128/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=23832 CPUtime=102.26 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 4871 0 0 0 10211 15 0 0 25 0 1 0 313068975 24403968 4707 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 5958 4707 102 219 0 5735 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23832 [startup+162.303 s] /proc/loadavg: 0.99 0.96 0.95 2/67 25322 /proc/meminfo: memFree=1391504/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=27124 CPUtime=162.24 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 5708 0 0 0 16203 21 0 0 25 0 1 0 313068975 27774976 5351 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 6781 5351 102 219 0 6558 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 27124 [startup+222.306 s] /proc/loadavg: 0.99 0.96 0.95 2/67 25322 /proc/meminfo: memFree=1389776/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=28480 CPUtime=222.23 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 6134 0 0 0 22197 26 0 0 25 0 1 0 313068975 29163520 5777 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134548654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 7120 5777 102 219 0 6897 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28480 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1388688/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=29408 CPUtime=282.21 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 6405 0 0 0 28191 30 0 0 25 0 1 0 313068975 30113792 6048 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 7352 6048 102 219 0 7129 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 29408 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1387792/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=31720 CPUtime=342.19 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 6995 0 0 0 34186 33 0 0 25 0 1 0 313068975 32481280 6253 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 7930 6253 102 219 0 7707 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 31720 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1386832/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=32468 CPUtime=402.17 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7240 0 0 0 40179 38 0 0 25 0 1 0 313068975 33247232 6498 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 8117 6498 102 219 0 7894 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 32468 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1386064/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=33032 CPUtime=462.15 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7424 0 0 0 46172 43 0 0 25 0 1 0 313068975 33824768 6682 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 8258 6682 102 219 0 8035 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 33032 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1385360/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=33440 CPUtime=522.14 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7584 0 0 0 52168 46 0 0 25 0 1 0 313068975 34242560 6842 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 8360 6842 102 219 0 8137 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 33440 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1384784/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=33976 CPUtime=582.12 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7749 0 0 0 58164 48 0 0 25 0 1 0 313068975 34791424 7007 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 8494 7007 102 219 0 8271 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 33976 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1384208/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=34240 CPUtime=642.1 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7876 0 0 0 64159 51 0 0 25 0 1 0 313068975 35061760 7134 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 8560 7134 102 219 0 8337 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 34240 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1382160/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=38836 CPUtime=882.04 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9166 0 0 0 88133 71 0 0 25 0 1 0 313068975 39768064 7655 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555556 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 9709 7655 102 219 0 9486 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 38836 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1381648/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=39196 CPUtime=942.02 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9290 0 0 0 94127 75 0 0 25 0 1 0 313068975 40136704 7779 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 9799 7779 102 219 0 9576 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 39196 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1381008/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=39680 CPUtime=1001.99 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9456 0 0 0 100118 81 0 0 25 0 1 0 313068975 40632320 7945 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 9920 7945 102 219 0 9697 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 39680 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1380432/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=40056 CPUtime=1061.98 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9596 0 0 0 106112 86 0 0 25 0 1 0 313068975 41017344 8085 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10014 8085 102 219 0 9791 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 40056 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1379920/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=40192 CPUtime=1121.97 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9714 0 0 0 112107 90 0 0 25 0 1 0 313068975 41156608 8203 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10048 8203 102 219 0 9825 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 40192 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1379536/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=40452 CPUtime=1181.95 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9822 0 0 0 118102 93 0 0 25 0 1 0 313068975 41422848 8311 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10113 8311 102 219 0 9890 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 40452 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1378832/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=41016 CPUtime=1241.93 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9984 0 0 0 124097 96 0 0 25 0 1 0 313068975 42000384 8473 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10254 8473 102 219 0 10031 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 41016 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1378448/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=41308 CPUtime=1301.91 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10085 0 0 0 130092 99 0 0 25 0 1 0 313068975 42299392 8574 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10327 8574 102 219 0 10104 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 41308 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1377936/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=41436 CPUtime=1361.89 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10195 0 0 0 136087 102 0 0 25 0 1 0 313068975 42430464 8684 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10359 8684 102 219 0 10136 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 41436 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1377552/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=41972 CPUtime=1421.88 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10308 0 0 0 142081 107 0 0 25 0 1 0 313068975 42979328 8797 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10493 8797 102 219 0 10270 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 41972 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1377040/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=41972 CPUtime=1481.86 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10433 0 0 0 148074 112 0 0 25 0 1 0 313068975 42979328 8922 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10493 8922 102 219 0 10270 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 41972 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1376720/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=42300 CPUtime=1541.84 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10509 0 0 0 154068 116 0 0 25 0 1 0 313068975 43315200 8998 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10575 8998 102 219 0 10352 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 42300 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1376336/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=42412 CPUtime=1601.82 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10624 0 0 0 160061 121 0 0 25 0 1 0 313068975 43429888 9113 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10603 9113 102 219 0 10380 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 42412 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1375952/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=42892 CPUtime=1661.81 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10715 0 0 0 166057 124 0 0 25 0 1 0 313068975 43921408 9204 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560663 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10723 9204 102 219 0 10500 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 42892 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1375568/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=42892 CPUtime=1721.79 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10804 0 0 0 172052 127 0 0 25 0 1 0 313068975 43921408 9293 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10723 9293 102 219 0 10500 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 42892 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1375184/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=43380 CPUtime=1781.77 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10910 0 0 0 178047 130 0 0 25 0 1 0 313068975 44421120 9399 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10845 9399 102 219 0 10622 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 43380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1375056/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=43380 CPUtime=1800.06 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10935 0 0 0 179876 130 0 0 25 0 1 0 313068975 44421120 9424 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10845 9424 102 219 0 10622 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 43380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.95 2/67 25322 /proc/meminfo: memFree=1375056/2055920 swapFree=4183172/4192956 [pid=25321] ppid=25319 vsize=43380 CPUtime=1800.06 /proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10935 0 0 0 179876 130 0 0 25 0 1 0 313068975 44421120 9424 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25321/statm: 10845 9424 102 219 0 10622 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 43380 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.09 CPU user time (s): 1798.77 CPU system time (s): 1.3178 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 43380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.3178 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10938 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= 8 involuntary context switches= 1596 runsolver used 1.3118 second user time and 3.61945 second system time The end
Begin job on node74 on Tue May 8 19:12:22 UTC 2007 IDJOB= 459219 IDBENCH= 24990 IDSOLVER= 200 FILE ID= node74/459219-1178651542 PBS_JOBID= 5218415 Free space on /tmp= 103242 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459219-1178651542/instance-459219-1178651542.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-459219-1178651542 -o ROOT/results/node74/conversion-459219-1178651542 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459219-1178651542/instance-459219-1178651542.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-459219-1178651542 -o ROOT/results/node74/solver-459219-1178651542 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459219-1178651542/instance-459219-1178651542.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED= 334526682 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1413352 kB Buffers: 34812 kB Cached: 498084 kB SwapCached: 2944 kB Active: 164132 kB Inactive: 378332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1413352 kB SwapTotal: 4192956 kB SwapFree: 4183172 kB Dirty: 2764 kB Writeback: 0 kB Mapped: 15700 kB Slab: 85948 kB Committed_AS: 6927936 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103242 MiB End job on node74 on Tue May 8 19:42:25 UTC 2007