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-3497826-1307934679/watcher-3497826-1307934679 -o /tmp/evaluation-result-3497826-1307934679/solver-3497826-1307934679 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497826-1307934679.opb --verbosity=0 --format=opb --randomseed=58303239
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: 3.20 2.30 2.10 2/175 11636
/proc/meminfo: memFree=30662844/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=7896 CPUtime=0 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 418 0 0 0 0 0 0 0 23 0 1 0 905070084 8085504 371 33554432000 4194304 6957856 140735746579696 18446744073709551615 5396130 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 1974 371 227 675 0 1290 0
[startup+0.0837869 s]
/proc/loadavg: 3.20 2.30 2.10 2/175 11636
/proc/meminfo: memFree=30662844/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=15116 CPUtime=0.08 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 2394 0 0 0 8 0 0 0 23 0 1 0 905070084 15478784 2008 33554432000 4194304 6957856 140735746579696 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 3779 2010 227 675 0 3095 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15116
[startup+1.50452 s]
/proc/loadavg: 3.20 2.30 2.10 2/175 11636
/proc/meminfo: memFree=30662844/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=134500 CPUtime=1.49 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 35756 0 0 0 145 4 0 0 25 0 1 0 905070084 137728000 29606 33554432000 4194304 6957856 140735746579696 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 33625 29608 227 675 0 32941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134500
[startup+1.60051 s]
/proc/loadavg: 3.20 2.30 2.10 2/175 11636
/proc/meminfo: memFree=30662844/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=140968 CPUtime=1.59 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 37698 0 0 0 154 5 0 0 25 0 1 0 905070084 144351232 31548 33554432000 4194304 6957856 140735746579696 18446744073709551615 6085472 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 35242 31550 227 675 0 34558 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 140968
[startup+1.70048 s]
/proc/loadavg: 3.20 2.30 2.10 2/175 11636
/proc/meminfo: memFree=30662844/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=148492 CPUtime=1.69 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 39916 0 0 0 164 5 0 0 25 0 1 0 905070084 152055808 33766 33554432000 4194304 6957856 140735746579696 18446744073709551615 6085472 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 37123 33767 227 675 0 36439 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 148492
[startup+1.80047 s]
/proc/loadavg: 3.20 2.30 2.10 2/175 11636
/proc/meminfo: memFree=30662844/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=155884 CPUtime=1.79 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 42126 0 0 0 174 5 0 0 25 0 1 0 905070084 159625216 35976 33554432000 4194304 6957856 140735746579696 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 38971 35977 227 675 0 38287 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 155884
[startup+3.10027 s]
/proc/loadavg: 3.27 2.33 2.11 3/176 11637
/proc/meminfo: memFree=30447356/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=263852 CPUtime=3.09 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 71941 0 0 0 300 9 0 0 25 0 1 0 905070084 270184448 59646 33554432000 4194304 6957856 140735746579696 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 65963 59647 227 675 0 65279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 263852
[startup+6.30072 s]
/proc/loadavg: 3.33 2.36 2.12 3/176 11637
/proc/meminfo: memFree=30220268/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=520636 CPUtime=6.29 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 143741 0 0 0 611 18 0 0 25 0 1 0 905070084 533131264 119157 33554432000 4194304 6957856 140735746579696 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 130159 119157 227 675 0 129475 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 520636
[startup+12.7006 s]
/proc/loadavg: 3.70 2.45 2.15 3/176 11637
/proc/meminfo: memFree=29733932/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=1031740 CPUtime=12.69 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 286526 0 0 0 1234 35 0 0 25 0 1 0 905070084 1056501760 237365 33554432000 4194304 6957856 140735746579696 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 257935 237365 227 675 0 257251 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1031740
[startup+25.5004 s]
/proc/loadavg: 4.43 2.67 2.23 3/172 11639
/proc/meminfo: memFree=28121556/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=2784804 CPUtime=25.49 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 772093 0 0 0 2459 90 0 0 25 0 1 0 905070084 2851639296 648570 33554432000 4194304 6957856 140735746579696 18446744073709551615 4429523 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 696201 648570 227 675 0 695517 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2784804
[startup+51.101 s]
/proc/loadavg: 4.92 2.94 2.33 3/176 11677
/proc/meminfo: memFree=25752808/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=5239392 CPUtime=51.1 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 1754879 0 0 0 4903 207 0 0 25 0 1 0 905070084 5365137408 1235723 33554432000 4194304 6957856 140735746579696 18446744073709551615 5460318 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 1309848 1235723 252 675 0 1309164 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 5239392
[startup+109.843 s]
/proc/loadavg: 5.30 3.30 2.48 3/176 11678
/proc/meminfo: memFree=25325188/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=6005688 CPUtime=109.89 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 1946462 0 0 0 10746 243 0 0 25 0 1 0 905070084 6149824512 1427306 33554432000 4194304 6957856 140735746579696 18446744073709551615 4759085 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 1501965 1427852 252 675 0 1501281 0
Current children cumulated CPU time (s) 109.89
Current children cumulated vsize (KiB) 6005688
[startup+162.301 s]
/proc/loadavg: 3.82 3.33 2.54 4/176 11680
/proc/meminfo: memFree=19095224/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=11799364 CPUtime=162.29 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 4345950 0 0 0 15725 504 0 0 25 0 1 0 905070084 12082548736 2907661 33554432000 4194304 6957856 140735746579696 18446744073709551615 5918134 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 2949841 2907661 268 675 0 2949157 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 11799364
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+206.606 s]
/proc/loadavg: 2.86 3.14 2.52 3/176 11682
/proc/meminfo: memFree=14927172/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=15875364 CPUtime=206.6 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4202496 5364981 0 0 0 20038 622 0 0 25 0 1 0 905070084 16256372736 3926692 33554432000 4194304 6957856 140735746579696 18446744073709551615 5922200 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11636/statm: 3968841 3926692 268 675 0 3968157 0
Current children cumulated CPU time (s) 206.6
Current children cumulated vsize (KiB) 15875364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11636
Solver just ended. Dumping a history of the last processes samples
[startup+207.706 s]
/proc/loadavg: 2.86 3.14 2.52 2/177 11683
/proc/meminfo: memFree=14926668/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=15875368 CPUtime=206.6 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) S 11634 11636 9742 0 -1 4202496 5364984 0 0 0 20038 622 0 0 25 0 1 0 905070084 16256376832 3926695 33554432000 4194304 6957856 140735746579696 18446744073709551615 6100974 0 16384 4096 17571 18446604453781080896 0 0 17 4 0 0 0
/proc/11636/statm: 3968842 3926695 270 675 0 3968158 0
Current children cumulated CPU time (s) 206.6
Current children cumulated vsize (KiB) 15875368
[startup+208.501 s]
/proc/loadavg: 2.86 3.14 2.52 2/177 11683
/proc/meminfo: memFree=14926668/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=15875368 CPUtime=206.6 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) S 11634 11636 9742 0 -1 4202496 5364984 0 0 0 20038 622 0 0 25 0 1 0 905070084 16256376832 3926695 33554432000 4194304 6957856 140735746579696 18446744073709551615 6100974 0 16384 4096 17571 18446604453781080896 0 0 17 4 0 0 0
/proc/11636/statm: 3968842 3926695 270 675 0 3968158 0
Current children cumulated CPU time (s) 206.6
Current children cumulated vsize (KiB) 15875368
[startup+208.901 s]
/proc/loadavg: 2.86 3.14 2.52 4/176 11683
/proc/meminfo: memFree=17034800/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=0 CPUtime=206.89 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4203524 5364984 0 0 0 20038 651 0 0 18 0 1 0 905070084 0 0 33554432000 0 0 0 0 0 0 16384 4096 17571 18446744073709551615 0 0 17 4 0 0 0
/proc/11636/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 206.89
Current children cumulated vsize (KiB) 0
[startup+209.101 s]
/proc/loadavg: 2.86 3.14 2.52 4/176 11683
/proc/meminfo: memFree=17034800/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=0 CPUtime=207.09 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4203524 5364984 0 0 0 20038 671 0 0 18 0 1 0 905070084 0 0 33554432000 0 0 0 0 0 0 16384 4096 17571 18446744073709551615 0 0 17 4 0 0 0
/proc/11636/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 207.09
Current children cumulated vsize (KiB) 0
[startup+209.201 s]
/proc/loadavg: 2.86 3.14 2.52 4/176 11683
/proc/meminfo: memFree=17034800/32951132 swapFree=67052544/67111528
[pid=11636] ppid=11634 vsize=0 CPUtime=207.19 cores=0,2,4,6
/proc/11636/stat : 11636 (minisatid-gmp) R 11634 11636 9742 0 -1 4203524 5364984 0 0 0 20038 681 0 0 18 0 1 0 905070084 0 0 33554432000 0 0 0 0 0 0 16384 4096 17571 18446744073709551615 0 0 17 4 0 0 0
/proc/11636/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 207.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 209.204
CPU time (s): 207.207
CPU user time (s): 200.389
CPU system time (s): 6.81796
CPU usage (%): 99.0451
Max. virtual memory (cumulated for all children) (KiB): 15875368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.389
system time used= 6.81796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5364984
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= 3
involuntary context switches= 186
runsolver used 5.08423 second user time and 10.3244 second system time
The end
Begin job on node128 at 2011-06-13 05:11:39
IDJOB=3497826
IDBENCH=71894
IDSOLVER=1990
FILE ID=node128/3497826-1307934679
RUNJOBID= node128-1307919795-9760
PBS_JOBID= 13559651
Free space on /tmp= 73572 MiB
SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__2048.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3497826-1307934679/watcher-3497826-1307934679 -o /tmp/evaluation-result-3497826-1307934679/solver-3497826-1307934679 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497826-1307934679.opb --verbosity=0 --format=opb --randomseed=58303239
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 08161da552551f1a32b034498343cbe2
RANDOM SEED=58303239
node128.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.852
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.70
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.852
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.852
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.852
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.75
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.852
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
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.852
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.852
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 : 5434.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 30663412 kB
Buffers: 320064 kB
Cached: 1647108 kB
SwapCached: 11368 kB
Active: 1100332 kB
Inactive: 946856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 30663412 kB
SwapTotal: 67111528 kB
SwapFree: 67052544 kB
Dirty: 514676 kB
Writeback: 4 kB
AnonPages: 77896 kB
Mapped: 11352 kB
Slab: 175656 kB
PageTables: 4836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 275056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73568 MiB
End job on node128 at 2011-06-13 05:15:24