host                   : ws
release                : 3.2.0-4-amd64
version                : #1 SMP Debian 3.2.51-1
machine                : x86_64
nr_cpus                : 8
max_cpu_id             : 127
nr_nodes               : 1
cores_per_socket       : 4
threads_per_core       : 2
cpu_mhz                : 3192
hw_caps                : bfebfbff:28100800:00000000:00003f00:17bae3ff:00000000:00000001:00000000
virt_caps              : hvm hvm_directio
total_memory           : 16108
free_memory            : 13843
sharing_freed_memory   : 0
sharing_used_memory    : 0
outstanding_claims     : 0
free_cpus              : 0
xen_major              : 4
xen_minor              : 3
xen_extra              : .1
xen_caps               : xen-3.0-x86_64 xen-3.0-x86_32p hvm-3.0-x86_32 hvm-3.0-x86_32p hvm-3.0-x86_64 
xen_scheduler          : credit
xen_pagesize           : 4096
platform_params        : virt_start=0xffff800000000000
xen_changeset          : 
xen_commandline        : placeholder dom0_mem=2048M dom0_max_vcpus=8 dom0_vcpus_pin
cc_compiler            : gcc (Debian 4.7.2-5) 4.7.2
cc_compile_by          : root
cc_compile_domain      : localdomain
cc_compile_date        : Wed Feb  5 21:46:20 CET 2014
xend_config_format     : 4
