Trace number 459782

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)-14 1800.15 1800.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_1.opb
MD5SUMfd0cd32338d58e5da2d0a0f96e14ad7d
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-16
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 -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

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

Verifier Data (download as text)

OK	-14

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459782-1178660131/instance-459782-1178660131.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 26430
/proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=1776 CPUtime=0
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 220858254 1818624 225 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 444 225 86 219 0 221 0

[startup+0.015294 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 26430
/proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=1912 CPUtime=0.01
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 279 0 0 0 1 0 0 0 18 0 1 0 220858254 1957888 261 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 478 262 86 219 0 255 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1912

[startup+0.101301 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 26430
/proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=2720 CPUtime=0.09
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 538 0 0 0 9 0 0 0 18 0 1 0 220858254 2785280 487 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 680 487 90 219 0 457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2720

[startup+0.301319 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 26430
/proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=2720 CPUtime=0.29
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 539 0 0 0 29 0 0 0 19 0 1 0 220858254 2785280 488 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 680 488 90 219 0 457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2720

[startup+0.701355 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 26430
/proc/meminfo: memFree=1553568/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=2852 CPUtime=0.69
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 587 0 0 0 69 0 0 0 23 0 1 0 220858254 2920448 536 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 713 536 102 219 0 490 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2852

[startup+1.50143 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 26431
/proc/meminfo: memFree=1551832/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=3756 CPUtime=1.49
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 766 0 0 0 149 0 0 0 25 0 1 0 220858254 3846144 715 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 939 715 102 219 0 716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3756

[startup+3.10157 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 26431
/proc/meminfo: memFree=1549272/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=11444 CPUtime=3.09
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 2021 0 0 0 308 1 0 0 25 0 1 0 220858254 11718656 1921 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 2861 1921 102 219 0 2638 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11444

[startup+6.30186 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 26431
/proc/meminfo: memFree=1542680/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=12248 CPUtime=6.29
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 2891 0 0 0 627 2 0 0 25 0 1 0 220858254 12541952 2791 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 3062 2791 102 219 0 2839 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12248

[startup+12.7014 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 26431
/proc/meminfo: memFree=1536728/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=22328 CPUtime=12.69
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 4729 0 0 0 1265 4 0 0 25 0 1 0 220858254 22863872 4532 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 5582 4532 102 219 0 5359 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22328

[startup+25.5016 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 26431
/proc/meminfo: memFree=1523800/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=41408 CPUtime=25.48
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 7968 0 0 0 2538 10 0 0 25 0 1 0 220858254 42401792 7578 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 10352 7578 102 219 0 10129 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41408

[startup+51.1019 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 26431
/proc/meminfo: memFree=1502040/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=77192 CPUtime=51.08
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 13415 0 0 0 5088 20 0 0 25 0 1 0 220858254 79044608 13025 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 19298 13025 102 219 0 19075 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 77192

[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 26431
/proc/meminfo: memFree=1468248/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=148016 CPUtime=102.27
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 22125 0 0 0 10194 33 0 0 25 0 1 0 220858254 151568384 21350 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 37004 21350 102 219 0 36781 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 148016

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 26431
/proc/meminfo: memFree=1440152/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=153168 CPUtime=162.26
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 29180 0 0 0 16182 44 0 0 25 0 1 0 220858254 156844032 28405 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 38292 28405 102 219 0 38069 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 153168

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1417112/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=159276 CPUtime=222.24
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 35635 0 0 0 22170 54 0 0 25 0 1 0 220858254 163098624 34091 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 39819 34091 102 219 0 39596 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 159276

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1397464/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=164400 CPUtime=282.22
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 40725 0 0 0 28159 63 0 0 25 0 1 0 220858254 168345600 39016 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 41100 39016 102 219 0 40877 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 164400

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1379480/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=296920 CPUtime=342.21
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 45178 0 0 0 34149 72 0 0 25 0 1 0 220858254 304046080 43436 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 74230 43437 102 219 0 74007 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 296920

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1361368/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=300312 CPUtime=402.19
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 50116 0 0 0 40140 79 0 0 25 0 1 0 220858254 307519488 48011 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 75078 48011 102 219 0 74855 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 300312

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1351960/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=303512 CPUtime=462.18
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 52661 0 0 0 46135 83 0 0 25 0 1 0 220858254 310796288 50259 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 75878 50259 102 219 0 75655 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 303512

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1342616/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=305832 CPUtime=522.16
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 55357 0 0 0 52127 89 0 0 25 0 1 0 220858254 313171968 52658 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 76458 52658 102 219 0 76235 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 305832

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1328792/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=314316 CPUtime=582.15
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 60569 0 0 0 58119 96 0 0 25 0 1 0 220858254 321859584 56036 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 78579 56036 102 219 0 78356 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 314316

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1314712/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=317832 CPUtime=642.14
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 64499 0 0 0 64112 102 0 0 25 0 1 0 220858254 325459968 59538 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 79458 59538 102 219 0 79235 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 317832


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1282456/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=323032 CPUtime=822.09
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 73407 0 0 0 82091 118 0 0 25 0 1 0 220858254 330784768 67591 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 80758 67591 102 219 0 80535 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 323032

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1271768/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=324244 CPUtime=882.08
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 76188 0 0 0 88084 124 0 0 25 0 1 0 220858254 332025856 70241 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 81061 70241 102 219 0 80838 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 324244

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26431
/proc/meminfo: memFree=1260632/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=325412 CPUtime=942.06
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 79132 0 0 0 94078 128 0 0 25 0 1 0 220858254 333221888 73021 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550343 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 81353 73021 102 219 0 81130 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 325412

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1250200/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=326508 CPUtime=1002.04
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 81788 0 0 0 100072 132 0 0 25 0 1 0 220858254 334344192 75644 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 81627 75644 102 219 0 81404 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 326508

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1240664/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=328652 CPUtime=1062.04
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 84310 0 0 0 106067 137 0 0 25 0 1 0 220858254 336539648 78001 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 82163 78001 102 219 0 81940 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 328652

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1231384/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=461912 CPUtime=1122.02
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 86961 0 0 0 112058 144 0 0 25 0 1 0 220858254 472997888 80195 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 115478 80195 102 219 0 115255 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 461912

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1221336/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=464312 CPUtime=1182.01
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 89901 0 0 0 118052 149 0 0 25 0 1 0 220858254 475455488 82777 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 116078 82777 102 219 0 115855 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 464312

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1212440/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=466888 CPUtime=1241.99
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 92529 0 0 0 124046 153 0 0 25 0 1 0 220858254 478093312 84916 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 116722 84916 102 219 0 116499 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 466888

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1203608/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=468140 CPUtime=1301.98
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 94840 0 0 0 130040 158 0 0 25 0 1 0 220858254 479375360 87128 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 117035 87128 102 219 0 116812 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 468140

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26431
/proc/meminfo: memFree=1195800/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=470196 CPUtime=1361.96
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 97167 0 0 0 136035 161 0 0 25 0 1 0 220858254 481480704 89063 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 117549 89063 102 219 0 117326 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 470196

[startup+1422.31 s]
/proc/loadavg: 1.09 1.03 1.01 2/65 26431
/proc/meminfo: memFree=1187288/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=472000 CPUtime=1421.95
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 99481 0 0 0 142030 165 0 0 25 0 1 0 220858254 483328000 91149 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 118000 91149 102 219 0 117777 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 472000

[startup+1482.3 s]
/proc/loadavg: 1.07 1.03 1.01 2/65 26431
/proc/meminfo: memFree=1179160/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=474820 CPUtime=1481.94
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 102272 0 0 0 148025 169 0 0 25 0 1 0 220858254 486215680 93257 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 118705 93257 102 219 0 118482 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 474820

[startup+1542.3 s]
/proc/loadavg: 1.09 1.05 1.01 2/71 26513
/proc/meminfo: memFree=1169896/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=476356 CPUtime=1541.9
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 104476 0 0 0 154018 172 0 0 25 0 1 0 220858254 487788544 95233 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 119089 95233 102 219 0 118866 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 476356

[startup+1602.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 26629
/proc/meminfo: memFree=1164120/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=477776 CPUtime=1601.81
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 106389 0 0 0 160005 176 0 0 25 0 1 0 220858254 489242624 96918 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 119444 96918 102 219 0 119221 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 477776

[startup+1662.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 26629
/proc/meminfo: memFree=1155672/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=479072 CPUtime=1661.8
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 108700 0 0 0 166000 180 0 0 25 0 1 0 220858254 490569728 99065 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 119768 99065 102 219 0 119545 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 479072

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 26629
/proc/meminfo: memFree=1149272/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=479844 CPUtime=1721.78
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 110455 0 0 0 171995 183 0 0 25 0 1 0 220858254 491360256 100689 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 119961 100689 102 219 0 119738 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 479844

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 26629
/proc/meminfo: memFree=1142872/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=480620 CPUtime=1781.77
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 112131 0 0 0 177991 186 0 0 25 0 1 0 220858254 492154880 102267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 120155 102267 102 219 0 119932 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 480620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 26629
/proc/meminfo: memFree=1140632/2055920 swapFree=4183364/4192956
[pid=26430] ppid=26428 vsize=480880 CPUtime=1800.08
/proc/26430/stat : 26430 (PBS4_SAT07v2) R 26428 26430 25826 0 -1 4194304 112686 0 0 0 179820 188 0 0 25 0 1 0 220858254 492421120 102822 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26430/statm: 120220 102822 102 219 0 119997 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 480880

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

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

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.15
CPU user time (s): 1798.2
CPU system time (s): 1.9497
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 480880

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

runsolver used 1.15982 second user time and 3.81642 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue May  8 21:35:31 UTC 2007

IDJOB= 459782
IDBENCH= 48243
IDSOLVER= 200
FILE ID= node51/459782-1178660131

PBS_JOBID= 5218428

Free space on /tmp= 66562 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  fd0cd32338d58e5da2d0a0f96e14ad7d

RANDOM SEED= 628305165

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1554040 kB
Buffers:         39508 kB
Cached:         339688 kB
SwapCached:       3644 kB
Active:         113256 kB
Inactive:       275856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1554040 kB
SwapTotal:     4192956 kB
SwapFree:      4183364 kB
Dirty:            2500 kB
Writeback:           0 kB
Mapped:          15972 kB
Slab:            98832 kB
Committed_AS:  8762272 kB
PageTables:       1408 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 node51 on Tue May  8 22:05:34 UTC 2007