Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 21338 | 1800.08 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb |
MD5SUM | 8fd497081fcc2923cbeefd2c48cb5010 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 834 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 826 |
Optimality of the best value was proved | NO |
Number of variables | 3300 |
Total number of constraints | 1985 |
Number of constraints which are clauses | 1364 |
Number of constraints which are cardinality constraints (but not clauses) | 621 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 220 |
Number of terms in the objective function | 2792 |
Biggest coefficient in the objective function | 379 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 526163 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 379 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 526163 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458698-1178640640/instance-458698-1178640640.opb ...... 2.59/2.66 c done parsing opb. 2.59/2.66 o 114725 2.69/2.70 o 109035 14.89/15.00 o 23881 14.99/15.06 o 23880 389.79/389.96 o 23131 389.79/389.99 o 23130 397.59/397.79 o 22755 1145.31/1145.60 o 22745 1800.05/1800.50 s SATISFIABLE 1800.05/1800.50 v x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.05/1800.50 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.05/1800.50 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.05/1800.50 v -x1047 -x1048 -x1049 -x105 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 x1060 -x1061 -x1062 1800.05/1800.50 v x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x107 x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 1800.05/1800.50 v -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.05/1800.50 v -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 x1110 1800.05/1800.50 v x1111 x1112 x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.05/1800.50 v -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 1800.05/1800.50 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 -x1158 -x1159 -x116 1800.05/1800.50 v -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x117 -x1170 -x1171 x1172 -x1173 -x1174 x1175 -x1176 1800.05/1800.50 v -x1177 -x1178 x1179 -x118 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 1800.05/1800.50 v -x1193 -x1194 x1195 -x1196 -x1197 x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1800.05/1800.50 v x1209 -x121 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 x1220 -x1221 -x1222 -x1223 -x1224 1800.05/1800.50 v -x1225 -x1226 -x1227 -x1228 x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x124 -x1240 1800.05/1800.50 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 1800.05/1800.50 v -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 1800.05/1800.50 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 1800.05/1800.50 v x129 -x1290 -x1291 x1292 -x1293 x1294 -x1295 -x1296 x1297 -x1298 x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 x1304 x1305 1800.05/1800.50 v -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 1800.05/1800.50 v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 x1337 -x1338 1800.05/1800.50 v x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 1800.05/1800.50 v -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x137 -x1370 1800.05/1800.50 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x138 -x1380 -x1381 -x1382 x1383 -x1384 x1385 -x1386 -x1387 1800.05/1800.50 v -x1388 -x1389 x139 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x14 -x140 -x1400 x1401 -x1402 x1403 1800.05/1800.50 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x142 1800.05/1800.50 v -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 1800.05/1800.50 v -x1437 -x1438 -x1439 -x144 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 1800.05/1800.50 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x146 x1460 -x1461 x1462 -x1463 x1464 -x1465 x1466 x1467 -x1468 -x1469 1800.05/1800.50 v -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1800.05/1800.50 v -x1486 -x1487 -x1488 -x1489 x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x15 -x150 -x1500 1800.05/1800.50 v -x1501 -x1502 -x1503 x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x151 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.05/1800.50 v x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 x1531 -x1532 -x1533 1800.05/1800.50 v -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 x155 1800.05/1800.50 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.05/1800.50 v -x1566 -x1567 -x1568 -x1569 x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 1800.05/1800.50 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 x1590 x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 1800.05/1800.50 v -x1599 -x16 -x160 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x161 -x1610 x1611 -x1612 x1613 -x1614 1800.05/1800.50 v -x1615 -x1616 x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x163 -x1630 1800.05/1800.50 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 1800.05/1800.50 v -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x166 -x1660 -x1661 -x1662 1800.05/1800.50 v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1800.05/1800.50 v -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 x1690 -x1691 -x1692 -x1693 -x1694 x1695 1800.05/1800.50 v -x1696 -x1697 -x1698 -x1699 -x17 x170 -x1700 x1701 x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 x1709 x171 x1710 -x1711 1800.05/1800.50 v -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 x1728 1800.05/1800.50 v -x1729 x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 x1740 x1741 -x1742 -x1743 -x1744 1800.05/1800.50 v -x1745 x1746 -x1747 -x1748 -x1749 x175 x1750 -x1751 x1752 x1753 -x1754 x1755 -x1756 -x1757 x1758 -x1759 -x176 -x1760 -x1761 1800.05/1800.50 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.05/1800.50 v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 1800.05/1800.50 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.05/1800.50 v -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.05/1800.50 v -x1826 -x1827 -x1828 -x1829 x183 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x184 x1840 -x1841 1800.05/1800.50 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 1800.05/1800.50 v -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x187 x1870 -x1871 -x1872 -x1873 -x1874 1800.05/1800.50 v x1875 -x1876 x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 x1888 -x1889 -x189 -x1890 1800.05/1800.50 v -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x19 x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.05/1800.50 v -x1907 x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 x192 x1920 -x1921 -x1922 1800.05/1800.50 v x1923 x1924 x1925 x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 1800.05/1800.50 v -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.05/1800.50 v x1956 -x1957 -x1958 -x1959 x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 x1968 -x1969 x197 -x1970 -x1971 1800.05/1800.50 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1800.05/1800.50 v -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2 x20 -x200 x2000 -x2001 -x2002 -x2003 1800.05/1800.50 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 x202 1800.05/1800.50 v -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1800.05/1800.50 v -x2037 x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 1800.05/1800.50 v -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 1800.05/1800.50 v -x207 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 x2084 x2085 1800.05/1800.50 v x2086 x2087 x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 1800.05/1800.50 v -x2101 x2102 x2103 x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 x2116 -x2117 1800.05/1800.50 v -x2118 x2119 x212 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 1800.05/1800.50 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1800.05/1800.50 v -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.05/1800.50 v -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 1800.05/1800.50 v -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1800.05/1800.50 v -x2199 x22 x220 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 1800.05/1800.50 v -x2215 -x2216 -x2217 -x2218 -x2219 x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x223 -x2230 1800.05/1800.50 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1800.05/1800.50 v -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 1800.05/1800.50 v -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 1800.05/1800.50 v -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1800.05/1800.50 v -x2296 -x2297 -x2298 x2299 -x23 -x230 x2300 x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 1800.05/1800.50 v -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.05/1800.50 v -x2329 x233 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x234 -x2340 x2341 -x2342 x2343 -x2344 1800.05/1800.50 v -x2345 -x2346 -x2347 -x2348 x2349 -x235 -x2350 x2351 -x2352 x2353 x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x236 -x2360 1800.05/1800.50 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 1800.05/1800.50 v x2378 -x2379 x238 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 x2393 1800.05/1800.50 v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x24 -x240 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 1800.05/1800.50 v -x241 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 x2417 -x2418 x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 1800.05/1800.50 v -x2426 -x2427 -x2428 -x2429 x243 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x244 -x2440 -x2441 1800.05/1800.50 v -x2442 x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.05/1800.50 v -x2459 x246 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 x2472 -x2473 -x2474 1800.05/1800.50 v -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x249 -x2490 1800.05/1800.50 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1800.05/1800.50 v -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x252 -x2520 -x2521 -x2522 1800.05/1800.50 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1800.05/1800.50 v -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 x2551 -x2552 -x2553 x2554 -x2555 1800.05/1800.50 v -x2556 -x2557 -x2558 -x2559 x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x257 -x2570 -x2571 1800.05/1800.50 v x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.05/1800.50 v -x2589 x259 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 x2596 -x2597 -x2598 -x2599 -x26 x260 -x2600 -x2601 -x2602 -x2603 -x2604 1800.05/1800.50 v -x2605 -x2606 -x2607 -x2608 x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 1800.05/1800.50 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.05/1800.50 v -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 x2649 x265 -x2650 -x2651 -x2652 1800.05/1800.50 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x266 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 1800.05/1800.50 v -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 1800.05/1800.50 v -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 x2693 x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x27 -x270 x2700 -x2701 1800.05/1800.50 v -x2702 -x2703 x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 1800.05/1800.50 v -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x273 x2730 -x2731 x2732 -x2733 -x2734 1800.05/1800.50 v -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 1800.05/1800.50 v x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 1800.05/1800.50 v -x2768 -x2769 x277 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 1800.05/1800.50 v -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 x2799 -x28 1800.05/1800.50 v -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 1800.05/1800.50 v -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 1800.05/1800.50 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1800.05/1800.50 v -x2849 -x285 -x2850 x2851 x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 1800.05/1800.50 v -x2865 -x2866 -x2867 x2868 x2869 -x287 -x2870 x2871 x2872 -x2873 -x2874 x2875 x2876 x2877 x2878 x2879 -x288 -x2880 x2881 1800.05/1800.50 v -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x289 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 1800.05/1800.50 v -x2899 -x29 -x290 -x2900 -x2901 x2902 -x2903 x2904 x2905 x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 x2914 1800.05/1800.50 v -x2915 x2916 x2917 x2918 -x2919 x292 -x2920 x2921 x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 1800.05/1800.50 v -x2932 x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 1800.05/1800.50 v -x2949 -x295 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x296 x2960 -x2961 x2962 -x2963 -x2964 1800.05/1800.50 v -x2965 -x2966 -x2967 -x2968 -x2969 -x297 x2970 x2971 x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 1800.05/1800.50 v -x2981 -x2982 x2983 -x2984 -x2985 x2986 x2987 -x2988 x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 x2997 1800.05/1800.50 v x2998 x2999 x3 -x30 x300 x3000 x3001 -x3002 x3003 -x3004 -x3005 x3006 -x3007 x3008 x3009 x301 x3010 x3011 -x3012 x3013 x3014 1800.05/1800.50 v -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 1800.05/1800.50 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 x3039 -x304 x3040 -x3041 -x3042 -x3043 -x3044 -x3045 x3046 x3047 1800.05/1800.50 v x3048 -x3049 -x305 -x3050 -x3051 x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 x3062 -x3063 1800.05/1800.50 v x3064 -x3065 -x3066 -x3067 x3068 -x3069 x307 -x3070 -x3071 x3072 x3073 -x3074 -x3075 -x3076 -x3077 x3078 x3079 -x308 -x3080 1800.05/1800.50 v x3081 x3082 -x3083 x3084 -x3085 -x3086 x3087 -x3088 -x3089 -x309 x3090 x3091 -x3092 x3093 x3094 -x3095 -x3096 -x3097 -x3098 1800.05/1800.50 v x3099 -x31 -x310 x3100 -x3101 -x3102 x3103 -x3104 x3105 x3106 -x3107 -x3108 -x3109 x311 -x3110 -x3111 x3112 -x3113 -x3114 1800.05/1800.50 v -x3115 -x3116 x3117 -x3118 -x3119 -x312 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 x3127 -x3128 x3129 -x313 x3130 x3131 1800.05/1800.50 v -x3132 x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x314 -x3140 x3141 -x3142 -x3143 x3144 -x3145 -x3146 x3147 -x3148 1800.05/1800.50 v -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 1800.05/1800.50 v -x3165 -x3166 -x3167 x3168 x3169 -x317 x3170 x3171 x3172 x3173 -x3174 -x3175 x3176 -x3177 -x3178 x3179 -x318 x3180 -x3181 1800.05/1800.50 v -x3182 -x3183 -x3184 -x3185 x3186 -x3187 x3188 -x3189 x319 x3190 -x3191 -x3192 -x3193 x3194 -x3195 x3196 x3197 -x3198 -x3199 1800.05/1800.50 v -x32 x320 -x3200 -x3201 x3202 -x3203 x3204 -x3205 x3206 -x3207 -x3208 x3209 -x321 -x3210 -x3211 -x3212 x3213 x3214 -x3215 1800.05/1800.50 v x3216 -x3217 x3218 x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x323 x3230 -x3231 1800.05/1800.50 v -x3232 x3233 -x3234 -x3235 x3236 -x3237 x3238 -x3239 -x324 -x3240 x3241 x3242 -x3243 -x3244 x3245 -x3246 -x3247 x3248 x3249 1800.05/1800.50 v x325 -x3250 x3251 -x3252 -x3253 x3254 x3255 -x3256 -x3257 -x3258 -x3259 x326 x3260 x3261 -x3262 x3263 x3264 -x3265 -x3266 1800.05/1800.50 v x3267 -x3268 x3269 -x327 -x3270 x3271 x3272 -x3273 x3274 x3275 -x3276 -x3277 -x3278 -x3279 x328 -x3280 -x3281 -x3282 -x3283 1800.05/1800.50 v -x3284 x3285 -x3286 x3287 x3288 -x3289 -x329 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 x3298 x3299 x33 x330 1800.05/1800.50 v -x3300 x331 x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x35 1800.05/1800.50 v -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 x36 x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 x369 -x37 1800.05/1800.50 v -x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 1800.05/1800.50 v x39 -x390 x391 x392 x393 -x394 -x395 -x396 -x397 -x398 x399 x4 x40 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 1800.05/1800.50 v -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 x420 x421 -x422 x423 x424 x425 -x426 -x427 x428 -x429 1800.05/1800.50 v x43 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 1800.05/1800.50 v -x45 -x450 -x451 -x452 -x453 -x454 x455 x456 x457 -x458 -x459 x46 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1800.05/1800.50 v x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.05/1800.50 v -x489 x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 x502 -x503 -x504 x505 -x506 -x507 1800.05/1800.50 v x508 -x509 -x51 -x510 -x511 -x512 x513 -x514 -x515 -x516 x517 -x518 x519 x52 -x520 x521 -x522 -x523 x524 -x525 -x526 -x527 1800.05/1800.50 v x528 -x529 -x53 x530 x531 x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1800.05/1800.50 v -x548 -x549 x55 x550 x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 -x56 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.05/1800.50 v -x569 -x57 -x570 x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x58 -x580 x581 x582 x583 -x584 -x585 -x586 -x587 -x588 1800.05/1800.50 v x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x6 x60 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 1800.05/1800.50 v -x608 x609 x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1800.05/1800.50 v -x628 -x629 -x63 x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 x641 -x642 -x643 x644 x645 x646 -x647 1800.05/1800.50 v -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 x658 -x659 x66 x660 x661 -x662 -x663 -x664 -x665 x666 -x667 1800.05/1800.50 v -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1800.05/1800.50 v -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 x701 x702 -x703 x704 -x705 1800.05/1800.50 v -x706 -x707 x708 -x709 x71 -x710 -x711 x712 x713 x714 x715 -x716 -x717 x718 -x719 -x72 -x720 x721 -x722 -x723 -x724 x725 x726 1800.05/1800.50 v -x727 -x728 -x729 -x73 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 x74 x740 -x741 x742 -x743 x744 -x745 -x746 1800.05/1800.50 v -x747 x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x76 -x760 -x761 -x762 x763 -x764 -x765 -x766 1800.05/1800.50 v -x767 -x768 -x769 -x77 -x770 -x771 x772 -x773 -x774 -x775 -x776 x777 x778 x779 -x78 x780 x781 -x782 -x783 -x784 -x785 -x786 1800.05/1800.50 v x787 x788 x789 x79 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 x803 -x804 -x805 x806 1800.05/1800.50 v x807 -x808 x809 -x81 x810 x811 -x812 x813 x814 -x815 -x816 x817 -x818 -x819 x82 -x820 -x821 -x822 -x823 -x824 x825 x826 x827 1800.05/1800.50 v -x828 -x829 -x83 x830 x831 -x832 -x833 -x834 -x835 x836 -x837 x838 x839 x84 x840 -x841 -x842 x843 x844 -x845 -x846 -x847 x848 1800.05/1800.50 v x849 -x85 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.05/1800.50 v -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 1800.05/1800.50 v -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x9 x90 -x900 x901 x902 -x903 -x904 x905 1800.05/1800.50 v -x906 -x907 x908 x909 -x91 x910 x911 x912 x913 x914 x915 -x916 x917 -x918 x919 -x92 -x920 x921 -x922 x923 -x924 x925 x926 x927 1800.05/1800.50 v x928 x929 x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1800.05/1800.50 v -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 x965 -x966 1800.05/1800.50 v -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 1800.05/1800.50 v -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 21338
/tmp/evaluation/458698-1178640640/instance-458698-1178640640.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-458698-1178640640 -o ROOT/results/node4/solver-458698-1178640640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458698-1178640640/instance-458698-1178640640.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.99 3/77 31262 /proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=1784 CPUtime=0 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 241 0 0 0 0 0 0 0 18 0 1 0 340101801 1826816 223 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 446 223 84 219 0 223 0 [startup+0.035104 s] /proc/loadavg: 0.99 0.97 0.99 3/77 31262 /proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=1940 CPUtime=0.03 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 287 0 0 0 3 0 0 0 18 0 1 0 340101801 1986560 269 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134587081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 485 269 86 219 0 262 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1940 [startup+0.10111 s] /proc/loadavg: 0.99 0.97 0.99 3/77 31262 /proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=2468 CPUtime=0.09 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 434 0 0 0 9 0 0 0 18 0 1 0 340101801 2527232 416 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 617 416 86 219 0 394 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2468 [startup+0.301128 s] /proc/loadavg: 0.99 0.97 0.99 3/77 31262 /proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=2720 CPUtime=0.29 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 506 0 0 0 29 0 0 0 19 0 1 0 340101801 2785280 488 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 680 488 90 219 0 457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2720 [startup+0.701167 s] /proc/loadavg: 0.99 0.97 0.99 3/77 31262 /proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=4436 CPUtime=0.69 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 813 0 0 0 69 0 0 0 23 0 1 0 340101801 4542464 795 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 1109 795 90 219 0 886 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4436 [startup+1.50124 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1766864/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=10580 CPUtime=1.48 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 1478 0 0 0 148 0 0 0 25 0 1 0 340101801 10833920 1460 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 2645 1460 90 219 0 2422 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10580 [startup+3.1014 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1763280/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=19004 CPUtime=3.09 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 2772 0 0 0 308 1 0 0 25 0 1 0 340101801 19460096 2754 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 4751 2754 102 219 0 4528 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19004 [startup+6.3017 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1748304/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=35520 CPUtime=6.29 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 6731 0 0 0 625 4 0 0 25 0 1 0 340101801 36372480 6713 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 8880 6713 102 219 0 8657 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35520 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1719248/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=68288 CPUtime=12.69 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 13592 0 0 0 1262 7 0 0 25 0 1 0 340101801 69926912 13574 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 17072 13574 102 219 0 16849 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 68288 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1700688/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=134948 CPUtime=25.49 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 17598 0 0 0 2530 19 0 0 25 0 1 0 340101801 138186752 17531 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 33737 17531 102 219 0 33514 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 134948 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1699600/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=135860 CPUtime=51.08 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 17845 0 0 0 5067 41 0 0 25 0 1 0 340101801 139120640 17778 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 33965 17778 102 219 0 33742 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 135860 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1698832/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=136836 CPUtime=102.26 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18146 0 0 0 10147 79 0 0 25 0 1 0 340101801 140120064 17982 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 34209 17982 102 219 0 33986 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 136836 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1697744/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=138360 CPUtime=162.25 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18569 0 0 0 16129 96 0 0 25 0 1 0 340101801 141680640 18212 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 34590 18212 102 219 0 34367 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 138360 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1697360/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=138732 CPUtime=222.23 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18694 0 0 0 22123 100 0 0 25 0 1 0 340101801 142061568 18337 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 34683 18337 102 219 0 34460 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 138732 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1696784/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=139128 CPUtime=282.22 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18843 0 0 0 28119 103 0 0 25 0 1 0 340101801 142467072 18486 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 34782 18486 102 219 0 34559 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 139128 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1696336/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=139420 CPUtime=342.21 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18959 0 0 0 34111 110 0 0 25 0 1 0 340101801 142766080 18602 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557404 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 34855 18602 102 219 0 34632 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 139420 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1695632/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=140052 CPUtime=402.2 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 19125 0 0 0 40105 115 0 0 25 0 1 0 340101801 143413248 18768 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 35013 18768 102 219 0 34790 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 140052 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1694992/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=141924 CPUtime=462.18 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 19664 0 0 0 46095 123 0 0 25 0 1 0 340101801 145330176 18922 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 35481 18922 102 219 0 35258 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 141924 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1694608/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=142236 CPUtime=522.16 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 19771 0 0 0 52088 128 0 0 25 0 1 0 340101801 145649664 19029 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 35559 19029 102 219 0 35336 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 142236 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1693776/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=142892 CPUtime=582.15 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 19969 0 0 0 58077 138 0 0 25 0 1 0 340101801 146321408 19227 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 35723 19227 102 219 0 35500 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 142892 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1693392/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=143016 CPUtime=642.13 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20065 0 0 0 64072 141 0 0 25 0 1 0 340101801 146448384 19323 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560630 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 35754 19323 102 219 0 35531 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 143016 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1691856/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=144124 CPUtime=882.07 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20453 0 0 0 88044 163 0 0 25 0 1 0 340101801 147582976 19711 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 36031 19711 102 219 0 35808 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 144124 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1691408/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=144564 CPUtime=942.05 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20576 0 0 0 94036 169 0 0 25 0 1 0 340101801 148033536 19834 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 36141 19834 102 219 0 35918 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 144564 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1691152/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=144564 CPUtime=1002.04 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20626 0 0 0 100029 175 0 0 25 0 1 0 340101801 148033536 19884 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 36141 19884 102 219 0 35918 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 144564 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1690896/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=144876 CPUtime=1062.03 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20696 0 0 0 106023 180 0 0 25 0 1 0 340101801 148353024 19954 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 36219 19954 102 219 0 35996 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 144876 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1690640/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=144988 CPUtime=1122.01 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20764 0 0 0 112014 187 0 0 25 0 1 0 340101801 148467712 20022 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 36247 20022 102 219 0 36024 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 144988 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1690128/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=148536 CPUtime=1181.99 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21659 0 0 0 118007 192 0 0 25 0 1 0 340101801 152100864 20148 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37134 20148 102 219 0 36911 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 148536 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1689616/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=148652 CPUtime=1241.98 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21761 0 0 0 124000 198 0 0 25 0 1 0 340101801 152219648 20250 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37163 20250 102 219 0 36940 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 148652 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1689360/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=148884 CPUtime=1301.97 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21830 0 0 0 129995 202 0 0 25 0 1 0 340101801 152457216 20319 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557037 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37221 20319 102 219 0 36998 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 148884 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1689232/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=148884 CPUtime=1361.96 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21866 0 0 0 135992 204 0 0 25 0 1 0 340101801 152457216 20355 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37221 20355 102 219 0 36998 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 148884 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31263 /proc/meminfo: memFree=1688848/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=149240 CPUtime=1421.94 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21961 0 0 0 141981 213 0 0 25 0 1 0 340101801 152821760 20450 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37310 20450 102 219 0 37087 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 149240 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31265 /proc/meminfo: memFree=1688528/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=149240 CPUtime=1481.93 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 22007 0 0 0 147974 219 0 0 25 0 1 0 340101801 152821760 20496 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37310 20496 102 219 0 37087 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 149240 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31265 /proc/meminfo: memFree=1688144/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=149628 CPUtime=1541.91 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 22103 0 0 0 153969 222 0 0 25 0 1 0 340101801 153219072 20592 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37407 20592 102 219 0 37184 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 149628 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31265 /proc/meminfo: memFree=1687632/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=149760 CPUtime=1601.9 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 22226 0 0 0 159962 228 0 0 25 0 1 0 340101801 153354240 20715 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37440 20715 102 219 0 37217 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 149760 [startup+1662.3 s] /proc/loadavg: 1.04 0.99 0.99 2/78 31265 /proc/meminfo: memFree=1687440/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=149760 CPUtime=1661.88 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 22274 0 0 0 165958 230 0 0 25 0 1 0 340101801 153354240 20763 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37440 20763 102 219 0 37217 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 149760 [startup+1722.3 s] /proc/loadavg: 1.01 0.99 0.99 2/78 31265 /proc/meminfo: memFree=1659280/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=150148 CPUtime=1721.86 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 29312 0 0 0 171949 237 0 0 25 0 1 0 340101801 153751552 27801 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37537 27801 102 219 0 37314 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 150148 [startup+1782.3 s] /proc/loadavg: 1.12 1.02 1.01 2/78 31265 /proc/meminfo: memFree=1658960/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=150444 CPUtime=1781.85 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 29385 0 0 0 177945 240 0 0 25 0 1 0 340101801 154054656 27874 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37611 27874 102 219 0 37388 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 150444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.08 1.01 1.00 2/78 31265 /proc/meminfo: memFree=1658896/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=150444 CPUtime=1800.05 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 29399 0 0 0 179764 241 0 0 25 0 1 0 340101801 154054656 27888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37611 27888 102 219 0 37388 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 150444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.08 1.01 1.00 2/78 31265 /proc/meminfo: memFree=1658896/2055920 swapFree=4141164/4192956 [pid=31262] ppid=31260 vsize=150444 CPUtime=1800.05 /proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 29399 0 0 0 179764 241 0 0 25 0 1 0 340101801 154054656 27888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31262/statm: 37611 27888 102 219 0 37388 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 150444 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.08 CPU user time (s): 1797.65 CPU system time (s): 2.43063 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 150444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.65 system time used= 2.43063 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29402 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= 36256 runsolver used 1.39879 second user time and 3.73943 second system time The end
Begin job on node4 on Tue May 8 16:10:40 UTC 2007 IDJOB= 458698 IDBENCH= 1843 IDSOLVER= 200 FILE ID= node4/458698-1178640640 PBS_JOBID= 5217824 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458698-1178640640/instance-458698-1178640640.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-458698-1178640640 -o ROOT/results/node4/conversion-458698-1178640640 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458698-1178640640/instance-458698-1178640640.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-458698-1178640640 -o ROOT/results/node4/solver-458698-1178640640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458698-1178640640/instance-458698-1178640640.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 8fd497081fcc2923cbeefd2c48cb5010 RANDOM SEED= 524820644 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 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: 1771248 kB Buffers: 36156 kB Cached: 159132 kB SwapCached: 14968 kB Active: 83196 kB Inactive: 135308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1771248 kB SwapTotal: 4192956 kB SwapFree: 4141164 kB Dirty: 2412 kB Writeback: 0 kB Mapped: 30152 kB Slab: 51724 kB Committed_AS: 9841368 kB PageTables: 1820 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 node4 on Tue May 8 16:40:43 UTC 2007