Trace number 2083994

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
Choco2.1.1 2009-06-10SAT 1233.21 1233.75

DiagnosticValue
CHECKS0
NODES39630

General information on the benchmark

Namecsp/fapp/fapp29/
normalized-fapp29-2900-10.xml
MD5SUMca469f3f7e98ebe7c882bce7bb3fd65e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark46.7669
Satisfiable
(Un)Satisfiability was proved
Number of variables2900
Number of constraints67898
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension67898
Global constraints used (with number of constraints)

Solver Data

1233.05/1233.64	s SATISFIABLE
1233.05/1233.64	v 2136 1280 1880 1436 -1616 -1872 1308 1396 1780 1884 1932 1514 2084 1886 2176 1592 -1618 2118 1516 1846 1742 1404 2086 1728 1966 2018 1330 1382 1798 1740 1728 1428 2154 1632 2154 1514 1518 2048 1614 2050 1732 1364 1780 1388 1804 1728 2122 1978 1594 1654 1780 1600 1554 2046 2136 1712 1702 2194 2002 2010 2054 1936 1606 1964 1784 1972 1686 1390 1584 2182 1846 2018 1634 2184 2162 -1220 1634 -1576 -1814 1280 1620 1740 -1734 1886 2176 1976 1694 1804 1572 1514 2196 1518 1742 1514 1292 1952 1864 1670 1960 1226 2084 2132 1556 2062 2078 2144 -1964 2044 1388 1290 -1630 1810 1924 1632 1952 -1532 1234 1638 2046 1432 1382 1342 1976 1442 -1354 1924 1594 -1686 2082 1514 -1734 -1236 -1512 1382 1592 1688 1592 1246 1780 2154 1932 1976 1740 -1870 2048 1980 -1860 -1354 1668 2054 2086 2010 2008 2018 1590 1886 -1472 1886 1718 2086 1290 2046 1554 1396 2046 1396 1966 1740 2094 1886 1970 1846 1654 1746 -1880 2098 -1332 1694 1518 1690 1288 2044 1324 1348 2136 1850 -1290 1528 1798 2054 1692 1726 1342 1798 2080 2054 1804 2084 1382 1746 1832 -1976 2018 1572 1688 1432 2182 1404 -1320 2054 1930 2096 1382 1616 1594 1798 -1532 1706 -1534 1632 -1236 -1924 2094 -1588 -1532 1886 1850 1382 2184 2050 2094 1612 2086 1666 1632 1266 1328 1838 1846 -1578 1568 1288 1642 1790 1556 2004 1700 2046 1942 1838 1496 1728 1516 2142 2176 1388 1886 1532 1964 1898 1260 1582 2120 1640 1886 1448 1700 1672 2018 1686 2020 1476 2014 1688 2084 1706 1328 1634 1884 1926 1594 1226 -1426 1634 -1684 1926 1404 1574 1612 1328 1364 2130 1924 2048 1924 1782 1388 2142 2056 -1718 2046 2094 -1624 1270 1348 2084 2194 1978 1644 -1516 1810 1632 1822 -1664 2044 1594 -1884 2118 2080 1982 2020 2084 1288 1740 1632 2054 1552 -2022 1702 1396 1850 1520 1386 1476 -1976 2020 1654 1686 2032 1396 1968 2094 -2204 1846 1644 1926 -2118 2054 2078 2156 1572 2046 2046 1244 -1694 1514 1936 2124 1594 2144 2008 1728 1982 1554 1688 2054 1560 1404 1846 -1600 1612 2096 2144 1634 1706 1976 -1324 1924 -1222 2054 1702 1728 1906 1850 1646 1514 1526 2054 1330 2046 2086 1654 1992 1672 1632 2122 1572 -1242 2182 1672 1886 2052 1886 -2014 2044 -2026 -1980 1886 1886 1592 -1630 1594 2136 1922 1936 1822 1436 1780 1702 -1806 1632 1802 1632 1436 1740 -1402 2196 2096 2196 -1614 1646 2054 1694 2176 1476 2054 1850 1432 2046 -1626 1572 1616 2014 2176 1552 1428 1436 1364 1594 -1740 1656 1712 1594 1886 1604 1926 1428 1706 1388 1746 1572 -1868 1290 1846 1948 1388 1558 1290 1986 1496 1594 2156 2040 1936 2156 -1682 1926 2120 -1284 2142 1364 2084 1964 2184 -1576 1262 1780 1780 1648 2048 1612 2090 1780 2008 2144 -1260 1388 1594 2054 -1530 -1734 1428 2084 -1876 1924 -1830 1558 1540 1686 1764 1732 1324 1968 2194 1672 1552 -1680 1804 2086 1976 1404 1642 1746 1886 1346 2086 1456 2050 2094 -2102 1946 2038 1554 1514 2120 1850 1706 2184 1732 -2212 2014 1688 1886 1260 2168 2054 1286 1846 -1260 2078 1290 1742 2090 2176 1544 1938 2046 1516 1690 -1766 1572 1772 1388 -2088 1686 -1778 1672 1786 1706 1222 1976 1616 1320 2094 1886 -1768 2214 2194 1640 1436 1288 2044 -2018 1688 1712 1974 1882 1492 1634 2084 2182 1656 -1576 1262 -1798 2136 1290 -1596 2046 2054 1224 2094 1404 1654 2084 1940 -1272 1590 1330 1290 1846 1742 1972 1518 2196 1476 1976 1480 2056 1472 1586 1938 1862 2078 1396 2184 1616 2094 1742 2046 1780 1632 1922 1742 1688 1630 2136 1516 2026 1850 -2148 1906 1764 1624 1764 1556 1936 1382 1388 1846 2184 1388 2044 1924 1586 1968 1686 1654 1780 1348 1612 1740 1740 1480 2044 1288 1630 2044 1456 1728 1348 1924 1554 1846 1396 1478 1656 1732 -1324 -1654 1718 1436 1804 1290 1492 1514 2096 1342 1518 2184 1604 2056 2130 1330 2122 1328 1276 2086 1428 1428 2142 1378 -1600 2142 1388 1616 2054 2086 2046 2184 1956 2118 1634 1976 2176 1846 1862 2080 -1632 1332 1342 -2108 1436 -1362 1694 1800 1396 1500 2196 -1240 2050 1726 -1426 1558 1554 2008 1518 -1576 1572 1726 1924 2008 1554 1790 1452 1728 1964 -1772 1516 1572 2056 1712 2086 2094 1700 2054 1706 2056 1502 1244 1634 2084 1730 1692 -1732 1518 1886 1314 2092 1692 1314 1828 1330 1832 1886 -1254 -1428 1554 1612 1710 1612 1290 1388 1678 1740 -1836 2136 1706 2044 1428 1694 2046 1596 2080 1702 2182 2028 1288 2162 1802 1656 2136 1334 2054 2048 1692 1428 -1750 1568 1948 1554 1636 -2196 2050 1834 1706 1734 1794 1256 1780 1592 1318 2118 1456 1328 1592 1886 -1602 1840 2094 1694 2084 2136 1584 1388 1612 1528 1978 1516 1436 1388 2084 2172 1388 1634 1636 2008 1460 -2056 1694 1692 1594 2080 1688 -1402 1740 2054 -1970 1988 2038 1694 1810 2084 1810 1828 2192 1284 1250 1290 2016 1468 1420 1616 1462 1794 1936 1634 1810 1946 1936 1840 -1272 2194 1428 1678 2136 -2126 1838 -1524 2156 1886 1342 1306 -1236 2162 -1276 1592 2046 1634 2192 1976 1388 1260 1328 1654 1686 -1820 -1780 1764 1936 2176 1780 1428 -1976 2194 1516 2008 1978 2086 1828 -1826 -1484 1572 2136 1654 2144 2144 1634 -1972 1672 2182 1846 1732 1290 1700 -1854 2152 1688 2048 2084 1404 1342 2090 1870 1656 1518 2096 1328 -1834 1772 1886 1638 1632 1290 2162 1708 2054 1564 2110 1446 1978 1388 2184 1782 1696 2084 1632 1846 1728 1466 1514 -1668 1976 1220 1672 1728 1428 1764 2044 1594 1290 -1898 2080 1592 2062 1746 2044 1288 2176 -1642 1844 -1428 -1294 1428 2194 2044 2172 1800 1290 1798 -2008 1990 1266 1364 1382 1712 1220 1740 1388 1706 1496 1330 2046 2174 1634 1742 1968 1846 -2084 2154 2050 2014 1780 -2200 1572 -2028 1804 1692 1594 1512 1656 1922 2084 1266 1612 1612 1746 1980 1646 1964 1688 2046 1842 1838 -1854 -1846 -1240 2094 1296 1686 1966 -2022 2046 1516 1692 1342 -1242 2086 1288 1804 1398 2018 -1494 -2134 -1386 1388 1890 2144 -1748 1950 -2118 1348 1698 1592 1790 2048 1850 1388 1688 1632 1654 1926 2046 2144 1518 2096 2078 1388 1780 2014 2050 1224 1886 -2174 1328 2014 1804 2086 1436 1654 2154 1632 -1862 2162 1924 2122 2018 -1264 1630 2176 1220 1804 1976 1886 1886 1514 2046 1700 2152 1976 1556 2054 -1402 1850 -1954 1324 1672 1342 1262 1780 2056 1646 2156 1886 2092 1976 1692 1542 1262 1364 -1824 1810 1722 1846 1460 1460 1270 1436 2040 1362 1594 2014 1290 2044 2162 1612 -1868 1626 1742 1558 2120 2142 1740 1646 1810 1536 1926 1712 -2084 -2022 1976 -2054 2136 -1854 1858 2054 -1628 1884 -1282 2044 1342 1634 1782 2044 -2080 1290 -1286 2086 1706 1798 2136 1490 -2016 1554 1694 -1838 2054 1290 1514 2094 1436 1886 1976 1556 1692 2176 1726 1702 1520 2054 1342 -1900 -1234 2086 2044 2058 2092 2054 -1810 -1988 2162 1922 1962 2094 2136 1512 1592 1706 1662 1764 2176 2094 1592 1330 2194 -2016 1220 2134 1936 1404 1276 1240 1794 1878 -1516 1740 1886 2086 -2116 1288 1350 1572 1740 1436 1428 2154 1740 1632 1396 2020 2054 1388 1284 1290 1678 2084 1518 -2170 1518 1726 1646 2142 1936 1592 1602 1964 2144 1834 1766 1802 -1830 1516 2162 1976 -1492 1612 1686 1964 1554 1740 1680 2014 1334 1554 1260 2054 2054 -1740 2064 2034 1396 1330 1740 2194 2086 1886 1694 1606 1328 1536 1396 1702 1980 1850 1640 1980 1592 1778 2148 1654 2154 1384 1688 -2176 1260 -1592 1388 -1616 1818 2084 2176 1964 -1536 1220 2054 2044 1694 1732 1886 1788 2118 1922 1594 2122 1846 -1220 -1850 1700 1886 2130 1704 1696 1268 2044 2094 1764 -1586 1850 -1882 2136 1946 1396 1762 1518 1290 1740 1594 1328 -1824 -1936 1976 1722 1328 1382 2014 1374 1964 1594 2084 1926 1516 1390 1260 -1270 1654 1500 1910 1694 -1364 2086 1740 1406 1926 -1520 -1936 1688 2086 1780 1634 1606 2054 1396 1220 1290 1702 2086 1566 1348 1396 1634 2046 1746 -2174 1290 2066 -1688 1936 2046 2156 1916 2182 -1766 1280 1672 2174 2044 -2208 1742 1572 2110 1302 2048 1686 1364 1382 -1670 2018 1616 1460 1936 1278 1396 1692 2084 1978 2184 2194 1284 1734 1342 -2050 2182 1342 1328 1924 1702 1622 1926 1728 1840 1742 1742 1288 1672 1888 1328 1764 1976 -2216 2008 2044 1430 1592 2054 1612 -1492 -2174 1634 2054 2154 1624 2010 2176 1592 1612 2086 1566 2058 -1824 1574 1316 1728 1608 -1868 1810 1592 2122 2084 1728 1496 -1246 1726 -1832 1964 1810 -1746 -2216 -1290 1926 2084 1702 2170 1728 1478 1428 2196 1572 1976 1804 2110 1830 2108 2044 2130 -1488 1558 -1288 2184 1250 1242 1396 2004 -1926 1396 1516 1886 1822 1742 1886 1734 1596 1404 1646 1978 2094 2196 2108 1324 1884 1436 1552 1656 1612 2154 2084 1882 -1346 1728 1330 2014 2044 1266 2044 2008 2008 2094 1882 -1710 -1820 2040 1810 1726 1404 1590 1436 1686 2184 1694 1964 1738 2014 1594 -1380 1810 1436 1988 1420 1846 1388 1746 2044 1290 2056 1330 1386 1554 1740 2080 1742 1516 1764 1926 -1618 2144 1860 2084 1326 1710 1592 1688 1976 2054 2044 1822 1998 2080 2210 -2006 1780 1978 1686 -1824 2120 2094 1554 1572 -1260 1348 2194 2044 1926 1592 1798 1582 1594 2094 1384 1330 2138 1364 1694 1758 1404 1630 1558 1562 1798 1394 1290 1886 1392 -1606 1794 1260 2084 1278 1780 2134 1814 1592 1328 2020 1936 1632 1900 -1282 1646 1978 1732 -1784 1476 1690 2142 1924 1222 2084 1616 2094 1754 -1784 1594 2194 1348 1926 2054 1348 2142 1382 1590 1348 2150 1320 2162 1740 -1694 1882 1924 1342 1788 1848 1964 1342 -2134 1516 -1932 1288 1632 1544 1828 1740 1976 1634 -1858 1822 1746 1702 1886 -1742 2164 2014 2020 1396 1926 1702 1936 1820 2144 1742 1978 -1986 2154 -1476 1584 1614 2194 2156 2094 1692 2184 1886 -1878 1572 1846 1392 1936 1634 1886 1554 -1248 1630 1280 1594 1612 1742 1342 2118 1886 1616 2184 1740 2044 1694 1306 2094 1242 1364 -1418 -2012 1780 -1748 1592 1516 2084 1732 1936 1694 1364 1846 1740 1672 2008 1838 1428 2162 1288 1612 1396 1964 2046 1976 -1670 1648 1742 1746 1924 2086 2086 2046 2016 1404 1328 1976 1732 1436 2122 1264 1436 1746 2094 1692 2010 -1700 -2134 2086 1554 1330 1288 1926 1808 1476 1612 2020 1612 1342 1938 2046 -2172 1632 2084 -1888 1936 1838 1342 1728 1670 2194 1330 1330 1238 1274 -1362 1746 1668 2024 -1622 1850 1646 -1268 2182 1556 1558 1712 1852 1780 1592 1742 1692 1328 2154 1572 1388 -2132 -1552 -1928 1686 -1468 1230 1476 1558 2062 1936 1634 1654 1396 -1280 1328 1818 2046 1702 1382 1288 1846 2046 1346 2194 1630 1926 1572 1554 1590 1382 1978 -1490 1342 2176 -1718 1232 1556 1612 1634 2150 2162 1654 2122 1396 1964 1632 1976 1396 1742 1382 1428 2086 1980 1886 1688 2118 1632 1780 1554 1388 2048 1762 1938 -1680 1222 1396 2008 -1992 1226 1730 1742 1544 1514 1516 1646 1592 1746 2094 2156 1382 -1348 -1472 1616 -1682 1372 1594 1328 1288 1290 1514 2110 2084 1348 -1872 1382 1654 1688 1654 1388 1924 1722 1342 -1526 1330 -1872 1572 1436 1976 1220 -1308 1832 1682 1382 1926 1436 2094 -2046 1640 1480 1694 1672 1388 1614 -1402 1946 1976 2084 1476 1270 1612 1554 1922 1554 1286 1872 1632 1330 1782 2176 1712 1726 1686 2154 1436 2196 1220 -1770 1260 2072 -1434 1742 2158 2046 1594 1712 1672 -2178 1706 -2040 1428 2144 2136 1516 -1262 1588 1688 1544 1288 2176 1556 1558 1364 1778 -1386 2054 2150 2086 1798 1962 1590 1744 1702 1594 1600 2084 -1748 1518 1860 1994 -2044 1804 1740 1740 1836 2014 1812 1436 1762 1828 1436 2176 1692 1688 2122 2084 1968 1648 1764 1936 1330 1428 1476 2154 2078 1594 1428 1642 1348 2084 1572 1456 1964 2034 -2210 1390 1862 2094 1732 2044 2046 1916 1500 -1482 1282 1850 2144 1282 1388 1388 2054 1850 1846 2086 1764 1886 2054 1558 2144 -1976 2002 1686 2158 1584 2176 1428 -1620 2094 2120 -2202 -1978 -2016 2172 1248 1924 1444 2054 2156 -1846 1572 1514 -1886 1634 1964 1296 2086 2080 2052 2142 2086 1552 -1242 -1542 2122 1464 1780 -1886 2044 2184 -2038 2214 1342 1964 1558 2046 1918 1936 1396 1594 1616 1688 1616 1930 1536 1330 2168 1594 2194 1654 2122 1806 1632 2086 1978 2136 1612 2094 -1588 2044 1290 1232 1304 1694 2154 1404 2096 2016 1976 2094 1592 2084 1702 1348 2056 2044 1686 1926 1886 1758 2038 1396 1428 2076 1500 1628 -1220 1594 2018 1282 2000 1656 1850 1740 -1572 1656 1926 -1774 1634 1602 1388 1712 1548 1976 2046 1938 1846 1908 1926 -1726 1732 1388 1576 1348 2054 -1610 1584 1966 2044 2054 1554 1634 2084 1798 1886 -2096 1288 1732 1632 1692 1244 1924 1702 1596 1694 2054 1594 1516 1886 1744 1476 1764 2176 1276 1436 2086 1574 1644 -1680 1762 1682 1804 2018 1364 1672 1614 1654 1302 2144 1646 2010 1580 2094 2044 2020 1738 1686 1692 2044 1784 1428 2184 1686 1396 -1260 1518 2136 1632 1330 2054 2044 1592 2176 2044 1328 1728 -1684 1914 1678 1886 1718 -1834 2128 1296 1290 2184 1672 1428 2176 2136 1702 1688 1936 2056 -1256 1732 1632 2044 1592 2176 1672 -2188 1222 -1700 1634 1592 1936 2018 1476 2044 1584 2084 1734 1876 1640 2046 1810 1220 1936 1630 1740 1790 1436 1592 2156 1968 1592 2010 1732 1382 1732 2048 2154 2214 1364 1742 1436 -1848 -1476 1982 1594 1456 1874 1404 2156 2096 1732 1492 2096 1646 1220 1436 2122 1416 2084 1936 1728 -1274 1694 1612 1966 1342 1634 1364 1926 -1918 1622 1686 2010 -1424 1846 1514 1732 1424 1560 1388 2150 1382 1592 1742 -1726 1764 2162 1978 1712 -1294 2046 1622 1364 2018 2184 1452 1846 1964 -1364 -2216 1342 2054 1382 1936 2056 1538 -1872 1780 2084 1940 1544 2074 1728 1774 2078 2086 2056 -1590 2054 1280 -1930 1886 2044 -1708 1978 1230 1710 1572 1746 1730 1592 1976 1678 1830 -1732 1594 -1830 1288 1428 1514 1468 2048 -1582 2086 1766 1582 -1578 1740 2058 1264 2120 1438 1810 1592 1382 1746 1832 1476 1712 2136 1742 2084 2044 1288 2144 1344 -2148 1572 -1872 1302 1342 1634 1318 1654 1388 -1380 1632 2110 1396 1350 1646 -1692 -1728 1388 1780 1594 1786 1330 1838 -2030 2056 -1224 2056 1838 -1970 2182 1898 1804 2086 1782 2008 1732 1330 1810 1594 1726 1886 1976 1646 2046 1646 1330 1500 1636 1634 2086 1936 1692 1740 1404 1936 2142 2086 2094 1548 1692 2046 2086 1936 1330 1686 1612 1634 -1448 -1628 1886 2084 1364 1730 1712 1436 1746 1556 1280 1572 1634 1342 2084 -2212 1288 1656 2044 1436 1388 1634 1686 -1254 1288 2160 1712 1686 1656 1342 1578 2194 1436 2094 1592 1566 2168 1706 -1968 1514 1740 1514 2094 2044 -1750 -1256 2056 1476 1904 1694 1672 1728 1330 1388 1558 1726 -1732 2080 1428 1342 2176 1632 1484 1576 1838 2054 1832 1634 1936 1656 1978 2160 1634 1288 2078 1596 1728 -2120 1548 -1432 2094 1562 1240 1706 1764 2094 1382 2148 1632 1742 1556 2172 1936 1704 2086 1242 1612 1632 1846 -1536 1404 1886 2136 1688 -1602 2154 2182 1654 1780 1846 1632 1702 1926 1646 2084 1844 -1476 1508 1728 1706 1958 1388 1284 -2174 1846 1288 2196 2086 1846 2000 2090 1328 1702 1924 -1686 2046 2176 1936 2084 1518 1612 2044 2084 1328 2078 1732 1634 -1518 1666 -1924 -1358 1460 2080 -1898 1476 1570 1640 2094 2208 1518 -1708 1486 1556 1426 1850 -1980 1656 2084 1592 -1284 2154 2044 1772 1968 -1558 1810 1780 2042 1396 2084 1692 1626 2044 1818 1632 1838 1812 1594 2078 1936 1428 2078 1702 -1678 1388 2122 1742 1374 1706 1330 1584 -2120 -2022 1228 1514 1396 2048 1634 1810 1460 2054 1388 1348 1572 2044 1594 2010 2008 1964 2096 2212 2018 1516 2184 2016 1692 1630 1558 1556 1976 1282 1688 1500 1976 1516 2004 1362 1328 1260 2136 1906 2094 1656 1230 1634 2018 1594 2196 1820 1632 -1450 1702 1516 1950 2054 1634 2044 1738 2118 1750 -2144 1694 2008 1698 1646 2144 1546 1516 1850 1516 1558 1516 2150 1344 1382 2086 2052 -1580 1330 1846 1572 -1814 1330 1732 -1732 2008 1592 -1576 -1688 1590 1818 1556 -2042 1342 1976 1692 1810 2008 2016 1804 2046 -1516 1980 1886 1290 -1500 1702 -1990 1972 1920 1728 1290 -1876 2176 1732 1230 2040 1886 2054 -1488 2136 -1364 1850 2056 1502 1980 2144 1330 2136 -2018 1594 1938 1558 2162 1436 1382 1552 2008 1688 1516 1518 -1708 
1233.05/1233.64	d AC 32
1233.05/1233.64	d RUNTIME 1233.304
1233.05/1233.64	d NODES 39630
1233.05/1233.64	d NODES/s 32
1233.05/1233.64	d BACKTRACKS 109560
1233.05/1233.64	d BACKTRACKS/s 89
1233.05/1233.64	d CHECKS 0
1233.05/1233.64	d CHECKS/s 0
1233.05/1233.64	c SAT 1233.304 TIME      39630 NDS    5094 PARSTIME      13792 BUILDPB       1214418 RES       true RESTART       1 HEURISTIC       true RANDVAL      

Verifier Data

OK

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083994-1247378582/watcher-2083994-1247378582 -o /tmp/evaluation-result-2083994-1247378582/solver-2083994-1247378582 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2083994-1247378582.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.08 2.08 4/72 22872
/proc/meminfo: memFree=1833160/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=152 CPUtime=0
/proc/22872/stat : 22872 (java) R 22870 22872 7843 0 -1 0 222 0 0 0 0 0 0 0 18 0 1 0 24922415 155648 26 996147200 134512640 134550932 4294955840 18446744073709551615 3531051 0 0 4096 0 0 0 0 17 0 0 0
/proc/22872/statm: 38 26 19 9 0 4 0

[startup+0.0273219 s]
/proc/loadavg: 2.05 2.08 2.08 4/72 22872
/proc/meminfo: memFree=1833160/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=859892 CPUtime=0.02
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 1997 0 1 0 1 1 0 0 18 0 5 0 24922415 880529408 1650 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 214973 1652 771 9 0 209888 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 859892

[startup+0.101327 s]
/proc/loadavg: 2.05 2.08 2.08 4/72 22872
/proc/meminfo: memFree=1833160/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=864108 CPUtime=0.09
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 3875 0 1 0 7 2 0 0 18 0 9 0 24922415 884846592 3325 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216027 3325 1745 9 0 210495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864108

[startup+0.301344 s]
/proc/loadavg: 2.05 2.08 2.08 4/72 22872
/proc/meminfo: memFree=1833160/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=864896 CPUtime=0.28
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 4901 0 1 0 25 3 0 0 18 0 9 0 24922415 885653504 4326 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216224 4326 1855 9 0 210692 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864896

[startup+0.701383 s]
/proc/loadavg: 2.05 2.08 2.08 4/72 22872
/proc/meminfo: memFree=1833160/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=864896 CPUtime=0.67
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 12194 0 1 0 61 6 0 0 18 0 9 0 24922415 885653504 11619 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216224 11620 1856 9 0 210692 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 864896

[startup+1.50146 s]
/proc/loadavg: 2.05 2.08 2.08 4/81 22881
/proc/meminfo: memFree=1743452/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865020 CPUtime=1.47
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 26249 0 1 0 135 12 0 0 18 0 9 0 24922415 885780480 25668 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216255 25668 1878 9 0 210723 0
[pid=22872/tid=22874] ppid=22870 vsize=865020 CPUtime=1.15
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14186 0 1 0 108 7 0 0 25 0 9 0 24922416 885780480 25668 996147200 134512640 134550932 4294955840 18446744073709551615 4126660529 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865020 CPUtime=0.17
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 10798 0 0 0 13 4 0 0 18 0 9 0 24922417 885780480 25668 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885780480 25668 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24922417 885780480 25668 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885780480 25668 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865020 CPUtime=0.13
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 531 0 0 0 13 0 0 0 16 0 9 0 24922419 885780480 25668 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885780480 25668 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885780480 25668 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 865020

[startup+3.10161 s]
/proc/loadavg: 2.05 2.08 2.08 3/81 22881
/proc/meminfo: memFree=1690240/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865020 CPUtime=3.06
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 39399 0 1 0 290 16 0 0 18 0 9 0 24922415 885780480 38808 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216255 38808 1909 9 0 210723 0
[pid=22872/tid=22874] ppid=22870 vsize=865020 CPUtime=2.32
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14290 0 1 0 225 7 0 0 25 0 9 0 24922416 885780480 38808 996147200 134512640 134550932 4294955840 18446744073709551615 4126882566 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865020 CPUtime=0.53
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 23801 0 0 0 46 7 0 0 17 0 9 0 24922417 885780480 38808 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885780480 38808 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24922417 885780480 38808 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885780480 38808 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865020 CPUtime=0.19
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 574 0 0 0 19 0 0 0 15 0 9 0 24922419 885780480 38808 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885780480 38808 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865020 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885780480 38808 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 865020

[startup+6.30291 s]
/proc/loadavg: 2.04 2.08 2.08 3/81 22881
/proc/meminfo: memFree=1665920/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=6.26
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 53795 0 1 0 603 23 0 0 18 0 9 0 24922415 885923840 53177 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 53178 1961 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=4.84
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14539 0 1 0 476 8 0 0 25 0 9 0 24922416 885923840 53178 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=1.13
/proc/22872/task/22875/stat : 22875 (java) R 22870 22872 7843 0 -1 64 37889 0 0 0 100 13 0 0 17 0 9 0 24922417 885923840 53180 996147200 134512640 134550932 4294955840 18446744073709551615 102709360 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 53181 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 53182 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 53183 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.26
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 635 0 0 0 26 0 0 0 15 0 9 0 24922419 885923840 53184 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 53186 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 53187 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 865160

[startup+12.7025 s]
/proc/loadavg: 2.04 2.08 2.08 3/81 22881
/proc/meminfo: memFree=1356864/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=12.66
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 130024 0 1 0 1213 53 0 0 18 0 9 0 24922415 885923840 129380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 129380 1984 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=9.18
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14791 0 1 0 909 9 0 0 25 0 9 0 24922416 885923840 129380 996147200 134512640 134550932 4294955840 18446744073709551615 4126366230 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=3.12
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 113820 0 0 0 270 42 0 0 17 0 9 0 24922417 885923840 129380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 129380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 129380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 129380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.33
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 678 0 0 0 33 0 0 0 15 0 9 0 24922419 885923840 129380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 129380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 129380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 865160

[startup+25.5017 s]
/proc/loadavg: 2.03 2.07 2.08 3/81 22881
/proc/meminfo: memFree=1274560/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=25.46
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 141840 0 1 0 2488 58 0 0 18 0 9 0 24922415 885923840 141183 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 141183 1987 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=20.49
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14829 0 1 0 2040 9 0 0 25 0 9 0 24922416 885923840 141183 996147200 134512640 134550932 4294955840 18446744073709551615 4127579206 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=4.48
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 125512 0 0 0 401 47 0 0 16 0 9 0 24922417 885923840 141183 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 141183 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 141183 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 141183 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.46
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 764 0 0 0 45 1 0 0 16 0 9 0 24922419 885923840 141183 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 141183 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 141183 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 865160

[startup+51.1011 s]
/proc/loadavg: 2.02 2.07 2.08 3/81 22881
/proc/meminfo: memFree=1274432/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=51.04
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 141880 0 1 0 5046 58 0 0 18 0 9 0 24922415 885923840 141214 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 141214 1989 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=46.05
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14855 0 1 0 4596 9 0 0 25 0 9 0 24922416 885923840 141214 996147200 134512640 134550932 4294955840 18446744073709551615 4127690846 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=4.48
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 125512 0 0 0 401 47 0 0 17 0 9 0 24922417 885923840 141214 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 141214 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 141214 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 141214 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.49
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 778 0 0 0 48 1 0 0 15 0 9 0 24922419 885923840 141214 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 141214 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.53
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 805 0 0 0 52 1 0 0 16 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1202.57
Current children cumulated vsize (KiB) 865160

[startup+1215.9 s]
/proc/loadavg: 2.00 2.01 2.01 3/83 23007
/proc/meminfo: memFree=1250032/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=1215.37
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 150947 0 1 0 121448 89 0 0 18 0 9 0 24922415 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 150222 1992 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=1209.88
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14914 0 1 0 120951 37 0 0 25 0 9 0 24922416 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4127690839 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=4.93
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 134493 0 0 0 443 50 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.53
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 805 0 0 0 52 1 0 0 16 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1215.37
Current children cumulated vsize (KiB) 865160

[startup+1222.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/83 23007
/proc/meminfo: memFree=1249776/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=1221.76
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 150947 0 1 0 122087 89 0 0 18 0 9 0 24922415 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 150222 1992 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=1216.28
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14914 0 1 0 121591 37 0 0 25 0 9 0 24922416 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4127690665 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=4.93
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 134493 0 0 0 443 50 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.53
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 805 0 0 0 52 1 0 0 16 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1221.76
Current children cumulated vsize (KiB) 865160

[startup+1228.71 s]
/proc/loadavg: 2.00 2.01 2.01 3/83 23007
/proc/meminfo: memFree=1249648/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=1228.16
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 150947 0 1 0 122727 89 0 0 18 0 9 0 24922415 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 150222 1992 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=1222.68
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14914 0 1 0 122231 37 0 0 25 0 9 0 24922416 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4127690839 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=4.93
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 134493 0 0 0 443 50 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.53
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 805 0 0 0 52 1 0 0 16 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1228.16
Current children cumulated vsize (KiB) 865160

[startup+1231.9 s]
/proc/loadavg: 2.00 2.01 2.01 3/83 23007
/proc/meminfo: memFree=1249584/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=1231.36
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 150948 0 1 0 123047 89 0 0 18 0 9 0 24922415 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 150222 1992 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=1225.87
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14915 0 1 0 122550 37 0 0 25 0 9 0 24922416 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4127690839 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=4.93
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 134493 0 0 0 443 50 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.53
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 805 0 0 0 52 1 0 0 16 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1231.36
Current children cumulated vsize (KiB) 865160

[startup+1232.7 s]
/proc/loadavg: 2.00 2.01 2.01 3/83 23007
/proc/meminfo: memFree=1249584/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=1232.16
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 150948 0 1 0 123127 89 0 0 18 0 9 0 24922415 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 150222 1992 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=1226.67
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14915 0 1 0 122630 37 0 0 25 0 9 0 24922416 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4127347294 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=4.93
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 134493 0 0 0 443 50 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.53
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 805 0 0 0 52 1 0 0 16 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 150222 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1232.16
Current children cumulated vsize (KiB) 865160

[startup+1233.5 s]
/proc/loadavg: 2.00 2.01 2.01 3/83 23007
/proc/meminfo: memFree=1249584/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=865160 CPUtime=1232.95
/proc/22872/stat : 22872 (java) S 22870 22872 7843 0 -1 0 150955 0 1 0 123206 89 0 0 18 0 9 0 24922415 885923840 150228 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 216290 150228 1994 9 0 210758 0
[pid=22872/tid=22874] ppid=22870 vsize=865160 CPUtime=1227.46
/proc/22872/task/22874/stat : 22874 (java) R 22870 22872 7843 0 -1 64 14922 0 1 0 122709 37 0 0 25 0 9 0 24922416 885923840 150228 996147200 134512640 134550932 4294955840 18446744073709551615 4126448504 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22875] ppid=22870 vsize=865160 CPUtime=4.94
/proc/22872/task/22875/stat : 22875 (java) S 22870 22872 7843 0 -1 64 134493 0 0 0 444 50 0 0 16 0 9 0 24922417 885923840 150228 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22876] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22876/stat : 22876 (java) S 22870 22872 7843 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150228 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22877] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22877/stat : 22877 (java) S 22870 22872 7843 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 24922417 885923840 150228 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22878] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22878/stat : 22878 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24922419 885923840 150228 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22879] ppid=22870 vsize=865160 CPUtime=0.53
/proc/22872/task/22879/stat : 22879 (java) S 22870 22872 7843 0 -1 64 805 0 0 0 52 1 0 0 15 0 9 0 24922419 885923840 150228 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22880] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22880/stat : 22880 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24922419 885923840 150228 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22872/tid=22881] ppid=22870 vsize=865160 CPUtime=0
/proc/22872/task/22881/stat : 22881 (java) S 22870 22872 7843 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24922419 885923840 150228 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1232.95
Current children cumulated vsize (KiB) 865160

[startup+1233.7 s]
/proc/loadavg: 2.00 2.01 2.01 3/83 23007
/proc/meminfo: memFree=1249584/2055920 swapFree=4192812/4192956
[pid=22872] ppid=22870 vsize=0 CPUtime=1233.15
/proc/22872/stat : 22872 (java) Z 22870 22872 7843 0 -1 12 150974 0 1 0 123221 94 0 0 16 0 2 0 24922415 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22872/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1233.15
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1233.75
CPU time (s): 1233.21
CPU user time (s): 1232.21
CPU system time (s): 0.992849
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 865160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1232.21
system time used= 0.992849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150974
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28728
involuntary context switches= 33143

runsolver used 1.55176 second user time and 4.06538 second system time

The end

Launcher Data

Begin job on node48 at 2009-07-12 08:03:03
IDJOB=2083994
IDBENCH=58003
IDSOLVER=737
FILE ID=node48/2083994-1247378582
PBS_JOBID= 9507110
Free space on /tmp= 66448 MiB

SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/fapp/fapp29/normalized-fapp29-2900-10.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083994-1247378582/watcher-2083994-1247378582 -o /tmp/evaluation-result-2083994-1247378582/solver-2083994-1247378582 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2083994-1247378582.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ca469f3f7e98ebe7c882bce7bb3fd65e
RANDOM SEED=85602102

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

/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.237
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.237
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:       1833640 kB
Buffers:          4704 kB
Cached:          59012 kB
SwapCached:          0 kB
Active:         146720 kB
Inactive:        22528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11940 kB
Writeback:           0 kB
Mapped:         117068 kB
Slab:            38084 kB
Committed_AS:   308828 kB
PageTables:       1944 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= 66444 MiB
End job on node48 at 2009-07-12 08:23:36