Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 151 | 1800.06 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
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 | 26.8039 |
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 | 4666 |
Total number of constraints | 12693 |
Number of constraints which are clauses | 12693 |
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 | 2273 |
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 | 2273 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2273 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459211-1178651425/instance-459211-1178651425.opb ...... 0.09/0.17 c done parsing opb. 0.09/0.17 o 187 0.09/0.18 o 186 0.09/0.18 o 185 0.09/0.19 o 184 0.49/0.50 o 183 105.25/105.34 o 178 105.25/105.35 o 153 1096.19/1096.66 o 152 1426.97/1427.52 o 151 1800.03/1800.71 s SATISFIABLE 1800.03/1800.71 v -x1 x10 x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.03/1800.71 v -x1015 -x1016 -x1017 -x1018 -x1019 x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x103 -x1030 1800.03/1800.71 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.03/1800.71 v -x1048 -x1049 x105 x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.03/1800.71 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.03/1800.71 v x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 x1090 x1091 -x1092 -x1093 -x1094 -x1095 1800.03/1800.71 v -x1096 -x1097 -x1098 -x1099 x11 x110 -x1100 -x1101 x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x111 -x1110 -x1111 1800.03/1800.71 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 -x1128 1800.03/1800.71 v -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144 1800.03/1800.71 v -x1145 -x1146 -x1147 -x1148 -x1149 x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160 1800.03/1800.71 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x117 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.03/1800.71 v -x1178 -x1179 x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x119 -x1190 -x1191 -x1192 -x1193 1800.03/1800.71 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.03/1800.71 v x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x122 -x1220 -x1221 -x1222 x1223 x1224 -x1225 1800.03/1800.71 v -x1226 -x1227 -x1228 -x1229 x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x124 -x1240 -x1241 1800.03/1800.71 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1800.03/1800.71 v -x1258 -x1259 x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 1800.03/1800.71 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 1800.03/1800.71 v -x1290 x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 x13 -x130 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 1800.03/1800.71 v -x1307 -x1308 -x1309 x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x132 -x1320 -x1321 -x1322 1800.03/1800.71 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 x1339 1800.03/1800.71 v x134 -x1340 -x1341 x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 1800.03/1800.71 v -x1356 -x1357 x1358 x1359 x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 -x1368 -x1369 x137 -x1370 -x1371 -x1372 1800.03/1800.71 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.03/1800.71 v -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x14 x140 -x1400 x1401 x1402 -x1403 -x1404 1800.03/1800.71 v -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 x142 x1420 1800.03/1800.71 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 1800.03/1800.71 v -x1437 -x1438 -x1439 x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x145 -x1450 -x1451 -x1452 1800.03/1800.71 v x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1800.03/1800.71 v -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1800.03/1800.71 v -x1486 -x1487 -x1488 -x1489 x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x15 -x150 -x1500 1800.03/1800.71 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.03/1800.71 v -x1518 x1519 x152 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 1800.03/1800.71 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x155 1800.03/1800.71 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.03/1800.71 v -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 1800.03/1800.71 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x159 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1800.03/1800.71 v x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x161 -x1610 -x1611 -x1612 -x1613 -x1614 1800.03/1800.71 v -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 1800.03/1800.71 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 1800.03/1800.71 v -x1648 -x1649 -x165 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 1800.03/1800.71 v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x168 1800.03/1800.71 v -x1680 -x1681 -x1682 -x1683 x1684 x1685 -x1686 -x1687 -x1688 -x1689 x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 1800.03/1800.71 v -x1697 -x1698 -x1699 x17 x170 -x1700 -x1701 -x1702 -x1703 x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 1800.03/1800.71 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.03/1800.71 v -x173 x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 1800.03/1800.71 v -x1746 -x1747 -x1748 -x1749 x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x176 -x1760 -x1761 1800.03/1800.71 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.03/1800.71 v -x1778 -x1779 x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 x179 x1790 -x1791 -x1792 -x1793 1800.03/1800.71 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x18 x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 1800.03/1800.71 v x181 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.03/1800.71 v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 1800.03/1800.71 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.03/1800.71 v -x1859 x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x187 -x1870 -x1871 -x1872 -x1873 -x1874 1800.03/1800.71 v x1875 x1876 -x1877 -x1878 -x1879 x188 -x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x189 -x1890 -x1891 1800.03/1800.71 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.03/1800.71 v -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 1800.03/1800.71 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 1800.03/1800.71 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.03/1800.71 v -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 1800.03/1800.71 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1800.03/1800.71 v -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 x20 -x200 -x2000 -x2001 -x2002 -x2003 1800.03/1800.71 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1800.03/1800.71 v -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 1800.03/1800.71 v -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 1800.03/1800.71 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.03/1800.71 v -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 1800.03/1800.71 v -x2084 -x2085 -x2086 x2087 x2088 -x2089 -x209 -x2090 x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x21 -x210 1800.03/1800.71 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.03/1800.71 v -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 1800.03/1800.71 v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 x2144 x2145 -x2146 -x2147 x2148 1800.03/1800.71 v x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 1800.03/1800.71 v -x2165 -x2166 x2167 x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 1800.03/1800.71 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.03/1800.71 v x2197 x2198 -x2199 x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 x2211 x2212 1800.03/1800.71 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 1800.03/1800.71 v -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 1800.03/1800.71 v -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 x2256 -x2257 -x2258 -x2259 -x226 -x2260 1800.03/1800.71 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 x2276 -x2277 1800.03/1800.71 v -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x229 x2290 -x2291 -x2292 -x2293 1800.03/1800.71 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1800.03/1800.71 v -x231 -x2310 -x2311 -x2312 x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1800.03/1800.71 v -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 x2332 x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 1800.03/1800.71 v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.03/1800.71 v -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 1800.03/1800.71 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 1800.03/1800.71 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.03/1800.71 v -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 1800.03/1800.71 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1800.03/1800.71 v -x2439 -x244 -x2440 -x2441 -x2442 -x2443 x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 1800.03/1800.71 v -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 1800.03/1800.71 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 x2481 x2482 -x2483 -x2484 -x2485 -x2486 x2487 1800.03/1800.71 v x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x25 -x250 -x2500 -x2501 -x2502 1800.03/1800.71 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1800.03/1800.71 v -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 1800.03/1800.71 v -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 1800.03/1800.71 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 x2567 1800.03/1800.71 v -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 1800.03/1800.71 v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1800.03/1800.71 v -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 x2613 x2614 1800.03/1800.71 v -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 1800.03/1800.71 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.03/1800.71 v -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 x2661 x2662 -x2663 1800.03/1800.71 v -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1800.03/1800.71 v -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1800.03/1800.71 v -x2696 -x2697 -x2698 -x2699 x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 1800.03/1800.71 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.03/1800.71 v -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 1800.03/1800.71 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 x2757 -x2758 -x2759 1800.03/1800.71 v -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.03/1800.71 v -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 1800.03/1800.71 v -x2792 x2793 x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x28 -x280 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1800.03/1800.71 v -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 1800.03/1800.71 v -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 1800.03/1800.71 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1800.03/1800.71 v -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 x2863 x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x287 x2870 -x2871 1800.03/1800.71 v -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 1800.03/1800.71 v -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x29 -x290 x2900 -x2901 -x2902 1800.03/1800.71 v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1800.03/1800.71 v x2919 -x292 x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 x2933 x2934 1800.03/1800.71 v -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 1800.03/1800.71 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 1800.03/1800.71 v -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x298 -x2980 -x2981 -x2982 1800.03/1800.71 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1800.03/1800.71 v x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 x3010 x3011 -x3012 -x3013 -x3014 1800.03/1800.71 v -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 1800.03/1800.71 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 1800.03/1800.71 v -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 1800.03/1800.71 v -x3064 -x3065 -x3066 x3067 x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 1800.03/1800.71 v -x3080 -x3081 -x3082 x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1800.03/1800.71 v -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 1800.03/1800.71 v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 1800.03/1800.71 v -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 x3135 x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 1800.03/1800.71 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x316 1800.03/1800.71 v x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 1800.03/1800.71 v -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 1800.03/1800.71 v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 1800.03/1800.71 v -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 1800.03/1800.71 v -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 1800.03/1800.71 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 1800.03/1800.71 v -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 1800.03/1800.71 v -x3273 -x3274 x3275 x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 1800.03/1800.71 v -x329 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 1800.03/1800.71 v -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 x3318 -x3319 -x332 -x3320 1800.03/1800.71 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 1800.03/1800.71 v -x3337 -x3338 -x3339 -x334 -x3340 x3341 x3342 -x3343 -x3344 x3345 x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 1800.03/1800.71 v -x3353 -x3354 -x3355 -x3356 -x3357 x3358 x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 1800.03/1800.71 v -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 1800.03/1800.71 v -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 -x340 -x3400 1800.03/1800.71 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 1800.03/1800.71 v -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x343 x3430 -x3431 -x3432 1800.03/1800.71 v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 1800.03/1800.71 v -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 1800.03/1800.71 v -x3465 -x3466 -x3467 -x3468 -x3469 -x347 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 1800.03/1800.71 v -x3481 x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1800.03/1800.71 v -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 x3512 1800.03/1800.71 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 1800.03/1800.71 v -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 1800.03/1800.71 v -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 1800.03/1800.71 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 1800.03/1800.71 v -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 1800.03/1800.71 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x36 -x360 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 1800.03/1800.71 v -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 1800.03/1800.71 v -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 1800.03/1800.71 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1800.03/1800.71 v -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 1800.03/1800.71 v -x3673 x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 1800.03/1800.71 v -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 1800.03/1800.71 v -x3705 -x3706 -x3707 -x3708 x3709 -x371 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 1800.03/1800.71 v -x3721 -x3722 x3723 x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 1800.03/1800.71 v -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 1800.03/1800.71 v -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x376 x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 1800.03/1800.71 v -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 1800.03/1800.71 v -x3786 -x3787 -x3788 -x3789 -x379 -x3790 x3791 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x38 -x380 -x3800 1800.03/1800.71 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 1800.03/1800.71 v -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 1800.03/1800.71 v -x3833 x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 1800.03/1800.71 v -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 1800.03/1800.71 v -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 1800.03/1800.71 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1800.03/1800.71 v -x3898 -x3899 x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 x3906 x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 1800.03/1800.71 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 1800.03/1800.71 v -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940 -x3941 x3942 x3943 -x3944 1800.03/1800.71 v -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 1800.03/1800.71 v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 1800.03/1800.71 v -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 x3986 x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 1800.03/1800.71 v -x3993 -x3994 -x3995 -x3996 -x3997 x3998 x3999 -x4 x40 -x400 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 1800.03/1800.71 v -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 1800.03/1800.71 v -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 1800.03/1800.71 v -x4041 -x4042 -x4043 -x4044 -x4045 x4046 x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 1800.03/1800.71 v x4058 x4059 -x406 x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 1800.03/1800.71 v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 1800.03/1800.71 v -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 1800.03/1800.71 v -x4105 -x4106 -x4107 -x4108 -x4109 -x411 x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 1800.03/1800.71 v -x4121 -x4122 x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 1800.03/1800.71 v -x4138 -x4139 -x414 -x4140 -x4141 -x4142 x4143 x4144 -x4145 -x4146 x4147 x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 1800.03/1800.71 v x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 1800.03/1800.71 v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 x4177 x4178 x4179 -x418 x4180 x4181 x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1800.03/1800.71 v -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x42 -x420 -x4200 -x4201 -x4202 1800.03/1800.71 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1800.03/1800.71 v -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 1800.03/1800.71 v -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 x4249 -x425 -x4250 1800.03/1800.71 v -x4251 x4252 x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1800.03/1800.71 v -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 1800.03/1800.71 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x429 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 x4296 -x4297 -x4298 -x4299 x43 1800.03/1800.71 v -x430 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 x4313 x4314 -x4315 1800.03/1800.71 v -x4316 -x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 1800.03/1800.71 v -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x434 -x4340 x4341 x4342 x4343 -x4344 -x4345 -x4346 -x4347 -x4348 1800.03/1800.71 v -x4349 -x435 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 1800.03/1800.71 v -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 1800.03/1800.71 v -x4381 -x4382 -x4383 x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1800.03/1800.71 v -x4398 -x4399 -x44 -x440 -x4400 -x4401 -x4402 -x4403 x4404 x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 1800.03/1800.71 v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442 -x4420 x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 1800.03/1800.71 v -x443 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 1800.03/1800.71 v -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 x4460 x4461 1800.03/1800.71 v x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 x4476 -x4477 -x4478 1800.03/1800.71 v -x4479 -x448 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 x4494 1800.03/1800.71 v x4495 -x4496 -x4497 -x4498 -x4499 x45 -x450 -x4500 -x4501 -x4502 x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 1800.03/1800.71 v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 x4521 x4522 -x4523 -x4524 -x4525 -x4526 -x4527 1800.03/1800.71 v -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 x4536 x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542 -x4543 1800.03/1800.71 v -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 1800.03/1800.71 v -x456 -x4560 -x4561 -x4562 x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 1800.03/1800.71 v x4576 -x4577 -x4578 x4579 -x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 x4589 -x459 x4590 -x4591 1800.03/1800.71 v -x4592 -x4593 -x4594 -x4595 -x4596 x4597 x4598 -x4599 x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 1800.03/1800.71 v -x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 x4618 x4619 -x462 -x4620 -x4621 -x4622 -x4623 1800.03/1800.71 v -x4624 -x4625 x4626 x4627 -x4628 -x4629 -x463 -x4630 -x4631 x4632 x4633 -x4634 -x4635 x4636 -x4637 -x4638 -x4639 -x464 1800.03/1800.71 v -x4640 -x4641 x4642 x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 1800.03/1800.71 v -x4657 -x4658 -x4659 -x466 x4660 -x4661 -x4662 x4663 x4664 x4665 x4666 -x467 -x468 -x469 -x47 x470 x471 -x472 -x473 -x474 1800.03/1800.71 v -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 1800.03/1800.71 v -x494 -x495 -x496 -x497 -x498 -x499 x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x51 -x510 -x511 -x512 1800.03/1800.71 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x53 -x530 -x531 1800.03/1800.71 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x55 -x550 1800.03/1800.71 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x57 1800.03/1800.71 v -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.03/1800.71 v x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.03/1800.71 v -x609 x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1800.03/1800.71 v -x628 -x629 x63 -x630 -x631 -x632 -x633 x634 x635 -x636 -x637 -x638 -x639 x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 1800.03/1800.71 v -x648 -x649 -x65 -x650 -x651 x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 1800.03/1800.71 v -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x68 -x680 -x681 x682 x683 -x684 -x685 -x686 -x687 1800.03/1800.71 v -x688 -x689 x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x7 -x70 -x700 -x701 x702 x703 -x704 -x705 -x706 1800.03/1800.71 v -x707 -x708 -x709 x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x72 -x720 -x721 -x722 -x723 -x724 -x725 1800.03/1800.71 v -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x74 -x740 -x741 -x742 -x743 -x744 1800.03/1800.71 v -x745 -x746 -x747 -x748 -x749 x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x76 -x760 -x761 -x762 -x763 1800.03/1800.71 v -x764 -x765 -x766 -x767 -x768 -x769 x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 1800.03/1800.71 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x8 x80 -x800 -x801 1800.03/1800.71 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x82 -x820 1800.03/1800.71 v -x821 -x822 -x823 x824 x825 -x826 -x827 -x828 -x829 x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 1800.03/1800.71 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x86 1800.03/1800.71 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 1800.03/1800.71 v -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.03/1800.71 v -x899 x9 x90 -x900 -x901 -x902 -x903 x904 x905 -x906 -x907 -x908 -x909 x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 1800.03/1800.71 v -x918 -x919 x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 1800.03/1800.71 v -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x95 -x950 -x951 -x952 -x953 -x954 -x955 1800.03/1800.71 v -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 x964 x965 -x966 -x967 -x968 -x969 x97 -x970 -x971 -x972 -x973 -x974 -x975 1800.03/1800.71 v -x976 -x977 -x978 -x979 -x98 -x980 -x981 x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 1800.03/1800.71 v -x995 -x996 -x997 -x998 -x999
OK 151
/tmp/evaluation/459211-1178651425/instance-459211-1178651425.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-459211-1178651425 -o ROOT/results/node10/solver-459211-1178651425 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459211-1178651425/instance-459211-1178651425.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28175 /proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=1912 CPUtime=0 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 341180007 1957888 267 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 478 267 84 219 0 255 0 [startup+0.0908089 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28175 /proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=2592 CPUtime=0.08 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 478 0 0 0 8 0 0 0 18 0 1 0 341180007 2654208 460 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 648 460 86 219 0 425 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2592 [startup+0.10181 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28175 /proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=2592 CPUtime=0.09 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 494 0 0 0 9 0 0 0 18 0 1 0 341180007 2654208 476 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 648 476 86 219 0 425 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2592 [startup+0.301854 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28175 /proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=3400 CPUtime=0.29 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 723 0 0 0 28 1 0 0 19 0 1 0 341180007 3481600 656 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 850 656 102 219 0 627 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3400 [startup+0.701939 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28175 /proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=4196 CPUtime=0.69 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 872 0 0 0 68 1 0 0 23 0 1 0 341180007 4296704 805 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 1049 805 102 219 0 826 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4196 [startup+1.50211 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1791232/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=5788 CPUtime=1.49 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 1094 0 0 0 147 2 0 0 25 0 1 0 341180007 5926912 1027 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 1447 1027 102 219 0 1224 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5788 [startup+3.10146 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1790336/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=5788 CPUtime=3.09 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 1286 0 0 0 307 2 0 0 25 0 1 0 341180007 5926912 1219 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 1447 1219 102 219 0 1224 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5788 [startup+6.30115 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1788736/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=7836 CPUtime=6.29 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 1626 0 0 0 627 2 0 0 25 0 1 0 341180007 8024064 1559 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557418 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 1959 1559 102 219 0 1736 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7836 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1786048/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=12452 CPUtime=12.69 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 2403 0 0 0 1265 4 0 0 25 0 1 0 341180007 12750848 2239 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134546290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 3113 2239 102 219 0 2890 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12452 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1780160/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=21348 CPUtime=25.48 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 3801 0 0 0 2542 6 0 0 25 0 1 0 341180007 21860352 3637 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 5337 3637 102 219 0 5114 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21348 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1772608/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=23980 CPUtime=51.07 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 5649 0 0 0 5097 10 0 0 25 0 1 0 341180007 24555520 5485 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 5995 5485 102 219 0 5772 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23980 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1770496/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=25968 CPUtime=102.25 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 6193 0 0 0 10210 15 0 0 25 0 1 0 341180007 26591232 6029 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 6492 6029 102 219 0 6269 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 25968 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1768576/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=28600 CPUtime=162.23 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 6866 0 0 0 16202 21 0 0 25 0 1 0 341180007 29286400 6509 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 7150 6509 102 219 0 6927 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 28600 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1767104/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=29708 CPUtime=222.21 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 7217 0 0 0 22197 24 0 0 25 0 1 0 341180007 30420992 6860 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 7427 6860 102 219 0 7204 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 29708 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1766144/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=30468 CPUtime=282.18 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 7446 0 0 0 28192 26 0 0 25 0 1 0 341180007 31199232 7089 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 7617 7089 102 219 0 7394 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 30468 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1764864/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=33124 CPUtime=342.16 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8142 0 0 0 34185 31 0 0 25 0 1 0 341180007 33918976 7400 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 8281 7400 102 219 0 8058 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 33124 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1764224/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=33612 CPUtime=402.14 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8294 0 0 0 40179 35 0 0 25 0 1 0 341180007 34418688 7552 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 8403 7552 102 219 0 8180 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 33612 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1763520/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=33956 CPUtime=462.12 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8457 0 0 0 46174 38 0 0 25 0 1 0 341180007 34770944 7715 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 8489 7715 102 219 0 8266 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 33956 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1762880/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=34456 CPUtime=522.09 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8598 0 0 0 52167 42 0 0 25 0 1 0 341180007 35282944 7856 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 8614 7856 102 219 0 8391 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 34456 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1762432/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=34736 CPUtime=582.07 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8703 0 0 0 58161 46 0 0 25 0 1 0 341180007 35569664 7961 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 8684 7961 102 219 0 8461 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 34736 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1761792/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=35004 CPUtime=642.06 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8849 0 0 0 64155 51 0 0 25 0 1 0 341180007 35844096 8107 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 8751 8107 102 219 0 8528 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 35004 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1758528/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=40644 CPUtime=881.96 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10378 0 0 0 88129 67 0 0 25 0 1 0 341180007 41619456 8867 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10161 8867 102 219 0 9938 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 40644 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1758016/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=40748 CPUtime=941.94 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10481 0 0 0 94124 70 0 0 25 0 1 0 341180007 41725952 8970 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10187 8970 102 219 0 9964 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 40748 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1757312/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=41112 CPUtime=1001.93 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10652 0 0 0 100116 77 0 0 25 0 1 0 341180007 42098688 9141 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10278 9141 102 219 0 10055 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 41112 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1756992/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=41492 CPUtime=1061.9 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10723 0 0 0 106111 79 0 0 25 0 1 0 341180007 42487808 9212 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10373 9212 102 219 0 10150 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 41492 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1756480/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=41628 CPUtime=1121.87 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10846 0 0 0 112104 83 0 0 25 0 1 0 341180007 42627072 9335 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10407 9335 102 219 0 10184 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 41628 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1755840/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=42024 CPUtime=1181.85 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10983 0 0 0 118098 87 0 0 25 0 1 0 341180007 43032576 9472 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10506 9472 102 219 0 10283 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 42024 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1755520/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=42300 CPUtime=1241.83 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11058 0 0 0 124093 90 0 0 25 0 1 0 341180007 43315200 9547 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10575 9547 102 219 0 10352 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 42300 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1755008/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=42436 CPUtime=1301.82 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11179 0 0 0 130087 95 0 0 25 0 1 0 341180007 43454464 9668 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10609 9668 102 219 0 10386 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 42436 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1754560/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=42836 CPUtime=1361.79 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11269 0 0 0 136081 98 0 0 25 0 1 0 341180007 43864064 9758 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10709 9758 102 219 0 10486 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 42836 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1754240/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=42836 CPUtime=1421.77 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11349 0 0 0 142077 100 0 0 25 0 1 0 341180007 43864064 9838 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10709 9838 102 219 0 10486 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 42836 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1753664/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=43280 CPUtime=1481.75 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11485 0 0 0 148067 108 0 0 25 0 1 0 341180007 44318720 9974 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10820 9974 102 219 0 10597 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 43280 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28176 /proc/meminfo: memFree=1753088/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=43740 CPUtime=1541.72 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11627 0 0 0 154058 114 0 0 25 0 1 0 341180007 44789760 10116 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10935 10116 102 219 0 10712 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 43740 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 3/78 28176 /proc/meminfo: memFree=1752640/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=43868 CPUtime=1601.7 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11727 0 0 0 160053 117 0 0 25 0 1 0 341180007 44920832 10216 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10967 10216 102 219 0 10744 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 43868 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28178 /proc/meminfo: memFree=1752320/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=43968 CPUtime=1661.68 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11793 0 0 0 166049 119 0 0 25 0 1 0 341180007 45023232 10282 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 10992 10282 102 219 0 10769 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 43968 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28178 /proc/meminfo: memFree=1751808/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=44316 CPUtime=1721.65 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11920 0 0 0 172042 123 0 0 25 0 1 0 341180007 45379584 10409 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 11079 10409 102 219 0 10856 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 44316 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28178 /proc/meminfo: memFree=1751360/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=44408 CPUtime=1781.63 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 12010 0 0 0 178036 127 0 0 25 0 1 0 341180007 45473792 10499 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 11102 10499 102 219 0 10879 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 44408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28178 /proc/meminfo: memFree=1751104/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=44780 CPUtime=1800.03 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 12074 0 0 0 179873 130 0 0 25 0 1 0 341180007 45854720 10563 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 11195 10563 102 219 0 10972 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 44780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28178 /proc/meminfo: memFree=1751104/2055920 swapFree=4145576/4192956 [pid=28175] ppid=28173 vsize=44780 CPUtime=1800.03 /proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 12074 0 0 0 179873 130 0 0 25 0 1 0 341180007 45854720 10563 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28175/statm: 11195 10563 102 219 0 10972 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 44780 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.06 CPU user time (s): 1798.74 CPU system time (s): 1.3158 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 44780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.74 system time used= 1.3158 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12077 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= 3222 runsolver used 1.40379 second user time and 3.77543 second system time The end
Begin job on node10 on Tue May 8 19:10:25 UTC 2007 IDJOB= 459211 IDBENCH= 24982 IDSOLVER= 200 FILE ID= node10/459211-1178651425 PBS_JOBID= 5217834 Free space on /tmp= 66561 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459211-1178651425/instance-459211-1178651425.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-459211-1178651425 -o ROOT/results/node10/conversion-459211-1178651425 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459211-1178651425/instance-459211-1178651425.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-459211-1178651425 -o ROOT/results/node10/solver-459211-1178651425 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459211-1178651425/instance-459211-1178651425.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED= 877128756 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1794976 kB Buffers: 17128 kB Cached: 161728 kB SwapCached: 15556 kB Active: 102464 kB Inactive: 99304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1794976 kB SwapTotal: 4192956 kB SwapFree: 4145576 kB Dirty: 2632 kB Writeback: 0 kB Mapped: 30028 kB Slab: 44752 kB Committed_AS: 5195072 kB PageTables: 1708 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66561 MiB End job on node10 on Tue May 8 19:40:28 UTC 2007