runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3464363-1307406006/watcher-3464363-1307406006 -o /tmp/evaluation-result-3464363-1307406006/solver-3464363-1307406006 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464363-1307406006.opb --verbosity=0 --format=opb
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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.04 2.00 3/521 19889
/proc/meminfo: memFree=21272260/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=9132 CPUtime=0.01 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 879 0 0 0 1 0 0 0 25 0 1 0 833016066 9351168 829 33554432000 4194304 6539028 140736462121072 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2283 829 251 573 0 1701 0
[startup+0.110219 s]
/proc/loadavg: 2.00 2.04 2.00 3/521 19889
/proc/meminfo: memFree=21272260/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8000 CPUtime=0.1 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1674 0 0 0 10 0 0 0 25 0 1 0 833016066 8192000 1619 33554432000 4194304 6539028 140736462121072 18446744073709551615 4626304 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2000 1619 270 573 0 1418 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8000
[startup+0.201203 s]
/proc/loadavg: 2.00 2.04 2.00 3/521 19889
/proc/meminfo: memFree=21272260/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8000 CPUtime=0.19 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1675 0 0 0 19 0 0 0 25 0 1 0 833016066 8192000 1620 33554432000 4194304 6539028 140736462121072 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2000 1620 270 573 0 1418 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8000
[startup+0.301184 s]
/proc/loadavg: 2.00 2.04 2.00 3/521 19889
/proc/meminfo: memFree=21272260/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8000 CPUtime=0.29 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1676 0 0 0 29 0 0 0 25 0 1 0 833016066 8192000 1621 33554432000 4194304 6539028 140736462121072 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2000 1621 270 573 0 1418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8000
[startup+0.701105 s]
/proc/loadavg: 2.00 2.04 2.00 3/521 19889
/proc/meminfo: memFree=21272260/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8000 CPUtime=0.69 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1691 0 0 0 69 0 0 0 25 0 1 0 833016066 8192000 1636 33554432000 4194304 6539028 140736462121072 18446744073709551615 4523755 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2000 1636 270 573 0 1418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8000
[startup+1.50096 s]
/proc/loadavg: 2.00 2.04 2.00 3/522 19890
/proc/meminfo: memFree=21265928/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8000 CPUtime=1.49 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1697 0 0 0 149 0 0 0 25 0 1 0 833016066 8192000 1642 33554432000 4194304 6539028 140736462121072 18446744073709551615 4708302 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2000 1642 270 573 0 1418 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8000
[startup+3.10065 s]
/proc/loadavg: 2.00 2.04 2.00 3/522 19890
/proc/meminfo: memFree=21264808/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=3.09 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1717 0 0 0 309 0 0 0 25 0 1 0 833016066 8331264 1662 33554432000 4194304 6539028 140736462121072 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1662 271 573 0 1452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8136
[startup+6.30107 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 19890
/proc/meminfo: memFree=21264268/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=6.29 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1718 0 0 0 629 0 0 0 25 0 1 0 833016066 8331264 1663 33554432000 4194304 6539028 140736462121072 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1663 271 573 0 1452 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8136
[startup+12.7009 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 19890
/proc/meminfo: memFree=21263424/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=12.69 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 1269 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4698586 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8136
[startup+25.5006 s]
/proc/loadavg: 2.07 2.05 2.01 3/522 19890
/proc/meminfo: memFree=21263788/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=25.49 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 2549 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8136
[startup+51.1009 s]
/proc/loadavg: 2.04 2.04 2.00 3/522 19891
/proc/meminfo: memFree=21263324/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=51.1 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 5110 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4617242 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 8136
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 19892
/proc/meminfo: memFree=21263676/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=102.31 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 10231 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 8136
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 19894
/proc/meminfo: memFree=21262044/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=162.3 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 16230 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4523839 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 8136
Solver just ended. Dumping a history of the last processes samples
[startup+166.401 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 19894
/proc/meminfo: memFree=21263408/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=166.4 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 16640 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 166.4
Current children cumulated vsize (KiB) 8136
[startup+169.601 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 19894
/proc/meminfo: memFree=21261912/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=169.6 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 16960 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4715641 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 169.6
Current children cumulated vsize (KiB) 8136
[startup+171.201 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 19894
/proc/meminfo: memFree=21262408/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=171.2 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 17120 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4524075 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 171.2
Current children cumulated vsize (KiB) 8136
[startup+172.001 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 19894
/proc/meminfo: memFree=21263400/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=172 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 17200 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 172
Current children cumulated vsize (KiB) 8136
[startup+172.82 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 19894
/proc/meminfo: memFree=21263148/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=172.82 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 17282 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4490790 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 172.82
Current children cumulated vsize (KiB) 8136
[startup+173.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 19894
/proc/meminfo: memFree=21263148/32951124 swapFree=58800704/67111528
[pid=19889] ppid=19887 vsize=8136 CPUtime=173.2 cores=0,2,4,6
/proc/19889/stat : 19889 (minisatid) R 19887 19889 18077 0 -1 4202496 1720 0 0 0 17320 0 0 0 25 0 1 0 833016066 8331264 1665 33554432000 4194304 6539028 140736462121072 18446744073709551615 4716032 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19889/statm: 2034 1665 271 573 0 1452 0
Current children cumulated CPU time (s) 173.2
Current children cumulated vsize (KiB) 8136
Child status: 10
Real time (s): 173.237
CPU time (s): 173.242
CPU user time (s): 173.24
CPU system time (s): 0.001999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 8136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.24
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1723
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= 4
involuntary context switches= 273
runsolver used 0.886865 second user time and 1.9637 second system time
The end
Begin job on node142 at 2011-06-07 02:20:06
IDJOB=3464363
IDBENCH=48119
IDSOLVER=1956
FILE ID=node142/3464363-1307406006
RUNJOBID= node142-1307397927-19320
PBS_JOBID= 13514165
Free space on /tmp= 73960 MiB
SOLVER NAME= MinisatID 2.4.8
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_25_1.opb
COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3464363-1307406006/watcher-3464363-1307406006 -o /tmp/evaluation-result-3464363-1307406006/solver-3464363-1307406006 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464363-1307406006.opb --verbosity=0 --format=opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 3c8b2b83a32c4c8e761f030b6789f3c6
RANDOM SEED=1732539705
node142.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.846
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.69
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.846
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 : 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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: 32951124 kB
MemFree: 21272548 kB
Buffers: 317776 kB
Cached: 670936 kB
SwapCached: 11476 kB
Active: 9428632 kB
Inactive: 1976308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 21272548 kB
SwapTotal: 67111528 kB
SwapFree: 58800704 kB
Dirty: 2732 kB
Writeback: 0 kB
AnonPages: 10413456 kB
Mapped: 32780 kB
Slab: 129180 kB
PageTables: 74756 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 145406360 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= 73956 MiB
End job on node142 at 2011-06-07 02:22:59