interest-noawait /usr/share/minizinc/solvers
