host                   : sdj
release                : 3.10-2-amd64
version                : #1 SMP Debian 3.10.7-1 (2013-08-17)
machine                : x86_64
nr_cpus                : 8
nr_nodes               : 1
cores_per_socket       : 4
threads_per_core       : 2
cpu_mhz                : 4334
hw_caps                : 178bf3ff:2fd3fbff:00000000:00001710:32983203:00000000:01ebbfff:00000008
virt_caps              : hvm
total_memory           : 16282
free_memory            : 314
free_cpus              : 0
xen_major              : 4
xen_minor              : 1
xen_extra              : .4
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          : unavailable
xen_commandline        : placeholder
cc_compiler            : gcc version 4.7.2 (Debian 4.7.2-5) 
cc_compile_by          : waldi
cc_compile_domain      : debian.org
cc_compile_date        : Thu May  2 12:32:07 UTC 2013
xend_config_format     : 4