Trace number 459746

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)-28 1800.1 1800.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_1.opb
MD5SUM2cdec46d3e8e924c4987d217b8438ed8
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-31
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint25
Maximum length of a constraint43
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products3102
Sum of products size6204

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

Verifier Data (download as text)

OK	-28

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459746-1178659033/instance-459746-1178659033.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-459746-1178659033 -o ROOT/results/node41/solver-459746-1178659033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459746-1178659033/instance-459746-1178659033.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 28359
/proc/meminfo: memFree=1819768/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=1784 CPUtime=0
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 245 0 0 0 0 0 0 0 18 0 1 0 313815243 1826816 227 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134587791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 446 227 86 219 0 223 0

[startup+0.059721 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28359
/proc/meminfo: memFree=1819768/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=2580 CPUtime=0.05
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 472 0 0 0 5 0 0 0 18 0 1 0 313815243 2641920 454 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134529998 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 645 454 86 219 0 422 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2580

[startup+0.101724 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28359
/proc/meminfo: memFree=1819768/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=2968 CPUtime=0.09
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 586 0 0 0 9 0 0 0 18 0 1 0 313815243 3039232 568 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 742 568 102 219 0 519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2968

[startup+0.301742 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28359
/proc/meminfo: memFree=1819768/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=4760 CPUtime=0.29
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 916 0 0 0 29 0 0 0 19 0 1 0 313815243 4874240 898 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 1190 898 102 219 0 967 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4760

[startup+0.701776 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28359
/proc/meminfo: memFree=1819768/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=7004 CPUtime=0.69
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 1435 0 0 0 69 0 0 0 23 0 1 0 313815243 7172096 1417 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 1751 1417 102 219 0 1528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7004

[startup+1.50185 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1813168/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=11236 CPUtime=1.49
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 2345 0 0 0 148 1 0 0 25 0 1 0 313815243 11505664 2327 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 2809 2327 102 219 0 2586 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11236

[startup+3.10199 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1808816/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=20440 CPUtime=3.09
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 3846 0 0 0 307 2 0 0 25 0 1 0 313815243 20930560 3779 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 5110 3779 102 219 0 4887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20440

[startup+6.30126 s]
/proc/loadavg: 0.93 0.98 0.99 3/78 28360
/proc/meminfo: memFree=1799088/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=22744 CPUtime=6.29
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 5440 0 0 0 626 3 0 0 25 0 1 0 313815243 23289856 5276 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 5686 5276 102 219 0 5463 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22744

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1794224/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=40804 CPUtime=12.69
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 6598 0 0 0 1263 6 0 0 25 0 1 0 313815243 41783296 6434 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 10201 6434 102 219 0 9978 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40804

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1790704/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=43772 CPUtime=25.48
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 7677 0 0 0 2539 9 0 0 25 0 1 0 313815243 44822528 7320 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 10943 7320 102 219 0 10720 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43772

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1787568/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=47220 CPUtime=51.08
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 8831 0 0 0 5091 17 0 0 25 0 1 0 313815243 48353280 8089 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 11805 8089 102 219 0 11582 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47220

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1783408/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=52728 CPUtime=102.27
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 10635 0 0 0 10198 29 0 0 25 0 1 0 313815243 53993472 9124 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 13182 9124 102 219 0 12959 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52728

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1778864/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=55240 CPUtime=162.25
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 11774 0 0 0 16185 40 0 0 25 0 1 0 313815243 56565760 10263 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 13810 10263 102 219 0 13587 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 55240

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1774960/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=64012 CPUtime=222.24
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 14288 0 0 0 22171 53 0 0 25 0 1 0 313815243 65548288 11240 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 16003 11240 102 219 0 15780 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 64012

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1771504/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=65916 CPUtime=282.22
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 15144 0 0 0 28158 64 0 0 25 0 1 0 313815243 67497984 12096 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 16479 12096 102 219 0 16256 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 65916

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 28360
/proc/meminfo: memFree=1768240/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=67436 CPUtime=342.21
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 15952 0 0 0 34146 75 0 0 25 0 1 0 313815243 69054464 12904 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 16859 12904 102 219 0 16636 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 67436

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1765232/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=81416 CPUtime=402.2
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 19780 0 0 0 40134 86 0 0 25 0 1 0 313815243 83369984 13659 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560873 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 20354 13659 102 219 0 20131 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 81416

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1762288/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=83108 CPUtime=462.18
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 20508 0 0 0 46123 95 0 0 25 0 1 0 313815243 85102592 14387 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 20777 14387 102 219 0 20554 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 83108

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28360
/proc/meminfo: memFree=1759472/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=84224 CPUtime=522.16
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 21224 0 0 0 52112 104 0 0 25 0 1 0 313815243 86245376 15103 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 21056 15103 102 219 0 20833 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 84224

[startup+582.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1756656/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=86636 CPUtime=582.16
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 21929 0 0 0 58103 113 0 0 25 0 1 0 313815243 88715264 15808 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 21659 15808 102 219 0 21436 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 86636

[startup+642.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 28360
/proc/meminfo: memFree=1753904/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=87936 CPUtime=642.14
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 22586 0 0 0 64093 121 0 0 25 0 1 0 313815243 90046464 16465 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 21984 16465 102 219 0 21761 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 87936


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1744432/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=92276 CPUtime=882.08
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 24919 0 0 0 88057 151 0 0 25 0 1 0 313815243 94490624 18798 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 23069 18798 102 219 0 22846 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 92276

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1742320/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=93688 CPUtime=942.07
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 25453 0 0 0 94049 158 0 0 25 0 1 0 313815243 95936512 19332 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 23422 19332 102 219 0 23199 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 93688

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1740144/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=95188 CPUtime=1002.05
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 25996 0 0 0 100041 164 0 0 25 0 1 0 313815243 97472512 19875 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 23797 19875 102 219 0 23574 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 95188

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1738032/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=121552 CPUtime=1062.03
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 32662 0 0 0 106032 171 0 0 25 0 1 0 313815243 124469248 20396 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 30388 20396 102 219 0 30165 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 121552

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1735728/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=121936 CPUtime=1122.02
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 33207 0 0 0 112024 178 0 0 25 0 1 0 313815243 124862464 20941 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 30484 20941 102 219 0 30261 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 121936

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1733744/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=123632 CPUtime=1182.01
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 33721 0 0 0 118016 185 0 0 25 0 1 0 313815243 126599168 21455 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 30908 21455 102 219 0 30685 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 123632

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1731632/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=123824 CPUtime=1241.99
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 34207 0 0 0 124009 190 0 0 25 0 1 0 313815243 126795776 21941 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 30956 21941 102 219 0 30733 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 123824

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1729776/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=125624 CPUtime=1301.98
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 34668 0 0 0 130002 196 0 0 25 0 1 0 313815243 128638976 22402 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 31406 22402 102 219 0 31183 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 125624

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1727984/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=125624 CPUtime=1361.97
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 35112 0 0 0 135994 203 0 0 25 0 1 0 313815243 128638976 22846 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 31406 22846 102 219 0 31183 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 125624

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1726128/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=127536 CPUtime=1421.96
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 35552 0 0 0 141987 209 0 0 25 0 1 0 313815243 130596864 23286 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 31884 23286 102 219 0 31661 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 127536

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28360
/proc/meminfo: memFree=1724464/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=127536 CPUtime=1481.93
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 35980 0 0 0 147978 215 0 0 25 0 1 0 313815243 130596864 23714 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 31884 23714 102 219 0 31661 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 127536

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28362
/proc/meminfo: memFree=1722736/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=129568 CPUtime=1541.92
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 36397 0 0 0 153971 221 0 0 25 0 1 0 313815243 132677632 24131 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 32392 24131 102 219 0 32169 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 129568

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28362
/proc/meminfo: memFree=1721008/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=129568 CPUtime=1601.91
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 36826 0 0 0 159965 226 0 0 25 0 1 0 313815243 132677632 24560 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 32392 24560 102 219 0 32169 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 129568

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 28362
/proc/meminfo: memFree=1719344/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=131728 CPUtime=1661.89
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 37243 0 0 0 165958 231 0 0 25 0 1 0 313815243 134889472 24977 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 32932 24977 102 219 0 32709 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 131728

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28362
/proc/meminfo: memFree=1717744/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=131728 CPUtime=1721.88
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 37643 0 0 0 171952 236 0 0 25 0 1 0 313815243 134889472 25377 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 32932 25377 102 219 0 32709 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 131728

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28362
/proc/meminfo: memFree=1716080/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=131728 CPUtime=1781.87
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 38033 0 0 0 177946 241 0 0 25 0 1 0 313815243 134889472 25767 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 32932 25767 102 219 0 32709 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 131728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28362
/proc/meminfo: memFree=1715440/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=131728 CPUtime=1800.07
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 38172 0 0 0 179764 243 0 0 25 0 1 0 313815243 134889472 25906 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 32932 25906 102 219 0 32709 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 131728

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28362
/proc/meminfo: memFree=1715440/2055920 swapFree=4169412/4192956
[pid=28359] ppid=28357 vsize=131728 CPUtime=1800.07
/proc/28359/stat : 28359 (PBS4_SAT07v2) R 28357 28359 27048 0 -1 4194304 38172 0 0 0 179764 243 0 0 25 0 1 0 313815243 134889472 25906 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28359/statm: 32932 25906 102 219 0 32709 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 131728

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.1
CPU user time (s): 1797.64
CPU system time (s): 2.45263
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 131728

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

runsolver used 1.63175 second user time and 4.51431 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Tue May  8 21:17:13 UTC 2007

IDJOB= 459746
IDBENCH= 48207
IDSOLVER= 200
FILE ID= node41/459746-1178659033

PBS_JOBID= 5218394

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_200_25_1.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459746-1178659033/instance-459746-1178659033.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-459746-1178659033 -o ROOT/results/node41/conversion-459746-1178659033 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459746-1178659033/instance-459746-1178659033.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  2cdec46d3e8e924c4987d217b8438ed8

RANDOM SEED= 622581723

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1820112 kB
Buffers:         26024 kB
Cached:         106512 kB
SwapCached:       2920 kB
Active:          65840 kB
Inactive:        93120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820112 kB
SwapTotal:     4192956 kB
SwapFree:      4169412 kB
Dirty:            2520 kB
Writeback:           0 kB
Mapped:          34156 kB
Slab:            62080 kB
Committed_AS:  8584092 kB
PageTables:       2016 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 node41 on Tue May  8 21:47:16 UTC 2007