Segfault during testing

[maleadt]

PkgEval is running into the following when testing this package:

[ Info: Testing computation
[ Info: Testing gradients
[ Info: Testing mutation
[ Info: Testing size mutation

signal (11): Segmentation fault
in expression starting at /home/pkgeval/.julia/packages/NaiveNASlib/6yDVa/test/mutation/size.jl:30
_ZN11ClpPresolve20gutsOfPresolvedModelEP10ClpSimplexdbibbPKcS3_ at /home/pkgeval/.julia/artifacts/e4a36d92f6628275dd9546eabfde4e94b1ffb986/lib/libClp.so (unknown line)
_ZN21OsiClpSolverInterface7resolveEv at /home/pkgeval/.julia/artifacts/e4a36d92f6628275dd9546eabfde4e94b1ffb986/lib/libOsiClp.so (unknown line)
_Z8CbcMain1iPPKcR8CbcModelPFiPS2_iER19CbcSolverUsefulData at /home/pkgeval/.julia/artifacts/1263af5e59820ee3b62d2f59e030cdcc86380f82/lib/libCbcSolver.so (unknown line)
Cbc_solve at /home/pkgeval/.julia/artifacts/1263af5e59820ee3b62d2f59e030cdcc86380f82/lib/libCbcSolver.so (unknown line)
Cbc_solve at /home/pkgeval/.julia/packages/Cbc/dIPfi/src/gen/libcbc_api.jl:306 [inlined]
optimize! at /home/pkgeval/.julia/packages/Cbc/dIPfi/src/MOI_wrapper/MOI_wrapper.jl:521
optimize! at /home/pkgeval/.julia/packages/MathOptInterface/vwZYM/src/MathOptInterface.jl:85 [inlined]
optimize! at /home/pkgeval/.julia/packages/MathOptInterface/vwZYM/src/Utilities/cachingoptimizer.jl:316
unknown function (ip: 0x7fc30e5fc362)
unknown function (ip: 0x7fc30e5e29f9)
unknown function (ip: 0x7fc30e5e2905)
optimize! at /home/pkgeval/.julia/packages/MathOptInterface/vwZYM/src/Bridges/bridge_optimizer.jl:376 [inlined]
optimize! at /home/pkgeval/.julia/packages/MathOptInterface/vwZYM/src/MathOptInterface.jl:85 [inlined]
optimize! at /home/pkgeval/.julia/packages/MathOptInterface/vwZYM/src/Utilities/cachingoptimizer.jl:316
unknown function (ip: 0x7fc30e5e28d2)
_jl_invoke at /cache/build/default-amdci4-2/julialang/julia-release-1-dot-8/src/gf.c:2377 [inlined]
ijl_apply_generic at /cache/build/default-amdci4-2/julialang/julia-release-1-dot-8/src/gf.c:2559
#optimize!#107 at /home/pkgeval/.julia/packages/JuMP/pQApG/src/optimizer_interface.jl:440
optimize! at /home/pkgeval/.julia/packages/JuMP/pQApG/src/optimizer_interface.jl:410 [inlined]
newsizes at /home/pkgeval/.julia/packages/NaiveNASlib/6yDVa/src/mutation/size.jl:184
Δsize! at /home/pkgeval/.julia/packages/NaiveNASlib/6yDVa/src/mutation/size.jl:57
unknown function (ip: 0x7fc30e75f442)
_jl_invoke at /cache/build/default-amdci4-2/julialang/julia-release-1-dot-8/src/gf.c:2377 [inlined]
ijl_apply_generic at /cache/build/default-amdci4-2/julialang/julia-release-1-dot-8/src/gf.c:2559
Δsize! at /home/pkgeval/.julia/packages/NaiveNASlib/6yDVa/src/api/size.jl:62
Δsize! at /home/pkgeval/.julia/packages/NaiveNASlib/6yDVa/src/api/size.jl:76
unknown function (ip: 0x7fc30e73f24d)
_jl_invoke at /cache/build/default-amdci4-2/julialang/julia-release-1-dot-8/src/gf.c:2377 [inlined]
ijl_apply_generic at /cache/build/default-amdci4-2/julialang/julia-release-1-dot-8/src/gf.c:2559
Δnin! at /home/pkgeval/.julia/packages/NaiveNASlib/6yDVa/src/api/size.jl:168
Δnin! at /home/pkgeval/.julia/packages/NaiveNASlib/6yDVa/src/api/size.jl:170

Can be reproduced by checking out PkgEval and doing:

julia --project PkgEval/bin/test_package.jl --julia=stable --name=NaiveNASlib

I'm not sure whether this is a bug with this package or with MathOptInterface.jl, but since it's being flagged as a crash in PkgEval reports it would be good to fix 🙂

[maleadt]

Looking through some more logs, SIIP2Marmot.jl and ConstrainedShortestPaths.jl (and maybe more) are failing with the same error, so I guess this is more likely to be a MathOptInterface.jl or Cbc.jl issue? cc @odow @blegat

[DrChainsaw]

Yes, it is this issue which is causing the segfault.

I will try to follow the recommendation to switch to HiGHS.jl, but there is a handful of tests which fail when I do so that I need to sort out.

[odow]

I will try to follow the recommendation to switch to HiGHS.jl, but there is a handful of tests which fail when I do so that I need to sort out.

The benefit of using HiGHS is that if we can isolate a reproducible failure, then the expected time to get it fixed is measured in days, rather than years for Cbc.

[odow]

Going to try and work-around this in Cbc.jl in the meantime: jump-dev/Cbc.jl#216

[maleadt]

Going to try and work-around this in Cbc.jl in the meantime: jump-dev/Cbc.jl#216

Seems to work for this package at least. Would it be possible to put that in a patch release to get this fix to packages that depend on Cbc.jl (and improve the PkgEval SNR a bit)?