minizinc model in process