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.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2097833-1247414073.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.59/0.63 nbVariables=1500 nbDomainTypes=17 minDomainSize=90 maxDomainSize=698 nbTotalValues=844907
0.59/0.63 => wckTime=0.388 cpuTime=0.28 mem=35M288
0.59/0.63
0.59/0.63 predicates being loaded...
0.59/0.69
0.59/0.69 constraints being loaded...
20.69/20.80
20.69/20.80 INFO : Stopping converting binary constraints (cpu=20.17, mem = 77M190)
27.74/27.93 nbConstraints=11763 nbGlobalConstraints=40 nbMergedConstraints=10344 nbConvertedConstraints=96
27.74/27.93 nbConvertConstraintsChecks=40774280 nbExtensionStructures=92 nbSharedExtensionStructures=6
27.74/27.93 nbConflictsStructures=130 nbSharedConflictsStructures=67 nbUnbuiltConflictsStructures=7401
27.74/27.93 nbSharedBinaryRepresentations=80976 nbEvaluationManagers=7439 nbSharedEvaluationManagers=4188 minDegree=3
27.74/27.93 maxDegree=49 minArity=2 avgArity=2.01 maxArity=8 nbGenerators=0 nbFusions=0 symmetryWckTime=2.789
27.74/27.93 symmetryCpuTime=2.57 nbCliques=40
27.74/27.93 => wckTime=27.684 cpuTime=26.47 mem=83M318
28.04/28.27
28.04/28.27 solver IterativeSystematicSolver being built...
28.44/28.64
28.44/28.64 INFO : Forward propagation technique limited
28.63/28.85 => wckTime=28.607 cpuTime=26.83 mem=147M185
39.38/39.70
39.38/39.70 preprocessing
39.38/39.70 nbConstraintChecks=23453122 nbValidityChecks=1473631 nbPropagations=2795 nbRevisions=51270
39.38/39.70 nbUselessRevisions=42827 nbRemovedValues=813240 detectedInconsistency=no
39.38/39.70 => wckTime=10.829 cpuTime=10.74 mem=147M185
57.40/57.75
57.40/57.75 search
57.40/57.75 run=0 nbConstraintChecks=939458 nbValidityChecks=1549138 minDepth=1273 maxDepth=1500 nbPropagations=11432
57.40/57.75 nbRevisions=160548 nbUselessRevisions=144103 nbAssignments=1501 nbFailedAssignments=1 nbBacktracks=0
57.40/57.75 nbVisitedNodes=1503 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=0 nbInferences=0 nbTooLargeKeys=274
57.40/57.75 nbSEliminables=0 nbREliminables=0 nbIEliminables=1057.77 nbDEliminables=0 nbPEliminables=0
57.40/57.75 => wckTime=28.882 cpuTime=28.66 mem=179M882
57.40/57.75
57.40/57.75 global
57.40/57.75 nbConstraintChecks=24392580 nbValidityChecks=3022769 nbPropagations=14227 nbRevisions=211818
57.40/57.75 nbUselessRevisions=186930 nbRestartNogoods=0 solvingWckTime=28.884 solvingCpuTime=28.66 expiredTime=no
57.40/57.75 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=55.46 globalCpuTime=55.55
57.40/57.75 => wckTime=57.506 cpuTime=55.51 mem=179M882
57.50/57.81
57.50/57.81 s SATISFIABLE
57.50/57.81 v -2352 2114 -1794 -1850 2156 -2336 -1868 -2166 -1696 -2256 -2108 -2286 1904 -2196 1720 -2224 2186 1802 -2214 -2254 -2100 -2224 -1876 -2318 -2034 -1684 -2060 -2004 -2376 1852 -1984 -2318 2060 -2132 -2222 -1908 2376 -2210 -1686 1806 -2246 -1724 -1950 -1768 -1830 2290 -2326 -1780 2208 2230 -1736 -1996 -1680 -2300 -2078 -1854 -2172 -2224 2088 -1906 2132 -2368 -1800 -2206 2136 1692 -2172 2016 -2100 -2264 -1704 2338 1946 -1728 -2260 2016 -2030 -1964 -2286 -1728 -1734 -1680 -1764 -2082 -2360 -2078 -2356 -2336 -1924 1998 -1872 -2196 -2326 -1846 -2126 1970 2354 -2000 -1944 -2268 -2260 -1868 -2138 2046 2130 2234 2054 1778 -2098 -2102 -1774 -2320 1888 -1996 2256 -1966 -2030 1822 -1802 2006 -1728 -1786 -2336 1796 2254 2112 -2026 -2074 2286 -2356 -2100 1790 -1862 1988 -1922 2140 -1854 -1916 -1732 1686 1820 -2028 -2336 2276 -2302 -2194 1736 -2028 -1914 -2136 -2336 -2290 2204 -2250 -2286 -1814 1908 -1742 2308 -2032 2328 2044 1816 -1862 2184 2252 2044 2012 -2070 -1782 -2224 -2316 -1696 1898 -2168 1770 -2210 2066 2168 -2168 -2166 -2050 2066 -1946 1994 -2246 -2026 -1916 -2376 -2336 1732 -1728 -1698 1682 -1688 2208 2116 -2198 1806 -2264 1924 -2282 -2132 -2174 2214 -2246 -2286 -1832 -1754 2236 -1818 1986 -2070 2228 -2100 2168 2226 -2376 -2040 -2178 -2254 2026 1856 2030 -2074 -2356 -1768 -2276 -2356 2324 1958 -1740 -1874 -2132 -2286 2260 -2206 1732 -2334 1942 -1740 -2314 2156 -1918 2290 -1892 -2092 -2010 1942 2228 -1712 -1880 2212 2228 1732 -2336 -2120 -1692 2128 -2060 -2114 -2098 2096 -2010 -1896 2286 -2038 2252 -2160 1982 -1692 -1878 -2208 -2122 -1748 -1720 -2066 -1680 -2182 -2316 -1688 1772 -1784 1798 1748 -1910 -2212 -2268 -2336 -2140 -2214 1802 2022 2102 -1876 -1744 -2120 -2238 2088 -1682 2244 1810 -2346 1730 -2018 2258 -1924 2324 -1820 -2026 1696 -1720 -2210 -1802 -1824 -2132 -2286 -2134 -1912 1930 -1982 2250 -2362 -2120 -1720 2148 -1842 2130 2090 -1994 2292 2170 2208 2206 -2356 2300 2336 1688 1882 -1772 -2372 2376 -2238 -1930 -2098 -1882 1736 -2224 -2168 -2294 2092 1986 1896 1732 -2070 -2142 -1688 1680 2066 -2168 -2208 -2262 1982 -2316 1876 -1894 -2336 -2336 -1838 -2218 -2264 -1950 2208 1720 -1844 -2234 -2172 -1878 -1850 1828 -1688 -1938 2056 -1890 2144 -1828 -1872 2322 -2216 -1880 -2282 -1868 -2168 2046 -2328 2188 -2230 2248 -1776 -1692 -1856 1680 1996 2036 -1728 -2326 -2376 2316 -2202 -1938 -2128 -2144 -2218 -1720 1762 2276 -2340 1884 2216 -2140 -1772 -2066 -1896 1880 -1680 2274 -1960 -1922 -2076 1940 2130 -1870 -1742 1762 2130 2194 1976 -2220 2146 -2132 -2286 1732 -2168 -2184 -2072 -1742 -2320 -2092 -2292 1680 1720 -2224 -2284 -1872 -2224 1972 -2336 -2206 -1802 -2190 -2082 -2156 1764 1830 2200 -1988 -2002 -1742 1804 -2326 -2034 1864 1680 -1984 1884 -2300 -2288 2038 -2018 -2154 1916 1680 -2264 2254 2010 1870 2156 -1720 -2264 -2238 1936 2018 -2298 2264 -1796 -2336 -2030 1722 2374 -2376 -1924 2000 -2170 -2264 -2206 -1782 2158 1764 1920 -2248 -2142 -2294 -2164 1996 1780 -2370 -1724 -2316 1838 -1992 2188 2202 -2246 2246 1864 1702 2100 -2314 2068 -2352 2134 -2078 -2014 1970 2000 2056 2332 -1824 1856 2354 -2202 -1728 -1876 -1680 -2292 2278 -1944 -1998 -2330 -2326 -2286 2274 -1882 -2326 -2278 1808 1938 2160 -2264 -1916 -1860 -2334 1958 1984 -2088 2070 -2324 -2032 1842 -1840 -2326 -2104 1804 -2140 2064 -1840 -2250 2060 -2262 -2084 1920 -1694 -1784 1810 -2376 -2356 -1748 2042 -1722 -1920 -2318 1974 -2246 -2314 1838 -2066 -2186 -2142 2336 -2316 -2308 -1756 -1852 1720 2060 1800 -1756 1918 1754 -1788 1836 -2376 2284 -2336 -1686 -1726 -2142 -1680 -1990 2206 2106 2000 2074 -2360 2172 -2224 -1966 -1890 2116 -2100 -2098 1948 1982 -2264 -2140 2126 1728 1698 -1766 -1726 2220 -2068 -2336 -2018 -2242 2334 -1918 2080 -2292 -1720 1902 -1878 -2374 2376 -1924 -2172 -1992 1964 -2334 2110 1718 -2224 -1964 -1872 -2108 2174 -1728 -2136 2360 -2160 2284 -1812 -2210 1814 -2058 -1898 -2080 -1926 1976 1822 1804 -2142 -2092 1994 -2170 -2250 1860 1876 2144 -1948 -1992 -1734 -1696 -2168 -1960 -1946 -2092 1988 1850 2004 1942 -2078 1718 -2190 2032 -1680 -2090 -2124 2074 -2264 -1916 -2316 2264 -2124 -1920 -1730 -2210 -1744 -2290 2176 2214 -2214 -2336 -2008 2262 -1774 -1824 2214 2150 1740 2076 -2182 2334 1722 -2376 2314 -1912 2060 1874 -1896 1724 2108 2048 -1872 -1858 2072 1720 -2130 -1688 1908 -1708 -2096 -1814 -2334 -2286 -1738 -2140 -2314 2050 -2212 2194 -1700 2178 -1842 -2012 -2306 2156 1776 -1944 2318 1764 -2172 -2030 2012 -2334 -2358 1966 -1682 2070 -2022 -1900 -1970 2140 -2232 1852 -2186 -2032 2326 -1714 -1680 -2002 -2326 -1680 2074 -1722 -2190 1720 1838 -1916 -1726 1744 -2142 -2116 -1916 -2198 2332 -2146 1878 -2088 1816 2364 -2068 -1708 -2208 -2252 1720 1898 -2334 2298 2242 2256 -1682 -2224 -2376 -1812 -2028 2316 2188 -2094 1918 2192 -2212 1750 -1684 -2288 -2376 -1680 -2058 -1956 1942 2252 1982 2184 -2212 -1738 -1844 -2330 2086 -2208 -2376 -1806 -2042 1744 -1874 1802 1688 1726 -2070 1702 -1826 -1708 -2182 2264 -2090 1956 2148 2278 2158 -2336 -2078 -2176 -2194 -2038 -2116 2252 -1728 -2336 2204 2098 -1758 -2030 -2010 -2148 -2102 2206 1984 -1720 -2068 -2070 -1990 -2204 1884 2038 -1910 2316 -1804 -2104 2208 2184 -1986 2312 1914 -2316 -2042 -2208 -1714 2268 -2336 -1790 -2264 -2376 -1916 -1876 -2126 -1866 -2246 2224 1954 -2088 -2182 -2326 1744 -2376 -2246 1772 -2208 -1784 -1916 -1792 -2356 -2040 -1698 1864 -1876 -2166 -2336 -2168 -1912 -1862 2012 1982 2278 2284 -2250 -2020 -2124 -2142 -2142 -2128 2154 -1758 1920 -2142 -1812 -2296 2048 2026 -2010 1686 2056 -2328 1682 2154 1752 1810 -2210 -2050 -2354 -2336 -2294 -2140 -2322 -2376 -2250 -2326 -1782 -1968 1766 -2116 -1842 2066 2208 -1936 -1726 1844 1880 1690 -2062 -1918 2330 -2162 -1680 -1862 -1780 1708 -1692 -1866 -2322 -1990 1876 2270 -2376 -1850 2174 1802 2336 -2184 -2216 1704 1880 -2092 2242 1910 2026 -1732 2214 -1706 2180 2330 1752 2276 -2334 -2102 -1910 2216 2176 2288 -2182 -1996 1956 -1904 -2228 2212 -1928 -2376 -2294 -2164 1876 -2340 1920 1856 2174 -2376 -2182 -2368 -2286 2336 2024 -2280 -2280 2376 -1878 -1834 -1684 2236 2020 2026 1680 1902 -2132 -2132 -1748 -2006 -2132 -1746 -2100 1964 -2092 1774 2290 -2122 1970 -2166 -1698 -1942 1826 1784 1948 -2376 -1688 -2224 1740 -1926 -1990 -2228 -1816 -2160 -2058 -1722 1726 -2050 1774 -2030 -1848 -2030 2264 -2092 1936 1822 -2146 -2356 -2076 -2286 -1936 -2224 -2066 -1842 -1920 -1922 -1680 2136 -2336 1886 -2224 2196 -2286 -2354 -2376 -1876 2350 -1880 -1720 2198 -2286 -2356 -1972 -2030 -1942 -2026 -2264 -1966 -1738 2116 -2328 -2058 -2336 2208 -1690 -2068 -1680 1700 1876 -2322 1734 -2038 1712 2314 -2140 -2118 -2100 -2324 -1916 -1924 2286 2256 -2376 1736 -2030 1846 -1688 -1940 -2066 -1684 1720 1754 -1960 2236 2354 -1754 2088 -1842 -1956 -1680 -2268 -2090 -1796 2104 -1768 -2200 -2332 2294 -2294 2320 -1836 -2168 -2180 -1828 2026 -1846 2270 2376 -1682 -1720 2040 1752 2128 -2038 -2210 -2128 -1800 1684 -2090 1884 -1726 -2026 -1754 -2316 1780 -1880 -1982 2362 -2166 -2098 -2336 2224 1832 1724 1982 2036 1744 -2336 -2268 1958 -1846 1720 2040 2334 1910 -2134 -1958 -1692 -2066 2084 2076 -2288 1998 -2258 1912 2294 2330 1740 -2224 -2138 -2100 2320 -1686 2082 -2218 -2164 -2128 -2336 -2122 -2164 2354 -2104 2258 -2022 -2174 -1726 -2206 -1688 -2170 -2334 -2010 -2168 -2034 -2182 -2356 -2026 -2230 1736 -2168 1890 -2138 -2224 -1720 1784 2336 -1864 1952 -1876 -2100 -1890 2004 2324 1870 1978 -2316 2082 -1916 -2358 -1694 -2336 -1708 -1720 -1926 -2294 -1680 2170 2052 -1700 -2224 -1876 1918 1720 -1720 2190 1722 -2376 1884 1686 -2116 2230 2376 2222 2108 1878 -2264 2042 -2028 -2316 1728 2054 1788 -2092 1740 -2118 -2376 -2138 2046 1840 -2132 -2058 -2144 -1822 2108 -2170 1738 -2348 -1740 -2376 2086 -2022 -2372 2332 -1814 2348 1728 -1828 1868 1896 1906 2194 2212 -2132 -2336 -2354 -2034 -2128 -1836 -1886 -2356 -2264 -1878 -2198 2128 -2210 -2132 -2162 2116 2222 -2166 -1682 -1858 -1904 -1896 -1680 -2336 -1900 2102 -2238 -2182 -1736 1816 2310 -1798 -2282 -1696 -1720 2158 -2180 -1708 2154 -2094 -1748 2254 2122 2224 1846 2376 -2240 1888 -2364 1916 -2290 -1982 -2376 1804 2006 2252 2150 2234 -2248 -2376 2264 -2028 -2248 -1724 -2106 -2316 1876 -1936 2162 -2294 -2224 -2130 2168 -2176 2248 2034 -1972 -2144 1722 1784 2250 -2000 2246 -2062 -1930 -2254 -2310 -1760 -2308 2224 2314 1904 -1696 -2110 2190 1986 1738 2154 2374 -2070 -2140 1722 -2024 -2126 -2218 -2180 -1992 1714 -2228 -2304 -2312 -1916 -1724 -1870 -1794 -1680 -1748 2240 2290 -1720 -1680 -2316 -2318 -2308 -2142 2016 -2138 -2078 -2328 -2068 2356 1808 2114 -2376 -2208 -1812 -2156 -1872 1956 -2264 -2376 2040 1812 -2336 -2324 -2166
57.50/57.81 d NODES 1501
57.50/57.81 d CHECKS 24392580
57.50/57.82
57.50/57.82 totalWckTime=57.636 totalCpuTime=55.62
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097833-1247414073/watcher-2097833-1247414073 -o /tmp/evaluation-result-2097833-1247414073/solver-2097833-1247414073 -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-2097833-1247414073.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: 2.27 2.11 2.03 4/81 32066
/proc/meminfo: memFree=1641368/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=10676 CPUtime=0
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28472876 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 2669 474 207 9 0 1184 0
[pid=32066/tid=32067] ppid=32064 vsize=10676 CPUtime=0
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28472877 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 5582808 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.109678 s]
/proc/loadavg: 2.27 2.11 2.03 4/81 32066
/proc/meminfo: memFree=1641368/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=865984 CPUtime=0.09
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 3945 0 1 0 7 2 0 0 18 0 9 0 28472876 886767616 3374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216496 3374 1767 9 0 210981 0
[pid=32066/tid=32067] ppid=32064 vsize=865984 CPUtime=0.07
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 3019 0 1 0 6 1 0 0 18 0 9 0 28472877 886767616 3374 996147200 134512640 134550932 4294955968 18446744073709551615 102240989 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.20169 s]
/proc/loadavg: 2.27 2.11 2.03 4/81 32066
/proc/meminfo: memFree=1641368/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=866144 CPUtime=0.19
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 4898 0 1 0 16 3 0 0 18 0 9 0 28472876 886931456 4315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216536 4315 1888 9 0 211014 0
[pid=32066/tid=32067] ppid=32064 vsize=866144 CPUtime=0.17
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 3970 0 1 0 15 2 0 0 18 0 9 0 28472877 886931456 4315 996147200 134512640 134550932 4294955968 18446744073709551615 4126410779 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866144
[startup+0.3017 s]
/proc/loadavg: 2.27 2.11 2.03 4/81 32066
/proc/meminfo: memFree=1641368/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=866380 CPUtime=0.28
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 6003 0 1 0 25 3 0 0 18 0 9 0 28472876 887173120 5369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216595 5369 1986 9 0 211053 0
[pid=32066/tid=32067] ppid=32064 vsize=866380 CPUtime=0.23
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 5024 0 1 0 21 2 0 0 19 0 9 0 28472877 887173120 5369 996147200 134512640 134550932 4294955968 18446744073709551615 103797634 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701738 s]
/proc/loadavg: 2.27 2.11 2.03 4/81 32066
/proc/meminfo: memFree=1641368/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867588 CPUtime=0.68
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 14270 0 1 0 61 7 0 0 18 0 9 0 28472876 888410112 13624 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216897 13624 2037 9 0 211333 0
[pid=32066/tid=32067] ppid=32064 vsize=867588 CPUtime=0.52
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 12949 0 1 0 46 6 0 0 21 0 9 0 28472877 888410112 13624 996147200 134512640 134550932 4294955968 18446744073709551615 101450293 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867588
[startup+1.50283 s]
/proc/loadavg: 2.27 2.11 2.03 3/90 32075
/proc/meminfo: memFree=1560400/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867500 CPUtime=1.48
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 22817 0 1 0 138 10 0 0 18 0 9 0 28472876 888320000 22146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216875 22146 2029 9 0 211333 0
[pid=32066/tid=32067] ppid=32064 vsize=867500 CPUtime=1.23
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 15797 0 1 0 115 8 0 0 25 0 9 0 28472877 888320000 22146 996147200 134512640 134550932 4294955968 18446744073709551615 101450289 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867500 CPUtime=0.06
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 5680 0 0 0 5 1 0 0 17 0 9 0 28472878 888320000 22146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 28472879 888320000 22146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 28472879 888320000 22146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28472881 888320000 22146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867500 CPUtime=0.17
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 638 0 0 0 17 0 0 0 16 0 9 0 28472881 888320000 22146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28472881 888320000 22146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32075/stat : 32075 (java) R 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28472881 888320000 22146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867500
[startup+3.10299 s]
/proc/loadavg: 2.27 2.11 2.03 3/90 32075
/proc/meminfo: memFree=1548048/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867500 CPUtime=3.08
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 25880 0 1 0 295 13 0 0 18 0 9 0 28472876 888320000 25205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216875 25205 2032 9 0 211333 0
[pid=32066/tid=32067] ppid=32064 vsize=867500 CPUtime=2.72
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 15829 0 1 0 264 8 0 0 25 0 9 0 28472877 888320000 25205 996147200 134512640 134550932 4294955968 18446744073709551615 4126931628 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867500 CPUtime=0.13
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 8693 0 0 0 11 2 0 0 17 0 9 0 28472878 888320000 25205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 28472879 888320000 25205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 28472879 888320000 25205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28472881 888320000 25205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867500 CPUtime=0.19
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 656 0 0 0 19 0 0 0 15 0 9 0 28472881 888320000 25205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28472881 888320000 25205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28472881 888320000 25205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867500
[startup+6.30132 s]
/proc/loadavg: 2.25 2.10 2.03 3/90 32075
/proc/meminfo: memFree=1547728/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867500 CPUtime=6.26
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 25887 0 1 0 613 13 0 0 18 0 9 0 28472876 888320000 25210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216875 25210 2032 9 0 211333 0
[pid=32066/tid=32067] ppid=32064 vsize=867500 CPUtime=5.9
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 15834 0 1 0 582 8 0 0 25 0 9 0 28472877 888320000 25210 996147200 134512640 134550932 4294955968 18446744073709551615 4126931638 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867500 CPUtime=0.13
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 8693 0 0 0 11 2 0 0 16 0 9 0 28472878 888320000 25210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 28472879 888320000 25210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 28472879 888320000 25210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28472881 888320000 25210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867500 CPUtime=0.19
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 658 0 0 0 19 0 0 0 16 0 9 0 28472881 888320000 25210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28472881 888320000 25210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28472881 888320000 25210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867500
[startup+12.703 s]
/proc/loadavg: 2.23 2.10 2.03 3/90 32075
/proc/meminfo: memFree=1547600/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867500 CPUtime=12.63
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 25893 0 1 0 1250 13 0 0 18 0 9 0 28472876 888320000 25214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216875 25214 2032 9 0 211333 0
[pid=32066/tid=32067] ppid=32064 vsize=867500 CPUtime=12.27
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 15834 0 1 0 1218 9 0 0 25 0 9 0 28472877 888320000 25214 996147200 134512640 134550932 4294955968 18446744073709551615 4126939831 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867500 CPUtime=0.13
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 8693 0 0 0 11 2 0 0 16 0 9 0 28472878 888320000 25214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 28472879 888320000 25214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 28472879 888320000 25214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28472881 888320000 25214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867500 CPUtime=0.2
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 664 0 0 0 20 0 0 0 15 0 9 0 28472881 888320000 25214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28472881 888320000 25214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867500 CPUtime=0
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28472881 888320000 25214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 867500
[startup+25.5023 s]
/proc/loadavg: 2.18 2.10 2.03 3/92 32077
/proc/meminfo: memFree=1519176/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867824 CPUtime=25.35
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 33807 847 1 0 2504 18 12 1 18 0 9 0 28472876 888651776 32095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216956 32095 2046 9 0 211414 0
[pid=32066/tid=32067] ppid=32064 vsize=867824 CPUtime=24.39
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 16657 847 1 0 2416 10 12 1 23 0 9 0 28472877 888651776 32095 996147200 134512640 134550932 4294955968 18446744073709551615 4127253012 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867824 CPUtime=0.77
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 15515 847 0 0 58 6 12 1 16 0 9 0 28472878 888651776 32095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867824 CPUtime=0.13
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 16 847 0 0 0 0 12 1 17 0 9 0 28472879 888651776 32095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867824 CPUtime=0.13
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 5 847 0 0 0 0 12 1 17 0 9 0 28472879 888651776 32095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867824 CPUtime=0.13
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 18 0 9 0 28472881 888651776 32095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867824 CPUtime=0.41
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 788 847 0 0 28 0 12 1 15 0 9 0 28472881 888651776 32095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867824 CPUtime=0.13
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 19 0 9 0 28472881 888651776 32095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867824 CPUtime=0.13
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 11 847 0 0 0 0 12 1 15 0 9 0 28472881 888651776 32095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867824
[startup+51.102 s]
/proc/loadavg: 2.11 2.09 2.03 3/90 32079
/proc/meminfo: memFree=1437520/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867912 CPUtime=50.83
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 82979 847 1 0 5038 32 12 1 18 0 9 0 28472876 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216978 53307 2664 9 0 211414 0
[pid=32066/tid=32067] ppid=32064 vsize=867912 CPUtime=49.24
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 29619 847 1 0 4899 12 12 1 25 0 9 0 28472877 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4127488982 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867912 CPUtime=1.26
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 51528 847 0 0 98 15 12 1 16 0 9 0 28472878 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 21 847 0 0 0 0 12 1 16 0 9 0 28472879 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 26 847 0 0 0 0 12 1 15 0 9 0 28472879 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 18 0 9 0 28472881 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867912 CPUtime=0.53
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 955 847 0 0 39 1 12 1 15 0 9 0 28472881 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 19 0 9 0 28472881 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 15 847 0 0 0 0 12 1 15 0 9 0 28472881 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 867912
Solver just ended. Dumping a history of the last processes samples
[startup+51.202 s]
/proc/loadavg: 2.11 2.09 2.03 3/90 32079
/proc/meminfo: memFree=1437520/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867912 CPUtime=50.93
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 82979 847 1 0 5048 32 12 1 18 0 9 0 28472876 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216978 53307 2664 9 0 211414 0
[pid=32066/tid=32067] ppid=32064 vsize=867912 CPUtime=49.34
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 29619 847 1 0 4909 12 12 1 25 0 9 0 28472877 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4127488973 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867912 CPUtime=1.26
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 51528 847 0 0 98 15 12 1 16 0 9 0 28472878 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 21 847 0 0 0 0 12 1 16 0 9 0 28472879 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 26 847 0 0 0 0 12 1 15 0 9 0 28472879 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 18 0 9 0 28472881 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867912 CPUtime=0.53
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 955 847 0 0 39 1 12 1 15 0 9 0 28472881 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 19 0 9 0 28472881 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 15 847 0 0 0 0 12 1 15 0 9 0 28472881 888741888 53307 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 867912
[startup+54.4024 s]
/proc/loadavg: 2.11 2.09 2.03 3/90 32079
/proc/meminfo: memFree=1437520/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867912 CPUtime=54.11
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 82981 847 1 0 5366 32 12 1 18 0 9 0 28472876 888741888 53308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216978 53308 2664 9 0 211414 0
[pid=32066/tid=32067] ppid=32064 vsize=867912 CPUtime=52.52
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 29619 847 1 0 5227 12 12 1 25 0 9 0 28472877 888741888 53308 996147200 134512640 134550932 4294955968 18446744073709551615 4127495689 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867912 CPUtime=1.26
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 51528 847 0 0 98 15 12 1 17 0 9 0 28472878 888741888 53308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 21 847 0 0 0 0 12 1 16 0 9 0 28472879 888741888 53308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 26 847 0 0 0 0 12 1 15 0 9 0 28472879 888741888 53308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 18 0 9 0 28472881 888741888 53308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867912 CPUtime=0.54
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 957 847 0 0 40 1 12 1 17 0 9 0 28472881 888741888 53308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 19 0 9 0 28472881 888741888 53308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 15 847 0 0 0 0 12 1 15 0 9 0 28472881 888741888 53308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 54.11
Current children cumulated vsize (KiB) 867912
[startup+56.0025 s]
/proc/loadavg: 2.11 2.09 2.03 3/90 32079
/proc/meminfo: memFree=1437520/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867912 CPUtime=55.71
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 82983 847 1 0 5526 32 12 1 18 0 9 0 28472876 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216978 53309 2664 9 0 211414 0
[pid=32066/tid=32067] ppid=32064 vsize=867912 CPUtime=54.11
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 29621 847 1 0 5386 12 12 1 25 0 9 0 28472877 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4127488976 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867912 CPUtime=1.26
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 51528 847 0 0 98 15 12 1 17 0 9 0 28472878 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 21 847 0 0 0 0 12 1 16 0 9 0 28472879 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 26 847 0 0 0 0 12 1 15 0 9 0 28472879 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 18 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867912 CPUtime=0.54
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 957 847 0 0 40 1 12 1 17 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 19 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 15 847 0 0 0 0 12 1 15 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 55.71
Current children cumulated vsize (KiB) 867912
[startup+56.8016 s]
/proc/loadavg: 2.11 2.09 2.03 3/90 32079
/proc/meminfo: memFree=1437520/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867912 CPUtime=56.5
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 82983 847 1 0 5605 32 12 1 18 0 9 0 28472876 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216978 53309 2664 9 0 211414 0
[pid=32066/tid=32067] ppid=32064 vsize=867912 CPUtime=54.91
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 29621 847 1 0 5466 12 12 1 25 0 9 0 28472877 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4127488928 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867912 CPUtime=1.26
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 51528 847 0 0 98 15 12 1 17 0 9 0 28472878 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 21 847 0 0 0 0 12 1 16 0 9 0 28472879 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 26 847 0 0 0 0 12 1 15 0 9 0 28472879 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 18 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867912 CPUtime=0.54
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 957 847 0 0 40 1 12 1 17 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 19 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 15 847 0 0 0 0 12 1 15 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 56.5
Current children cumulated vsize (KiB) 867912
[startup+57.6017 s]
/proc/loadavg: 2.11 2.09 2.03 4/90 32079
/proc/meminfo: memFree=1437520/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867912 CPUtime=57.3
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 82983 847 1 0 5685 32 12 1 18 0 9 0 28472876 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216978 53309 2664 9 0 211414 0
[pid=32066/tid=32067] ppid=32064 vsize=867912 CPUtime=55.7
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 29621 847 1 0 5545 12 12 1 25 0 9 0 28472877 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4127489756 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867912 CPUtime=1.26
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 51528 847 0 0 98 15 12 1 16 0 9 0 28472878 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 21 847 0 0 0 0 12 1 16 0 9 0 28472879 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 26 847 0 0 0 0 12 1 15 0 9 0 28472879 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 18 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867912 CPUtime=0.54
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 957 847 0 0 40 1 12 1 17 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 19 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 15 847 0 0 0 0 12 1 15 0 9 0 28472881 888741888 53309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.3
Current children cumulated vsize (KiB) 867912
[startup+57.8017 s]
/proc/loadavg: 2.11 2.09 2.03 4/90 32079
/proc/meminfo: memFree=1437520/2055920 swapFree=4192812/4192956
[pid=32066] ppid=32064 vsize=867912 CPUtime=57.5
/proc/32066/stat : 32066 (java) S 32064 32066 30038 0 -1 0 82994 847 1 0 5705 32 12 1 18 0 9 0 28472876 888741888 53319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 216978 53319 2664 9 0 211414 0
[pid=32066/tid=32067] ppid=32064 vsize=867912 CPUtime=55.88
/proc/32066/task/32067/stat : 32067 (java) R 32064 32066 30038 0 -1 64 29623 847 1 0 5563 12 12 1 25 0 9 0 28472877 888741888 53319 996147200 134512640 134550932 4294955968 18446744073709551615 4127563019 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=867912 CPUtime=1.26
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 30038 0 -1 64 51528 847 0 0 98 15 12 1 16 0 9 0 28472878 888741888 53319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32070] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 30038 0 -1 64 21 847 0 0 0 0 12 1 16 0 9 0 28472879 888741888 53319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 30038 0 -1 64 26 847 0 0 0 0 12 1 15 0 9 0 28472879 888741888 53319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 18 0 9 0 28472881 888741888 53319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=867912 CPUtime=0.56
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 30038 0 -1 64 966 847 0 0 42 1 12 1 16 0 9 0 28472881 888741888 53319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 30038 0 -1 64 1 847 0 0 0 0 12 1 19 0 9 0 28472881 888741888 53319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32066/tid=32075] ppid=32064 vsize=867912 CPUtime=0.13
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 30038 0 -1 64 15 847 0 0 0 0 12 1 15 0 9 0 28472881 888741888 53319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.5
Current children cumulated vsize (KiB) 867912
Child status: 0
Real time (s): 57.8592
CPU time (s): 57.5612
CPU user time (s): 57.1913
CPU system time (s): 0.369943
CPU usage (%): 99.485
Max. virtual memory (cumulated for all children) (KiB): 872784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.1913
system time used= 0.369943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83877
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= 3671
involuntary context switches= 4333
runsolver used 0.075988 second user time and 0.19597 second system time
The end
Begin job on node79 at 2009-07-12 17:54:33
IDJOB=2097833
IDBENCH=57842
IDSOLVER=773
FILE ID=node79/2097833-1247414073
PBS_JOBID= 9510492
Free space on /tmp= 66348 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp35/normalized-fapp35-1500-9.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-2097833-1247414073/watcher-2097833-1247414073 -o /tmp/evaluation-result-2097833-1247414073/solver-2097833-1247414073 -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-2097833-1247414073.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fb81abe9ad9e3c26d2d93322f7bc814c
RANDOM SEED=406512819
node79.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.229
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.229
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1641784 kB
Buffers: 40392 kB
Cached: 160072 kB
SwapCached: 0 kB
Active: 253632 kB
Inactive: 100364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1641784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5336 kB
Writeback: 0 kB
Mapped: 173976 kB
Slab: 45124 kB
Committed_AS: 1024012 kB
PageTables: 2060 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= 66344 MiB
End job on node79 at 2009-07-12 17:55:31