Skip to content

[BUG] Assertion failure after PDLP in supportcase22 #782

@nguidotti

Description

@nguidotti

cuopt report an assertion failure after solving the root node with PDLP.

See the full log here.

[033](https://github.com/NVIDIA/cuopt/actions/runs/21068454687/job/60593520378?pr=697#step:12:1034)
[ RUN      ] c_api/TimeLimitTestFixture.time_limit/2
Reading problem from /__w/cuopt/cuopt/datasets/mip/supportcase22.mps
Setting parameter method to 2
Setting parameter time_limit to 1.500000e+01
cuOpt version: 26.2.0, git hash: 161fd78, host arch: aarch64, device archs: 75-real,80-real,86-real,90a-real,100f-real,120a-real,120
CPU: Unknown, threads (physical/logical): 1/12, RAM: 43.49 GiB
CUDA 13.0, device: NVIDIA L4 (ID 0), VRAM: 22.03 GiB
CUDA device UUID: 709c6c83-0d9a-81b1-c4b1-809b65d73c4b

Solving a problem with 260602 constraints, 7129 variables (7129 integers), and 2228828 nonzeros
Problem scaling:
Objective coefficents range:          [1e+00, 7e+00]
Constraint matrix coefficients range: [1e+00, 6e+01]
Constraint rhs / bounds range:        [1e+00, 1e+02]
Variable bounds range:                [0e+00, 1e+00]

Original problem: 260602 constraints, 7129 variables, 2228828 nonzeros
Calling Papilo presolver
Presolve status: reduced the problem
Presolve removed: 640 constraints, 640 variables, 1280 nonzeros
Presolved problem: 259962 constraints, 6489 variables, 2227548 nonzeros
Papilo presolve time: 1.910987
Objective offset 0.000000 scaling_factor 1.000000
Running presolve!
After trivial presolve: 259962 constraints, 6489 variables, objective offset 0.000000.
Solving LP root relaxation
Scaling matrix. Maximum column norm 1.179733e+01, minimum column norm 9.640314e-01
Dual Simplex Phase 1
Dual feasible solution found.
Dual Simplex Phase 2
 Iter     Objective           Num Inf.  Sum Inf.     Perturb  Time
    1 +0.0000000000000000e+00     289 4.30627526e+01 0.00e+00 0.33
Running concurrent

PDLP finished
Status: Optimal   Objective: 0.00000000e+00  Iterations: 630  Time: 0.319s, Total time 0.364s
PDLP finished. Telling others to stop
Barrier finished in 0.57 seconds
Concurrent time:  0.569s, total time 0.569s
Solved with PDLP
Removed perturbation of 2.70e-05.
C_API_TEST: /tmp/conda-bld-output/bld/rattler-build_libmps-parser/work/cpp/src/dual_simplex/presolve.cpp:1314: f_t cuopt::linear_programming::dual_simplex::crush_dual_solution(const user_problem_t<i_t, f_t>&, const lp_problem_t<i_t, f_t>&, const std::vector<i_t>&, const std::vector<f_t>&, const std::vector<f_t>&, std::vector<f_t>&, std::vector<f_t>&) [with i_t = int; f_t = double]: Assertion `dual_res_inf < 1e-6' failed.
./ci/run_ctests.sh: line 24:  1043 Aborted                 (core dumped) "${gt}" "$@"

Metadata

Metadata

Assignees

Labels

awaiting responseThis expects a response from maintainer or contributor depending on who requested in last comment.bugSomething isn't working

Type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions