Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -106 | 1800.07 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_4.opb |
MD5SUM | 81ea6ef3f58dd056541f0542171b5402 |
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 | -112 |
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 | -112 |
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) | 6326 |
Sum of products size (including duplicates) | 12652 |
Number of different products | 3163 |
Sum of products size | 6326 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459703-1178658480/instance-459703-1178658480.opb ...... 0.09/0.10 c done parsing opb. 0.09/0.10 o 414 0.09/0.11 o 413 0.09/0.11 o 412 0.09/0.12 o 406 0.09/0.12 o 405 5.79/5.89 o 400 6.39/6.40 o 396 6.39/6.41 o 395 52.17/52.24 o 394 1800.04/1800.70 s SATISFIABLE 1800.04/1800.70 v -x1 x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.04/1800.70 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.04/1800.70 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.04/1800.70 v -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 1800.04/1800.70 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.04/1800.70 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.04/1800.70 v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 1800.04/1800.70 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.04/1800.70 v -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 1800.04/1800.70 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.04/1800.70 v -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 1800.04/1800.70 v -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 1800.04/1800.70 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.04/1800.70 v -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 1800.04/1800.70 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1800.04/1800.70 v x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1800.04/1800.70 v -x1256 -x1257 -x1258 -x1259 x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 1800.04/1800.70 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.04/1800.70 v -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 1800.04/1800.70 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.04/1800.70 v -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 -x1332 -x1333 -x1334 1800.04/1800.70 v -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x135 -x1350 1800.04/1800.70 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1800.04/1800.70 v -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 1800.04/1800.70 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.04/1800.70 v -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 1800.04/1800.70 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1800.04/1800.70 v -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 1800.04/1800.70 v -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 1800.04/1800.70 v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 1800.04/1800.70 v -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 1800.04/1800.70 v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 1800.04/1800.70 v -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1800.04/1800.70 v -x1526 -x1527 -x1528 -x1529 x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x154 -x1540 -x1541 1800.04/1800.70 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1800.04/1800.70 v -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 1800.04/1800.70 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.04/1800.70 v -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 1800.04/1800.70 v -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 1800.04/1800.70 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1800.04/1800.70 v -x1638 -x1639 x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 1800.04/1800.70 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.04/1800.70 v -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.04/1800.70 v -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 x170 -x1700 1800.04/1800.70 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 1800.04/1800.70 v -x1717 -x1718 -x1719 x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 1800.04/1800.70 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1800.04/1800.70 v -x1749 x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 1800.04/1800.70 v -x1765 -x1766 -x1767 -x1768 -x1769 x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 1800.04/1800.70 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.04/1800.70 v -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 1800.04/1800.70 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1800.04/1800.70 v -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 1800.04/1800.70 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 1800.04/1800.70 v -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.04/1800.70 v -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x189 -x1890 -x1891 1800.04/1800.70 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.04/1800.70 v -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 1800.04/1800.70 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.04/1800.70 v -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.04/1800.70 v -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 1800.04/1800.70 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1800.04/1800.70 v -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 1800.04/1800.70 v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 1800.04/1800.70 v -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 1800.04/1800.70 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.04/1800.70 v -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.04/1800.70 v -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x208 -x2080 -x2081 1800.04/1800.70 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 1800.04/1800.70 v -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 1800.04/1800.70 v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.04/1800.70 v -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 1800.04/1800.70 v -x2145 -x2146 -x2147 -x2148 -x2149 x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 1800.04/1800.70 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 1800.04/1800.70 v -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 1800.04/1800.70 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1800.04/1800.70 v -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1800.04/1800.70 v -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 1800.04/1800.70 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1800.04/1800.70 v -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 1800.04/1800.70 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 1800.04/1800.70 v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.04/1800.70 v -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x232 -x2320 -x2321 1800.04/1800.70 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1800.04/1800.70 v -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 1800.04/1800.70 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 1800.04/1800.70 v -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.04/1800.70 v -x2386 -x2387 -x2388 -x2389 x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x24 x240 -x2400 1800.04/1800.70 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1800.04/1800.70 v -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 1800.04/1800.70 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 1800.04/1800.70 v -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.04/1800.70 v -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 1800.04/1800.70 v -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 1800.04/1800.70 v -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x251 -x2510 -x2511 -x2512 1800.04/1800.70 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 1800.04/1800.70 v -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 1800.04/1800.70 v -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 1800.04/1800.70 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.04/1800.70 v -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 1800.04/1800.70 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1800.04/1800.70 v -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1800.04/1800.70 v -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 1800.04/1800.70 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.04/1800.70 v -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 1800.04/1800.70 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.04/1800.70 v -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 1800.04/1800.70 v -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x272 -x2720 1800.04/1800.70 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 1800.04/1800.70 v -x2737 -x2738 -x2739 x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 1800.04/1800.70 v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 1800.04/1800.70 v -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 1800.04/1800.70 v -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 1800.04/1800.70 v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 1800.04/1800.70 v -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 1800.04/1800.70 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1800.04/1800.70 v x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1800.04/1800.70 v -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 1800.04/1800.70 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.04/1800.70 v -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 x291 -x2910 -x2911 -x2912 1800.04/1800.70 v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 1800.04/1800.70 v -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 1800.04/1800.70 v -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 1800.04/1800.70 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 1800.04/1800.70 v -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 1800.04/1800.70 v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 1800.04/1800.70 v -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x302 -x3020 -x3021 -x3022 -x3023 1800.04/1800.70 v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1800.04/1800.70 v -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 1800.04/1800.70 v -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 1800.04/1800.70 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 1800.04/1800.70 v -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x31 -x310 -x3100 -x3101 -x3102 -x3103 1800.04/1800.70 v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 1800.04/1800.70 v -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 1800.04/1800.70 v -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 1800.04/1800.70 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.04/1800.70 v -x3168 -x3169 x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 1800.04/1800.70 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1800.04/1800.70 v -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 1800.04/1800.70 v -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 1800.04/1800.70 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 1800.04/1800.70 v -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 x326 -x3260 -x3261 -x3262 1800.04/1800.70 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 1800.04/1800.70 v -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 1800.04/1800.70 v -x3295 -x3296 -x3297 -x3298 -x3299 x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 1800.04/1800.70 v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.04/1800.70 v -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 x334 -x3340 -x3341 1800.04/1800.70 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 1800.04/1800.70 v -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 1800.04/1800.70 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 1800.04/1800.70 v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 1800.04/1800.70 v -x3406 -x3407 -x3408 -x3409 x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 1800.04/1800.70 v -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 1800.04/1800.70 v -x3439 x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 1800.04/1800.70 v -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 1800.04/1800.70 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1800.04/1800.70 v -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x35 -x350 -x3500 -x3501 -x3502 1800.04/1800.70 v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 1800.04/1800.70 v -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 1800.04/1800.70 v -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 1800.04/1800.70 v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 1800.04/1800.70 v -x3567 -x3568 -x3569 x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 x358 -x3580 -x3581 -x3582 1800.04/1800.70 v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 1800.04/1800.70 v -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 1800.04/1800.70 v -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 x363 -x3630 1800.04/1800.70 v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 1800.04/1800.70 v -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 1800.04/1800.70 v -x3663 x367 -x368 -x369 -x37 x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 x38 x380 -x381 -x382 x383 x384 -x385 1800.04/1800.70 v -x386 -x387 -x388 -x389 -x39 x390 -x391 -x392 x393 x394 -x395 -x396 x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 1800.04/1800.70 v x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 x421 x422 -x423 -x424 1800.04/1800.70 v x425 x426 -x427 x428 -x429 -x43 -x430 -x431 x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x44 -x440 -x441 x442 -x443 x444 1800.04/1800.70 v x445 x446 -x447 -x448 x449 -x45 -x450 -x451 -x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x46 -x460 x461 -x462 -x463 -x464 1800.04/1800.70 v x465 -x466 -x467 x468 -x469 -x47 x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 x480 x481 x482 -x483 -x484 1800.04/1800.70 v -x485 -x486 x487 -x488 -x489 -x49 x490 -x491 x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 1800.04/1800.70 v -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 1800.04/1800.70 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 1800.04/1800.70 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 1800.04/1800.70 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 1800.04/1800.70 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 1800.04/1800.70 v -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 1800.04/1800.70 v -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 1800.04/1800.70 v -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.04/1800.70 v -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 1800.04/1800.70 v -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x69 -x690 -x691 -x692 -x693 -x694 1800.04/1800.70 v -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 1800.04/1800.70 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 1800.04/1800.70 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 1800.04/1800.70 v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x77 1800.04/1800.70 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1800.04/1800.70 v -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 1800.04/1800.70 v -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.04/1800.70 v -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x84 -x840 -x841 -x842 -x843 -x844 -x845 1800.04/1800.70 v -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 1800.04/1800.70 v -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x88 -x880 -x881 -x882 -x883 1800.04/1800.70 v -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 1800.04/1800.70 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920 1800.04/1800.70 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 1800.04/1800.70 v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 1800.04/1800.70 v x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 1800.04/1800.70 v -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 1800.04/1800.70 v -x998 -x999
OK -106
Linearizing /tmp/evaluation/459703-1178658480/instance-459703-1178658480.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-459703-1178658480 -o ROOT/results/node13/solver-459703-1178658480 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459703-1178658480/instance-459703-1178658480.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/77 29033 /proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=1828 CPUtime=0 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 313765817 1871872 232 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134586979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 457 232 86 219 0 234 0 [startup+0.057445 s] /proc/loadavg: 0.99 0.98 0.99 3/77 29033 /proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=2928 CPUtime=0.05 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 526 0 0 0 5 0 0 0 18 0 1 0 313765817 2998272 475 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 732 475 86 219 0 509 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2928 [startup+0.101453 s] /proc/loadavg: 0.99 0.98 0.99 3/77 29033 /proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=3468 CPUtime=0.09 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 721 0 0 0 9 0 0 0 18 0 1 0 313765817 3551232 605 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 867 605 88 219 0 644 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3468 [startup+0.301497 s] /proc/loadavg: 0.99 0.98 0.99 3/77 29033 /proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=5260 CPUtime=0.29 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 1011 0 0 0 29 0 0 0 19 0 1 0 313765817 5386240 895 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 1315 895 102 219 0 1092 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5260 [startup+0.701581 s] /proc/loadavg: 0.99 0.98 0.99 3/77 29033 /proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=7504 CPUtime=0.69 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 1585 0 0 0 68 1 0 0 23 0 1 0 313765817 7684096 1469 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 1876 1469 102 219 0 1653 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7504 [startup+1.50175 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1582584/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=11600 CPUtime=1.49 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 2672 0 0 0 148 1 0 0 25 0 1 0 313765817 11878400 2556 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 2900 2556 102 219 0 2677 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11600 [startup+3.10109 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1576696/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=19792 CPUtime=3.08 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 4592 0 0 0 306 2 0 0 25 0 1 0 313765817 20267008 4476 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 4948 4476 102 219 0 4725 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19792 [startup+6.30178 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1562552/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=37180 CPUtime=6.29 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 8115 0 0 0 625 4 0 0 25 0 1 0 313765817 38072320 7950 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 9295 7950 102 219 0 9072 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37180 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1548088/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=71504 CPUtime=12.68 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 10734 0 0 0 1261 7 0 0 25 0 1 0 313765817 73220096 10472 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 17876 10472 102 219 0 17653 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 71504 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1546680/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=72292 CPUtime=25.48 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 11038 0 0 0 2539 9 0 0 25 0 1 0 313765817 74027008 10776 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 18073 10776 102 219 0 17850 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 72292 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1545080/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=74156 CPUtime=51.07 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 11640 0 0 0 5094 13 0 0 25 0 1 0 313765817 75935744 11185 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 18539 11185 102 219 0 18316 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74156 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1542776/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=77016 CPUtime=102.26 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 12600 0 0 0 10203 23 0 0 25 0 1 0 313765817 78864384 11760 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 19254 11760 102 219 0 19031 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 77016 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1540344/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=81276 CPUtime=162.23 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 13973 0 0 0 16190 33 0 0 25 0 1 0 313765817 83226624 12364 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 20319 12364 102 219 0 20096 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 81276 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1538296/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=82400 CPUtime=222.21 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 14455 0 0 0 22178 43 0 0 25 0 1 0 313765817 84377600 12846 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550483 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 20600 12846 102 219 0 20377 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 82400 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1536568/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=83436 CPUtime=282.19 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 14908 0 0 0 28170 49 0 0 25 0 1 0 313765817 85438464 13299 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 20859 13299 102 219 0 20636 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 83436 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1534776/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=84244 CPUtime=342.16 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 15342 0 0 0 34160 56 0 0 25 0 1 0 313765817 86265856 13733 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 21061 13733 102 219 0 20838 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 84244 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1533112/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=91296 CPUtime=402.14 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 17292 0 0 0 40150 64 0 0 25 0 1 0 313765817 93487104 14146 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 22824 14146 102 219 0 22601 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 91296 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1531512/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=91792 CPUtime=462.12 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 17688 0 0 0 46142 70 0 0 25 0 1 0 313765817 93995008 14542 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 22948 14542 102 219 0 22725 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 91792 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1530040/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=92880 CPUtime=522.1 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 18073 0 0 0 52135 75 0 0 25 0 1 0 313765817 95109120 14927 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 23220 14927 102 219 0 22997 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 92880 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1528504/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=93476 CPUtime=582.08 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 18444 0 0 0 58126 82 0 0 25 0 1 0 313765817 95719424 15298 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 23369 15298 102 219 0 23146 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 93476 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1527032/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=94108 CPUtime=642.06 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 18806 0 0 0 64118 88 0 0 25 0 1 0 313765817 96366592 15660 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 23527 15660 102 219 0 23304 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 94108 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1521784/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=109340 CPUtime=881.97 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 23221 0 0 0 88084 113 0 0 25 0 1 0 313765817 111964160 17002 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 27335 17002 102 219 0 27112 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 109340 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1520504/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=110196 CPUtime=941.95 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 23538 0 0 0 94078 117 0 0 25 0 1 0 313765817 112840704 17319 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 27549 17319 102 219 0 27326 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 110196 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1519288/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=111104 CPUtime=1001.93 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 23845 0 0 0 100070 123 0 0 25 0 1 0 313765817 113770496 17626 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 27776 17626 102 219 0 27553 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 111104 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1518072/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=111104 CPUtime=1061.91 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 24147 0 0 0 106063 128 0 0 25 0 1 0 313765817 113770496 17928 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 27776 17928 102 219 0 27553 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 111104 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1516856/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=112068 CPUtime=1121.88 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 24443 0 0 0 112056 132 0 0 25 0 1 0 313765817 114757632 18224 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560862 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 28017 18224 102 219 0 27794 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 112068 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1515704/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=112068 CPUtime=1181.86 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 24731 0 0 0 118049 137 0 0 25 0 1 0 313765817 114757632 18512 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 28017 18512 102 219 0 27794 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 112068 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1514488/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=113092 CPUtime=1241.84 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 25017 0 0 0 124041 143 0 0 25 0 1 0 313765817 115806208 18798 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 28273 18798 102 219 0 28050 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 113092 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1513400/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=114180 CPUtime=1301.82 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 25297 0 0 0 130035 147 0 0 25 0 1 0 313765817 116920320 19078 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 28545 19078 102 219 0 28322 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 114180 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1512312/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=114180 CPUtime=1361.8 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 25569 0 0 0 136029 151 0 0 25 0 1 0 313765817 116920320 19350 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 28545 19350 102 219 0 28322 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 114180 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1511224/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=115336 CPUtime=1421.77 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 25839 0 0 0 142022 155 0 0 25 0 1 0 313765817 118104064 19620 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 28834 19620 102 219 0 28611 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 115336 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1510200/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=115336 CPUtime=1481.75 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 26102 0 0 0 148016 159 0 0 25 0 1 0 313765817 118104064 19883 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 28834 19883 102 219 0 28611 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 115336 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1509112/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=115336 CPUtime=1541.73 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 26365 0 0 0 154009 164 0 0 25 0 1 0 313765817 118104064 20146 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 28834 20146 102 219 0 28611 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 115336 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1508152/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=116564 CPUtime=1601.71 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 26621 0 0 0 160002 169 0 0 25 0 1 0 313765817 119361536 20402 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 29141 20402 102 219 0 28918 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 116564 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1507064/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=116564 CPUtime=1661.69 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 26874 0 0 0 165996 173 0 0 25 0 1 0 313765817 119361536 20655 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 29141 20655 102 219 0 28918 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 116564 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1506104/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=117872 CPUtime=1721.66 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 27127 0 0 0 171988 178 0 0 25 0 1 0 313765817 120700928 20908 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 29468 20908 102 219 0 29245 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 117872 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1505080/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=117872 CPUtime=1781.64 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 27373 0 0 0 177981 183 0 0 25 0 1 0 313765817 120700928 21154 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 29468 21154 102 219 0 29245 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 117872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1504760/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=117872 CPUtime=1800.04 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 27448 0 0 0 179820 184 0 0 25 0 1 0 313765817 120700928 21229 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 29468 21229 102 219 0 29245 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 117872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29034 /proc/meminfo: memFree=1504760/2055920 swapFree=4159396/4192956 [pid=29033] ppid=29031 vsize=117872 CPUtime=1800.04 /proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 27448 0 0 0 179820 184 0 0 25 0 1 0 313765817 120700928 21229 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29033/statm: 29468 21229 102 219 0 29245 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 117872 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.07 CPU user time (s): 1798.21 CPU system time (s): 1.85672 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 121632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.21 system time used= 1.85672 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27451 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= 1154 runsolver used 1.42678 second user time and 4.12337 second system time The end
Begin job on node13 on Tue May 8 21:08:00 UTC 2007 IDJOB= 459703 IDBENCH= 48164 IDSOLVER= 200 FILE ID= node13/459703-1178658480 PBS_JOBID= 5218007 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_4.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459703-1178658480/instance-459703-1178658480.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-459703-1178658480 -o ROOT/results/node13/conversion-459703-1178658480 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459703-1178658480/instance-459703-1178658480.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-459703-1178658480 -o ROOT/results/node13/solver-459703-1178658480 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459703-1178658480/instance-459703-1178658480.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402 RANDOM SEED= 618380724 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1590168 kB Buffers: 45608 kB Cached: 327664 kB SwapCached: 12696 kB Active: 180436 kB Inactive: 216300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1590168 kB SwapTotal: 4192956 kB SwapFree: 4159396 kB Dirty: 2560 kB Writeback: 0 kB Mapped: 30544 kB Slab: 54512 kB Committed_AS: 9711836 kB PageTables: 1872 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 node13 on Tue May 8 21:38:03 UTC 2007