Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 172 | 1800.07 | 1800.02 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 30 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 5256 |
Total number of constraints | 15614 |
Number of constraints which are clauses | 15614 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2531 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2531 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2531 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459228-1178651805/instance-459228-1178651805.opb ...... 0.19/0.23 c done parsing opb. 0.19/0.23 o 260 0.19/0.23 o 259 0.19/0.24 o 258 0.19/0.25 o 257 0.19/0.25 o 256 0.19/0.26 o 255 0.19/0.27 o 254 0.19/0.27 o 253 0.19/0.29 o 252 0.19/0.29 o 215 4.99/5.05 o 213 4.99/5.06 o 212 4.99/5.07 o 211 4.99/5.07 o 210 4.99/5.08 o 202 87.80/87.81 o 201 291.10/291.10 o 180 291.10/291.12 o 172 1800.05/1800.00 s SATISFIABLE 1800.05/1800.00 v x1 x10 x100 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.05/1800.00 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x103 -x1030 1800.05/1800.00 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.05/1800.00 v -x1048 -x1049 x105 -x1050 -x1051 -x1052 x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x106 -x1060 -x1061 -x1062 -x1063 1800.05/1800.00 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x108 1800.05/1800.00 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.05/1800.00 v -x1096 -x1097 -x1098 -x1099 x11 x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 1800.05/1800.00 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.05/1800.00 v -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x114 -x1140 -x1141 -x1142 1800.05/1800.00 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.05/1800.00 v x116 -x1160 -x1161 -x1162 x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.05/1800.00 v -x1176 -x1177 -x1178 -x1179 x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x119 -x1190 -x1191 1800.05/1800.00 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x12 x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1800.05/1800.00 v -x1208 -x1209 x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x122 -x1220 -x1221 -x1222 -x1223 1800.05/1800.00 v -x1224 x1225 x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x124 1800.05/1800.00 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 1800.05/1800.00 v x1257 x1258 -x1259 x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x127 -x1270 -x1271 -x1272 1800.05/1800.00 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 1800.05/1800.00 v x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x13 x130 -x1300 -x1301 -x1302 -x1303 -x1304 1800.05/1800.00 v -x1305 -x1306 -x1307 -x1308 -x1309 x131 -x1310 x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 1800.05/1800.00 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 x133 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 1800.05/1800.00 v -x1338 -x1339 x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x135 -x1350 -x1351 -x1352 -x1353 1800.05/1800.00 v -x1354 x1355 x1356 -x1357 -x1358 -x1359 x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x137 1800.05/1800.00 v -x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 1800.05/1800.00 v x1387 x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x14 x140 -x1400 -x1401 -x1402 1800.05/1800.00 v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x141 -x1410 x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 1800.05/1800.00 v x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x143 -x1430 -x1431 -x1432 x1433 x1434 -x1435 1800.05/1800.00 v -x1436 -x1437 -x1438 -x1439 x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 1800.05/1800.00 v -x1452 -x1453 -x1454 x1455 x1456 -x1457 -x1458 -x1459 x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 x1468 1800.05/1800.00 v -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x148 -x1480 -x1481 -x1482 -x1483 -x1484 1800.05/1800.00 v -x1485 -x1486 -x1487 -x1488 -x1489 x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x15 x150 1800.05/1800.00 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.05/1800.00 v -x1517 -x1518 -x1519 x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 x1531 x1532 1800.05/1800.00 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.05/1800.00 v x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 x156 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.05/1800.00 v -x1566 -x1567 -x1568 -x1569 x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 1800.05/1800.00 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 x159 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.05/1800.00 v -x1599 x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x161 -x1610 -x1611 -x1612 -x1613 1800.05/1800.00 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 x1628 -x1629 -x163 1800.05/1800.00 v -x1630 x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 1800.05/1800.00 v -x1647 -x1648 x1649 x165 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x166 -x1660 -x1661 -x1662 1800.05/1800.00 v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 x167 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1800.05/1800.00 v x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1800.05/1800.00 v -x1696 -x1697 -x1698 -x1699 -x17 x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x171 -x1710 1800.05/1800.00 v x1711 x1712 -x1713 -x1714 x1715 x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1800.05/1800.00 v -x1728 -x1729 x173 -x1730 -x1731 -x1732 x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x174 -x1740 -x1741 -x1742 -x1743 1800.05/1800.00 v -x1744 -x1745 -x1746 -x1747 -x1748 x1749 x175 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x176 1800.05/1800.00 v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 x1768 x1769 x177 x1770 -x1771 -x1772 -x1773 -x1774 x1775 x1776 -x1777 1800.05/1800.00 v -x1778 -x1779 x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 1800.05/1800.00 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x18 x180 -x1800 -x1801 -x1802 x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.05/1800.00 v x181 -x1810 x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.05/1800.00 v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x184 -x1840 -x1841 1800.05/1800.00 v -x1842 -x1843 -x1844 x1845 x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 x1853 x1854 -x1855 -x1856 -x1857 -x1858 1800.05/1800.00 v -x1859 x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x187 -x1870 -x1871 -x1872 -x1873 -x1874 1800.05/1800.00 v -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x189 -x1890 1800.05/1800.00 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.05/1800.00 v -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 1800.05/1800.00 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 1800.05/1800.00 v -x1939 x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 1800.05/1800.00 v -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 1800.05/1800.00 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1800.05/1800.00 v -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 -x20 -x200 -x2000 -x2001 1800.05/1800.00 v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 1800.05/1800.00 v -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 1800.05/1800.00 v -x2035 -x2036 -x2037 -x2038 x2039 -x204 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 1800.05/1800.00 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1800.05/1800.00 v -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 1800.05/1800.00 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.05/1800.00 v -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 1800.05/1800.00 v -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x212 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 1800.05/1800.00 v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.05/1800.00 v -x2146 -x2147 -x2148 -x2149 x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x216 -x2160 x2161 1800.05/1800.00 v x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1800.05/1800.00 v -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 1800.05/1800.00 v -x2195 -x2196 -x2197 -x2198 -x2199 x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 1800.05/1800.00 v -x2210 -x2211 -x2212 x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1800.05/1800.00 v -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 1800.05/1800.00 v -x2243 -x2244 -x2245 -x2246 x2247 x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1800.05/1800.00 v -x226 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1800.05/1800.00 v -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 1800.05/1800.00 v -x2292 x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 1800.05/1800.00 v -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 1800.05/1800.00 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 x2338 -x2339 -x234 1800.05/1800.00 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.05/1800.00 v -x2356 -x2357 -x2358 -x2359 -x236 -x2360 x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 1800.05/1800.00 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.05/1800.00 v -x2388 -x2389 -x239 -x2390 x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x24 -x240 -x2400 -x2401 -x2402 1800.05/1800.00 v -x2403 -x2404 x2405 x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.05/1800.00 v -x242 -x2420 -x2421 -x2422 x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.05/1800.00 v -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 x2448 -x2449 -x245 -x2450 -x2451 1800.05/1800.00 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.05/1800.00 v -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 1800.05/1800.00 v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 x2496 -x2497 -x2498 -x2499 x25 1800.05/1800.00 v -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1800.05/1800.00 v -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 1800.05/1800.00 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 1800.05/1800.00 v -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 1800.05/1800.00 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 1800.05/1800.00 v -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.05/1800.00 v -x2596 -x2597 -x2598 -x2599 x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 1800.05/1800.00 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1800.05/1800.00 v -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x264 x2640 -x2641 -x2642 1800.05/1800.00 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1800.05/1800.00 v -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 1800.05/1800.00 v -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 1800.05/1800.00 v x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.05/1800.00 v -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 1800.05/1800.00 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.05/1800.00 v x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.05/1800.00 v -x2756 -x2757 -x2758 x2759 -x276 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 1800.05/1800.00 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.05/1800.00 v -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x28 -x280 -x2800 -x2801 -x2802 1800.05/1800.00 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x281 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 1800.05/1800.00 v -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x283 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 1800.05/1800.00 v -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 1800.05/1800.00 v -x2852 -x2853 -x2854 x2855 x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 1800.05/1800.00 v -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 1800.05/1800.00 v -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x29 -x290 1800.05/1800.00 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1800.05/1800.00 v x2917 x2918 -x2919 x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 1800.05/1800.00 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1800.05/1800.00 v -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 1800.05/1800.00 v x2965 x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 1800.05/1800.00 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 1800.05/1800.00 v -x2997 -x2998 -x2999 x3 x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 1800.05/1800.00 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 1800.05/1800.00 v -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 1800.05/1800.00 v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 x3055 x3056 -x3057 -x3058 -x3059 -x306 1800.05/1800.00 v -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 1800.05/1800.00 v -x3076 -x3077 -x3078 -x3079 -x308 -x3080 x3081 x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 1800.05/1800.00 v -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 1800.05/1800.00 v -x3108 x3109 -x311 x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 x3123 1800.05/1800.00 v x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 1800.05/1800.00 v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1800.05/1800.00 v -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x317 x3170 -x3171 1800.05/1800.00 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1800.05/1800.00 v -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 1800.05/1800.00 v -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x322 1800.05/1800.00 v x3220 -x3221 -x3222 -x3223 -x3224 x3225 x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 1800.05/1800.00 v -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 1800.05/1800.00 v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.05/1800.00 v -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 1800.05/1800.00 v -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x33 -x330 -x3300 1800.05/1800.00 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 1800.05/1800.00 v -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 1800.05/1800.00 v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 x3339 -x334 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 1800.05/1800.00 v -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 1800.05/1800.00 v -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 x3381 1800.05/1800.00 v x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 1800.05/1800.00 v -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 1800.05/1800.00 v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x343 1800.05/1800.00 v x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 1800.05/1800.00 v -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 x3461 x3462 1800.05/1800.00 v -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.05/1800.00 v -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x349 x3490 -x3491 -x3492 -x3493 -x3494 1800.05/1800.00 v -x3495 -x3496 -x3497 -x3498 -x3499 x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 1800.05/1800.00 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 x3517 x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 1800.05/1800.00 v -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 1800.05/1800.00 v x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 1800.05/1800.00 v -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 1800.05/1800.00 v -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 x3585 x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 1800.05/1800.00 v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 x36 -x360 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1800.05/1800.00 v -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 1800.05/1800.00 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 1800.05/1800.00 v -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 1800.05/1800.00 v -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 x3671 1800.05/1800.00 v x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 x3687 x3688 1800.05/1800.00 v -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 x37 -x370 x3700 -x3701 -x3702 -x3703 1800.05/1800.00 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 x3717 x3718 -x3719 -x372 1800.05/1800.00 v -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 x3731 x3732 -x3733 -x3734 -x3735 -x3736 1800.05/1800.00 v -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 x3749 -x375 x3750 -x3751 -x3752 1800.05/1800.00 v -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 x3765 x3766 -x3767 -x3768 -x3769 1800.05/1800.00 v x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 1800.05/1800.00 v -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x38 -x380 -x3800 1800.05/1800.00 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 x3813 x3814 -x3815 -x3816 -x3817 1800.05/1800.00 v -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 1800.05/1800.00 v -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 1800.05/1800.00 v -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 x3861 x3862 -x3863 -x3864 -x3865 1800.05/1800.00 v -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 1800.05/1800.00 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1800.05/1800.00 v -x3898 -x3899 x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 1800.05/1800.00 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 x3921 x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.05/1800.00 v -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 x3938 -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 1800.05/1800.00 v -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 x3959 -x396 x3960 -x3961 1800.05/1800.00 v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x397 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 1800.05/1800.00 v -x3979 x398 -x3980 -x3981 -x3982 x3983 x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 1800.05/1800.00 v -x3995 -x3996 -x3997 -x3998 -x3999 x4 x40 -x400 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 x4006 -x4007 -x4008 -x4009 -x401 1800.05/1800.00 v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 1800.05/1800.00 v -x4026 x4027 x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 1800.05/1800.00 v -x4042 x4043 x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 1800.05/1800.00 v -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 1800.05/1800.00 v -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 1800.05/1800.00 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 1800.05/1800.00 v -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 x4121 x4122 1800.05/1800.00 v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 -x4130 x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 1800.05/1800.00 v -x414 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 1800.05/1800.00 v -x4156 -x4157 -x4158 -x4159 x416 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 1800.05/1800.00 v -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1800.05/1800.00 v -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194 x4195 x4196 -x4197 -x4198 -x4199 x42 -x420 -x4200 -x4201 -x4202 1800.05/1800.00 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1800.05/1800.00 v -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 1800.05/1800.00 v -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 1800.05/1800.00 v x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 x4266 -x4267 1800.05/1800.00 v -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 1800.05/1800.00 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 x43 1800.05/1800.00 v -x430 x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 1800.05/1800.00 v -x4316 -x4317 -x4318 x4319 -x432 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 1800.05/1800.00 v -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x434 x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 1800.05/1800.00 v -x4349 -x435 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4359 -x436 x4360 -x4361 -x4362 -x4363 -x4364 1800.05/1800.00 v -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 x4378 -x4379 -x438 -x4380 1800.05/1800.00 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 1800.05/1800.00 v -x4397 -x4398 -x4399 -x44 -x440 -x4400 -x4401 -x4402 x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 1800.05/1800.00 v -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 1800.05/1800.00 v -x4428 x4429 -x443 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 1800.05/1800.00 v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451 -x4452 x4453 x4454 -x4455 -x4456 -x4457 -x4458 x4459 -x446 1800.05/1800.00 v x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 1800.05/1800.00 v x4477 x4478 x4479 -x448 x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 1800.05/1800.00 v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 x45 -x450 -x4500 -x4501 -x4502 x4503 x4504 -x4505 -x4506 -x4507 -x4508 1800.05/1800.00 v -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 x4518 -x4519 -x452 -x4520 -x4521 -x4522 x4523 x4524 1800.05/1800.00 v x4525 x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 1800.05/1800.00 v -x4541 -x4542 x4543 x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 1800.05/1800.00 v -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 1800.05/1800.00 v -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 1800.05/1800.00 v -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 1800.05/1800.00 v -x4605 -x4606 -x4607 -x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 1800.05/1800.00 v x4621 x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 1800.05/1800.00 v -x4638 -x4639 x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 1800.05/1800.00 v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1800.05/1800.00 v -x467 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 1800.05/1800.00 v x4686 -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 -x4693 -x4694 x4695 x4696 -x4697 -x4698 -x4699 x47 -x470 -x4700 -x4701 1800.05/1800.00 v -x4702 -x4703 -x4704 -x4705 -x4706 x4707 x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1800.05/1800.00 v -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733 -x4734 1800.05/1800.00 v -x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475 -x4750 1800.05/1800.00 v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 x4759 -x476 x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 1800.05/1800.00 v -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 -x4782 -x4783 1800.05/1800.00 v -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 x4795 x4796 -x4797 -x4798 -x4799 x48 1800.05/1800.00 v -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 x4808 -x4809 -x481 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 1800.05/1800.00 v -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x483 -x4830 x4831 1800.05/1800.00 v x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 x4845 x4846 -x4847 -x4848 1800.05/1800.00 v -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864 1800.05/1800.00 v -x4865 -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 1800.05/1800.00 v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 x4895 x4896 -x4897 1800.05/1800.00 v -x4898 -x4899 x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 -x4910 x4911 x4912 1800.05/1800.00 v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 x4921 x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 1800.05/1800.00 v -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 x4937 x4938 -x4939 -x494 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 1800.05/1800.00 v -x4946 -x4947 -x4948 -x4949 -x495 -x4950 x4951 x4952 -x4953 -x4954 -x4955 -x4956 x4957 x4958 -x4959 -x496 -x4960 x4961 1800.05/1800.00 v x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 1800.05/1800.00 v x4979 -x498 x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 x499 -x4990 -x4991 -x4992 -x4993 -x4994 1800.05/1800.00 v x4995 x4996 -x4997 -x4998 -x4999 -x5 -x50 x500 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 1800.05/1800.00 v -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 x5017 x5018 -x5019 -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 1800.05/1800.00 v -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 1800.05/1800.00 v -x5043 -x5044 x5045 x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 x5055 x5056 -x5057 -x5058 -x5059 1800.05/1800.00 v -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 1800.05/1800.00 v -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 1800.05/1800.00 v -x5092 -x5093 -x5094 x5095 x5096 -x5097 -x5098 -x5099 x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 x5107 1800.05/1800.00 v x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 1800.05/1800.00 v -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 x5133 x5134 -x5135 -x5136 x5137 x5138 -x5139 -x514 1800.05/1800.00 v -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 x5151 x5152 -x5153 -x5154 -x5155 -x5156 1800.05/1800.00 v -x5157 -x5158 -x5159 -x516 -x5160 x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171 -x5172 1800.05/1800.00 v x5173 x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 x5189 1800.05/1800.00 v -x519 x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 x52 -x520 -x5200 -x5201 -x5202 -x5203 -x5204 1800.05/1800.00 v -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 x5211 x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x522 -x5220 1800.05/1800.00 v x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x523 -x5230 -x5231 -x5232 x5233 x5234 -x5235 -x5236 -x5237 1800.05/1800.00 v -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 -x5244 x5245 x5246 x5247 x5248 -x5249 -x525 -x5250 -x5251 -x5252 -x5253 1800.05/1800.00 v -x5254 -x5255 -x5256 -x526 -x527 -x528 -x529 x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 1800.05/1800.00 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x56 -x560 1800.05/1800.00 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x58 1800.05/1800.00 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 1800.05/1800.00 v x6 x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 1800.05/1800.00 v -x619 x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 1800.05/1800.00 v -x638 -x639 x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.05/1800.00 v -x657 -x658 -x659 x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x67 -x670 -x671 -x672 x673 x674 -x675 -x676 1800.05/1800.00 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.00 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.00 v x715 x716 -x717 -x718 -x719 x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 1800.05/1800.00 v -x735 -x736 -x737 -x738 -x739 x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x75 -x750 -x751 -x752 -x753 1800.05/1800.00 v -x754 -x755 -x756 x757 x758 -x759 x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x77 -x770 -x771 -x772 -x773 1800.05/1800.00 v -x774 -x775 -x776 -x777 -x778 -x779 x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 1800.05/1800.00 v -x793 -x794 -x795 -x796 -x797 -x798 -x799 x8 x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x81 -x810 -x811 1800.05/1800.00 v -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x83 -x830 1800.05/1800.00 v x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x85 -x850 1800.05/1800.00 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 x868 x869 -x87 x870 1800.05/1800.00 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x89 1800.05/1800.00 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 x9 x90 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 1800.05/1800.00 v x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1800.05/1800.00 v -x929 x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1800.05/1800.00 v -x948 -x949 x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.05/1800.00 v x967 x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 x975 x976 -x977 -x978 -x979 x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.05/1800.00 v -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 172
/tmp/evaluation/459228-1178651805/instance-459228-1178651805.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-459228-1178651805 -o ROOT/results/node16/solver-459228-1178651805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459228-1178651805/instance-459228-1178651805.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 10391 /proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=1968 CPUtime=0 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 313098150 2015232 286 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 492 286 84 219 0 269 0 [startup+0.0577231 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10391 /proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=2440 CPUtime=0.05 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 395 0 0 0 5 0 0 0 18 0 1 0 313098150 2498560 377 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 610 377 86 219 0 387 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2440 [startup+0.102713 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10391 /proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=2684 CPUtime=0.1 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 507 0 0 0 10 0 0 0 18 0 1 0 313098150 2748416 489 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 671 489 86 219 0 448 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2684 [startup+0.301671 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10391 /proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=3412 CPUtime=0.29 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 735 0 0 0 28 1 0 0 19 0 1 0 313098150 3493888 668 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 853 668 102 219 0 630 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3412 [startup+0.701587 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10391 /proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=4204 CPUtime=0.69 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 921 0 0 0 67 2 0 0 23 0 1 0 313098150 4304896 854 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 1051 854 102 219 0 828 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4204 [startup+1.50142 s] /proc/loadavg: 0.92 0.98 0.99 2/78 10392 /proc/meminfo: memFree=1809504/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=5516 CPUtime=1.49 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 1182 0 0 0 147 2 0 0 25 0 1 0 313098150 5648384 1115 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 1379 1115 102 219 0 1156 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5516 [startup+3.10108 s] /proc/loadavg: 0.92 0.98 0.99 2/78 10392 /proc/meminfo: memFree=1808288/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=8364 CPUtime=3.09 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 1519 0 0 0 306 3 0 0 25 0 1 0 313098150 8564736 1355 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 2091 1355 102 219 0 1868 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8364 [startup+6.3014 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10392 /proc/meminfo: memFree=1806432/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=8900 CPUtime=6.29 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 1979 0 0 0 624 5 0 0 25 0 1 0 313098150 9113600 1815 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 2225 1815 102 219 0 2002 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8900 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10392 /proc/meminfo: memFree=1804208/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=9732 CPUtime=12.69 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 2375 0 0 0 1261 8 0 0 25 0 1 0 313098150 9965568 2211 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 2433 2211 102 219 0 2210 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9732 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 10392 /proc/meminfo: memFree=1803440/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=10640 CPUtime=25.49 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 2583 0 0 0 2539 10 0 0 25 0 1 0 313098150 10895360 2419 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 2660 2419 102 219 0 2437 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10640 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 10392 /proc/meminfo: memFree=1802480/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=11448 CPUtime=51.09 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 2810 0 0 0 5096 13 0 0 25 0 1 0 313098150 11722752 2646 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 2862 2646 102 219 0 2639 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11448 [startup+102.305 s] /proc/loadavg: 1.02 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1797616/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=17076 CPUtime=102.29 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 4027 0 0 0 10213 16 0 0 25 0 1 0 313098150 17485824 3863 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 4269 3863 102 219 0 4046 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 17076 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1795760/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=18588 CPUtime=162.29 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 4683 0 0 0 16210 19 0 0 25 0 1 0 313098150 19034112 4326 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 4647 4326 102 219 0 4424 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 18588 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1793392/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=27884 CPUtime=222.3 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 5264 0 0 0 22207 23 0 0 25 0 1 0 313098150 28553216 4907 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 6971 4907 102 219 0 6748 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 27884 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1791856/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=28984 CPUtime=282.3 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 5633 0 0 0 28202 28 0 0 25 0 1 0 313098150 29679616 5276 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 7246 5276 102 219 0 7023 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 28984 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1790704/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=30032 CPUtime=342.3 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 5923 0 0 0 34198 32 0 0 25 0 1 0 313098150 30752768 5566 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 7508 5566 102 219 0 7285 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 30032 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1790064/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=31964 CPUtime=402.3 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 6477 0 0 0 40194 36 0 0 25 0 1 0 313098150 32731136 5735 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 7991 5735 102 219 0 7768 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 31964 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1788912/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=32544 CPUtime=462.31 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 6765 0 0 0 46191 40 0 0 25 0 1 0 313098150 33325056 6023 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 8136 6023 102 219 0 7913 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 32544 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1788272/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=32996 CPUtime=522.31 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 6942 0 0 0 52188 43 0 0 25 0 1 0 313098150 33787904 6200 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 8249 6200 102 219 0 8026 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 32996 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1787568/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=33592 CPUtime=582.31 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 7117 0 0 0 58186 45 0 0 25 0 1 0 313098150 34398208 6375 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 8398 6375 102 219 0 8175 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 33592 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1786928/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=34036 CPUtime=642.32 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 7273 0 0 0 64183 49 0 0 25 0 1 0 313098150 34852864 6531 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 8509 6531 102 219 0 8286 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 34036 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1784880/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=35500 CPUtime=822.32 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 7759 0 0 0 82173 59 0 0 25 0 1 0 313098150 36352000 7017 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 8875 7017 102 219 0 8652 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 35500 [startup+882.302 s] /proc/loadavg: 1.07 1.02 1.00 2/78 10392 /proc/meminfo: memFree=1784368/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=35924 CPUtime=882.32 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 7898 0 0 0 88169 63 0 0 25 0 1 0 313098150 36786176 7156 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 8981 7156 102 219 0 8758 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 35924 [startup+942.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 10392 /proc/meminfo: memFree=1783728/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=39592 CPUtime=942.32 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 8826 0 0 0 94166 66 0 0 25 0 1 0 313098150 40542208 7315 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 9898 7315 102 219 0 9675 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 39592 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1783344/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=39940 CPUtime=1002.32 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 8937 0 0 0 100163 69 0 0 25 0 1 0 313098150 40898560 7426 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 9985 7426 102 219 0 9762 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 39940 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10392 /proc/meminfo: memFree=1782960/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=40068 CPUtime=1062.32 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9045 0 0 0 106161 71 0 0 25 0 1 0 313098150 41029632 7534 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10017 7534 102 219 0 9794 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 40068 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10394 /proc/meminfo: memFree=1782448/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=40568 CPUtime=1122.32 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9158 0 0 0 112159 73 0 0 25 0 1 0 313098150 41541632 7647 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10142 7647 102 219 0 9919 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 40568 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 10394 /proc/meminfo: memFree=1782000/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=40944 CPUtime=1182.32 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9274 0 0 0 118156 76 0 0 25 0 1 0 313098150 41926656 7763 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10236 7763 102 219 0 10013 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 40944 [startup+1242.3 s] /proc/loadavg: 1.12 1.05 1.01 2/78 10394 /proc/meminfo: memFree=1781424/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=41220 CPUtime=1242.33 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9409 0 0 0 124153 80 0 0 25 0 1 0 313098150 42209280 7898 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10305 7898 102 219 0 10082 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 41220 [startup+1302.3 s] /proc/loadavg: 1.04 1.04 1.01 2/78 10394 /proc/meminfo: memFree=1780848/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=41624 CPUtime=1302.33 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9549 0 0 0 130150 83 0 0 25 0 1 0 313098150 42622976 8038 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10406 8038 102 219 0 10183 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 41624 [startup+1362.3 s] /proc/loadavg: 1.02 1.03 1.00 2/78 10394 /proc/meminfo: memFree=1780336/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=41856 CPUtime=1362.34 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9681 0 0 0 136148 86 0 0 25 0 1 0 313098150 42860544 8170 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10464 8170 102 219 0 10241 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 41856 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/78 10394 /proc/meminfo: memFree=1780016/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=42132 CPUtime=1422.34 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9759 0 0 0 142145 89 0 0 25 0 1 0 313098150 43143168 8248 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10533 8248 102 219 0 10310 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 42132 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 10394 /proc/meminfo: memFree=1779696/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=42264 CPUtime=1482.34 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9849 0 0 0 148143 91 0 0 25 0 1 0 313098150 43278336 8338 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10566 8338 102 219 0 10343 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 42264 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 10394 /proc/meminfo: memFree=1779056/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=42932 CPUtime=1542.34 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10003 0 0 0 154142 92 0 0 25 0 1 0 313098150 43962368 8492 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10733 8492 102 219 0 10510 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 42932 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10394 /proc/meminfo: memFree=1778672/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=43076 CPUtime=1602.34 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10097 0 0 0 160139 95 0 0 25 0 1 0 313098150 44109824 8586 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10769 8586 102 219 0 10546 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 43076 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10394 /proc/meminfo: memFree=1778416/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=43384 CPUtime=1662.34 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10175 0 0 0 166136 98 0 0 25 0 1 0 313098150 44425216 8664 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10846 8664 102 219 0 10623 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 43384 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10394 /proc/meminfo: memFree=1777968/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=43384 CPUtime=1722.34 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10269 0 0 0 172132 102 0 0 25 0 1 0 313098150 44425216 8758 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10846 8758 102 219 0 10623 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 43384 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10394 /proc/meminfo: memFree=1777456/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=43844 CPUtime=1782.35 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10402 0 0 0 178128 107 0 0 25 0 1 0 313098150 44896256 8891 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10961 8891 102 219 0 10738 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 43844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10394 /proc/meminfo: memFree=1777392/2055920 swapFree=4148540/4192956 [pid=10391] ppid=10389 vsize=43948 CPUtime=1800.05 /proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10427 0 0 0 179897 108 0 0 25 0 1 0 313098150 45002752 8916 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10391/statm: 10987 8916 102 219 0 10764 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 43948 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.02 CPU time (s): 1800.07 CPU user time (s): 1798.98 CPU system time (s): 1.08883 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 43948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.08883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10430 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= 9 involuntary context switches= 37127 runsolver used 1.37779 second user time and 3.98539 second system time The end
Begin job on node16 on Tue May 8 19:16:45 UTC 2007 IDJOB= 459228 IDBENCH= 24999 IDSOLVER= 200 FILE ID= node16/459228-1178651805 PBS_JOBID= 5218004 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459228-1178651805/instance-459228-1178651805.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-459228-1178651805 -o ROOT/results/node16/conversion-459228-1178651805 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459228-1178651805/instance-459228-1178651805.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-459228-1178651805 -o ROOT/results/node16/solver-459228-1178651805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459228-1178651805/instance-459228-1178651805.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED= 470056482 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1813312 kB Buffers: 36136 kB Cached: 135916 kB SwapCached: 11888 kB Active: 94772 kB Inactive: 99984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813312 kB SwapTotal: 4192956 kB SwapFree: 4148540 kB Dirty: 2916 kB Writeback: 0 kB Mapped: 29588 kB Slab: 33360 kB Committed_AS: 14135776 kB PageTables: 1836 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 node16 on Tue May 8 19:46:47 UTC 2007