Benchmark of different server virtualisation solutions