Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 45 | 1800.09 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-israel.opb |
MD5SUM | 916719a95a95b5989e5d4b5f3d786df3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of variables | 4260 |
Total number of constraints | 174 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 174 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3540 |
Number of terms in the objective function | 2670 |
Biggest coefficient in the objective function | 42742 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 526467 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262137 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527037 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb ...... 329.28/329.43 c done parsing opb. 329.28/329.43 o 104020 342.47/342.68 o 102798 400.75/400.95 o 102797 401.26/401.41 o 102759 401.65/401.82 o 102756 1412.60/1413.16 o 102739 1800.08/1800.70 s SATISFIABLE 1800.08/1800.70 v -x1 -x10 x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.08/1800.70 v -x1015 -x1016 -x1017 -x1018 -x1019 x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.08/1800.70 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.08/1800.70 v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.08/1800.70 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.08/1800.70 v -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.08/1800.70 v -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 1800.08/1800.70 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.08/1800.70 v -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 1800.08/1800.70 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.08/1800.70 v -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 1800.08/1800.70 v -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 1800.08/1800.70 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.08/1800.70 v -x1207 -x1208 -x1209 x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 x1221 -x1222 1800.08/1800.70 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1800.08/1800.70 v x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x125 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 1800.08/1800.70 v -x1256 -x1257 -x1258 -x1259 x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x127 -x1270 -x1271 1800.08/1800.70 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.08/1800.70 v -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 1800.08/1800.70 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.08/1800.70 v x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.08/1800.70 v -x1336 -x1337 x1338 -x1339 x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 1800.08/1800.70 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.08/1800.70 v -x1368 -x1369 -x137 -x1370 x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 1800.08/1800.70 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.08/1800.70 v -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 1800.08/1800.70 v -x1415 -x1416 -x1417 -x1418 -x1419 -x142 x1420 -x1421 x1422 -x1423 x1424 -x1425 x1426 x1427 x1428 -x1429 -x143 -x1430 -x1431 1800.08/1800.70 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.08/1800.70 v -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 1800.08/1800.70 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1800.08/1800.70 v -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 1800.08/1800.70 v -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 1800.08/1800.70 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x152 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 1800.08/1800.70 v -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x154 -x1540 -x1541 -x1542 -x1543 1800.08/1800.70 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x156 1800.08/1800.70 v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1800.08/1800.70 v -x1576 -x1577 -x1578 -x1579 x158 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 1800.08/1800.70 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.08/1800.70 v -x1608 -x1609 x161 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x162 -x1620 -x1621 -x1622 -x1623 1800.08/1800.70 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.08/1800.70 v x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.08/1800.70 v -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x167 -x1670 -x1671 1800.08/1800.70 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.08/1800.70 v -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 1800.08/1800.70 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.08/1800.70 v -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 1800.08/1800.70 v -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 1800.08/1800.70 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1800.08/1800.70 v -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 1800.08/1800.70 v -x1783 -x1784 x1785 x1786 -x1787 x1788 x1789 -x179 -x1790 -x1791 x1792 x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 1800.08/1800.70 v -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1800.08/1800.70 v -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 1800.08/1800.70 v -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1800.08/1800.70 v -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x186 -x1860 -x1861 -x1862 -x1863 1800.08/1800.70 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 1800.08/1800.70 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.08/1800.70 v -x1896 -x1897 -x1898 -x1899 -x19 x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 1800.08/1800.70 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.08/1800.70 v -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 1800.08/1800.70 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.08/1800.70 v -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 1800.08/1800.70 v -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 1800.08/1800.70 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 1800.08/1800.70 v -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 1800.08/1800.70 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1800.08/1800.70 v -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 1800.08/1800.70 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1800.08/1800.70 v -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1800.08/1800.70 v -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 1800.08/1800.70 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.08/1800.70 v x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 1800.08/1800.70 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.08/1800.70 v -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 1800.08/1800.70 v -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 1800.08/1800.70 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.08/1800.70 v -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 1800.08/1800.70 v -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1800.08/1800.70 v -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 1800.08/1800.70 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1800.08/1800.70 v -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1800.08/1800.70 v -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 1800.08/1800.70 v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 1800.08/1800.70 v -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 1800.08/1800.70 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.08/1800.70 v -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.08/1800.70 v -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 1800.08/1800.70 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.08/1800.70 v -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 1800.08/1800.70 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.08/1800.70 v -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.08/1800.70 v -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 1800.08/1800.70 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.08/1800.70 v -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 1800.08/1800.70 v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 1800.08/1800.70 v -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1800.08/1800.70 v -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 1800.08/1800.70 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 1800.08/1800.70 v -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 1800.08/1800.70 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 1800.08/1800.70 v -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.08/1800.70 v -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 1800.08/1800.70 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 1800.08/1800.70 v -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 1800.08/1800.70 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1800.08/1800.70 v -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.08/1800.70 v -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 1800.08/1800.70 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1800.08/1800.70 v -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 1800.08/1800.70 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.08/1800.70 v -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.08/1800.70 v -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 1800.08/1800.70 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.08/1800.70 v -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 1800.08/1800.70 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1800.08/1800.70 v -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 1800.08/1800.70 v -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 1800.08/1800.70 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.08/1800.70 v -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 1800.08/1800.70 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 1800.08/1800.70 v -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 1800.08/1800.70 v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1800.08/1800.70 v -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 1800.08/1800.70 v -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 1800.08/1800.70 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1800.08/1800.70 v -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 1800.08/1800.70 v -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 x3008 1800.08/1800.70 v -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 1800.08/1800.70 v -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 1800.08/1800.70 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1800.08/1800.70 v -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 1800.08/1800.70 v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 1800.08/1800.70 v -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 1800.08/1800.70 v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 1800.08/1800.70 v -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 1800.08/1800.70 v -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 1800.08/1800.70 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.08/1800.70 v -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 1800.08/1800.70 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1800.08/1800.70 v -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 1800.08/1800.70 v -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 1800.08/1800.70 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 1800.08/1800.70 v -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 1800.08/1800.70 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 1800.08/1800.70 v -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 1800.08/1800.70 v -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 1800.08/1800.70 v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.08/1800.70 v -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 1800.08/1800.70 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 1800.08/1800.70 v -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 1800.08/1800.70 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 1800.08/1800.70 v -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 1800.08/1800.70 v -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 1800.08/1800.70 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1800.08/1800.70 v -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 1800.08/1800.70 v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1800.08/1800.70 v -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 1800.08/1800.70 v -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 1800.08/1800.70 v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 1800.08/1800.70 v -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 1800.08/1800.70 v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 1800.08/1800.70 v -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 1800.08/1800.70 v -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 1800.08/1800.70 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 1800.08/1800.70 v -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 1800.08/1800.70 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 1800.08/1800.70 v -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 1800.08/1800.70 v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 1800.08/1800.70 v -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 1800.08/1800.70 v -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 1800.08/1800.70 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 1800.08/1800.70 v -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 1800.08/1800.70 v -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 1800.08/1800.70 v -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 1800.08/1800.70 v -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 1800.08/1800.70 v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 1800.08/1800.70 v -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 1800.08/1800.70 v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 1800.08/1800.70 v -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 1800.08/1800.70 v -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 1800.08/1800.70 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 1800.08/1800.70 v -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 1800.08/1800.70 v -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1800.08/1800.70 v -x3899 -x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x391 -x3910 x3911 -x3912 -x3913 1800.08/1800.70 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.08/1800.70 v -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 1800.08/1800.70 v -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 1800.08/1800.70 v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 1800.08/1800.70 v -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 1800.08/1800.70 v -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 1800.08/1800.70 v -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 1800.08/1800.70 v -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 1800.08/1800.70 v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 1800.08/1800.70 v -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 1800.08/1800.70 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 1800.08/1800.70 v -x4089 -x409 -x4090 -x4091 -x4092 x4093 -x4094 -x4095 -x4096 -x4097 -x4098 x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 1800.08/1800.70 v -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 1800.08/1800.70 v -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 x4127 -x4128 x4129 -x413 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 1800.08/1800.70 v -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x415 -x4150 -x4151 1800.08/1800.70 v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162 x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1800.08/1800.70 v -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 1800.08/1800.70 v -x4185 -x4186 x4187 -x4188 x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x42 -x420 1800.08/1800.70 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 x4208 -x4209 -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 1800.08/1800.70 v -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 1800.08/1800.70 v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 1800.08/1800.70 v -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x426 -x4260 -x427 -x428 -x429 -x43 1800.08/1800.70 v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 1800.08/1800.70 v -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.08/1800.70 v -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1800.08/1800.70 v -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 1800.08/1800.70 v -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 1800.08/1800.70 v -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 1800.08/1800.70 v -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 1800.08/1800.70 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 1800.08/1800.70 v -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 1800.08/1800.70 v -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 1800.08/1800.70 v -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1800.08/1800.70 v -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.08/1800.70 v -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1800.08/1800.70 v -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 1800.08/1800.70 v -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 1800.08/1800.70 v -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 1800.08/1800.70 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 1800.08/1800.70 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 1800.08/1800.70 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 1800.08/1800.70 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1800.08/1800.70 v -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.08/1800.70 v -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 1800.08/1800.70 v -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 1800.08/1800.70 v -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 1800.08/1800.70 v -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 1800.08/1800.70 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 1800.08/1800.70 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x94 -x940 1800.08/1800.70 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x96 1800.08/1800.70 v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 1800.08/1800.70 v x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 1800.08/1800.70 v -x999
OK 45
/tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node76/watcher-458541-1178634484 -o ROOT/results/node76/solver-458541-1178634484 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/69 16724 /proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=1868 CPUtime=0 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 272 0 0 0 0 0 0 0 20 0 1 0 311362975 1912832 255 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 467 255 84 219 0 244 0 [startup+0.037372 s] /proc/loadavg: 1.00 1.00 1.00 3/69 16724 /proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=2144 CPUtime=0.03 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 314 0 0 0 3 0 0 0 20 0 1 0 311362975 2195456 297 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 536 297 86 219 0 313 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2144 [startup+0.101384 s] /proc/loadavg: 1.00 1.00 1.00 3/69 16724 /proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=2548 CPUtime=0.09 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 436 0 0 0 9 0 0 0 20 0 1 0 311362975 2609152 419 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134587081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 637 419 86 219 0 414 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2548 [startup+0.301425 s] /proc/loadavg: 1.00 1.00 1.00 3/69 16724 /proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=2880 CPUtime=0.29 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 524 0 0 0 29 0 0 0 22 0 1 0 311362975 2949120 507 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 720 507 86 219 0 497 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2880 [startup+0.702499 s] /proc/loadavg: 1.00 1.00 1.00 3/69 16724 /proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=4744 CPUtime=0.69 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 998 0 0 0 69 0 0 0 25 0 1 0 311362975 4857856 881 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 1186 881 90 219 0 963 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4744 [startup+1.50165 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1471960/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=4744 CPUtime=1.49 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1000 0 0 0 149 0 0 0 25 0 1 0 311362975 4857856 883 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 1186 883 90 219 0 963 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4744 [startup+3.10196 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1471832/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=4744 CPUtime=3.09 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1007 0 0 0 309 0 0 0 25 0 1 0 311362975 4857856 890 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 1186 890 90 219 0 963 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4744 [startup+6.30158 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1471704/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=4744 CPUtime=6.29 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1037 0 0 0 629 0 0 0 25 0 1 0 311362975 4857856 920 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 1186 920 90 219 0 963 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4744 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1470496/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=6536 CPUtime=12.68 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1360 0 0 0 1268 0 0 0 25 0 1 0 311362975 6692864 1243 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 1634 1243 90 219 0 1411 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6536 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1470432/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=6536 CPUtime=25.48 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1371 0 0 0 2548 0 0 0 25 0 1 0 311362975 6692864 1254 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 1634 1254 90 219 0 1411 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 6536 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1469984/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=6536 CPUtime=51.07 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1509 0 0 0 5106 1 0 0 25 0 1 0 311362975 6692864 1392 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 1634 1392 90 219 0 1411 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6536 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1469920/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=6676 CPUtime=102.25 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1532 0 0 0 10224 1 0 0 25 0 1 0 311362975 6836224 1415 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 1669 1415 90 219 0 1446 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 6676 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1464032/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=13136 CPUtime=162.23 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 3064 0 0 0 16220 3 0 0 25 0 1 0 311362975 13451264 2947 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 3284 2947 90 219 0 3061 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 13136 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1460000/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=21544 CPUtime=222.21 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 3990 0 0 0 22216 5 0 0 25 0 1 0 311362975 22061056 3873 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5386 3873 90 219 0 5163 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 21544 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1459488/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=22252 CPUtime=282.19 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4164 0 0 0 28213 6 0 0 25 0 1 0 311362975 22786048 3998 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5563 3998 90 219 0 5340 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 22252 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1458976/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=22568 CPUtime=342.17 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4287 0 0 0 34210 7 0 0 25 0 1 0 311362975 23109632 4121 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5642 4121 102 219 0 5419 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 22568 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1457952/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=22944 CPUtime=402.15 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4551 0 0 0 40205 10 0 0 25 0 1 0 311362975 23494656 4385 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5736 4385 102 219 0 5513 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 22944 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1457760/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23208 CPUtime=462.13 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4607 0 0 0 46202 11 0 0 25 0 1 0 311362975 23764992 4441 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5802 4441 102 219 0 5579 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 23208 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1457568/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23592 CPUtime=522.11 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4709 0 0 0 52200 11 0 0 25 0 1 0 311362975 24158208 4446 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5898 4446 102 219 0 5675 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 23592 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1457568/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23592 CPUtime=582.09 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4719 0 0 0 58198 11 0 0 25 0 1 0 311362975 24158208 4456 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5898 4456 102 219 0 5675 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 23592 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1457568/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23592 CPUtime=642.07 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4721 0 0 0 64196 11 0 0 25 0 1 0 311362975 24158208 4458 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5898 4458 102 219 0 5675 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 23592 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16725 /proc/meminfo: memFree=1457248/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23836 CPUtime=881.99 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4788 0 0 0 88187 12 0 0 25 0 1 0 311362975 24408064 4525 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5959 4525 102 219 0 5736 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 23836 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1457248/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23836 CPUtime=941.96 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4789 0 0 0 94184 12 0 0 25 0 1 0 311362975 24408064 4526 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5959 4526 102 219 0 5736 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 23836 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1457120/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23836 CPUtime=1001.94 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4879 0 0 0 100182 12 0 0 25 0 1 0 311362975 24408064 4616 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5959 4616 102 219 0 5736 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 23836 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1456672/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23836 CPUtime=1061.92 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4978 0 0 0 106180 12 0 0 25 0 1 0 311362975 24408064 4715 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5959 4715 102 219 0 5736 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 23836 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1456224/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23836 CPUtime=1121.9 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5080 0 0 0 112178 12 0 0 25 0 1 0 311362975 24408064 4817 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5959 4817 102 219 0 5736 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 23836 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1455904/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23836 CPUtime=1181.88 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5174 0 0 0 118175 13 0 0 25 0 1 0 311362975 24408064 4911 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5959 4911 102 219 0 5736 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 23836 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1455456/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=23972 CPUtime=1241.86 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5271 0 0 0 124173 13 0 0 25 0 1 0 311362975 24547328 5008 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 5993 5008 102 219 0 5770 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 23972 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1455264/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24096 CPUtime=1301.85 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5317 0 0 0 130171 14 0 0 25 0 1 0 311362975 24674304 5054 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6024 5054 102 219 0 5801 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 24096 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1455200/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24096 CPUtime=1361.82 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5328 0 0 0 136168 14 0 0 25 0 1 0 311362975 24674304 5065 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6024 5065 102 219 0 5801 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 24096 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1455008/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24340 CPUtime=1421.8 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5398 0 0 0 142165 15 0 0 25 0 1 0 311362975 24924160 5135 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6085 5135 102 219 0 5862 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 24340 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1454560/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24740 CPUtime=1481.77 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5492 0 0 0 148161 16 0 0 25 0 1 0 311362975 25333760 5229 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6185 5229 102 219 0 5962 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 24740 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1454560/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24740 CPUtime=1541.76 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5502 0 0 0 154159 17 0 0 25 0 1 0 311362975 25333760 5239 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6185 5239 102 219 0 5962 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 24740 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1454496/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24740 CPUtime=1601.74 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5514 0 0 0 160157 17 0 0 25 0 1 0 311362975 25333760 5251 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6185 5251 102 219 0 5962 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 24740 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1454304/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24860 CPUtime=1661.72 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5561 0 0 0 166153 19 0 0 25 0 1 0 311362975 25456640 5298 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6215 5298 102 219 0 5992 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 24860 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1454240/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24860 CPUtime=1721.7 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5565 0 0 0 172151 19 0 0 25 0 1 0 311362975 25456640 5302 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6215 5302 102 219 0 5992 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 24860 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1454240/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24860 CPUtime=1781.68 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5570 0 0 0 178149 19 0 0 25 0 1 0 311362975 25456640 5307 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6215 5307 102 219 0 5992 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 24860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1454240/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24860 CPUtime=1800.08 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5572 0 0 0 179989 19 0 0 25 0 1 0 311362975 25456640 5309 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6215 5309 102 219 0 5992 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 24860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/70 16727 /proc/meminfo: memFree=1454240/2055888 swapFree=4087212/4096564 [pid=16724] ppid=16722 vsize=24860 CPUtime=1800.08 /proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5572 0 0 0 179989 19 0 0 25 0 1 0 311362975 25456640 5309 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16724/statm: 6215 5309 102 219 0 5992 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 24860 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.09 CPU user time (s): 1799.89 CPU system time (s): 0.19697 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 24860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.19697 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5575 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= 1995 runsolver used 1.66175 second user time and 3.2605 second system time The end
Begin job on node76 on Tue May 8 14:28:04 UTC 2007 IDJOB= 458541 IDBENCH= 1655 IDSOLVER= 200 FILE ID= node76/458541-1178634484 PBS_JOBID= 5218302 Free space on /tmp= 66649 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node76/convwatcher-458541-1178634484 -o ROOT/results/node76/conversion-458541-1178634484 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-458541-1178634484 -o ROOT/results/node76/solver-458541-1178634484 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 916719a95a95b5989e5d4b5f3d786df3 RANDOM SEED= 591205356 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277 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 : 6006.17 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.277 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1475896 kB Buffers: 38488 kB Cached: 431284 kB SwapCached: 3032 kB Active: 88500 kB Inactive: 391400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1475896 kB SwapTotal: 4096564 kB SwapFree: 4087212 kB Dirty: 2852 kB Writeback: 0 kB Mapped: 16112 kB Slab: 86556 kB Committed_AS: 5765592 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66649 MiB End job on node76 on Tue May 8 14:58:07 UTC 2007