runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3714180-1338173334/watcher-3714180-1338173334 -o /tmp/evaluation-result-3714180-1338173334/solver-3714180-1338173334 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714180-1338173334.wbo 874898126 HOME HOME
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8365
/proc/meminfo: memFree=30636024/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
[startup+0.07218 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8365
/proc/meminfo: memFree=30636024/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100162 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8365
/proc/meminfo: memFree=30636024/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300154 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8365
/proc/meminfo: memFree=30636024/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700103 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8365
/proc/meminfo: memFree=30636024/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8386
/proc/meminfo: memFree=30631760/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
[pid=8366] ppid=8365 vsize=2340 CPUtime=1.07 cores=0,2,4,6
/proc/8366/stat : 8366 (npSolver-wbo) S 8365 8365 6342 0 -1 4202496 1140 16058 0 0 1 0 102 4 20 0 1 0 283458911 2396160 265 33554432000 4194304 5990268 140736507338960 140736507330400 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8366/statm: 585 265 160 439 0 142 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 11488
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8393
/proc/meminfo: memFree=30630248/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
[pid=8366] ppid=8365 vsize=2340 CPUtime=1.07 cores=0,2,4,6
/proc/8366/stat : 8366 (npSolver-wbo) S 8365 8365 6342 0 -1 4202496 1140 16058 0 0 1 0 102 4 20 0 1 0 283458911 2396160 265 33554432000 4194304 5990268 140736507338960 140736507330400 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8366/statm: 585 265 160 439 0 142 0
[pid=8392] ppid=8366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8392/stat : 8392 (satsolver.sh) S 8366 8365 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283459019 9367552 267 33554432000 4194304 5064252 140736969168320 140736969167232 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8392/statm: 2287 267 226 213 0 72 0
[pid=8393] ppid=8392 vsize=8764 CPUtime=2 cores=0,2,4,6
/proc/8393/stat : 8393 (glucose) R 8392 8365 6342 0 -1 4202496 1712 0 0 0 200 0 0 0 20 0 1 0 283459019 8974336 1762 33554432000 4194304 5208918 140735940888816 140735940886760 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8393/statm: 2191 1762 102 248 0 1940 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29400
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8407
/proc/meminfo: memFree=30631172/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
[pid=8366] ppid=8365 vsize=2340 CPUtime=4.77 cores=0,2,4,6
/proc/8366/stat : 8366 (npSolver-wbo) S 8365 8365 6342 0 -1 4202496 1257 25565 0 0 1 0 470 6 20 0 1 0 283458911 2396160 265 33554432000 4194304 5990268 140736507338960 140736507330400 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8366/statm: 585 265 160 439 0 142 0
[pid=8406] ppid=8366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8406/stat : 8406 (satsolver.sh) S 8366 8365 6342 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283459394 9367552 267 33554432000 4194304 5064252 140733984418112 140733984417024 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8406/statm: 2287 267 226 213 0 72 0
[pid=8407] ppid=8406 vsize=6456 CPUtime=1.46 cores=0,2,4,6
/proc/8407/stat : 8407 (glucose) R 8406 8365 6342 0 -1 4202496 1468 0 0 0 146 0 0 0 20 0 1 0 283459394 6610944 1063 33554432000 4194304 5208918 140733890098960 140733890096904 4229776 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8407/statm: 1614 1063 102 248 0 1363 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 27092
Solver just ended. Dumping a history of the last processes samples
[startup+7.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8407
/proc/meminfo: memFree=30630172/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
[pid=8366] ppid=8365 vsize=2340 CPUtime=4.77 cores=0,2,4,6
/proc/8366/stat : 8366 (npSolver-wbo) S 8365 8365 6342 0 -1 4202496 1257 25565 0 0 1 0 470 6 20 0 1 0 283458911 2396160 265 33554432000 4194304 5990268 140736507338960 140736507330400 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8366/statm: 585 265 160 439 0 142 0
[pid=8406] ppid=8366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8406/stat : 8406 (satsolver.sh) S 8366 8365 6342 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283459394 9367552 267 33554432000 4194304 5064252 140733984418112 140733984417024 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8406/statm: 2287 267 226 213 0 72 0
[pid=8407] ppid=8406 vsize=9132 CPUtime=2.26 cores=0,2,4,6
/proc/8407/stat : 8407 (glucose) R 8406 8365 6342 0 -1 4202496 1628 0 0 0 226 0 0 0 20 0 1 0 283459394 9351168 1729 33554432000 4194304 5208918 140733890098960 140733890096904 4229328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8407/statm: 2283 1729 102 248 0 2032 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 29768
[startup+7.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8407
/proc/meminfo: memFree=30630172/32873648 swapFree=7116/7116
[pid=8365] ppid=8363 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8365/stat : 8365 (npSolver-wbo-I.) S 8363 8365 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283458910 9367552 275 33554432000 4194304 5064252 140734464516832 140734464515744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8365/statm: 2287 275 233 213 0 72 0
[pid=8366] ppid=8365 vsize=2340 CPUtime=4.77 cores=0,2,4,6
/proc/8366/stat : 8366 (npSolver-wbo) S 8365 8365 6342 0 -1 4202496 1257 25565 0 0 1 0 470 6 20 0 1 0 283458911 2396160 265 33554432000 4194304 5990268 140736507338960 140736507330400 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8366/statm: 585 265 160 439 0 142 0
[pid=8406] ppid=8366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8406/stat : 8406 (satsolver.sh) S 8366 8365 6342 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283459394 9367552 267 33554432000 4194304 5064252 140733984418112 140733984417024 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8406/statm: 2287 267 226 213 0 72 0
[pid=8407] ppid=8406 vsize=9132 CPUtime=2.66 cores=0,2,4,6
/proc/8407/stat : 8407 (glucose) R 8406 8365 6342 0 -1 4202496 1707 0 0 0 266 0 0 0 20 0 1 0 283459394 9351168 1804 33554432000 4194304 5208918 140733890098960 140733890096904 4213190 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8407/statm: 2283 1804 102 248 0 2032 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 29768
Child status: 0
Real time (s): 7.51201
CPU time (s): 7.46187
CPU user time (s): 7.38488
CPU system time (s): 0.076988
CPU usage (%): 99.3324
Max. virtual memory (cumulated for all children) (KiB): 30408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.38488
system time used= 0.076988
maximum resident set size= 11408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115
involuntary context switches= 82
runsolver used 0.011998 second user time and 0.039993 second system time
The end
Begin job on node123 at 2012-05-28 04:48:54
IDJOB=3714180
IDBENCH=78665
IDSOLVER=2295
FILE ID=node123/3714180-1338173334
RUNJOBID= node123-1338160041-6358
PBS_JOBID= 14624558
Free space on /tmp= 71492 MiB
SOLVER NAME= npSolver inc
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3714180-1338173334/watcher-3714180-1338173334 -o /tmp/evaluation-result-3714180-1338173334/solver-3714180-1338173334 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714180-1338173334.wbo 874898126 HOME HOME
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 9dd19a07ee6b8e6f4864d631925ae108
RANDOM SEED=874898126
node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/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 : 2667.217
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.217
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.217
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.217
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.217
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.217
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.217
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.217
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873648 kB
MemFree: 30636620 kB
Buffers: 264792 kB
Cached: 455064 kB
SwapCached: 956 kB
Active: 1131356 kB
Inactive: 280916 kB
Active(anon): 686312 kB
Inactive(anon): 8336 kB
Active(file): 445044 kB
Inactive(file): 272580 kB
Unevictable: 7116 kB
Mlocked: 7116 kB
SwapTotal: 67108856 kB
SwapFree: 67102956 kB
Dirty: 8572 kB
Writeback: 0 kB
AnonPages: 815832 kB
Mapped: 11380 kB
Shmem: 0 kB
Slab: 686804 kB
SReclaimable: 131240 kB
SUnreclaim: 555564 kB
KernelStack: 1520 kB
PageTables: 5240 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545680 kB
Committed_AS: 1021932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346400 kB
VmallocChunk: 34341988052 kB
HardwareCorrupted: 0 kB
AnonHugePages: 741376 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7680 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71484 MiB
End job on node123 at 2012-05-28 04:49:02