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-3495982-1307934318/watcher-3495982-1307934318 -o /tmp/evaluation-result-3495982-1307934318/solver-3495982-1307934318 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3495982-1307934318.opb --verbosity=0 --format=opb --randomseed=1187399639
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 2/177 8099
/proc/meminfo: memFree=4050792/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=7800 CPUtime=0 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 440 0 0 0 0 0 0 0 25 0 1 0 885848093 7987200 394 33554432000 4194304 6957856 140735686535760 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 1950 395 250 675 0 1266 0
[startup+0.0351411 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 8099
/proc/meminfo: memFree=4050792/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=10440 CPUtime=0.03 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 1097 0 0 0 3 0 0 0 25 0 1 0 885848093 10690560 1051 33554432000 4194304 6957856 140735686535760 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 2610 1051 250 675 0 1926 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10440
[startup+0.10113 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 8099
/proc/meminfo: memFree=4050792/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=15308 CPUtime=0.09 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 2300 0 0 0 9 0 0 0 25 0 1 0 885848093 15675392 2254 33554432000 4194304 6957856 140735686535760 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 3827 2254 250 675 0 3143 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15308
[startup+0.301098 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 8099
/proc/meminfo: memFree=4050792/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=30620 CPUtime=0.29 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 6180 0 0 0 28 1 0 0 25 0 1 0 885848093 31354880 6104 33554432000 4194304 6957856 140735686535760 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 7655 6105 266 675 0 6971 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30620
[startup+0.701052 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 8099
/proc/meminfo: memFree=4050792/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=71544 CPUtime=0.69 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 16448 0 0 0 67 2 0 0 25 0 1 0 885848093 73261056 16307 33554432000 4194304 6957856 140735686535760 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 17886 16309 266 675 0 17202 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71544
[startup+1.50091 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8100
/proc/meminfo: memFree=3962892/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=95220 CPUtime=1.49 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 22371 0 0 0 147 2 0 0 25 0 1 0 885848093 97505280 22230 33554432000 4194304 6957856 140735686535760 18446744073709551615 5316211 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 23805 22230 276 675 0 23121 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95220
[startup+3.10063 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8100
/proc/meminfo: memFree=3961648/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=92516 CPUtime=3.09 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 23063 0 0 0 307 2 0 0 25 0 1 0 885848093 94736384 22501 33554432000 4194304 6957856 140735686535760 18446744073709551615 4638747 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 23129 22501 287 675 0 22445 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92516
[startup+6.30102 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8100
/proc/meminfo: memFree=3957804/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=95392 CPUtime=6.29 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 24260 0 0 0 626 3 0 0 25 0 1 0 885848093 97681408 23373 33554432000 4194304 6957856 140735686535760 18446744073709551615 5934594 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 23848 23373 287 675 0 23164 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95392
[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8100
/proc/meminfo: memFree=3955152/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=96028 CPUtime=12.69 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 24425 0 0 0 1266 3 0 0 25 0 1 0 885848093 98332672 23536 33554432000 4194304 6957856 140735686535760 18446744073709551615 5922108 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 24007 23536 287 675 0 23323 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96028
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8101
/proc/meminfo: memFree=3952040/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=100396 CPUtime=25.49 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 25281 0 0 0 2546 3 0 0 25 0 1 0 885848093 102805504 24384 33554432000 4194304 6957856 140735686535760 18446744073709551615 5314203 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 25099 24384 287 675 0 24415 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 100396
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8101
/proc/meminfo: memFree=3949284/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=104748 CPUtime=51.09 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 26070 0 0 0 5106 3 0 0 25 0 1 0 885848093 107261952 25165 33554432000 4194304 6957856 140735686535760 18446744073709551615 5934660 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 26187 25165 287 675 0 25503 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 104748
Solver just ended. Dumping a history of the last processes samples
[startup+63.9008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8102
/proc/meminfo: memFree=3949156/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=104748 CPUtime=63.89 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 26070 0 0 0 6386 3 0 0 25 0 1 0 885848093 107261952 25165 33554432000 4194304 6957856 140735686535760 18446744073709551615 5311737 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 26187 25165 287 675 0 25503 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 104748
[startup+76.7005 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 8102
/proc/meminfo: memFree=3948652/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=109648 CPUtime=76.69 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 27300 0 0 0 7666 3 0 0 25 0 1 0 885848093 112279552 25245 33554432000 4194304 6957856 140735686535760 18446744073709551615 5385223 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 27412 25245 287 675 0 26728 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 109648
[startup+79.9009 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 8102
/proc/meminfo: memFree=3948652/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=109648 CPUtime=79.89 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 27318 0 0 0 7986 3 0 0 25 0 1 0 885848093 112279552 25263 33554432000 4194304 6957856 140735686535760 18446744073709551615 4867760 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 27412 25263 287 675 0 26728 0
Current children cumulated CPU time (s) 79.89
Current children cumulated vsize (KiB) 109648
[startup+83.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 8102
/proc/meminfo: memFree=3948032/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=109648 CPUtime=83.09 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 27411 0 0 0 8306 3 0 0 25 0 1 0 885848093 112279552 25355 33554432000 4194304 6957856 140735686535760 18446744073709551615 4869815 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 27412 25355 287 675 0 26728 0
Current children cumulated CPU time (s) 83.09
Current children cumulated vsize (KiB) 109648
[startup+83.9012 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 8102
/proc/meminfo: memFree=3948032/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=109648 CPUtime=83.89 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 27411 0 0 0 8386 3 0 0 25 0 1 0 885848093 112279552 25355 33554432000 4194304 6957856 140735686535760 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 27412 25355 287 675 0 26728 0
Current children cumulated CPU time (s) 83.89
Current children cumulated vsize (KiB) 109648
[startup+84.706 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 8102
/proc/meminfo: memFree=3948032/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=109648 CPUtime=84.7 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 27411 0 0 0 8467 3 0 0 25 0 1 0 885848093 112279552 25355 33554432000 4194304 6957856 140735686535760 18446744073709551615 4866314 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 27412 25355 287 675 0 26728 0
Current children cumulated CPU time (s) 84.7
Current children cumulated vsize (KiB) 109648
[startup+85.1009 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 8102
/proc/meminfo: memFree=3948032/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=109648 CPUtime=85.09 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 27411 0 0 0 8506 3 0 0 25 0 1 0 885848093 112279552 25355 33554432000 4194304 6957856 140735686535760 18446744073709551615 5311818 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 27412 25355 287 675 0 26728 0
Current children cumulated CPU time (s) 85.09
Current children cumulated vsize (KiB) 109648
[startup+85.2009 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 8102
/proc/meminfo: memFree=3948032/32951124 swapFree=67050916/67111528
[pid=8099] ppid=8097 vsize=109648 CPUtime=85.19 cores=0,2,4,6
/proc/8099/stat : 8099 (minisatid-gmp) R 8097 8099 4419 0 -1 4202496 27411 0 0 0 8516 3 0 0 25 0 1 0 885848093 112279552 25355 33554432000 4194304 6957856 140735686535760 18446744073709551615 4866343 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/8099/statm: 27412 25355 287 675 0 26728 0
Current children cumulated CPU time (s) 85.19
Current children cumulated vsize (KiB) 109648
Child status: 10
Real time (s): 85.2292
CPU time (s): 85.23
CPU user time (s): 85.188
CPU system time (s): 0.041993
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 111824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.188
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27414
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= 126
runsolver used 0.12598 second user time and 0.265959 second system time
The end
Begin job on node146 at 2011-06-13 05:05:18
IDJOB=3495982
IDBENCH=71836
IDSOLVER=1990
FILE ID=node146/3495982-1307934318
RUNJOBID= node146-1307919791-4437
PBS_JOBID= 13559633
Free space on /tmp= 6548 MiB
SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-9000opt.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495982-1307934318/watcher-3495982-1307934318 -o /tmp/evaluation-result-3495982-1307934318/solver-3495982-1307934318 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3495982-1307934318.opb --verbosity=0 --format=opb --randomseed=1187399639
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 3178a50232316e72958589cc9e9cd436
RANDOM SEED=1187399639
node146.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.830
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.66
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.830
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.75
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.830
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.75
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.830
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.86
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.830
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.75
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.830
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.830
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.75
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.830
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: 4051096 kB
Buffers: 115404 kB
Cached: 27683396 kB
SwapCached: 13448 kB
Active: 12890588 kB
Inactive: 15105856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 4051096 kB
SwapTotal: 67111528 kB
SwapFree: 67050916 kB
Dirty: 4304 kB
Writeback: 0 kB
AnonPages: 195680 kB
Mapped: 10364 kB
Slab: 839748 kB
PageTables: 5256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 395848 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= 6544 MiB
End job on node146 at 2011-06-13 05:06:44