Minizinc Placement Model Ex. for vDNS+vFW use case