0.00/0.00 c MoUsSaka vegetarian
0.19/0.23
0.19/0.23 s UNSATISFIABLE
10.49/10.57 c Core is minimal
10.49/10.57
10.49/10.57 v 3034 2992 3681 3042 3031 3842 3828 3994 3048 3523 3049 2989 3702 2993 3061 3954 3127 3035 3685 3698 3909 3916 2988 3961 3700 2991 3033 3032 3845 3456 3958 3012 3948 3040 15542 4042 15334 3011 2973 3762 2977 3594 3997 3745 3951 4038 4035 3524 3522 3804 2971 9755 2441 9773 15318 4046 9153 9143 9137 9140 9767 9732 1689 1685 1674 9125 1678 9740 1672 1683 1608 9131 9128 9134 1680 9117 9122 9738 1617 4041 8993 8981 9002 8999 8978 8996 1618 8975 8984 8987 8990 1609 1673 1679 1684 15270 1681 1675 1615 1614 1611 1613 1607 1616 1612 1606 8969 9005 8972 1610 9008 9006 8988 9171 9168 8967 1687 9770 8982 1690 1688 9009 8979 11593 1752 9003 9104 9743 9000 8991 8997 8994 9752 9101 9165 2096 2106 9162 2123 2115 9749 9741 2104 2094 2105 2093 9746 2102 2090 2101 2100 2092 2091 2089 2095 2099 2087 2097 1753 1757 1686 2103 2113 2121 2112 2120 1759 1758 9146 8985 9159 9761 9758 2098 9764 2454 8800 1751 9156 2448 2449 2445 2442 2446 2447 2444 2443 2452 2456 2458 2460 2457 2459 2453 2455 2450 2432 2434 2429 2433 2430 2431 2435 2436 2437 1750 1764 1749 15526 1736 2473 2464 9747 2472 2475 2478 2477 2479 2476 2474 1745 2469 2470 1740 2471 9722 9728 9725 9716 9719 9713 1744 9114 9710 1742 9704 1741 1739 9108 9707 11638 16204 1735 1738 1737 1730 1723 2439 2440 1733 2428 2427 1731 1725 1727 1729 9701 1726 1722 1724 1732 1728 1734 1772 1777 1766 1771 1765 1712 1776 1719 8791 1715 9149 1720 1717 1716 1713 1718 1721 1714 9734 2426 2438 1754 1756 1755 1779 1775 1770 1748 1746 1747 1709 1707 1706 1708 9731 2107 1699 1700 1703 1704 1705 1697 1698 1702 2355 2346 9111 2345 2356 2351 2352 2343 2353 2358 2344 9693 2337 2342 2339 2357 2341 2354 9687 2338 2350 2348 2349 2340 2336 9702 2335 2347 1762 1780 1769 16188 1781 11578 9102 16183 1763 1761 9551 9737 1701 9552 33322 9689 9572 9569 9587 9584 9590 9575 9578 9593 9581 15478 9560 9566 9563 9554 1774 1778 11602 16191 9711 9567 9576 9561 9564 9573 8797 9579 9591 9585 9588 9594 9582 9557 9686 9695 9558 9698 9692 9188 9699 9170 9185 9182 9176 9179 9173 9147 9150 2368 2367 2363 2366 2364 2365 2369 2361 2362 2360 4003 9696 1633 2111 2114 2110 2117 2119 2116 2122 2118 9570 11632 11587 16186 16202 233 11590 12298 16439 2 1711 9183 9180 9186 9177 9174 1786 1785 1784 1783 2141 2136 2150 2148 1671 1670 2137 2132 2145 9123 9129 9690 9126 9135 9141 9120 9144 9132 9138 1669 9189 9735 9705 1622 9105 2085 8970 8976 10595 10587 15846 8887 2080 2062 2077 2079 2084 2082 2081 2064 2076 2071 2073 2068 2066 2070 2069 2083 2078 2067 2065 2074 2072 2075 2063 10611 10596 10602 10608 10614 10620 10599 10617 10626 10623 10629 8973 10590 10601 8893 9161 9158 122 10607 10610 1643 138 130 128 124 136 134 126 132 1619 9155 10616 10619 10605 10598 8890 10625 2061 10592 2109 2108 2086 16182 11565 11556 11553 11559 11571 11574 11562 11568 11550 11531 16440 30 12301 2088 10604 3761 1890 1891 10649 10646 10670 10673 10658 10640 10667 10655 1883 1884 10637 1889 1886 1881 15862 10661 1885 10664 1887 10652 10634 10643 1888 1900 1901 10613 1899 1902 1903 10622 1898 2143 2144 1692 1695 1693 2146 2147 1677 9110 2149 9152 9107 9113 1637 1638 1635 1640 1641 1636 1639 1632 1634 56 12304 1631 1655 1663 16441 1658 1653 1667 1666 1664 1665 1668 1662 1660 1657 1647 1659 1656 1654 1661 9119 9116 1649 1626 1627 1645 1625 1630 1648 1628 1629 1651 1646 1624 1650 1644 9038 9035 15286 4045 9041 9044 9047 1621 1623 9011 1620 9062 9056 15302 9084 9096 9078 9081 9075 9099 9072 9087 9059 9093 9090 9065 9024 9069 10632 9018 9015 9027 9021 10589 10586 1879 16151 1882 1880 11488 9033 2160 10628 1897 1896 1894 1895 9039 9054 9023 9017 3329 8881 84 88 98 94 82 86 92 96 90 100 80 10644 10671 10653 10674 10668 2204 9012 2154 2166 12307 16442 2199 11545 2175 2174 2173 2181 2185 2191 9042 9030 9555 9066 2451 8917 10631 2213 2184 10650 2159 2161 2164 2162 2158 2220 2196 2226 2235 2186 10656 2208 2163 2231 2182 2192 10593 9068 11584 16185 11629 16201 3680 8884 2156 2157 2155 2153 11901 11913 11934 11910 11919 11931 11925 11922 11897 11916 11928 16310 11891 9744 11907 4022 11894 11491 16152 2465 2463 2468 2467 2462 2466 11904 16187 9014 9026 2230 2225 3964 3919 3050 4000 3912 3412 3675 16171 12313 16444 15494 9602 9599 9608 9032 9029 1642 16153 11494 9605 9614 9611 9596 9636 9627 9633 9630 9624 9639 9618 9621 11542 9612 16170 11551 16173 8966 9167 9164 16189 11596 15192 3699 8806 2180 2169 11497 16154 2168 2167 15226 2142 1696 8812 2237 1909 9615 9020 2223 15225 102 16443 12310 1652 2193 2183 2203 2202 2195 2238 2234 2209 8908 9053 9050 2200 2206 2205 2201 9045 10635 9048 10638 10641 10665 10647 10662 10659 2239 9036 2219 2210 2176 2170 2172 2194 2212 2171 2228 2217 9051 11537 11534 16155 11500 8830 2151 15228 15227 11548 16172 2139 2134 1694 2138 2133 2140 2135 1691 1676 2125 2376 2378 2375 2379 2377 11599 16190 2385 2386 2383 2391 2388 2387 2395 2131 2384 2393 2482 2485 2487 2483 2486 2484 9753 2481 2392 2410 2405 2399 9759 2504 2503 2499 2498 9756 2382 2381 2214 2221 2187 2197 2211 150 2229 1933 1941 1924 2232 1963 1948 1914 1923 2236 2227 1966 1922 1940 1932 2218 1962 1920 1947 1961 1913 1946 1939 1931 1921 1919 1936 1928 1912 1929 1918 1944 1937 1964 1965 1910 1930 1945 1938 1911 1943 2224 2190 1908 1959 1968 2215 1954 2216 2403 1767 1768 9714 9726 9723 9720 9729 2488 2512 2509 2502 2501 2414 2413 2412 11614 8824 8818 16210 11656 11653 16209 9750 2492 2493 2491 11608 11611 16194 2411 2421 2418 11620 11605 16192 11617 9762 9774 2394 9768 2396 9771 2500 9765 2505 16193 9717 2390 2494 2490 2489 146 144 142 152 154 148 140 2178 11540 11543 11546 2240 1960 1951 1952 1957 1956 8902 11530 16165 11515 8899 1949 2241 1969 8911 11509 16158 1958 1953 1950 11524 16163 16162 11521 15234 2416 15230 16160 15236 11503 16156 16157 11506 15233 15231 1927 15224 2127 2130 2129 2126 2128 2124 1907 1917 8896 2400 2401 2407 2409 2408 2402 2406 15229 9609 2374 2372 16212 11662 2515 9708 2373 11644 16206 16208 11650 16196 16195 16197 2423 11659 16211 2514 15195 2511 2508 15205 15203 9484 2507 16429 12271 15197 15201 15199 11989 16329 15194 2496 2497 2371 10783 2179 2417 2420 2461 15900 3055 4021 4044 4053 4050 4059 4058 4057 4055 4054 2980 2986 2987 2990 3013 3014 3056 4060 3015 3021 3043 3041 3026 3025 3024 3023 3022 2974 2975 4004 3975 3784 3783 3782 15438 2979 2978 3703 2976 3781 0
10.49/10.57
10.49/10.57 c Core has size 1210
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495754-1307806615/watcher-3495754-1307806615 -o /tmp/evaluation-result-3495754-1307806615/solver-3495754-1307806615 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495754-1307806615.cnf
running on 2 cores: 0,2
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.69 3.93 3.84 4/189 27077
/proc/meminfo: memFree=31283896/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=13176 CPUtime=0 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 658 0 0 0 0 0 0 0 25 0 1 0 892258195 13492224 569 33554432000 4194304 4365125 140736480145648 18446744073709551615 254500691712 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 3294 570 254 42 0 442 0
[startup+0.0240951 s]
/proc/loadavg: 3.69 3.93 3.84 4/189 27077
/proc/meminfo: memFree=31283896/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=16312 CPUtime=0.01 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 2100 0 0 0 1 0 0 0 25 0 1 0 892258195 16703488 1305 33554432000 4194304 4365125 140736480145648 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 4078 1305 255 42 0 1226 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16312
[startup+0.101087 s]
/proc/loadavg: 3.69 3.93 3.84 4/189 27077
/proc/meminfo: memFree=31283896/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=18964 CPUtime=0.09 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 4223 0 0 0 9 0 0 0 25 0 1 0 892258195 19419136 1741 33554432000 4194304 4365125 140736480145648 18446744073709551615 4257936 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 4741 1741 261 42 0 1889 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18964
[startup+0.301049 s]
/proc/loadavg: 3.69 3.93 3.84 4/189 27077
/proc/meminfo: memFree=31283896/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=26264 CPUtime=0.29 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 8164 0 0 0 29 0 0 0 25 0 1 0 892258195 26894336 3050 33554432000 4194304 4365125 140736480145648 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 6566 3050 263 42 0 3714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26264
[startup+0.700968 s]
/proc/loadavg: 3.69 3.93 3.84 4/189 27077
/proc/meminfo: memFree=31283896/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=33872 CPUtime=0.69 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 11798 0 0 0 68 1 0 0 25 0 1 0 892258195 34684928 4284 33554432000 4194304 4365125 140736480145648 18446744073709551615 4262271 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 8468 4284 263 42 0 5616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33872
[startup+1.50081 s]
/proc/loadavg: 3.69 3.93 3.84 5/190 27116
/proc/meminfo: memFree=31215588/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=34184 CPUtime=1.49 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 12241 0 0 0 148 1 0 0 25 0 1 0 892258195 35004416 4587 33554432000 4194304 4365125 140736480145648 18446744073709551615 4262107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 8546 4587 263 42 0 5694 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34184
[startup+3.10048 s]
/proc/loadavg: 3.71 3.93 3.84 5/190 27116
/proc/meminfo: memFree=31140288/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=34184 CPUtime=3.09 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 12242 0 0 0 308 1 0 0 25 0 1 0 892258195 35004416 4588 33554432000 4194304 4365125 140736480145648 18446744073709551615 4262661 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 8546 4588 263 42 0 5694 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34184
[startup+6.30085 s]
/proc/loadavg: 3.71 3.93 3.84 5/190 27116
/proc/meminfo: memFree=31049756/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=34184 CPUtime=6.29 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 12243 0 0 0 628 1 0 0 25 0 1 0 892258195 35004416 4589 33554432000 4194304 4365125 140736480145648 18446744073709551615 4244666 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 8546 4589 263 42 0 5694 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34184
Solver just ended. Dumping a history of the last processes samples
[startup+7.90053 s]
/proc/loadavg: 3.73 3.94 3.84 5/190 27116
/proc/meminfo: memFree=30977936/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=34184 CPUtime=7.89 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 12243 0 0 0 788 1 0 0 25 0 1 0 892258195 35004416 4589 33554432000 4194304 4365125 140736480145648 18446744073709551615 4306863 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 8546 4589 263 42 0 5694 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 34184
[startup+9.50022 s]
/proc/loadavg: 3.73 3.94 3.84 5/190 27116
/proc/meminfo: memFree=30957360/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=34184 CPUtime=9.49 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 12243 0 0 0 948 1 0 0 25 0 1 0 892258195 35004416 4589 33554432000 4194304 4365125 140736480145648 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 8546 4589 263 42 0 5694 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 34184
[startup+10.3011 s]
/proc/loadavg: 3.73 3.94 3.84 4/185 27218
/proc/meminfo: memFree=31028280/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=34184 CPUtime=10.29 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 12243 0 0 0 1028 1 0 0 25 0 1 0 892258195 35004416 4589 33554432000 4194304 4365125 140736480145648 18446744073709551615 4262060 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 8546 4589 263 42 0 5694 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 34184
[startup+10.501 s]
/proc/loadavg: 3.73 3.94 3.84 4/185 27218
/proc/meminfo: memFree=31028280/32950928 swapFree=67053888/67111528
[pid=27077] ppid=27075 vsize=34184 CPUtime=10.49 cores=0,2
/proc/27077/stat : 27077 (MoUsSaka) R 27075 27077 26001 0 -1 4202496 12243 0 0 0 1048 1 0 0 25 0 1 0 892258195 35004416 4589 33554432000 4194304 4365125 140736480145648 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27077/statm: 8546 4589 263 42 0 5694 0
Current children cumulated CPU time (s) 10.49
Current children cumulated vsize (KiB) 34184
Child status: 20
Real time (s): 10.5718
CPU time (s): 10.5714
CPU user time (s): 10.5554
CPU system time (s): 0.015997
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 34184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5554
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 133
runsolver used 0.026995 second user time and 0.032994 second system time
The end
Begin job on node149 at 2011-06-11 17:36:55
IDJOB=3495754
IDBENCH=83452
IDSOLVER=1989
FILE ID=node149/3495754-1307806615
RUNJOBID= node149-1307806612-26829
PBS_JOBID= 13551043
Free space on /tmp= 73968 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E03N15.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495754-1307806615/watcher-3495754-1307806615 -o /tmp/evaluation-result-3495754-1307806615/solver-3495754-1307806615 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495754-1307806615.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 5e437ee939aa66499926385ad9d3b182
RANDOM SEED=880013935
node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.73
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31284448 kB
Buffers: 159956 kB
Cached: 1161688 kB
SwapCached: 23736 kB
Active: 478792 kB
Inactive: 1027688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31284448 kB
SwapTotal: 67111528 kB
SwapFree: 67053888 kB
Dirty: 3548 kB
Writeback: 0 kB
AnonPages: 181176 kB
Mapped: 10268 kB
Slab: 94852 kB
PageTables: 5252 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 435596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73964 MiB
End job on node149 at 2011-06-11 17:37:06