Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 18367 | 1800.07 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb |
MD5SUM | 83e4cddd78ca4f87cfb13af1d930e0cc |
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 | 8781 |
Best CPU time to get the best result obtained on this benchmark | 44.9172 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8781 |
Optimality of the best value was proved | YES |
Number of variables | 3945 |
Total number of constraints | 8604 |
Number of constraints which are clauses | 8604 |
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 | 59 |
Number of terms in the objective function | 1872 |
Biggest coefficient in the objective function | 365 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 525162 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 365 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 525162 |
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/459192-1178651180/instance-459192-1178651180.opb ...... 0.09/0.11 c done parsing opb. 0.09/0.11 o 72693 0.09/0.11 o 72171 0.09/0.13 o 72149 0.09/0.13 o 58779 0.09/0.14 o 58718 0.09/0.14 o 58690 0.09/0.16 o 58663 0.09/0.17 o 58525 0.09/0.17 o 58514 0.09/0.18 o 58504 0.09/0.20 o 58502 0.19/0.20 o 45970 0.19/0.21 o 45649 0.19/0.21 o 45414 0.19/0.22 o 44028 0.19/0.22 o 43707 0.19/0.23 o 43465 0.19/0.23 o 43433 0.19/0.23 o 43191 0.19/0.24 o 43175 0.19/0.24 o 43160 0.19/0.25 o 42387 0.19/0.25 o 42376 0.19/0.28 o 42374 96.17/96.27 o 42346 126.55/126.66 o 36592 126.55/126.66 o 34974 126.55/126.66 o 34377 126.55/126.67 o 34150 126.55/126.67 o 34085 126.55/126.68 o 33858 126.55/126.68 o 33840 126.55/126.68 o 33613 126.55/126.69 o 33576 126.55/126.69 o 33558 126.55/126.69 o 33331 126.55/126.70 o 33321 126.66/126.70 o 33284 126.66/126.70 o 33266 126.66/126.71 o 33039 126.66/126.71 o 32991 126.66/126.71 o 32981 126.66/126.72 o 32944 126.66/126.72 o 32926 126.66/126.72 o 32699 126.66/126.72 o 32696 126.66/126.73 o 32678 126.66/126.73 o 32451 126.66/126.73 o 32422 126.66/126.74 o 32419 126.66/126.74 o 32401 126.66/126.74 o 32174 126.66/126.75 o 32170 126.66/126.75 o 20336 126.66/126.75 o 20011 126.66/126.76 o 19784 126.66/126.76 o 19748 126.66/126.76 o 19521 126.66/126.77 o 19472 126.66/126.77 o 19436 126.66/126.77 o 19209 126.66/126.77 o 19173 126.66/126.78 o 18946 126.66/126.78 o 18925 126.66/126.78 o 18698 126.66/126.78 o 18674 126.66/126.79 o 18653 126.66/126.79 o 18426 126.66/126.79 o 18367 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 1800.05/1800.50 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.05/1800.50 v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 1800.05/1800.50 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.05/1800.50 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x114 -x1140 -x1141 1800.05/1800.50 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.05/1800.50 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 1800.05/1800.50 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1800.05/1800.50 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 1800.05/1800.50 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 1800.05/1800.50 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.05/1800.50 v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 1800.05/1800.50 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.05/1800.50 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 1800.05/1800.50 v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 1800.05/1800.50 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.05/1800.50 v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 1800.05/1800.50 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.05/1800.50 v -x1348 -x1349 x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 1800.05/1800.50 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.05/1800.50 v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.05/1800.50 v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 1800.05/1800.50 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.05/1800.50 v -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 1800.05/1800.50 v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.05/1800.50 v -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 -x1469 x147 -x1470 -x1471 -x1472 -x1473 -x1474 1800.05/1800.50 v -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 1800.05/1800.50 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.05/1800.50 v -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 1800.05/1800.50 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1800.05/1800.50 v -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 1800.05/1800.50 v -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 1800.05/1800.50 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.05/1800.50 v -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x16 -x160 -x1600 -x1601 1800.05/1800.50 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.05/1800.50 v -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 1800.05/1800.50 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 -x165 1800.05/1800.50 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 1800.05/1800.50 v -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 1800.05/1800.50 v -x1682 -x1683 -x1684 -x1685 -x1686 x1687 x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.05/1800.50 v -x1699 -x17 -x170 -x1700 x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 1800.05/1800.50 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.05/1800.50 v -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 1800.05/1800.50 v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 1800.05/1800.50 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.05/1800.50 v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 x1792 x1793 1800.05/1800.50 v x1794 -x1795 x1796 -x1797 x1798 -x1799 x18 -x180 x1800 -x1801 x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 1800.05/1800.50 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.05/1800.50 v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 1800.05/1800.50 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.05/1800.50 v -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 1800.05/1800.50 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.05/1800.50 v -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 1800.05/1800.50 v -x1905 -x1906 -x1907 -x1908 -x1909 x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x192 -x1920 1800.05/1800.50 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1800.05/1800.50 v -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 1800.05/1800.50 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1800.05/1800.50 v -x1969 x197 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 1800.05/1800.50 v -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 1800.05/1800.50 v -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.05/1800.50 v -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 1800.05/1800.50 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.05/1800.50 v -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 1800.05/1800.50 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1800.05/1800.50 v -x208 -x2080 -x2081 -x2082 x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.05/1800.50 v -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 1800.05/1800.50 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.05/1800.50 v -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x214 -x2140 -x2141 -x2142 -x2143 1800.05/1800.50 v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x216 1800.05/1800.50 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.05/1800.50 v -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 1800.05/1800.50 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1800.05/1800.50 v -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 1800.05/1800.50 v -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 1800.05/1800.50 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1800.05/1800.50 v -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 1800.05/1800.50 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1800.05/1800.50 v -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 1800.05/1800.50 v -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 1800.05/1800.50 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1800.05/1800.50 v -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 1800.05/1800.50 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1800.05/1800.50 v -x2369 -x237 -x2370 -x2371 x2372 -x2373 x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x238 x2380 -x2381 -x2382 -x2383 -x2384 1800.05/1800.50 v -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 1800.05/1800.50 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 1800.05/1800.50 v -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 1800.05/1800.50 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 x2443 x2444 -x2445 -x2446 x2447 x2448 1800.05/1800.50 v -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 1800.05/1800.50 v -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 1800.05/1800.50 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.05/1800.50 v -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 1800.05/1800.50 v -x2512 x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 1800.05/1800.50 v -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 1800.05/1800.50 v -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 1800.05/1800.50 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.05/1800.50 v -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 1800.05/1800.50 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1800.05/1800.50 v -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 x2617 x2618 -x2619 -x262 -x2620 -x2621 -x2622 x2623 x2624 1800.05/1800.50 v -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 1800.05/1800.50 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.05/1800.50 v -x2658 -x2659 x266 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 x2666 x2667 x2668 -x2669 -x267 -x2670 x2671 x2672 -x2673 -x2674 1800.05/1800.50 v -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 1800.05/1800.50 v -x2691 -x2692 -x2693 -x2694 x2695 x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.05/1800.50 v -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 1800.05/1800.50 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1800.05/1800.50 v -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 1800.05/1800.50 v -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 1800.05/1800.50 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 1800.05/1800.50 v -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 1800.05/1800.50 v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 1800.05/1800.50 v -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 1800.05/1800.50 v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1800.05/1800.50 v -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1800.05/1800.50 v -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 1800.05/1800.50 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.05/1800.50 v -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 1800.05/1800.50 v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 1800.05/1800.50 v -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 1800.05/1800.50 v -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 1800.05/1800.50 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 1800.05/1800.50 v -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 1800.05/1800.50 v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 1800.05/1800.50 v -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 1800.05/1800.50 v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1800.05/1800.50 v -x304 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 1800.05/1800.50 v -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 1800.05/1800.50 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1800.05/1800.50 v -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 1800.05/1800.50 v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 1800.05/1800.50 v -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 1800.05/1800.50 v -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 1800.05/1800.50 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 1800.05/1800.50 v -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 1800.05/1800.50 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 1800.05/1800.50 v -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 x3207 -x3208 -x3209 -x321 -x3210 -x3211 x3212 x3213 -x3214 1800.05/1800.50 v -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 1800.05/1800.50 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 1800.05/1800.50 v -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 1800.05/1800.50 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 1800.05/1800.50 v -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 1800.05/1800.50 v -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 1800.05/1800.50 v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.05/1800.50 v -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 1800.05/1800.50 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 1800.05/1800.50 v -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 1800.05/1800.50 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 1800.05/1800.50 v -x339 -x3390 -x3391 x3392 x3393 -x3394 -x3395 -x3396 -x3397 x3398 x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 1800.05/1800.50 v -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 1800.05/1800.50 v -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 1800.05/1800.50 v -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 1800.05/1800.50 v -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 1800.05/1800.50 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1800.05/1800.50 v -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 1800.05/1800.50 v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 1800.05/1800.50 v -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 1800.05/1800.50 v -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 1800.05/1800.50 v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 1800.05/1800.50 v -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 1800.05/1800.50 v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 1800.05/1800.50 v -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 x3612 x3613 1800.05/1800.50 v x3614 x3615 x3616 x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 x363 1800.05/1800.50 v -x3630 -x3631 -x3632 -x3633 x3634 x3635 -x3636 -x3637 x3638 x3639 x364 -x3640 -x3641 -x3642 -x3643 x3644 x3645 -x3646 -x3647 1800.05/1800.50 v -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 1800.05/1800.50 v -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1800.05/1800.50 v -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 1800.05/1800.50 v -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 1800.05/1800.50 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 1800.05/1800.50 v x3727 x3728 -x3729 -x373 -x3730 x3731 x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 1800.05/1800.50 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 1800.05/1800.50 v -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 1800.05/1800.50 v -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 1800.05/1800.50 v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 1800.05/1800.50 v -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 1800.05/1800.50 v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 x3830 x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 1800.05/1800.50 v -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 1800.05/1800.50 v -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 x3866 x3867 -x3868 -x3869 -x387 -x3870 -x3871 1800.05/1800.50 v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 1800.05/1800.50 v -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 -x3900 -x3901 -x3902 1800.05/1800.50 v -x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 1800.05/1800.50 v -x392 -x3920 -x3921 x3922 x3923 -x3924 -x3925 -x3926 -x3927 x3928 x3929 -x393 x3930 x3931 -x3932 -x3933 -x3934 -x3935 x3936 1800.05/1800.50 v x3937 -x3938 -x3939 -x394 x3940 x3941 -x3942 -x3943 x3944 x3945 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 1800.05/1800.50 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 1800.05/1800.50 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x44 x440 1800.05/1800.50 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 1800.05/1800.50 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x47 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1800.05/1800.50 v -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 1800.05/1800.50 v -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 1800.05/1800.50 v -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 1800.05/1800.50 v -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 1800.05/1800.50 v -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 1800.05/1800.50 v -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 1800.05/1800.50 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 1800.05/1800.50 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 1800.05/1800.50 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1800.05/1800.50 v -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 1800.05/1800.50 v -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 1800.05/1800.50 v -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 1800.05/1800.50 v -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 1800.05/1800.50 v -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 1800.05/1800.50 v -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 1800.05/1800.50 v -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 1800.05/1800.50 v -x783 -x784 -x785 x786 x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x8 -x80 -x800 -x801 1800.05/1800.50 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 1800.05/1800.50 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 1800.05/1800.50 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 1800.05/1800.50 v -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 1800.05/1800.50 v -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1800.05/1800.50 v -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 x909 -x91 x910 -x911 -x912 -x913 -x914 -x915 -x916 1800.05/1800.50 v -x917 -x918 -x919 x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 1800.05/1800.50 v -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 1800.05/1800.50 v -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 1800.05/1800.50 v -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 1800.05/1800.50 v -x993 -x994 -x995 -x996 -x997 -x998 x999
OK 18367
/tmp/evaluation/459192-1178651180/instance-459192-1178651180.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-459192-1178651180 -o ROOT/results/node72/solver-459192-1178651180 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459192-1178651180/instance-459192-1178651180.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.91 0.98 0.99 3/77 730 /proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=1868 CPUtime=0 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 341156474 1912832 242 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 467 242 84 219 0 244 0 [startup+0.0736499 s] /proc/loadavg: 0.91 0.98 0.99 3/77 730 /proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=2424 CPUtime=0.07 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 427 0 0 0 7 0 0 0 18 0 1 0 341156474 2482176 409 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 606 409 86 219 0 383 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2424 [startup+0.101652 s] /proc/loadavg: 0.91 0.98 0.99 3/77 730 /proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=2424 CPUtime=0.09 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 469 0 0 0 9 0 0 0 18 0 1 0 341156474 2482176 451 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 606 451 86 219 0 383 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2424 [startup+0.301671 s] /proc/loadavg: 0.91 0.98 0.99 3/77 730 /proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=3272 CPUtime=0.29 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 629 0 0 0 27 2 0 0 19 0 1 0 341156474 3350528 562 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 818 562 102 219 0 595 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3272 [startup+0.701707 s] /proc/loadavg: 0.91 0.98 0.99 3/77 730 /proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=3668 CPUtime=0.69 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 761 0 0 0 67 2 0 0 23 0 1 0 341156474 3756032 694 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 917 694 102 219 0 694 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3668 [startup+1.50178 s] /proc/loadavg: 0.91 0.98 0.99 2/78 731 /proc/meminfo: memFree=1546792/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=4180 CPUtime=1.49 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 857 0 0 0 147 2 0 0 25 0 1 0 341156474 4280320 790 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 1045 790 102 219 0 822 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4180 [startup+3.10193 s] /proc/loadavg: 0.91 0.98 0.99 2/78 731 /proc/meminfo: memFree=1546344/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=5204 CPUtime=3.09 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 976 0 0 0 307 2 0 0 25 0 1 0 341156474 5328896 909 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 1301 909 102 219 0 1078 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5204 [startup+6.30122 s] /proc/loadavg: 0.92 0.98 0.99 2/78 731 /proc/meminfo: memFree=1545256/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=7252 CPUtime=6.28 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 1212 0 0 0 626 2 0 0 25 0 1 0 341156474 7426048 1145 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 1813 1145 102 219 0 1590 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7252 [startup+12.7018 s] /proc/loadavg: 0.92 0.98 0.99 2/78 731 /proc/meminfo: memFree=1543464/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=7396 CPUtime=12.69 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 1621 0 0 0 1266 3 0 0 25 0 1 0 341156474 7573504 1554 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 1849 1554 102 219 0 1626 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7396 [startup+25.502 s] /proc/loadavg: 0.94 0.98 0.99 2/78 731 /proc/meminfo: memFree=1540072/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=11636 CPUtime=25.48 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 2495 0 0 0 2544 4 0 0 25 0 1 0 341156474 11915264 2428 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 2909 2428 102 219 0 2686 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11636 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 731 /proc/meminfo: memFree=1531880/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=22104 CPUtime=51.07 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 4632 0 0 0 5099 8 0 0 25 0 1 0 341156474 22634496 4468 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 5526 4468 102 219 0 5303 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22104 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 731 /proc/meminfo: memFree=1527464/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=25200 CPUtime=102.27 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 5713 0 0 0 10212 15 0 0 25 0 1 0 341156474 25804800 5549 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 6300 5549 102 219 0 6077 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25200 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1525928/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=27452 CPUtime=162.25 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6274 0 0 0 16203 22 0 0 25 0 1 0 341156474 28110848 5917 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 6863 5917 102 219 0 6640 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27452 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1525224/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=28000 CPUtime=222.23 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6436 0 0 0 22200 23 0 0 25 0 1 0 341156474 28672000 6079 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 7000 6079 102 219 0 6777 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28000 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1524392/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=28588 CPUtime=282.22 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6640 0 0 0 28197 25 0 0 25 0 1 0 341156474 29274112 6283 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 7147 6283 102 219 0 6924 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 28588 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1523688/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=29120 CPUtime=342.21 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6816 0 0 0 34193 28 0 0 25 0 1 0 341156474 29818880 6459 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 7280 6459 102 219 0 7057 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 29120 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1523304/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=29352 CPUtime=402.19 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6920 0 0 0 40190 29 0 0 25 0 1 0 341156474 30056448 6563 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 7338 6563 102 219 0 7115 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 29352 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1522984/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=31272 CPUtime=462.17 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 7409 0 0 0 46186 31 0 0 25 0 1 0 341156474 32022528 6667 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 7818 6667 102 219 0 7595 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 31272 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1522728/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=31476 CPUtime=522.16 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 7501 0 0 0 52183 33 0 0 25 0 1 0 341156474 32231424 6759 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 7869 6759 102 219 0 7646 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 31476 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1522280/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=31724 CPUtime=582.15 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 7610 0 0 0 58179 36 0 0 25 0 1 0 341156474 32485376 6868 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 7931 6868 102 219 0 7708 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 31724 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1521768/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=32012 CPUtime=642.14 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 7723 0 0 0 64175 39 0 0 25 0 1 0 341156474 32780288 6981 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 8003 6981 102 219 0 7780 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 32012 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1520232/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=32760 CPUtime=882.07 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 8078 0 0 0 88159 48 0 0 25 0 1 0 341156474 33546240 7336 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 8190 7336 102 219 0 7967 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 32760 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 3/78 731 /proc/meminfo: memFree=1519848/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=32948 CPUtime=942.06 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 8161 0 0 0 94156 50 0 0 25 0 1 0 341156474 33738752 7419 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 8237 7419 102 219 0 8014 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 32948 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1519464/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=33244 CPUtime=1002.05 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 8253 0 0 0 100153 52 0 0 25 0 1 0 341156474 34041856 7511 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 8311 7511 102 219 0 8088 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 33244 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1519080/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=36640 CPUtime=1062.03 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9113 0 0 0 106148 55 0 0 25 0 1 0 341156474 37519360 7602 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9160 7602 102 219 0 8937 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 36640 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1518760/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=36640 CPUtime=1122.01 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9193 0 0 0 112144 57 0 0 25 0 1 0 341156474 37519360 7682 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9160 7682 102 219 0 8937 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 36640 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1518440/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=36868 CPUtime=1182 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9302 0 0 0 118141 59 0 0 25 0 1 0 341156474 37752832 7791 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9217 7791 102 219 0 8994 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 36868 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1518184/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=37200 CPUtime=1241.98 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9371 0 0 0 124137 61 0 0 25 0 1 0 341156474 38092800 7860 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9300 7860 102 219 0 9077 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 37200 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1517672/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=37580 CPUtime=1301.97 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9491 0 0 0 130134 63 0 0 25 0 1 0 341156474 38481920 7980 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9395 7980 102 219 0 9172 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 37580 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1517288/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=37580 CPUtime=1361.96 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9579 0 0 0 136131 65 0 0 25 0 1 0 341156474 38481920 8068 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9395 8068 102 219 0 9172 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 37580 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1516968/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=37852 CPUtime=1421.94 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9660 0 0 0 142126 68 0 0 25 0 1 0 341156474 38760448 8149 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9463 8149 102 219 0 9240 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 37852 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1516648/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=37852 CPUtime=1481.93 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9752 0 0 0 148122 71 0 0 25 0 1 0 341156474 38760448 8241 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9463 8241 102 219 0 9240 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 37852 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1516392/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=38240 CPUtime=1541.92 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9822 0 0 0 154118 74 0 0 25 0 1 0 341156474 39157760 8311 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9560 8311 102 219 0 9337 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 38240 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1515944/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=38240 CPUtime=1601.9 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9916 0 0 0 160114 76 0 0 25 0 1 0 341156474 39157760 8405 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9560 8405 102 219 0 9337 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 38240 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1515624/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=38548 CPUtime=1661.89 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10000 0 0 0 166110 79 0 0 25 0 1 0 341156474 39473152 8489 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9637 8489 102 219 0 9414 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 38548 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 731 /proc/meminfo: memFree=1515240/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=38680 CPUtime=1721.86 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10098 0 0 0 172106 80 0 0 25 0 1 0 341156474 39608320 8587 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9670 8587 102 219 0 9447 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 38680 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 733 /proc/meminfo: memFree=1514920/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=39004 CPUtime=1781.85 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10167 0 0 0 178102 83 0 0 25 0 1 0 341156474 39940096 8656 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9751 8656 102 219 0 9528 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 39004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 733 /proc/meminfo: memFree=1514792/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=39004 CPUtime=1800.05 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10200 0 0 0 179921 84 0 0 25 0 1 0 341156474 39940096 8689 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9751 8689 102 219 0 9528 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 39004 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: 0.99 0.98 0.99 2/78 733 /proc/meminfo: memFree=1514792/2055920 swapFree=4157260/4192956 [pid=730] ppid=728 vsize=39004 CPUtime=1800.05 /proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10200 0 0 0 179921 84 0 0 25 0 1 0 341156474 39940096 8689 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/730/statm: 9751 8689 102 219 0 9528 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 39004 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1799.22 CPU system time (s): 0.85087 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 39004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 0.85087 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10203 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= 2478 runsolver used 1.2988 second user time and 4.08638 second system time The end
Begin job on node72 on Tue May 8 19:06:20 UTC 2007 IDJOB= 459192 IDBENCH= 24963 IDSOLVER= 200 FILE ID= node72/459192-1178651180 PBS_JOBID= 5218405 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-fir09_trarea_ac.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459192-1178651180/instance-459192-1178651180.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-459192-1178651180 -o ROOT/results/node72/conversion-459192-1178651180 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459192-1178651180/instance-459192-1178651180.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-459192-1178651180 -o ROOT/results/node72/solver-459192-1178651180 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459192-1178651180/instance-459192-1178651180.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 83e4cddd78ca4f87cfb13af1d930e0cc RANDOM SEED= 566493602 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1549832 kB Buffers: 37308 kB Cached: 361076 kB SwapCached: 16892 kB Active: 100620 kB Inactive: 320616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1549832 kB SwapTotal: 4192956 kB SwapFree: 4157260 kB Dirty: 2740 kB Writeback: 0 kB Mapped: 30044 kB Slab: 70328 kB Committed_AS: 7406156 kB PageTables: 1788 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 node72 on Tue May 8 19:36:23 UTC 2007