Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 27 | 1800.08 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb |
MD5SUM | 54e50bd6cbfbb2a5705269c41241de9a |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 20 |
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 | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2492 |
Sum of products size (including duplicates) | 4984 |
Number of different products | 2492 |
Sum of products size | 4984 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459690-1178658232/instance-459690-1178658232.opb ...... 0.02/0.06 c done parsing opb. 0.02/0.06 o 101 0.02/0.06 o 100 0.02/0.06 o 99 0.02/0.07 o 98 0.02/0.07 o 97 0.02/0.07 o 96 0.02/0.07 o 95 0.02/0.07 o 94 0.02/0.07 o 93 0.02/0.07 o 92 0.02/0.08 o 87 0.02/0.08 o 86 0.02/0.08 o 85 0.02/0.08 o 84 0.02/0.08 o 83 0.02/0.08 o 82 0.02/0.09 o 81 0.02/0.09 o 80 0.02/0.09 o 68 0.02/0.09 o 65 0.02/0.09 o 63 0.02/0.09 o 60 0.02/0.09 o 59 0.02/0.10 o 44 0.09/0.10 o 43 0.09/0.10 o 41 0.09/0.10 o 39 8.39/8.41 o 37 8.39/8.42 o 36 8.99/9.04 o 33 8.99/9.06 o 32 9.89/9.93 o 31 20.89/20.94 o 30 22.99/23.04 o 29 124.96/125.03 o 28 1695.79/1696.25 o 27 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 x1014 1800.06/1800.50 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.06/1800.50 v -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 x104 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.06/1800.50 v x1048 -x1049 -x105 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.06/1800.50 v -x1064 -x1065 -x1066 -x1067 x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 1800.06/1800.50 v x1080 x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 1800.06/1800.50 v -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 x111 -x1110 -x1111 1800.06/1800.50 v -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.06/1800.50 v x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 x1141 x1142 -x1143 -x1144 1800.06/1800.50 v -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x116 -x1160 1800.06/1800.50 v -x1161 -x1162 -x1163 -x1164 x1165 x1166 -x1167 x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.06/1800.50 v -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 1800.06/1800.50 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 x120 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 1800.06/1800.50 v -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x122 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1800.06/1800.50 v -x1226 -x1227 -x1228 x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x124 -x1240 -x1241 1800.06/1800.50 v -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 1800.06/1800.50 v -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x127 -x1270 -x1271 x1272 -x1273 -x1274 1800.06/1800.50 v x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 1800.06/1800.50 v -x1291 -x1292 x1293 x1294 -x1295 -x1296 x1297 -x1298 x1299 x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1800.06/1800.50 v -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 x132 -x1320 x1321 -x1322 -x1323 1800.06/1800.50 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 x1330 -x1331 -x1332 x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x134 1800.06/1800.50 v -x1340 -x1341 x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.06/1800.50 v -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 x1372 1800.06/1800.50 v -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 x1389 1800.06/1800.50 v -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x14 -x140 -x1400 x1401 -x1402 x1403 -x1404 1800.06/1800.50 v -x1405 -x1406 x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 1800.06/1800.50 v -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 1800.06/1800.50 v -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 x1448 -x1449 -x145 x1450 -x1451 -x1452 x1453 1800.06/1800.50 v -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x146 x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 1800.06/1800.50 v -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.06/1800.50 v -x1487 -x1488 -x1489 x149 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 x1498 x1499 -x15 -x150 -x1500 -x1501 -x1502 1800.06/1800.50 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 x1516 x1517 -x1518 -x1519 1800.06/1800.50 v x152 -x1520 x1521 -x1522 x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1800.06/1800.50 v x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x155 x1550 -x1551 1800.06/1800.50 v -x1552 -x1553 -x1554 -x1555 x1556 x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.06/1800.50 v x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 1800.06/1800.50 v -x1585 x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x16 -x160 1800.06/1800.50 v -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1800.06/1800.50 v x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 1800.06/1800.50 v -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 x164 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1800.06/1800.50 v -x165 -x1650 -x1651 x1652 -x1653 x1654 x1655 x1656 -x1657 x1658 -x1659 -x166 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 1800.06/1800.50 v -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 x1681 -x1682 1800.06/1800.50 v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.06/1800.50 v -x1699 x17 -x170 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 1800.06/1800.50 v -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 1800.06/1800.50 v -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 1800.06/1800.50 v x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 x1762 1800.06/1800.50 v -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 1800.06/1800.50 v -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x179 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 1800.06/1800.50 v -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 1800.06/1800.50 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1800.06/1800.50 v -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 1800.06/1800.50 v -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x185 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 1800.06/1800.50 v -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 x1867 -x1868 -x1869 -x187 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 x1876 1800.06/1800.50 v -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 x1883 x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 1800.06/1800.50 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 x1902 -x1903 -x1904 x1905 -x1906 -x1907 x1908 1800.06/1800.50 v -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 1800.06/1800.50 v -x1925 -x1926 -x1927 -x1928 x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 1800.06/1800.50 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 x1948 x1949 -x195 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.06/1800.50 v -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 1800.06/1800.50 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 1800.06/1800.50 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 x2 x20 -x200 -x2000 -x2001 -x2002 x2003 x2004 -x2005 1800.06/1800.50 v -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 x202 -x2020 -x2021 1800.06/1800.50 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 1800.06/1800.50 v -x2039 -x204 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 1800.06/1800.50 v -x2055 -x2056 -x2057 -x2058 x2059 -x206 -x2060 x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 x2070 1800.06/1800.50 v x2071 -x2072 -x2073 x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x208 x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1800.06/1800.50 v -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 x2101 -x2102 1800.06/1800.50 v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 1800.06/1800.50 v -x212 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 x2132 -x2133 -x2134 x2135 1800.06/1800.50 v -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 1800.06/1800.50 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.06/1800.50 v x2169 -x217 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 1800.06/1800.50 v -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 1800.06/1800.50 v -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1800.06/1800.50 v -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x223 -x2230 -x2231 -x2232 1800.06/1800.50 v -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x224 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 x2249 1800.06/1800.50 v -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 x2261 -x2262 -x2263 x2264 -x2265 1800.06/1800.50 v -x2266 -x2267 -x2268 -x2269 -x227 x2270 -x2271 -x2272 x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x228 -x2280 x2281 1800.06/1800.50 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 1800.06/1800.50 v -x2299 x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x231 -x2310 -x2311 x2312 -x2313 1800.06/1800.50 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x233 1800.06/1800.50 v -x2330 -x2331 -x2332 -x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 1800.06/1800.50 v -x2347 -x2348 x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 1800.06/1800.50 v -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1800.06/1800.50 v x238 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 x2390 x2391 x2392 -x2393 -x2394 -x2395 1800.06/1800.50 v -x2396 -x2397 -x2398 -x2399 -x24 -x240 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x241 -x2410 1800.06/1800.50 v -x2411 -x2412 x2413 x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x242 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 1800.06/1800.50 v -x2428 -x2429 -x243 -x2430 x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 x2441 -x2442 -x2443 1800.06/1800.50 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 1800.06/1800.50 v -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1800.06/1800.50 v -x2477 -x2478 -x2479 -x248 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 1800.06/1800.50 v -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x25 -x250 -x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.06/1800.50 v -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x252 -x2520 -x2521 x2522 x2523 x2524 1800.06/1800.50 v -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 1800.06/1800.50 v -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 1800.06/1800.50 v x2558 -x2559 -x256 x2560 x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 1800.06/1800.50 v x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x258 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 -x259 1800.06/1800.50 v -x2590 -x2591 -x2592 -x2593 x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 x2603 -x2604 -x2605 1800.06/1800.50 v -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x262 -x2620 -x2621 1800.06/1800.50 v -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 x263 x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 1800.06/1800.50 v -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 x2649 -x265 -x2650 -x2651 -x2652 -x2653 x2654 1800.06/1800.50 v -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 1800.06/1800.50 v x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 x2679 x268 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 x2686 -x2687 1800.06/1800.50 v -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x27 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x28 -x280 -x281 1800.06/1800.50 v -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x29 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 1800.06/1800.50 v -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 1800.06/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.06/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.06/1800.50 v -x359 -x36 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 x37 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.06/1800.50 v x379 -x38 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 1800.06/1800.50 v -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 1800.06/1800.50 v -x416 -x417 -x418 -x419 x42 x420 -x421 x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 x43 -x430 -x431 -x432 -x433 -x434 -x435 1800.06/1800.50 v -x436 x437 -x438 -x439 x44 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 1800.06/1800.50 v -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 1800.06/1800.50 v x475 -x476 -x477 x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 x489 -x49 -x490 -x491 -x492 -x493 -x494 1800.06/1800.50 v -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 x511 -x512 -x513 1800.06/1800.50 v -x514 x515 -x516 -x517 x518 -x519 x52 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 x528 -x529 -x53 -x530 -x531 x532 -x533 1800.06/1800.50 v x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x55 -x550 -x551 -x552 -x553 1800.06/1800.50 v -x554 -x555 -x556 -x557 x558 -x559 -x56 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 x571 -x572 x573 1800.06/1800.50 v -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 x584 x585 -x586 x587 -x588 -x589 -x59 -x590 x591 -x592 -x593 1800.06/1800.50 v x594 -x595 -x596 -x597 -x598 x599 -x6 -x60 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 1800.06/1800.50 v x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 1800.06/1800.50 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 1800.06/1800.50 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 1800.06/1800.50 v -x670 -x671 -x672 x673 -x674 -x675 x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 1800.06/1800.50 v -x69 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 x702 x703 -x704 -x705 -x706 x707 -x708 1800.06/1800.50 v x709 -x71 -x710 x711 -x712 -x713 -x714 -x715 x716 x717 x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 1800.06/1800.50 v -x729 -x73 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1800.06/1800.50 v -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 x759 -x76 -x760 x761 -x762 -x763 x764 -x765 -x766 -x767 1800.06/1800.50 v -x768 x769 -x77 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 1800.06/1800.50 v -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.06/1800.50 v -x807 -x808 -x809 -x81 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 1800.06/1800.50 v -x826 -x827 -x828 -x829 x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 1800.06/1800.50 v -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 1800.06/1800.50 v -x864 -x865 -x866 x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 x880 -x881 x882 x883 1800.06/1800.50 v -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 x900 -x901 -x902 1800.06/1800.50 v -x903 -x904 -x905 -x906 -x907 x908 -x909 -x91 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x92 x920 -x921 x922 1800.06/1800.50 v x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 1800.06/1800.50 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 1800.06/1800.50 v -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 1800.06/1800.50 v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 27
Linearizing /tmp/evaluation/459690-1178658232/instance-459690-1178658232.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-459690-1178658232 -o ROOT/results/node57/solver-459690-1178658232 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459690-1178658232/instance-459690-1178658232.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.91 0.95 0.96 3/64 15392 /proc/meminfo: memFree=1502352/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=1712 CPUtime=0 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 217 0 0 0 0 0 0 0 18 0 1 0 306959168 1753088 199 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 428 199 86 219 0 205 0 [startup+0.03228 s] /proc/loadavg: 0.91 0.95 0.96 3/64 15392 /proc/meminfo: memFree=1502352/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=1996 CPUtime=0.02 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 316 0 0 0 2 0 0 0 18 0 1 0 306959168 2043904 298 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134591230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 499 298 86 219 0 276 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1996 [startup+0.102286 s] /proc/loadavg: 0.91 0.95 0.96 3/64 15392 /proc/meminfo: memFree=1502352/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=2476 CPUtime=0.09 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 469 0 0 0 9 0 0 0 18 0 1 0 306959168 2535424 418 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 619 418 102 219 0 396 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2476 [startup+0.301302 s] /proc/loadavg: 0.91 0.95 0.96 3/64 15392 /proc/meminfo: memFree=1502352/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=2612 CPUtime=0.29 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 531 0 0 0 29 0 0 0 19 0 1 0 306959168 2674688 480 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 653 480 102 219 0 430 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2612 [startup+0.702338 s] /proc/loadavg: 0.91 0.95 0.96 3/64 15392 /proc/meminfo: memFree=1502352/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=2868 CPUtime=0.69 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 587 0 0 0 69 0 0 0 23 0 1 0 306959168 2936832 536 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 717 536 102 219 0 494 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2868 [startup+1.50141 s] /proc/loadavg: 0.91 0.95 0.96 2/65 15393 /proc/meminfo: memFree=1500360/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=3692 CPUtime=1.49 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 723 0 0 0 149 0 0 0 25 0 1 0 306959168 3780608 672 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 923 672 102 219 0 700 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3692 [startup+3.10155 s] /proc/loadavg: 0.92 0.95 0.96 2/65 15393 /proc/meminfo: memFree=1499600/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=4716 CPUtime=3.09 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 910 0 0 0 308 1 0 0 25 0 1 0 306959168 4829184 859 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545550 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 1179 859 102 219 0 956 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4716 [startup+6.30182 s] /proc/loadavg: 0.92 0.95 0.96 2/65 15393 /proc/meminfo: memFree=1498128/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=6956 CPUtime=6.29 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 1257 0 0 0 627 2 0 0 25 0 1 0 306959168 7122944 1157 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 1739 1157 102 219 0 1516 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6956 [startup+12.7014 s] /proc/loadavg: 0.93 0.96 0.96 2/65 15393 /proc/meminfo: memFree=1495440/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=12120 CPUtime=12.69 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 1932 0 0 0 1264 5 0 0 25 0 1 0 306959168 12410880 1832 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 3030 1832 102 219 0 2807 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12120 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.96 2/65 15393 /proc/meminfo: memFree=1493968/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=13292 CPUtime=25.48 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 2325 0 0 0 2537 11 0 0 25 0 1 0 306959168 13611008 2128 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 3323 2128 102 219 0 3100 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13292 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.96 2/65 15393 /proc/meminfo: memFree=1492624/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=15108 CPUtime=51.08 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 2846 0 0 0 5088 20 0 0 25 0 1 0 306959168 15470592 2456 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 3777 2456 102 219 0 3554 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15108 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.96 2/65 15393 /proc/meminfo: memFree=1490832/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=17780 CPUtime=102.27 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 3669 0 0 0 10186 41 0 0 25 0 1 0 306959168 18206720 2894 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 4445 2894 102 219 0 4222 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 17780 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1489360/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=18612 CPUtime=162.25 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 4070 0 0 0 16166 59 0 0 25 0 1 0 306959168 19058688 3295 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 4653 3295 102 219 0 4430 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18612 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1487824/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=19560 CPUtime=222.24 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 4441 0 0 0 22146 78 0 0 25 0 1 0 306959168 20029440 3666 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 4890 3666 102 219 0 4667 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 19560 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1486480/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=23396 CPUtime=282.22 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 5547 0 0 0 28128 94 0 0 25 0 1 0 306959168 23957504 4003 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 5849 4003 102 219 0 5626 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23396 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1485072/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=24008 CPUtime=342.21 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 5883 0 0 0 34112 109 0 0 25 0 1 0 306959168 24584192 4339 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 6002 4339 102 219 0 5779 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 24008 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1483792/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=25008 CPUtime=402.19 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 6223 0 0 0 40094 125 0 0 25 0 1 0 306959168 25608192 4679 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 6252 4679 102 219 0 6029 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 25008 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1482640/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=25340 CPUtime=462.18 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 6504 0 0 0 46078 140 0 0 25 0 1 0 306959168 25948160 4960 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 6335 4960 102 219 0 6112 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 25340 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1481488/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=26180 CPUtime=522.17 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 6796 0 0 0 52063 154 0 0 25 0 1 0 306959168 26808320 5252 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 6545 5252 102 219 0 6322 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 26180 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1480400/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=32724 CPUtime=582.16 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 8602 0 0 0 58047 169 0 0 25 0 1 0 306959168 33509376 5521 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 8181 5521 102 219 0 7958 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 32724 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1479248/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=33260 CPUtime=642.15 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 8882 0 0 0 64032 183 0 0 25 0 1 0 306959168 34058240 5801 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 8315 5801 102 219 0 8092 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 33260 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1475024/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=36052 CPUtime=882.08 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 9938 0 0 0 87975 233 0 0 25 0 1 0 306959168 36917248 6857 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 9013 6857 102 219 0 8790 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 36052 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1474000/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=36052 CPUtime=942.07 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 10195 0 0 0 93960 247 0 0 25 0 1 0 306959168 36917248 7114 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 9013 7114 102 219 0 8790 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 36052 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1473104/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=36660 CPUtime=1002.06 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 10425 0 0 0 99945 261 0 0 25 0 1 0 306959168 37539840 7344 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 9165 7344 102 219 0 8942 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 36660 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1472208/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=37308 CPUtime=1062.04 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 10647 0 0 0 105931 273 0 0 25 0 1 0 306959168 38203392 7566 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 9327 7566 102 219 0 9104 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 37308 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1471248/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=37420 CPUtime=1122.02 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 10876 0 0 0 111917 285 0 0 25 0 1 0 306959168 38318080 7795 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 9355 7795 102 219 0 9132 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 37420 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1470416/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=38108 CPUtime=1182.01 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 11087 0 0 0 117905 296 0 0 25 0 1 0 306959168 39022592 8006 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545183 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 9527 8006 102 219 0 9304 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 38108 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1469520/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=38840 CPUtime=1242 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 11312 0 0 0 123894 306 0 0 25 0 1 0 306959168 39772160 8231 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 9710 8231 102 219 0 9487 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 38840 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1468624/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=38840 CPUtime=1301.98 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 11523 0 0 0 129882 316 0 0 25 0 1 0 306959168 39772160 8442 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134548575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 9710 8442 102 219 0 9487 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 38840 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1467792/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=51904 CPUtime=1361.97 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 14798 0 0 0 135867 330 0 0 25 0 1 0 306959168 53149696 8644 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 12976 8644 102 219 0 12753 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 51904 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 15393 /proc/meminfo: memFree=1467024/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=52020 CPUtime=1421.95 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 15006 0 0 0 141855 340 0 0 25 0 1 0 306959168 53268480 8852 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 13005 8852 102 219 0 12782 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 52020 [startup+1482.3 s] /proc/loadavg: 1.14 1.00 0.97 2/65 15393 /proc/meminfo: memFree=1466192/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=52844 CPUtime=1481.94 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 15217 0 0 0 147841 353 0 0 25 0 1 0 306959168 54112256 9063 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 13211 9063 102 219 0 12988 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 52844 [startup+1542.3 s] /proc/loadavg: 1.12 1.02 0.98 2/65 15393 /proc/meminfo: memFree=1465488/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=52844 CPUtime=1541.93 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 15404 0 0 0 153831 362 0 0 25 0 1 0 306959168 54112256 9250 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 13211 9250 102 219 0 12988 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 52844 [startup+1602.3 s] /proc/loadavg: 1.10 1.03 0.98 2/65 15393 /proc/meminfo: memFree=1464656/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=53720 CPUtime=1601.91 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 15600 0 0 0 159819 372 0 0 25 0 1 0 306959168 55009280 9446 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 13430 9446 102 219 0 13207 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 53720 [startup+1662.3 s] /proc/loadavg: 1.04 1.02 0.98 2/65 15395 /proc/meminfo: memFree=1463760/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=53836 CPUtime=1661.89 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 15800 0 0 0 165805 384 0 0 25 0 1 0 306959168 55128064 9646 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 13459 9646 102 219 0 13236 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 53836 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 0.98 2/65 15395 /proc/meminfo: memFree=1463056/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=54768 CPUtime=1721.88 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 15993 0 0 0 171795 393 0 0 25 0 1 0 306959168 56082432 9839 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 13692 9839 102 219 0 13469 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 54768 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 0.98 2/65 15395 /proc/meminfo: memFree=1462352/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=54768 CPUtime=1781.86 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 16166 0 0 0 177784 402 0 0 25 0 1 0 306959168 56082432 10012 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 13692 10012 102 219 0 13469 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 54768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 0.98 2/65 15395 /proc/meminfo: memFree=1462096/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=54768 CPUtime=1800.06 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 16232 0 0 0 179601 405 0 0 25 0 1 0 306959168 56082432 10078 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 13692 10078 102 219 0 13469 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 54768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.01 0.98 2/65 15395 /proc/meminfo: memFree=1462096/2055920 swapFree=4183252/4192956 [pid=15392] ppid=15390 vsize=54768 CPUtime=1800.06 /proc/15392/stat : 15392 (PBS4_SAT07v2) R 15390 15392 15069 0 -1 4194304 16232 0 0 0 179601 405 0 0 25 0 1 0 306959168 56082432 10078 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15392/statm: 13692 10078 102 219 0 13469 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 54768 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.08 CPU user time (s): 1796.02 CPU system time (s): 4.06238 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 54768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.02 system time used= 4.06238 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16235 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= 1335 runsolver used 1.3018 second user time and 3.62645 second system time The end
Begin job on node57 on Tue May 8 21:03:52 UTC 2007 IDJOB= 459690 IDBENCH= 48151 IDSOLVER= 200 FILE ID= node57/459690-1178658232 PBS_JOBID= 5218432 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_200_10_2.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459690-1178658232/instance-459690-1178658232.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-459690-1178658232 -o ROOT/results/node57/conversion-459690-1178658232 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459690-1178658232/instance-459690-1178658232.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-459690-1178658232 -o ROOT/results/node57/solver-459690-1178658232 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459690-1178658232/instance-459690-1178658232.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 54e50bd6cbfbb2a5705269c41241de9a RANDOM SEED= 432471812 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1502760 kB Buffers: 39860 kB Cached: 395660 kB SwapCached: 3760 kB Active: 136560 kB Inactive: 308624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1502760 kB SwapTotal: 4192956 kB SwapFree: 4183252 kB Dirty: 2428 kB Writeback: 0 kB Mapped: 15688 kB Slab: 94104 kB Committed_AS: 4924068 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node57 on Tue May 8 21:33:55 UTC 2007