Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -14 | 1800.15 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
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.06 |
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) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459782-1178660131/instance-459782-1178660131.opb ...... 0.49/0.52 c done parsing opb. 0.49/0.52 o 93 0.49/0.55 o 92 1.00/1.04 o 91 1.09/1.17 o 88 9.79/9.86 o 87 364.20/364.37 o 86 1800.08/1800.60 s SATISFIABLE 1800.08/1800.60 v -x1 -x10 x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.08/1800.60 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.08/1800.60 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.08/1800.60 v -x1047 -x1048 -x1049 x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 1800.08/1800.60 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.08/1800.60 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.08/1800.60 v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 1800.08/1800.60 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.08/1800.60 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 1800.08/1800.60 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.08/1800.60 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 1800.08/1800.60 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1800.08/1800.60 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 x120 -x1200 -x1201 -x1202 -x1203 -x1204 1800.08/1800.60 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 1800.08/1800.60 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.08/1800.60 v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 1800.08/1800.60 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.08/1800.60 v -x1269 x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 1800.08/1800.60 v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 1800.08/1800.60 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.08/1800.60 v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 1800.08/1800.60 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.08/1800.60 v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 1800.08/1800.60 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 1800.08/1800.60 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.08/1800.60 v -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x141 -x1410 -x1411 1800.08/1800.60 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1800.08/1800.60 v -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 1800.08/1800.60 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 1800.08/1800.60 v -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1800.08/1800.60 v -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 1800.08/1800.60 v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.08/1800.60 v -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 1800.08/1800.60 v -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 1800.08/1800.60 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.08/1800.60 v -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 1800.08/1800.60 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.08/1800.60 v -x1589 -x159 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 x160 -x1600 -x1601 -x1602 -x1603 1800.08/1800.60 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.08/1800.60 v -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.08/1800.60 v -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 1800.08/1800.60 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1800.08/1800.60 v -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 1800.08/1800.60 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 1800.08/1800.60 v -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 1800.08/1800.60 v -x1715 -x1716 -x1717 -x1718 -x1719 x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x173 -x1730 1800.08/1800.60 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 1800.08/1800.60 v -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x176 -x1760 -x1761 -x1762 1800.08/1800.60 v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1800.08/1800.60 v -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 1800.08/1800.60 v -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 1800.08/1800.60 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.08/1800.60 v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x184 -x1840 -x1841 1800.08/1800.60 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.08/1800.60 v -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 1800.08/1800.60 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.08/1800.60 v -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 1800.08/1800.60 v -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 1800.08/1800.60 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1800.08/1800.60 v -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 1800.08/1800.60 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1800.08/1800.60 v -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1800.08/1800.60 v -x1986 -x1987 -x1988 -x1989 x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 1800.08/1800.60 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.08/1800.60 v -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 1800.08/1800.60 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.08/1800.60 v -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 1800.08/1800.60 v -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 1800.08/1800.60 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.08/1800.60 v -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 1800.08/1800.60 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.08/1800.60 v -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 1800.08/1800.60 v -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 1800.08/1800.60 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.08/1800.60 v -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 1800.08/1800.60 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1800.08/1800.60 v -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 1800.08/1800.60 v -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 1800.08/1800.60 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 1800.08/1800.60 v -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 1800.08/1800.60 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.08/1800.60 v -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 x23 -x230 -x2300 -x2301 -x2302 -x2303 1800.08/1800.60 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.08/1800.60 v -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.08/1800.60 v -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 1800.08/1800.60 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.08/1800.60 v -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 1800.08/1800.60 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1800.08/1800.60 v -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 1800.08/1800.60 v -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 1800.08/1800.60 v -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 1800.08/1800.60 v -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 1800.08/1800.60 v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1800.08/1800.60 v -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1800.08/1800.60 v -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 1800.08/1800.60 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.08/1800.60 v -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 1800.08/1800.60 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1800.08/1800.60 v -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 1800.08/1800.60 v -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 1800.08/1800.60 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.08/1800.60 v -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 1800.08/1800.60 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.08/1800.60 v -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 1800.08/1800.60 v -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 1800.08/1800.60 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 1800.08/1800.60 v -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 1800.08/1800.60 v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 1800.08/1800.60 v -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 1800.08/1800.60 v -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.08/1800.60 v -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 1800.08/1800.60 v -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 1800.08/1800.60 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1800.08/1800.60 v -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 1800.08/1800.60 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1800.08/1800.60 v -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 1800.08/1800.60 v -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 1800.08/1800.60 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1800.08/1800.60 v -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 1800.08/1800.60 v -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 1800.08/1800.60 v -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 1800.08/1800.60 v -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 1800.08/1800.60 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 1800.08/1800.60 v -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 1800.08/1800.60 v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 1800.08/1800.60 v -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 1800.08/1800.60 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1800.08/1800.60 v -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 1800.08/1800.60 v -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 1800.08/1800.60 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 1800.08/1800.60 v -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 1800.08/1800.60 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 1800.08/1800.60 v -x3099 -x31 -x310 -x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 1800.08/1800.60 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 1800.08/1800.60 v -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 1800.08/1800.60 v -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 1800.08/1800.60 v -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1800.08/1800.60 v -x3178 -x3179 -x318 -x3180 -x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 1800.08/1800.60 v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 1800.08/1800.60 v -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 1800.08/1800.60 v -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x324 -x325 -x326 -x327 1800.08/1800.60 v -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 1800.08/1800.60 v -x347 -x348 -x349 x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 1800.08/1800.60 v -x366 -x367 -x368 -x369 x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 1800.08/1800.60 v -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 x40 -x400 -x401 -x402 -x403 1800.08/1800.60 v -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 1800.08/1800.60 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 1800.08/1800.60 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 1800.08/1800.60 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 1800.08/1800.60 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 1800.08/1800.60 v -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 1800.08/1800.60 v -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 1800.08/1800.60 v -x537 -x538 x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 1800.08/1800.60 v -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 1800.08/1800.60 v -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 1800.08/1800.60 v -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 1800.08/1800.60 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 1800.08/1800.60 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 1800.08/1800.60 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 1800.08/1800.60 v -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1800.08/1800.60 v -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 1800.08/1800.60 v -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 1800.08/1800.60 v -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x74 -x740 -x741 -x742 -x743 -x744 1800.08/1800.60 v -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 1800.08/1800.60 v -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 1800.08/1800.60 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 1800.08/1800.60 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 1800.08/1800.60 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.08/1800.60 v -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 1800.08/1800.60 v -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1800.08/1800.60 v -x878 -x879 x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 1800.08/1800.60 v -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x91 -x910 -x911 -x912 -x913 -x914 -x915 1800.08/1800.60 v -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 1800.08/1800.60 v -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 1800.08/1800.60 v -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x97 -x970 -x971 -x972 1800.08/1800.60 v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 1800.08/1800.60 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK -14
Linearizing /tmp/evaluation/459782-1178660131/instance-459782-1178660131.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-459782-1178660131 -o ROOT/results/node51/solver-459782-1178660131 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459782-1178660131/instance-459782-1178660131.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: 1.00 1.03 1.00 3/64 26430 /proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=1776 CPUtime=0 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 220858254 1818624 225 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 444 225 86 219 0 221 0 [startup+0.015294 s] /proc/loadavg: 1.00 1.03 1.00 3/64 26430 /proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=1912 CPUtime=0.01 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 279 0 0 0 1 0 0 0 18 0 1 0 220858254 1957888 261 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 478 262 86 219 0 255 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1912 [startup+0.101301 s] /proc/loadavg: 1.00 1.03 1.00 3/64 26430 /proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=2720 CPUtime=0.09 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 538 0 0 0 9 0 0 0 18 0 1 0 220858254 2785280 487 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 680 487 90 219 0 457 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2720 [startup+0.301319 s] /proc/loadavg: 1.00 1.03 1.00 3/64 26430 /proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=2720 CPUtime=0.29 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 539 0 0 0 29 0 0 0 19 0 1 0 220858254 2785280 488 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 680 488 90 219 0 457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2720 [startup+0.701355 s] /proc/loadavg: 1.00 1.03 1.00 3/64 26430 /proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=2852 CPUtime=0.69 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 587 0 0 0 69 0 0 0 23 0 1 0 220858254 2920448 536 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 713 536 102 219 0 490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2852 [startup+1.50143 s] /proc/loadavg: 1.00 1.03 1.00 2/65 26431 /proc/meminfo: memFree=1551832/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=3756 CPUtime=1.49 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 766 0 0 0 149 0 0 0 25 0 1 0 220858254 3846144 715 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 939 715 102 219 0 716 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3756 [startup+3.10157 s] /proc/loadavg: 1.00 1.03 1.00 2/65 26431 /proc/meminfo: memFree=1549272/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=11444 CPUtime=3.09 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 2021 0 0 0 308 1 0 0 25 0 1 0 220858254 11718656 1921 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 2861 1921 102 219 0 2638 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11444 [startup+6.30186 s] /proc/loadavg: 1.00 1.02 1.00 2/65 26431 /proc/meminfo: memFree=1542680/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=12248 CPUtime=6.29 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 2891 0 0 0 627 2 0 0 25 0 1 0 220858254 12541952 2791 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 3062 2791 102 219 0 2839 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12248 [startup+12.7014 s] /proc/loadavg: 1.00 1.02 1.00 2/65 26431 /proc/meminfo: memFree=1536728/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=22328 CPUtime=12.69 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 4729 0 0 0 1265 4 0 0 25 0 1 0 220858254 22863872 4532 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 5582 4532 102 219 0 5359 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22328 [startup+25.5016 s] /proc/loadavg: 1.00 1.02 1.00 2/65 26431 /proc/meminfo: memFree=1523800/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=41408 CPUtime=25.48 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 7968 0 0 0 2538 10 0 0 25 0 1 0 220858254 42401792 7578 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 10352 7578 102 219 0 10129 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41408 [startup+51.1019 s] /proc/loadavg: 1.00 1.02 1.00 2/65 26431 /proc/meminfo: memFree=1502040/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=77192 CPUtime=51.08 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 13415 0 0 0 5088 20 0 0 25 0 1 0 220858254 79044608 13025 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 19298 13025 102 219 0 19075 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77192 [startup+102.305 s] /proc/loadavg: 1.00 1.02 1.00 2/65 26431 /proc/meminfo: memFree=1468248/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=148016 CPUtime=102.27 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 22125 0 0 0 10194 33 0 0 25 0 1 0 220858254 151568384 21350 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 37004 21350 102 219 0 36781 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 148016 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 26431 /proc/meminfo: memFree=1440152/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=153168 CPUtime=162.26 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 29180 0 0 0 16182 44 0 0 25 0 1 0 220858254 156844032 28405 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 38292 28405 102 219 0 38069 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 153168 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1417112/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=159276 CPUtime=222.24 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 35635 0 0 0 22170 54 0 0 25 0 1 0 220858254 163098624 34091 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 39819 34091 102 219 0 39596 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 159276 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1397464/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=164400 CPUtime=282.22 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 40725 0 0 0 28159 63 0 0 25 0 1 0 220858254 168345600 39016 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 41100 39016 102 219 0 40877 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 164400 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1379480/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=296920 CPUtime=342.21 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 45178 0 0 0 34149 72 0 0 25 0 1 0 220858254 304046080 43436 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 74230 43437 102 219 0 74007 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 296920 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1361368/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=300312 CPUtime=402.19 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 50116 0 0 0 40140 79 0 0 25 0 1 0 220858254 307519488 48011 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 75078 48011 102 219 0 74855 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 300312 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1351960/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=303512 CPUtime=462.18 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 52661 0 0 0 46135 83 0 0 25 0 1 0 220858254 310796288 50259 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 75878 50259 102 219 0 75655 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 303512 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1342616/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=305832 CPUtime=522.16 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 55357 0 0 0 52127 89 0 0 25 0 1 0 220858254 313171968 52658 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 76458 52658 102 219 0 76235 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 305832 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1328792/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=314316 CPUtime=582.15 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 60569 0 0 0 58119 96 0 0 25 0 1 0 220858254 321859584 56036 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 78579 56036 102 219 0 78356 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 314316 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1314712/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=317832 CPUtime=642.14 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 64499 0 0 0 64112 102 0 0 25 0 1 0 220858254 325459968 59538 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 79458 59538 102 219 0 79235 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 317832 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1282456/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=323032 CPUtime=822.09 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 73407 0 0 0 82091 118 0 0 25 0 1 0 220858254 330784768 67591 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 80758 67591 102 219 0 80535 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 323032 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1271768/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=324244 CPUtime=882.08 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 76188 0 0 0 88084 124 0 0 25 0 1 0 220858254 332025856 70241 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 81061 70241 102 219 0 80838 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 324244 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 3/65 26431 /proc/meminfo: memFree=1260632/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=325412 CPUtime=942.06 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 79132 0 0 0 94078 128 0 0 25 0 1 0 220858254 333221888 73021 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 81353 73021 102 219 0 81130 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 325412 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1250200/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=326508 CPUtime=1002.04 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 81788 0 0 0 100072 132 0 0 25 0 1 0 220858254 334344192 75644 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 81627 75644 102 219 0 81404 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 326508 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1240664/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=328652 CPUtime=1062.04 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 84310 0 0 0 106067 137 0 0 25 0 1 0 220858254 336539648 78001 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 82163 78001 102 219 0 81940 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 328652 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1231384/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=461912 CPUtime=1122.02 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 86961 0 0 0 112058 144 0 0 25 0 1 0 220858254 472997888 80195 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 115478 80195 102 219 0 115255 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 461912 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1221336/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=464312 CPUtime=1182.01 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 89901 0 0 0 118052 149 0 0 25 0 1 0 220858254 475455488 82777 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547178 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 116078 82777 102 219 0 115855 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 464312 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1212440/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=466888 CPUtime=1241.99 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 92529 0 0 0 124046 153 0 0 25 0 1 0 220858254 478093312 84916 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 116722 84916 102 219 0 116499 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 466888 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1203608/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=468140 CPUtime=1301.98 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 94840 0 0 0 130040 158 0 0 25 0 1 0 220858254 479375360 87128 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 117035 87128 102 219 0 116812 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 468140 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26431 /proc/meminfo: memFree=1195800/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=470196 CPUtime=1361.96 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 97167 0 0 0 136035 161 0 0 25 0 1 0 220858254 481480704 89063 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 117549 89063 102 219 0 117326 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 470196 [startup+1422.31 s] /proc/loadavg: 1.09 1.03 1.01 2/65 26431 /proc/meminfo: memFree=1187288/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=472000 CPUtime=1421.95 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 99481 0 0 0 142030 165 0 0 25 0 1 0 220858254 483328000 91149 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 118000 91149 102 219 0 117777 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 472000 [startup+1482.3 s] /proc/loadavg: 1.07 1.03 1.01 2/65 26431 /proc/meminfo: memFree=1179160/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=474820 CPUtime=1481.94 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 102272 0 0 0 148025 169 0 0 25 0 1 0 220858254 486215680 93257 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 118705 93257 102 219 0 118482 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 474820 [startup+1542.3 s] /proc/loadavg: 1.09 1.05 1.01 2/71 26513 /proc/meminfo: memFree=1169896/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=476356 CPUtime=1541.9 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 104476 0 0 0 154018 172 0 0 25 0 1 0 220858254 487788544 95233 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 119089 95233 102 219 0 118866 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 476356 [startup+1602.3 s] /proc/loadavg: 1.03 1.04 1.00 2/65 26629 /proc/meminfo: memFree=1164120/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=477776 CPUtime=1601.81 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 106389 0 0 0 160005 176 0 0 25 0 1 0 220858254 489242624 96918 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 119444 96918 102 219 0 119221 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 477776 [startup+1662.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 26629 /proc/meminfo: memFree=1155672/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=479072 CPUtime=1661.8 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 108700 0 0 0 166000 180 0 0 25 0 1 0 220858254 490569728 99065 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 119768 99065 102 219 0 119545 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 479072 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 26629 /proc/meminfo: memFree=1149272/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=479844 CPUtime=1721.78 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 110455 0 0 0 171995 183 0 0 25 0 1 0 220858254 491360256 100689 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 119961 100689 102 219 0 119738 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 479844 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 26629 /proc/meminfo: memFree=1142872/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=480620 CPUtime=1781.77 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 112131 0 0 0 177991 186 0 0 25 0 1 0 220858254 492154880 102267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 120155 102267 102 219 0 119932 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 480620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.02 1.00 2/65 26629 /proc/meminfo: memFree=1140632/2055920 swapFree=4183364/4192956 [pid=26430] ppid=26428 vsize=480880 CPUtime=1800.08 /proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 112686 0 0 0 179820 188 0 0 25 0 1 0 220858254 492421120 102822 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26430/statm: 120220 102822 102 219 0 119997 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 480880 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.68 CPU time (s): 1800.15 CPU user time (s): 1798.2 CPU system time (s): 1.9497 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 480880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.2 system time used= 1.9497 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 112689 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= 1557 runsolver used 1.15982 second user time and 3.81642 second system time The end
Begin job on node51 on Tue May 8 21:35:31 UTC 2007 IDJOB= 459782 IDBENCH= 48243 IDSOLVER= 200 FILE ID= node51/459782-1178660131 PBS_JOBID= 5218428 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_1.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459782-1178660131/instance-459782-1178660131.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-459782-1178660131 -o ROOT/results/node51/conversion-459782-1178660131 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459782-1178660131/instance-459782-1178660131.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-459782-1178660131 -o ROOT/results/node51/solver-459782-1178660131 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459782-1178660131/instance-459782-1178660131.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED= 628305165 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1554040 kB Buffers: 39508 kB Cached: 339688 kB SwapCached: 3644 kB Active: 113256 kB Inactive: 275856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1554040 kB SwapTotal: 4192956 kB SwapFree: 4183364 kB Dirty: 2500 kB Writeback: 0 kB Mapped: 15972 kB Slab: 98832 kB Committed_AS: 8762272 kB PageTables: 1408 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 node51 on Tue May 8 22:05:34 UTC 2007