Trace number 2097835

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
Abscon 112v4 ACSAT 63.3024 63.5056

DiagnosticValue
CHECKS21876600
NODES1883

General information on the benchmark

Namecsp/fapp/fapp35/
normalized-fapp35-1500-7.xml
MD5SUMf8967b949e05aa4191b080a54ba762cf
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 benchmark63.3024
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 

0.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-2097835-1247414074.xml
0.29/0.30	   
0.29/0.30	   domains being loaded...
0.29/0.35	   
0.29/0.35	   variables being loaded...
0.59/0.62	     nbVariables=1500  nbDomainTypes=17  minDomainSize=90  maxDomainSize=698  nbTotalValues=844907
0.59/0.62	       =>  wckTime=0.381  cpuTime=0.26  mem=35M288
0.59/0.62	   
0.59/0.62	   predicates being loaded...
0.59/0.68	   
0.59/0.68	   constraints being loaded...
20.57/20.61	   
20.57/20.61	   INFO : Stopping converting binary constraints (cpu=20.05, mem = 77M629)
27.83/27.95	     nbConstraints=11765  nbGlobalConstraints=42  nbMergedConstraints=10344  nbConvertedConstraints=96
27.83/27.95	     nbConvertConstraintsChecks=40735864  nbExtensionStructures=92  nbSharedExtensionStructures=6
27.83/27.95	     nbConflictsStructures=126  nbSharedConflictsStructures=71  nbUnbuiltConflictsStructures=7405
27.83/27.95	     nbSharedBinaryRepresentations=77661  nbEvaluationManagers=7439  nbSharedEvaluationManagers=4188  minDegree=3
27.83/27.95	     maxDegree=49  minArity=2  avgArity=2.01  maxArity=8  nbGenerators=0  nbFusions=0  symmetryWckTime=3.141
27.83/27.95	     symmetryCpuTime=2.9  nbCliques=42
27.83/27.95	       =>  wckTime=27.713  cpuTime=26.57  mem=83M774
28.23/28.31	   
28.23/28.31	   solver IterativeSystematicSolver being built... 
28.53/28.68	   
28.53/28.68	   INFO : Forward propagation technique limited 
28.82/28.90	       =>  wckTime=28.664  cpuTime=26.93  mem=147M624
39.42/39.60	   
39.42/39.61	   preprocessing
39.42/39.61	     nbConstraintChecks=21009328  nbValidityChecks=1409794  nbPropagations=3012  nbRevisions=53237
39.42/39.61	     nbUselessRevisions=44449  nbRemovedValues=818082  detectedInconsistency=no
39.42/39.61	       =>  wckTime=10.685  cpuTime=10.55  mem=147M624
63.09/63.40	   
63.09/63.40	   search
63.09/63.40	     run=1  nbConstraintChecks=867230  nbValidityChecks=1890431  minDepth=34  maxDepth=1500  nbPropagations=21200
63.09/63.40	     nbRevisions=324511  nbUselessRevisions=291862  nbAssignments=1883  nbFailedAssignments=15  nbInferredBacktracks=2
63.09/63.40	     nbBacktracks=36  nbVisitedNodes=1906  nbRestartNogoods=4  nbFoundSolutions=1  mapSize=13  nbInferences=0
63.09/63.40	     nbTooLargeKeys=150  nbSEliminables=0  nbREliminables=0  nbIEliminables=1193.27  nbDEliminables=0  nbPEliminables=0
63.09/63.40	       =>  wckTime=34.477  cpuTime=34.27  mem=180M765
63.19/63.40	   
63.19/63.40	   global
63.19/63.40	     nbConstraintChecks=21876558  nbValidityChecks=3300225  nbPropagations=24212  nbRevisions=377748
63.19/63.40	     nbUselessRevisions=336311  nbRestartNogoods=4  solvingWckTime=34.48  solvingCpuTime=34.27  expiredTime=no
63.19/63.40	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=61.16  globalCpuTime=61.25
63.19/63.40	       =>  wckTime=63.161  cpuTime=61.21  mem=180M765
63.19/63.46	   
63.19/63.46	s SATISFIABLE
63.19/63.46	v -2356 2114 -1792 -1850 2158 -2366 -1868 -2166 1680 -2254 -2104 -2278 -1904 -2198 1720 -2222 2182 1798 2212 -2244 -2100 -2224 1878 -2320 -2030 -1682 -2054 2006 -2376 1844 1986 -2318 2056 -2132 -2224 1898 2376 -2210 -1688 -1804 2246 1720 -1938 -1762 -1828 -2294 -2326 -1780 2208 2230 -1732 1996 1880 2298 -2074 -1856 2172 -2224 2088 1906 2130 -2370 -1798 -2206 -2138 1698 2168 2016 -2100 2264 1712 2338 1944 1730 2178 2012 2026 -1966 -2286 -1730 -1734 -1680 1758 2076 -2358 -2074 2354 -2326 -1926 2002 -1864 -2198 2326 -1844 -2128 1968 -2356 -1992 -1944 -2264 2260 -1866 -2140 2044 -2132 -2234 2052 1778 -2098 -2100 -1774 -2318 -1892 1996 2258 -1972 -2028 1818 -1798 2004 -1728 -1782 -2336 1802 2254 -2110 -2030 -2076 2286 -2350 -2102 1792 -1858 1982 -1920 -2140 -1858 -1916 -1728 1684 1820 2026 -2336 2272 2228 -2192 -1736 -2030 -1912 -2136 -2336 -2322 -2206 -2250 -2286 -1808 1904 1744 2308 -2034 2344 2044 1810 -1858 2184 -2258 -2046 -2018 2066 -1710 -2224 -2314 -1692 1894 -2168 -1768 -2212 2062 2170 2170 -2164 -2050 -2066 -1946 2000 -2246 -2026 -1920 -2376 -2336 1734 -1728 -1694 1680 -1690 -2214 -2114 -2198 1802 -2264 1924 2286 -2132 -2168 2204 2222 -2286 -1824 1754 -2238 -1810 1988 2070 2230 -2100 -2168 2222 -2376 2042 -2176 2250 2024 1860 -2028 -2076 -2356 1776 -2276 -2356 2324 -1954 -1742 -1874 2132 -2286 2266 -2206 1738 -2334 -1944 -1740 -2246 -2158 -1918 -2294 -1894 -2092 2006 -1942 -2224 -1714 -1878 2218 2216 1734 -2336 -2114 -1688 2128 2060 -2108 2098 2096 -2010 1886 -2286 -2036 -2246 -2162 1978 -1690 1880 -2208 -2120 -1744 -1720 -2068 -1680 -2182 -2314 -1688 1728 -1786 1796 1752 -1910 -2204 2256 2336 -2140 2208 1798 2018 -2106 -1876 -1740 -2122 -2238 -2090 -1680 2244 -1810 -2346 1732 -2012 2258 -1920 2324 -1818 -2028 1696 1720 -2202 -1800 1828 2132 -2286 2134 -1906 1928 -1982 2242 -2362 -2120 -1720 2148 -1844 2126 -2092 -1990 2294 2170 2208 2198 -2356 2300 -2342 1688 1880 -1774 -2376 2376 -2238 -1932 -2100 -1888 -1720 -2224 -2168 -2294 -2092 1982 1898 -1728 -2070 -2142 -1690 1680 -2070 -2168 -2208 2268 1984 -2316 1872 -1898 2336 -2336 -1836 2212 -2264 -1956 -2208 1720 -1848 2234 -2174 -1878 -1846 1826 -1688 -1938 2052 1892 2142 -1828 1866 2314 -2218 -1884 -2282 -1864 2174 2044 -2326 2190 -2228 2238 -1778 -1688 1854 -1728 1992 2036 1732 -2326 -2376 2314 -2202 -1938 -2132 -2144 -2218 -1720 1766 2272 -2338 1888 2220 -2140 1764 -2066 1906 1880 1680 2274 -1962 -1922 2078 -1942 -2130 -1870 -1750 1758 2130 -2202 1976 -2220 2144 -2128 -2286 1732 -2168 2186 -2068 -1740 -2320 -2092 -2292 1680 -1720 -2224 -2286 -1866 -2226 1978 -2336 -2206 -1800 2190 -2082 -2154 1764 -1832 2198 1980 -2004 1744 1802 -2326 -2036 -1862 1680 -1984 -1882 -2306 -2278 2034 -2018 2162 -1918 -1680 -2264 -2252 2010 1870 -2162 -1720 -2262 -2236 1934 2018 -2300 -2376 -1800 -2336 -2030 1722 -2376 -2376 -1922 1998 -2168 -2264 -2206 1784 -2156 1760 -1918 2254 -2142 -2294 -2162 1994 -1786 -2370 -1734 -2316 1840 -1990 2184 2204 -2246 -2246 -1864 1704 2100 -2314 2068 -2350 -2138 -2076 -2010 -1970 1998 2058 -2334 1820 -1866 -2352 2206 1730 -1880 -1680 -2286 2278 -1944 -1996 -2332 -2326 -2286 2274 1882 -2326 -2276 1816 1934 2158 -2264 -1918 -1858 -2334 1962 -1984 -2088 -2074 -2336 -2030 1838 1844 2326 -2102 1800 -2138 2062 -1836 -2250 2060 2260 -2084 -1918 -1710 -1790 -1806 -2376 -2354 -1744 -2044 1720 -1918 -2320 1970 -2244 -2316 1840 2064 2186 -2144 2336 -2316 -2310 1760 1842 1720 2060 1796 -1760 1918 1752 -1784 1840 -2376 2284 -2336 -1682 -1722 -2142 -1680 -1990 2212 2106 1996 2068 -2366 2174 -2224 -1974 1892 2118 2096 -2098 -1940 1984 -2264 -2142 2124 1728 1700 -1768 -1732 2218 2070 -2336 2012 -2246 -2336 -1914 2082 -2336 -1720 1904 -1878 -2376 2376 -1926 2170 1994 1966 -2336 2110 1720 2224 -1962 -1876 -2110 -2178 -1730 -2136 -2366 -2154 2282 -1804 -2208 1808 -2058 1898 2078 -1924 1974 1820 1802 -2142 -2092 1998 2170 -2248 1860 1876 2146 -1946 1994 1750 1714 2164 1952 -1944 -2088 -1986 1852 2002 -1944 -2076 1722 2188 2028 -1680 -2082 -2122 2076 -2264 -1916 -2310 2262 -2124 -1916 -1732 -2210 -1742 -2290 2180 2210 -2208 -2336 1994 -2264 -1766 -1830 2214 -2154 1740 -2068 -2182 2336 1720 -2376 2316 -1906 2060 1872 1886 1722 -2122 2050 -1872 -1850 2070 1720 -2132 1688 1906 1710 2098 -1806 2334 -2284 1736 2138 -2312 2050 2208 2194 1700 2178 -1838 2008 -2306 -2158 1774 -1944 2318 1766 -2172 -2026 2016 -2334 -2354 1962 1680 2070 -2024 -1900 -1968 2142 2240 1854 -2178 2030 2318 1716 1758 1994 -2326 -1680 2074 -1720 -2188 1720 1836 1906 1728 1734 -2142 2122 1916 -2198 2332 2138 1882 -2092 1818 -2376 -2066 1712 -2208 -2252 -1720 1898 -2332 2298 2244 2254 -1682 -2224 -2376 -1688 -2022 -2312 2188 -2092 -1928 -2200 -2212 1746 -1694 -2286 -2376 -1680 2052 -1956 1944 -2376 -1988 2186 -2208 -1742 -1842 -2334 2086 -2208 -2376 -1810 -2034 1746 1866 1798 -1690 1722 -2068 1700 -1822 -1704 -2182 -2262 -2090 1954 -2144 2280 2160 2300 2074 -2178 -2194 -2034 -2118 2244 -1728 -2336 2204 -2100 -1762 -2030 -2010 -2162 -2098 2208 1988 -1688 -2070 -2070 -1988 -2204 1880 2036 1898 -2316 -1798 -2104 2214 2186 -1984 -2316 1906 -2316 2038 -2208 1716 2268 -2336 -1786 -2264 2302 -1916 1866 -2126 -1862 -2248 2222 1958 -2092 -2182 -2326 1748 -2376 -2238 1774 -2210 -1782 -1916 -1788 -2356 2038 -1696 1860 -1880 2166 -2352 -2168 -1908 -1858 2008 -1984 2280 2284 -2250 -2014 -2128 -2138 -2146 -2128 2154 -1680 1922 -2142 -1802 -2296 2048 -2028 -2010 1680 2052 -2326 1684 2158 1754 1808 -2208 -2042 -2354 -2336 -2294 -2140 -2322 -2376 2250 -2326 -1788 -1954 1764 -2118 -1840 2066 -2204 -1938 -1720 1842 -1878 1692 2058 -1916 -2334 2162 -1680 -1860 -1782 1706 -1694 1866 -2322 -1990 -1876 2268 -2376 1840 -2162 1804 2336 2184 -2214 1708 -1876 -2092 2242 1910 2022 -1730 2216 -1706 -2182 -2334 1752 2274 -2334 -2104 -1910 2214 2176 2286 -2182 -1994 1954 -1904 -2224 -2214 -1932 2326 2292 -2164 1872 -2340 1920 1850 2174 2340 -2182 -2304 -2286 2336 2028 -2278 -2280 -2376 -1876 -1834 -1682 2238 2020 -2022 1680 1898 2132 -2132 -1746 -2004 2134 -1746 -2098 1956 -2092 1768 2292 -2116 1966 -2168 -1702 -1944 1822 1788 -1938 -2376 -1688 -2224 -1746 1932 -1990 -2228 -1814 -2160 -2052 1720 1724 -2050 -1768 -2034 -1852 -2030 -2264 -2092 1926 1818 2146 -2356 -2076 -2286 1936 -2224 -2066 -1840 -1920 -1928 -1680 2136 -2336 -1886 -2222 -2198 -2286 2286 -2376 1876 2350 -1880 1720 -2196 -2286 -2356 -1976 -2030 -1942 -2026 -2264 -1964 -1734 -2118 -2326 2058 -2336 -2210 1692 2070 -1680 1704 1872 -2326 -1738 -2034 -1712 -2316 -2140 -2120 -2100 -2324 -1916 -1926 -2286 2256 -2376 -1720 -2030 1842 1690 1940 -2068 -1688 1720 1752 1958 2236 2356 1756 -2090 -1838 1956 1680 -2272 -2092 -1800 2102 1770 -2202 -2332 -2294 -2294 2326 1846 -2168 -2180 -1824 2026 -1842 2272 2286 -1682 -1720 2036 1748 -2130 2036 -2208 -2128 -1810 -1680 -2086 1886 -1804 -2028 1756 -2316 -1782 -1878 1984 2354 -2166 -2100 2336 -2226 1832 -1728 1978 -2036 1752 -2336 2258 1956 -1850 1720 2038 2334 1916 -2202 -1954 -1692 -2066 2088 2078 -2286 1994 -2252 1916 -2294 2330 -1742 -2224 -2140 -2100 2326 1692 2078 -2218 -2164 2132 -2336 -2122 -2166 -2356 -2104 -2260 -2018 2174 -1728 2182 -1692 2172 -2334 -2008 -2168 -2040 2184 -2356 -2026 -2230 -1740 -2092 1888 -2140 -2224 -1720 -1774 2336 -1866 1954 -1886 -2100 1880 1996 -2326 1870 1974 -2312 2080 1912 -2358 1698 -2336 -1704 -1720 1934 -2294 1680 -2168 2048 1700 -2224 -1876 1922 1720 -1718 -2194 1722 2312 1884 1682 -2118 2228 2376 -2224 2108 1888 2262 2042 -2030 -2316 -1730 2052 1786 -2092 1744 -2120 -2376 -2138 2044 1838 -2132 -2058 -2144 -1828 2108 -2162 -1740 -2346 -1740 -2376 2084 -2028 -2372 -2336 -1816 2350 -1728 1826 1866 -1900 1906 2196 2212 -2132 -2336 -2356 -2036 -2132 -1842 1882 -2356 -2264 -1880 -2198 2318 -2210 -2132 2164 2108 2220 -2166 -1680 1854 1902 -1896 -1680 -2336 -1902 2098 -2238 2182 -1754 1814 2312 -1796 2286 -1680 -1840 2160 -2180 1704 -2152 -2092 -1744 2256 2124 -2222 -1846 2376 2238 1892 -2364 1912 -2294 -1982 -2376 -1806 2002 -2248 2148 -2236 -2250 -2376 -2264 -2030 2248 -1722 2104 2316 -1878 1926 -2166 -2294 -2224 -2122 2278 -2176 2248 2036 1968 -2144 -1724 -1780 2282 1998 2252 -2060 -1928 -2248 -2310 1770 -2306 -2230 -2316 1906 1700 -2110 2190 1984 1738 2154 -2376 -2066 -2140 -1806 -2026 -2126 -2216 -2178 -1990 -1712 -2218 -2336 -2310 -1912 -1724 -1788 -1794 -1680 1750 2242 -2290 -1720 -1680 -2314 2314 2312 -2142 2012 -2138 -2076 -2330 -2070 2354 -1802 2118 -2376 -2210 -1814 2158 -1868 1952 -2270 -2376 2038 1804 -2336 -2322 -2166 
63.19/63.46	d NODES 1883
63.19/63.46	d CHECKS 21876558
63.19/63.46	   
63.19/63.46	   totalWckTime=63.288  totalCpuTime=61.31

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-2097835-1247414074/watcher-2097835-1247414074 -o /tmp/evaluation-result-2097835-1247414074/solver-2097835-1247414074 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097835-1247414074.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): 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: 1.92 2.01 1.99 4/80 32646
/proc/meminfo: memFree=1567096/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=272 CPUtime=0
/proc/32646/stat : 32646 (java) R 32644 32646 30016 0 -1 0 212 0 0 0 0 0 0 0 18 0 1 0 28467769 278528 33 996147200 134512640 134550932 4294955968 18446744073709551615 3811981 0 0 4096 0 0 0 0 17 0 0 0
/proc/32646/statm: 68 37 28 9 0 6 0

[startup+0.0922019 s]
/proc/loadavg: 1.92 2.01 1.99 4/80 32646
/proc/meminfo: memFree=1567096/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=865980 CPUtime=0.08
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 3734 0 1 0 6 2 0 0 18 0 9 0 28467769 886763520 3202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216495 3202 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980

[startup+0.101199 s]
/proc/loadavg: 1.92 2.01 1.99 4/80 32646
/proc/meminfo: memFree=1567096/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=865980 CPUtime=0.09
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 3829 0 1 0 7 2 0 0 18 0 9 0 28467769 886763520 3274 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216495 3277 1731 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980

[startup+0.301229 s]
/proc/loadavg: 1.92 2.01 1.99 4/80 32646
/proc/meminfo: memFree=1567096/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=866492 CPUtime=0.29
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 6123 0 1 0 26 3 0 0 18 0 9 0 28467769 887287808 5489 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216623 5489 1987 9 0 211081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866492

[startup+0.701286 s]
/proc/loadavg: 1.92 2.01 1.99 4/80 32646
/proc/meminfo: memFree=1567096/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=867588 CPUtime=0.69
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 14361 0 1 0 61 8 0 0 18 0 9 0 28467769 888410112 13715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216897 13715 2037 9 0 211333 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867588

[startup+1.5014 s]
/proc/loadavg: 1.92 2.01 1.99 3/89 32655
/proc/meminfo: memFree=1486320/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=867500 CPUtime=1.49
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 22816 0 1 0 138 11 0 0 18 0 9 0 28467769 888320000 22145 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216875 22145 2029 9 0 211333 0
[pid=32646/tid=32648] ppid=32644 vsize=867500 CPUtime=1.24
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 15794 0 1 0 116 8 0 0 25 0 9 0 28467770 888320000 22145 996147200 134512640 134550932 4294955968 18446744073709551615 103774189 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=867500 CPUtime=0.06
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 5681 0 0 0 5 1 0 0 17 0 9 0 28467771 888320000 22145 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28467772 888320000 22145 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28467772 888320000 22145 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32652] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28467774 888320000 22145 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=867500 CPUtime=0.16
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 640 0 0 0 16 0 0 0 16 0 9 0 28467774 888320000 22145 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28467774 888320000 22145 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28467774 888320000 22145 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867500

[startup+3.10263 s]
/proc/loadavg: 1.92 2.01 1.99 3/89 32655
/proc/meminfo: memFree=1473968/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=867500 CPUtime=3.09
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 25879 0 1 0 296 13 0 0 18 0 9 0 28467769 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216875 25204 2032 9 0 211333 0
[pid=32646/tid=32648] ppid=32644 vsize=867500 CPUtime=2.73
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 15827 0 1 0 265 8 0 0 25 0 9 0 28467770 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4126934328 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=867500 CPUtime=0.13
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 8694 0 0 0 11 2 0 0 17 0 9 0 28467771 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28467772 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28467772 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32652] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28467774 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=867500 CPUtime=0.19
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 657 0 0 0 19 0 0 0 15 0 9 0 28467774 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28467774 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28467774 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867500

[startup+6.30108 s]
/proc/loadavg: 1.93 2.00 1.99 3/89 32655
/proc/meminfo: memFree=1473648/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=867500 CPUtime=6.29
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 25886 0 1 0 616 13 0 0 18 0 9 0 28467769 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216875 25209 2032 9 0 211333 0
[pid=32646/tid=32648] ppid=32644 vsize=867500 CPUtime=5.92
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 15832 0 1 0 584 8 0 0 25 0 9 0 28467770 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4126938454 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=867500 CPUtime=0.13
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 8694 0 0 0 11 2 0 0 16 0 9 0 28467771 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28467772 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28467772 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32652] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28467774 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=867500 CPUtime=0.19
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 659 0 0 0 19 0 0 0 16 0 9 0 28467774 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28467774 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28467774 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 867500

[startup+12.703 s]
/proc/loadavg: 1.93 2.00 1.99 4/89 32659
/proc/meminfo: memFree=1435056/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=867500 CPUtime=12.69
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 25892 0 1 0 1256 13 0 0 18 0 9 0 28467769 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216875 25213 2032 9 0 211333 0
[pid=32646/tid=32648] ppid=32644 vsize=867500 CPUtime=12.32
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 15833 0 1 0 1223 9 0 0 25 0 9 0 28467770 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4126939984 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=867500 CPUtime=0.13
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 8694 0 0 0 11 2 0 0 16 0 9 0 28467771 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28467772 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28467772 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32652] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28467774 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=867500 CPUtime=0.2
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 664 0 0 0 20 0 0 0 15 0 9 0 28467774 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28467774 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=867500 CPUtime=0
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28467774 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 867500

[startup+25.5018 s]
/proc/loadavg: 2.02 2.02 2.00 5/91 32698
/proc/meminfo: memFree=1423456/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=868148 CPUtime=25.45
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 34091 848 1 0 2511 19 13 2 18 0 9 0 28467769 888983552 32207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 217037 32207 2045 9 0 211495 0
[pid=32646/tid=32648] ppid=32644 vsize=868148 CPUtime=24.49
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 16775 848 1 0 2424 10 13 2 19 0 9 0 28467770 888983552 32207 996147200 134512640 134550932 4294955968 18446744073709551615 4127248508 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32649] ppid=32644 vsize=868148 CPUtime=0.77
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 15631 848 0 0 57 5 13 2 16 0 9 0 28467771 888983552 32207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32644 vsize=868148 CPUtime=0.15
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 16 848 0 0 0 0 13 2 16 0 9 0 28467772 888983552 32207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32644 vsize=868148 CPUtime=0.15
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 5 848 0 0 0 0 13 2 16 0 9 0 28467772 888983552 32207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32652] ppid=32644 vsize=868148 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 848 0 0 0 0 13 2 24 0 9 0 28467774 888983552 32207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=868148 CPUtime=0.45
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 840 848 0 0 29 1 13 2 15 0 9 0 28467774 888983552 32207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32644 vsize=868148 CPUtime=0.15
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 848 0 0 0 0 13 2 25 0 9 0 28467774 888983552 32207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=868148 CPUtime=0.15
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 11 848 0 0 0 0 13 2 15 0 9 0 28467774 888983552 32207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 868148

[startup+51.1014 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 32739
/proc/meminfo: memFree=1358184/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=868236 CPUtime=50.9
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 83175 848 1 0 5040 35 13 2 18 0 9 0 28467769 889073664 53438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 217059 53438 2663 9 0 211495 0
[pid=32646/tid=32648] ppid=32644 vsize=868236 CPUtime=49.28
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 29631 848 1 0 4898 15 13 2 25 0 9 0 28467770 889073664 53438 996147200 134512640 134550932 4294955968 18446744073709551615 4127490374 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=868236 CPUtime=1.3
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 51730 848 0 0 99 16 13 2 16 0 9 0 28467771 889073664 53438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 20 848 0 0 0 0 13 2 16 0 9 0 28467772 889073664 53438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 27 848 0 0 0 0 13 2 15 0 9 0 28467772 889073664 53438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 848 0 0 0 0 13 2 24 0 9 0 28467774 889073664 53438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=868236 CPUtime=0.58
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 942 848 0 0 42 1 13 2 16 0 9 0 28467774 889073664 53438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 848 0 0 0 0 13 2 25 0 9 0 28467774 889073664 53438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 12 848 0 0 0 0 13 2 15 0 9 0 28467774 889073664 53438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 868236

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

[startup+57.5024 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 32739
/proc/meminfo: memFree=1357992/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=868236 CPUtime=57.3
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 83177 848 1 0 5680 35 13 2 18 0 9 0 28467769 889073664 53440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 217059 53440 2663 9 0 211495 0
[pid=32646/tid=32648] ppid=32644 vsize=868236 CPUtime=55.67
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 29631 848 1 0 5537 15 13 2 25 0 9 0 28467770 889073664 53440 996147200 134512640 134550932 4294955968 18446744073709551615 4127489741 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=868236 CPUtime=1.3
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 51730 848 0 0 99 16 13 2 16 0 9 0 28467771 889073664 53440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 20 848 0 0 0 0 13 2 16 0 9 0 28467772 889073664 53440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 27 848 0 0 0 0 13 2 15 0 9 0 28467772 889073664 53440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 848 0 0 0 0 13 2 24 0 9 0 28467774 889073664 53440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=868236 CPUtime=0.58
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 944 848 0 0 42 1 13 2 16 0 9 0 28467774 889073664 53440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 848 0 0 0 0 13 2 25 0 9 0 28467774 889073664 53440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 12 848 0 0 0 0 13 2 15 0 9 0 28467774 889073664 53440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 57.3
Current children cumulated vsize (KiB) 868236

[startup+60.7018 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 32739
/proc/meminfo: memFree=1357992/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=868236 CPUtime=60.49
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 83184 848 1 0 5999 35 13 2 18 0 9 0 28467769 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 217059 53445 2663 9 0 211495 0
[pid=32646/tid=32648] ppid=32644 vsize=868236 CPUtime=58.86
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 29632 848 1 0 5856 15 13 2 23 0 9 0 28467770 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4127490421 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=868236 CPUtime=1.3
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 51730 848 0 0 99 16 13 2 16 0 9 0 28467771 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 20 848 0 0 0 0 13 2 16 0 9 0 28467772 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 27 848 0 0 0 0 13 2 15 0 9 0 28467772 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 848 0 0 0 0 13 2 24 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=868236 CPUtime=0.59
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 950 848 0 0 43 1 13 2 16 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 848 0 0 0 0 13 2 25 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 12 848 0 0 0 0 13 2 15 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 60.49
Current children cumulated vsize (KiB) 868236

[startup+62.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 32739
/proc/meminfo: memFree=1357992/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=868236 CPUtime=62.09
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 83184 848 1 0 6159 35 13 2 18 0 9 0 28467769 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 217059 53445 2663 9 0 211495 0
[pid=32646/tid=32648] ppid=32644 vsize=868236 CPUtime=60.45
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 29632 848 1 0 6015 15 13 2 19 0 9 0 28467770 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4127508980 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=868236 CPUtime=1.3
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 51730 848 0 0 99 16 13 2 16 0 9 0 28467771 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 20 848 0 0 0 0 13 2 16 0 9 0 28467772 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 27 848 0 0 0 0 13 2 15 0 9 0 28467772 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 848 0 0 0 0 13 2 24 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=868236 CPUtime=0.59
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 950 848 0 0 43 1 13 2 17 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 848 0 0 0 0 13 2 25 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 12 848 0 0 0 0 13 2 15 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 62.09
Current children cumulated vsize (KiB) 868236

[startup+63.1021 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 32739
/proc/meminfo: memFree=1357928/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=868236 CPUtime=62.89
/proc/32646/stat : 32646 (java) S 32644 32646 30016 0 -1 0 83184 848 1 0 6239 35 13 2 18 0 9 0 28467769 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 217059 53445 2663 9 0 211495 0
[pid=32646/tid=32648] ppid=32644 vsize=868236 CPUtime=61.25
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 30016 0 -1 64 29632 848 1 0 6095 15 13 2 25 0 9 0 28467770 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4127489712 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=868236 CPUtime=1.3
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 30016 0 -1 64 51730 848 0 0 99 16 13 2 16 0 9 0 28467771 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 30016 0 -1 64 20 848 0 0 0 0 13 2 16 0 9 0 28467772 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 30016 0 -1 64 27 848 0 0 0 0 13 2 15 0 9 0 28467772 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 30016 0 -1 64 2 848 0 0 0 0 13 2 24 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=868236 CPUtime=0.59
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 30016 0 -1 64 950 848 0 0 43 1 13 2 17 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 30016 0 -1 64 0 848 0 0 0 0 13 2 25 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=868236 CPUtime=0.15
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 30016 0 -1 64 12 848 0 0 0 0 13 2 15 0 9 0 28467774 889073664 53445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 62.89
Current children cumulated vsize (KiB) 868236

[startup+63.5022 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 32739
/proc/meminfo: memFree=1357928/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=0 CPUtime=63.29
/proc/32646/stat : 32646 (java) Z 32644 32646 30016 0 -1 12 83227 848 1 0 6276 38 13 2 16 0 2 0 28467769 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 63.29
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 63.5056
CPU time (s): 63.3024
CPU user time (s): 62.8934
CPU system time (s): 0.408937
CPU usage (%): 99.68
Max. virtual memory (cumulated for all children) (KiB): 868236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.8934
system time used= 0.408937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84075
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= 3774
involuntary context switches= 4268

runsolver used 0.090986 second user time and 0.204968 second system time

The end

Launcher Data 

Begin job on node49 at 2009-07-12 17:54:34
IDJOB=2097835
IDBENCH=57844
IDSOLVER=773
FILE ID=node49/2097835-1247414074
PBS_JOBID= 9510548
Free space on /tmp= 66416 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp35/normalized-fapp35-1500-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097835-1247414074/watcher-2097835-1247414074 -o /tmp/evaluation-result-2097835-1247414074/solver-2097835-1247414074 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097835-1247414074.xml

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

MD5SUM BENCH= f8967b949e05aa4191b080a54ba762cf
RANDOM SEED=942033122

node49.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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1567576 kB
Buffers:         79016 kB
Cached:         247452 kB
SwapCached:          0 kB
Active:         258560 kB
Inactive:       153788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1567576 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            8532 kB
Writeback:           0 kB
Mapped:         103896 kB
Slab:            60956 kB
Committed_AS:  1023516 kB
PageTables:       1924 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= 66416 MiB
End job on node49 at 2009-07-12 17:55:38