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-3729070-1338680538/watcher-3729070-1338680538 -o /tmp/evaluation-result-3729070-1338680538/solver-3729070-1338680538 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3729070-1338680538.opb
running on 4 cores: 1,3,5,7
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: 1.99 1.96 1.57 3/174 14480
/proc/meminfo: memFree=26909732/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=10792 CPUtime=0 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 321 0 0 0 0 0 0 0 20 0 1 0 334179274 11051008 268 33554432000 134512640 137136520 4287935392 4287929628 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 2698 268 189 641 0 2054 0
[startup+0.0297351 s]
/proc/loadavg: 1.99 1.96 1.57 3/174 14480
/proc/meminfo: memFree=26909732/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=11040 CPUtime=0.02 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 391 0 0 0 2 0 0 0 20 0 1 0 334179274 11304960 338 33554432000 134512640 137136520 4287935392 4287933672 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 2760 338 198 641 0 2116 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11040
[startup+0.10014 s]
/proc/loadavg: 1.99 1.96 1.57 3/174 14480
/proc/meminfo: memFree=26909732/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=11760 CPUtime=0.09 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 566 0 0 0 9 0 0 0 20 0 1 0 334179274 12042240 513 33554432000 134512640 137136520 4287935392 4287933672 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 2940 513 198 641 0 2296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11760
[startup+0.300102 s]
/proc/loadavg: 1.99 1.96 1.57 3/174 14480
/proc/meminfo: memFree=26909732/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=13520 CPUtime=0.28 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 1011 0 0 0 28 0 0 0 20 0 1 0 334179274 13844480 958 33554432000 134512640 137136520 4287935392 4287934508 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 3380 958 198 641 0 2736 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13520
[startup+0.700096 s]
/proc/loadavg: 1.99 1.96 1.57 3/174 14480
/proc/meminfo: memFree=26909732/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=16504 CPUtime=0.69 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 1745 0 0 0 68 1 0 0 20 0 1 0 334179274 16900096 1692 33554432000 134512640 137136520 4287935392 4287934508 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 4126 1692 198 641 0 3482 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16504
[startup+1.5001 s]
/proc/loadavg: 1.99 1.96 1.57 3/175 14481
/proc/meminfo: memFree=26901408/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=21020 CPUtime=1.48 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 2882 0 0 0 147 1 0 0 20 0 1 0 334179274 21524480 2829 33554432000 134512640 137136520 4287935392 4287934508 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 5255 2829 198 641 0 4611 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21020
[startup+3.10014 s]
/proc/loadavg: 1.99 1.96 1.57 3/175 14481
/proc/meminfo: memFree=26894960/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=28380 CPUtime=3.08 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 4708 0 0 0 306 2 0 0 20 0 1 0 334179274 29061120 4655 33554432000 134512640 137136520 4287935392 4287931304 134598609 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 7095 4655 198 641 0 6451 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28380
[startup+6.30024 s]
/proc/loadavg: 1.99 1.96 1.57 3/175 14481
/proc/meminfo: memFree=26887712/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=31228 CPUtime=6.28 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 5431 0 0 0 625 3 0 0 20 0 1 0 334179274 31977472 5370 33554432000 134512640 137136520 4287935392 4287934320 134544148 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 7807 5370 198 641 0 7163 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31228
[startup+12.7003 s]
/proc/loadavg: 1.99 1.96 1.58 3/175 14481
/proc/meminfo: memFree=26883216/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=35960 CPUtime=12.68 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 6628 0 0 0 1264 4 0 0 20 0 1 0 334179274 36823040 6567 33554432000 134512640 137136520 4287935392 4287933924 134551360 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 8990 6567 198 641 0 8346 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35960
[startup+25.5003 s]
/proc/loadavg: 1.99 1.96 1.58 3/175 14481
/proc/meminfo: memFree=26877668/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=41304 CPUtime=25.48 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 7967 0 0 0 2542 6 0 0 20 0 1 0 334179274 42295296 7902 33554432000 134512640 137136520 4287935392 4287934320 134544245 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 10326 7902 198 641 0 9682 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41304
[startup+51.1003 s]
/proc/loadavg: 1.99 1.97 1.59 3/175 14481
/proc/meminfo: memFree=26872956/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=45208 CPUtime=51.07 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 8933 0 0 0 5100 7 0 0 20 0 1 0 334179274 46292992 8868 33554432000 134512640 137136520 4287935392 4287934320 134543837 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14480/statm: 11302 8868 198 641 0 10658 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45208
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 1.99 1.97 1.59 3/175 14481
/proc/meminfo: memFree=26867620/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=47116 CPUtime=63.87 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 9420 0 0 0 6378 9 0 0 20 0 1 0 334179274 48246784 9355 33554432000 134512640 137136520 4287935392 4287934288 134543983 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14480/statm: 11779 9355 198 641 0 11135 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 47116
[startup+70.3002 s]
/proc/loadavg: 1.99 1.97 1.60 3/175 14481
/proc/meminfo: memFree=26867620/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=47200 CPUtime=70.27 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 9430 0 0 0 7018 9 0 0 20 0 1 0 334179274 48332800 9365 33554432000 134512640 137136520 4287935392 4287934508 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14480/statm: 11800 9365 198 641 0 11156 0
Current children cumulated CPU time (s) 70.27
Current children cumulated vsize (KiB) 47200
[startup+71.9002 s]
/proc/loadavg: 1.99 1.97 1.60 3/175 14481
/proc/meminfo: memFree=26867620/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=47200 CPUtime=71.86 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 9430 0 0 0 7177 9 0 0 20 0 1 0 334179274 48332800 9365 33554432000 134512640 137136520 4287935392 4287934508 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14480/statm: 11800 9365 198 641 0 11156 0
Current children cumulated CPU time (s) 71.86
Current children cumulated vsize (KiB) 47200
[startup+73.5002 s]
/proc/loadavg: 1.99 1.97 1.60 3/175 14481
/proc/meminfo: memFree=26867744/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=47200 CPUtime=73.46 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 9430 0 0 0 7337 9 0 0 20 0 1 0 334179274 48332800 9365 33554432000 134512640 137136520 4287935392 4287934508 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14480/statm: 11800 9365 198 641 0 11156 0
Current children cumulated CPU time (s) 73.46
Current children cumulated vsize (KiB) 47200
[startup+74.3002 s]
/proc/loadavg: 1.99 1.97 1.60 3/175 14481
/proc/meminfo: memFree=26867744/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=47200 CPUtime=74.26 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 9430 0 0 0 7417 9 0 0 20 0 1 0 334179274 48332800 9365 33554432000 134512640 137136520 4287935392 4287934508 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14480/statm: 11800 9365 198 641 0 11156 0
Current children cumulated CPU time (s) 74.26
Current children cumulated vsize (KiB) 47200
[startup+74.5002 s]
/proc/loadavg: 1.99 1.97 1.60 3/175 14481
/proc/meminfo: memFree=26867744/32873624 swapFree=7112/7112
[pid=14480] ppid=14478 vsize=47200 CPUtime=74.46 cores=1,3,5,7
/proc/14480/stat : 14480 (bsolo) R 14478 14480 5438 0 -1 4202496 9430 0 0 0 7437 9 0 0 20 0 1 0 334179274 48332800 9365 33554432000 134512640 137136520 4287935392 4287934508 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14480/statm: 11800 9365 198 641 0 11156 0
Current children cumulated CPU time (s) 74.46
Current children cumulated vsize (KiB) 47200
Child status: 0
Real time (s): 74.5896
CPU time (s): 74.5667
CPU user time (s): 74.4657
CPU system time (s): 0.100984
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 47200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.4657
system time used= 0.100984
maximum resident set size= 37464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9432
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= 13
involuntary context switches= 253
runsolver used 0.198969 second user time and 0.536918 second system time
The end
Begin job on node121 at 2012-06-03 01:42:18
IDJOB=3729070
IDBENCH=1165
IDSOLVER=2320
FILE ID=node121/3729070-1338680538
RUNJOBID= node121-1338679211-14283
PBS_JOBID= 14636692
Free space on /tmp= 71256 MiB
SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3729070-1338680538/watcher-3729070-1338680538 -o /tmp/evaluation-result-3729070-1338680538/solver-3729070-1338680538 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3729070-1338680538.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= e92d33933b84b1c0ca9ffa19c28f7edc
RANDOM SEED=1102406644
node121.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.042
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.08
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.042
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.042
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.042
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.042
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.042
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.042
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 : 5438.55
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.042
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: 32873624 kB
MemFree: 26910872 kB
Buffers: 604468 kB
Cached: 4434300 kB
SwapCached: 0 kB
Active: 1806780 kB
Inactive: 3285400 kB
Active(anon): 41160 kB
Inactive(anon): 10772 kB
Active(file): 1765620 kB
Inactive(file): 3274628 kB
Unevictable: 7112 kB
Mlocked: 7112 kB
SwapTotal: 67108856 kB
SwapFree: 67108856 kB
Dirty: 4012 kB
Writeback: 0 kB
AnonPages: 56172 kB
Mapped: 14892 kB
Shmem: 200 kB
Slab: 735676 kB
SReclaimable: 179720 kB
SUnreclaim: 555956 kB
KernelStack: 1456 kB
PageTables: 4060 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545668 kB
Committed_AS: 159760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346400 kB
VmallocChunk: 34341988052 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7680 kB
DirectMap2M: 33538048 kB
CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3729070-1338680538.opb
Free space on /tmp at the end= 71252 MiB
End job on node121 at 2012-06-03 01:43:33