MiniZinc memory issue

[Francesco Contaldo]

Hi guys!
I am new to this group! I'm working with MiniZinc and i would like to ask if there are any threshold regarding the size of a constraint. To be more specific I have a model with one very big constraint (with also a lot if-then-else conditions) and if I try to call mzn2fzn or mzn-g12mip I got a "Error: memory exhausted". I have 12gb of ram but when I lunch the aforementioned commands seems like that they don't even try to allocate nothing in ram. Do you have any suggestions?
Thank you all!

[Jip J. Dekker]

Hi Francesco,

I'm afraid that without having a look at the model it is very hard to tell what the problem is. The error seems to be coming from the MiniZinc compiler. The fact that a lot of memory was free suggests that it could be a bug.

If you could share your model we can have a look at it with a debugger to see if anything strange is going on.

Cheers,

Jip

[france194]

Hi Jip,

Thank for your answer! Unfortunately I don't know yet if I can share the model but I found a temporary solution splitting the constraint in a series of smallest constraints with the help of new boolean variables. Anyway the memory exhaustion error still remain strange to me.

[france194]

Hi Jip,

I can share an example of the model that create the "Error: memory exhausted".
Cheers,
Francesco

[guido.tack]

Thanks. The problem was that the MiniZinc parser uses a fixed-size stack, so very deeply nested expressions can cause this error. I have been able to increase the stack space available to the parser, this fix will be part of the next release. However, it seems that the parentheses in your model are not balanced.

Cheers,

Guido

[france194]

Thank you Guido!
Since I'm working with MiniZinc on a university project do you think that the next release will be released soon? Otherwise is there an easy way to modify the size of the stack from the code and then recompile the parser?
Thanks!

Cheers,
Francesco

[Guido Tack]

We’re hard at work, hopefully we will have a beta version released in the next few days. You can already compile the new code from the develop branch of our GitHub repository.

Cheers,

Guido

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/1a00440a-f417-4d4f-9ae3-94fc321622db%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

GUIDO TACK

Senior Lecturer

Information Technology

Monash University

Level 6, Room 6.40, Building H, Caulfield Campus

900 Dandenong Road

Caulfield East VIC 3145

Australia

T: +61 3 9903 1214

E: guido...@monash.edu

http://users.monash.edu/~guidot/

[france194]

Hi Guido,
sorry for bothering you again but I have tried to compile and executed what is inside the develop branch but I still have the same memory problem. I have also tried to have a look at the code inside and I saw that there are a lot of values related to the stack size, which ones do you suggest to modify?
Thank you in advance for your time!
Cheers,
Francesco

[Guido Tack]

Sorry, the GitHub repository hadn't been updated to our latest internal commits yet. Please try again. If you need to increase the stack size further, modify lib/parser.yxx and increase YYMAXDEPTH and YYINITDEPTH.

Cheers,

Guido

To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/aa2b7d6f-3278-4be8-a6b0-e57088646801%40googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

[france194]

Hi Guido,
first of all I want to thank you for your answer even if some time has been passed.
I'm writing to you again because I still have same memory issue problems. As you suggested to me I downloaded the source code form the develop branch of your GitHub repository and I played with the YYMAXDEPTH and YYINITDEPTH parameters to avoid the memory exhausted error. The problem is that when I find a combination of the two values that allows me to avoid the memory exhausted error I obtain a segmentation fault (core dumped) error.

Here below I report the output of the mzn2fzn command:

mzn2fzn --verbose-compilation prova_fischer2_1_b1.mzn

MiniZinc to FlatZinc converter, version 2.2.0

Copyright (C) 2014-2018 Monash University, NICTA, Data61

Parsing file(s) 'prova_fischer2_1_b1.mzn' ...

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/stdlib.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/builtins.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/redefinitions-2.1.1.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/redefinitions-2.1.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/redefinitions-2.0.2.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/redefinitions-2.0.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/redefinitions.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/flatzinc_builtins.mzn'

processing file 'prova_fischer2_1_b1.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/globals.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/value_precede_chain.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/value_precede_chain_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/value_precede_chain_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/value_precede.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/value_precede_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/value_precede_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/table.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/table_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/table_bool.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/symmetric_all_different.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/sum_pred.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/subcircuit.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/alldifferent.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/strict_lex2.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/span.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/sort_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/sort.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/sliding_sum.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/roots_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/roots.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/regular_regexp.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/regular_nfa.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/regular.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/range_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/range.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/partition_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/nvalue_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/nvalue.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/network_flow.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/minimum.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/member.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/set_member.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/member_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/member_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/member_float.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/member_bool.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/maximum.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/link_set_to_booleans.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex2.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_less.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_less_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_less_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_less_float.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_less_bool.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_lesseq.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_lesseq_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_lesseq_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_lesseq_float.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_lesseq_bool.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_greatereq.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/lex_greater.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/knapsack.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/inverse_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/inverse_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/inverse.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/int_set_channel.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/increasing.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/increasing_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/increasing_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/increasing_float.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/increasing_bool.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/global_cardinality_low_up_closed.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/global_cardinality_low_up.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/global_cardinality_closed_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/global_cardinality_closed.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/global_cardinality_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/global_cardinality.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/geost.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/exactly.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/exactly_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/exactly_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/element.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/element_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/element_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/element_float.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/element_bool.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/distribute_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/distribute.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/disjunctive_strict_opt.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/disjunctive_opt.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/disjunctive_strict.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/disjunctive.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/disjoint.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/diffn_nonstrict_k.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/diffn_k.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/diffn_nonstrict.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/diffn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/decreasing.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/decreasing_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/decreasing_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/decreasing_float.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/decreasing_bool.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/cumulative_opt.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/cumulative.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/count_lt.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/count_leq.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/count_gt.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/count_geq.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/count_neq.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/count_eq.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/count_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/count.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/circuit.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/bin_packing_load_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/bin_packing_load.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/bin_packing_capa.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/bin_packing.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/at_most1.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/at_most.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/at_most_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/at_most_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/at_least.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/at_least_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/at_least_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/arg_max.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/arg_max_float.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/arg_max_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/arg_min.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/arg_min_float.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/arg_min_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/arg_sort.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/arg_sort_float.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/arg_sort_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/among_fn.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/among.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/alternative.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/all_equal.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/all_equal_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/all_equal_int.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/all_disjoint.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/alldifferent_except_0.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/all_different.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/all_different_set.mzn'

processing file '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc/std/all_different_int.mzn'

 done parsing (0.26 s)

Flattening ...

CompilePass: Flatten with '/home/france/Documents/unitn/ProjectC/solvers/mzn_inst_dir2/bin/../share/minizinc//' library ...

Segmentation fault (core dumped)

The value that I have use for the two parameters is the same 46000 (with 45000 for both i got memory exhausted error)

 

I am attaching here  the mzn file that I used.
Thank you in advance for your availability 

Cheers,
Francesco Contaldo