HiGHS crashes with assertion failure

[zxt5]

HiGHS (build from latest branch) crashes when solving seed.mps.txt with options_file highs_options.txt

root@b9f8d0525121:/tmp# cat highs_options.txt
presolve=off
run_crossover=off
threads=0
mip_detect_symmetry=true
mip_allow_restart=true
mip_max_start_nodes=291
mip_max_leaves=2147480008
mip_max_improving_sols=2147481624
mip_lp_age_limit=2
mip_pool_age_limit=47
mip_heuristic_effort=0.8312576260210047
iis_strategy=1
mip_rel_gap=0
mip_abs_gap=0
root@b9f8d0525121:/tmp# highs --presolve off --model_file seed.mps --options_file highs_options.txt
Running HiGHS 1.9.0 (git hash: 1fd953d7a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "off"
Set option run_crossover to "off"
Set option log_file to "HiGHS.log"
Set option mip_max_start_nodes to 291
Set option mip_max_leaves to 2147480008
Set option mip_max_improving_sols to 2147481624
Set option mip_lp_age_limit to 2
Set option mip_pool_age_limit to 47
Set option mip_heuristic_effort to 0.831258
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
Set option iis_strategy to 1
MIP  seed has 172 rows; 17 cols; 2922 nonzeros; 13 integer variables
Coefficient ranges:
  Matrix [2e-02, 2e+01]
  Cost   [6e+00, 1e+02]
  Bound  [2e+02, 2e+02]
  RHS    [9e-02, 1e+02]

Presolve is switched off

Solving MIP model with:
   172 rows
   17 cols (0 binary, 13 integer, 0 implied int., 4 continuous)
   2922 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

        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%   -180256         inf                  inf        0      0      0         0     0.0s
         0       0         0   0.00%   -85222.158545   inf                  inf        0      0      0        23     0.1s
 R       0       0         0   0.00%   -85208.557469   -85063.563388      0.17%      200      6      0        37     0.8s
 L       0       0         0   0.00%   -85207.613721   -85080.805824      0.15%      351      6      0        49     4.7s
       106      23        39   3.31%   -85207.549654   -85080.805824      0.15%      398      6    104      1017    10.0s
 L     203      24        83  22.08%   -85207.159384   -85090.865449      0.14%      437      6    245      1257    16.3s
       413      46       166  29.07%   -85207.159384   -85090.865449      0.14%      482      6    634      2321    21.9s
 L     453      33       184  41.20%   -85207.159384   -85113.569096      0.11%      490      6    756      2392    24.2s
       520      34       212  44.42%   -85207.159384   -85113.569096      0.11%      483      6    874      3612    30.9s
       632      39       254  45.69%   -85207.159384   -85113.569096      0.11%      487      6   1069      4666    38.3s
 L     747      48       305  58.41%   -85206.831169   -85113.569096      0.11%      489      6   1391      4890    42.3s
       929      55       382  62.14%   -85206.100928   -85113.569096      0.11%      537      7   1834      5533    47.3s
       978      56       402  64.99%   -85206.100928   -85113.569096      0.11%      539      4   1917      6511    52.7s
      1096      59       452  67.04%   -85206.100928   -85113.569096      0.11%      555      4   2198      7039    57.7s
 L    1096      58       452  67.04%   -85206.100928   -85114.483246      0.11%      537      4   2198      7039    61.4s
      1206      78       489  72.51%   -85206.100928   -85114.483246      0.11%      554      4   2370      8530    69.0s
      1352      78       549  76.64%   -85206.100928   -85114.483246      0.11%      569      5   2695      9255    74.7s
      1393      78       569  79.76%   -85198.062877   -85114.483246      0.10%      576      5   2794     10553    82.4s
      1502      84       609  80.21%   -85198.062877   -85114.483246      0.10%      578      5   3019     11850    90.2s
 T    1507      85       612  80.24%   -85198.062877   -85116.10025       0.10%      580      5   3037     11860    90.3s

        Nodes      |    B&B Tree     |            Objective Bounds              |  Dynamic Constraints |       Work
Src  Proc. InQueue |  Leaves   Expl. | BestBound       BestSol              Gap |   Cuts   InLp Confl. | LpIters     Time

      1650      86       673  80.95%   -85198.062877   -85116.10025       0.10%      591      5   3366     13965   102.7s
      1746      87       715  82.68%   -85198.062877   -85116.10025       0.10%      592      5   3538     14751   108.4s
      1754      86       719  82.97%   -85198.062877   -85116.10025       0.10%      594      3   3568     15738   114.7s
      1905      95       778  84.84%   -85198.062877   -85116.10025       0.10%      615      3   3824     16250   119.8s
      1960     105       801  85.03%   -85194.894517   -85116.10025       0.09%      624      3   3905     17623   128.3s
      2160     116       880  85.43%   -85194.470081   -85116.10025       0.09%      648      3   4429     18134   133.4s
      2264     118       921  85.80%   -85183.519475   -85116.10025       0.08%      658      3   4695     18868   138.8s
      2413     122       982  86.65%   -85183.519475   -85116.10025       0.08%      655      3   5127     20316   147.3s
highs: /tmp/HiGHS/src/mip/HighsDomain.cpp:1586: void HighsDomain::updateActivityLbChange(HighsInt, double, double): Assertion `std::fabs(double(activitymax_[mip->a_matrix_.index_[i]] - tmpmaxact)) <= mipsolver->mipdata_->feastol' failed.
Aborted (core dumped)

[fwesselm]

I am able to reproduce this on Windows and will have a look.