Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -47 | 1800.08 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_3.opb |
MD5SUM | 27440fbcb5a9ea2c9ae6b100e77dc1d3 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -60 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -60 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 4976 |
Sum of products size (including duplicates) | 9952 |
Number of different products | 2488 |
Sum of products size | 4976 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb ...... 0.69/0.78 c done parsing opb. 0.69/0.78 o 172 0.79/0.81 o 171 1.59/1.68 o 163 1.59/1.69 o 162 2.19/2.22 o 161 2.29/2.34 o 160 13.19/13.25 o 159 16.19/16.21 o 158 22.39/22.48 o 157 22.58/22.68 o 156 44.68/44.72 o 155 192.24/192.31 o 154 217.73/217.84 o 153 1800.04/1800.60 s SATISFIABLE 1800.04/1800.60 v -x1 -x10 x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.04/1800.60 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.04/1800.60 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.04/1800.60 v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x106 -x1060 -x1061 -x1062 -x1063 1800.04/1800.60 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.04/1800.60 v -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.04/1800.60 v -x1096 -x1097 -x1098 -x1099 -x11 x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x111 -x1110 1800.04/1800.60 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.04/1800.60 v -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 1800.04/1800.60 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.04/1800.60 v -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.04/1800.60 v -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x119 -x1190 -x1191 1800.04/1800.60 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1800.04/1800.60 v -x1208 -x1209 x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 1800.04/1800.60 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 1800.04/1800.60 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1800.04/1800.60 v -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x127 -x1270 -x1271 1800.04/1800.60 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.04/1800.60 v -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 1800.04/1800.60 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.04/1800.60 v -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 -x1332 -x1333 -x1334 1800.04/1800.60 v -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 1800.04/1800.60 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1800.04/1800.60 v -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 1800.04/1800.60 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.04/1800.60 v -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 1800.04/1800.60 v -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 1800.04/1800.60 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1800.04/1800.60 v -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 1800.04/1800.60 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 1800.04/1800.60 v -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 1800.04/1800.60 v -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 1800.04/1800.60 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1800.04/1800.60 v -x1526 -x1527 x1528 -x1529 -x153 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x154 -x1540 -x1541 1800.04/1800.60 v -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1800.04/1800.60 v -x1559 x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 1800.04/1800.60 v -x1575 -x1576 -x1577 -x1578 -x1579 x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x159 -x1590 1800.04/1800.60 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 1800.04/1800.60 v -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 1800.04/1800.60 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.04/1800.60 v -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.04/1800.60 v -x1656 -x1657 -x1658 -x1659 x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x167 -x1670 -x1671 1800.04/1800.60 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.04/1800.60 v -x1688 -x1689 x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 x170 -x1700 -x1701 -x1702 1800.04/1800.60 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.04/1800.60 v -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 1800.04/1800.60 v -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 x175 -x1750 1800.04/1800.60 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1800.04/1800.60 v -x1767 -x1768 -x1769 -x177 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x178 -x1780 -x1781 -x1782 1800.04/1800.60 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 1800.04/1800.60 v x18 x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 x1811 -x1812 -x1813 -x1814 1800.04/1800.60 v -x1815 -x1816 -x1817 -x1818 -x1819 x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x183 -x1830 1800.04/1800.60 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1800.04/1800.60 v -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 1800.04/1800.60 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.04/1800.60 v -x1879 x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 1800.04/1800.60 v -x1895 -x1896 -x1897 -x1898 -x1899 x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 1800.04/1800.60 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.04/1800.60 v -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 1800.04/1800.60 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.04/1800.60 v -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 1800.04/1800.60 v -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x199 -x1990 1800.04/1800.60 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 1800.04/1800.60 v -x2006 -x2007 -x2008 -x2009 x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x202 -x2020 -x2021 1800.04/1800.60 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.04/1800.60 v -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x205 -x2050 -x2051 -x2052 -x2053 -x2054 1800.04/1800.60 v -x2055 x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x207 -x2070 1800.04/1800.60 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1800.04/1800.60 v -x2088 -x2089 x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 x210 -x2100 -x2101 -x2102 1800.04/1800.60 v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x211 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 1800.04/1800.60 v -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1800.04/1800.60 v -x2136 -x2137 -x2138 -x2139 x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 1800.04/1800.60 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1800.04/1800.60 v -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 1800.04/1800.60 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.04/1800.60 v -x22 x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 1800.04/1800.60 v -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 1800.04/1800.60 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1800.04/1800.60 v -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 1800.04/1800.60 v -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1800.04/1800.60 v -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x229 -x2290 -x2291 -x2292 -x2293 -x2294 1800.04/1800.60 v -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 1800.04/1800.60 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1800.04/1800.60 v -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 1800.04/1800.60 v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.04/1800.60 v -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 1800.04/1800.60 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1800.04/1800.60 v -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 1800.04/1800.60 v -x2405 -x2406 -x2407 -x2408 x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 1800.04/1800.60 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1800.04/1800.60 v -x2437 -x2438 -x2439 -x244 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x245 -x2450 -x2451 -x2452 1800.04/1800.60 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1800.04/1800.60 v -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 1800.04/1800.60 v -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x25 -x250 1800.04/1800.60 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1800.04/1800.60 v -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 1800.04/1800.60 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 1800.04/1800.60 v -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 1800.04/1800.60 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 1800.04/1800.60 v x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.04/1800.60 v -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 1800.04/1800.60 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1800.04/1800.60 v -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 1800.04/1800.60 v -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1800.04/1800.60 v x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.04/1800.60 v -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x269 -x2690 -x2691 1800.04/1800.60 v -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x27 x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1800.04/1800.60 v -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 1800.04/1800.60 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.04/1800.60 v x274 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.04/1800.60 v -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 x277 -x2770 -x2771 1800.04/1800.60 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.04/1800.60 v -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x28 -x280 -x2800 -x2801 -x2802 1800.04/1800.60 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1800.04/1800.60 v -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 1800.04/1800.60 v -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 x285 -x2850 1800.04/1800.60 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.04/1800.60 v x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 1800.04/1800.60 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 x299 -x3 -x30 -x300 1800.04/1800.60 v -x301 x302 x303 -x304 -x305 -x306 x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x32 -x320 1800.04/1800.60 v -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x33 -x330 x331 x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x34 x340 1800.04/1800.60 v x341 -x342 -x343 -x344 x345 x346 -x347 -x348 x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x36 -x360 1800.04/1800.60 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x37 -x370 x371 -x372 x373 x374 -x375 x376 -x377 -x378 -x379 -x38 -x380 1800.04/1800.60 v x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 x4 -x40 1800.04/1800.60 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 1800.04/1800.60 v -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 1800.04/1800.60 v -x439 x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1800.04/1800.60 v -x458 -x459 x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 1800.04/1800.60 v -x478 -x479 x48 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 1800.04/1800.60 v -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 1800.04/1800.60 v -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 x53 -x530 -x531 -x532 -x533 1800.04/1800.60 v -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 1800.04/1800.60 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x57 -x570 -x571 1800.04/1800.60 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 1800.04/1800.60 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.04/1800.60 v x61 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1800.04/1800.60 v -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 1800.04/1800.60 v -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 1800.04/1800.60 v -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 1800.04/1800.60 v -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 1800.04/1800.60 v -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 1800.04/1800.60 v -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 1800.04/1800.60 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x76 -x760 -x761 1800.04/1800.60 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 1800.04/1800.60 v -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 1800.04/1800.60 v -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.04/1800.60 v -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 1800.04/1800.60 v -x838 -x839 x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 1800.04/1800.60 v -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 1800.04/1800.60 v -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 1800.04/1800.60 v -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 1800.04/1800.60 v -x913 -x914 -x915 -x916 -x917 x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 1800.04/1800.60 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 1800.04/1800.60 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 1800.04/1800.60 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 1800.04/1800.60 v -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK -47
Linearizing /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-459818-1178660884 -o ROOT/results/node7/solver-459818-1178660884 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459818-1178660884/instance-459818-1178660884.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.92 0.98 0.99 3/77 2034 /proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=1732 CPUtime=0 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 342126002 1773568 215 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 433 215 86 219 0 210 0 [startup+0.067021 s] /proc/loadavg: 0.92 0.98 0.99 3/77 2034 /proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=2724 CPUtime=0.06 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 475 0 0 0 6 0 0 0 18 0 1 0 342126002 2789376 424 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134531401 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 681 424 86 219 0 458 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2724 [startup+0.101025 s] /proc/loadavg: 0.92 0.98 0.99 3/77 2034 /proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=2720 CPUtime=0.09 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 496 0 0 0 9 0 0 0 18 0 1 0 342126002 2785280 445 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 680 445 90 219 0 457 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2720 [startup+0.301045 s] /proc/loadavg: 0.92 0.98 0.99 3/77 2034 /proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=2720 CPUtime=0.29 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 496 0 0 0 29 0 0 0 19 0 1 0 342126002 2785280 445 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 680 445 90 219 0 457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2720 [startup+0.701088 s] /proc/loadavg: 0.92 0.98 0.99 3/77 2034 /proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=2720 CPUtime=0.69 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 497 0 0 0 69 0 0 0 23 0 1 0 342126002 2785280 446 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 680 446 90 219 0 457 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2720 [startup+1.50117 s] /proc/loadavg: 0.92 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1936816/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=2852 CPUtime=1.49 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 559 0 0 0 149 0 0 0 25 0 1 0 342126002 2920448 508 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 713 508 102 219 0 490 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 2852 [startup+3.10134 s] /proc/loadavg: 0.92 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1936432/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=3888 CPUtime=3.09 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 775 0 0 0 308 1 0 0 25 0 1 0 342126002 3981312 724 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 972 724 102 219 0 749 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3888 [startup+6.30167 s] /proc/loadavg: 0.93 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1934320/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=7156 CPUtime=6.29 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 1253 0 0 0 628 1 0 0 25 0 1 0 342126002 7327744 1202 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 1789 1202 102 219 0 1566 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7156 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1926128/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=19900 CPUtime=12.69 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 3550 0 0 0 1266 3 0 0 25 0 1 0 342126002 20377600 3450 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 4975 3450 102 219 0 4752 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19900 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1921712/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=21528 CPUtime=25.48 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 4418 0 0 0 2539 9 0 0 25 0 1 0 342126002 22044672 4221 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 5382 4221 102 219 0 5159 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21528 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1920560/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=22948 CPUtime=51.07 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 4912 0 0 0 5091 16 0 0 25 0 1 0 342126002 23498752 4522 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 5737 4522 102 219 0 5514 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22948 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1895472/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=76120 CPUtime=102.27 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 11549 0 0 0 10197 30 0 0 25 0 1 0 342126002 77946880 10774 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 19030 10774 102 219 0 18807 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 76120 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1839280/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=145224 CPUtime=162.25 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 25688 0 0 0 16178 47 0 0 25 0 1 0 342126002 148709376 24913 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 36306 24913 102 219 0 36083 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 145224 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1800432/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=148100 CPUtime=222.23 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 35263 0 0 0 22162 61 0 0 25 0 1 0 342126002 151654400 34488 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 37025 34488 102 219 0 36802 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 148100 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1791088/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=154224 CPUtime=282.22 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 38287 0 0 0 28150 72 0 0 25 0 1 0 342126002 157925376 36743 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 38556 36743 102 219 0 38333 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 154224 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1789296/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=155824 CPUtime=342.21 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 38751 0 0 0 34141 80 0 0 25 0 1 0 342126002 159563776 37207 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 38956 37207 102 219 0 38733 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 155824 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1786672/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=158432 CPUtime=402.19 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 39420 0 0 0 40131 88 0 0 25 0 1 0 342126002 162234368 37876 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 39608 37876 102 219 0 39385 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 158432 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1784048/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=160788 CPUtime=462.17 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 40033 0 0 0 46123 94 0 0 25 0 1 0 342126002 164646912 38489 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 40197 38489 102 219 0 39974 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 160788 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1782832/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=161748 CPUtime=522.16 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 40330 0 0 0 52117 99 0 0 25 0 1 0 342126002 165629952 38786 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 40437 38786 102 219 0 40214 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 161748 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1780720/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=164068 CPUtime=582.14 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 40854 0 0 0 58110 104 0 0 25 0 1 0 342126002 168005632 39310 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 41017 39310 102 219 0 40794 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 164068 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2035 /proc/meminfo: memFree=1780016/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=164580 CPUtime=642.12 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 41017 0 0 0 64104 108 0 0 25 0 1 0 342126002 168529920 39473 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 41145 39473 102 219 0 40922 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 164580 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.01 1.00 1.00 2/84 2216 /proc/meminfo: memFree=1770752/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=179340 CPUtime=822 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 44486 0 0 0 82076 124 0 0 25 0 1 0 342126002 183644160 41389 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 44835 41389 102 219 0 44612 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 179340 [startup+882.302 s] /proc/loadavg: 1.11 1.04 1.01 2/78 2244 /proc/meminfo: memFree=1770928/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=179804 CPUtime=881.97 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 44701 0 0 0 88068 129 0 0 25 0 1 0 342126002 184119296 41604 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 44951 41604 102 219 0 44728 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 179804 [startup+942.302 s] /proc/loadavg: 1.04 1.03 1.01 2/78 2244 /proc/meminfo: memFree=1769392/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=181076 CPUtime=941.95 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 45160 0 0 0 94061 134 0 0 25 0 1 0 342126002 185421824 41997 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 45269 41997 102 219 0 45046 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 181076 [startup+1002.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 2244 /proc/meminfo: memFree=1766896/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=183716 CPUtime=1001.93 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 45776 0 0 0 100054 139 0 0 25 0 1 0 342126002 188125184 42613 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 45929 42613 102 219 0 45706 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 183716 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 2244 /proc/meminfo: memFree=1766000/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=184356 CPUtime=1061.92 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 45992 0 0 0 106048 144 0 0 25 0 1 0 342126002 188780544 42829 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 46089 42829 102 219 0 45866 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 184356 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2244 /proc/meminfo: memFree=1765232/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=184752 CPUtime=1121.9 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 46187 0 0 0 112040 150 0 0 25 0 1 0 342126002 189186048 43024 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 46188 43024 102 219 0 45965 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 184752 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2244 /proc/meminfo: memFree=1764464/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=185416 CPUtime=1181.89 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 46377 0 0 0 118034 155 0 0 25 0 1 0 342126002 189865984 43214 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 46354 43214 102 219 0 46131 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 185416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1763760/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=185680 CPUtime=1241.88 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 46514 0 0 0 124028 160 0 0 25 0 1 0 342126002 190136320 43351 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 46420 43351 102 219 0 46197 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 185680 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1762096/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=187036 CPUtime=1301.86 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 46916 0 0 0 130023 163 0 0 25 0 1 0 342126002 191524864 43753 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 46759 43753 102 219 0 46536 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 187036 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1761008/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=187544 CPUtime=1361.85 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 47171 0 0 0 136015 170 0 0 25 0 1 0 342126002 192045056 44008 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 46886 44008 102 219 0 46663 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 187544 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1759600/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=188660 CPUtime=1421.83 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 47499 0 0 0 142007 176 0 0 25 0 1 0 342126002 193187840 44336 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 47165 44336 102 219 0 46942 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 188660 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1758768/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=189272 CPUtime=1481.81 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 47704 0 0 0 148000 181 0 0 25 0 1 0 342126002 193814528 44541 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 47318 44541 102 219 0 47095 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 189272 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1757616/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=189920 CPUtime=1541.8 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 47975 0 0 0 153993 187 0 0 25 0 1 0 342126002 194478080 44812 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 47480 44812 102 219 0 47257 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 189920 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1757104/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=189920 CPUtime=1601.78 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48108 0 0 0 159986 192 0 0 25 0 1 0 342126002 194478080 44945 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 47480 44945 102 219 0 47257 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 189920 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1756080/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=190608 CPUtime=1661.77 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48364 0 0 0 165980 197 0 0 25 0 1 0 342126002 195182592 45201 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 47652 45201 102 219 0 47429 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 190608 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1755504/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=190608 CPUtime=1721.75 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48510 0 0 0 171974 201 0 0 25 0 1 0 342126002 195182592 45347 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 47652 45347 102 219 0 47429 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 190608 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1754864/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=190608 CPUtime=1781.74 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48643 0 0 0 177965 209 0 0 25 0 1 0 342126002 195182592 45480 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 47652 45480 102 219 0 47429 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 190608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2244 /proc/meminfo: memFree=1754736/2055920 swapFree=4157076/4192956 [pid=2034] ppid=2031 vsize=190608 CPUtime=1800.04 /proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48687 0 0 0 179794 210 0 0 25 0 1 0 342126002 195182592 45524 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2034/statm: 47652 45524 102 219 0 47429 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 190608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.08 CPU user time (s): 1797.95 CPU system time (s): 2.13568 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 190608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.95 system time used= 2.13567 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48690 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= 35835 runsolver used 1.36979 second user time and 4.16337 second system time The end
Begin job on node7 on Tue May 8 21:48:04 UTC 2007 IDJOB= 459818 IDBENCH= 48279 IDSOLVER= 200 FILE ID= node7/459818-1178660884 PBS_JOBID= 5218001 Free space on /tmp= 66555 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_3.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node7/convwatcher-459818-1178660884 -o ROOT/results/node7/conversion-459818-1178660884 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-459818-1178660884 -o ROOT/results/node7/solver-459818-1178660884 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3 RANDOM SEED= 508646849 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1938832 kB Buffers: 12192 kB Cached: 23632 kB SwapCached: 15652 kB Active: 46720 kB Inactive: 14896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1938832 kB SwapTotal: 4192956 kB SwapFree: 4157076 kB Dirty: 2484 kB Writeback: 0 kB Mapped: 31928 kB Slab: 40892 kB Committed_AS: 14692312 kB PageTables: 1864 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= 66555 MiB End job on node7 on Tue May 8 22:18:06 UTC 2007