Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 6 | 1800.08 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb |
MD5SUM | 1e64c526f9351931db225cdff75c2df5 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 70.5713 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
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 | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3074 |
Sum of products size (including duplicates) | 6148 |
Number of different products | 3074 |
Sum of products size | 6148 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459695-1178658327/instance-459695-1178658327.opb ...... 0.05/0.07 c done parsing opb. 0.05/0.07 o 44 0.05/0.07 o 43 0.05/0.08 o 42 0.05/0.08 o 41 0.05/0.08 o 40 0.05/0.08 o 39 0.05/0.08 o 38 0.05/0.08 o 37 0.05/0.09 o 36 0.05/0.09 o 35 0.05/0.09 o 34 0.05/0.09 o 33 0.05/0.09 o 32 0.05/0.09 o 31 0.05/0.09 o 30 0.05/0.10 o 29 0.09/0.10 o 28 0.09/0.10 o 27 0.09/0.10 o 26 0.09/0.10 o 25 0.09/0.10 o 24 0.09/0.11 o 23 0.09/0.11 o 22 0.09/0.11 o 21 0.09/0.11 o 20 0.09/0.11 o 19 0.09/0.11 o 18 0.09/0.11 o 17 0.09/0.12 o 16 0.09/0.12 o 15 0.09/0.12 o 14 0.09/0.12 o 13 0.09/0.12 o 12 0.09/0.12 o 11 0.09/0.12 o 10 0.09/0.13 o 9 0.09/0.13 o 8 0.09/0.18 o 7 64.78/64.87 o 6 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 x1047 1800.05/1800.50 v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.05/1800.50 v -x1064 -x1065 -x1066 x1067 -x1068 x1069 -x107 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 1800.05/1800.50 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x109 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.05/1800.50 v -x1097 -x1098 x1099 x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111 1800.05/1800.50 v -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.05/1800.50 v -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144 1800.05/1800.50 v -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x116 -x1160 1800.05/1800.50 v x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.05/1800.50 v -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 1800.05/1800.50 v -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.05/1800.50 v -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 1800.05/1800.50 v x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 -x1240 -x1241 1800.05/1800.50 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 1800.05/1800.50 v -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 x1271 -x1272 x1273 -x1274 1800.05/1800.50 v -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 1800.05/1800.50 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 1800.05/1800.50 v -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 1800.05/1800.50 v -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 1800.05/1800.50 v -x134 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 1800.05/1800.50 v -x1356 -x1357 -x1358 -x1359 -x136 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 1800.05/1800.50 v -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 1800.05/1800.50 v x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 1800.05/1800.50 v -x142 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 x1430 -x1431 -x1432 -x1433 -x1434 x1435 1800.05/1800.50 v -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 1800.05/1800.50 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x146 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1800.05/1800.50 v -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 1800.05/1800.50 v -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 1800.05/1800.50 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.05/1800.50 v -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 1800.05/1800.50 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.05/1800.50 v -x155 -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 1800.05/1800.50 v -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 1800.05/1800.50 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 1800.05/1800.50 v -x1646 -x1647 x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 1800.05/1800.50 v -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1800.05/1800.50 v -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 1800.05/1800.50 v -x1695 -x1696 x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 1800.05/1800.50 v x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.05/1800.50 v -x1727 -x1728 -x1729 -x173 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 1800.05/1800.50 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 1800.05/1800.50 v -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.05/1800.50 v -x1776 -x1777 -x1778 x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 1800.05/1800.50 v -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 1800.05/1800.50 v x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 1800.05/1800.50 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x183 x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 1800.05/1800.50 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.05/1800.50 v -x1856 -x1857 -x1858 x1859 -x186 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 1800.05/1800.50 v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 1800.05/1800.50 v -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 x1902 -x1903 1800.05/1800.50 v -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 x192 1800.05/1800.50 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1800.05/1800.50 v -x1936 -x1937 -x1938 x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 x1951 1800.05/1800.50 v -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1800.05/1800.50 v -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 1800.05/1800.50 v -x1985 -x1986 x1987 -x1988 -x1989 x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 -x20 -x200 1800.05/1800.50 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 1800.05/1800.50 v -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 x2031 -x2032 1800.05/1800.50 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.05/1800.50 v -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 1800.05/1800.50 v -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 1800.05/1800.50 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.05/1800.50 v -x2097 -x2098 -x2099 -x21 -x210 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 1800.05/1800.50 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.05/1800.50 v -x2128 -x2129 -x213 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 1800.05/1800.50 v -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x215 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x216 1800.05/1800.50 v -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.05/1800.50 v -x2177 -x2178 -x2179 x218 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x219 -x2190 -x2191 -x2192 1800.05/1800.50 v -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1800.05/1800.50 v -x2209 -x221 -x2210 x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 x2224 1800.05/1800.50 v -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 1800.05/1800.50 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 1800.05/1800.50 v -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 1800.05/1800.50 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1800.05/1800.50 v -x229 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 x2302 -x2303 -x2304 1800.05/1800.50 v -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x232 -x2320 1800.05/1800.50 v x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 1800.05/1800.50 v -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 1800.05/1800.50 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x237 1800.05/1800.50 v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 1800.05/1800.50 v -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 1800.05/1800.50 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 1800.05/1800.50 v -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 1800.05/1800.50 v -x2435 -x2436 -x2437 -x2438 x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 1800.05/1800.50 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.05/1800.50 v -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 1800.05/1800.50 v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 1800.05/1800.50 v -x25 -x250 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 1800.05/1800.50 v -x2515 -x2516 -x2517 x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 x2530 1800.05/1800.50 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 1800.05/1800.50 v x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x256 -x2560 -x2561 -x2562 -x2563 1800.05/1800.50 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x258 1800.05/1800.50 v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.05/1800.50 v -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 x2610 1800.05/1800.50 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1800.05/1800.50 v -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x264 -x2640 x2641 -x2642 1800.05/1800.50 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1800.05/1800.50 v -x2659 -x266 -x2660 x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 1800.05/1800.50 v -x2675 -x2676 -x2677 x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 1800.05/1800.50 v -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.05/1800.50 v -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 1800.05/1800.50 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.05/1800.50 v -x274 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.05/1800.50 v -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 1800.05/1800.50 v -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 1800.05/1800.50 v -x2789 -x279 -x2790 -x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 1800.05/1800.50 v -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 -x282 1800.05/1800.50 v -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 1800.05/1800.50 v x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 1800.05/1800.50 v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 1800.05/1800.50 v -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 x2882 -x2883 -x2884 1800.05/1800.50 v -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 x2897 -x2898 -x2899 -x29 x290 1800.05/1800.50 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.05/1800.50 v -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 1800.05/1800.50 v x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.05/1800.50 v -x303 -x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1800.05/1800.50 v -x3046 -x3047 -x3048 x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 1800.05/1800.50 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 1800.05/1800.50 v -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x309 -x3090 -x3091 -x3092 x3093 -x3094 1800.05/1800.50 v -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 1800.05/1800.50 v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 1800.05/1800.50 v -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 1800.05/1800.50 v -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x315 x3150 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 1800.05/1800.50 v -x3159 -x316 x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 1800.05/1800.50 v -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x33 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 1800.05/1800.50 v -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.05/1800.50 v -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 1800.05/1800.50 v -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 x394 1800.05/1800.50 v -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 x411 -x412 -x413 1800.05/1800.50 v -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 1800.05/1800.50 v -x433 -x434 -x435 x436 -x437 -x438 -x439 x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 1800.05/1800.50 v -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 1800.05/1800.50 v -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 1800.05/1800.50 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 1800.05/1800.50 v -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 1800.05/1800.50 v -x547 -x548 -x549 -x55 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 1800.05/1800.50 v -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 1800.05/1800.50 v x585 -x586 -x587 -x588 -x589 x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 x600 -x601 -x602 -x603 1800.05/1800.50 v -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x62 x620 -x621 -x622 1800.05/1800.50 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 1800.05/1800.50 v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 x658 -x659 -x66 -x660 1800.05/1800.50 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 1800.05/1800.50 v x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 1800.05/1800.50 v -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.05/1800.50 v -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.05/1800.50 v -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 x753 -x754 x755 1800.05/1800.50 v -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 1800.05/1800.50 v -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 1800.05/1800.50 v -x794 -x795 -x796 x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 1800.05/1800.50 v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x83 -x830 -x831 1800.05/1800.50 v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 1800.05/1800.50 v -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x87 1800.05/1800.50 v -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 1800.05/1800.50 v -x89 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.05/1800.50 v -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 1800.05/1800.50 v -x947 -x948 -x949 -x95 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 1800.05/1800.50 v -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 1800.05/1800.50 v -x985 x986 -x987 -x988 -x989 -x99 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 6
Linearizing /tmp/evaluation/459695-1178658327/instance-459695-1178658327.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-459695-1178658327 -o ROOT/results/node51/solver-459695-1178658327 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459695-1178658327/instance-459695-1178658327.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.00 1.00 3/64 26372 /proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=1768 CPUtime=0 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 237 0 0 0 0 0 0 0 18 0 1 0 220677829 1810432 219 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 442 219 86 219 0 219 0 [startup+0.0571501 s] /proc/loadavg: 1.00 1.00 1.00 3/64 26372 /proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=2464 CPUtime=0.05 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 446 0 0 0 5 0 0 0 18 0 1 0 220677829 2523136 395 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 616 395 86 219 0 393 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2464 [startup+0.101153 s] /proc/loadavg: 1.00 1.00 1.00 3/64 26372 /proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=2740 CPUtime=0.09 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 220677829 2805760 477 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057645 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 685 477 101 219 0 462 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2740 [startup+0.301171 s] /proc/loadavg: 1.00 1.00 1.00 3/64 26372 /proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=3016 CPUtime=0.29 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 596 0 0 0 29 0 0 0 19 0 1 0 220677829 3088384 545 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 754 545 102 219 0 531 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3016 [startup+0.701207 s] /proc/loadavg: 1.00 1.00 1.00 3/64 26372 /proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=3016 CPUtime=0.69 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 610 0 0 0 69 0 0 0 22 0 1 0 220677829 3088384 559 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 754 559 102 219 0 531 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3016 [startup+1.50128 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1551880/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=3468 CPUtime=1.49 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 668 0 0 0 149 0 0 0 25 0 1 0 220677829 3551232 617 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 867 617 102 219 0 644 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3468 [startup+3.10142 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1551304/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=3980 CPUtime=3.09 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 756 0 0 0 309 0 0 0 25 0 1 0 220677829 4075520 705 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 995 705 102 219 0 772 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3980 [startup+6.30171 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1550664/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=5316 CPUtime=6.29 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 966 0 0 0 628 1 0 0 25 0 1 0 220677829 5443584 866 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 1329 866 102 219 0 1106 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5316 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1549464/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=5600 CPUtime=12.69 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 1224 0 0 0 1267 2 0 0 25 0 1 0 220677829 5734400 1124 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 1400 1124 102 219 0 1177 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 5600 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1546456/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=9668 CPUtime=25.48 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 2077 0 0 0 2544 4 0 0 25 0 1 0 220677829 9900032 1880 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 2417 1880 102 219 0 2194 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9668 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1544728/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=11552 CPUtime=51.07 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 2689 0 0 0 5098 9 0 0 25 0 1 0 220677829 11829248 2299 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 2888 2299 102 219 0 2665 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11552 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1542872/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=12528 CPUtime=102.27 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 3146 0 0 0 10208 19 0 0 25 0 1 0 220677829 12828672 2756 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 3132 2756 102 219 0 2909 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12528 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1540120/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=18928 CPUtime=162.25 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 4224 0 0 0 16194 31 0 0 25 0 1 0 220677829 19382272 3449 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 4732 3449 102 219 0 4509 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18928 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1536216/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=20352 CPUtime=222.24 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 5192 0 0 0 22184 40 0 0 25 0 1 0 220677829 20840448 4417 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 5088 4417 102 219 0 4865 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 20352 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1533144/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=32964 CPUtime=282.22 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 6724 0 0 0 28172 50 0 0 25 0 1 0 220677829 33755136 5180 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 8241 5180 102 219 0 8018 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 32964 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26373 /proc/meminfo: memFree=1530328/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=33752 CPUtime=342.21 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 7432 0 0 0 34164 57 0 0 25 0 1 0 220677829 34562048 5888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 8438 5888 102 219 0 8215 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 33752 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1527704/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=34708 CPUtime=402.19 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 8089 0 0 0 40153 66 0 0 25 0 1 0 220677829 35540992 6545 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 8677 6545 102 219 0 8454 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 34708 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1525464/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=35664 CPUtime=462.17 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 8650 0 0 0 46143 74 0 0 25 0 1 0 220677829 36519936 7106 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 8916 7106 102 219 0 8693 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 35664 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1522968/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=36548 CPUtime=522.16 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 9289 0 0 0 52134 82 0 0 25 0 1 0 220677829 37425152 7745 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 9137 7745 102 219 0 8914 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 36548 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1520664/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=37316 CPUtime=582.15 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 9849 0 0 0 58125 90 0 0 25 0 1 0 220677829 38211584 8305 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 9329 8305 102 219 0 9106 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 37316 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1518232/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=38276 CPUtime=642.14 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 10445 0 0 0 64117 97 0 0 25 0 1 0 220677829 39194624 8901 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 9569 8901 102 219 0 9346 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 38276 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1510552/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=64036 CPUtime=882.07 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 13901 0 0 0 88084 123 0 0 25 0 1 0 220677829 65572864 10820 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 16009 10820 102 219 0 15786 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 64036 [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1508760/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=64572 CPUtime=942.06 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 14345 0 0 0 94077 129 0 0 25 0 1 0 220677829 66121728 11264 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 16143 11264 102 219 0 15920 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 64572 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1506968/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=65460 CPUtime=1002.04 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 14799 0 0 0 100069 135 0 0 25 0 1 0 220677829 67031040 11718 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 16365 11718 102 219 0 16142 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 65460 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1505176/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=66244 CPUtime=1062.04 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 15243 0 0 0 106062 142 0 0 25 0 1 0 220677829 67833856 12162 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 16561 12162 102 219 0 16338 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 66244 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1503896/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=66924 CPUtime=1122.02 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 15575 0 0 0 112054 148 0 0 25 0 1 0 220677829 68530176 12494 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544844 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 16731 12494 102 219 0 16508 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 66924 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1502296/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=67344 CPUtime=1182.01 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 15960 0 0 0 118048 153 0 0 25 0 1 0 220677829 68960256 12879 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 16836 12879 102 219 0 16613 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 67344 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1500632/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=68016 CPUtime=1241.99 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 16411 0 0 0 124041 158 0 0 25 0 1 0 220677829 69648384 13297 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 17004 13297 102 219 0 16781 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 68016 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1498968/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=68644 CPUtime=1301.98 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 16813 0 0 0 130035 163 0 0 25 0 1 0 220677829 70291456 13699 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 17161 13699 102 219 0 16938 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 68644 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1497496/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=69220 CPUtime=1361.96 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 17221 0 0 0 136026 170 0 0 25 0 1 0 220677829 70881280 14074 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 17305 14074 102 219 0 17082 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 69220 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1495832/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=69672 CPUtime=1421.94 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 17650 0 0 0 142018 176 0 0 25 0 1 0 220677829 71344128 14503 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 17418 14503 102 219 0 17195 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 69672 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1494552/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=70268 CPUtime=1481.93 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 17960 0 0 0 148011 182 0 0 25 0 1 0 220677829 71954432 14813 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 17567 14813 102 219 0 17344 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 70268 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1493272/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=70652 CPUtime=1541.92 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 18270 0 0 0 154004 188 0 0 25 0 1 0 220677829 72347648 15123 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 17663 15123 102 219 0 17440 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 70652 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26375 /proc/meminfo: memFree=1491928/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=70956 CPUtime=1601.9 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 18609 0 0 0 159997 193 0 0 25 0 1 0 220677829 72658944 15462 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 17739 15462 102 219 0 17516 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 70956 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 26375 /proc/meminfo: memFree=1490648/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=71652 CPUtime=1661.89 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 18979 0 0 0 165989 200 0 0 25 0 1 0 220677829 73371648 15832 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 17913 15832 102 219 0 17690 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 71652 [startup+1722.3 s] /proc/loadavg: 1.05 1.02 1.00 2/65 26375 /proc/meminfo: memFree=1489112/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=72180 CPUtime=1721.88 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 19396 0 0 0 171981 207 0 0 25 0 1 0 220677829 73912320 16216 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 18045 16216 102 219 0 17822 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 72180 [startup+1782.3 s] /proc/loadavg: 1.12 1.05 1.01 2/65 26375 /proc/meminfo: memFree=1487576/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=72568 CPUtime=1781.86 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 19767 0 0 0 177974 212 0 0 25 0 1 0 220677829 74309632 16587 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 18142 16587 102 219 0 17919 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 72568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.09 1.04 1.00 2/65 26375 /proc/meminfo: memFree=1487064/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=73144 CPUtime=1800.05 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 19885 0 0 0 179791 214 0 0 25 0 1 0 220677829 74899456 16705 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 18286 16705 102 219 0 18063 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 73144 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.09 1.04 1.00 2/65 26375 /proc/meminfo: memFree=1487064/2055920 swapFree=4183364/4192956 [pid=26372] ppid=26370 vsize=73144 CPUtime=1800.05 /proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 19885 0 0 0 179791 214 0 0 25 0 1 0 220677829 74899456 16705 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26372/statm: 18286 16705 102 219 0 18063 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 73144 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.08 CPU user time (s): 1797.92 CPU system time (s): 2.16067 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 73144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.92 system time used= 2.16067 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19888 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= 1338 runsolver used 1.23381 second user time and 3.69044 second system time The end
Begin job on node51 on Tue May 8 21:05:27 UTC 2007 IDJOB= 459695 IDBENCH= 48156 IDSOLVER= 200 FILE ID= node51/459695-1178658327 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/mds/normalized-mds_100_25_2.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459695-1178658327/instance-459695-1178658327.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-459695-1178658327 -o ROOT/results/node51/conversion-459695-1178658327 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459695-1178658327/instance-459695-1178658327.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-459695-1178658327 -o ROOT/results/node51/solver-459695-1178658327 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459695-1178658327/instance-459695-1178658327.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED= 396659612 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: 1554216 kB Buffers: 39452 kB Cached: 339608 kB SwapCached: 3644 kB Active: 112812 kB Inactive: 275952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1554216 kB SwapTotal: 4192956 kB SwapFree: 4183364 kB Dirty: 2472 kB Writeback: 0 kB Mapped: 15764 kB Slab: 98968 kB Committed_AS: 8761988 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 21:35:30 UTC 2007