MIPLIB Benchmark Case: b1c1s1 broken in [email protected]

[foreverdyz]

I used [email protected] to solve "b1c1s1" in MIPLIB and I set "parallel/maxnthread = 1", "limits/memory = 1024*16", and a time-limit as 3600s. I tried several times, and got following errors:

"""
L2635s| 3934 | 1337 | 10672k|2074.0 | gins| 74 |2624 |3715 |3602 |8674 | 1 | 313 |1920 | 2.029441e+04 | 2.533239e+04 | 24.82%| unknown
2657s| 4000 | 1377 | 10784k|2069.1 | 220M | 74 |2624 |3715 |3618 |9030 | 1 | 315 |1924 | 2.029504e+04 | 2.533239e+04 | 24.82%| unknown
2673s| 4100 | 1449 | 10868k|2045.2 | 221M | 74 |2624 |3717 |3639 |9468 | 1 | 318 |1931 | 2.029504e+04 | 2.533239e+04 | 24.82%| unknown
2689s| 4200 | 1479 | 10948k|2021.6 | 222M | 74 |2624 |3716 |3690 |9734 | 2 | 318 |1935 | 2.029583e+04 | 2.533239e+04 | 24.82%| unknown
2724s| 4300 | 1531 | 11102k|2012.5 | 224M | 74 |2624 |3723 |3653 | 10k| 2 | 326 |1937 | 2.030157e+04 | 2.533239e+04 | 24.78%| unknown
2744s| 4400 | 1597 | 11202k|1993.8 | 225M | 74 |2624 |3723 |3688 | 10k| 1 | 326 |1940 | 2.030299e+04 | 2.533239e+04 | 24.77%| unknown
2758s| 4500 | 1653 | 11265k|1969.3 | 226M | 74 |2624 |3724 |3688 | 11k| 0 | 328 |1942 | 2.030999e+04 | 2.533239e+04 | 24.73%| unknown
2782s| 4600 | 1687 | 11368k|1952.6 | 227M | 74 |2624 |3723 |3713 | 11k| 0 | 328 |1946 | 2.031948e+04 | 2.533239e+04 | 24.67%| unknown
2821s| 4700 | 1725 | 11533k|1947.4 | 228M | 74 |2624 |3723 |3685 | 11k| 2 | 330 |1951 | 2.033211e+04 | 2.533239e+04 | 24.59%| unknown
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2838s| 4800 | 1755 | 11603k|1926.1 | 228M | 74 |2624 |3726 |3685 | 11k| 0 | 333 |1956 | 2.033508e+04 | 2.533239e+04 | 24.57%| unknown
ERROR: LoadError: StackOverflowError:
Stacktrace:
[1] SCIPsolve
@ ~/.julia/packages/SCIP/Dt026/src/LibSCIP.jl:18659 [inlined]
[2] macro expansion
@ ~/.julia/packages/SCIP/Dt026/src/wrapper.jl:16 [inlined]
[3] optimize!(o::SCIP.Optimizer)
@ SCIP ~/.julia/packages/SCIP/Dt026/src/MOI_wrapper.jl:404
[4] optimize!(model::Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@kwargs{})
@ JuMP ~/.julia/packages/JuMP/i68GU/src/optimizer_interface.jl:595
[5] optimize!(model::Model)
@ JuMP ~/.julia/packages/JuMP/i68GU/src/optimizer_interface.jl:546
[6] top-level scope
@ ~/papercode/solve_models.jl:36
"""

Could you help me figure out what is happening or how to fix that?

[matbesancon]

Can you specify the SCIP version that was used? Did you use a default SCIP_JLL installation that comes with the package or did you install scip separately. I'll need the version of SCIP_PAPILO_jll that was used

…

On Sat, Dec 28, 2024, 15:49 foreverdyz ***@***.***> wrote: I used ***@***.*** to solve "b1c1s1" in MIPLIB and I set "parallel/maxnthread = 1", "limits/memory = 1024*16", and a time-limit as 3600s. I tried several times, and got following errors: """ L2635s| 3934 | 1337 | 10672k|2074.0 | gins| 74 |2624 |3715 |3602 |8674 | 1 | 313 |1920 | 2.029441e+04 | 2.533239e+04 | 24.82%| unknown 2657s| 4000 | 1377 | 10784k|2069.1 | 220M | 74 |2624 |3715 |3618 |9030 | 1 | 315 |1924 | 2.029504e+04 | 2.533239e+04 | 24.82%| unknown 2673s| 4100 | 1449 | 10868k|2045.2 | 221M | 74 |2624 |3717 |3639 |9468 | 1 | 318 |1931 | 2.029504e+04 | 2.533239e+04 | 24.82%| unknown 2689s| 4200 | 1479 | 10948k|2021.6 | 222M | 74 |2624 |3716 |3690 |9734 | 2 | 318 |1935 | 2.029583e+04 | 2.533239e+04 | 24.82%| unknown 2724s| 4300 | 1531 | 11102k|2012.5 | 224M | 74 |2624 |3723 |3653 | 10k| 2 | 326 |1937 | 2.030157e+04 | 2.533239e+04 | 24.78%| unknown 2744s| 4400 | 1597 | 11202k|1993.8 | 225M | 74 |2624 |3723 |3688 | 10k| 1 | 326 |1940 | 2.030299e+04 | 2.533239e+04 | 24.77%| unknown 2758s| 4500 | 1653 | 11265k|1969.3 | 226M | 74 |2624 |3724 |3688 | 11k| 0 | 328 |1942 | 2.030999e+04 | 2.533239e+04 | 24.73%| unknown 2782s| 4600 | 1687 | 11368k|1952.6 | 227M | 74 |2624 |3723 |3713 | 11k| 0 | 328 |1946 | 2.031948e+04 | 2.533239e+04 | 24.67%| unknown 2821s| 4700 | 1725 | 11533k|1947.4 | 228M | 74 |2624 |3723 |3685 | 11k| 2 | 330 |1951 | 2.033211e+04 | 2.533239e+04 | 24.59%| unknown time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2838s| 4800 | 1755 | 11603k|1926.1 | 228M | 74 |2624 |3726 |3685 | 11k| 0 | 333 |1956 | 2.033508e+04 | 2.533239e+04 | 24.57%| unknown ERROR: LoadError: StackOverflowError: Stacktrace: [1] SCIPsolve @ ~/.julia/packages/SCIP/Dt026/src/LibSCIP.jl:18659 [inlined] [2] macro expansion @ ~/.julia/packages/SCIP/Dt026/src/wrapper.jl:16 [inlined] [3] optimize!(o::SCIP.Optimizer) @ SCIP ~/.julia/packages/SCIP/Dt026/src/MOI_wrapper.jl:404 [4] optimize!(model::Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, ***@***.*** <https://github.com/kwargs>{}) @ JuMP ~/.julia/packages/JuMP/i68GU/src/optimizer_interface.jl:595 [5] optimize!(model::Model) @ JuMP ~/.julia/packages/JuMP/i68GU/src/optimizer_interface.jl:546 [6] top-level scope @ ~/papercode/solve_models.jl:36 """ Could you help me figure out what is happening or how to fix that? — Reply to this email directly, view it on GitHub <#299>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AB2FDMXEIYJ77W2AGDN4EFT2H23A7AVCNFSM6AAAAABUJ3ZKE6VHI2DSMVQWIX3LMV43ASLTON2WKOZSG43DCNZUHE3DOMQ> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[foreverdyz]

Hi, I just ] add SCIP in a linux. The version of SCIP_PAPILO_jll is v900.200.0+0. Thank you

[matbesancon]

Thank you, it seems to be a problem with the C solver and not the wrapper. One thing you can do as a quick fix is downgrade SCIP_PAPILO_jll to a previous version.

…

On Sat, Dec 28, 2024, 15:56 foreverdyz ***@***.***> wrote: Hi, I just ] add SCIP in a linux. The version of SCIP_PAPILO_jll is v900.200.0+0. Thank you — Reply to this email directly, view it on GitHub <#299 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AB2FDMQ7P7EMB5UF2O2Q2N32H233VAVCNFSM6AAAAABUJ3ZKE6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDKNRUGM2DGMJWGQ> . You are receiving this because you commented.Message ID: <scipopt/SCIP. ***@***.***>

[foreverdyz]

Thank you. I downgraded SCIP.jl to v0.11.14 (SCIP_PAPILO_jll automatically downgraded to v800.100.0+0) and the problem was solved.

By the way, I may need to wait for an update of the C solver of SCIP if I want to use the newest SCIP in Julia, right?

[matbesancon]

By the way, I may need to wait for an update of the C solver of SCIP if I want to use the newest SCIP in Julia, right?

You can use the solver binary you'd like, you need to specify it through an environment variable at build time of SCIP.jl (there are steps in the readme)

Does that answer your question?

[foreverdyz]

Yes, thank you!

[matbesancon]

hi! I couldn't reproduce the problem when trying to run the instance through SCIP.jl, it's long but I went further in the progress (21.86% in gap)