Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -27 | 1800.05 | 1800.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb |
MD5SUM | 1b4456ec5e57b53956abc30521c99789 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non 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 | 1800.03 |
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 | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6216 |
Sum of products size (including duplicates) | 12432 |
Number of different products | 3108 |
Sum of products size | 6216 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459751-1178659131/instance-459751-1178659131.opb ...... 0.05/0.09 c done parsing opb. 0.05/0.09 o 183 0.05/0.09 o 182 0.09/0.10 o 180 0.09/0.10 o 179 0.09/0.19 o 178 2.89/2.93 o 177 4.08/4.19 o 176 4.29/4.34 o 175 8.89/8.99 o 174 15.39/15.46 o 173 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 1800.02/1800.50 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.02/1800.50 v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.02/1800.50 v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 1800.02/1800.50 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.02/1800.50 v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 1800.02/1800.50 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.02/1800.50 v -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.02/1800.50 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x114 -x1140 -x1141 1800.02/1800.50 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.02/1800.50 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 1800.02/1800.50 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1800.02/1800.50 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 1800.02/1800.50 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 1800.02/1800.50 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.02/1800.50 v -x1237 -x1238 -x1239 x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 1800.02/1800.50 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.02/1800.50 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 1800.02/1800.50 v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 1800.02/1800.50 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.02/1800.50 v -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 1800.02/1800.50 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.02/1800.50 v -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 1800.02/1800.50 v -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x138 -x1380 1800.02/1800.50 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.02/1800.50 v -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 1800.02/1800.50 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1800.02/1800.50 v -x1428 -x1429 x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 1800.02/1800.50 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 1800.02/1800.50 v -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 1800.02/1800.50 v -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 1800.02/1800.50 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.02/1800.50 v -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x152 -x1520 -x1521 -x1522 -x1523 1800.02/1800.50 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.02/1800.50 v -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1800.02/1800.50 v -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 1800.02/1800.50 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1800.02/1800.50 v -x1588 -x1589 x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 1800.02/1800.50 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.02/1800.50 v -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.02/1800.50 v -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 1800.02/1800.50 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1800.02/1800.50 v -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x168 -x1680 -x1681 -x1682 -x1683 1800.02/1800.50 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 1800.02/1800.50 v -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 1800.02/1800.50 v -x1715 -x1716 -x1717 -x1718 -x1719 x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 1800.02/1800.50 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1800.02/1800.50 v -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 1800.02/1800.50 v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1800.02/1800.50 v -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1800.02/1800.50 v -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x181 -x1810 1800.02/1800.50 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1800.02/1800.50 v -x1828 -x1829 x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x184 -x1840 -x1841 -x1842 -x1843 1800.02/1800.50 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 1800.02/1800.50 v -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.02/1800.50 v -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 1800.02/1800.50 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.02/1800.50 v -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 1800.02/1800.50 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.02/1800.50 v x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.02/1800.50 v -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 1800.02/1800.50 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1800.02/1800.50 v -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 -x20 -x200 -x2000 -x2001 -x2002 1800.02/1800.50 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 1800.02/1800.50 v -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 1800.02/1800.50 v -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 1800.02/1800.50 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1800.02/1800.50 v -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 1800.02/1800.50 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.02/1800.50 v -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 1800.02/1800.50 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1800.02/1800.50 v -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.02/1800.50 v -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 1800.02/1800.50 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 1800.02/1800.50 v -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 1800.02/1800.50 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1800.02/1800.50 v -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1800.02/1800.50 v -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 1800.02/1800.50 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1800.02/1800.50 v -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 1800.02/1800.50 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1800.02/1800.50 v -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 1800.02/1800.50 v -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 1800.02/1800.50 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1800.02/1800.50 v -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 1800.02/1800.50 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1800.02/1800.50 v -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 1800.02/1800.50 v -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 1800.02/1800.50 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 1800.02/1800.50 v -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 1800.02/1800.50 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 1800.02/1800.50 v -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 1800.02/1800.50 v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1800.02/1800.50 v -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1800.02/1800.50 v -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 1800.02/1800.50 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.02/1800.50 v -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 1800.02/1800.50 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1800.02/1800.50 v -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 1800.02/1800.50 v -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 1800.02/1800.50 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.02/1800.50 v -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 1800.02/1800.50 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.02/1800.50 v -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 1800.02/1800.50 v -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 1800.02/1800.50 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 1800.02/1800.50 v -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 1800.02/1800.50 v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 1800.02/1800.50 v -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 1800.02/1800.50 v -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.02/1800.50 v -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 1800.02/1800.50 v -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 1800.02/1800.50 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1800.02/1800.50 v -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 1800.02/1800.50 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1800.02/1800.50 v -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 1800.02/1800.50 v -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 1800.02/1800.50 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1800.02/1800.50 v -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 1800.02/1800.50 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 1800.02/1800.50 v -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 1800.02/1800.50 v -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 1800.02/1800.50 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 1800.02/1800.50 v -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 1800.02/1800.50 v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 1800.02/1800.50 v -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 x30 -x300 -x3000 -x3001 -x3002 -x3003 1800.02/1800.50 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1800.02/1800.50 v -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.02/1800.50 v -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 1800.02/1800.50 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 1800.02/1800.50 v -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 1800.02/1800.50 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.02/1800.50 v -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 1800.02/1800.50 v -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 1800.02/1800.50 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 1800.02/1800.50 v -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 1800.02/1800.50 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1800.02/1800.50 v -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 1800.02/1800.50 v -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 1800.02/1800.50 v -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 1800.02/1800.50 v -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 1800.02/1800.50 v -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.02/1800.50 v -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 1800.02/1800.50 v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 1800.02/1800.50 v -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 1800.02/1800.50 v -x3305 -x3306 -x3307 -x3308 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 1800.02/1800.50 v -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 1800.02/1800.50 v -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 1800.02/1800.50 v -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 1800.02/1800.50 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 1800.02/1800.50 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 1800.02/1800.50 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 1800.02/1800.50 v -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1800.02/1800.50 v -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 1800.02/1800.50 v -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 1800.02/1800.50 v -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 1800.02/1800.50 v -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 1800.02/1800.50 v -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 1800.02/1800.50 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 1800.02/1800.50 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 1800.02/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.02/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.02/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.02/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.02/1800.50 v -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 1800.02/1800.50 v -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 1800.02/1800.50 v -x725 -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 1800.02/1800.50 v -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 1800.02/1800.50 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x78 -x780 -x781 1800.02/1800.50 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 x80 -x800 1800.02/1800.50 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 1800.02/1800.50 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.02/1800.50 v -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 1800.02/1800.50 v -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1800.02/1800.50 v -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 1800.02/1800.50 v -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 1800.02/1800.50 v -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 1800.02/1800.50 v -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 1800.02/1800.50 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 1800.02/1800.50 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 1800.02/1800.50 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK -27
Linearizing /tmp/evaluation/459751-1178659131/instance-459751-1178659131.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-459751-1178659131 -o ROOT/results/node24/solver-459751-1178659131 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459751-1178659131/instance-459751-1178659131.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.99 0.98 0.99 3/77 8673 /proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=1784 CPUtime=0 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 313831166 1826816 228 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 446 228 86 219 0 223 0 [startup+0.0601 s] /proc/loadavg: 0.99 0.98 0.99 3/77 8673 /proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=2632 CPUtime=0.05 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 466 0 0 0 5 0 0 0 18 0 1 0 313831166 2695168 448 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 658 448 86 219 0 435 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2632 [startup+0.101103 s] /proc/loadavg: 0.99 0.98 0.99 3/77 8673 /proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=2896 CPUtime=0.09 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 603 0 0 0 9 0 0 0 18 0 1 0 313831166 2965504 552 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 724 552 102 219 0 501 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2896 [startup+0.301124 s] /proc/loadavg: 0.99 0.98 0.99 3/77 8673 /proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=4688 CPUtime=0.29 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 910 0 0 0 29 0 0 0 19 0 1 0 313831166 4800512 859 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 1172 859 102 219 0 949 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.701168 s] /proc/loadavg: 0.99 0.98 0.99 3/77 8673 /proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=6932 CPUtime=0.69 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 1394 0 0 0 69 0 0 0 22 0 1 0 313831166 7098368 1343 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 1733 1343 102 219 0 1510 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6932 [startup+1.50125 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1920832/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=11296 CPUtime=1.49 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 2230 0 0 0 148 1 0 0 25 0 1 0 313831166 11567104 2179 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 2824 2179 102 219 0 2601 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11296 [startup+3.10143 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1916160/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=20668 CPUtime=3.09 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 3708 0 0 0 307 2 0 0 25 0 1 0 313831166 21164032 3608 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 5167 3608 102 219 0 4944 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20668 [startup+6.30177 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1907968/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=23476 CPUtime=6.29 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 5614 0 0 0 625 4 0 0 25 0 1 0 313831166 24039424 5417 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 5869 5417 102 219 0 5646 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23476 [startup+12.7015 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1901440/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=41284 CPUtime=12.69 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 6687 0 0 0 1263 6 0 0 25 0 1 0 313831166 42274816 6490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 10321 6490 102 219 0 10098 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41284 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1897920/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=44064 CPUtime=25.48 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 7736 0 0 0 2538 10 0 0 25 0 1 0 313831166 45121536 7346 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 11016 7346 102 219 0 10793 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44064 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1895360/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=46908 CPUtime=51.08 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 8748 0 0 0 5091 17 0 0 25 0 1 0 313831166 48033792 7973 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 11727 7973 102 219 0 11504 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46908 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1891200/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=52404 CPUtime=102.26 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 10539 0 0 0 10197 29 0 0 25 0 1 0 313831166 53661696 8995 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547184 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 13101 8995 102 219 0 12878 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 52404 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1886848/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=54684 CPUtime=162.25 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 11614 0 0 0 16184 41 0 0 25 0 1 0 313831166 55996416 10070 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 13671 10070 102 219 0 13448 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 54684 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1882816/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=62968 CPUtime=222.23 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 14123 0 0 0 22170 53 0 0 25 0 1 0 313831166 64479232 11042 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 15742 11042 102 219 0 15519 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 62968 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1879360/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=64784 CPUtime=282.21 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 14989 0 0 0 28157 64 0 0 25 0 1 0 313831166 66338816 11908 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 16196 11908 102 219 0 15973 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 64784 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 3/78 8674 /proc/meminfo: memFree=1875840/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=66924 CPUtime=342.2 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 15844 0 0 0 34149 71 0 0 25 0 1 0 313831166 68530176 12763 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 16731 12763 102 219 0 16508 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 66924 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1872704/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=80916 CPUtime=402.19 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 19673 0 0 0 40137 82 0 0 25 0 1 0 313831166 82857984 13519 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 20229 13519 102 219 0 20006 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 80916 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1869696/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=82816 CPUtime=462.17 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 20396 0 0 0 46127 90 0 0 25 0 1 0 313831166 84803584 14242 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 20704 14242 102 219 0 20481 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 82816 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1866816/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=83748 CPUtime=522.15 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 21106 0 0 0 52116 99 0 0 25 0 1 0 313831166 85757952 14952 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 20937 14952 102 219 0 20714 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 83748 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1863936/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=85124 CPUtime=582.14 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 21806 0 0 0 58109 105 0 0 25 0 1 0 313831166 87166976 15652 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 21281 15652 102 219 0 21058 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 85124 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1861248/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=87488 CPUtime=642.12 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 22454 0 0 0 64099 113 0 0 25 0 1 0 313831166 89587712 16300 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 21872 16300 102 219 0 21649 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 87488 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1851712/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=91664 CPUtime=882.06 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 24747 0 0 0 88065 141 0 0 25 0 1 0 313831166 93863936 18593 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 22916 18593 102 219 0 22693 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 91664 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1849536/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=93280 CPUtime=942.05 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 25279 0 0 0 94057 148 0 0 25 0 1 0 313831166 95518720 19125 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 23320 19125 102 219 0 23097 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 93280 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1847424/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=94792 CPUtime=1002.03 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 25788 0 0 0 100048 155 0 0 25 0 1 0 313831166 97067008 19634 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 23698 19634 102 219 0 23475 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 94792 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1845248/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=119560 CPUtime=1062.01 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 32456 0 0 0 106038 163 0 0 25 0 1 0 313831166 122429440 20157 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 29890 20157 102 219 0 29667 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 119560 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1843328/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=121168 CPUtime=1122 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 32916 0 0 0 112032 168 0 0 25 0 1 0 313831166 124076032 20617 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 30292 20617 102 219 0 30069 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 121168 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1841344/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=121168 CPUtime=1181.98 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 33410 0 0 0 118025 173 0 0 25 0 1 0 313831166 124076032 21111 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 30292 21111 102 219 0 30069 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 121168 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1839168/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=122876 CPUtime=1241.96 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 33886 0 0 0 124017 179 0 0 25 0 1 0 313831166 125825024 21587 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 30719 21587 102 219 0 30496 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 122876 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1837376/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=124692 CPUtime=1301.96 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 34331 0 0 0 130011 185 0 0 25 0 1 0 313831166 127684608 22032 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 31173 22032 102 219 0 30950 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 124692 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8674 /proc/meminfo: memFree=1835584/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=124692 CPUtime=1361.93 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 34753 0 0 0 136003 190 0 0 25 0 1 0 313831166 127684608 22454 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 31173 22454 102 219 0 30950 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 124692 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8676 /proc/meminfo: memFree=1833600/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=124692 CPUtime=1421.92 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 35174 0 0 0 141996 196 0 0 25 0 1 0 313831166 127684608 22875 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 31173 22875 102 219 0 30950 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 124692 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8676 /proc/meminfo: memFree=1831872/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=126812 CPUtime=1481.9 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 35611 0 0 0 147989 201 0 0 25 0 1 0 313831166 129855488 23312 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 31703 23312 102 219 0 31480 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 126812 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8676 /proc/meminfo: memFree=1830208/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=126812 CPUtime=1541.88 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 36024 0 0 0 153982 206 0 0 25 0 1 0 313831166 129855488 23725 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 31703 23725 102 219 0 31480 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 126812 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8676 /proc/meminfo: memFree=1828672/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=128860 CPUtime=1601.87 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 36417 0 0 0 159976 211 0 0 25 0 1 0 313831166 131952640 24118 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 32215 24118 102 219 0 31992 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 128860 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8676 /proc/meminfo: memFree=1827008/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=129052 CPUtime=1661.86 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 36819 0 0 0 165969 217 0 0 25 0 1 0 313831166 132149248 24520 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 32263 24520 102 219 0 32040 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 129052 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8676 /proc/meminfo: memFree=1825344/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=129052 CPUtime=1721.84 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 37225 0 0 0 171962 222 0 0 25 0 1 0 313831166 132149248 24926 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 32263 24926 102 219 0 32040 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 129052 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8676 /proc/meminfo: memFree=1823616/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=131228 CPUtime=1781.82 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 37623 0 0 0 177955 227 0 0 25 0 1 0 313831166 134377472 25324 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 32807 25324 102 219 0 32584 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 131228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 3/78 8676 /proc/meminfo: memFree=1823168/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=131228 CPUtime=1800.02 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 37741 0 0 0 179774 228 0 0 25 0 1 0 313831166 134377472 25442 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 32807 25442 102 219 0 32584 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 131228 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 3/78 8676 /proc/meminfo: memFree=1823168/2055920 swapFree=4143696/4192956 [pid=8673] ppid=8671 vsize=131228 CPUtime=1800.02 /proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 37741 0 0 0 179774 228 0 0 25 0 1 0 313831166 134377472 25442 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8673/statm: 32807 25442 102 219 0 32584 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 131228 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.05 CPU user time (s): 1797.75 CPU system time (s): 2.30565 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 144140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.75 system time used= 2.30565 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37744 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= 1771 runsolver used 1.61075 second user time and 4.43933 second system time The end
Begin job on node24 on Tue May 8 21:18:51 UTC 2007 IDJOB= 459751 IDBENCH= 48212 IDSOLVER= 200 FILE ID= node24/459751-1178659131 PBS_JOBID= 5218412 Free space on /tmp= 66503 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_3.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459751-1178659131/instance-459751-1178659131.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-459751-1178659131 -o ROOT/results/node24/conversion-459751-1178659131 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459751-1178659131/instance-459751-1178659131.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-459751-1178659131 -o ROOT/results/node24/solver-459751-1178659131 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459751-1178659131/instance-459751-1178659131.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789 RANDOM SEED= 250731373 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1927712 kB Buffers: 10052 kB Cached: 35792 kB SwapCached: 16852 kB Active: 55052 kB Inactive: 16304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1927712 kB SwapTotal: 4192956 kB SwapFree: 4143696 kB Dirty: 2624 kB Writeback: 0 kB Mapped: 30760 kB Slab: 42352 kB Committed_AS: 7432816 kB PageTables: 1812 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= 66503 MiB End job on node24 on Tue May 8 21:48:54 UTC 2007