host                   : node4
release                : 3.7.1
version                : #1 SMP Fri Dec 28 07:23:04 CET 2012
machine                : x86_64
nr_cpus                : 4
nr_nodes               : 1
cores_per_socket       : 4
threads_per_core       : 1
cpu_mhz                : 3093
hw_caps                : bfebfbff:28100800:00000000:00001f40:13bae3ff:00000000:00000001:00000000
virt_caps              : hvm hvm_directio
total_memory           : 32740
free_memory            : 16694
node_to_cpu            : node0:0-3
node_to_memory         : node0:16694
node_to_dma32_mem      : node0:3488
max_node_id            : 0
xen_major              : 4
xen_minor              : 0
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          : unavailable
xen_commandline        : placeholder dom0_mem=2048M
cc_compiler            : gcc version 4.4.5 (Debian 4.4.5-8)
cc_compile_by          : waldi
cc_compile_domain      : debian.org
cc_compile_date        : Thu Jun  9 18:38:03 UTC 2011
xend_config_format     : 4