Note:variable bounds model failed to converge in 100 iterations about pyvsc HOT 2 OPEN

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!

from pyvsc.

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?

from pyvsc.