Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 5 | 1800.03 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb |
MD5SUM | cdb29f44159b0b72729019e0c0db0b8a |
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 | 133.502 |
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) | 3090 |
Sum of products size (including duplicates) | 6180 |
Number of different products | 3090 |
Sum of products size | 6180 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459693-1178658308/instance-459693-1178658308.opb ...... 0.00/0.07 c done parsing opb. 0.00/0.07 o 44 0.00/0.08 o 43 0.00/0.08 o 42 0.00/0.08 o 41 0.00/0.08 o 40 0.00/0.08 o 39 0.08/0.08 o 38 0.08/0.09 o 37 0.08/0.09 o 36 0.08/0.09 o 35 0.08/0.09 o 34 0.08/0.09 o 33 0.08/0.09 o 32 0.08/0.10 o 31 0.09/0.10 o 30 0.09/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.11 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.12 o 18 0.09/0.12 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.13 o 12 0.09/0.13 o 11 0.09/0.13 o 10 0.09/0.14 o 9 0.39/0.44 o 8 9.18/9.25 o 7 109.56/109.66 o 6 358.00/358.10 o 5 1800.01/1800.50 s SATISFIABLE 1800.01/1800.50 v -x1 -x10 -x100 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 x1010 -x1011 -x1012 -x1013 -x1014 1800.01/1800.50 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x103 -x1030 1800.01/1800.50 v -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.01/1800.50 v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.01/1800.50 v x1064 -x1065 -x1066 -x1067 x1068 x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 1800.01/1800.50 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.01/1800.50 v -x1096 -x1097 -x1098 -x1099 x11 -x110 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 1800.01/1800.50 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.01/1800.50 v -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 1800.01/1800.50 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x116 1800.01/1800.50 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.01/1800.50 v -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 1800.01/1800.50 v -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1800.01/1800.50 v -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 1800.01/1800.50 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1800.01/1800.50 v -x124 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1800.01/1800.50 v -x1256 -x1257 -x1258 x1259 -x126 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x127 -x1270 -x1271 1800.01/1800.50 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1800.01/1800.50 v -x1289 -x129 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 x1301 -x1302 -x1303 1800.01/1800.50 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.01/1800.50 v -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.01/1800.50 v -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x135 -x1350 -x1351 1800.01/1800.50 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.01/1800.50 v -x1368 -x1369 -x137 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 1800.01/1800.50 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 1800.01/1800.50 v -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.01/1800.50 v -x1416 -x1417 x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 1800.01/1800.50 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 1800.01/1800.50 v -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 x1460 -x1461 -x1462 -x1463 -x1464 1800.01/1800.50 v -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x148 -x1480 1800.01/1800.50 v -x1481 x1482 -x1483 -x1484 -x1485 x1486 -x1487 x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1800.01/1800.50 v -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 1800.01/1800.50 v -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 1800.01/1800.50 v -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 1800.01/1800.50 v -x1546 -x1547 -x1548 -x1549 -x155 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 x1561 1800.01/1800.50 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 1800.01/1800.50 v -x1579 -x158 x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 1800.01/1800.50 v -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 1800.01/1800.50 v -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 1800.01/1800.50 v -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 x1640 -x1641 -x1642 1800.01/1800.50 v -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1800.01/1800.50 v x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 x1671 -x1672 x1673 -x1674 x1675 1800.01/1800.50 v -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 1800.01/1800.50 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.01/1800.50 v -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 1800.01/1800.50 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1800.01/1800.50 v -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.01/1800.50 v -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x177 -x1770 -x1771 1800.01/1800.50 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.01/1800.50 v -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x18 -x180 x1800 x1801 -x1802 1800.01/1800.50 v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1800.01/1800.50 v -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 x1832 -x1833 -x1834 1800.01/1800.50 v -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 1800.01/1800.50 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1800.01/1800.50 v -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 1800.01/1800.50 v -x1884 -x1885 -x1886 x1887 -x1888 x1889 -x189 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 1800.01/1800.50 v -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 1800.01/1800.50 v -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 1800.01/1800.50 v -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.01/1800.50 v -x1949 -x195 -x1950 x1951 -x1952 -x1953 x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 1800.01/1800.50 v -x1965 -x1966 x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 1800.01/1800.50 v -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 1800.01/1800.50 v -x1998 -x1999 -x2 x20 x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 1800.01/1800.50 v -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1800.01/1800.50 v -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1800.01/1800.50 v x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 x206 -x2060 -x2061 1800.01/1800.50 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 1800.01/1800.50 v x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 1800.01/1800.50 v -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x211 1800.01/1800.50 v -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 1800.01/1800.50 v -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x214 -x2140 -x2141 x2142 1800.01/1800.50 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1800.01/1800.50 v -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 x2170 -x2171 -x2172 -x2173 -x2174 1800.01/1800.50 v -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 1800.01/1800.50 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x22 -x220 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 1800.01/1800.50 v -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 1800.01/1800.50 v -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1800.01/1800.50 v -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 1800.01/1800.50 v -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 1800.01/1800.50 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.01/1800.50 v -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 x2301 -x2302 1800.01/1800.50 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1800.01/1800.50 v -x2319 -x232 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 1800.01/1800.50 v -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 x2348 -x2349 -x235 -x2350 1800.01/1800.50 v -x2351 x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.01/1800.50 v -x2368 -x2369 -x237 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 1800.01/1800.50 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1800.01/1800.50 v -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 x2413 -x2414 1800.01/1800.50 v -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 1800.01/1800.50 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 1800.01/1800.50 v -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x246 -x2460 x2461 -x2462 -x2463 1800.01/1800.50 v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 1800.01/1800.50 v -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.01/1800.50 v -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 x2510 -x2511 1800.01/1800.50 v x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 1800.01/1800.50 v -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x254 x2540 -x2541 -x2542 -x2543 x2544 1800.01/1800.50 v -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 1800.01/1800.50 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 1800.01/1800.50 v -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 x2593 1800.01/1800.50 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1800.01/1800.50 v -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 x2621 -x2622 -x2623 -x2624 x2625 1800.01/1800.50 v -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 1800.01/1800.50 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.01/1800.50 v -x2658 -x2659 -x266 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 x2673 1800.01/1800.50 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 1800.01/1800.50 v -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 1800.01/1800.50 v -x2706 x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 1800.01/1800.50 v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1800.01/1800.50 v -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 x2753 -x2754 1800.01/1800.50 v -x2755 -x2756 -x2757 x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 1800.01/1800.50 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x278 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 1800.01/1800.50 v -x2788 -x2789 -x279 -x2790 -x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 1800.01/1800.50 v -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 1800.01/1800.50 v -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 1800.01/1800.50 v x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 1800.01/1800.50 v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2868 1800.01/1800.50 v -x2869 -x287 -x2870 -x2871 -x2872 -x2873 x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 1800.01/1800.50 v -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x29 -x290 1800.01/1800.50 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 1800.01/1800.50 v -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 1800.01/1800.50 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 -x294 -x2940 -x2941 -x2942 x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 1800.01/1800.50 v -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 x2961 -x2962 -x2963 -x2964 x2965 1800.01/1800.50 v -x2966 -x2967 -x2968 -x2969 x297 -x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 1800.01/1800.50 v -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 1800.01/1800.50 v -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 1800.01/1800.50 v -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 x302 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.01/1800.50 v -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1800.01/1800.50 v -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 1800.01/1800.50 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 1800.01/1800.50 v -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 x3094 1800.01/1800.50 v -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 1800.01/1800.50 v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 x3118 x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 1800.01/1800.50 v -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 1800.01/1800.50 v x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 1800.01/1800.50 v -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x317 -x3170 -x3171 x3172 -x3173 -x3174 -x3175 1800.01/1800.50 v x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x319 -x3190 -x32 1800.01/1800.50 v -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.01/1800.50 v -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.01/1800.50 v -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.01/1800.50 v -x378 -x379 -x38 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 1800.01/1800.50 v -x397 -x398 -x399 x4 -x40 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 1800.01/1800.50 v -x416 x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 1800.01/1800.50 v -x435 -x436 -x437 -x438 x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 x450 -x451 -x452 -x453 1800.01/1800.50 v -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 1800.01/1800.50 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x49 -x490 -x491 1800.01/1800.50 v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 1800.01/1800.50 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 1800.01/1800.50 v -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 1800.01/1800.50 v -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 1800.01/1800.50 v -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 x583 -x584 -x585 -x586 1800.01/1800.50 v -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 1800.01/1800.50 v -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 x618 -x619 -x62 -x620 -x621 -x622 -x623 1800.01/1800.50 v -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 x640 -x641 -x642 1800.01/1800.50 v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 1800.01/1800.50 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x68 -x680 1800.01/1800.50 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 1800.01/1800.50 v -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.01/1800.50 v -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1800.01/1800.50 v -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.01/1800.50 v x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 1800.01/1800.50 v -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 1800.01/1800.50 v -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 1800.01/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.01/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.01/1800.50 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 x860 -x861 -x862 -x863 -x864 x865 -x866 x867 -x868 -x869 -x87 -x870 1800.01/1800.50 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x89 1800.01/1800.50 v -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x9 -x90 x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 1800.01/1800.50 v -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1800.01/1800.50 v -x929 -x93 -x930 x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x94 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1800.01/1800.50 v -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 1800.01/1800.50 v -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.01/1800.50 v -x987 -x988 -x989 -x99 -x990 -x991 -x992 x993 -x994 -x995 x996 -x997 -x998 x999
OK 5
Linearizing /tmp/evaluation/459693-1178658308/instance-459693-1178658308.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-459693-1178658308 -o ROOT/results/node6/solver-459693-1178658308 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459693-1178658308/instance-459693-1178658308.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.96 3/77 8963 /proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=1768 CPUtime=0 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 237 0 0 0 0 0 0 0 18 0 1 0 341868512 1810432 219 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 442 219 86 219 0 219 0 [startup+0.0885899 s] /proc/loadavg: 0.99 0.97 0.96 3/77 8963 /proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=2608 CPUtime=0.08 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 514 0 0 0 8 0 0 0 18 0 1 0 341868512 2670592 463 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 652 463 101 219 0 429 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2608 [startup+0.101591 s] /proc/loadavg: 0.99 0.97 0.96 3/77 8963 /proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=2740 CPUtime=0.09 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 529 0 0 0 9 0 0 0 18 0 1 0 341868512 2805760 478 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 685 479 101 219 0 462 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2740 [startup+0.301615 s] /proc/loadavg: 0.99 0.97 0.96 3/77 8963 /proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=2880 CPUtime=0.29 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 594 0 0 0 29 0 0 0 20 0 1 0 341868512 2949120 543 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 720 543 102 219 0 497 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2880 [startup+0.701663 s] /proc/loadavg: 0.99 0.97 0.96 3/77 8963 /proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=3016 CPUtime=0.69 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 627 0 0 0 69 0 0 0 24 0 1 0 341868512 3088384 576 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 754 576 102 219 0 531 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3016 [startup+1.50175 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1526960/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=3468 CPUtime=1.49 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 690 0 0 0 148 1 0 0 25 0 1 0 341868512 3551232 639 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 867 639 102 219 0 644 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3468 [startup+3.10194 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1526448/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=4684 CPUtime=3.09 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 958 0 0 0 308 1 0 0 25 0 1 0 341868512 4796416 907 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 1171 907 102 219 0 948 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4684 [startup+6.30132 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1524912/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=6024 CPUtime=6.29 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 1187 0 0 0 627 2 0 0 25 0 1 0 341868512 6168576 1087 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 1506 1087 102 219 0 1283 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6024 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1523888/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=6304 CPUtime=12.69 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 1416 0 0 0 1266 3 0 0 25 0 1 0 341868512 6455296 1316 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 1576 1316 102 219 0 1353 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6304 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1521776/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=9904 CPUtime=25.49 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 2037 0 0 0 2543 6 0 0 25 0 1 0 341868512 10141696 1840 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 2476 1840 102 219 0 2253 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9904 [startup+51.1016 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1520176/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=11492 CPUtime=51.08 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 2613 0 0 0 5097 11 0 0 25 0 1 0 341868512 11767808 2223 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 2873 2223 102 219 0 2650 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 11492 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1517168/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=16844 CPUtime=102.27 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 3359 0 0 0 10207 20 0 0 25 0 1 0 341868512 17248256 2969 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 4211 2969 102 219 0 3988 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16844 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1514800/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=19588 CPUtime=162.25 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 4347 0 0 0 16194 31 0 0 25 0 1 0 341868512 20058112 3572 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560663 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 4897 3572 102 219 0 4674 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 19588 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1512432/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=20488 CPUtime=222.23 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 4932 0 0 0 22181 42 0 0 25 0 1 0 341868512 20979712 4157 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 5122 4157 102 219 0 4899 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20488 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1509744/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=24580 CPUtime=282.22 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 6352 0 0 0 28169 53 0 0 25 0 1 0 341868512 25169920 4808 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 6145 4808 102 219 0 5922 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 24580 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1507056/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=33560 CPUtime=342.2 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 7032 0 0 0 34157 63 0 0 25 0 1 0 341868512 34365440 5488 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 8390 5488 102 219 0 8167 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33560 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1504752/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=34680 CPUtime=402.18 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 7614 0 0 0 40147 71 0 0 25 0 1 0 341868512 35512320 6070 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 8670 6070 102 219 0 8447 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 34680 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1502320/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=35404 CPUtime=462.16 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 8247 0 0 0 46137 79 0 0 25 0 1 0 341868512 36253696 6703 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 8851 6703 102 219 0 8628 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 35404 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1500016/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=36540 CPUtime=522.15 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 8814 0 0 0 52128 87 0 0 25 0 1 0 341868512 37416960 7270 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 9135 7270 102 219 0 8912 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 36540 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1498096/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=37432 CPUtime=582.13 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 9304 0 0 0 58118 95 0 0 25 0 1 0 341868512 38330368 7760 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 9358 7760 102 219 0 9135 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 37432 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1495984/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=38152 CPUtime=642.13 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 9814 0 0 0 64110 103 0 0 25 0 1 0 341868512 39067648 8270 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 9538 8270 102 219 0 9315 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 38152 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1488688/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=63112 CPUtime=882.06 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 13173 0 0 0 88071 135 0 0 25 0 1 0 341868512 64626688 10092 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 15778 10092 102 219 0 15555 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 63112 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1486896/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=63752 CPUtime=942.04 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 13612 0 0 0 94063 141 0 0 25 0 1 0 341868512 65282048 10531 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 15938 10531 102 219 0 15715 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 63752 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1485232/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=64248 CPUtime=1002.02 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 14060 0 0 0 100053 149 0 0 25 0 1 0 341868512 65789952 10979 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 16062 10979 102 219 0 15839 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 64248 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1483632/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=65084 CPUtime=1062 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 14465 0 0 0 106044 156 0 0 25 0 1 0 341868512 66646016 11384 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 16271 11384 102 219 0 16048 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 65084 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1482032/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=65636 CPUtime=1121.99 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 14857 0 0 0 112035 164 0 0 25 0 1 0 341868512 67211264 11776 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 16409 11776 102 219 0 16186 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 65636 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1480176/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=66596 CPUtime=1181.97 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 15317 0 0 0 118028 169 0 0 25 0 1 0 341868512 68194304 12236 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 16649 12236 102 219 0 16426 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 66596 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1478256/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=67148 CPUtime=1241.96 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 15783 0 0 0 124020 176 0 0 25 0 1 0 341868512 68759552 12702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 16787 12702 102 219 0 16564 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 67148 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1476272/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=67880 CPUtime=1301.94 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 16281 0 0 0 130011 183 0 0 25 0 1 0 341868512 69509120 13200 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 16970 13200 102 219 0 16747 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 67880 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1474672/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=68400 CPUtime=1361.93 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 16681 0 0 0 136003 190 0 0 25 0 1 0 341868512 70041600 13600 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 17100 13600 102 219 0 16877 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 68400 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1472944/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=69320 CPUtime=1421.91 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 17101 0 0 0 141995 196 0 0 25 0 1 0 341868512 70983680 14020 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 17330 14020 102 219 0 17107 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 69320 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1471216/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=70000 CPUtime=1481.9 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 17550 0 0 0 147986 204 0 0 25 0 1 0 341868512 71680000 14469 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 17500 14469 102 219 0 17277 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 70000 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1469808/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=70376 CPUtime=1541.87 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 17889 0 0 0 153977 210 0 0 25 0 1 0 341868512 72065024 14808 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 17594 14808 102 219 0 17371 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 70376 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1468016/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=71200 CPUtime=1601.86 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 18332 0 0 0 159970 216 0 0 25 0 1 0 341868512 72908800 15251 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544711 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 17800 15251 102 219 0 17577 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 71200 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1466608/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=71920 CPUtime=1661.84 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 18691 0 0 0 165961 223 0 0 25 0 1 0 341868512 73646080 15610 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 17980 15610 102 219 0 17757 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 71920 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1464816/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=72552 CPUtime=1721.83 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 19143 0 0 0 171954 229 0 0 25 0 1 0 341868512 74293248 16062 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 18138 16062 102 219 0 17915 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 72552 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1463344/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=72872 CPUtime=1781.81 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 19493 0 0 0 177946 235 0 0 25 0 1 0 341868512 74620928 16412 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 18218 16412 102 219 0 17995 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 72872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1462832/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=72872 CPUtime=1800.01 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 19626 0 0 0 179765 236 0 0 25 0 1 0 341868512 74620928 16545 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 18218 16545 102 219 0 17995 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 72872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.96 2/78 8964 /proc/meminfo: memFree=1462832/2055924 swapFree=4146632/4192956 [pid=8963] ppid=8961 vsize=72872 CPUtime=1800.01 /proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 19626 0 0 0 179765 236 0 0 25 0 1 0 341868512 74620928 16545 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8963/statm: 18218 16545 102 219 0 17995 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 72872 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.03 CPU user time (s): 1797.65 CPU system time (s): 2.38064 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 72872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.65 system time used= 2.38064 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19629 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= 35572 runsolver used 1.39379 second user time and 4.10837 second system time The end
Begin job on node6 on Tue May 8 21:05:08 UTC 2007 IDJOB= 459693 IDBENCH= 48154 IDSOLVER= 200 FILE ID= node6/459693-1178658308 PBS_JOBID= 5218009 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_3.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459693-1178658308/instance-459693-1178658308.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-459693-1178658308 -o ROOT/results/node6/conversion-459693-1178658308 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459693-1178658308/instance-459693-1178658308.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-459693-1178658308 -o ROOT/results/node6/solver-459693-1178658308 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459693-1178658308/instance-459693-1178658308.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a RANDOM SEED= 868896111 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1529424 kB Buffers: 49292 kB Cached: 377836 kB SwapCached: 13920 kB Active: 240268 kB Inactive: 211344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1529424 kB SwapTotal: 4192956 kB SwapFree: 4146632 kB Dirty: 2484 kB Writeback: 0 kB Mapped: 31416 kB Slab: 60496 kB Committed_AS: 12614836 kB PageTables: 1784 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 node6 on Tue May 8 21:35:11 UTC 2007