-
Notifications
You must be signed in to change notification settings - Fork 2.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Unexpected "debug" output running fzn-cp-sat #4174
Comments
seems like a minizinc bug |
@Dekker1 do you have any idea what could be going on? |
2 remarks:
- I was not checking the -v flag and was always printing some log at the
start. This is fixed and should be available in 9.10 (this week or next).
- I though all lines starting with a % would be discarded anyway.
Laurent Perron | Operations Research | ***@***.*** | (33) 1 42 68 53
00
Le mer. 10 avr. 2024 à 11:51, Erik Cervin Edin ***@***.***> a
écrit :
… @Dekker1 <https://github.com/Dekker1> do you have any idea what could be
going on?
—
Reply to this email directly, view it on GitHub
<#4174 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ACUPL3MDUNIP5EUYIDBMJI3Y4UDQNAVCNFSM6AAAAABF7LLZXWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDANBXGA3DGOBTGY>
.
You are receiving this because you were assigned.Message ID:
<google/or-tools/issues/4174/2047063836 ***@***.***>
|
Awesome, thanks for the speedy fix
…On Wed, Apr 10, 2024, 11:55 AM Laurent Perron ***@***.***> wrote:
2 remarks:
- I was not checking the -v flag and was always printing some log at the
start. This is fixed and should be available in 9.10 (this week or next).
- I though all lines starting with a % would be discarded anyway.
Laurent Perron | Operations Research | ***@***.*** | (33) 1 42 68 53
00
Le mer. 10 avr. 2024 à 11:51, Erik Cervin Edin ***@***.***> a
écrit :
> @Dekker1 <https://github.com/Dekker1> do you have any idea what could
be
> going on?
>
> —
> Reply to this email directly, view it on GitHub
> <#4174 (comment)>,
> or unsubscribe
> <
https://github.com/notifications/unsubscribe-auth/ACUPL3MDUNIP5EUYIDBMJI3Y4UDQNAVCNFSM6AAAAABF7LLZXWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDANBXGA3DGOBTGY>
> .
> You are receiving this because you were assigned.Message ID:
> <google/or-tools/issues/4174/2047063836 ***@***.***>
>
—
Reply to this email directly, view it on GitHub
<#4174 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAXL5EVRLDVCQCBQRIR3CQLY4UEA7AVCNFSM6AAAAABF7LLZXWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDANBXGA3TQMZVGA>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
What version of OR-Tools and what language are you using?
Version: v9.8
Language: FlatZinc
Which solver are you using (e.g. CP-SAT, Routing Solver, GLOP, BOP, Gurobi)
cp-sat
What operating system (Linux, Windows, ...) and version?
Linux 5.15.146.1-microsoft-standard-WSL2 #1 SMP Thu Jan 11 04:09:03 UTC 2024 x86_64 x86_64 x86_64 GNU/Linux
What did you do?
Steps to reproduce the behavior:
What did you expect to see
No solver debug output,as in previous versions (works as expected at least in 9.1)
What did you see instead?
Very nice and interesting information, yet unexpected output.
Make sure you include information that can help us debug (full error message, model Proto).
This is that solver configuration file
Anything else we should know about your project / environment
My guess is there's some kind of debug flag or similar which is being set, despite the flatzinc solver not being given such option, possibly in
ortools/flatzinc/fz.cc
Given that the this doesn't occur in
9.1
but at least started occurring in9.8
, possible commits which introduced the behavior areOf which these looks more relevant
The text was updated successfully, but these errors were encountered: