Trace number 459818

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 NameAnswerObjective functionCPU timeWall clock time
PBS4_v2 2007-03-23SAT (TO)-47 1800.08 1800.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_3.opb
MD5SUM27440fbcb5a9ea2c9ae6b100e77dc1d3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-60
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -60
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4976
Sum of products size (including duplicates)9952
Number of different products2488
Sum of products size4976

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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

Verifier Data (download as text)

OK	-47

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-459818-1178660884 -o ROOT/results/node7/solver-459818-1178660884 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 2034
/proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=1732 CPUtime=0
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 342126002 1773568 215 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 433 215 86 219 0 210 0

[startup+0.067021 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 2034
/proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=2724 CPUtime=0.06
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 475 0 0 0 6 0 0 0 18 0 1 0 342126002 2789376 424 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134531401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 681 424 86 219 0 458 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2724

[startup+0.101025 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 2034
/proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=2720 CPUtime=0.09
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 496 0 0 0 9 0 0 0 18 0 1 0 342126002 2785280 445 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 680 445 90 219 0 457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2720

[startup+0.301045 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 2034
/proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=2720 CPUtime=0.29
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 496 0 0 0 29 0 0 0 19 0 1 0 342126002 2785280 445 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 680 445 90 219 0 457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2720

[startup+0.701088 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 2034
/proc/meminfo: memFree=1938424/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=2720 CPUtime=0.69
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 497 0 0 0 69 0 0 0 23 0 1 0 342126002 2785280 446 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557382 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 680 446 90 219 0 457 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2720

[startup+1.50117 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1936816/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=2852 CPUtime=1.49
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 559 0 0 0 149 0 0 0 25 0 1 0 342126002 2920448 508 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 713 508 102 219 0 490 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2852

[startup+3.10134 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1936432/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=3888 CPUtime=3.09
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 775 0 0 0 308 1 0 0 25 0 1 0 342126002 3981312 724 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 972 724 102 219 0 749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3888

[startup+6.30167 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1934320/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=7156 CPUtime=6.29
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 1253 0 0 0 628 1 0 0 25 0 1 0 342126002 7327744 1202 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 1789 1202 102 219 0 1566 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7156

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1926128/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=19900 CPUtime=12.69
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 3550 0 0 0 1266 3 0 0 25 0 1 0 342126002 20377600 3450 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 4975 3450 102 219 0 4752 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19900

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1921712/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=21528 CPUtime=25.48
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 4418 0 0 0 2539 9 0 0 25 0 1 0 342126002 22044672 4221 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 5382 4221 102 219 0 5159 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21528

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1920560/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=22948 CPUtime=51.07
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 4912 0 0 0 5091 16 0 0 25 0 1 0 342126002 23498752 4522 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 5737 4522 102 219 0 5514 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22948

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1895472/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=76120 CPUtime=102.27
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 11549 0 0 0 10197 30 0 0 25 0 1 0 342126002 77946880 10774 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 19030 10774 102 219 0 18807 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76120

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1839280/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=145224 CPUtime=162.25
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 25688 0 0 0 16178 47 0 0 25 0 1 0 342126002 148709376 24913 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 36306 24913 102 219 0 36083 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 145224

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1800432/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=148100 CPUtime=222.23
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 35263 0 0 0 22162 61 0 0 25 0 1 0 342126002 151654400 34488 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 37025 34488 102 219 0 36802 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 148100

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1791088/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=154224 CPUtime=282.22
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 38287 0 0 0 28150 72 0 0 25 0 1 0 342126002 157925376 36743 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 38556 36743 102 219 0 38333 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 154224

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1789296/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=155824 CPUtime=342.21
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 38751 0 0 0 34141 80 0 0 25 0 1 0 342126002 159563776 37207 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545669 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 38956 37207 102 219 0 38733 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 155824

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1786672/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=158432 CPUtime=402.19
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 39420 0 0 0 40131 88 0 0 25 0 1 0 342126002 162234368 37876 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 39608 37876 102 219 0 39385 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 158432

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1784048/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=160788 CPUtime=462.17
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 40033 0 0 0 46123 94 0 0 25 0 1 0 342126002 164646912 38489 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 40197 38489 102 219 0 39974 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 160788

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1782832/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=161748 CPUtime=522.16
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 40330 0 0 0 52117 99 0 0 25 0 1 0 342126002 165629952 38786 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 40437 38786 102 219 0 40214 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 161748

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1780720/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=164068 CPUtime=582.14
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 40854 0 0 0 58110 104 0 0 25 0 1 0 342126002 168005632 39310 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 41017 39310 102 219 0 40794 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 164068

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2035
/proc/meminfo: memFree=1780016/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=164580 CPUtime=642.12
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 41017 0 0 0 64104 108 0 0 25 0 1 0 342126002 168529920 39473 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 41145 39473 102 219 0 40922 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 164580


################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/84 2216
/proc/meminfo: memFree=1770752/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=179340 CPUtime=822
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 44486 0 0 0 82076 124 0 0 25 0 1 0 342126002 183644160 41389 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 44835 41389 102 219 0 44612 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 179340

[startup+882.302 s]
/proc/loadavg: 1.11 1.04 1.01 2/78 2244
/proc/meminfo: memFree=1770928/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=179804 CPUtime=881.97
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 44701 0 0 0 88068 129 0 0 25 0 1 0 342126002 184119296 41604 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 44951 41604 102 219 0 44728 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 179804

[startup+942.302 s]
/proc/loadavg: 1.04 1.03 1.01 2/78 2244
/proc/meminfo: memFree=1769392/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=181076 CPUtime=941.95
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 45160 0 0 0 94061 134 0 0 25 0 1 0 342126002 185421824 41997 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 45269 41997 102 219 0 45046 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 181076

[startup+1002.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 2244
/proc/meminfo: memFree=1766896/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=183716 CPUtime=1001.93
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 45776 0 0 0 100054 139 0 0 25 0 1 0 342126002 188125184 42613 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 45929 42613 102 219 0 45706 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 183716

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2244
/proc/meminfo: memFree=1766000/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=184356 CPUtime=1061.92
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 45992 0 0 0 106048 144 0 0 25 0 1 0 342126002 188780544 42829 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 46089 42829 102 219 0 45866 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 184356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2244
/proc/meminfo: memFree=1765232/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=184752 CPUtime=1121.9
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 46187 0 0 0 112040 150 0 0 25 0 1 0 342126002 189186048 43024 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 46188 43024 102 219 0 45965 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 184752

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2244
/proc/meminfo: memFree=1764464/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=185416 CPUtime=1181.89
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 46377 0 0 0 118034 155 0 0 25 0 1 0 342126002 189865984 43214 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 46354 43214 102 219 0 46131 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 185416

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1763760/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=185680 CPUtime=1241.88
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 46514 0 0 0 124028 160 0 0 25 0 1 0 342126002 190136320 43351 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 46420 43351 102 219 0 46197 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 185680

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1762096/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=187036 CPUtime=1301.86
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 46916 0 0 0 130023 163 0 0 25 0 1 0 342126002 191524864 43753 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 46759 43753 102 219 0 46536 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 187036

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1761008/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=187544 CPUtime=1361.85
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 47171 0 0 0 136015 170 0 0 25 0 1 0 342126002 192045056 44008 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 46886 44008 102 219 0 46663 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 187544

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1759600/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=188660 CPUtime=1421.83
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 47499 0 0 0 142007 176 0 0 25 0 1 0 342126002 193187840 44336 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 47165 44336 102 219 0 46942 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 188660

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1758768/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=189272 CPUtime=1481.81
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 47704 0 0 0 148000 181 0 0 25 0 1 0 342126002 193814528 44541 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 47318 44541 102 219 0 47095 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 189272

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1757616/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=189920 CPUtime=1541.8
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 47975 0 0 0 153993 187 0 0 25 0 1 0 342126002 194478080 44812 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 47480 44812 102 219 0 47257 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 189920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1757104/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=189920 CPUtime=1601.78
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48108 0 0 0 159986 192 0 0 25 0 1 0 342126002 194478080 44945 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 47480 44945 102 219 0 47257 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 189920

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1756080/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=190608 CPUtime=1661.77
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48364 0 0 0 165980 197 0 0 25 0 1 0 342126002 195182592 45201 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 47652 45201 102 219 0 47429 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 190608

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1755504/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=190608 CPUtime=1721.75
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48510 0 0 0 171974 201 0 0 25 0 1 0 342126002 195182592 45347 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 47652 45347 102 219 0 47429 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 190608

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1754864/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=190608 CPUtime=1781.74
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48643 0 0 0 177965 209 0 0 25 0 1 0 342126002 195182592 45480 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 47652 45480 102 219 0 47429 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 190608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2244
/proc/meminfo: memFree=1754736/2055920 swapFree=4157076/4192956
[pid=2034] ppid=2031 vsize=190608 CPUtime=1800.04
/proc/2034/stat : 2034 (PBS4_SAT07v2) R 2031 2034 882 0 -1 4194304 48687 0 0 0 179794 210 0 0 25 0 1 0 342126002 195182592 45524 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2034/statm: 47652 45524 102 219 0 47429 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 190608

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.08
CPU user time (s): 1797.95
CPU system time (s): 2.13568
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 190608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.95
system time used= 2.13567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 35835

runsolver used 1.36979 second user time and 4.16337 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Tue May  8 21:48:04 UTC 2007

IDJOB= 459818
IDBENCH= 48279
IDSOLVER= 200
FILE ID= node7/459818-1178660884

PBS_JOBID= 5218001

Free space on /tmp= 66555 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_3.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node7/convwatcher-459818-1178660884 -o ROOT/results/node7/conversion-459818-1178660884 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-459818-1178660884 -o ROOT/results/node7/solver-459818-1178660884 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459818-1178660884/instance-459818-1178660884.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  27440fbcb5a9ea2c9ae6b100e77dc1d3

RANDOM SEED= 508646849

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1938832 kB
Buffers:         12192 kB
Cached:          23632 kB
SwapCached:      15652 kB
Active:          46720 kB
Inactive:        14896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1938832 kB
SwapTotal:     4192956 kB
SwapFree:      4157076 kB
Dirty:            2484 kB
Writeback:           0 kB
Mapped:          31928 kB
Slab:            40892 kB
Committed_AS: 14692312 kB
PageTables:       1864 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66555 MiB

End job on node7 on Tue May  8 22:18:06 UTC 2007