Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -14 | 1800.16 | 1800.87 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_4.opb |
MD5SUM | feead174159765db2806c13d35bd6cbe |
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 | -16 |
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 | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 6140 |
Sum of products size (including duplicates) | 12280 |
Number of different products | 3070 |
Sum of products size | 6140 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459803-1178660715/instance-459803-1178660715.opb ...... 0.69/0.78 c done parsing opb. 0.69/0.78 o 94 0.89/0.90 o 93 1.00/1.02 o 92 1.00/1.06 o 91 1.10/1.17 o 90 1.10/1.19 o 89 3.79/3.81 o 88 6.49/6.60 o 87 215.72/215.86 o 86 1800.09/1800.80 s SATISFIABLE 1800.09/1800.80 v -x1 -x10 x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.09/1800.80 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.09/1800.80 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.09/1800.80 v -x1047 -x1048 -x1049 x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 1800.09/1800.80 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.09/1800.80 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.09/1800.80 v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 1800.09/1800.80 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.09/1800.80 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 1800.09/1800.80 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.09/1800.80 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 1800.09/1800.80 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1800.09/1800.80 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 1800.09/1800.80 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 1800.09/1800.80 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.09/1800.80 v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 1800.09/1800.80 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.09/1800.80 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 1800.09/1800.80 v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 1800.09/1800.80 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.09/1800.80 v -x1316 -x1317 -x1318 -x1319 x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 1800.09/1800.80 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.09/1800.80 v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 1800.09/1800.80 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 1800.09/1800.80 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.09/1800.80 v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 1800.09/1800.80 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 1800.09/1800.80 v -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 1800.09/1800.80 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 1800.09/1800.80 v -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 1800.09/1800.80 v -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x149 -x1490 -x1491 1800.09/1800.80 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.09/1800.80 v -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x152 -x1520 -x1521 -x1522 -x1523 1800.09/1800.80 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.09/1800.80 v -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1800.09/1800.80 v -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 1800.09/1800.80 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1800.09/1800.80 v -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 1800.09/1800.80 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.09/1800.80 v -x1619 x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 1800.09/1800.80 v -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 1800.09/1800.80 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 1800.09/1800.80 v -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x168 -x1680 -x1681 -x1682 1800.09/1800.80 v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.09/1800.80 v -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 1800.09/1800.80 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.09/1800.80 v x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 1800.09/1800.80 v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 1800.09/1800.80 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.09/1800.80 v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 1800.09/1800.80 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.09/1800.80 v x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.09/1800.80 v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 1800.09/1800.80 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.09/1800.80 v -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 1800.09/1800.80 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.09/1800.80 v -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 1800.09/1800.80 v -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 1800.09/1800.80 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1800.09/1800.80 v -x1937 -x1938 -x1939 x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 1800.09/1800.80 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1800.09/1800.80 v -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 1800.09/1800.80 v -x1985 -x1986 -x1987 -x1988 -x1989 x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 x20 -x200 1800.09/1800.80 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.09/1800.80 v -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 1800.09/1800.80 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 1800.09/1800.80 v -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 1800.09/1800.80 v -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 1800.09/1800.80 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.09/1800.80 v -x2097 -x2098 x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 1800.09/1800.80 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.09/1800.80 v -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 1800.09/1800.80 v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.09/1800.80 v -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1800.09/1800.80 v -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 1800.09/1800.80 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1800.09/1800.80 v -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 1800.09/1800.80 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1800.09/1800.80 v -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 1800.09/1800.80 v -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 1800.09/1800.80 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.09/1800.80 v -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 1800.09/1800.80 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1800.09/1800.80 v -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 1800.09/1800.80 v -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 1800.09/1800.80 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 1800.09/1800.80 v -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 1800.09/1800.80 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1800.09/1800.80 v -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 1800.09/1800.80 v -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 1800.09/1800.80 v x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 1800.09/1800.80 v -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 1800.09/1800.80 v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1800.09/1800.80 v -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1800.09/1800.80 v -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 1800.09/1800.80 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.09/1800.80 v -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 1800.09/1800.80 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1800.09/1800.80 v -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 1800.09/1800.80 v -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 1800.09/1800.80 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.09/1800.80 v -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 1800.09/1800.80 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.09/1800.80 v -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.09/1800.80 v -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 1800.09/1800.80 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1800.09/1800.80 v -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 1800.09/1800.80 v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 1800.09/1800.80 v -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 1800.09/1800.80 v -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 1800.09/1800.80 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 1800.09/1800.80 v -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 1800.09/1800.80 v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.09/1800.80 v -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 1800.09/1800.80 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1800.09/1800.80 v -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1800.09/1800.80 v -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 1800.09/1800.80 v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1800.09/1800.80 v -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 1800.09/1800.80 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.09/1800.80 v -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 1800.09/1800.80 v -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 1800.09/1800.80 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1800.09/1800.80 v -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 1800.09/1800.80 v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1800.09/1800.80 v -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 1800.09/1800.80 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1800.09/1800.80 v -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.09/1800.80 v -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 1800.09/1800.80 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 1800.09/1800.80 v -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 1800.09/1800.80 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.09/1800.80 v -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 x3111 -x3112 -x3113 -x3114 1800.09/1800.80 v -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 1800.09/1800.80 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 1800.09/1800.80 v -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 1800.09/1800.80 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1800.09/1800.80 v -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 1800.09/1800.80 v -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 1800.09/1800.80 v -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 1800.09/1800.80 v -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 1800.09/1800.80 v -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.09/1800.80 v -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x328 -x329 -x33 1800.09/1800.80 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1800.09/1800.80 v -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 1800.09/1800.80 v -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1800.09/1800.80 v -x388 -x389 x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1800.09/1800.80 v -x407 -x408 -x409 x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 1800.09/1800.80 v -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 1800.09/1800.80 v -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 1800.09/1800.80 v -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 1800.09/1800.80 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 1800.09/1800.80 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 1800.09/1800.80 v -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 1800.09/1800.80 v -x54 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 1800.09/1800.80 v -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 1800.09/1800.80 v -x578 -x579 x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.09/1800.80 v -x597 -x598 -x599 -x6 x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 1800.09/1800.80 v -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 1800.09/1800.80 v -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 1800.09/1800.80 v -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 1800.09/1800.80 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x69 -x690 -x691 1800.09/1800.80 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 1800.09/1800.80 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 1800.09/1800.80 v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1800.09/1800.80 v -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 1800.09/1800.80 v -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1800.09/1800.80 v -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 1800.09/1800.80 v -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 1800.09/1800.80 v -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 1800.09/1800.80 v -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x86 -x860 -x861 -x862 1800.09/1800.80 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x88 -x880 -x881 1800.09/1800.80 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 1800.09/1800.80 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 1800.09/1800.80 v -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 1800.09/1800.80 v -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 1800.09/1800.80 v -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1800.09/1800.80 v -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 1800.09/1800.80 v -x996 -x997 -x998 -x999
OK -14
Linearizing /tmp/evaluation/459803-1178660715/instance-459803-1178660715.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-459803-1178660715 -o ROOT/results/node42/solver-459803-1178660715 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459803-1178660715/instance-459803-1178660715.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.97 0.98 3/77 12936 /proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=1780 CPUtime=0 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 244 0 0 0 0 0 0 0 18 0 1 0 313983407 1822720 226 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 445 226 86 219 0 222 0 [startup+0.0288109 s] /proc/loadavg: 0.99 0.97 0.98 3/77 12936 /proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=2044 CPUtime=0.02 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 310 0 0 0 2 0 0 0 18 0 1 0 313983407 2093056 292 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 511 292 86 219 0 288 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2044 [startup+0.102825 s] /proc/loadavg: 0.99 0.97 0.98 3/77 12936 /proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=2724 CPUtime=0.09 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 541 0 0 0 9 0 0 0 18 0 1 0 313983407 2789376 490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 681 490 90 219 0 458 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2724 [startup+0.301863 s] /proc/loadavg: 0.99 0.97 0.98 3/77 12936 /proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=2724 CPUtime=0.29 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 541 0 0 0 29 0 0 0 19 0 1 0 313983407 2789376 490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 681 490 90 219 0 458 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2724 [startup+0.701939 s] /proc/loadavg: 0.99 0.97 0.98 3/77 12936 /proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=2856 CPUtime=0.69 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 553 0 0 0 69 0 0 0 22 0 1 0 313983407 2924544 502 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 714 502 90 219 0 491 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2856 [startup+1.50109 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1484624/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=4084 CPUtime=1.49 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 858 0 0 0 149 0 0 0 25 0 1 0 313983407 4182016 807 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 1021 807 102 219 0 798 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4084 [startup+3.1014 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1481744/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=11708 CPUtime=3.09 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 2090 0 0 0 308 1 0 0 25 0 1 0 313983407 11988992 1990 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 2927 1990 102 219 0 2704 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11708 [startup+6.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1474704/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=20700 CPUtime=6.29 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 3438 0 0 0 626 3 0 0 25 0 1 0 313983407 21196800 3338 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134577250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 5175 3338 102 219 0 4952 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20700 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1465688/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=22700 CPUtime=12.69 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 5594 0 0 0 1262 7 0 0 25 0 1 0 313983407 23244800 5397 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 5675 5397 102 219 0 5452 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22700 [startup+25.5027 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1453976/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=41540 CPUtime=25.48 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 8637 0 0 0 2537 11 0 0 25 0 1 0 313983407 42536960 8247 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 10385 8247 102 219 0 10162 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41540 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1432216/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=76288 CPUtime=51.08 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 14071 0 0 0 5088 20 0 0 25 0 1 0 313983407 78118912 13681 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 19072 13681 102 219 0 18849 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 76288 [startup+102.304 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1400088/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=149192 CPUtime=102.25 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 22370 0 0 0 10195 30 0 0 25 0 1 0 313983407 152772608 21595 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 37298 21595 102 219 0 37075 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 149192 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1369752/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=153220 CPUtime=162.23 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 30008 0 0 0 16180 43 0 0 25 0 1 0 313983407 156897280 29233 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 38305 29233 102 219 0 38082 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 153220 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1347800/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=160036 CPUtime=222.21 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 36308 0 0 0 22169 52 0 0 25 0 1 0 313983407 163876864 34665 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 40009 34665 102 219 0 39786 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 160036 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1329304/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=294448 CPUtime=282.19 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 41053 0 0 0 28158 61 0 0 25 0 1 0 313983407 301514752 39278 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 73612 39278 102 219 0 73389 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 294448 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1312024/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=299072 CPUtime=342.17 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 45632 0 0 0 34147 70 0 0 25 0 1 0 313983407 306249728 43527 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 74768 43527 102 219 0 74545 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 299072 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1296920/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=302020 CPUtime=402.15 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 49578 0 0 0 40137 78 0 0 25 0 1 0 313983407 309268480 47275 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 75505 47275 102 219 0 75282 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 302020 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1282968/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=303840 CPUtime=462.14 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 53313 0 0 0 46130 84 0 0 25 0 1 0 313983407 311132160 50779 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 75960 50779 102 219 0 75737 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 303840 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1267352/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=307864 CPUtime=522.11 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 57686 0 0 0 52121 90 0 0 25 0 1 0 313983407 315252736 54723 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 76966 54723 102 219 0 76743 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 307864 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1255384/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=316848 CPUtime=582.1 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 62641 0 0 0 58112 98 0 0 25 0 1 0 313983407 324452352 57712 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 79212 57712 102 219 0 78989 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 316848 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1242968/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=318680 CPUtime=642.07 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 65847 0 0 0 64102 105 0 0 25 0 1 0 313983407 326328320 60754 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 79670 60754 102 219 0 79447 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 318680 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1226008/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=324772 CPUtime=822.01 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 70944 0 0 0 82082 119 0 0 25 0 1 0 313983407 332566528 64995 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 81193 64995 102 219 0 80970 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 324772 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1213336/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=325740 CPUtime=881.99 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 74223 0 0 0 88075 124 0 0 25 0 1 0 313983407 333557760 68143 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 81435 68143 102 219 0 81212 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 325740 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12937 /proc/meminfo: memFree=1202712/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=330012 CPUtime=941.97 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 77569 0 0 0 94067 130 0 0 25 0 1 0 313983407 337932288 70804 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 82503 70804 102 219 0 82280 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 330012 [startup+1002.3 s] /proc/loadavg: 1.08 1.00 0.99 2/84 13116 /proc/meminfo: memFree=1192600/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=330740 CPUtime=1001.87 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 79809 0 0 0 100051 136 0 0 25 0 1 0 313983407 338677760 73011 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 82685 73011 102 219 0 82462 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 330740 [startup+1062.3 s] /proc/loadavg: 1.03 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1183320/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=332676 CPUtime=1061.83 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 82732 0 0 0 106042 141 0 0 25 0 1 0 313983407 340660224 75640 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 83169 75640 102 219 0 82946 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 332676 [startup+1122.3 s] /proc/loadavg: 1.01 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1173464/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=335216 CPUtime=1121.81 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 85545 0 0 0 112035 146 0 0 25 0 1 0 313983407 343261184 78061 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 83804 78061 102 219 0 83581 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 335216 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1163096/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=468432 CPUtime=1181.8 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 88317 0 0 0 118025 155 0 0 25 0 1 0 313983407 479674368 80539 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 117108 80539 102 219 0 116885 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 468432 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1161432/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=468952 CPUtime=1241.77 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 88750 0 0 0 124019 158 0 0 25 0 1 0 313983407 480206848 80939 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 117238 80939 102 219 0 117015 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 468952 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1160472/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=469984 CPUtime=1301.76 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 89180 0 0 0 130015 161 0 0 25 0 1 0 313983407 481263616 81174 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 117496 81174 102 219 0 117273 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 469984 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1157592/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=474752 CPUtime=1361.73 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 90824 0 0 0 136008 165 0 0 25 0 1 0 313983407 486146048 81875 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 118688 81875 102 219 0 118465 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 474752 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1156248/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=476064 CPUtime=1421.71 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 91275 0 0 0 142003 168 0 0 25 0 1 0 313983407 487489536 82228 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 119016 82228 102 219 0 118793 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 476064 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 3/78 13136 /proc/meminfo: memFree=1155672/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=476708 CPUtime=1481.69 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 91552 0 0 0 147998 171 0 0 25 0 1 0 313983407 488148992 82375 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 119177 82375 102 219 0 118954 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 476708 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1154712/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=477484 CPUtime=1541.67 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 91880 0 0 0 153992 175 0 0 25 0 1 0 313983407 488943616 82605 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 119371 82605 102 219 0 119148 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 477484 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1154264/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=477740 CPUtime=1601.65 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 92065 0 0 0 159988 177 0 0 25 0 1 0 313983407 489205760 82725 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 119435 82725 102 219 0 119212 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 477740 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1153048/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=479532 CPUtime=1661.63 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 92821 0 0 0 165984 179 0 0 25 0 1 0 313983407 491040768 83026 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 119883 83026 102 219 0 119660 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 479532 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1152088/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=480776 CPUtime=1721.62 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 93267 0 0 0 171979 183 0 0 25 0 1 0 313983407 492314624 83244 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 120194 83244 102 219 0 119971 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 480776 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1149080/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=483080 CPUtime=1781.59 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 94630 0 0 0 177973 186 0 0 25 0 1 0 313983407 494673920 84020 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 120770 84020 102 219 0 120547 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 483080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.99 2/78 13136 /proc/meminfo: memFree=1145944/2055920 swapFree=4147588/4192956 [pid=12936] ppid=12934 vsize=495888 CPUtime=1800.09 /proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 98555 0 0 0 179820 189 0 0 25 0 1 0 313983407 507789312 84807 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12936/statm: 123972 84807 102 219 0 123749 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 495888 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.87 CPU time (s): 1800.16 CPU user time (s): 1798.21 CPU system time (s): 1.9457 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 495888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.21 system time used= 1.9457 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98558 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= 11 involuntary context switches= 2172 runsolver used 1.49177 second user time and 4.23735 second system time The end
Begin job on node42 on Tue May 8 21:45:15 UTC 2007 IDJOB= 459803 IDBENCH= 48264 IDSOLVER= 200 FILE ID= node42/459803-1178660715 PBS_JOBID= 5218427 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_4.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459803-1178660715/instance-459803-1178660715.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-459803-1178660715 -o ROOT/results/node42/conversion-459803-1178660715 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459803-1178660715/instance-459803-1178660715.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-459803-1178660715 -o ROOT/results/node42/solver-459803-1178660715 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459803-1178660715/instance-459803-1178660715.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= feead174159765db2806c13d35bd6cbe RANDOM SEED= 736635379 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1486896 kB Buffers: 42084 kB Cached: 397396 kB SwapCached: 14624 kB Active: 152312 kB Inactive: 312384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1486896 kB SwapTotal: 4192956 kB SwapFree: 4147588 kB Dirty: 2520 kB Writeback: 0 kB Mapped: 32236 kB Slab: 89680 kB Committed_AS: 7377804 kB PageTables: 1916 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 node42 on Tue May 8 22:15:18 UTC 2007