coin-or / coin-or/CoinUtils

next branch runs into 'int CoinParam::intVal() const: Assertion `type_ == paramInt' failed.'

Open
#270 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
C++
Stars
53
Forks
47
PR merge metrics
No merged PRs in 30d

Description

Even for small ILPs like

[value_185.lp.txt](https://github.com/user-attachments/files/31143337/value_185.lp.txt)

I get

❯ ../usr/bin/cbc test/value_185.lp
CBC vtrunk — COIN-OR Branch and Cut
args: test/value_185.lp
default strategy 1
Switching back to maximization to get correct duals etc

▶ Problem loading

|Rows| = 124 |Cols| = 120 |NZ| = 292
Variables: 0 binary, 120 integer, 0 continuous

Coefficient ranges:
Matrix ∈ [1, 10] κ ≈ 10
Cost ∈ [1, 18] κ ≈ 18
Bounds ∈ [-, -] κ ≈ -
RHS ∈ [1, 1] κ ≈ 1

✔ Problem loaded — 124 rows, 120 cols, 292 NZ, 120 integer

▶ Root LP relaxation

Bound tightening: 71 bounds tightened (4 fixed) in 0.000 s.
Clique strengthening: no changes (0.00s)
Coefficient strengthening: no changes (0.00s)
Row reductions: 4 rows removed (4 all-fixed, 0 duplicate, 0 parallel), 0 row bounds tightened (0.00s)
cbc: /local/ssd/cullmann/build/lpsolve.clpsolve/libcbc/src/CoinUtils/src/CoinParam.cpp:1599: int CoinParam::intVal() const: Assertion `type_ == paramInt' failed.
zsh: abort (core dumped) ../usr/bin/cbc test/value_185.lp

with the next branch.

Contributor guide

No contributing guide indexed for this repository

Research direction

Reproduce the crash with the attached value_185.lp.txt file using the shown cbc command and the next branch. Start at CoinUtils/src/CoinParam.cpp:1599 and trace the parameter handling during root LP relaxation and row reductions; done means the assertion no longer aborts this input and the solver proceeds.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
backend
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
55/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.