Open
Description
HiGHS (build from latest branch) crashes when solving seed.mps.txt with option file highs_options.txt
root@b9f8d0525121:/tmp# cat highs_options.txt
mip_rel_gap=0
mip_abs_gap=0
presolve=off
mip_lp_age_limit=19
mip_pool_age_limit=2
mip_heuristic_effort=0.321638279322984
root@b9f8d0525121:/tmp# highs --model_file seed.mps --options_file highs_options.txt
Running HiGHS 1.9.0 (git hash: acf51510d): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "off"
Set option log_file to "HiGHS.log"
Set option mip_lp_age_limit to 19
Set option mip_pool_age_limit to 2
Set option mip_heuristic_effort to 0.321638
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP seed has 370 rows; 19 cols; 7029 nonzeros; 11 integer variables
Coefficient ranges:
Matrix [1e-02, 2e+01]
Cost [5e-01, 1e+02]
Bound [2e+02, 2e+02]
RHS [5e-02, 1e+02]
Presolve is switched off
Solving MIP model with:
370 rows
19 cols (0 binary, 11 integer, 0 implied int., 8 continuous)
7029 nonzeros
Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic; L => Sub-MIP;
P => Empty MIP; R => Randomized rounding; S => Solve LP; T => Evaluate node; U => Unbounded;
z => Trivial zero; l => Trivial lower; u => Trivial upper; p => Trivial point; X => User solution
Nodes | B&B Tree | Objective Bounds | Dynamic Constraints | Work
Src Proc. InQueue | Leaves Expl. | BestBound BestSol Gap | Cuts InLp Confl. | LpIters Time
0 0 0 0.00% -187950 inf inf 0 0 0 0 0.0s
0 0 0 0.00% 2478.046103 inf inf 0 0 0 62 0.0s
C 0 0 0 0.00% 2508.606812 3024.888376 17.07% 29 5 0 75 0.3s
T 16 0 5 3.71% 2513.575625 3010.091182 16.50% 27 4 27 1920 4.4s
T 57 2 24 8.01% 2513.575625 2963.942415 15.19% 59 4 60 2352 5.2s
T 151 12 64 10.96% 2513.711157 2961.310011 15.11% 100 4 112 2746 6.3s
T 286 29 123 60.80% 2513.739403 2949.737102 14.78% 126 4 201 3312 8.1s
T 351 19 155 61.24% 2513.739403 2891.23908 13.06% 156 4 244 3552 8.4s
T 449 24 201 61.62% 2513.86308 2861.092199 12.14% 155 4 308 3914 9.3s
T 474 25 207 61.65% 2513.86308 2809.125929 10.51% 139 4 319 4016 9.6s
T 521 23 232 62.26% 2513.86308 2795.344773 10.07% 164 4 359 4216 9.9s
T 654 25 296 69.89% 2513.86308 2776.400062 9.46% 144 4 500 4972 11.9s
highs: /tmp/HiGHS/src/mip/HighsSearch.cpp:301: HighsInt HighsSearch::selectBranchingCandidate(int64_t, double&, double&): Assertion `lower_residual > -1e-12 && upper_residual > -1e-12' failed.
Aborted (core dumped)