Minizinc model-driven example for vDNS placement