memory access error

[ValentinKaisermayer]

I am using HiGHS in Julia HiGHS v1.23.0 but I guess the memory access violation is an upstream issue so I am posting it here.

It happens during the call to set_optimizer_attributes.

[1703327] signal 11 (1): Speicherzugriffsfehler
in expression starting at none:0
_Z14getOptionIndexRK15HighsLogOptionsRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorIP12OptionRecordSaISC_EERi at /usr/share/julia/artifacts/0f5853b2f0786049f8ae5d642f412a7a73bfad68/lib/libhighs.so (unknown line)
_Z18getLocalOptionTypeRK15HighsLogOptionsRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorIP12OptionRecordSaISC_EEP15HighsOptionType at /usr/share/julia/artifacts/0f5853b2f0786049f8ae5d642f412a7a73bfad68/lib/libhighs.so (unknown line)
_ZNK5Highs13getOptionTypeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEP15HighsOptionType at /usr/share/julia/artifacts/0f5853b2f0786049f8ae5d642f412a7a73bfad68/lib/libhighs.so (unknown line)
Highs_getOptionType at /usr/share/julia/artifacts/0f5853b2f0786049f8ae5d642f412a7a73bfad68/lib/libhighs.so (unknown line)
Highs_getOptionType at /usr/share/julia/packages/HiGHS/yPMPW/src/gen/libhighs.jl:721 [inlined]
set at /usr/share/julia/packages/HiGHS/yPMPW/src/MOI_wrapper.jl:568
set at /usr/share/julia/packages/MathOptInterface/7aTit/src/Bridges/bridge_optimizer.jl:1091 [inlined]
set at /usr/share/julia/packages/MathOptInterface/7aTit/src/Utilities/cachingoptimizer.jl:1057
unknown function (ip: 0x75ecb1d6aa71) at (unknown file)
set at /usr/share/julia/packages/JuMP/0tD10/src/optimizer_interface.jl:1265
set_attribute at /usr/share/julia/packages/JuMP/0tD10/src/optimizer_interface.jl:1522
unknown function (ip: 0x75ecb1d69dc1) at (unknown file)
set_optimizer_attributes at /usr/share/julia/packages/JuMP/0tD10/src/optimizer_interface.jl:119

[jajhall]

Thanks, but there's no information here that we can use to identify the cause

[ValentinKaisermayer]

Thanks, but there's no information here that we can use to identify the cause

What would you need?

[ValentinKaisermayer]

This is the host:

Julia Version 1.12.5
Commit 5fe89b8ddc1 (2026-02-09 16:05 UTC)
Build Info:
  Official https://julialang.org/ release
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 4 × Common KVM processor
  WORD_SIZE: 64
  LLVM: libLLVM-18.1.7 (ORCJIT, nocona)
  GC: Built with stock GC
Threads: 1 default, 1 interactive, 1 GC (on 4 virtual cores)

[ValentinKaisermayer]

I am actually not sure how this can happen.

This is the relevant part of the code:

model = JuMP.Model()
JuMP.set_optimizer(model, optimizer)
JuMP.set_optimizer_attributes(model, optimizer_params...)


# then I add things to the model

I am running this in a loop for MPC, so this has been called before. And my test log shows that it worked. I will try to get you a reproducable example.

[jajhall]

Unfortunately this is all at the JuMP level. Although JuMP calls HiGHS, none of us is a JuMP user, so I don't know what JuMP.set_optimizer_attributes is doing.

@odow Can you help on this?

[odow]

@ValentinKaisermayer can you provide a reproducible example? What options were you trying to set?

[odow]

From the log:

[1703327] signal 11 (1): Speicherzugriffsfehler
in expression starting at none:0
_Z14getOptionIndexRK15HighsLogOptionsRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorIP12OptionRecordSaISC_EERi at /usr/share/julia/artifacts/0f5853b2f0786049f8ae5d642f412a7a73bfad68/lib/libhighs.so (unknown line)
_Z18getLocalOptionTypeRK15HighsLogOptionsRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorIP12OptionRecordSaISC_EEP15HighsOptionType at /usr/share/julia/artifacts/0f5853b2f0786049f8ae5d642f412a7a73bfad68/lib/libhighs.so (unknown line)
_ZNK5Highs13getOptionTypeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEP15HighsOptionType at /usr/share/julia/artifacts/0f5853b2f0786049f8ae5d642f412a7a73bfad68/lib/libhighs.so (unknown line)
Highs_getOptionType at /usr/share/julia/artifacts/0f5853b2f0786049f8ae5d642f412a7a73bfad68/lib/libhighs.so (unknown line)
Highs_getOptionType at /usr/share/julia/packages/HiGHS/yPMPW/src/gen/libhighs.jl:721 [inlined]
set at /usr/share/julia/packages/HiGHS/yPMPW/src/MOI_wrapper.jl:568

JuMP is calling
https://github.com/jump-dev/HiGHS.jl/blob/8a3381bd79d2002daaaf68d40cf60f27109b0451/src/MOI_wrapper.jl#L566-L568

which calls Highs_getOptionType, which works its way through to getOptionIndex and errors.

I assume this means @ValentinKaisermayer is trying to set an option that doesn't exist, and HiGHS isn't catching it correctly.

[ValentinKaisermayer]

optimizer = HiGHS.Optimizer
optimizer_params = Dict(
        "log_to_console" => false, "output_flag" => false, "time_limit" => Float64(time_limit_solver)
    )

[odow]

Reproducible example that I can copy-paste? What was time_limit_solver? What package versions were you using? Did this occur on the first solver or sporadically after many?

[odow]

For example, I can't reproduce:

julia> import HiGHS

julia> import MathOptInterface as MOI

julia> model = HiGHS.Optimizer()
A HiGHS model with 0 columns and 0 rows.

julia> for (k, v) in Dict(
           "log_to_console" => false, 
           "output_flag" => false, 
           "time_limit" => Float64(1.0),
       )
           MOI.set(model, MOI.RawOptimizerAttribute(k), v)
       end

(HiGHS) pkg> st
Project HiGHS v1.23.0
Status `~/git/jump-dev/HiGHS/Project.toml`
  [8c4f8055] MathOptIIS v0.2.0
  [b8f27783] MathOptInterface v1.50.1
  [aea7be01] PrecompileTools v1.3.3
  [8fd58aa0] HiGHS_jll v1.14.0+0
  [656ef2d0] OpenBLAS32_jll v0.3.30+0
  [37e2e46d] LinearAlgebra v1.12.0
  [2f01184e] SparseArrays v1.12.0

We're unlikely to be able to do anything without a reproducible example.