Trace number 459803

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.16 1800.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_4.opb
MD5SUMfeead174159765db2806c13d35bd6cbe
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.03
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)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

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

Verifier Data (download as text)

OK	-14

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459803-1178660715/instance-459803-1178660715.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-459803-1178660715 -o ROOT/results/node42/solver-459803-1178660715 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459803-1178660715/instance-459803-1178660715.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.98 3/77 12936
/proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=1780 CPUtime=0
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 244 0 0 0 0 0 0 0 18 0 1 0 313983407 1822720 226 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 445 226 86 219 0 222 0

[startup+0.0288109 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 12936
/proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=2044 CPUtime=0.02
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 310 0 0 0 2 0 0 0 18 0 1 0 313983407 2093056 292 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 511 292 86 219 0 288 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2044

[startup+0.102825 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 12936
/proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=2724 CPUtime=0.09
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 541 0 0 0 9 0 0 0 18 0 1 0 313983407 2789376 490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 681 490 90 219 0 458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2724

[startup+0.301863 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 12936
/proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=2724 CPUtime=0.29
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 541 0 0 0 29 0 0 0 19 0 1 0 313983407 2789376 490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 681 490 90 219 0 458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2724

[startup+0.701939 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 12936
/proc/meminfo: memFree=1486488/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=2856 CPUtime=0.69
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 553 0 0 0 69 0 0 0 22 0 1 0 313983407 2924544 502 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 714 502 90 219 0 491 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2856

[startup+1.50109 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1484624/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=4084 CPUtime=1.49
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 858 0 0 0 149 0 0 0 25 0 1 0 313983407 4182016 807 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 1021 807 102 219 0 798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4084

[startup+3.1014 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1481744/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=11708 CPUtime=3.09
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 2090 0 0 0 308 1 0 0 25 0 1 0 313983407 11988992 1990 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 2927 1990 102 219 0 2704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11708

[startup+6.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1474704/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=20700 CPUtime=6.29
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 3438 0 0 0 626 3 0 0 25 0 1 0 313983407 21196800 3338 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134577250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 5175 3338 102 219 0 4952 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20700

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1465688/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=22700 CPUtime=12.69
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 5594 0 0 0 1262 7 0 0 25 0 1 0 313983407 23244800 5397 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 5675 5397 102 219 0 5452 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22700

[startup+25.5027 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1453976/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=41540 CPUtime=25.48
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 8637 0 0 0 2537 11 0 0 25 0 1 0 313983407 42536960 8247 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 10385 8247 102 219 0 10162 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41540

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1432216/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=76288 CPUtime=51.08
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 14071 0 0 0 5088 20 0 0 25 0 1 0 313983407 78118912 13681 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 19072 13681 102 219 0 18849 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76288

[startup+102.304 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1400088/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=149192 CPUtime=102.25
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 22370 0 0 0 10195 30 0 0 25 0 1 0 313983407 152772608 21595 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 37298 21595 102 219 0 37075 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 149192

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1369752/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=153220 CPUtime=162.23
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 30008 0 0 0 16180 43 0 0 25 0 1 0 313983407 156897280 29233 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 38305 29233 102 219 0 38082 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 153220

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1347800/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=160036 CPUtime=222.21
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 36308 0 0 0 22169 52 0 0 25 0 1 0 313983407 163876864 34665 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 40009 34665 102 219 0 39786 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 160036

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1329304/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=294448 CPUtime=282.19
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 41053 0 0 0 28158 61 0 0 25 0 1 0 313983407 301514752 39278 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 73612 39278 102 219 0 73389 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 294448

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1312024/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=299072 CPUtime=342.17
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 45632 0 0 0 34147 70 0 0 25 0 1 0 313983407 306249728 43527 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 74768 43527 102 219 0 74545 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 299072

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1296920/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=302020 CPUtime=402.15
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 49578 0 0 0 40137 78 0 0 25 0 1 0 313983407 309268480 47275 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 75505 47275 102 219 0 75282 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 302020

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1282968/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=303840 CPUtime=462.14
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 53313 0 0 0 46130 84 0 0 25 0 1 0 313983407 311132160 50779 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 75960 50779 102 219 0 75737 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 303840

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1267352/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=307864 CPUtime=522.11
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 57686 0 0 0 52121 90 0 0 25 0 1 0 313983407 315252736 54723 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 76966 54723 102 219 0 76743 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 307864

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1255384/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=316848 CPUtime=582.1
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 62641 0 0 0 58112 98 0 0 25 0 1 0 313983407 324452352 57712 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547181 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 79212 57712 102 219 0 78989 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 316848

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1242968/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=318680 CPUtime=642.07
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 65847 0 0 0 64102 105 0 0 25 0 1 0 313983407 326328320 60754 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 79670 60754 102 219 0 79447 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 318680


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1226008/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=324772 CPUtime=822.01
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 70944 0 0 0 82082 119 0 0 25 0 1 0 313983407 332566528 64995 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 81193 64995 102 219 0 80970 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 324772

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1213336/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=325740 CPUtime=881.99
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 74223 0 0 0 88075 124 0 0 25 0 1 0 313983407 333557760 68143 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 81435 68143 102 219 0 81212 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 325740

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12937
/proc/meminfo: memFree=1202712/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=330012 CPUtime=941.97
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 77569 0 0 0 94067 130 0 0 25 0 1 0 313983407 337932288 70804 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 82503 70804 102 219 0 82280 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 330012

[startup+1002.3 s]
/proc/loadavg: 1.08 1.00 0.99 2/84 13116
/proc/meminfo: memFree=1192600/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=330740 CPUtime=1001.87
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 79809 0 0 0 100051 136 0 0 25 0 1 0 313983407 338677760 73011 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 82685 73011 102 219 0 82462 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 330740

[startup+1062.3 s]
/proc/loadavg: 1.03 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1183320/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=332676 CPUtime=1061.83
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 82732 0 0 0 106042 141 0 0 25 0 1 0 313983407 340660224 75640 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 83169 75640 102 219 0 82946 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 332676

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1173464/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=335216 CPUtime=1121.81
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 85545 0 0 0 112035 146 0 0 25 0 1 0 313983407 343261184 78061 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 83804 78061 102 219 0 83581 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 335216

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1163096/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=468432 CPUtime=1181.8
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 88317 0 0 0 118025 155 0 0 25 0 1 0 313983407 479674368 80539 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 117108 80539 102 219 0 116885 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 468432

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1161432/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=468952 CPUtime=1241.77
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 88750 0 0 0 124019 158 0 0 25 0 1 0 313983407 480206848 80939 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 117238 80939 102 219 0 117015 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 468952

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1160472/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=469984 CPUtime=1301.76
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 89180 0 0 0 130015 161 0 0 25 0 1 0 313983407 481263616 81174 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 117496 81174 102 219 0 117273 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 469984

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1157592/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=474752 CPUtime=1361.73
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 90824 0 0 0 136008 165 0 0 25 0 1 0 313983407 486146048 81875 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 118688 81875 102 219 0 118465 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 474752

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1156248/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=476064 CPUtime=1421.71
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 91275 0 0 0 142003 168 0 0 25 0 1 0 313983407 487489536 82228 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 119016 82228 102 219 0 118793 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 476064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 3/78 13136
/proc/meminfo: memFree=1155672/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=476708 CPUtime=1481.69
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 91552 0 0 0 147998 171 0 0 25 0 1 0 313983407 488148992 82375 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 119177 82375 102 219 0 118954 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 476708

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1154712/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=477484 CPUtime=1541.67
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 91880 0 0 0 153992 175 0 0 25 0 1 0 313983407 488943616 82605 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 119371 82605 102 219 0 119148 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 477484

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1154264/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=477740 CPUtime=1601.65
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 92065 0 0 0 159988 177 0 0 25 0 1 0 313983407 489205760 82725 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 119435 82725 102 219 0 119212 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 477740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1153048/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=479532 CPUtime=1661.63
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 92821 0 0 0 165984 179 0 0 25 0 1 0 313983407 491040768 83026 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 119883 83026 102 219 0 119660 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 479532

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1152088/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=480776 CPUtime=1721.62
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 93267 0 0 0 171979 183 0 0 25 0 1 0 313983407 492314624 83244 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 120194 83244 102 219 0 119971 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 480776

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1149080/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=483080 CPUtime=1781.59
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 94630 0 0 0 177973 186 0 0 25 0 1 0 313983407 494673920 84020 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 120770 84020 102 219 0 120547 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 483080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 13136
/proc/meminfo: memFree=1145944/2055920 swapFree=4147588/4192956
[pid=12936] ppid=12934 vsize=495888 CPUtime=1800.09
/proc/12936/stat : 12936 (PBS4_SAT07v2) R 12934 12936 12387 0 -1 4194304 98555 0 0 0 179820 189 0 0 25 0 1 0 313983407 507789312 84807 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12936/statm: 123972 84807 102 219 0 123749 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 495888

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.87
CPU time (s): 1800.16
CPU user time (s): 1798.21
CPU system time (s): 1.9457
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 495888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.21
system time used= 1.9457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98558
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= 11
involuntary context switches= 2172

runsolver used 1.49177 second user time and 4.23735 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Tue May  8 21:45:15 UTC 2007

IDJOB= 459803
IDBENCH= 48264
IDSOLVER= 200
FILE ID= node42/459803-1178660715

PBS_JOBID= 5218427

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  feead174159765db2806c13d35bd6cbe

RANDOM SEED= 736635379

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1486896 kB
Buffers:         42084 kB
Cached:         397396 kB
SwapCached:      14624 kB
Active:         152312 kB
Inactive:       312384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1486896 kB
SwapTotal:     4192956 kB
SwapFree:      4147588 kB
Dirty:            2520 kB
Writeback:           0 kB
Mapped:          32236 kB
Slab:            89680 kB
Committed_AS:  7377804 kB
PageTables:       1916 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 node42 on Tue May  8 22:15:18 UTC 2007