Trace number 1086565

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
Concrete + CPS4J 2008-05-30SAT 231.84 232.823

DiagnosticValue
CHECKS33922200
NODES1876

General information on the benchmark

Namecsp/fapp/fapp35/
normalized-fapp35-1500-9.xml
MD5SUMfb81abe9ad9e3c26d2d93322f7bc814c
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 benchmark57.0313
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints22067
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension22067
Global constraints used (with number of constraints)

Solver Data (download as text)

125.37/125.92	c Sat Jul 05 08:42:16 CEST 2008 concrete.ResourceController isOutOfTime
125.37/125.92	c WARNING: Out of time
136.32/136.92	c Sat Jul 05 08:42:27 CEST 2008 concrete.relationconverter.RelationManager strongOptimizeMemory
136.32/136.92	c WARNING: Could not free more memory in relations
198.86/199.73	c CPU-LOAD 153.81
198.86/199.73	c LOADED 1500 V (698 E), 948 ExtensionConstraint2D, 11629 PredicateConstraint, arity 2, 153.81 cpu
231.63/232.68	v -2356 -2114 -1804 -1862 -2158 -2376 -1876 2166 1680 -2256 -2108 -2284 -1904 -2198 -1724 -2224 2182 -1800 -2216 -2256 -2100 -2224 -1882 2318 -2036 -1794 -2060 -2010 -2376 -1850 -1992 -2318 2060 -2132 -2224 -1912 -2376 2208 -1692 -1808 2244 -1720 -1948 -1770 -1834 -2294 -2326 -1782 2204 -2230 -1732 -1996 -1872 -2300 -2080 -1862 -2174 2222 2088 -1908 -2134 -2374 -1812 -2206 -2138 -1710 -2174 2022 -2100 -2264 -1720 -2342 -1948 -1744 2182 -2024 -2030 -1976 -2288 -1728 -1750 -1692 -1766 -2082 -2376 -2074 -2356 -2376 -1932 -2002 1872 2198 -2326 -1848 2126 -1980 2356 -2000 -1944 -2272 -2264 1872 -2140 -2058 2130 -2236 -2062 1776 -2102 -2104 -1790 -2336 -1892 1998 -2260 -1976 -2030 -1824 -1798 -2018 -1728 1780 -2336 -1802 -2254 -2112 -2030 -2078 2286 -2356 2104 -1800 1858 1986 -1920 -2140 -1866 -1922 -1728 -1684 -1944 -2028 -2376 2276 -2240 -2196 -1746 -2032 1910 -2138 2336 -2376 2202 2248 -2286 -1814 -1918 -1746 -2312 -2034 2314 -2048 1814 -1866 2186 2258 -2050 -2014 -2070 -1784 2224 2314 1692 1894 -2168 -1782 -2212 -2072 -2168 -2170 -2170 -2052 -2068 1954 2002 -2248 2026 -1916 2374 -2336 1742 -1730 -1694 1680 -1688 2208 -2116 -2198 -1806 -2264 1930 -2286 2130 -2176 2216 -2250 -2286 -1832 -1752 -2238 -1816 1998 2072 2226 -2098 2168 2222 -2376 2040 -2176 -2296 -2034 1854 -2030 -2076 -2356 -1780 -2278 -2356 -2324 1956 -1740 -1874 2132 -2286 2238 2206 1750 -2334 -1946 -1740 -2248 -2162 -1920 -2294 -1904 2092 -2010 -1946 -2228 -1712 -1882 2218 2228 1728 -2376 -2120 -1688 2128 -2064 2112 -2098 -2102 -2012 -1896 2284 -2036 2244 -2158 -1984 -1688 -1884 2208 -2120 1744 -1734 2066 -1684 2182 2316 1688 1704 1780 -1802 1746 -1910 -2214 -2268 -2320 2140 -2214 1798 2022 2104 1882 1736 -2118 -2238 -2092 -1682 -2246 1822 2344 -1732 -2018 -2256 1920 2322 1810 -2026 -1706 -1720 -2208 -1800 -1840 -2132 -2286 -2136 -1912 -1932 -1986 2248 -2362 2116 -1720 -2376 -1848 2132 -2092 -1996 2294 2168 -2208 2204 -2356 -2298 -2344 -1694 -1880 -1768 -2376 -2376 2238 -1932 2100 -1892 -1750 2224 -2170 2294 2092 -1986 1898 -1730 2072 -2142 1688 1694 2070 -2168 -2208 -2200 1982 -2316 -1872 -1906 -2336 2336 1842 -2216 -2264 -1958 2210 -1726 -1844 -2236 -2172 -1880 -1854 1828 -1690 -1940 -2064 1892 -2146 -1836 1866 2324 2220 -1892 2280 1878 2168 -2050 2326 -2186 -2230 2240 -1776 -1690 1864 1680 -2006 -2036 -1736 -2326 -2376 -2316 2202 -1940 2132 -2146 -2216 1720 1762 -2272 2340 -1884 -2216 2140 1772 -2064 1894 -1900 -1682 2276 -1968 -1922 2082 -1942 2132 -1872 -1744 1760 2128 -2202 -1982 -2224 -2148 -2132 -2286 1732 -2168 -2186 -2074 -1746 2318 -2092 2290 -1794 -1722 -2224 -2286 -1872 2226 -1974 2336 -2206 1802 -2190 2080 -2156 1764 -1840 -2376 -1988 2002 -1742 -1802 -2326 2036 -1864 1686 -1988 -1882 -2278 -2280 -2034 -2024 -2162 -1922 1680 -2264 2256 -2014 1870 2162 -1720 -2264 -2232 -1934 -2026 2300 2266 -1800 -2336 -2034 -1724 2376 -2376 -1922 1998 2168 -2264 2206 1786 2156 -1760 1918 -2248 2142 2294 2166 -2006 -1778 -2298 -1738 -2316 -1846 1994 2188 -2206 2246 -2248 -1866 1702 -2104 -2314 -2074 -2352 2138 2078 2018 -1970 -2008 -2062 -2334 1820 1854 -2356 -2204 -1728 -1876 -1690 -2284 -2278 -1948 2006 -2334 -2326 2286 -2276 -1882 -2326 2272 1820 1932 -2336 2264 -1920 1850 -2334 1962 1986 -2090 2074 -2336 2034 -1838 -1852 -2326 2106 1800 2136 -2070 -1838 -2250 2142 -2260 -2088 -1922 -1704 -1792 1814 2376 2356 1746 -2042 -1740 -1918 -2322 -1978 -2246 -2316 -1844 -2074 2188 -2146 2334 -2316 2308 -1760 -1854 1732 -2058 -1798 -1756 -1918 1764 -1782 -1836 -2376 2284 -2336 -1690 -1730 -2142 -1680 -1992 2214 -2110 -2010 -2072 -2376 2176 2224 1968 1894 2122 -2100 -2100 -1948 -1986 -2264 2140 2130 -1728 1704 -1770 1720 2222 -2068 -2336 -2022 2246 -2330 -1922 2080 -2376 -1724 1904 1878 2370 -2376 -1922 -2174 -1994 1972 -2336 2112 -1720 2226 -1964 -1878 -2110 -2178 -1728 -2138 -2376 2160 -2376 -1810 -2208 1814 -2064 -1900 -2080 1930 1974 1818 1810 -2142 -2090 1996 -2172 -2248 -1904 1876 -2148 -1950 -1996 -1744 1720 2162 1960 -1944 -2092 1990 -1854 -2004 1942 -2080 -1720 2190 2034 -1746 -2092 2126 2074 -2264 -1916 -2316 -2264 2118 -1918 -1738 2210 -1750 -2290 2176 2336 -2216 -2376 -2008 -2264 -1772 -1832 2216 2154 1742 -2076 -2182 2336 -1720 -2376 2316 -1906 -2066 1870 -1894 1720 2116 2054 -1876 -1856 2072 -1724 2132 -1700 -1912 -1710 -2102 -1812 -2334 -2286 1732 -2140 2316 2054 -2214 2194 -1700 -2176 1838 -2008 2304 -2238 1772 1946 -2316 -1764 2174 -2030 2020 -2334 -2360 -1960 -1680 -2074 2022 -1900 -1970 -2144 -2184 1864 -2186 -2034 2324 1720 -1760 -2002 -2326 1680 -2074 -1722 -2192 1720 1834 -1916 1730 -1720 2142 -2122 -1918 2198 -2330 2146 1880 2092 -1816 2376 2068 1706 -2208 2256 -1720 -1900 2332 2302 -2246 2250 1684 -2224 -2376 -1744 2026 2316 -2190 2102 1926 2144 2214 1748 -1698 2286 -2376 -1690 -2062 -1956 1944 2336 1986 -2186 -2264 -1752 -1850 -2334 -2096 -2210 -2376 -1812 -2042 -1740 -1878 -1798 1688 -1726 -2070 1706 -1820 1706 -2182 -2264 -2092 -1966 -2148 -2278 -2160 -2336 2076 -2178 -2196 2040 2118 2254 1734 -2336 -2206 -2098 -1760 2032 2010 2156 -2106 -2208 -1994 -1720 -2072 -2072 1990 -2204 1880 2038 -1908 -2316 1806 2106 -2208 -2188 1984 2316 1918 -2316 2042 -2208 -1716 2272 -2336 -1788 2264 -2304 1918 1876 2136 -1874 -2248 -2224 -1956 2092 -2182 2326 -1774 2376 -2244 1768 2208 -1790 1916 1788 -2356 2040 -1692 1860 -1876 2166 -2336 -2170 -1914 1864 -2016 1986 -2282 -2282 2250 2020 -2130 -2144 -2144 -2128 2154 -1680 -1928 -2142 1814 2294 2050 -2028 -2010 1682 -2062 -2326 1684 2162 -1752 1822 2210 -2052 -2354 -2336 -2294 -2140 -2322 -2336 -2248 -2326 -1774 1968 1766 -2118 1840 -2070 2202 -1938 -1722 -1842 1878 1698 2066 1918 2334 -2166 -1704 -1858 -1780 -1690 1702 -1868 -2320 -1992 1876 2268 -2376 1850 -2174 -1808 -2344 2186 -2216 1734 1878 -2092 -2242 1912 -2032 1728 2212 -1704 2180 2334 -1756 2278 -2334 2106 -1910 -2210 -2178 2286 -2182 1996 -1956 -1906 -2232 2216 -1940 2336 -2292 -2158 -1880 2338 -1918 1854 2176 -2376 -2182 -2354 -2288 2336 -2034 2280 -2278 -2376 -1878 -1834 -1680 2238 -2026 2026 1680 1906 2134 -2132 -1730 -2010 -2132 -1744 2100 1964 -2092 1774 -2294 -2122 1970 2166 1712 1946 1834 -1800 -1952 -2376 1688 2224 1738 1936 -1994 2230 -1812 -2156 2058 -1720 1724 -2050 1774 -2034 1852 -2034 -2264 -2092 -1934 -1818 2148 -2356 -2076 2286 1936 -2224 -2066 1842 -1940 -1852 -1680 2142 2336 1890 2224 2198 -2286 -2288 2354 1878 -2350 1878 -1706 -2196 -2286 -2356 -1980 -2032 -1942 -2028 -2264 -1970 1734 2122 2326 -2062 2334 2210 -1692 -2070 -1684 1702 -1874 -2326 -1736 -2036 -1716 2316 2140 2120 2100 -2326 1918 -1936 -2286 2254 2304 -1720 -2032 -1846 1688 -1940 -2068 -1688 1720 1752 1958 2238 -2356 -1760 2094 1838 1958 1680 -2272 -2090 -1796 -2110 1784 2202 -2332 -2294 2294 -2336 -1852 -2168 2180 1822 -2104 -1850 -2274 2336 -1680 1720 -2050 -1748 2132 2040 2208 -2128 1814 1680 -2092 -1882 -1726 -2038 -1756 -2316 1778 1878 -1982 2364 2166 2098 -2314 -2226 -1836 1728 1982 2038 -1680 -2336 2268 -1966 -1852 1730 -2052 2334 -1918 2134 -1962 -1692 -2068 2090 2078 2286 -1996 2256 1918 -2294 2258 -1738 2222 2138 2100 2336 -1680 2082 2216 -2164 2132 -2336 -2126 -2162 -2356 -2106 2260 -2024 2176 1732 2210 -1696 2172 -2334 2020 -2168 -2042 -2184 2356 -2028 2232 1736 2092 1892 -2138 -2224 -1754 -1680 2336 -1870 -1956 1892 -2102 -1890 -2004 -2326 1870 -1972 2312 -2080 -1920 2356 -1696 -2336 1704 -1730 1928 -2294 1680 2170 -2056 -1700 2224 -1878 1920 -1744 -1720 2194 -1720 2376 1890 1686 2118 -2228 2376 -2224 -2114 -1886 2264 2040 2032 2316 -1728 -2058 1788 2092 1742 2120 -2336 2140 2050 1852 -2132 -2066 -2146 -1734 2336 -2170 1744 2346 -1740 -2374 2090 2026 -2372 2336 1822 2348 1740 -1828 1868 -1894 -1914 2202 2216 -2132 -2336 -2356 2038 -2132 -1842 1890 2356 -2262 -1886 -2198 2318 -2212 -2132 -2164 2116 2220 2166 1700 -1854 1904 -1896 1680 -2336 -1902 -2104 -2238 -2182 1680 -1824 2314 1794 2286 -1710 1832 -2160 2180 -1708 2156 2098 -1748 -2252 -2124 2224 1850 -2376 2240 1900 -2366 -1914 -2294 -1982 -2336 -1804 2000 2224 2152 2242 -2246 -2376 2262 -2028 2244 -1754 2108 -2316 -1880 1936 2164 -2294 2224 2130 2278 2178 2248 2034 1968 2146 1724 -1776 2336 2012 -2254 2064 -1930 -2254 -2310 1774 2306 2226 2316 -1910 1696 -2112 -2192 1988 1736 2156 -2376 -2070 2140 1722 -2032 2126 -2216 -2176 1994 1712 -2228 2306 2312 -1912 -1724 -1874 1792 1680 1750 -2242 2288 -1720 1684 2318 2320 -2312 2142 -2022 2138 2076 2334 -2072 2354 -1810 -2122 2360 2206 1808 -2158 1874 -1966 2266 -2376 -2048 1812 -2336 -2336 -2166 
231.63/232.68	s SATISFIABLE
231.63/232.68	d NODES 1876
231.63/232.68	d CHECKS 33922232
231.63/232.69	c gac3-effective-revisions: 30138
231.63/232.69	c gac3-useless-revisions: 576834
231.63/232.69	c heuristic-cpu: 0.09000015
231.63/232.69	c prepro-constraint-ccks: 29438190
231.63/232.69	c prepro-constraint-presenceccks: 1437914
231.63/232.69	c prepro-cpu: 10.29
231.63/232.69	c prepro-matrix2d-ccks: 1516120
231.63/232.69	c prepro-matrix2d-presenceccks: 447995
231.63/232.69	c prepro-removed: 810033
231.63/232.69	c search-cpu: 19.23
231.63/232.69	c total-assgn: 1876
231.63/232.69	c total-constraint-ccks: 32137614
231.63/232.69	c total-constraint-presence-ccks: 6886379
231.63/232.69	c total-cpu: 29.61
231.63/232.69	c total-matrix2d-ccks: 1784618
231.63/232.69	c total-matrix2d-presence-ccks: 1005892
231.63/232.69	c tuples: 0
231.63/232.69	c tuples-collisions: 0
231.63/232.69	c TOTAL-NODES 1876
231.63/232.69	c TOTAL-CPU 29.61

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086565-1215240010/watcher-1086565-1215240010 -o /tmp/evaluation-result-1086565-1215240010/solver-1086565-1215240010 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1086565-1215240010.xml 

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): 2200 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
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: 2.06 2.03 2.00 4/74 31429
/proc/meminfo: memFree=1796632/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 1 0 256988967 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31429/statm: 1339 230 191 169 0 50 0
[pid=31430] ppid=31429 vsize=5356 CPUtime=0
/proc/31430/stat : 31430 (concrete.sh) R 31429 31429 30539 0 -1 4194368 25 0 0 0 0 0 0 0 19 0 1 0 256988967 5484544 235 996147200 4194304 4889804 548682068800 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 1 0 0
/proc/31430/statm: 1339 235 195 169 0 50 0

[startup+0.0737109 s]
/proc/loadavg: 2.06 2.03 2.00 4/74 31429
/proc/meminfo: memFree=1796632/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101713 s]
/proc/loadavg: 2.06 2.03 2.00 4/74 31429
/proc/meminfo: memFree=1796632/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301733 s]
/proc/loadavg: 2.06 2.03 2.00 4/74 31429
/proc/meminfo: memFree=1796632/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701778 s]
/proc/loadavg: 2.06 2.03 2.00 4/74 31429
/proc/meminfo: memFree=1796632/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50187 s]
/proc/loadavg: 2.06 2.03 2.00 3/84 31440
/proc/meminfo: memFree=1784072/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=844284 CPUtime=1.48
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 7035 0 1 0 141 7 0 0 18 0 9 0 256988968 864546816 6130 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 211071 6130 2575 9 0 205632 0
[pid=31432/tid=31433] ppid=31429 vsize=844284 CPUtime=1.15
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 3442 0 1 0 112 3 0 0 25 0 9 0 256988969 864546816 6130 996147200 134512640 134550740 4294956032 18446744073709551615 4125652723 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=844284 CPUtime=0.14
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 2331 0 0 0 13 1 0 0 16 0 9 0 256988970 864546816 6130 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 6130 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 6130 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 864546816 6130 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=844284 CPUtime=0.15
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 529 0 0 0 15 0 0 0 16 0 9 0 256988972 864546816 6130 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 864546816 6130 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 256988972 864546816 6130 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 849640

[startup+3.10204 s]
/proc/loadavg: 2.06 2.03 2.00 3/84 31440
/proc/meminfo: memFree=1780552/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=844284 CPUtime=3.07
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 7811 0 1 0 299 8 0 0 18 0 9 0 256988968 864546816 6758 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 211071 6758 2575 9 0 205632 0
[pid=31432/tid=31433] ppid=31429 vsize=844284 CPUtime=2.57
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 3590 0 1 0 253 4 0 0 25 0 9 0 256988969 864546816 6758 996147200 134512640 134550740 4294956032 18446744073709551615 4125231198 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=844284 CPUtime=0.31
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 2959 0 0 0 29 2 0 0 16 0 9 0 256988970 864546816 6758 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 6758 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 6758 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 864546816 6758 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=844284 CPUtime=0.15
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 529 0 0 0 15 0 0 0 16 0 9 0 256988972 864546816 6758 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 864546816 6758 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 256988972 864546816 6758 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 849640

[startup+6.30238 s]
/proc/loadavg: 2.05 2.03 2.00 3/84 31440
/proc/meminfo: memFree=1776712/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=844284 CPUtime=6.26
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 8784 0 1 0 615 11 0 0 18 0 9 0 256988968 864546816 7489 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 211071 7489 2575 9 0 205632 0
[pid=31432/tid=31433] ppid=31429 vsize=844284 CPUtime=5.6
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 3832 0 1 0 556 4 0 0 25 0 9 0 256988969 864546816 7489 996147200 134512640 134550740 4294956032 18446744073709551615 4125980965 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=844284 CPUtime=0.47
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 3690 0 0 0 43 4 0 0 16 0 9 0 256988970 864546816 7489 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 7489 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 7489 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 864546816 7489 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=844284 CPUtime=0.15
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 529 0 0 0 15 0 0 0 16 0 9 0 256988972 864546816 7489 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 864546816 7489 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 256988972 864546816 7489 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 849640

[startup+12.7021 s]
/proc/loadavg: 2.13 2.05 2.01 4/84 31440
/proc/meminfo: memFree=1772744/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=844284 CPUtime=12.63
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 11105 0 1 0 1247 16 0 0 18 0 9 0 256988968 864546816 8400 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 211071 8400 2575 9 0 205632 0
[pid=31432/tid=31433] ppid=31429 vsize=844284 CPUtime=11.63
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 4212 0 1 0 1157 6 0 0 25 0 9 0 256988969 864546816 8400 996147200 134512640 134550740 4294956032 18446744073709551615 4125983692 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=844284 CPUtime=0.81
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 5631 0 0 0 73 8 0 0 16 0 9 0 256988970 864546816 8400 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 8400 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 8400 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 864546816 8400 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=844284 CPUtime=0.15
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 529 0 0 0 15 0 0 0 16 0 9 0 256988972 864546816 8400 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 864546816 8400 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 256988972 864546816 8400 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 849640

[startup+25.5014 s]
/proc/loadavg: 2.10 2.04 2.00 3/84 31440
/proc/meminfo: memFree=1768008/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=844284 CPUtime=25.37
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 12671 0 1 0 2517 20 0 0 18 0 9 0 256988968 864546816 9543 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 211071 9543 2575 9 0 205632 0
[pid=31432/tid=31433] ppid=31429 vsize=844284 CPUtime=24.02
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 4635 0 1 0 2394 8 0 0 25 0 9 0 256988969 864546816 9543 996147200 134512640 134550740 4294956032 18446744073709551615 4125718246 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=844284 CPUtime=1.17
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 6774 0 0 0 107 10 0 0 16 0 9 0 256988970 864546816 9543 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 9543 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 256988970 864546816 9543 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 864546816 9543 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=844284 CPUtime=0.15
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 529 0 0 0 15 0 0 0 16 0 9 0 256988972 864546816 9543 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 864546816 9543 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=844284 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 256988972 864546816 9543 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 849640

[startup+51.1012 s]

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

[pid=31432/tid=31433] ppid=31429 vsize=851860 CPUtime=174.79
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 14254 0 1 0 17446 33 0 0 25 0 9 0 256988969 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4131486447 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=851860 CPUtime=44.97
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 176658 0 0 0 4415 82 0 0 16 0 9 0 256988970 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=851860 CPUtime=3.17
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 3342 0 0 0 308 9 0 0 15 0 9 0 256988972 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 256988972 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.96
Current children cumulated vsize (KiB) 857216

[startup+227.102 s]
/proc/loadavg: 2.29 2.14 2.03 3/85 31444
/proc/meminfo: memFree=1055984/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=851860 CPUtime=226.15
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 195001 0 1 0 22489 126 0 0 18 0 9 0 256988968 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 212965 187036 2599 9 0 207525 0
[pid=31432/tid=31433] ppid=31429 vsize=851860 CPUtime=177.98
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 14254 0 1 0 17765 33 0 0 25 0 9 0 256988969 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4131486500 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=851860 CPUtime=44.97
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 176658 0 0 0 4415 82 0 0 16 0 9 0 256988970 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=851860 CPUtime=3.17
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 3342 0 0 0 308 9 0 0 15 0 9 0 256988972 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 256988972 872304640 187036 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 226.15
Current children cumulated vsize (KiB) 857216

[startup+230.301 s]
/proc/loadavg: 2.35 2.15 2.04 3/85 31444
/proc/meminfo: memFree=1055984/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=851860 CPUtime=229.34
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 195005 0 1 0 22808 126 0 0 18 0 9 0 256988968 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 212965 187039 2599 9 0 207525 0
[pid=31432/tid=31433] ppid=31429 vsize=851860 CPUtime=181.15
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 14255 0 1 0 18082 33 0 0 25 0 9 0 256988969 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4125231189 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=851860 CPUtime=44.97
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 176658 0 0 0 4415 82 0 0 16 0 9 0 256988970 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=851860 CPUtime=3.18
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 3345 0 0 0 309 9 0 0 15 0 9 0 256988972 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 256988972 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 229.34
Current children cumulated vsize (KiB) 857216

[startup+231.902 s]
/proc/loadavg: 2.35 2.15 2.04 3/85 31444
/proc/meminfo: memFree=1055856/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=851860 CPUtime=230.93
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 195005 0 1 0 22967 126 0 0 18 0 9 0 256988968 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 212965 187039 2599 9 0 207525 0
[pid=31432/tid=31433] ppid=31429 vsize=851860 CPUtime=182.74
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 14255 0 1 0 18241 33 0 0 25 0 9 0 256988969 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4131475188 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=851860 CPUtime=44.97
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 176658 0 0 0 4415 82 0 0 16 0 9 0 256988970 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=851860 CPUtime=3.18
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 3345 0 0 0 309 9 0 0 16 0 9 0 256988972 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 256988972 872304640 187039 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 230.93
Current children cumulated vsize (KiB) 857216

[startup+232.302 s]
/proc/loadavg: 2.35 2.15 2.04 3/85 31444
/proc/meminfo: memFree=1055856/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=851860 CPUtime=231.33
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 195006 0 1 0 23007 126 0 0 18 0 9 0 256988968 872304640 187040 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 212965 187040 2599 9 0 207525 0
[pid=31432/tid=31433] ppid=31429 vsize=851860 CPUtime=183.14
/proc/31432/task/31433/stat : 31433 (java) R 31429 31429 30539 0 -1 64 14255 0 1 0 18281 33 0 0 25 0 9 0 256988969 872304640 187040 996147200 134512640 134550740 4294956032 18446744073709551615 4131475188 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=851860 CPUtime=44.97
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 176658 0 0 0 4415 82 0 0 16 0 9 0 256988970 872304640 187040 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187040 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187040 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 872304640 187040 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=851860 CPUtime=3.18
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 3346 0 0 0 309 9 0 0 15 0 9 0 256988972 872304640 187040 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 872304640 187040 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 256988972 872304640 187040 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 231.33
Current children cumulated vsize (KiB) 857216

[startup+232.703 s]
/proc/loadavg: 2.35 2.15 2.04 3/85 31444
/proc/meminfo: memFree=1055856/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=851860 CPUtime=231.71
/proc/31432/stat : 31432 (java) S 31429 31429 30539 0 -1 0 195010 0 1 0 23045 126 0 0 18 0 9 0 256988968 872304640 187043 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31432/statm: 212965 187043 2599 9 0 207525 0
[pid=31432/tid=31433] ppid=31429 vsize=851860 CPUtime=183.52
/proc/31432/task/31433/stat : 31433 (java) S 31429 31429 30539 0 -1 64 14257 0 1 0 18319 33 0 0 25 0 9 0 256988969 872304640 187043 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31434] ppid=31429 vsize=851860 CPUtime=44.97
/proc/31432/task/31434/stat : 31434 (java) S 31429 31429 30539 0 -1 64 176658 0 0 0 4415 82 0 0 16 0 9 0 256988970 872304640 187043 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31435] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31435/stat : 31435 (java) S 31429 31429 30539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187043 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31436] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31436/stat : 31436 (java) S 31429 31429 30539 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 256988970 872304640 187043 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31437] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31437/stat : 31437 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 256988972 872304640 187043 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31438] ppid=31429 vsize=851860 CPUtime=3.19
/proc/31432/task/31438/stat : 31438 (java) S 31429 31429 30539 0 -1 64 3348 0 0 0 310 9 0 0 15 0 9 0 256988972 872304640 187043 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31432/tid=31439] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31439/stat : 31439 (java) S 31429 31429 30539 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 256988972 872304640 187043 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31432/tid=31440] ppid=31429 vsize=851860 CPUtime=0
/proc/31432/task/31440/stat : 31440 (java) S 31429 31429 30539 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 256988972 872304640 187043 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 231.71
Current children cumulated vsize (KiB) 857216

[startup+232.802 s]
/proc/loadavg: 2.35 2.15 2.04 3/85 31444
/proc/meminfo: memFree=1055856/2055920 swapFree=4180000/4192956
[pid=31429] ppid=31427 vsize=5356 CPUtime=0
/proc/31429/stat : 31429 (concrete.sh) S 31427 31429 30539 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 256988967 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31429/statm: 1339 242 201 169 0 50 0
[pid=31432] ppid=31429 vsize=0 CPUtime=231.8
/proc/31432/stat : 31432 (java) Z 31429 31429 30539 0 -1 12 195013 0 1 0 23045 135 0 0 16 0 2 0 256988968 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31432/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 231.8
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 232.823
CPU time (s): 231.84
CPU user time (s): 230.459
CPU system time (s): 1.38079
CPU usage (%): 99.5778
Max. virtual memory (cumulated for all children) (KiB): 857216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 230.459
system time used= 1.38079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195466
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= 33948
involuntary context switches= 32139

runsolver used 0.281957 second user time and 0.78288 second system time

The end

Launcher Data (download as text)

Begin job on node81 at 2008-07-05 08:40:10
IDJOB=1086565
IDBENCH=57842
IDSOLVER=305
FILE ID=node81/1086565-1215240010
PBS_JOBID= 7881922
Free space on /tmp= 126808 MiB

SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/fapp/fapp35/normalized-fapp35-1500-9.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086565-1215240010/watcher-1086565-1215240010 -o /tmp/evaluation-result-1086565-1215240010/solver-1086565-1215240010 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 60 HOME/instance-1086565-1215240010.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= fb81abe9ad9e3c26d2d93322f7bc814c
RANDOM SEED=1992078618

node81.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.236
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.236
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1797112 kB
Buffers:          7872 kB
Cached:          88784 kB
SwapCached:       6228 kB
Active:         157644 kB
Inactive:        47640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797112 kB
SwapTotal:     4192956 kB
SwapFree:      4180000 kB
Dirty:            3844 kB
Writeback:           0 kB
Mapped:         116008 kB
Slab:            38696 kB
Committed_AS:   749344 kB
PageTables:       1884 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126804 MiB
End job on node81 at 2008-07-05 08:44:03