Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -108 | 1800.08 | 1800.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_5.opb |
MD5SUM | 2b02b42135ec6f53aa7a47afb99951df |
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 | -110 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -110 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 21 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6270 |
Sum of products size (including duplicates) | 12540 |
Number of different products | 3135 |
Sum of products size | 6270 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459733-1178658976/instance-459733-1178658976.opb ...... 0.09/0.10 c done parsing opb. 0.09/0.10 o 416 0.09/0.19 o 415 0.09/0.19 o 406 0.09/0.20 o 405 0.19/0.25 o 404 0.19/0.26 o 402 0.49/0.51 o 401 5.99/6.07 o 400 6.38/6.49 o 399 6.38/6.50 o 394 162.25/162.34 o 393 607.64/607.82 o 392 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 1800.06/1800.50 v -x1047 -x1048 -x1049 x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 1800.06/1800.50 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.06/1800.50 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.06/1800.50 v -x1095 -x1096 -x1097 -x1098 -x1099 x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 1800.06/1800.50 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.06/1800.50 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 1800.06/1800.50 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.06/1800.50 v -x1158 -x1159 x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 1800.06/1800.50 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1800.06/1800.50 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 1800.06/1800.50 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 1800.06/1800.50 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.06/1800.50 v -x1237 -x1238 -x1239 x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 1800.06/1800.50 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.06/1800.50 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 1800.06/1800.50 v -x1285 -x1286 -x1287 -x1288 -x1289 x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 1800.06/1800.50 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.06/1800.50 v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 1800.06/1800.50 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.06/1800.50 v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x136 -x1360 -x1361 -x1362 -x1363 1800.06/1800.50 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.06/1800.50 v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.06/1800.50 v -x1396 -x1397 -x1398 -x1399 x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 1800.06/1800.50 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.06/1800.50 v -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 1800.06/1800.50 v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.06/1800.50 v -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 1800.06/1800.50 v -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 1800.06/1800.50 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.06/1800.50 v -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 1800.06/1800.50 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1800.06/1800.50 v -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 1800.06/1800.50 v -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x157 -x1570 1800.06/1800.50 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.06/1800.50 v -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 1800.06/1800.50 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.06/1800.50 v -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 1800.06/1800.50 v -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 1800.06/1800.50 v -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 1800.06/1800.50 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1800.06/1800.50 v -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x171 -x1710 -x1711 -x1712 1800.06/1800.50 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.06/1800.50 v -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 1800.06/1800.50 v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x176 -x1760 -x1761 1800.06/1800.50 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.06/1800.50 v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 1800.06/1800.50 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.06/1800.50 v -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.06/1800.50 v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x184 -x1840 -x1841 1800.06/1800.50 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.06/1800.50 v -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 1800.06/1800.50 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 1800.06/1800.50 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1800.06/1800.50 v -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 1800.06/1800.50 v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 1800.06/1800.50 v -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x195 -x1950 -x1951 -x1952 -x1953 1800.06/1800.50 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 1800.06/1800.50 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1800.06/1800.50 v -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 1800.06/1800.50 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.06/1800.50 v -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 1800.06/1800.50 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.06/1800.50 v -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 1800.06/1800.50 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 1800.06/1800.50 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.06/1800.50 v -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 1800.06/1800.50 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 1800.06/1800.50 v -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 1800.06/1800.50 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1800.06/1800.50 v -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 1800.06/1800.50 v -x2175 -x2176 -x2177 -x2178 -x2179 x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 1800.06/1800.50 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1800.06/1800.50 v -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 1800.06/1800.50 v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1800.06/1800.50 v -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 1800.06/1800.50 v -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 1800.06/1800.50 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.06/1800.50 v -x2288 -x2289 x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 1800.06/1800.50 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1800.06/1800.50 v -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 1800.06/1800.50 v -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 1800.06/1800.50 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.06/1800.50 v -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 1800.06/1800.50 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1800.06/1800.50 v -x24 x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x241 -x2410 -x2411 -x2412 -x2413 -x2414 1800.06/1800.50 v -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 1800.06/1800.50 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 1800.06/1800.50 v -x2447 -x2448 -x2449 x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 1800.06/1800.50 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.06/1800.50 v -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x249 -x2490 -x2491 -x2492 -x2493 -x2494 1800.06/1800.50 v -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 1800.06/1800.50 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 1800.06/1800.50 v -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x254 -x2540 -x2541 1800.06/1800.50 v -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 1800.06/1800.50 v -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 x260 -x2600 -x2601 -x2602 -x2603 -x2604 1800.06/1800.50 v -x2605 -x2606 -x2607 -x2608 -x2609 x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x262 -x2620 1800.06/1800.50 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.06/1800.50 v -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 1800.06/1800.50 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 1800.06/1800.50 v -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 1800.06/1800.50 v -x2685 -x2686 -x2687 -x2688 -x2689 x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 1800.06/1800.50 v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 1800.06/1800.50 v -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x273 -x2730 -x2731 1800.06/1800.50 v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1800.06/1800.50 v -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 1800.06/1800.50 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 1800.06/1800.50 v x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1800.06/1800.50 v -x2796 -x2797 -x2798 -x2799 -x28 x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 1800.06/1800.50 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1800.06/1800.50 v -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x284 -x2840 -x2841 -x2842 1800.06/1800.50 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1800.06/1800.50 v -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.06/1800.50 v -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 1800.06/1800.50 v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 1800.06/1800.50 v -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 1800.06/1800.50 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 1800.06/1800.50 v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1800.06/1800.50 v -x2956 -x2957 -x2958 -x2959 x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 1800.06/1800.50 v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 1800.06/1800.50 v -x2988 -x2989 x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 1800.06/1800.50 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1800.06/1800.50 v -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 1800.06/1800.50 v -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 1800.06/1800.50 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 1800.06/1800.50 v -x3067 -x3068 -x3069 x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x308 -x3080 -x3081 -x3082 1800.06/1800.50 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.06/1800.50 v -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x311 -x3110 -x3111 -x3112 -x3113 -x3114 1800.06/1800.50 v -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 1800.06/1800.50 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 1800.06/1800.50 v -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 1800.06/1800.50 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 1800.06/1800.50 v -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 1800.06/1800.50 v -x3196 -x3197 -x3198 -x3199 -x32 x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 1800.06/1800.50 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 1800.06/1800.50 v -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 1800.06/1800.50 v -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 1800.06/1800.50 v -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 1800.06/1800.50 v -x3276 -x3277 -x3278 -x3279 x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x329 -x3290 -x3291 1800.06/1800.50 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x33 x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 1800.06/1800.50 v -x3308 -x3309 x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 1800.06/1800.50 v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 1800.06/1800.50 v -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1800.06/1800.50 v -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 1800.06/1800.50 v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 1800.06/1800.50 v -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 1800.06/1800.50 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1800.06/1800.50 v -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 1800.06/1800.50 v -x3436 -x3437 -x3438 -x3439 x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x345 -x3450 -x3451 1800.06/1800.50 v -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 1800.06/1800.50 v -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 1800.06/1800.50 v -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 1800.06/1800.50 v x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 1800.06/1800.50 v -x3515 -x3516 -x3517 -x3518 -x3519 x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 1800.06/1800.50 v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1800.06/1800.50 v -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 1800.06/1800.50 v -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 1800.06/1800.50 v x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 1800.06/1800.50 v -x3596 -x3597 -x3598 -x3599 x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 1800.06/1800.50 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 1800.06/1800.50 v -x3627 -x3628 -x3629 x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 1800.06/1800.50 v -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x39 x390 -x391 1800.06/1800.50 v -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x4 -x40 x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 1800.06/1800.50 v -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 x419 -x42 -x420 -x421 -x422 -x423 x424 -x425 -x426 x427 -x428 -x429 -x43 x430 1800.06/1800.50 v x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x44 -x440 -x441 x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x45 -x450 1800.06/1800.50 v -x451 -x452 x453 x454 -x455 x456 -x457 -x458 -x459 -x46 x460 -x461 -x462 -x463 -x464 x465 x466 x467 x468 -x469 -x47 -x470 -x471 1800.06/1800.50 v x472 -x473 x474 -x475 x476 -x477 -x478 -x479 -x48 -x480 x481 -x482 -x483 -x484 -x485 x486 x487 -x488 -x489 x49 -x490 -x491 1800.06/1800.50 v x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 1800.06/1800.50 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 1800.06/1800.50 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1800.06/1800.50 v -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.06/1800.50 v -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.06/1800.50 v -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 1800.06/1800.50 v -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 -x621 -x622 -x623 -x624 1800.06/1800.50 v -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 1800.06/1800.50 v -x644 -x645 -x646 -x647 -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x66 -x660 -x661 -x662 1800.06/1800.50 v -x663 -x664 -x665 -x666 -x667 -x668 -x669 x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 1800.06/1800.50 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x7 -x70 -x700 1800.06/1800.50 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 1800.06/1800.50 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1800.06/1800.50 v -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1800.06/1800.50 v -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.06/1800.50 v -x778 -x779 x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1800.06/1800.50 v -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 1800.06/1800.50 v -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 1800.06/1800.50 v -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 1800.06/1800.50 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x87 -x870 -x871 1800.06/1800.50 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 1800.06/1800.50 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 1800.06/1800.50 v -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1800.06/1800.50 v -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1800.06/1800.50 v -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.06/1800.50 v -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x98 -x980 -x981 -x982 -x983 -x984 -x985 1800.06/1800.50 v -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK -108
Linearizing /tmp/evaluation/459733-1178658976/instance-459733-1178658976.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-459733-1178658976 -o ROOT/results/node72/solver-459733-1178658976 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459733-1178658976/instance-459733-1178658976.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 1582 /proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=1828 CPUtime=0 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 341936074 1871872 232 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 457 232 86 219 0 234 0 [startup+0.077771 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1582 /proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=2900 CPUtime=0.07 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 549 0 0 0 7 0 0 0 18 0 1 0 341936074 2969600 498 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 725 499 86 219 0 502 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2900 [startup+0.101772 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1582 /proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=3428 CPUtime=0.09 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 723 0 0 0 9 0 0 0 18 0 1 0 341936074 3510272 607 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 857 607 89 219 0 634 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3428 [startup+0.301791 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1582 /proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=5220 CPUtime=0.29 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 1150 0 0 0 29 0 0 0 19 0 1 0 341936074 5345280 1034 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 1305 1034 102 219 0 1082 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5220 [startup+0.701827 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1582 /proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=11560 CPUtime=0.69 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 1872 0 0 0 68 1 0 0 23 0 1 0 341936074 11837440 1756 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 2890 1756 102 219 0 2667 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11560 [startup+1.5019 s] /proc/loadavg: 0.92 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1918752/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=19752 CPUtime=1.49 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 2853 0 0 0 148 1 0 0 25 0 1 0 341936074 20226048 2737 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 4938 2737 102 219 0 4715 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19752 [startup+3.10205 s] /proc/loadavg: 0.92 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1913312/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=19944 CPUtime=3.09 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 4893 0 0 0 307 2 0 0 25 0 1 0 341936074 20422656 4728 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 4986 4728 102 219 0 4763 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19944 [startup+6.30134 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1899040/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=37220 CPUtime=6.29 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 8251 0 0 0 624 5 0 0 25 0 1 0 341936074 38113280 8086 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 9305 8086 102 219 0 9082 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37220 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1887584/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=71136 CPUtime=12.69 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 10139 0 0 0 1262 7 0 0 25 0 1 0 341936074 72843264 9877 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134558765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 17784 9877 102 219 0 17561 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71136 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1884064/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=72284 CPUtime=25.49 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 11015 0 0 0 2539 10 0 0 25 0 1 0 341936074 74018816 10753 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 18071 10753 102 219 0 17848 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72284 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1880800/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=74032 CPUtime=51.07 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 12034 0 0 0 5093 14 0 0 25 0 1 0 341936074 75808768 11579 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 18508 11579 102 219 0 18285 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74032 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1875424/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=77264 CPUtime=102.27 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 13758 0 0 0 10203 24 0 0 25 0 1 0 341936074 79118336 12918 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 19316 12918 102 219 0 19093 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 77264 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1871776/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=81836 CPUtime=162.25 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 15410 0 0 0 16189 36 0 0 25 0 1 0 341936074 83800064 13801 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 20459 13801 102 219 0 20236 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 81836 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1869536/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=83004 CPUtime=222.24 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 15940 0 0 0 22178 46 0 0 25 0 1 0 341936074 84996096 14331 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134564704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 20751 14331 102 219 0 20528 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 83004 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1867424/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=84092 CPUtime=282.22 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 16464 0 0 0 28168 54 0 0 25 0 1 0 341936074 86110208 14855 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 21023 14855 102 219 0 20800 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 84092 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1865376/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=91412 CPUtime=342.21 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 18485 0 0 0 34155 66 0 0 25 0 1 0 341936074 93605888 15339 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 22853 15339 102 219 0 22630 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 91412 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1863712/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=92328 CPUtime=402.19 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 18889 0 0 0 40146 73 0 0 25 0 1 0 341936074 94543872 15743 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 23082 15743 102 219 0 22859 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 92328 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1861792/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=92932 CPUtime=462.18 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 19342 0 0 0 46138 80 0 0 25 0 1 0 341936074 95162368 16196 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 23233 16196 102 219 0 23010 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 92932 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1859936/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=94028 CPUtime=522.16 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 19782 0 0 0 52128 88 0 0 25 0 1 0 341936074 96284672 16636 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 23507 16636 102 219 0 23284 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 94028 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1858400/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=94628 CPUtime=582.15 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 20165 0 0 0 58119 96 0 0 25 0 1 0 341936074 96899072 17019 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 23657 17019 102 219 0 23434 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 94628 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1856672/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=95940 CPUtime=642.13 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 20587 0 0 0 64110 103 0 0 25 0 1 0 341936074 98242560 17441 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 23985 17441 102 219 0 23762 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 95940 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1850976/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=110524 CPUtime=882.08 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 24997 0 0 0 88083 125 0 0 25 0 1 0 341936074 113176576 18778 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 27631 18778 102 219 0 27408 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 110524 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1849696/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=111384 CPUtime=942.06 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 25311 0 0 0 94076 130 0 0 25 0 1 0 341936074 114057216 19092 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 27846 19092 102 219 0 27623 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 111384 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1848352/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=112300 CPUtime=1002.05 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 25614 0 0 0 100071 134 0 0 25 0 1 0 341936074 114995200 19395 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 28075 19395 102 219 0 27852 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 112300 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1847136/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=112300 CPUtime=1062.03 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 25912 0 0 0 106064 139 0 0 25 0 1 0 341936074 114995200 19693 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 28075 19693 102 219 0 27852 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 112300 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1583 /proc/meminfo: memFree=1845856/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=113272 CPUtime=1122.02 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 26212 0 0 0 112057 145 0 0 25 0 1 0 341936074 115990528 19993 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 28318 19993 102 219 0 28095 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 113272 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1844448/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=114304 CPUtime=1182 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 26509 0 0 0 118050 150 0 0 25 0 1 0 341936074 117047296 20290 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 28576 20290 102 219 0 28353 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 114304 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1843232/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=114304 CPUtime=1241.99 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 26804 0 0 0 124044 155 0 0 25 0 1 0 341936074 117047296 20585 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 28576 20585 102 219 0 28353 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 114304 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1841952/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=115400 CPUtime=1301.97 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 27080 0 0 0 130038 159 0 0 25 0 1 0 341936074 118169600 20861 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 28850 20861 102 219 0 28627 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 115400 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1840800/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=115400 CPUtime=1361.96 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 27355 0 0 0 136033 163 0 0 25 0 1 0 341936074 118169600 21136 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 28850 21136 102 219 0 28627 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 115400 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1839648/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=116564 CPUtime=1421.94 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 27622 0 0 0 142027 167 0 0 25 0 1 0 341936074 119361536 21403 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 29141 21403 102 219 0 28918 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 116564 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1838496/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=116564 CPUtime=1481.93 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 27888 0 0 0 148021 172 0 0 25 0 1 0 341936074 119361536 21669 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 29141 21669 102 219 0 28918 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 116564 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1837408/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=117804 CPUtime=1541.91 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 28156 0 0 0 154014 177 0 0 25 0 1 0 341936074 120631296 21937 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 29451 21937 102 219 0 29228 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 117804 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1836320/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=117804 CPUtime=1601.9 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 28417 0 0 0 160009 181 0 0 25 0 1 0 341936074 120631296 22198 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 29451 22198 102 219 0 29228 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 117804 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1835296/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=117804 CPUtime=1661.88 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 28671 0 0 0 166003 185 0 0 25 0 1 0 341936074 120631296 22452 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 29451 22452 102 219 0 29228 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 117804 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1834208/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=119120 CPUtime=1721.87 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 28934 0 0 0 171997 190 0 0 25 0 1 0 341936074 121978880 22715 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 29780 22715 102 219 0 29557 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 119120 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1832992/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=119120 CPUtime=1781.86 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 29184 0 0 0 177993 193 0 0 25 0 1 0 341936074 121978880 22965 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 29780 22965 102 219 0 29557 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 119120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1832672/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=119120 CPUtime=1800.06 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 29258 0 0 0 179812 194 0 0 25 0 1 0 341936074 121978880 23039 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 29780 23039 102 219 0 29557 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 119120 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1585 /proc/meminfo: memFree=1832672/2055920 swapFree=4157260/4192956 [pid=1582] ppid=1580 vsize=119120 CPUtime=1800.06 /proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 29258 0 0 0 179812 194 0 0 25 0 1 0 341936074 121978880 23039 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1582/statm: 29780 23039 102 219 0 29557 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 119120 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.08 CPU user time (s): 1798.12 CPU system time (s): 1.9587 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 119120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.12 system time used= 1.9587 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29261 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= 36842 runsolver used 1.53277 second user time and 4.38833 second system time The end
Begin job on node72 on Tue May 8 21:16:16 UTC 2007 IDJOB= 459733 IDBENCH= 48194 IDSOLVER= 200 FILE ID= node72/459733-1178658976 PBS_JOBID= 5218405 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/mis/normalized-mis_500_10_5.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459733-1178658976/instance-459733-1178658976.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-459733-1178658976 -o ROOT/results/node72/conversion-459733-1178658976 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459733-1178658976/instance-459733-1178658976.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-459733-1178658976 -o ROOT/results/node72/solver-459733-1178658976 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459733-1178658976/instance-459733-1178658976.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 2b02b42135ec6f53aa7a47afb99951df RANDOM SEED= 78671262 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1927488 kB Buffers: 9768 kB Cached: 32912 kB SwapCached: 16684 kB Active: 57520 kB Inactive: 11212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1927488 kB SwapTotal: 4192956 kB SwapFree: 4157260 kB Dirty: 2536 kB Writeback: 0 kB Mapped: 33520 kB Slab: 45248 kB Committed_AS: 7409824 kB PageTables: 1796 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 node72 on Tue May 8 21:46:19 UTC 2007