Trace number 459693

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)5 1800.03 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_3.opb
MD5SUMcdb29f44159b0b72729019e0c0db0b8a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark133.502
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint26
Maximum length of a constraint46
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 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3090
Sum of products size (including duplicates)6180
Number of different products3090
Sum of products size6180

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

Verifier Data (download as text)

OK	5

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459693-1178658308/instance-459693-1178658308.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 8963
/proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=1768 CPUtime=0
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 237 0 0 0 0 0 0 0 18 0 1 0 341868512 1810432 219 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 442 219 86 219 0 219 0

[startup+0.0885899 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 8963
/proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=2608 CPUtime=0.08
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 514 0 0 0 8 0 0 0 18 0 1 0 341868512 2670592 463 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 652 463 101 219 0 429 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2608

[startup+0.101591 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 8963
/proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=2740 CPUtime=0.09
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 529 0 0 0 9 0 0 0 18 0 1 0 341868512 2805760 478 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 685 479 101 219 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2740

[startup+0.301615 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 8963
/proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=2880 CPUtime=0.29
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 594 0 0 0 29 0 0 0 20 0 1 0 341868512 2949120 543 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 720 543 102 219 0 497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2880

[startup+0.701663 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 8963
/proc/meminfo: memFree=1528952/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=3016 CPUtime=0.69
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 627 0 0 0 69 0 0 0 24 0 1 0 341868512 3088384 576 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 754 576 102 219 0 531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3016

[startup+1.50175 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1526960/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=3468 CPUtime=1.49
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 690 0 0 0 148 1 0 0 25 0 1 0 341868512 3551232 639 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 867 639 102 219 0 644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3468

[startup+3.10194 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1526448/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=4684 CPUtime=3.09
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 958 0 0 0 308 1 0 0 25 0 1 0 341868512 4796416 907 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 1171 907 102 219 0 948 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4684

[startup+6.30132 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1524912/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=6024 CPUtime=6.29
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 1187 0 0 0 627 2 0 0 25 0 1 0 341868512 6168576 1087 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 1506 1087 102 219 0 1283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6024

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1523888/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=6304 CPUtime=12.69
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 1416 0 0 0 1266 3 0 0 25 0 1 0 341868512 6455296 1316 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 1576 1316 102 219 0 1353 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6304

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1521776/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=9904 CPUtime=25.49
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 2037 0 0 0 2543 6 0 0 25 0 1 0 341868512 10141696 1840 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 2476 1840 102 219 0 2253 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9904

[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1520176/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=11492 CPUtime=51.08
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 2613 0 0 0 5097 11 0 0 25 0 1 0 341868512 11767808 2223 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 2873 2223 102 219 0 2650 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11492

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1517168/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=16844 CPUtime=102.27
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 3359 0 0 0 10207 20 0 0 25 0 1 0 341868512 17248256 2969 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 4211 2969 102 219 0 3988 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16844

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1514800/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=19588 CPUtime=162.25
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 4347 0 0 0 16194 31 0 0 25 0 1 0 341868512 20058112 3572 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560663 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 4897 3572 102 219 0 4674 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19588

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1512432/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=20488 CPUtime=222.23
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 4932 0 0 0 22181 42 0 0 25 0 1 0 341868512 20979712 4157 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 5122 4157 102 219 0 4899 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20488

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1509744/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=24580 CPUtime=282.22
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 6352 0 0 0 28169 53 0 0 25 0 1 0 341868512 25169920 4808 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 6145 4808 102 219 0 5922 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 24580

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1507056/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=33560 CPUtime=342.2
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 7032 0 0 0 34157 63 0 0 25 0 1 0 341868512 34365440 5488 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 8390 5488 102 219 0 8167 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 33560

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1504752/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=34680 CPUtime=402.18
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 7614 0 0 0 40147 71 0 0 25 0 1 0 341868512 35512320 6070 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 8670 6070 102 219 0 8447 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 34680

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1502320/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=35404 CPUtime=462.16
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 8247 0 0 0 46137 79 0 0 25 0 1 0 341868512 36253696 6703 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544690 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 8851 6703 102 219 0 8628 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 35404

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1500016/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=36540 CPUtime=522.15
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 8814 0 0 0 52128 87 0 0 25 0 1 0 341868512 37416960 7270 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 9135 7270 102 219 0 8912 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 36540

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1498096/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=37432 CPUtime=582.13
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 9304 0 0 0 58118 95 0 0 25 0 1 0 341868512 38330368 7760 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 9358 7760 102 219 0 9135 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 37432

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1495984/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=38152 CPUtime=642.13
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 9814 0 0 0 64110 103 0 0 25 0 1 0 341868512 39067648 8270 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 9538 8270 102 219 0 9315 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 38152


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1488688/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=63112 CPUtime=882.06
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 13173 0 0 0 88071 135 0 0 25 0 1 0 341868512 64626688 10092 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 15778 10092 102 219 0 15555 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 63112

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1486896/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=63752 CPUtime=942.04
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 13612 0 0 0 94063 141 0 0 25 0 1 0 341868512 65282048 10531 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 15938 10531 102 219 0 15715 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 63752

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1485232/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=64248 CPUtime=1002.02
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 14060 0 0 0 100053 149 0 0 25 0 1 0 341868512 65789952 10979 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 16062 10979 102 219 0 15839 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 64248

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1483632/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=65084 CPUtime=1062
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 14465 0 0 0 106044 156 0 0 25 0 1 0 341868512 66646016 11384 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 16271 11384 102 219 0 16048 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 65084

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1482032/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=65636 CPUtime=1121.99
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 14857 0 0 0 112035 164 0 0 25 0 1 0 341868512 67211264 11776 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 16409 11776 102 219 0 16186 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 65636

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1480176/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=66596 CPUtime=1181.97
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 15317 0 0 0 118028 169 0 0 25 0 1 0 341868512 68194304 12236 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 16649 12236 102 219 0 16426 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 66596

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1478256/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=67148 CPUtime=1241.96
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 15783 0 0 0 124020 176 0 0 25 0 1 0 341868512 68759552 12702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 16787 12702 102 219 0 16564 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 67148

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1476272/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=67880 CPUtime=1301.94
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 16281 0 0 0 130011 183 0 0 25 0 1 0 341868512 69509120 13200 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 16970 13200 102 219 0 16747 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 67880

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1474672/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=68400 CPUtime=1361.93
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 16681 0 0 0 136003 190 0 0 25 0 1 0 341868512 70041600 13600 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 17100 13600 102 219 0 16877 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 68400

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1472944/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=69320 CPUtime=1421.91
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 17101 0 0 0 141995 196 0 0 25 0 1 0 341868512 70983680 14020 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 17330 14020 102 219 0 17107 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 69320

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1471216/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=70000 CPUtime=1481.9
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 17550 0 0 0 147986 204 0 0 25 0 1 0 341868512 71680000 14469 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 17500 14469 102 219 0 17277 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 70000

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1469808/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=70376 CPUtime=1541.87
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 17889 0 0 0 153977 210 0 0 25 0 1 0 341868512 72065024 14808 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 17594 14808 102 219 0 17371 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 70376

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1468016/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=71200 CPUtime=1601.86
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 18332 0 0 0 159970 216 0 0 25 0 1 0 341868512 72908800 15251 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 17800 15251 102 219 0 17577 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 71200

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1466608/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=71920 CPUtime=1661.84
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 18691 0 0 0 165961 223 0 0 25 0 1 0 341868512 73646080 15610 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 17980 15610 102 219 0 17757 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 71920

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1464816/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=72552 CPUtime=1721.83
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 19143 0 0 0 171954 229 0 0 25 0 1 0 341868512 74293248 16062 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 18138 16062 102 219 0 17915 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 72552

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1463344/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=72872 CPUtime=1781.81
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 19493 0 0 0 177946 235 0 0 25 0 1 0 341868512 74620928 16412 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 18218 16412 102 219 0 17995 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 72872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 8964
/proc/meminfo: memFree=1462832/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=72872 CPUtime=1800.01
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 19626 0 0 0 179765 236 0 0 25 0 1 0 341868512 74620928 16545 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 18218 16545 102 219 0 17995 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 72872

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.97 0.96 2/78 8964
/proc/meminfo: memFree=1462832/2055924 swapFree=4146632/4192956
[pid=8963] ppid=8961 vsize=72872 CPUtime=1800.01
/proc/8963/stat : 8963 (PBS4_SAT07v2) R 8961 8963 8273 0 -1 4194304 19626 0 0 0 179765 236 0 0 25 0 1 0 341868512 74620928 16545 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8963/statm: 18218 16545 102 219 0 17995 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 72872

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1797.65
CPU system time (s): 2.38064
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 72872

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

runsolver used 1.39379 second user time and 4.10837 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Tue May  8 21:05:08 UTC 2007

IDJOB= 459693
IDBENCH= 48154
IDSOLVER= 200
FILE ID= node6/459693-1178658308

PBS_JOBID= 5218009

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/mds/normalized-mds_100_25_3.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459693-1178658308/instance-459693-1178658308.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-459693-1178658308 -o ROOT/results/node6/conversion-459693-1178658308 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459693-1178658308/instance-459693-1178658308.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  cdb29f44159b0b72729019e0c0db0b8a

RANDOM SEED= 868896111

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1529424 kB
Buffers:         49292 kB
Cached:         377836 kB
SwapCached:      13920 kB
Active:         240268 kB
Inactive:       211344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1529424 kB
SwapTotal:     4192956 kB
SwapFree:      4146632 kB
Dirty:            2484 kB
Writeback:           0 kB
Mapped:          31416 kB
Slab:            60496 kB
Committed_AS: 12614836 kB
PageTables:       1784 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 node6 on Tue May  8 21:35:11 UTC 2007