scipopt / scip

SCIP - Solving Constraint Integer Programs
Other
366 stars 63 forks source link

lot of tests from viprchk and «ctest -R MIPEX» failed on «exact-rational» branch #79

Open belonesox opened 6 months ago

belonesox commented 6 months ago

I just build 2f76fbd8cbbe9019d1e3d5003799ee3b8ade21eb of exact-rational branch of SCIP, installed last version of VIPR (commit «dd173e»), and tried to run ctest -R MIPEX as writen on README

But lot of these tests failed.

LastTestsFailed.log CTestCostData.txt

LastTest.zip

Is it bug or something wrong with my setup? Have anyone run this tests, against any commit?

54% tests passed, 48 tests failed out of 104

Total Test time (real) = 1031.73 sec

The following tests FAILED:
        853 - MIPEX-exact-auto-egout.zpl-viprcomp (Failed)
        854 - MIPEX-exact-auto-egout.zpl-vipr (Failed)
        857 - MIPEX-exact-exactlp-egout.zpl-viprcomp (Failed)
        858 - MIPEX-exact-exactlp-egout.zpl-vipr (Failed)
        861 - MIPEX-exact-projshift-egout.zpl-viprcomp (Failed)
        862 - MIPEX-exact-projshift-egout.zpl-vipr (Failed)
        866 - MIPEX-exact-auto-enigma.zpl-viprcomp (Failed)
        867 - MIPEX-exact-auto-enigma.zpl-vipr (Failed)
        870 - MIPEX-exact-exactlp-enigma.zpl-viprcomp (Subprocess aborted)
        871 - MIPEX-exact-exactlp-enigma.zpl-vipr (Failed)
        874 - MIPEX-exact-projshift-enigma.zpl-viprcomp (Failed)
        875 - MIPEX-exact-projshift-enigma.zpl-vipr (Failed)
        879 - MIPEX-exact-auto-flugpl.zpl-viprcomp (Failed)
        880 - MIPEX-exact-auto-flugpl.zpl-vipr (Failed)
        883 - MIPEX-exact-exactlp-flugpl.zpl-viprcomp (Failed)
        884 - MIPEX-exact-exactlp-flugpl.zpl-vipr (Failed)
        887 - MIPEX-exact-projshift-flugpl.zpl-viprcomp (Failed)
        888 - MIPEX-exact-projshift-flugpl.zpl-vipr (Failed)
        892 - MIPEX-exact-auto-misc03.zpl-viprcomp (Failed)
        893 - MIPEX-exact-auto-misc03.zpl-vipr (Failed)
        896 - MIPEX-exact-exactlp-misc03.zpl-viprcomp (Subprocess aborted)
        897 - MIPEX-exact-exactlp-misc03.zpl-vipr (Failed)
        900 - MIPEX-exact-projshift-misc03.zpl-viprcomp (Failed)
        901 - MIPEX-exact-projshift-misc03.zpl-vipr (Failed)
        905 - MIPEX-exact-auto-mod008.zpl-viprcomp (Failed)
        906 - MIPEX-exact-auto-mod008.zpl-vipr (Failed)
        909 - MIPEX-exact-exactlp-mod008.zpl-viprcomp (Failed)
        910 - MIPEX-exact-exactlp-mod008.zpl-vipr (Failed)
        913 - MIPEX-exact-projshift-mod008.zpl-viprcomp (Failed)
        914 - MIPEX-exact-projshift-mod008.zpl-vipr (Failed)
        918 - MIPEX-exact-auto-rgn.zpl-viprcomp (Failed)
        919 - MIPEX-exact-auto-rgn.zpl-vipr (Failed)
        922 - MIPEX-exact-exactlp-rgn.zpl-viprcomp (Failed)
        923 - MIPEX-exact-exactlp-rgn.zpl-vipr (Failed)
        926 - MIPEX-exact-projshift-rgn.zpl-viprcomp (Failed)
        927 - MIPEX-exact-projshift-rgn.zpl-vipr (Failed)
        931 - MIPEX-exact-auto-stein27.zpl-viprcomp (Failed)
        932 - MIPEX-exact-auto-stein27.zpl-vipr (Failed)
        935 - MIPEX-exact-exactlp-stein27.zpl-viprcomp (Failed)
        936 - MIPEX-exact-exactlp-stein27.zpl-vipr (Failed)
        939 - MIPEX-exact-projshift-stein27.zpl-viprcomp (Failed)
        940 - MIPEX-exact-projshift-stein27.zpl-vipr (Failed)
        944 - MIPEX-exact-auto-stein45.zpl-viprcomp (Failed)
        945 - MIPEX-exact-auto-stein45.zpl-vipr (Failed)
        948 - MIPEX-exact-exactlp-stein45.zpl-viprcomp (Failed)
        949 - MIPEX-exact-exactlp-stein45.zpl-vipr (Failed)
        952 - MIPEX-exact-projshift-stein45.zpl-viprcomp (Failed)
        953 - MIPEX-exact-projshift-stein45.zpl-vipr (Failed)
belonesox commented 6 months ago

Dear Leon, @leoneifler , can you check? Or could you you just remember against what commit ctest -R MIPEX passed OK?

leoneifler commented 6 months ago

Hi @belonesox, sorry I was unavailable over the holidays. It definitely looks like a bug (which is weird since I always make sure to test this branch before I publish any changes). I forwarded the branch to the latest stable development commit and at least for me there are no fails in the ctest now. The commit is e8bd10a

Please let me know if it works now, and also if you experience any other bugs.

belonesox commented 6 months ago

run CTEST agains this commit, got same result

54% tests passed, 48 tests failed out of 104

Looks like something changed in build dependecies (PAPILO/ZIMPL/SOPLEX... — these libs in my box on last release versions). May be VIPR (from Oct 18, dd173e99202b1524f57eaf81ed62b9b4708b1e18) too new.

But if you check that and last versions from exact-rational, SCIP libs, and last VIPR will be OK, then definitely something wrong in my setup. :(

leoneifler commented 6 months ago

Hi, I thanks for reporting back. I will try to find the issue and get back to you.

leoneifler commented 6 months ago

I tried to reproduce the issues with the current version of exact-rational but for me it all works. Just as a sanity-check, could you upload/paste your log from your latest ctest (with the up-to-date exact-rational branch) so I can look at the error messages in more detail?

leoneifler commented 4 months ago

Closing this for now, since there was no reply

belonesox commented 4 months ago

Sorry, for not replaying, I am tried to troubleshoot myself, but without success. :( May be I can provide VM (virtualbox) or provide you access (SSH/RDP) to live VM, for looking at?

leoneifler commented 4 months ago

SSH access would be an option, but could you post a full log from a ctest first, as requested by me on Jan 02?

belonesox commented 4 months ago

Sorry for delaying report (got lot of troubles, lost SSD with all setup/sources/..)... Just build and retest commit 4c7b8ced84f0875413a5238b18d6cdbfea7ba812

ctest-stdout.log.gz LastTest.log.gz LastTestsFailed.log.gz CTestCostData.txt.gz