0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
11.90/2.46 s UNSATISFIABLE
11.90/2.48 solver [2] clasp 1.3.6 answered
11.90/2.48 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3347481-1305199499/watcher-3347481-1305199499 -o /tmp/evaluation-result-3347481-1305199499/solver-3347481-1305199499 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347481-1305199499.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 22.57 26.55 29.41 1/413 18205
/proc/meminfo: memFree=255694772/264257624 swapFree=67111528/67111528
[pid=18205] ppid=18203 vsize=18324 CPUtime=0 cores=0-31
/proc/18205/stat : 18205 (ppfolio) S 18203 18205 17417 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 631436340 18763776 385 268435456000 4194304 4287625 140736019910224 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/18205/statm: 4581 385 337 23 0 91 0
[startup+0.04813 s]
/proc/loadavg: 22.57 26.55 29.41 1/413 18205
/proc/meminfo: memFree=255694772/264257624 swapFree=67111528/67111528
[pid=18205] ppid=18203 vsize=18324 CPUtime=0 cores=0-31
/proc/18205/stat : 18205 (ppfolio) S 18203 18205 17417 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 631436340 18763776 385 268435456000 4194304 4287625 140736019910224 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/18205/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.101127 s]
/proc/loadavg: 22.57 26.55 29.41 1/413 18205
/proc/meminfo: memFree=255694772/264257624 swapFree=67111528/67111528
[pid=18205] ppid=18203 vsize=18324 CPUtime=0 cores=0-31
/proc/18205/stat : 18205 (ppfolio) S 18203 18205 17417 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 631436340 18763776 385 268435456000 4194304 4287625 140736019910224 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/18205/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301127 s]
/proc/loadavg: 22.57 26.55 29.41 1/413 18205
/proc/meminfo: memFree=255694772/264257624 swapFree=67111528/67111528
[pid=18205] ppid=18203 vsize=18324 CPUtime=0 cores=0-31
/proc/18205/stat : 18205 (ppfolio) S 18203 18205 17417 0 -1 4202496 511 0 0 0 0 0 0 0 19 0 1 0 631436340 18763776 385 268435456000 4194304 4287625 140736019910224 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/18205/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.701154 s]
/proc/loadavg: 22.57 26.55 29.41 1/413 18205
/proc/meminfo: memFree=255694772/264257624 swapFree=67111528/67111528
[pid=18205] ppid=18203 vsize=18324 CPUtime=0 cores=0-31
/proc/18205/stat : 18205 (ppfolio) S 18203 18205 17417 0 -1 4202496 511 0 0 0 0 0 0 0 19 0 1 0 631436340 18763776 385 268435456000 4194304 4287625 140736019910224 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/18205/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50115 s]
/proc/loadavg: 22.57 26.55 29.41 6/419 18216
/proc/meminfo: memFree=255504300/264257624 swapFree=67111528/67111528
[pid=18205] ppid=18203 vsize=18324 CPUtime=0 cores=0-31
/proc/18205/stat : 18205 (ppfolio) S 18203 18205 17417 0 -1 4202496 511 0 0 0 0 0 0 0 19 0 1 0 631436340 18763776 385 268435456000 4194304 4287625 140736019910224 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/18205/statm: 4581 385 337 23 0 91 0
[pid=18206] ppid=18205 vsize=45376 CPUtime=1.48 cores=0
/proc/18206/stat : 18206 (cryptominisat) R 18205 18205 17417 0 -1 4202496 5867 0 0 0 147 1 0 0 20 0 1 0 631436341 46465024 5664 268435456000 4194304 4587354 140737013671952 18446744073709551615 4237490 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18206/statm: 11344 5664 304 96 0 7906 0
[pid=18207] ppid=18205 vsize=47376 CPUtime=1.48 cores=1
/proc/18207/stat : 18207 (clasp) R 18205 18205 17417 0 -1 4202496 11309 0 0 0 145 3 0 0 20 0 1 0 631436341 48513024 8887 268435456000 4194304 4785740 140735467503920 18446744073709551615 4287022 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18207/statm: 11844 8887 338 145 0 8889 0
[pid=18208] ppid=18205 vsize=464276 CPUtime=1.48 cores=2
/proc/18208/stat : 18208 (TNM) R 18205 18205 17417 0 -1 4202496 6391 0 0 0 146 2 0 0 20 0 1 0 631436341 475418624 6289 268435456000 134512640 134534564 4293383440 18446744073709551615 134529985 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18208/statm: 116069 6289 95 6 0 114734 0
[pid=18209] ppid=18205 vsize=130564 CPUtime=1.48 cores=3
/proc/18209/stat : 18209 (march_hi) R 18205 18205 17417 0 -1 4202496 50022 0 0 0 137 11 0 0 20 0 1 0 631436341 133697536 14626 268435456000 4194304 4331988 140734638849648 18446744073709551615 258650611634 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18209/statm: 32641 14626 149 34 0 31083 0
[pid=18210] ppid=18205 vsize=119936 CPUtime=1.48 cores=4-31
/proc/18210/stat : 18210 (plingeling) R 18205 18205 17417 0 -1 4202496 28758 1242 0 0 139 8 0 1 21 0 1 0 631436341 122814464 28643 268435456000 4194304 4356188 140734679138144 18446744073709551615 4277921 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/18210/statm: 29984 28643 129 40 0 28528 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 825852
Solver just ended. Dumping a history of the last processes samples
[startup+1.90115 s]
/proc/loadavg: 22.57 26.55 29.41 6/419 18216
/proc/meminfo: memFree=255504300/264257624 swapFree=67111528/67111528
[pid=18205] ppid=18203 vsize=18324 CPUtime=0 cores=0-31
/proc/18205/stat : 18205 (ppfolio) S 18203 18205 17417 0 -1 4202496 511 0 0 0 0 0 0 0 17 0 1 0 631436340 18763776 385 268435456000 4194304 4287625 140736019910224 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/18205/statm: 4581 385 337 23 0 91 0
[pid=18206] ppid=18205 vsize=57304 CPUtime=1.88 cores=0
/proc/18206/stat : 18206 (cryptominisat) R 18205 18205 17417 0 -1 4202496 8842 0 0 0 186 2 0 0 21 0 1 0 631436341 58679296 8611 268435456000 4194304 4587354 140737013671952 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18206/statm: 14326 8611 310 96 0 10888 0
[pid=18207] ppid=18205 vsize=47376 CPUtime=1.88 cores=1
/proc/18207/stat : 18207 (clasp) R 18205 18205 17417 0 -1 4202496 11311 0 0 0 185 3 0 0 20 0 1 0 631436341 48513024 8889 268435456000 4194304 4785740 140735467503920 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18207/statm: 11844 8889 338 145 0 8889 0
[pid=18208] ppid=18205 vsize=464276 CPUtime=1.88 cores=2
/proc/18208/stat : 18208 (TNM) R 18205 18205 17417 0 -1 4202496 6391 0 0 0 186 2 0 0 20 0 1 0 631436341 475418624 6289 268435456000 134512640 134534564 4293383440 18446744073709551615 134529080 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18208/statm: 116069 6289 95 6 0 114734 0
[pid=18209] ppid=18205 vsize=124848 CPUtime=1.88 cores=3
/proc/18209/stat : 18209 (march_hi) R 18205 18205 17417 0 -1 4202496 58887 0 0 0 176 12 0 0 20 0 1 0 631436341 127844352 19183 268435456000 4194304 4331988 140734638849648 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18209/statm: 31212 19183 172 34 0 29654 0
[pid=18210] ppid=18205 vsize=175620 CPUtime=1.88 cores=4-31
/proc/18210/stat : 18210 (plingeling) R 18205 18205 17417 0 -1 4202496 42711 1242 0 0 176 11 0 1 22 0 1 0 631436341 179834880 42564 268435456000 4194304 4356188 140734679138144 18446744073709551615 4212048 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/18210/statm: 43905 42564 129 40 0 42449 0
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (KiB) 887748
[startup+2.30118 s]
/proc/loadavg: 21.16 26.19 29.28 6/419 18216
/proc/meminfo: memFree=255338140/264257624 swapFree=67111528/67111528
[pid=18205] ppid=18203 vsize=18324 CPUtime=0 cores=0-31
/proc/18205/stat : 18205 (ppfolio) S 18203 18205 17417 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 631436340 18763776 385 268435456000 4194304 4287625 140736019910224 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/18205/statm: 4581 385 337 23 0 91 0
[pid=18206] ppid=18205 vsize=57700 CPUtime=2.28 cores=0
/proc/18206/stat : 18206 (cryptominisat) R 18205 18205 17417 0 -1 4202496 9005 0 0 0 226 2 0 0 21 0 1 0 631436341 59084800 8279 268435456000 4194304 4587354 140737013671952 18446744073709551615 4356696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18206/statm: 14425 8280 313 96 0 10987 0
[pid=18207] ppid=18205 vsize=47376 CPUtime=2.28 cores=1
/proc/18207/stat : 18207 (clasp) R 18205 18205 17417 0 -1 4202496 11311 0 0 0 225 3 0 0 21 0 1 0 631436341 48513024 8889 268435456000 4194304 4785740 140735467503920 18446744073709551615 4553097 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18207/statm: 11844 8889 338 145 0 8889 0
[pid=18208] ppid=18205 vsize=464276 CPUtime=2.28 cores=2
/proc/18208/stat : 18208 (TNM) R 18205 18205 17417 0 -1 4202496 6391 0 0 0 226 2 0 0 21 0 1 0 631436341 475418624 6289 268435456000 134512640 134534564 4293383440 18446744073709551615 134528250 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18208/statm: 116069 6289 95 6 0 114734 0
[pid=18209] ppid=18205 vsize=125132 CPUtime=2.28 cores=3
/proc/18209/stat : 18209 (march_hi) R 18205 18205 17417 0 -1 4202496 65918 0 0 0 215 13 0 0 21 0 1 0 631436341 128135168 26214 268435456000 4194304 4331988 140734638849648 18446744073709551615 4229292 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18209/statm: 31283 26214 172 34 0 29725 0
[pid=18210] ppid=18205 vsize=232964 CPUtime=2.28 cores=4-31
/proc/18210/stat : 18210 (plingeling) R 18205 18205 17417 0 -1 4202496 57047 1242 0 0 214 13 0 1 25 0 1 0 631436341 238555136 56900 268435456000 4194304 4356188 140734679138144 18446744073709551615 4277490 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/18210/statm: 58241 56900 129 40 0 56785 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (KiB) 945772
[startup+2.40117 s]
/proc/loadavg: 21.16 26.19 29.28 6/419 18216
/proc/meminfo: memFree=255338140/264257624 swapFree=67111528/67111528
[pid=18205] ppid=18203 vsize=18324 CPUtime=0 cores=0-31
/proc/18205/stat : 18205 (ppfolio) S 18203 18205 17417 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 631436340 18763776 385 268435456000 4194304 4287625 140736019910224 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/18205/statm: 4581 385 337 23 0 91 0
[pid=18206] ppid=18205 vsize=66828 CPUtime=2.38 cores=0
/proc/18206/stat : 18206 (cryptominisat) R 18205 18205 17417 0 -1 4202496 11875 0 0 0 235 3 0 0 22 0 1 0 631436341 68431872 10460 268435456000 4194304 4587354 140737013671952 18446744073709551615 258650652423 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18206/statm: 16707 10460 315 96 0 13269 0
[pid=18207] ppid=18205 vsize=47376 CPUtime=2.38 cores=1
/proc/18207/stat : 18207 (clasp) R 18205 18205 17417 0 -1 4202496 11311 0 0 0 235 3 0 0 22 0 1 0 631436341 48513024 8889 268435456000 4194304 4785740 140735467503920 18446744073709551615 4291187 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18207/statm: 11844 8889 338 145 0 8889 0
[pid=18208] ppid=18205 vsize=464276 CPUtime=2.38 cores=2
/proc/18208/stat : 18208 (TNM) R 18205 18205 17417 0 -1 4202496 6391 0 0 0 236 2 0 0 22 0 1 0 631436341 475418624 6289 268435456000 134512640 134534564 4293383440 18446744073709551615 134530568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18208/statm: 116069 6289 95 6 0 114734 0
[pid=18209] ppid=18205 vsize=125132 CPUtime=2.38 cores=3
/proc/18209/stat : 18209 (march_hi) R 18205 18205 17417 0 -1 4202496 65922 0 0 0 225 13 0 0 22 0 1 0 631436341 128135168 26218 268435456000 4194304 4331988 140734638849648 18446744073709551615 4228807 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18209/statm: 31283 26218 172 34 0 29725 0
[pid=18210] ppid=18205 vsize=232964 CPUtime=2.38 cores=4-31
/proc/18210/stat : 18210 (plingeling) R 18205 18205 17417 0 -1 4202496 57047 1242 0 0 224 13 0 1 25 0 1 0 631436341 238555136 56900 268435456000 4194304 4356188 140734679138144 18446744073709551615 4277944 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/18210/statm: 58241 56900 129 40 0 56785 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 954900
Child status: 0
Real time (s): 2.48728
CPU time (s): 12.3311
CPU user time (s): 11.9132
CPU system time (s): 0.417936
CPU usage (%): 495.768
Max. virtual memory (cumulated for all children) (KiB): 954900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9132
system time used= 0.417936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154799
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= 651
involuntary context switches= 26
runsolver used 0.015997 second user time and 0.06099 second system time
The end
Begin job on node200 at 2011-05-12 13:24:59
IDJOB=3347481
IDBENCH=82476
IDSOLVER=1808
FILE ID=node200/3347481-1305199499
RUNJOBID= node200-1305199240-17431
PBS_JOBID= 13282083
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347481-1305199499/watcher-3347481-1305199499 -o /tmp/evaluation-result-3347481-1305199499/solver-3347481-1305199499 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347481-1305199499.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 836009cfc8c47eab51e5c571abae9348
RANDOM SEED=25594714
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255695052 kB
Buffers: 427420 kB
Cached: 7701484 kB
SwapCached: 0 kB
Active: 7273964 kB
Inactive: 924020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255695052 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12956 kB
Writeback: 4 kB
AnonPages: 73808 kB
Mapped: 14508 kB
Slab: 250164 kB
PageTables: 4552 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 174980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-12 13:25:02