Note:variable bounds model failed to converge in 100 iterations
bhanusuprabhath opened this issue · 2 comments
Hi @mballance ,
When I'm trying to run a PYVSC script which has some around 2000 constraints.I'm getting the below msg
Note:variable bounds model failed to converge in 100 iterations and my Python script is getting killed.
May I know what is the exact issue and how to overcome this.
Thanks,
Bhanu
Hi @bhanusuprabhath,
This is an interesting one. The symptoms you report suggest that there are actually two issues.
The 'Note' that you see is related to some code that performs min/max domain propagation. Min/max domain propagation is done to improve random distribution. The 'Note' is reported when the field domains fail to converge after some number of iterations. This can happen due to a bug, and can happen in some cases involving soft constraints.
I also see that you note that the Python script is being killed. Do you know what is killing the script and how? For example, is it being killed because it takes too long to run and a timeout mechanism is killing it? Is it crashing and showing a Python traceback? In some rare cases, the script may exit and report a Boolector fatal error.
Is it possible for you to provide a representative testcase? Being able to show the same behavior in my environment would very much help!
Hi @mballance ,
I think the script is being killed because it is taking too long to run and a timeout mechanism is killing it.
I don't see any python trace back and Boolector fatal error.
If it is a timeout issue, how do we increase the timeout?