Trace number 459751

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)-27 1800.05 1800.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_3.opb
MD5SUM1b4456ec5e57b53956abc30521c99789
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-30
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
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 constraint45
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)6216
Sum of products size (including duplicates)12432
Number of different products3108
Sum of products size6216

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

Verifier Data (download as text)

OK	-27

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459751-1178659131/instance-459751-1178659131.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 8673
/proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=1784 CPUtime=0
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 313831166 1826816 228 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 446 228 86 219 0 223 0

[startup+0.0601 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 8673
/proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=2632 CPUtime=0.05
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 466 0 0 0 5 0 0 0 18 0 1 0 313831166 2695168 448 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 658 448 86 219 0 435 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2632

[startup+0.101103 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 8673
/proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=2896 CPUtime=0.09
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 603 0 0 0 9 0 0 0 18 0 1 0 313831166 2965504 552 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 724 552 102 219 0 501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2896

[startup+0.301124 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 8673
/proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=4688 CPUtime=0.29
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 910 0 0 0 29 0 0 0 19 0 1 0 313831166 4800512 859 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 1172 859 102 219 0 949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4688

[startup+0.701168 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 8673
/proc/meminfo: memFree=1927240/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=6932 CPUtime=0.69
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 1394 0 0 0 69 0 0 0 22 0 1 0 313831166 7098368 1343 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 1733 1343 102 219 0 1510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6932

[startup+1.50125 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1920832/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=11296 CPUtime=1.49
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 2230 0 0 0 148 1 0 0 25 0 1 0 313831166 11567104 2179 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 2824 2179 102 219 0 2601 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11296

[startup+3.10143 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1916160/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=20668 CPUtime=3.09
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 3708 0 0 0 307 2 0 0 25 0 1 0 313831166 21164032 3608 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 5167 3608 102 219 0 4944 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20668

[startup+6.30177 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1907968/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=23476 CPUtime=6.29
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 5614 0 0 0 625 4 0 0 25 0 1 0 313831166 24039424 5417 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 5869 5417 102 219 0 5646 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23476

[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1901440/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=41284 CPUtime=12.69
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 6687 0 0 0 1263 6 0 0 25 0 1 0 313831166 42274816 6490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 10321 6490 102 219 0 10098 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41284

[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1897920/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=44064 CPUtime=25.48
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 7736 0 0 0 2538 10 0 0 25 0 1 0 313831166 45121536 7346 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 11016 7346 102 219 0 10793 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44064

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1895360/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=46908 CPUtime=51.08
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 8748 0 0 0 5091 17 0 0 25 0 1 0 313831166 48033792 7973 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 11727 7973 102 219 0 11504 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46908

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1891200/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=52404 CPUtime=102.26
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 10539 0 0 0 10197 29 0 0 25 0 1 0 313831166 53661696 8995 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 13101 8995 102 219 0 12878 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 52404

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1886848/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=54684 CPUtime=162.25
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 11614 0 0 0 16184 41 0 0 25 0 1 0 313831166 55996416 10070 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 13671 10070 102 219 0 13448 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54684

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1882816/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=62968 CPUtime=222.23
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 14123 0 0 0 22170 53 0 0 25 0 1 0 313831166 64479232 11042 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 15742 11042 102 219 0 15519 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 62968

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1879360/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=64784 CPUtime=282.21
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 14989 0 0 0 28157 64 0 0 25 0 1 0 313831166 66338816 11908 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 16196 11908 102 219 0 15973 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 64784

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 8674
/proc/meminfo: memFree=1875840/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=66924 CPUtime=342.2
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 15844 0 0 0 34149 71 0 0 25 0 1 0 313831166 68530176 12763 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 16731 12763 102 219 0 16508 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 66924

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1872704/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=80916 CPUtime=402.19
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 19673 0 0 0 40137 82 0 0 25 0 1 0 313831166 82857984 13519 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 20229 13519 102 219 0 20006 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 80916

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1869696/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=82816 CPUtime=462.17
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 20396 0 0 0 46127 90 0 0 25 0 1 0 313831166 84803584 14242 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 20704 14242 102 219 0 20481 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 82816

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1866816/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=83748 CPUtime=522.15
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 21106 0 0 0 52116 99 0 0 25 0 1 0 313831166 85757952 14952 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 20937 14952 102 219 0 20714 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 83748

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1863936/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=85124 CPUtime=582.14
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 21806 0 0 0 58109 105 0 0 25 0 1 0 313831166 87166976 15652 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 21281 15652 102 219 0 21058 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 85124

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1861248/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=87488 CPUtime=642.12
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 22454 0 0 0 64099 113 0 0 25 0 1 0 313831166 89587712 16300 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 21872 16300 102 219 0 21649 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 87488


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1851712/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=91664 CPUtime=882.06
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 24747 0 0 0 88065 141 0 0 25 0 1 0 313831166 93863936 18593 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 22916 18593 102 219 0 22693 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 91664

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1849536/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=93280 CPUtime=942.05
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 25279 0 0 0 94057 148 0 0 25 0 1 0 313831166 95518720 19125 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 23320 19125 102 219 0 23097 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 93280

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1847424/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=94792 CPUtime=1002.03
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 25788 0 0 0 100048 155 0 0 25 0 1 0 313831166 97067008 19634 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 23698 19634 102 219 0 23475 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 94792

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1845248/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=119560 CPUtime=1062.01
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 32456 0 0 0 106038 163 0 0 25 0 1 0 313831166 122429440 20157 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 29890 20157 102 219 0 29667 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 119560

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1843328/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=121168 CPUtime=1122
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 32916 0 0 0 112032 168 0 0 25 0 1 0 313831166 124076032 20617 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 30292 20617 102 219 0 30069 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 121168

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1841344/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=121168 CPUtime=1181.98
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 33410 0 0 0 118025 173 0 0 25 0 1 0 313831166 124076032 21111 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 30292 21111 102 219 0 30069 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 121168

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1839168/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=122876 CPUtime=1241.96
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 33886 0 0 0 124017 179 0 0 25 0 1 0 313831166 125825024 21587 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 30719 21587 102 219 0 30496 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 122876

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1837376/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=124692 CPUtime=1301.96
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 34331 0 0 0 130011 185 0 0 25 0 1 0 313831166 127684608 22032 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 31173 22032 102 219 0 30950 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 124692

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8674
/proc/meminfo: memFree=1835584/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=124692 CPUtime=1361.93
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 34753 0 0 0 136003 190 0 0 25 0 1 0 313831166 127684608 22454 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 31173 22454 102 219 0 30950 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 124692

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8676
/proc/meminfo: memFree=1833600/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=124692 CPUtime=1421.92
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 35174 0 0 0 141996 196 0 0 25 0 1 0 313831166 127684608 22875 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 31173 22875 102 219 0 30950 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 124692

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8676
/proc/meminfo: memFree=1831872/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=126812 CPUtime=1481.9
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 35611 0 0 0 147989 201 0 0 25 0 1 0 313831166 129855488 23312 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 31703 23312 102 219 0 31480 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 126812

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8676
/proc/meminfo: memFree=1830208/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=126812 CPUtime=1541.88
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 36024 0 0 0 153982 206 0 0 25 0 1 0 313831166 129855488 23725 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 31703 23725 102 219 0 31480 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 126812

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8676
/proc/meminfo: memFree=1828672/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=128860 CPUtime=1601.87
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 36417 0 0 0 159976 211 0 0 25 0 1 0 313831166 131952640 24118 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 32215 24118 102 219 0 31992 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 128860

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8676
/proc/meminfo: memFree=1827008/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=129052 CPUtime=1661.86
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 36819 0 0 0 165969 217 0 0 25 0 1 0 313831166 132149248 24520 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 32263 24520 102 219 0 32040 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 129052

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8676
/proc/meminfo: memFree=1825344/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=129052 CPUtime=1721.84
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 37225 0 0 0 171962 222 0 0 25 0 1 0 313831166 132149248 24926 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 32263 24926 102 219 0 32040 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 129052

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8676
/proc/meminfo: memFree=1823616/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=131228 CPUtime=1781.82
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 37623 0 0 0 177955 227 0 0 25 0 1 0 313831166 134377472 25324 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 32807 25324 102 219 0 32584 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 131228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 8676
/proc/meminfo: memFree=1823168/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=131228 CPUtime=1800.02
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 37741 0 0 0 179774 228 0 0 25 0 1 0 313831166 134377472 25442 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 32807 25442 102 219 0 32584 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 131228

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: 0.99 0.98 0.99 3/78 8676
/proc/meminfo: memFree=1823168/2055920 swapFree=4143696/4192956
[pid=8673] ppid=8671 vsize=131228 CPUtime=1800.02
/proc/8673/stat : 8673 (PBS4_SAT07v2) R 8671 8673 7705 0 -1 4194304 37741 0 0 0 179774 228 0 0 25 0 1 0 313831166 134377472 25442 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8673/statm: 32807 25442 102 219 0 32584 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 131228

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.05
CPU user time (s): 1797.75
CPU system time (s): 2.30565
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 144140

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

runsolver used 1.61075 second user time and 4.43933 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue May  8 21:18:51 UTC 2007

IDJOB= 459751
IDBENCH= 48212
IDSOLVER= 200
FILE ID= node24/459751-1178659131

PBS_JOBID= 5218412

Free space on /tmp= 66503 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_3.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459751-1178659131/instance-459751-1178659131.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-459751-1178659131 -o ROOT/results/node24/conversion-459751-1178659131 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459751-1178659131/instance-459751-1178659131.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  1b4456ec5e57b53956abc30521c99789

RANDOM SEED= 250731373

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1927712 kB
Buffers:         10052 kB
Cached:          35792 kB
SwapCached:      16852 kB
Active:          55052 kB
Inactive:        16304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1927712 kB
SwapTotal:     4192956 kB
SwapFree:      4143696 kB
Dirty:            2624 kB
Writeback:           0 kB
Mapped:          30760 kB
Slab:            42352 kB
Committed_AS:  7432816 kB
PageTables:       1812 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= 66503 MiB

End job on node24 on Tue May  8 21:48:54 UTC 2007