Trace number 360519

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PBS4 2007-03-23SAT 11.0723 11.0768

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
MD5SUMd54403a51e1ff3d34cd210d836adfe84
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.10107
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2800
Total number of constraints990001
Number of constraints which are clauses986760
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints3160
Minimum length of a constraint2
Maximum length of a constraint1200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 344
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1239
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/360519-1176970527/instance-360519-1176970527.opb ......
11.00/11.06	c done parsing opb.
11.00/11.06	s SATISFIABLE
11.00/11.06	c Total Run Time					0.167974
11.00/11.06	v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 x1011 -x1012 -x1013 -x1014
11.00/11.06	v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030
11.00/11.06	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
11.00/11.06	v -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062
11.00/11.06	v -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
11.00/11.06	v x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095
11.00/11.06	v -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110
11.00/11.06	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
11.00/11.06	v -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142
11.00/11.06	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
11.00/11.06	v -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174
11.00/11.06	v -x1175 -x1176 -x1177 -x1178 -x1179 -x118 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190
11.00/11.06	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206
11.00/11.06	v -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222
11.00/11.06	v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238
11.00/11.06	v -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254
11.00/11.06	v x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270
11.00/11.06	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286
11.00/11.06	v -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301
11.00/11.06	v -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318
11.00/11.06	v -x1319 x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334
11.00/11.06	v -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350
11.00/11.06	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366
11.00/11.06	v -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382
11.00/11.06	v -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399
11.00/11.06	v -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414
11.00/11.06	v -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430
11.00/11.06	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446
11.00/11.06	v -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462
11.00/11.06	v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479
11.00/11.06	v -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495
11.00/11.06	v -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510
11.00/11.06	v -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527
11.00/11.06	v -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543
11.00/11.06	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559
11.00/11.06	v -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575
11.00/11.06	v -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591
11.00/11.06	v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607
11.00/11.06	v -x1608 -x1609 -x161 -x1610 -x1611 x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x162 x1620 -x1621 -x1622 -x1623
11.00/11.06	v -x1624 -x1625 x1626 x1627 x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164
11.00/11.06	v -x1640 -x1641 -x1642 x1643 -x1644 -x1645 x1646 x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
11.00/11.06	v -x1657 -x1658 -x1659 x166 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 x1671 -x1672
11.00/11.06	v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689
11.00/11.06	v -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 x1700 -x1701 -x1702 x1703 -x1704
11.00/11.06	v -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720
11.00/11.06	v -x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737
11.00/11.06	v -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 x1751 x1752 -x1753
11.00/11.06	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769
11.00/11.06	v -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x178 -x1780 x1781 -x1782 -x1783 -x1784 x1785
11.00/11.06	v -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800
11.00/11.06	v -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817
11.00/11.06	v -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833
11.00/11.06	v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849
11.00/11.06	v -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865
11.00/11.06	v -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x188 -x1880 -x1881
11.00/11.06	v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
11.00/11.06	v -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912
11.00/11.06	v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928
11.00/11.06	v -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944
11.00/11.06	v -x1945 -x1946 -x1947 -x1948 -x1949 -x195 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 -x196 -x1960
11.00/11.06	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
11.00/11.06	v -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992
11.00/11.06	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
11.00/11.06	v -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023
11.00/11.06	v -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204
11.00/11.06	v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055
11.00/11.06	v -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071
11.00/11.06	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087
11.00/11.06	v -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102
11.00/11.06	v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
11.00/11.06	v -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134
11.00/11.06	v -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150
11.00/11.06	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
11.00/11.06	v -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182
11.00/11.06	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198
11.00/11.06	v -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213
11.00/11.06	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229
11.00/11.06	v -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245
11.00/11.06	v -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261
11.00/11.06	v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277
11.00/11.06	v -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293
11.00/11.06	v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309
11.00/11.06	v -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325
11.00/11.06	v -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341
11.00/11.06	v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357
11.00/11.06	v -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373
11.00/11.06	v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389
11.00/11.06	v -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404
11.00/11.06	v x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420
11.00/11.06	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436
11.00/11.06	v -x2437 -x2438 -x2439 -x244 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452
11.00/11.06	v -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469
11.00/11.06	v -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
11.00/11.06	v -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500
11.00/11.06	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516
11.00/11.06	v -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532
11.00/11.06	v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548
11.00/11.06	v -x2549 -x255 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564
11.00/11.06	v -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580
11.00/11.06	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
11.00/11.06	v -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611
11.00/11.06	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627
11.00/11.06	v -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643
11.00/11.06	v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659
11.00/11.06	v -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675
11.00/11.06	v -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691
11.00/11.06	v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707
11.00/11.06	v -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723
11.00/11.06	v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
11.00/11.06	v -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755
11.00/11.06	v -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771
11.00/11.06	v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 x2788
11.00/11.06	v -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x281 -x282 -x283
11.00/11.06	v -x284 -x285 -x286 -x287 -x288 -x289 x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302
11.00/11.06	v x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321
11.00/11.06	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340
11.00/11.06	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36
11.00/11.06	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
11.00/11.06	v -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
11.00/11.06	v -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417
11.00/11.06	v -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436
11.00/11.06	v -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 x453 -x454 -x455
11.00/11.06	v -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474
11.00/11.06	v -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493
11.00/11.06	v -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511
11.00/11.06	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530
11.00/11.06	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55
11.00/11.06	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
11.00/11.06	v -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
11.00/11.06	v -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606
11.00/11.06	v -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625
11.00/11.06	v -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 x644
11.00/11.06	v -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663
11.00/11.06	v -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682
11.00/11.06	v -x683 -x684 -x685 -x686 -x687 -x688 x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701
11.00/11.06	v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x72 -x720
11.00/11.06	v x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74
11.00/11.06	v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759
11.00/11.06	v -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
11.00/11.06	v -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797
11.00/11.06	v -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815
11.00/11.06	v -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 x834
11.00/11.06	v -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853
11.00/11.06	v -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872
11.00/11.06	v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891
11.00/11.06	v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x91 -x910
11.00/11.06	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93
11.00/11.06	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
11.00/11.06	v -x95 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968
11.00/11.06	v -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
11.00/11.06	v -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/360519-1176970527/instance-360519-1176970527.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node70/watcher-360519-1176970527 -o ROOT/results/node70/solver-360519-1176970527 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/360519-1176970527/PBS4 /tmp/evaluation/360519-1176970527/instance-360519-1176970527.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: 1.00 0.99 0.99 3/64 26016
/proc/meminfo: memFree=1160120/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=1720 CPUtime=0
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 227 0 0 0 0 0 0 0 18 0 1 0 136590155 1761280 209 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 430 209 87 219 0 207 0

[startup+0.0809081 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 26016
/proc/meminfo: memFree=1160120/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=2224 CPUtime=0.07
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 435 0 0 0 7 0 0 0 18 0 1 0 136590155 2277376 368 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529777 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 556 368 88 219 0 333 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2224

[startup+0.10291 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 26016
/proc/meminfo: memFree=1160120/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=2616 CPUtime=0.09
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 471 0 0 0 9 0 0 0 18 0 1 0 136590155 2678784 404 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134530219 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 654 404 89 219 0 431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2616

[startup+0.301929 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 26016
/proc/meminfo: memFree=1160120/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=3796 CPUtime=0.29
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 927 0 0 0 29 0 0 0 19 0 1 0 136590155 3887104 763 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134530221 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 949 763 89 219 0 726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3796

[startup+0.70197 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 26016
/proc/meminfo: memFree=1160120/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=9700 CPUtime=0.69
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 2183 0 0 0 69 0 0 0 22 0 1 0 136590155 9932800 1441 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529720 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 2425 1441 89 219 0 2202 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9700

[startup+1.50105 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 26017
/proc/meminfo: memFree=1152560/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=17528 CPUtime=1.49
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 4198 0 0 0 147 2 0 0 25 0 1 0 136590155 17948672 2687 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 4382 2687 89 219 0 4159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17528

[startup+3.10121 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 26017
/proc/meminfo: memFree=1145264/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=33448 CPUtime=3.09
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 8256 0 0 0 305 4 0 0 25 0 1 0 136590155 34250752 5208 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 8362 5208 89 219 0 8139 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33448

[startup+6.30153 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 26017
/proc/meminfo: memFree=1125112/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=64896 CPUtime=6.29
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 16246 0 0 0 620 9 0 0 25 0 1 0 136590155 66453504 10125 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 16224 10125 89 219 0 16001 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64896

Solver just ended. Dumping a history of the last processes samples

[startup+9.50185 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 26017
/proc/meminfo: memFree=1103800/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=69280 CPUtime=9.49
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 21476 0 0 0 936 13 0 0 25 0 1 0 136590155 70942720 15355 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134635985 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 17320 15355 89 219 0 17097 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 69280

[startup+10.3019 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 26017
/proc/meminfo: memFree=1097400/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=69948 CPUtime=10.29
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 22618 0 0 0 1015 14 0 0 25 0 1 0 136590155 71626752 16497 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 17487 16497 89 219 0 17264 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 69948

[startup+10.702 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 26017
/proc/meminfo: memFree=1097400/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=72852 CPUtime=10.69
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 23429 0 0 0 1055 14 0 0 25 0 1 0 136590155 74600448 17275 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0
/proc/26016/statm: 18213 17275 89 219 0 17990 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 72852

[startup+10.902 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 26017
/proc/meminfo: memFree=1091192/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=73112 CPUtime=10.89
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 23523 0 0 0 1075 14 0 0 25 0 1 0 136590155 74866688 17369 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135022908 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26016/statm: 18278 17369 94 219 0 18055 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 73112

[startup+11.006 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 26017
/proc/meminfo: memFree=1091192/2055920 swapFree=4183760/4192956
[pid=26016] ppid=26014 vsize=73640 CPUtime=11
/proc/26016/stat : 26016 (PBS4) R 26014 26016 25909 0 -1 4194304 23653 0 0 0 1084 16 0 0 25 0 1 0 136590155 75407360 17499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26016/statm: 18410 17499 94 219 0 18187 0
Current children cumulated CPU time (s) 11
Current children cumulated vsize (KiB) 73640

Child status: 0
Real time (s): 11.0768
CPU time (s): 11.0723
CPU user time (s): 10.8953
CPU system time (s): 0.176973
CPU usage (%): 99.9594
Max. virtual memory (cumulated for all children) (KiB): 73640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8953
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23750
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= 22

runsolver used 0.012998 second user time and 0.026995 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Thu Apr 19 08:15:28 UTC 2007

IDJOB= 360519
IDBENCH= 1377
IDSOLVER= 157
FILE ID= node70/360519-1176970527

PBS_JOBID= 4630317

Free space on /tmp= 66443 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
COMMAND LINE= /tmp/evaluation/360519-1176970527/PBS4 /tmp/evaluation/360519-1176970527/instance-360519-1176970527.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-360519-1176970527 -o ROOT/results/node70/conversion-360519-1176970527 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/360519-1176970527/instance-360519-1176970527.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-360519-1176970527 -o ROOT/results/node70/solver-360519-1176970527 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/360519-1176970527/PBS4 /tmp/evaluation/360519-1176970527/instance-360519-1176970527.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  d54403a51e1ff3d34cd210d836adfe84

RANDOM SEED= 603482587

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1160528 kB
Buffers:         29936 kB
Cached:         791336 kB
SwapCached:       3092 kB
Active:         276200 kB
Inactive:       554836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1160528 kB
SwapTotal:     4192956 kB
SwapFree:      4183760 kB
Dirty:           35248 kB
Writeback:           0 kB
Mapped:          15764 kB
Slab:            50464 kB
Committed_AS:  2483020 kB
PageTables:       1396 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= 66443 MiB

End job on node70 on Thu Apr 19 08:15:39 UTC 2007