<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear Zahra,<br>
<br>
I agree with Benny. I assume that you are not creating XOR
constraints yourself. They are instead created from linear
constraints with a special parity structure, which is called
upgrading in SCIP. As a workaround for continuing with your code,
you can disable the mentioned upgrade by setting the parameter<br>
<br>
<pre class="fragment"># enable linear upgrading for constraint handler <xor>
# [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: TRUE]
constraints/linear/upgrade/xor = TRUE
</pre>
to FALSE.<br>
<br>
Best,<br>
Gregor<br>
<br>
<br>
<div class="moz-cite-prefix">Am 20.02.19 um 08:55 schrieb Benjamin
Müller:<br>
</div>
<blockquote type="cite"
cite="mid:28bc2545-53d3-e677-7578-660a1fb4a808@zib.de">Dear Zahra,
<br>
<br>
looks like a bug in SCIP. Could you write out the MILP in the cip
format and send it to me, please? Thanks!
<br>
<br>
Best,
<br>
Benjamin
<br>
<br>
On 2/18/19 9:36 AM, Zahra Eskandari wrote:
<br>
<blockquote type="cite">Hi everyone,
<br>
<br>
I have a MILP problem which i try to solve with SCIP. when it
solved by "count", it generate all feasible solution without any
error. But when I use "Optimize" to solve it, it generate these
errors:
<br>
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/tree.c:1824]
ERROR: cannot change bounds of multi-aggregated variable
<agg_t_t_z(64)>
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/tree.c:2041]
ERROR: Error <-9> in function call
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/scip_var.c:5597]
ERROR: Error <-9> in function call
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/cons_xor.c:3251]
ERROR: Error <-9> in function call
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/cons_xor.c:5037]
ERROR: Error <-9> in function call
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/cons.c:4083]
ERROR: Error <-9> in function call
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/scip_solve.c:1050]
ERROR: Error <-9> in function call
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/scip_solve.c:1420]
ERROR: Error <-9> in function call
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/scip_solve.c:2448]
ERROR: Error <-9> in function call
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/scip_solve.c:2660]
ERROR: Error <-9> in function call
<br>
[/nfs/OPTI/jenkins/workspace/SCIPOptSuite_linux_release/scipoptsuite-6.0.0/scip/src/scip/heur_rins.c:391]
ERROR: Error <-9> in function call
<br>
WARNING: Transformed variable <agg_t_t_z(50)> not released
when freeing SCIP. Consider releasing variable first.
<br>
Segmentation fault (core dumped)
<br>
<br>
<br>
<br>
<br>
it is notable that I use PySCIPOpt.
<br>
<br>
if someone has some opinions, please, let me know.
<br>
<br>
Zahra
<br>
<br>
<br>
_______________________________________________
<br>
Scip mailing list
<br>
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<br>
<a class="moz-txt-link-freetext" href="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a>
<br>
<br>
</blockquote>
<br>
</blockquote>
<br>
</body>
</html>