Trace number 2097836

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 ESACSAT 64.8751 65.5358

DiagnosticValue
CHECKS21884100
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.03/0.09	
0.03/0.09	Abscon 112 (May, 2008)
0.18/0.26	
0.18/0.26	   configuration
0.18/0.26	     name=esac.xml
0.28/0.30	   
0.28/0.30	   instance
0.28/0.30	     name=HOME/instance-2097836-1247414074.xml
0.28/0.34	   
0.28/0.34	   domains being loaded...
0.28/0.38	   
0.28/0.38	   variables being loaded...
0.57/0.68	     nbVariables=1500  nbDomainTypes=17  minDomainSize=90  maxDomainSize=698  nbTotalValues=844907
0.57/0.68	       =>  wckTime=0.419  cpuTime=0.3  mem=35M288
0.57/0.68	   
0.57/0.68	   predicates being loaded...
0.67/0.75	   
0.67/0.75	   constraints being loaded...
20.59/20.86	   
20.59/20.86	   INFO : Stopping converting binary constraints (cpu=20.09, mem = 76M647)
28.10/28.43	     nbConstraints=11765  nbGlobalConstraints=42  nbMergedConstraints=10344  nbConvertedConstraints=89
28.10/28.43	     nbConvertConstraintsChecks=37325436  nbExtensionStructures=85  nbSharedExtensionStructures=6
28.10/28.43	     nbConflictsStructures=119  nbSharedConflictsStructures=71  nbUnbuiltConflictsStructures=7410
28.10/28.43	     nbSharedBinaryRepresentations=69628  nbEvaluationManagers=7444  nbSharedEvaluationManagers=4190  minDegree=3
28.10/28.43	     maxDegree=49  minArity=2  avgArity=2.01  maxArity=8  nbGenerators=0  nbFusions=0  symmetryWckTime=2.956
28.10/28.43	     symmetryCpuTime=2.74  nbCliques=42
28.10/28.43	       =>  wckTime=28.171  cpuTime=26.79  mem=82M348
28.40/28.79	   
28.40/28.79	   solver IterativeSystematicSolver being built... 
28.79/29.16	   
28.79/29.17	   INFO : Forward propagation technique limited 
28.99/29.38	       =>  wckTime=29.12  cpuTime=27.16  mem=147M278
39.69/40.14	   
39.69/40.14	   preprocessing
39.69/40.14	     nbConstraintChecks=21017230  nbValidityChecks=1410675  nbPropagations=3012  nbRevisions=53237
39.69/40.14	     nbUselessRevisions=44449  nbRemovedValues=818082  detectedInconsistency=no
39.69/40.14	       =>  wckTime=10.742  cpuTime=10.6  mem=147M278
64.75/65.40	   
64.75/65.40	   search
64.75/65.40	     run=1  nbConstraintChecks=866838  nbValidityChecks=1891850  minDepth=34  maxDepth=1500  nbPropagations=21205
64.75/65.40	     nbRevisions=324557  nbUselessRevisions=291906  nbAssignments=1883  nbFailedAssignments=15  nbInferredBacktracks=2
64.75/65.40	     nbBacktracks=36  nbVisitedNodes=1906  nbRestartNogoods=4  nbFoundSolutions=1  mapSize=13  nbInferences=0
64.75/65.40	     nbTooLargeKeys=154  nbSEliminables=0  nbREliminables=0  nbIEliminables=1191  nbDEliminables=0  nbPEliminables=0
64.75/65.40	       =>  wckTime=36.004  cpuTime=35.58  mem=180M487
64.75/65.40	   
64.75/65.40	   global
64.75/65.40	     nbConstraintChecks=21884068  nbValidityChecks=3302525  nbPropagations=24217  nbRevisions=377794
64.75/65.40	     nbUselessRevisions=336355  nbRestartNogoods=4  solvingWckTime=36.006  solvingCpuTime=35.58  expiredTime=no
64.75/65.40	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=62.7  globalCpuTime=62.79
64.75/65.40	       =>  wckTime=65.142  cpuTime=62.75  mem=180M487
64.75/65.47	   
64.75/65.47	s SATISFIABLE
64.75/65.47	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 2046 -2132 -2234 2052 1778 -2098 -2100 -1774 -2318 -1892 1996 2258 -1972 -2028 1820 -1798 2006 -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 1906 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 -1750 -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 -1866 2174 2044 -2326 2190 -2228 2238 -1778 -1688 1854 -1728 1994 2036 1732 -2326 -2376 2314 -2202 -1938 -2132 -2144 -2218 -1722 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 -1802 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 1724 -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 -1752 -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 1998 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 1722 -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 -1682 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 -1684 -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 -1712 -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 -1910 -1860 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 -1996 1956 -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 -1842 -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 2038 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 -1710 -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 -1682 -2314 2314 2312 -2142 2012 -2138 -2076 -2330 -2070 2354 -1802 2118 -2376 -2210 -1814 2158 -1870 1954 -2270 -2376 2038 1804 -2336 -2322 -2166 
64.75/65.47	d NODES 1883
64.75/65.47	d CHECKS 21884068
64.75/65.47	   
64.75/65.47	   totalWckTime=65.28  totalCpuTime=62.86

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-2097836-1247414074/watcher-2097836-1247414074 -o /tmp/evaluation-result-2097836-1247414074/solver-2097836-1247414074 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097836-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

[startup+0 s]
/proc/loadavg: 2.19 2.05 2.01 3/80 1188
/proc/meminfo: memFree=1617504/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=18576 CPUtime=0
/proc/1188/stat : 1188 (runsolver) R 1186 31822 31822 0 -1 4194368 12 0 0 0 0 0 0 0 21 0 1 0 28099154 19021824 282 996147200 4194304 4302564 548682068384 18446744073709551615 209171534560 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1188/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.0441009 s]
/proc/loadavg: 2.19 2.05 2.01 3/80 1188
/proc/meminfo: memFree=1617504/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=861936 CPUtime=0.03
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 2280 0 1 0 2 1 0 0 18 0 5 0 28099154 882622464 1882 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 215484 1896 867 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936

[startup+0.108328 s]
/proc/loadavg: 2.19 2.05 2.01 3/80 1188
/proc/meminfo: memFree=1617504/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=865984 CPUtime=0.09
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 3749 0 1 0 7 2 0 0 18 0 9 0 28099154 886767616 3215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216496 3215 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.302351 s]
/proc/loadavg: 2.19 2.05 2.01 3/80 1188
/proc/meminfo: memFree=1617504/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=866380 CPUtime=0.28
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 5781 0 1 0 25 3 0 0 18 0 9 0 28099154 887173120 5166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216595 5166 1963 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.701382 s]
/proc/loadavg: 2.19 2.05 2.01 3/80 1188
/proc/meminfo: memFree=1617504/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867500 CPUtime=0.67
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 13866 0 1 0 59 8 0 0 18 0 9 0 28099154 888320000 13221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216875 13221 2008 9 0 211333 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867500

[startup+1.50145 s]
/proc/loadavg: 2.18 2.05 2.01 4/89 1197
/proc/meminfo: memFree=1559320/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867500 CPUtime=1.47
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 22815 0 1 0 136 11 0 0 18 0 9 0 28099154 888320000 22144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216875 22144 2029 9 0 211333 0
[pid=1188/tid=1190] ppid=1186 vsize=867500 CPUtime=1.2
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 15795 0 1 0 112 8 0 0 25 0 9 0 28099155 888320000 22144 996147200 134512640 134550932 4294955968 18446744073709551615 4126617886 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867500 CPUtime=0.06
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 5680 0 0 0 5 1 0 0 17 0 9 0 28099157 888320000 22144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 22144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 22144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28099159 888320000 22144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867500 CPUtime=0.18
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 639 0 0 0 18 0 0 0 15 0 9 0 28099159 888320000 22144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28099159 888320000 22144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28099159 888320000 22144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867500

[startup+3.10259 s]
/proc/loadavg: 2.18 2.05 2.01 3/89 1197
/proc/meminfo: memFree=1524312/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867500 CPUtime=3.06
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 25879 0 1 0 293 13 0 0 18 0 9 0 28099154 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216875 25204 2032 9 0 211333 0
[pid=1188/tid=1190] ppid=1186 vsize=867500 CPUtime=2.68
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 15829 0 1 0 260 8 0 0 25 0 9 0 28099155 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4126934406 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867500 CPUtime=0.15
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 8693 0 0 0 12 3 0 0 17 0 9 0 28099157 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28099159 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867500 CPUtime=0.2
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 656 0 0 0 19 1 0 0 15 0 9 0 28099159 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28099159 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28099159 888320000 25204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867500

[startup+6.30287 s]
/proc/loadavg: 2.16 2.04 2.01 3/89 1197
/proc/meminfo: memFree=1523992/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867500 CPUtime=6.23
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 25886 0 1 0 610 13 0 0 18 0 9 0 28099154 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216875 25209 2032 9 0 211333 0
[pid=1188/tid=1190] ppid=1186 vsize=867500 CPUtime=5.85
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 15834 0 1 0 577 8 0 0 25 0 9 0 28099155 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4126936272 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867500 CPUtime=0.15
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 8693 0 0 0 12 3 0 0 16 0 9 0 28099157 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28099159 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867500 CPUtime=0.21
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 658 0 0 0 20 1 0 0 16 0 9 0 28099159 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28099159 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28099159 888320000 25209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867500

[startup+12.7024 s]
/proc/loadavg: 2.15 2.04 2.01 3/89 1197
/proc/meminfo: memFree=1523800/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867500 CPUtime=12.56
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 25892 0 1 0 1243 13 0 0 18 0 9 0 28099154 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216875 25213 2032 9 0 211333 0
[pid=1188/tid=1190] ppid=1186 vsize=867500 CPUtime=12.17
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 15836 0 1 0 1209 8 0 0 25 0 9 0 28099155 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4126931511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867500 CPUtime=0.15
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 8693 0 0 0 12 3 0 0 16 0 9 0 28099157 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28099159 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867500 CPUtime=0.22
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 662 0 0 0 21 1 0 0 15 0 9 0 28099159 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28099159 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28099159 888320000 25213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867500

[startup+25.5016 s]
/proc/loadavg: 2.13 2.04 2.01 3/89 1197
/proc/meminfo: memFree=1499288/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867500 CPUtime=25.24
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 32773 0 1 0 2508 16 0 0 18 0 9 0 28099154 888320000 32084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216875 32084 2034 9 0 211333 0
[pid=1188/tid=1190] ppid=1186 vsize=867500 CPUtime=24.26
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 15853 0 1 0 2418 8 0 0 25 0 9 0 28099155 888320000 32084 996147200 134512640 134550932 4294955968 18446744073709551615 4126103390 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867500 CPUtime=0.65
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 15507 0 0 0 59 6 0 0 16 0 9 0 28099157 888320000 32084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 32084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28099157 888320000 32084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28099159 888320000 32084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867500 CPUtime=0.3
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 712 0 0 0 29 1 0 0 16 0 9 0 28099159 888320000 32084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28099159 888320000 32084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867500 CPUtime=0
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28099159 888320000 32084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867500

[startup+51.1018 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 1203
/proc/meminfo: memFree=1413656/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867912 CPUtime=50.58
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 82991 845 1 0 5013 31 12 2 18 0 9 0 28099154 888741888 53347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216978 53347 2663 9 0 211414 0
[pid=1188/tid=1190] ppid=1186 vsize=867912 CPUtime=48.92
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 29715 845 1 0 4866 12 12 2 25 0 9 0 28099155 888741888 53347 996147200 134512640 134550932 4294955968 18446744073709551615 4127488819 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867912 CPUtime=1.31
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 51441 845 0 0 102 15 12 2 16 0 9 0 28099157 888741888 53347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 20 845 0 0 0 0 12 2 16 0 9 0 28099157 888741888 53347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 28 845 0 0 0 0 12 2 15 0 9 0 28099157 888741888 53347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 845 0 0 0 0 12 2 18 0 9 0 28099159 888741888 53347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867912 CPUtime=0.58
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 961 845 0 0 43 1 12 2 15 0 9 0 28099159 888741888 53347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 845 0 0 0 0 12 2 19 0 9 0 28099159 888741888 53347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 17 845 0 0 0 0 12 2 15 0 9 0 28099159 888741888 53347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 867912

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

[startup+57.5024 s]
/proc/loadavg: 2.07 2.03 2.01 3/89 1203
/proc/meminfo: memFree=1413720/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867912 CPUtime=56.92
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 82994 845 1 0 5647 31 12 2 18 0 9 0 28099154 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216978 53349 2663 9 0 211414 0
[pid=1188/tid=1190] ppid=1186 vsize=867912 CPUtime=55.26
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 29715 845 1 0 5500 12 12 2 25 0 9 0 28099155 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4127489719 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867912 CPUtime=1.31
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 51441 845 0 0 102 15 12 2 16 0 9 0 28099157 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 20 845 0 0 0 0 12 2 16 0 9 0 28099157 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 28 845 0 0 0 0 12 2 15 0 9 0 28099157 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 845 0 0 0 0 12 2 18 0 9 0 28099159 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867912 CPUtime=0.58
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 964 845 0 0 43 1 12 2 16 0 9 0 28099159 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 845 0 0 0 0 12 2 19 0 9 0 28099159 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 17 845 0 0 0 0 12 2 15 0 9 0 28099159 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 56.92
Current children cumulated vsize (KiB) 867912

[startup+60.7017 s]
/proc/loadavg: 2.06 2.03 2.01 4/89 1203
/proc/meminfo: memFree=1413720/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867912 CPUtime=60.09
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 82994 845 1 0 5964 31 12 2 18 0 9 0 28099154 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216978 53349 2663 9 0 211414 0
[pid=1188/tid=1190] ppid=1186 vsize=867912 CPUtime=58.43
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 29715 845 1 0 5817 12 12 2 25 0 9 0 28099155 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4127490374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867912 CPUtime=1.31
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 51441 845 0 0 102 15 12 2 16 0 9 0 28099157 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 20 845 0 0 0 0 12 2 16 0 9 0 28099157 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 28 845 0 0 0 0 12 2 15 0 9 0 28099157 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 845 0 0 0 0 12 2 18 0 9 0 28099159 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867912 CPUtime=0.58
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 964 845 0 0 43 1 12 2 16 0 9 0 28099159 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 845 0 0 0 0 12 2 19 0 9 0 28099159 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 17 845 0 0 0 0 12 2 15 0 9 0 28099159 888741888 53349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 60.09
Current children cumulated vsize (KiB) 867912

[startup+63.903 s]
/proc/loadavg: 2.06 2.03 2.01 3/89 1203
/proc/meminfo: memFree=1413720/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867912 CPUtime=63.27
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 83002 845 1 0 6281 32 12 2 18 0 9 0 28099154 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216978 53354 2663 9 0 211414 0
[pid=1188/tid=1190] ppid=1186 vsize=867912 CPUtime=61.6
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 29716 845 1 0 6133 13 12 2 25 0 9 0 28099155 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4127489720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867912 CPUtime=1.31
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 51441 845 0 0 102 15 12 2 17 0 9 0 28099157 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 20 845 0 0 0 0 12 2 16 0 9 0 28099157 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 28 845 0 0 0 0 12 2 15 0 9 0 28099157 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 845 0 0 0 0 12 2 18 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867912 CPUtime=0.59
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 971 845 0 0 44 1 12 2 16 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 845 0 0 0 0 12 2 19 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 17 845 0 0 0 0 12 2 15 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.27
Current children cumulated vsize (KiB) 867912

[startup+64.702 s]
/proc/loadavg: 2.06 2.03 2.01 3/89 1203
/proc/meminfo: memFree=1413720/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867912 CPUtime=64.06
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 83002 845 1 0 6360 32 12 2 18 0 9 0 28099154 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216978 53354 2663 9 0 211414 0
[pid=1188/tid=1190] ppid=1186 vsize=867912 CPUtime=62.39
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 29716 845 1 0 6212 13 12 2 25 0 9 0 28099155 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4127490332 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867912 CPUtime=1.31
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 51441 845 0 0 102 15 12 2 16 0 9 0 28099157 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 20 845 0 0 0 0 12 2 16 0 9 0 28099157 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 28 845 0 0 0 0 12 2 15 0 9 0 28099157 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 845 0 0 0 0 12 2 18 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867912 CPUtime=0.59
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 971 845 0 0 44 1 12 2 16 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 845 0 0 0 0 12 2 19 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 17 845 0 0 0 0 12 2 15 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.06
Current children cumulated vsize (KiB) 867912

[startup+65.1021 s]
/proc/loadavg: 2.06 2.03 2.01 3/89 1203
/proc/meminfo: memFree=1413720/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867912 CPUtime=64.46
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 83002 845 1 0 6400 32 12 2 18 0 9 0 28099154 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216978 53354 2663 9 0 211414 0
[pid=1188/tid=1190] ppid=1186 vsize=867912 CPUtime=62.79
/proc/1188/task/1190/stat : 1190 (java) R 1186 1188 31822 0 -1 64 29716 845 1 0 6252 13 12 2 25 0 9 0 28099155 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4127490503 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867912 CPUtime=1.31
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 51441 845 0 0 102 15 12 2 16 0 9 0 28099157 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 20 845 0 0 0 0 12 2 16 0 9 0 28099157 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 28 845 0 0 0 0 12 2 15 0 9 0 28099157 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 845 0 0 0 0 12 2 18 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867912 CPUtime=0.59
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 971 845 0 0 44 1 12 2 16 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 845 0 0 0 0 12 2 19 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 17 845 0 0 0 0 12 2 15 0 9 0 28099159 888741888 53354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.46
Current children cumulated vsize (KiB) 867912

[startup+65.5021 s]
/proc/loadavg: 2.06 2.03 2.01 3/89 1203
/proc/meminfo: memFree=1413720/2055920 swapFree=4192812/4192956
[pid=1188] ppid=1186 vsize=867912 CPUtime=64.83
/proc/1188/stat : 1188 (java) S 1186 1188 31822 0 -1 0 83016 845 1 0 6437 32 12 2 18 0 9 0 28099154 888741888 53359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1188/statm: 216978 53359 2663 9 0 211414 0
[pid=1188/tid=1190] ppid=1186 vsize=867912 CPUtime=63.15
/proc/1188/task/1190/stat : 1190 (java) S 1186 1188 31822 0 -1 64 29727 845 1 0 6288 13 12 2 25 0 9 0 28099155 888741888 53359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1191] ppid=1186 vsize=867912 CPUtime=1.31
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 31822 0 -1 64 51441 845 0 0 102 15 12 2 17 0 9 0 28099157 888741888 53359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1192] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 31822 0 -1 64 20 845 0 0 0 0 12 2 16 0 9 0 28099157 888741888 53359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1193] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 31822 0 -1 64 28 845 0 0 0 0 12 2 15 0 9 0 28099157 888741888 53359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1194] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 31822 0 -1 64 2 845 0 0 0 0 12 2 18 0 9 0 28099159 888741888 53359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1195] ppid=1186 vsize=867912 CPUtime=0.6
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 31822 0 -1 64 974 845 0 0 45 1 12 2 15 0 9 0 28099159 888741888 53359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1196] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 31822 0 -1 64 0 845 0 0 0 0 12 2 19 0 9 0 28099159 888741888 53359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1188/tid=1197] ppid=1186 vsize=867912 CPUtime=0.14
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 31822 0 -1 64 17 845 0 0 0 0 12 2 15 0 9 0 28099159 888741888 53359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.83
Current children cumulated vsize (KiB) 867912

Child status: 0
Real time (s): 65.5358
CPU time (s): 64.8751
CPU user time (s): 64.5012
CPU system time (s): 0.373943
CPU usage (%): 98.9919
Max. virtual memory (cumulated for all children) (KiB): 867912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.5012
system time used= 0.373943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83890
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= 3860
involuntary context switches= 5267

runsolver used 0.098984 second user time and 0.211967 second system time

The end

Launcher Data 

Begin job on node41 at 2009-07-12 17:54:34
IDJOB=2097836
IDBENCH=57844
IDSOLVER=774
FILE ID=node41/2097836-1247414074
PBS_JOBID= 9510562
Free space on /tmp= 65884 MiB

SOLVER NAME= Abscon 112v4 ESAC
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 esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097836-1247414074/watcher-2097836-1247414074 -o /tmp/evaluation-result-2097836-1247414074/solver-2097836-1247414074 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097836-1247414074.xml

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

MD5SUM BENCH= f8967b949e05aa4191b080a54ba762cf
RANDOM SEED=1309251996

node41.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.212
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	: 5931.00
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.212
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:       1617984 kB
Buffers:         39828 kB
Cached:         140644 kB
SwapCached:          0 kB
Active:         297844 kB
Inactive:        82052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617984 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5220 kB
Writeback:           0 kB
Mapped:         219832 kB
Slab:            42936 kB
Committed_AS:  1021904 kB
PageTables:       2100 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65880 MiB
End job on node41 at 2009-07-12 17:55:40