Trace number 458698

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)21338 1800.08 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
MD5SUM8fd497081fcc2923cbeefd2c48cb5010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark834
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 826
Optimality of the best value was proved NO
Number of variables3300
Total number of constraints1985
Number of constraints which are clauses1364
Number of constraints which are cardinality constraints (but not clauses)621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint220
Number of terms in the objective function 2792
Biggest coefficient in the objective function 379
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526163
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 379
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 526163
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data (download as text)

OK	21338

Conversion Script Data (download as text)

/tmp/evaluation/458698-1178640640/instance-458698-1178640640.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 31262
/proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=1784 CPUtime=0
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 241 0 0 0 0 0 0 0 18 0 1 0 340101801 1826816 223 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 446 223 84 219 0 223 0

[startup+0.035104 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 31262
/proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=1940 CPUtime=0.03
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 287 0 0 0 3 0 0 0 18 0 1 0 340101801 1986560 269 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134587081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 485 269 86 219 0 262 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1940

[startup+0.10111 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 31262
/proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=2468 CPUtime=0.09
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 434 0 0 0 9 0 0 0 18 0 1 0 340101801 2527232 416 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588793 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 617 416 86 219 0 394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2468

[startup+0.301128 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 31262
/proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=2720 CPUtime=0.29
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 506 0 0 0 29 0 0 0 19 0 1 0 340101801 2785280 488 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 680 488 90 219 0 457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2720

[startup+0.701167 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 31262
/proc/meminfo: memFree=1770776/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=4436 CPUtime=0.69
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 813 0 0 0 69 0 0 0 23 0 1 0 340101801 4542464 795 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 1109 795 90 219 0 886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4436

[startup+1.50124 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1766864/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=10580 CPUtime=1.48
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 1478 0 0 0 148 0 0 0 25 0 1 0 340101801 10833920 1460 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 2645 1460 90 219 0 2422 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10580

[startup+3.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1763280/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=19004 CPUtime=3.09
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 2772 0 0 0 308 1 0 0 25 0 1 0 340101801 19460096 2754 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 4751 2754 102 219 0 4528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19004

[startup+6.3017 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1748304/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=35520 CPUtime=6.29
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 6731 0 0 0 625 4 0 0 25 0 1 0 340101801 36372480 6713 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 8880 6713 102 219 0 8657 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35520

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1719248/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=68288 CPUtime=12.69
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 13592 0 0 0 1262 7 0 0 25 0 1 0 340101801 69926912 13574 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 17072 13574 102 219 0 16849 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68288

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1700688/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=134948 CPUtime=25.49
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 17598 0 0 0 2530 19 0 0 25 0 1 0 340101801 138186752 17531 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 33737 17531 102 219 0 33514 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134948

[startup+51.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1699600/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=135860 CPUtime=51.08
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 17845 0 0 0 5067 41 0 0 25 0 1 0 340101801 139120640 17778 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 33965 17778 102 219 0 33742 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 135860

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1698832/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=136836 CPUtime=102.26
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18146 0 0 0 10147 79 0 0 25 0 1 0 340101801 140120064 17982 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 34209 17982 102 219 0 33986 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 136836

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1697744/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=138360 CPUtime=162.25
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18569 0 0 0 16129 96 0 0 25 0 1 0 340101801 141680640 18212 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 34590 18212 102 219 0 34367 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 138360

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1697360/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=138732 CPUtime=222.23
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18694 0 0 0 22123 100 0 0 25 0 1 0 340101801 142061568 18337 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 34683 18337 102 219 0 34460 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 138732

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1696784/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=139128 CPUtime=282.22
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18843 0 0 0 28119 103 0 0 25 0 1 0 340101801 142467072 18486 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 34782 18486 102 219 0 34559 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 139128

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1696336/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=139420 CPUtime=342.21
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 18959 0 0 0 34111 110 0 0 25 0 1 0 340101801 142766080 18602 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 34855 18602 102 219 0 34632 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 139420

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1695632/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=140052 CPUtime=402.2
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 19125 0 0 0 40105 115 0 0 25 0 1 0 340101801 143413248 18768 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 35013 18768 102 219 0 34790 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 140052

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1694992/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=141924 CPUtime=462.18
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 19664 0 0 0 46095 123 0 0 25 0 1 0 340101801 145330176 18922 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 35481 18922 102 219 0 35258 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 141924

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1694608/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=142236 CPUtime=522.16
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 19771 0 0 0 52088 128 0 0 25 0 1 0 340101801 145649664 19029 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 35559 19029 102 219 0 35336 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 142236

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1693776/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=142892 CPUtime=582.15
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 19969 0 0 0 58077 138 0 0 25 0 1 0 340101801 146321408 19227 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 35723 19227 102 219 0 35500 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 142892

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1693392/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=143016 CPUtime=642.13
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20065 0 0 0 64072 141 0 0 25 0 1 0 340101801 146448384 19323 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560630 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 35754 19323 102 219 0 35531 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 143016


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1691856/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=144124 CPUtime=882.07
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20453 0 0 0 88044 163 0 0 25 0 1 0 340101801 147582976 19711 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 36031 19711 102 219 0 35808 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 144124

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1691408/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=144564 CPUtime=942.05
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20576 0 0 0 94036 169 0 0 25 0 1 0 340101801 148033536 19834 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 36141 19834 102 219 0 35918 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 144564

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1691152/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=144564 CPUtime=1002.04
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20626 0 0 0 100029 175 0 0 25 0 1 0 340101801 148033536 19884 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 36141 19884 102 219 0 35918 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 144564

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1690896/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=144876 CPUtime=1062.03
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20696 0 0 0 106023 180 0 0 25 0 1 0 340101801 148353024 19954 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 36219 19954 102 219 0 35996 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 144876

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1690640/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=144988 CPUtime=1122.01
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 20764 0 0 0 112014 187 0 0 25 0 1 0 340101801 148467712 20022 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 36247 20022 102 219 0 36024 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 144988

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1690128/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=148536 CPUtime=1181.99
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21659 0 0 0 118007 192 0 0 25 0 1 0 340101801 152100864 20148 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37134 20148 102 219 0 36911 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 148536

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1689616/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=148652 CPUtime=1241.98
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21761 0 0 0 124000 198 0 0 25 0 1 0 340101801 152219648 20250 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37163 20250 102 219 0 36940 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 148652

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1689360/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=148884 CPUtime=1301.97
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21830 0 0 0 129995 202 0 0 25 0 1 0 340101801 152457216 20319 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37221 20319 102 219 0 36998 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 148884

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1689232/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=148884 CPUtime=1361.96
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21866 0 0 0 135992 204 0 0 25 0 1 0 340101801 152457216 20355 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37221 20355 102 219 0 36998 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 148884

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31263
/proc/meminfo: memFree=1688848/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=149240 CPUtime=1421.94
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 21961 0 0 0 141981 213 0 0 25 0 1 0 340101801 152821760 20450 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37310 20450 102 219 0 37087 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 149240

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31265
/proc/meminfo: memFree=1688528/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=149240 CPUtime=1481.93
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 22007 0 0 0 147974 219 0 0 25 0 1 0 340101801 152821760 20496 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37310 20496 102 219 0 37087 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 149240

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31265
/proc/meminfo: memFree=1688144/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=149628 CPUtime=1541.91
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 22103 0 0 0 153969 222 0 0 25 0 1 0 340101801 153219072 20592 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37407 20592 102 219 0 37184 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 149628

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31265
/proc/meminfo: memFree=1687632/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=149760 CPUtime=1601.9
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 22226 0 0 0 159962 228 0 0 25 0 1 0 340101801 153354240 20715 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37440 20715 102 219 0 37217 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 149760

[startup+1662.3 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 31265
/proc/meminfo: memFree=1687440/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=149760 CPUtime=1661.88
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 22274 0 0 0 165958 230 0 0 25 0 1 0 340101801 153354240 20763 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37440 20763 102 219 0 37217 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 149760

[startup+1722.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 31265
/proc/meminfo: memFree=1659280/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=150148 CPUtime=1721.86
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 29312 0 0 0 171949 237 0 0 25 0 1 0 340101801 153751552 27801 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37537 27801 102 219 0 37314 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 150148

[startup+1782.3 s]
/proc/loadavg: 1.12 1.02 1.01 2/78 31265
/proc/meminfo: memFree=1658960/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=150444 CPUtime=1781.85
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 29385 0 0 0 177945 240 0 0 25 0 1 0 340101801 154054656 27874 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37611 27874 102 219 0 37388 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 150444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.08 1.01 1.00 2/78 31265
/proc/meminfo: memFree=1658896/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=150444 CPUtime=1800.05
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 29399 0 0 0 179764 241 0 0 25 0 1 0 340101801 154054656 27888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37611 27888 102 219 0 37388 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 150444

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.08 1.01 1.00 2/78 31265
/proc/meminfo: memFree=1658896/2055920 swapFree=4141164/4192956
[pid=31262] ppid=31260 vsize=150444 CPUtime=1800.05
/proc/31262/stat : 31262 (PBS4_SAT07v2) R 31260 31262 30947 0 -1 4194304 29399 0 0 0 179764 241 0 0 25 0 1 0 340101801 154054656 27888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31262/statm: 37611 27888 102 219 0 37388 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 150444

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.08
CPU user time (s): 1797.65
CPU system time (s): 2.43063
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 150444

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

runsolver used 1.39879 second user time and 3.73943 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue May  8 16:10:40 UTC 2007

IDJOB= 458698
IDBENCH= 1843
IDSOLVER= 200
FILE ID= node4/458698-1178640640

PBS_JOBID= 5217824

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458698-1178640640/instance-458698-1178640640.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-458698-1178640640 -o ROOT/results/node4/conversion-458698-1178640640 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458698-1178640640/instance-458698-1178640640.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  8fd497081fcc2923cbeefd2c48cb5010

RANDOM SEED= 524820644

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1771248 kB
Buffers:         36156 kB
Cached:         159132 kB
SwapCached:      14968 kB
Active:          83196 kB
Inactive:       135308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771248 kB
SwapTotal:     4192956 kB
SwapFree:      4141164 kB
Dirty:            2412 kB
Writeback:           0 kB
Mapped:          30152 kB
Slab:            51724 kB
Committed_AS:  9841368 kB
PageTables:       1820 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 node4 on Tue May  8 16:40:43 UTC 2007