Trace number 459695

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)6 1800.08 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_2.opb
MD5SUM1e64c526f9351931db225cdff75c2df5
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 benchmark70.5713
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)3074
Sum of products size (including duplicates)6148
Number of different products3074
Sum of products size6148

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

Verifier Data (download as text)

OK	6

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459695-1178658327/instance-459695-1178658327.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26372
/proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=1768 CPUtime=0
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 237 0 0 0 0 0 0 0 18 0 1 0 220677829 1810432 219 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 442 219 86 219 0 219 0

[startup+0.0571501 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26372
/proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=2464 CPUtime=0.05
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 446 0 0 0 5 0 0 0 18 0 1 0 220677829 2523136 395 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 616 395 86 219 0 393 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2464

[startup+0.101153 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26372
/proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=2740 CPUtime=0.09
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 220677829 2805760 477 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 685 477 101 219 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2740

[startup+0.301171 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26372
/proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=3016 CPUtime=0.29
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 596 0 0 0 29 0 0 0 19 0 1 0 220677829 3088384 545 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 754 545 102 219 0 531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3016

[startup+0.701207 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26372
/proc/meminfo: memFree=1553744/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=3016 CPUtime=0.69
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 610 0 0 0 69 0 0 0 22 0 1 0 220677829 3088384 559 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 754 559 102 219 0 531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3016

[startup+1.50128 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1551880/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=3468 CPUtime=1.49
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 668 0 0 0 149 0 0 0 25 0 1 0 220677829 3551232 617 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 867 617 102 219 0 644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3468

[startup+3.10142 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1551304/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=3980 CPUtime=3.09
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 756 0 0 0 309 0 0 0 25 0 1 0 220677829 4075520 705 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 995 705 102 219 0 772 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3980

[startup+6.30171 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1550664/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=5316 CPUtime=6.29
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 966 0 0 0 628 1 0 0 25 0 1 0 220677829 5443584 866 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 1329 866 102 219 0 1106 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5316

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1549464/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=5600 CPUtime=12.69
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 1224 0 0 0 1267 2 0 0 25 0 1 0 220677829 5734400 1124 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 1400 1124 102 219 0 1177 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5600

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1546456/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=9668 CPUtime=25.48
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 2077 0 0 0 2544 4 0 0 25 0 1 0 220677829 9900032 1880 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 2417 1880 102 219 0 2194 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9668

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1544728/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=11552 CPUtime=51.07
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 2689 0 0 0 5098 9 0 0 25 0 1 0 220677829 11829248 2299 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 2888 2299 102 219 0 2665 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11552

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1542872/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=12528 CPUtime=102.27
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 3146 0 0 0 10208 19 0 0 25 0 1 0 220677829 12828672 2756 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 3132 2756 102 219 0 2909 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12528

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1540120/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=18928 CPUtime=162.25
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 4224 0 0 0 16194 31 0 0 25 0 1 0 220677829 19382272 3449 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 4732 3449 102 219 0 4509 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18928

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1536216/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=20352 CPUtime=222.24
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 5192 0 0 0 22184 40 0 0 25 0 1 0 220677829 20840448 4417 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 5088 4417 102 219 0 4865 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 20352

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1533144/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=32964 CPUtime=282.22
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 6724 0 0 0 28172 50 0 0 25 0 1 0 220677829 33755136 5180 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 8241 5180 102 219 0 8018 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 32964

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26373
/proc/meminfo: memFree=1530328/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=33752 CPUtime=342.21
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 7432 0 0 0 34164 57 0 0 25 0 1 0 220677829 34562048 5888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 8438 5888 102 219 0 8215 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 33752

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1527704/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=34708 CPUtime=402.19
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 8089 0 0 0 40153 66 0 0 25 0 1 0 220677829 35540992 6545 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 8677 6545 102 219 0 8454 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 34708

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1525464/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=35664 CPUtime=462.17
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 8650 0 0 0 46143 74 0 0 25 0 1 0 220677829 36519936 7106 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 8916 7106 102 219 0 8693 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 35664

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1522968/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=36548 CPUtime=522.16
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 9289 0 0 0 52134 82 0 0 25 0 1 0 220677829 37425152 7745 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 9137 7745 102 219 0 8914 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 36548

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1520664/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=37316 CPUtime=582.15
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 9849 0 0 0 58125 90 0 0 25 0 1 0 220677829 38211584 8305 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 9329 8305 102 219 0 9106 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 37316

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1518232/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=38276 CPUtime=642.14
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 10445 0 0 0 64117 97 0 0 25 0 1 0 220677829 39194624 8901 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 9569 8901 102 219 0 9346 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 38276


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1510552/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=64036 CPUtime=882.07
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 13901 0 0 0 88084 123 0 0 25 0 1 0 220677829 65572864 10820 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 16009 10820 102 219 0 15786 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 64036

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1508760/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=64572 CPUtime=942.06
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 14345 0 0 0 94077 129 0 0 25 0 1 0 220677829 66121728 11264 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 16143 11264 102 219 0 15920 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 64572

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1506968/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=65460 CPUtime=1002.04
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 14799 0 0 0 100069 135 0 0 25 0 1 0 220677829 67031040 11718 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 16365 11718 102 219 0 16142 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 65460

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1505176/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=66244 CPUtime=1062.04
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 15243 0 0 0 106062 142 0 0 25 0 1 0 220677829 67833856 12162 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 16561 12162 102 219 0 16338 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 66244

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1503896/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=66924 CPUtime=1122.02
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 15575 0 0 0 112054 148 0 0 25 0 1 0 220677829 68530176 12494 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 16731 12494 102 219 0 16508 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 66924

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1502296/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=67344 CPUtime=1182.01
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 15960 0 0 0 118048 153 0 0 25 0 1 0 220677829 68960256 12879 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 16836 12879 102 219 0 16613 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 67344

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1500632/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=68016 CPUtime=1241.99
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 16411 0 0 0 124041 158 0 0 25 0 1 0 220677829 69648384 13297 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 17004 13297 102 219 0 16781 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 68016

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1498968/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=68644 CPUtime=1301.98
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 16813 0 0 0 130035 163 0 0 25 0 1 0 220677829 70291456 13699 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 17161 13699 102 219 0 16938 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 68644

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1497496/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=69220 CPUtime=1361.96
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 17221 0 0 0 136026 170 0 0 25 0 1 0 220677829 70881280 14074 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 17305 14074 102 219 0 17082 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 69220

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1495832/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=69672 CPUtime=1421.94
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 17650 0 0 0 142018 176 0 0 25 0 1 0 220677829 71344128 14503 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 17418 14503 102 219 0 17195 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 69672

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1494552/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=70268 CPUtime=1481.93
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 17960 0 0 0 148011 182 0 0 25 0 1 0 220677829 71954432 14813 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 17567 14813 102 219 0 17344 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 70268

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1493272/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=70652 CPUtime=1541.92
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 18270 0 0 0 154004 188 0 0 25 0 1 0 220677829 72347648 15123 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 17663 15123 102 219 0 17440 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 70652

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26375
/proc/meminfo: memFree=1491928/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=70956 CPUtime=1601.9
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 18609 0 0 0 159997 193 0 0 25 0 1 0 220677829 72658944 15462 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 17739 15462 102 219 0 17516 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 70956

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 26375
/proc/meminfo: memFree=1490648/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=71652 CPUtime=1661.89
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 18979 0 0 0 165989 200 0 0 25 0 1 0 220677829 73371648 15832 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 17913 15832 102 219 0 17690 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 71652

[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 26375
/proc/meminfo: memFree=1489112/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=72180 CPUtime=1721.88
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 19396 0 0 0 171981 207 0 0 25 0 1 0 220677829 73912320 16216 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 18045 16216 102 219 0 17822 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 72180

[startup+1782.3 s]
/proc/loadavg: 1.12 1.05 1.01 2/65 26375
/proc/meminfo: memFree=1487576/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=72568 CPUtime=1781.86
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 19767 0 0 0 177974 212 0 0 25 0 1 0 220677829 74309632 16587 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 18142 16587 102 219 0 17919 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 72568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.09 1.04 1.00 2/65 26375
/proc/meminfo: memFree=1487064/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=73144 CPUtime=1800.05
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 19885 0 0 0 179791 214 0 0 25 0 1 0 220677829 74899456 16705 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 18286 16705 102 219 0 18063 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 73144

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

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

[startup+1800.5 s]
/proc/loadavg: 1.09 1.04 1.00 2/65 26375
/proc/meminfo: memFree=1487064/2055920 swapFree=4183364/4192956
[pid=26372] ppid=26370 vsize=73144 CPUtime=1800.05
/proc/26372/stat : 26372 (PBS4_SAT07v2) R 26370 26372 25826 0 -1 4194304 19885 0 0 0 179791 214 0 0 25 0 1 0 220677829 74899456 16705 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26372/statm: 18286 16705 102 219 0 18063 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 73144

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1797.92
CPU system time (s): 2.16067
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 73144

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

runsolver used 1.23381 second user time and 3.69044 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue May  8 21:05:27 UTC 2007

IDJOB= 459695
IDBENCH= 48156
IDSOLVER= 200
FILE ID= node51/459695-1178658327

PBS_JOBID= 5218428

Free space on /tmp= 66562 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  1e64c526f9351931db225cdff75c2df5

RANDOM SEED= 396659612

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1554216 kB
Buffers:         39452 kB
Cached:         339608 kB
SwapCached:       3644 kB
Active:         112812 kB
Inactive:       275952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1554216 kB
SwapTotal:     4192956 kB
SwapFree:      4183364 kB
Dirty:            2472 kB
Writeback:           0 kB
Mapped:          15764 kB
Slab:            98968 kB
Committed_AS:  8761988 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node51 on Tue May  8 21:35:30 UTC 2007