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