Repository navigation
Minzinc crash #147
Description
Hi,
Running latest version v2.5.5 but as well with v2.5.4. I run a model and sometimes works and sometimes crashes with window message "unknown error while executing minizinc: crashed" and on the ouput "Process finished with non-zero exit code -1073741819".
I use CPLEX for the solver (v20.1 and v12.9) both with the same result.
If I run v2.5.3 I got the following error:
C:\Program Files\MiniZinc\share\minizinc/linear//fzn_lex_lesseq_int.mzn:14.8-20:
MiniZinc: type error: undefined identifier `MZN__Orbisack'
Process finished with non-zero exit code 1
I used to run same model with cplex 12.9 and Minizinc ide v2.3.2 and it worked perfectly. I tried to re-installed both previous versions of cplex and minizinc but I cannot get minizinc to load the cplex solver "MiniZinc: internal error: cannot load cplex dll `cplex12100.dll'. ¿Any idea how to update the configuration file for minizinc of cplex solver?
Any idea how to proceed?
Activity
javierrodrigogomez commentedon Jun 7, 2021
Removing some of the constrains, the model runs without crashing. The problem is that with that message, it's impossible to debug it. Is there any log file to look at?
alexeytref commentedon Feb 24, 2022
Same problem. Minizinc 2.5.5.
The problem does not depend on the solver, the error occurs at the compilation stage.
Strange thing: I have 2 mzn files, one includes the second one. If you combine them into one file, the error disappears.
cyderize commentedon Feb 24, 2022
In general this error message indicates that MiniZinc has crashed. MiniZnc 2.6.0 features better error reporting for this, so it would be great if you could try out this version.
@alexeytref If your issue is still present in 2.6.0, could you open a new issue on the https://github.com/MiniZinc/libminizinc repository describing the problem (and if possible include a code example which demonstrates the issue)? It's likely not the same as the issue with CPLEX.
alexeytref commentedon Feb 28, 2022
@cyderize
Sorry for delay. Installing minizinc 2.6.0 solved the problem.