Test failures (precision issues) in 1.12.0

[orlitzky]

Hi, I'm getting ready to package HiGHS for Gentoo, and am therefore trying to break the test suite before unleashing it on end users.

With gcc-15.2.1 at -O3, I get only two failures:

/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/TestMipSolver.cpp:1162: FAILED:
  REQUIRE( h.getInfo().objective_function_value == mip_optimal_objective )
with expansion:
  1201500.0 == 1201499.9999999998

/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/TestMipSolver.cpp:1278: FAILED:
  REQUIRE( h.getInfo().objective_function_value <= mip_optimal_objective )
with expansion:
  1201500.0 <= 1201499.9999999998

With clang-21.1.7 at -O3, there are a lot more. The weird one is,

-------------------------------------------------------------------------------
highs-callback-mip-user-solution
-------------------------------------------------------------------------------
/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/TestCallbacks.cpp:540
...............................................................................

/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/TestCallbacks.cpp:540: FAILED:
due to a fatal error condition:
  SIGABRT - Abort (abnormal termination) signal

And then there are a lot more minor precision disagreements. I have tried to grep out the useful bits:

Model name          : afiro
Model status        : Optimal
PDLP      iterations: 360
Objective value     : -4.6475314931e+02
P-D objective error :  3.8891825863e-08
HiGHS run time      :          0.01
<end of output>
Test time =   0.09 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     : -4.64753150
]
"afiro-pdlp-no-presolve" end time: Dec 14 12:41 EST
"afiro-pdlp-no-presolve" time elapsed: 00:00:00

Model name          : chip
Model status        : Optimal
PDLP      iterations: 400
Objective value     : -9.0000000340e+02
P-D objective error :  2.9765403873e-09
HiGHS run time      :          0.00
<end of output>
Test time =   0.08 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     : -8.9999999
]
"chip-pdlp-no-presolve" end time: Dec 14 12:41 EST
"chip-pdlp-no-presolve" time elapsed: 00:00:00

Model name          : standata
Model status        : Unknown
PDLP      iterations: 1360
Objective value     :  1.2576994729e+03
P-D objective error :  2.3210090340e-08
HiGHS run time      :          0.53
<end of output>
Test time =   0.58 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     :  1.25769944
]
"standata-pdlp-no-presolve" end time: Dec 14 12:41 EST
"standata-pdlp-no-presolve" time elapsed: 00:00:00

Model name          : standgub
Model status        : Unknown
PDLP      iterations: 1360
Objective value     :  1.2576994729e+03
P-D objective error :  2.3210090340e-08
HiGHS run time      :          0.55
<end of output>
Test time =   0.60 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     :  1.25769944
]
"standgub-pdlp-no-presolve" end time: Dec 14 12:41 EST
"standgub-pdlp-no-presolve" time elapsed: 00:00:00

Model name          : e226
Model status        : Optimal
PDLP      iterations: 35400
Objective value     : -1.1638930924e+01
P-D objective error :  7.3731870498e-08
HiGHS run time      :          5.81
<end of output>
Test time =   5.86 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     : -1.16389294
]
"e226-pdlp-no-presolve" end time: Dec 14 12:42 EST
"e226-pdlp-no-presolve" time elapsed: 00:00:05

Model name          : shell
Model status        : Optimal
PDLP      iterations: 17120
Objective value     :  1.2088253568e+09
P-D objective error :  2.8506599407e-09
HiGHS run time      :          9.53
<end of output>
Test time =   9.62 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     :  1.20882534
]
"shell-pdlp-no-presolve" end time: Dec 14 12:42 EST
"shell-pdlp-no-presolve" time elapsed: 00:00:09

Model name          : stair
Model status        : Optimal
PDLP      iterations: 104320
Objective value     : -2.5126695116e+02
P-D objective error :  2.0629987563e-08
HiGHS run time      :         27.13
<end of output>
Test time =  27.19 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     : -2.51266942
]
"stair-pdlp-no-presolve" end time: Dec 14 12:42 EST
"stair-pdlp-no-presolve" time elapsed: 00:00:27

Model name          : scrs8
Model status        : Optimal
PDLP      iterations: 98160
Objective value     :  9.0429687354e+02
P-D objective error :  9.8211718729e-08
HiGHS run time      :         39.28
<end of output>
Test time =  39.34 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     :  9.04297094
]
"scrs8-pdlp-no-presolve" end time: Dec 14 12:42 EST
"scrs8-pdlp-no-presolve" time elapsed: 00:00:39

[orlitzky]

Finally, some that failed (with clang) due to the status:

106/168 Testing: small_mip--presolve=off
106/168 Test: small_mip--presolve=off
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--presolve=off" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/small_mip.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"small_mip--presolve=off" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "off"
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP small_mip has 5 rows; 8 cols; 14 nonzeros; 2 integer variables (2 binary)
Coefficient ranges:
  Matrix  [1e+00, 6e+00]
  Cost    [1e+00, 2e+00]
  Bound   [5e-01, 4e+00]
  RHS     [2e+00, 2e+01]

Presolve is switched off

Solving MIP model with:
   5 rows
   8 cols (1 binary, 0 integer, 0 implied int., 6 continuous, 1 domain fixed)
   14 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

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

 J       0       0         0   0.00%   -inf            3.5                Large        0      0      0         0     0.1s
 T       0       0         0   0.00%   3.236842105     3.236842105        0.00%        0      0      0         0     0.1s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   0.26 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      3.2368421.*
  Dual bound        3.2368421.*
  Solution status   feasible
                    3.2368421.* \(objective\)
]
"small_mip--presolve=off" end time: Dec 14 12:42 EST
"small_mip--presolve=off" time elapsed: 00:00:00

127/168 Testing: gt2--presolve=on
127/168 Test: gt2--presolve=on
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--presolve=on" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/gt2.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"gt2--presolve=on" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "on"
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP gt2 has 29 rows; 188 cols; 376 nonzeros; 188 integer variables (24 binary)
Coefficient ranges:
  Matrix  [1e+00, 3e+03]
  Cost    [1e+03, 8e+03]
  Bound   [1e+00, 2e+01]
  RHS     [1e+00, 6e+03]
Presolving model
28 rows, 173 cols, 346 nonzeros  0.005412s
28 rows, 173 cols, 346 nonzeros  0.017583s
Presolve reductions: rows 28(-1); columns 173(-15); nonzeros 346(-30) 
Objective function is integral with scale 1

Solving MIP model with:
   28 rows
   173 cols (33 binary, 140 integer, 0 implied int., 0 continuous, 0 domain fixed)
   346 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

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

 J       0       0         0   0.00%   -inf            93134              Large        0      0      0         0     0.1s
 R       0       0         0   0.00%   20146.761297    37913             46.86%        0      0      0        30     0.1s
 C       0       0         0   0.00%   20719.721723    37418             44.63%      129     21      0        76     0.2s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   0.99 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      21166.*
  Dual bound        21166.*
  Solution status   feasible
                    21166.* \(objective\)
]
"gt2--presolve=on" end time: Dec 14 12:42 EST
"gt2--presolve=on" time elapsed: 00:00:00

129/168 Testing: gt2--random_seed=2
129/168 Test: gt2--random_seed=2
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=2" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/gt2.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"gt2--random_seed=2" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 2
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP gt2 has 29 rows; 188 cols; 376 nonzeros; 188 integer variables (24 binary)
Coefficient ranges:
  Matrix  [1e+00, 3e+03]
  Cost    [1e+03, 8e+03]
  Bound   [1e+00, 2e+01]
  RHS     [1e+00, 6e+03]
Presolving model
28 rows, 173 cols, 346 nonzeros  0.005163s
28 rows, 173 cols, 346 nonzeros  0.018143s
Presolve reductions: rows 28(-1); columns 173(-15); nonzeros 346(-30) 
Objective function is integral with scale 1

Solving MIP model with:
   28 rows
   173 cols (33 binary, 140 integer, 0 implied int., 0 continuous, 0 domain fixed)
   346 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

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

 J       0       0         0   0.00%   -inf            114645             Large        0      0      0         0     0.1s
 R       0       0         0   0.00%   20146.761297    32887             38.74%        0      0      0        40     0.1s
 C       0       0         0   0.00%   20721.955296    29292             29.26%      160     22     15        96     0.3s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   1.11 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      21166.*
  Dual bound        21166.*
  Solution status   feasible
                    21166.* \(objective\)
]
"gt2--random_seed=2" end time: Dec 14 12:42 EST
"gt2--random_seed=2" time elapsed: 00:00:01

130/168 Testing: gt2--random_seed=3
130/168 Test: gt2--random_seed=3
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=3" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/gt2.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"gt2--random_seed=3" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 3
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP gt2 has 29 rows; 188 cols; 376 nonzeros; 188 integer variables (24 binary)
Coefficient ranges:
  Matrix  [1e+00, 3e+03]
  Cost    [1e+03, 8e+03]
  Bound   [1e+00, 2e+01]
  RHS     [1e+00, 6e+03]
Presolving model
28 rows, 173 cols, 346 nonzeros  0.005329s
28 rows, 173 cols, 346 nonzeros  0.018249s
Presolve reductions: rows 28(-1); columns 173(-15); nonzeros 346(-30) 
Objective function is integral with scale 1

Solving MIP model with:
   28 rows
   173 cols (33 binary, 140 integer, 0 implied int., 0 continuous, 0 domain fixed)
   346 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

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

 J       0       0         0   0.00%   -inf            209944             Large        0      0      0         0     0.1s
 R       0       0         0   0.00%   20146.761297    35987             44.02%        0      0      0        38     0.1s
 C       0       0         0   0.00%   20719.721723    34813             40.48%      157     22      0        78     0.2s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   1.14 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      21166.*
  Dual bound        21166.*
  Solution status   feasible
                    21166.* \(objective\)
]
"gt2--random_seed=3" end time: Dec 14 12:42 EST
"gt2--random_seed=3" time elapsed: 00:00:01

145/168 Testing: sp150x300d--random_seed=3
145/168 Test: sp150x300d--random_seed=3
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=3" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/sp150x300d.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"sp150x300d--random_seed=3" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 3
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
Number of BV entries in BOUNDS section is 300
MIP sp150x300d has 450 rows; 600 cols; 1200 nonzeros; 300 integer variables (300 binary)
Coefficient ranges:
  Matrix  [1e+00, 3e+03]
  Cost    [1e+00, 1e+00]
  Bound   [1e+00, 3e+03]
  RHS     [1e+00, 2e+03]
Presolving model
343 rows, 493 cols, 986 nonzeros  0.022343s
329 rows, 476 cols, 969 nonzeros  0.060429s
Presolve reductions: rows 329(-121); columns 476(-124); nonzeros 969(-231) 
Objective function is integral with scale 1

Solving MIP model with:
   329 rows
   476 cols (271 binary, 0 integer, 0 implied int., 205 continuous, 0 domain fixed)
   969 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   29              inf                  inf        0      0      0         0     0.2s
 S       0       0         0   0.00%   29              71                59.15%        0      0      0         0     0.4s
         0       0         0   0.00%   34.13643818     71                51.92%        0      0      2        38     0.4s
 S       0       0         0   0.00%   65.88652954     70                 5.88%      342     82      4       129     0.8s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   1.55 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      (69|68.9999999).*
  Dual bound        (69|68.9999999).*
  Solution status   feasible
                    (69|68.9999999).* \(objective\)
]
"sp150x300d--random_seed=3" end time: Dec 14 12:42 EST
"sp150x300d--random_seed=3" time elapsed: 00:00:01

117/168 Testing: lseu--presolve=on
117/168 Test: lseu--presolve=on
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--presolve=on" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/lseu.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"lseu--presolve=on" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "on"
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP lseu has 28 rows; 89 cols; 309 nonzeros; 89 integer variables (89 binary)
Coefficient ranges:
  Matrix  [1e+00, 5e+02]
  Cost    [6e+00, 5e+02]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 3e+03]
Presolving model
28 rows, 88 cols, 308 nonzeros  0.003324s
27 rows, 78 cols, 242 nonzeros  0.014618s
Presolve reductions: rows 27(-1); columns 78(-11); nonzeros 242(-67) 
Objective function is integral with scale 1

Solving MIP model with:
   27 rows
   78 cols (73 binary, 5 integer, 0 implied int., 0 continuous, 0 domain fixed)
   242 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

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

 J       0       0         0   0.00%   -inf            2679               Large        0      0      0         0     0.0s
 R       0       0         0   0.00%   947.9572368     1678              43.51%        0      0      0        29     0.1s
 L       0       0         0   0.00%   1099.817482     1120               1.80%      718     24     41       133     2.0s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   2.21 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      1120|1119.9999999.*
  Dual bound        1120|1119.9999999.*
  Solution status   feasible
                    1120|1119.9999999.* \(objective\)
]
"lseu--presolve=on" end time: Dec 14 12:42 EST
"lseu--presolve=on" time elapsed: 00:00:02

148/168 Testing: p0548--random_seed=1
148/168 Test: p0548--random_seed=1
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=1" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/p0548.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"p0548--random_seed=1" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 1
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP p0548 has 176 rows; 548 cols; 1711 nonzeros; 548 integer variables (548 binary)
Coefficient ranges:
  Matrix  [1e+00, 1e+04]
  Cost    [5e+00, 1e+04]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 1e+04]
Presolving model
150 rows, 474 cols, 1403 nonzeros  0.033147s
122 rows, 385 cols, 1132 nonzeros  0.179401s
Presolve reductions: rows 122(-54); columns 385(-163); nonzeros 1132(-579) 
Objective function is integral with scale 1

Solving MIP model with:
   122 rows
   385 cols (385 binary, 0 integer, 0 implied int., 0 continuous, 0 domain fixed)
   1132 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   0               inf                  inf        0      0      0         0     0.3s
         0       0         0   0.00%   5010.169086     inf                  inf        0      0      5       134     0.4s
 R       0       0         0   0.00%   8365.187136     11758             28.86%      216     40      9       211     0.7s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   2.05 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      (8691|8690.9999999).*
  Dual bound        (8691|8690.9999999).*
  Solution status   feasible
                    (8691|8690.9999999).* \(objective\)
]
"p0548--random_seed=1" end time: Dec 14 12:42 EST
"p0548--random_seed=1" time elapsed: 00:00:02

120/168 Testing: lseu--random_seed=3
120/168 Test: lseu--random_seed=3
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=3" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/lseu.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"lseu--random_seed=3" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 3
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP lseu has 28 rows; 89 cols; 309 nonzeros; 89 integer variables (89 binary)
Coefficient ranges:
  Matrix  [1e+00, 5e+02]
  Cost    [6e+00, 5e+02]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 3e+03]
Presolving model
28 rows, 88 cols, 308 nonzeros  0.003039s
27 rows, 78 cols, 242 nonzeros  0.016387s
Presolve reductions: rows 27(-1); columns 78(-11); nonzeros 242(-67) 
Objective function is integral with scale 1

Solving MIP model with:
   27 rows
   78 cols (73 binary, 5 integer, 0 implied int., 0 continuous, 0 domain fixed)
   242 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

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

 J       0       0         0   0.00%   -inf            2778               Large        0      0      0         0     0.1s
 R       0       0         0   0.00%   947.9572368     1754              45.95%        0      0      0        29     0.1s
 C       0       0         0   0.00%   1069.00273      1678              36.29%      162     12      0        78     0.1s
 L       0       0         0   0.00%   1103.481081     1120               1.47%      619     25      0       160     2.3s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   2.58 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      1120|1119.9999999.*
  Dual bound        1120|1119.9999999.*
  Solution status   feasible
                    1120|1119.9999999.* \(objective\)
]
"lseu--random_seed=3" end time: Dec 14 12:42 EST
"lseu--random_seed=3" time elapsed: 00:00:02

138/168 Testing: bell5--random_seed=1
138/168 Test: bell5--random_seed=1
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=1" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/bell5.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"bell5--random_seed=1" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 1
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP bell5 has 91 rows; 104 cols; 266 nonzeros; 58 integer variables (30 binary)
Coefficient ranges:
  Matrix  [8e-05, 1e+03]
  Cost    [2e-01, 6e+04]
  Bound   [1e+00, 1e+04]
  RHS     [1e+00, 7e+03]
Presolving model
86 rows, 100 cols, 255 nonzeros  0.004197s
81 rows, 98 cols, 242 nonzeros  0.027246s
Presolve reductions: rows 81(-10); columns 98(-6); nonzeros 242(-24) 

Solving MIP model with:
   81 rows
   98 cols (28 binary, 28 integer, 0 implied int., 42 continuous, 0 domain fixed)
   242 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   245121.59       inf                  inf        0      0      0         0     0.2s
         0       0         0   0.00%   8610096.755668  inf                  inf        0      0      4        47     0.3s
 C       0       0         0   0.00%   8658569.182775  57124437.1918     84.84%       71     20     24        75     1.5s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   2.28 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      (8966406.49152|8966406.491519|8966406.49151).*
  Dual bound        (8966406.49152|8966406.491519|8966406.49151).*
  Solution status   feasible
                    (8966406.49152|8966406.491519|8966406.49151).* \(objective\)
]
"bell5--random_seed=1" end time: Dec 14 12:42 EST
"bell5--random_seed=1" time elapsed: 00:00:02

137/168 Testing: bell5--presolve=on
137/168 Test: bell5--presolve=on
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--presolve=on" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/bell5.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"bell5--presolve=on" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "on"
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP bell5 has 91 rows; 104 cols; 266 nonzeros; 58 integer variables (30 binary)
Coefficient ranges:
  Matrix  [8e-05, 1e+03]
  Cost    [2e-01, 6e+04]
  Bound   [1e+00, 1e+04]
  RHS     [1e+00, 7e+03]
Presolving model
86 rows, 100 cols, 255 nonzeros  0.005399s
81 rows, 98 cols, 242 nonzeros  0.024605s
Presolve reductions: rows 81(-10); columns 98(-6); nonzeros 242(-24) 

Solving MIP model with:
   81 rows
   98 cols (28 binary, 28 integer, 0 implied int., 42 continuous, 0 domain fixed)
   242 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   245121.59       inf                  inf        0      0      0         0     0.2s
         0       0         0   0.00%   8610096.755668  inf                  inf        0      0      4        47     0.4s
 C       0       0         0   0.00%   8659293.449101  57124437.1918     84.84%       75     21     24        76     1.7s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   2.33 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      (8966406.49152|8966406.491519|8966406.49151).*
  Dual bound        (8966406.49152|8966406.491519|8966406.49151).*
  Solution status   feasible
                    (8966406.49152|8966406.491519|8966406.49151).* \(objective\)
]
"bell5--presolve=on" end time: Dec 14 12:42 EST
"bell5--presolve=on" time elapsed: 00:00:02

139/168 Testing: bell5--random_seed=2
139/168 Test: bell5--random_seed=2
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=2" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/bell5.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"bell5--random_seed=2" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 2
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP bell5 has 91 rows; 104 cols; 266 nonzeros; 58 integer variables (30 binary)
Coefficient ranges:
  Matrix  [8e-05, 1e+03]
  Cost    [2e-01, 6e+04]
  Bound   [1e+00, 1e+04]
  RHS     [1e+00, 7e+03]
Presolving model
86 rows, 100 cols, 255 nonzeros  0.004944s
81 rows, 98 cols, 242 nonzeros  0.034598s
Presolve reductions: rows 81(-10); columns 98(-6); nonzeros 242(-24) 

Solving MIP model with:
   81 rows
   98 cols (28 binary, 28 integer, 0 implied int., 42 continuous, 0 domain fixed)
   242 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

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

 J       0       0         0   0.00%   -inf            65183272.25026     Large        0      0      0         0     0.2s
         0       0         0   0.00%   8610096.755668  65183272.25026    86.79%        0      0      4        47     0.3s
 C       0       0         0   0.00%   8658613.00785   57124437.1918     84.84%       74     21      4        76     1.6s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   2.31 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      (8966406.49152|8966406.491519|8966406.49151).*
  Dual bound        (8966406.49152|8966406.491519|8966406.49151).*
  Solution status   feasible
                    (8966406.49152|8966406.491519|8966406.49151).* \(objective\)
]
"bell5--random_seed=2" end time: Dec 14 12:42 EST
"bell5--random_seed=2" time elapsed: 00:00:02

118/168 Testing: lseu--random_seed=1
118/168 Test: lseu--random_seed=1
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=1" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/lseu.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"lseu--random_seed=1" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 1
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP lseu has 28 rows; 89 cols; 309 nonzeros; 89 integer variables (89 binary)
Coefficient ranges:
  Matrix  [1e+00, 5e+02]
  Cost    [6e+00, 5e+02]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 3e+03]
Presolving model
28 rows, 88 cols, 308 nonzeros  0.002807s
27 rows, 78 cols, 242 nonzeros  0.014689s
Presolve reductions: rows 27(-1); columns 78(-11); nonzeros 242(-67) 
Objective function is integral with scale 1

Solving MIP model with:
   27 rows
   78 cols (73 binary, 5 integer, 0 implied int., 0 continuous, 0 domain fixed)
   242 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

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

 J       0       0         0   0.00%   -inf            3179               Large        0      0      0         0     0.0s
 R       0       0         0   0.00%   947.9572368     1678              43.51%        0      0      0        26     0.1s
 L       0       0         0   0.00%   1087.804464     1120               2.87%      680     28     41       145     2.6s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   2.91 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      1120|1119.9999999.*
  Dual bound        1120|1119.9999999.*
  Solution status   feasible
                    1120|1119.9999999.* \(objective\)
]
"lseu--random_seed=1" end time: Dec 14 12:42 EST
"lseu--random_seed=1" time elapsed: 00:00:02

136/168 Testing: bell5--presolve=off
136/168 Test: bell5--presolve=off
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--presolve=off" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/bell5.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"bell5--presolve=off" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "off"
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP bell5 has 91 rows; 104 cols; 266 nonzeros; 58 integer variables (30 binary)
Coefficient ranges:
  Matrix  [8e-05, 1e+03]
  Cost    [2e-01, 6e+04]
  Bound   [1e+00, 1e+04]
  RHS     [1e+00, 7e+03]

Presolve is switched off

Solving MIP model with:
   91 rows
   104 cols (30 binary, 28 integer, 0 implied int., 46 continuous, 0 domain fixed)
   266 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   245121.59       inf                  inf        0      0      0         0     0.1s
         0       0         0   0.00%   8608417.946508  inf                  inf        0      0      0        50     0.3s
 C       0       0         0   0.00%   8656540.391858  65146930.3249     86.71%       37     15      0        75     2.1s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   2.68 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      (8966406.49152|8966406.491519|8966406.49151).*
  Dual bound        (8966406.49152|8966406.491519|8966406.49151).*
  Solution status   feasible
                    (8966406.49152|8966406.491519|8966406.49151).* \(objective\)
]
"bell5--presolve=off" end time: Dec 14 12:42 EST
"bell5--presolve=off" time elapsed: 00:00:02

140/168 Testing: bell5--random_seed=3
140/168 Test: bell5--random_seed=3
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=3" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/bell5.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"bell5--random_seed=3" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 3
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP bell5 has 91 rows; 104 cols; 266 nonzeros; 58 integer variables (30 binary)
Coefficient ranges:
  Matrix  [8e-05, 1e+03]
  Cost    [2e-01, 6e+04]
  Bound   [1e+00, 1e+04]
  RHS     [1e+00, 7e+03]
Presolving model
86 rows, 100 cols, 255 nonzeros  0.004663s
81 rows, 98 cols, 242 nonzeros  0.032562s
Presolve reductions: rows 81(-10); columns 98(-6); nonzeros 242(-24) 

Solving MIP model with:
   81 rows
   98 cols (28 binary, 28 integer, 0 implied int., 42 continuous, 0 domain fixed)
   242 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   245121.59       inf                  inf        0      0      0         0     0.2s
         0       0         0   0.00%   8610096.755668  inf                  inf        0      0      4        47     0.5s
 C       0       0         0   0.00%   8658613.00785   57124437.1918     84.84%       77     21     24        76     1.9s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   2.67 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      (8966406.49152|8966406.491519|8966406.49151).*
  Dual bound        (8966406.49152|8966406.491519|8966406.49151).*
  Solution status   feasible
                    (8966406.49152|8966406.491519|8966406.49151).* \(objective\)
]
"bell5--random_seed=3" end time: Dec 14 12:42 EST
"bell5--random_seed=3" time elapsed: 00:00:02

141/168 Testing: sp150x300d--presolve=off
141/168 Test: sp150x300d--presolve=off
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--presolve=off" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/sp150x300d.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"sp150x300d--presolve=off" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "off"
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
Number of BV entries in BOUNDS section is 300
MIP sp150x300d has 450 rows; 600 cols; 1200 nonzeros; 300 integer variables (300 binary)
Coefficient ranges:
  Matrix  [1e+00, 3e+03]
  Cost    [1e+00, 1e+00]
  Bound   [1e+00, 3e+03]
  RHS     [1e+00, 2e+03]

Presolve is switched off
Objective function is integral with scale 1

Solving MIP model with:
   450 rows
   600 cols (300 binary, 0 integer, 0 implied int., 300 continuous, 0 domain fixed)
   1200 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   0               inf                  inf        0      0      0         0     0.1s
 S       0       0         0   0.00%   0               71               100.00%        0      0      0         0     0.3s
         0       0         0   0.00%   4.89111184      71                93.11%        0      0      4        28     0.5s
 S       0       0         0   0.00%   4.89111184      70                93.01%        7      0      4        28     0.5s
 L       0       0         0   0.00%   63.01838461     69                 8.67%     1267    191      6       359     2.8s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   3.02 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      (69|68.9999999).*
  Dual bound        (69|68.9999999).*
  Solution status   feasible
                    (69|68.9999999).* \(objective\)
]
"sp150x300d--presolve=off" end time: Dec 14 12:42 EST
"sp150x300d--presolve=off" time elapsed: 00:00:03

119/168 Testing: lseu--random_seed=2
119/168 Test: lseu--random_seed=2
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=2" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/lseu.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"lseu--random_seed=2" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 2
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP lseu has 28 rows; 89 cols; 309 nonzeros; 89 integer variables (89 binary)
Coefficient ranges:
  Matrix  [1e+00, 5e+02]
  Cost    [6e+00, 5e+02]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 3e+03]
Presolving model
28 rows, 88 cols, 308 nonzeros  0.003325s
27 rows, 78 cols, 242 nonzeros  0.017790s
Presolve reductions: rows 27(-1); columns 78(-11); nonzeros 242(-67) 
Objective function is integral with scale 1

Solving MIP model with:
   27 rows
   78 cols (73 binary, 5 integer, 0 implied int., 0 continuous, 0 domain fixed)
   242 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

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

 J       0       0         0   0.00%   -inf            2184               Large        0      0      0         0     0.1s
 R       0       0         0   0.00%   947.9572368     1956              51.54%        0      0      0        30     0.1s
 C       0       0         0   0.00%   1017.148836     1928              47.24%      184     13      0        76     0.1s
 L       0       0         0   0.00%   1086.05273      1120               3.03%      743     29      0       159     2.5s

43.6% inactive integer columns, restarting
Model after restart has 20 rows, 43 cols (42 bin., 1 int., 0 impl., 0 cont., 0 dom.fix.), and 127 nonzeros

         0       0         0   0.00%   1089.23516      1120               2.75%       12      0      0       633     2.7s
         0       0         0   0.00%   1089.645323     1120               2.71%       12     12      2       677     2.7s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   3.84 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      1120|1119.9999999.*
  Dual bound        1120|1119.9999999.*
  Solution status   feasible
                    1120|1119.9999999.* \(objective\)
]
"lseu--random_seed=2" end time: Dec 14 12:42 EST
"lseu--random_seed=2" time elapsed: 00:00:03

154/168 Testing: dcmulti--random_seed=2
154/168 Test: dcmulti--random_seed=2
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=2" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/dcmulti.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"dcmulti--random_seed=2" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 2
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP dcmulti has 290 rows; 548 cols; 1315 nonzeros; 75 integer variables (75 binary)
Coefficient ranges:
  Matrix  [1e+00, 6e+02]
  Cost    [4e-01, 2e+03]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 3e+02]
Presolving model
272 rows, 548 cols, 1297 nonzeros  0.017951s
224 rows, 500 cols, 1324 nonzeros  0.146346s
Presolve reductions: rows 224(-66); columns 500(-48); nonzeros 1324(+9) 

Solving MIP model with:
   224 rows
   500 cols (72 binary, 0 integer, 0 implied int., 428 continuous, 0 domain fixed)
   1324 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   -6800           inf                  inf        0      0      0         0     0.3s
         0       0         0   0.00%   183975.539693   inf                  inf        0      0      1       312     0.4s
 R       0       0         0   0.00%   185346.352694   188387.3           1.61%      685     62      2       443     1.4s
 L       0       0         0   0.00%   187066.170066   188182             0.59%     1875    156     21       760     3.8s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   5.12 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      188182.*
  Dual bound        188182.*
  Solution status   feasible
                    188182.* \(objective\)
]
"dcmulti--random_seed=2" end time: Dec 14 12:42 EST
"dcmulti--random_seed=2" time elapsed: 00:00:05

151/168 Testing: dcmulti--presolve=off
151/168 Test: dcmulti--presolve=off
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--presolve=off" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/dcmulti.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"dcmulti--presolve=off" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "off"
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP dcmulti has 290 rows; 548 cols; 1315 nonzeros; 75 integer variables (75 binary)
Coefficient ranges:
  Matrix  [1e+00, 6e+02]
  Cost    [4e-01, 2e+03]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 3e+02]

Presolve is switched off

Solving MIP model with:
   290 rows
   548 cols (75 binary, 0 integer, 0 implied int., 473 continuous, 0 domain fixed)
   1315 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   0               inf                  inf        0      0      0         0     0.1s
         0       0         0   0.00%   183975.539693   inf                  inf        0      0      2       313     0.3s
 R       0       0         0   0.00%   186612.801857   188735.6           1.12%     1052     88      8       535     1.2s
 L       0       0         0   0.00%   187654.500698   188182             0.28%     1898    219     50      1032     4.9s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   5.91 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      188182.*
  Dual bound        188182.*
  Solution status   feasible
                    188182.* \(objective\)
]
"dcmulti--presolve=off" end time: Dec 14 12:42 EST
"dcmulti--presolve=off" time elapsed: 00:00:05

153/168 Testing: dcmulti--random_seed=1
153/168 Test: dcmulti--random_seed=1
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=1" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/dcmulti.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"dcmulti--random_seed=1" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 1
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP dcmulti has 290 rows; 548 cols; 1315 nonzeros; 75 integer variables (75 binary)
Coefficient ranges:
  Matrix  [1e+00, 6e+02]
  Cost    [4e-01, 2e+03]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 3e+02]
Presolving model
272 rows, 548 cols, 1297 nonzeros  0.017540s
224 rows, 500 cols, 1324 nonzeros  0.139953s
Presolve reductions: rows 224(-66); columns 500(-48); nonzeros 1324(+9) 

Solving MIP model with:
   224 rows
   500 cols (72 binary, 0 integer, 0 implied int., 428 continuous, 0 domain fixed)
   1324 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   -6800           inf                  inf        0      0      0         0     0.3s
         0       0         0   0.00%   183975.539693   inf                  inf        0      0      2       320     0.4s
 C       0       0         0   0.00%   185415.47765    191422.7           3.14%      870     72     25       471     1.5s
 L       0       0         0   0.00%   187086.743318   188182             0.58%     2105    166     25       798     3.8s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   6.62 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      188182.*
  Dual bound        188182.*
  Solution status   feasible
                    188182.* \(objective\)
]
"dcmulti--random_seed=1" end time: Dec 14 12:42 EST
"dcmulti--random_seed=1" time elapsed: 00:00:06

152/168 Testing: dcmulti--presolve=on
152/168 Test: dcmulti--presolve=on
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--presolve=on" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/dcmulti.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"dcmulti--presolve=on" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "on"
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP dcmulti has 290 rows; 548 cols; 1315 nonzeros; 75 integer variables (75 binary)
Coefficient ranges:
  Matrix  [1e+00, 6e+02]
  Cost    [4e-01, 2e+03]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 3e+02]
Presolving model
272 rows, 548 cols, 1297 nonzeros  0.019991s
224 rows, 500 cols, 1324 nonzeros  0.136686s
Presolve reductions: rows 224(-66); columns 500(-48); nonzeros 1324(+9) 

Solving MIP model with:
   224 rows
   500 cols (72 binary, 0 integer, 0 implied int., 428 continuous, 0 domain fixed)
   1324 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   -6800           inf                  inf        0      0      0         0     0.3s
         0       0         0   0.00%   183975.539693   inf                  inf        0      0      1       308     0.4s
 C       0       0         0   0.00%   185425.631889   191422.7           3.13%      872     69     26       460     1.5s
 L       0       0         0   0.00%   187094.008481   188202.1           0.59%     2082    181     26       874     4.5s
 L       0       0         0   0.00%   187094.008481   188182             0.58%     2082    181     26      2669     5.9s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   7.84 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      188182.*
  Dual bound        188182.*
  Solution status   feasible
                    188182.* \(objective\)
]
"dcmulti--presolve=on" end time: Dec 14 12:42 EST
"dcmulti--presolve=on" time elapsed: 00:00:07

155/168 Testing: dcmulti--random_seed=3
155/168 Test: dcmulti--random_seed=3
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--random_seed=3" "--options_file" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/testoptions.txt" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/dcmulti.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"dcmulti--random_seed=3" start time: Dec 14 12:42 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option random_seed to 3
Set option log_file to "HiGHS.log"
Set option mip_rel_gap to 0
Set option mip_abs_gap to 0
MIP dcmulti has 290 rows; 548 cols; 1315 nonzeros; 75 integer variables (75 binary)
Coefficient ranges:
  Matrix  [1e+00, 6e+02]
  Cost    [4e-01, 2e+03]
  Bound   [1e+00, 1e+00]
  RHS     [1e+00, 3e+02]
Presolving model
272 rows, 548 cols, 1297 nonzeros  0.022422s
224 rows, 500 cols, 1324 nonzeros  0.150370s
Presolve reductions: rows 224(-66); columns 500(-48); nonzeros 1324(+9) 

Solving MIP model with:
   224 rows
   500 cols (72 binary, 0 integer, 0 implied int., 428 continuous, 0 domain fixed)
   1324 nonzeros

Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
     I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
     S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
     Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero

        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%   -6800           inf                  inf        0      0      0         0     0.3s
         0       0         0   0.00%   183975.539693   inf                  inf        0      0      1       329     0.4s
 C       0       0         0   0.00%   185452.973279   191422.7           3.12%      927     74     27       463     1.1s
 L       0       0         0   0.00%   186805.496554   188202.7           0.74%     2077    157     27       811     4.7s
 L       0       0         0   0.00%   186805.496554   188182             0.73%     2077    157     27      3167     7.5s
terminate called after throwing an instance of 'HighsTask::Interrupt'
<end of output>
Test time =   9.26 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Status            Optimal
  Primal bound      188182.*
  Dual bound        188182.*
  Solution status   feasible
                    188182.* \(objective\)
]
"dcmulti--random_seed=3" end time: Dec 14 12:42 EST
"dcmulti--random_seed=3" time elapsed: 00:00:09

166/168 Testing: stair-pdlp-no-presolve
166/168 Test: stair-pdlp-no-presolve
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--solver=pdlp" "--presolve=off" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/stair.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"stair-pdlp-no-presolve" start time: Dec 14 12:41 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "off"
Set option solver to "pdlp"
Set option log_file to "HiGHS.log"
LP stair has 356 rows; 467 cols; 3856 nonzeros
Coefficient ranges:
  Matrix  [1e-05, 1e+01]
  Cost    [1e+00, 1e+00]
  Bound   [1e-01, 3e+02]
  RHS     [3e-02, 9e+01]
Not presolved: solving the LP
Solving with cuPDLP-C
Using cost norm =         1 and RHS norm =       152
--------------------------------------------------
running scaling
- use Ruiz scaling
- use PC scaling
--------------------------------------------------
     Iter       Primal.Obj         Dual.Obj        Gap  Primal.Inf  Dual.Inf    Time
        0  +0.00000000e+00  +0.00000000e+00  +0.00e+00    1.78e+00  5.00e-01   0.00s [L]
     4000  -2.54536515e+02  -2.53409724e+02  +2.21e-03    8.80e-03  1.31e-04   1.00s [A]
     8000  -2.52754186e+02  -2.57727920e+02  +9.72e-03    1.35e-03  1.84e-04   2.00s [A]
    12000  -2.52125342e+02  -2.54523263e+02  +4.72e-03    5.11e-04  2.48e-04   3.00s [A]
    16000  -2.51611217e+02  -2.55975030e+02  +8.58e-03    1.72e-04  1.40e-04   4.00s [A]
    20000  -2.51444612e+02  -2.54807187e+02  +6.63e-03    8.21e-05  1.18e-04   5.00s [A]
    24000  -2.51323156e+02  -2.52230901e+02  +1.80e-03    3.14e-05  2.16e-05   6.00s [A]
    28000  -2.51333581e+02  -2.52164180e+02  +1.65e-03    2.73e-05  2.17e-05   7.00s [A]
    32000  -2.51296538e+02  -2.58964638e+02  +1.50e-02    9.76e-06  2.92e-04   8.00s [A]
    36000  -2.51265969e+02  -2.54048642e+02  +5.50e-03    3.23e-06  1.39e-04   9.00s [A]
    40000  -2.51274557e+02  -2.52211241e+02  +1.86e-03    3.06e-06  5.63e-05  10.00s [A]
    44000  -2.51271108e+02  -2.53201311e+02  +3.82e-03    2.00e-06  8.45e-05  12.00s [A]
    48000  -2.51266741e+02  -2.51464047e+02  +3.92e-04    9.21e-08  4.76e-04  13.00s [A]
    52000  -2.51266849e+02  -2.50897252e+02  +7.35e-04    5.76e-08  2.16e-04  14.00s [A]
    56000  -2.51267013e+02  -2.51144907e+02  +2.43e-04    4.21e-08  1.79e-04  15.00s [A]
    60000  -2.51266921e+02  -2.51282577e+02  +3.11e-05    2.89e-08  1.26e-04  16.00s [A]
    64000  -2.51266910e+02  -2.51166395e+02  +2.00e-04    2.26e-08  9.98e-05  17.00s [A]
    68000  -2.51266972e+02  -2.51227255e+02  +7.89e-05    2.21e-08  7.39e-05  18.00s [A]
    72000  -2.51266926e+02  -2.51264164e+02  +5.48e-06    1.47e-08  5.92e-05  19.00s [A]
    76000  -2.51266938e+02  -2.51207452e+02  +1.18e-04    1.38e-08  5.39e-05  20.00s [A]
    80000  -2.51266987e+02  -2.51297774e+02  +6.11e-05    3.96e-07  2.54e-05  21.00s [A]
    84000  -2.51266807e+02  -2.51257116e+02  +1.92e-05    2.10e-07  2.38e-05  22.00s [A]
    88000  -2.51266923e+02  -2.51252354e+02  +2.89e-05    7.87e-08  8.57e-06  23.00s [A]
    92000  -2.51266967e+02  -2.51263847e+02  +6.20e-06    5.09e-08  3.89e-06  24.00s [A]
    96000  -2.51266955e+02  -2.51268516e+02  +3.10e-06    9.77e-09  1.77e-06  25.00s [A]
   100000  -2.51266951e+02  -2.51268158e+02  +2.40e-06    3.81e-09  5.45e-07  26.00s [A]
   104000  -2.51266951e+02  -2.51267047e+02  +1.92e-07    2.24e-09  2.86e-07  27.00s [A]
   104320  -2.51266951e+02  -2.51266962e+02  +2.06e-08    1.43e-09  8.75e-08  27.00s [A]

Solving information:        Optimal average solution.
          Primal objective: -2.51266951e+02
            Dual objective: -2.51266962e+02
   Primal infeas (abs/rel): 2.19e-07 / 1.43e-09
     Dual infeas (abs/rel): 1.75e-07 / 8.75e-08
     Duality gap (abs/rel): 1.04e-05 / 2.06e-08
      Number of iterations: 104320

WARNING: Solution optimality conditions
num/max      1 / 1.23e-07 (relative      0 /  4.7e-10) primal infeasibilities     (tolerance = 1e-07)
num/max      0 /        0 (relative      0 /        0)   dual infeasibilities     (tolerance = 1e-07)
num/max      0 / 1.24e-13 (relative      0 / 4.72e-16) primal residual errors     (tolerance = 1e-07)
num/max      1 / 1.03e-07 (relative      0 / 5.13e-08)   dual residual errors     (tolerance = 1e-07)
                                         0 / 2.06e-08  P-D objective error        (tolerance = 1e-07)

Model name          : stair
Model status        : Optimal
PDLP      iterations: 104320
Objective value     : -2.5126695116e+02
P-D objective error :  2.0629987563e-08
HiGHS run time      :         27.13
<end of output>
Test time =  27.19 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     : -2.51266942
]
"stair-pdlp-no-presolve" end time: Dec 14 12:42 EST
"stair-pdlp-no-presolve" time elapsed: 00:00:27

163/168 Testing: scrs8-pdlp-no-presolve
163/168 Test: scrs8-pdlp-no-presolve
Command: "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/bin/highs" "--solver=pdlp" "--presolve=off" "/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/instances/scrs8.mps"
Directory: /var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS_build/check
"scrs8-pdlp-no-presolve" start time: Dec 14 12:41 EST
Output:
----------------------------------------------------------
Running HiGHS 1.12.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms
Set option presolve to "off"
Set option solver to "pdlp"
Set option log_file to "HiGHS.log"
LP scrs8 has 490 rows; 1169 cols; 3182 nonzeros
Coefficient ranges:
  Matrix  [1e-03, 4e+02]
  Cost    [2e-04, 5e+03]
  Bound   [0e+00, 0e+00]
  RHS     [1e-02, 4e+01]
Not presolved: solving the LP
Solving with cuPDLP-C
Using cost norm =  1.05e+04 and RHS norm =       118
--------------------------------------------------
running scaling
- use Ruiz scaling
- use PC scaling
--------------------------------------------------
     Iter       Primal.Obj         Dual.Obj        Gap  Primal.Inf  Dual.Inf    Time
        0  +0.00000000e+00  +0.00000000e+00  +0.00e+00    3.31e-02  5.65e-03   0.00s [L]
     4000  +8.85575286e+02  +8.84502470e+02  +6.06e-04    2.34e-03  1.90e-04   1.00s [A]
     8000  +9.13430560e+02  +9.08693816e+02  +2.60e-03    8.15e-04  3.77e-05   3.00s [A]
    12000  +9.07652226e+02  +9.07693541e+02  +2.27e-05    5.63e-04  3.09e-05   4.00s [A]
    16000  +9.04563473e+02  +9.06434458e+02  +1.03e-03    1.58e-04  5.85e-06   6.00s [A]
    20000  +9.04857549e+02  +9.05947270e+02  +6.01e-04    2.43e-03  3.59e-06   8.00s [A]
    24000  +9.03073074e+02  +9.04163059e+02  +6.03e-04    5.18e-04  6.43e-07   9.00s [A]
    28000  +9.02730629e+02  +9.04179272e+02  +8.01e-04    5.67e-04  8.82e-07  12.00s [A]
    32000  +9.03007234e+02  +9.04243615e+02  +6.84e-04    1.22e-04  3.58e-07  13.00s [A]
    36000  +9.03011391e+02  +9.04258670e+02  +6.90e-04    9.26e-05  3.77e-07  15.00s [A]
    40000  +9.03014693e+02  +9.04263605e+02  +6.91e-04    9.68e-05  3.57e-07  16.00s [A]
    44000  +9.02859936e+02  +9.04148409e+02  +7.13e-04    3.75e-04  9.13e-07  18.00s [A]
    48000  +9.02980550e+02  +9.04108407e+02  +6.24e-04    1.50e-04  1.87e-06  19.00s [A]
    52000  +9.03114367e+02  +9.04275776e+02  +6.42e-04    9.13e-05  2.44e-07  21.00s [A]
    56000  +9.04909324e+02  +9.04258117e+02  +3.60e-04    1.38e-04  1.22e-06  22.00s [A]
    60000  +9.05030122e+02  +9.04295708e+02  +4.06e-04    4.05e-05  1.55e-07  24.00s [A]
    64000  +9.04449755e+02  +9.04292935e+02  +8.67e-05    2.13e-05  4.36e-07  26.00s [A]
    68000  +9.04190776e+02  +9.04297066e+02  +5.87e-05    1.15e-05  1.66e-07  27.00s [A]
    72000  +9.04093492e+02  +9.04296552e+02  +1.12e-04    1.20e-05  3.54e-08  29.00s [A]
    76000  +9.04214995e+02  +9.04296629e+02  +4.51e-05    4.99e-06  4.00e-08  30.00s [A]
    80000  +9.04296597e+02  +9.04297113e+02  +2.85e-07    7.27e-07  6.08e-09  32.00s [A]
    84000  +9.04298863e+02  +9.04296739e+02  +1.17e-06    2.78e-07  3.38e-09  33.00s [A]
    88000  +9.04296076e+02  +9.04296697e+02  +3.43e-07    2.91e-07  7.93e-09  35.00s [A]
    92000  +9.04295413e+02  +9.04297053e+02  +9.06e-07    8.95e-08  3.00e-09  36.00s [A]
    96000  +9.04296454e+02  +9.04297026e+02  +3.16e-07    8.40e-08  2.55e-09  38.00s [A]
    98160  +9.04296874e+02  +9.04297051e+02  +9.82e-08    1.10e-08  1.85e-09  39.00s [A]

Solving information:        Optimal average solution.
          Primal objective: +9.04296874e+02
            Dual objective: +9.04297051e+02
   Primal infeas (abs/rel): 1.31e-06 / 1.10e-08
     Dual infeas (abs/rel): 1.94e-05 / 1.85e-09
     Duality gap (abs/rel): 1.78e-04 / 9.82e-08
      Number of iterations: 98160

WARNING: Solution optimality conditions
num/max      9 / 6.37e-07 (relative      0 / 1.44e-08) primal infeasibilities     (tolerance = 1e-07)
num/max      0 /        0 (relative      0 /        0)   dual infeasibilities     (tolerance = 1e-07)
num/max      0 / 7.11e-14 (relative      0 / 1.61e-15) primal residual errors     (tolerance = 1e-07)
num/max     19 /  1.6e-05 (relative      0 / 3.64e-09)   dual residual errors     (tolerance = 1e-07)
                                         0 / 9.82e-08  P-D objective error        (tolerance = 1e-07)

Model name          : scrs8
Model status        : Optimal
PDLP      iterations: 98160
Objective value     :  9.0429687354e+02
P-D objective error :  9.8211718729e-08
HiGHS run time      :         39.28
<end of output>
Test time =  39.34 sec
----------------------------------------------------------
Test Fail Reason:
Required regular expression not found. Regex=[Objective value     :  9.04297094
]
"scrs8-pdlp-no-presolve" end time: Dec 14 12:42 EST
"scrs8-pdlp-no-presolve" time elapsed: 00:00:39

[jajhall]

Other than the "terminate" cases, these are all trivial optimal objective function value differences. We get them on MacOS due to different numerical rounding and, for that reason, the tests are suppressed there. Given the number of CI tests with different compilers that were created by @galabovaa, I'm surprised to see the differences that you observe.

If you've run these tests successfully with v1.11.0 (or earlier) then the "terminate" cases are very odd, and I have no idea what causes them. Perhaps @filikat can shed some light, as he's been working with the HiGHS multithreading.

Given that the HiGHS CI tests pass and the fact that no-one else has observed anything like the "terminate" behaviour, there's probably nothing to fix in the HiGHS codebase, and maybe there's something in your build/compile set-up that makes it incompatible with the code.

[filikat]

The "terminate called after throwing an instance of 'HighsTask::Interrupt'" was already observed in #2574.
I believe that the issue was solved in HiPO, but maybe I'm wrong.
Can you confirm when and where you got the code, as there is no git hash?
Did you build HiGHS with HiPO support?
Can you set "mip_ipm_solver=ipx" and check if the problem persists?

[orlitzky]

The last time I looked was in #2000, over a year ago, so I doubt these are horrible new problems. The reason I am testing HiGHS again is because someone is finally working on a HiGHS backend for SageMath in sagemath/sage#41105.

As a prerequisite for that, I'd like to create a HiGHS package for Gentoo linux. This is mostly working, but Gentoo is source-based, and users have the option to run the test suite for anything they build. This is intended to prevent (say) upgrading to a new version of a program that crashes when the old one worked fine. We support a lot of architectures, and users bring their own compilers, linkers, and CXXFLAGS (within reason), so this time around I am being antagonistic towards the test suite: we don't want the tests to fail unless there's actually a problem, because that prevents the package from being installed.

I am using the latest release from Github, but you don't see the git hash because I deleted the .git directory :)

These runs were without HiPO but I can try it with.

Can you set "mip_ipm_solver=ipx" and check if the problem persists?

How would I go about that?

[filikat]

I am using the latest release from Github, but you don't see the git hash because I deleted the .git directory :)

Do you mean branch latest or the most recent release in master?

These runs were without HiPO but I can try it with.

Just to be clear, do you mean that HiGHS was build without setting -DHIPO=ON and without linking Metis and BLAS?

Can you set "mip_ipm_solver=ipx" and check if the problem persists?

How would I go about that?

If you didn't build with HiPO, then there's no point in trying this.

[orlitzky]

Do you mean branch latest or the most recent release in master?

The 1.12.0 source release, from the Github releases page: https://github.com/ERGO-Code/HiGHS/releases

These runs were without HiPO but I can try it with.

Just to be clear, do you mean that HiGHS was build without setting -DHIPO=ON and without linking Metis and BLAS?

Right. I spent some time trying to get the HiPO build working last night, but ran into trouble detecting metis and gklib, and linking BLAS. I'll sort these out eventually.

Two related questions (sorry for polluting an issue about test precision):

1. Is gklib required? The build system seems happy to proceed without it.
2. How important is it that the metis fork is used, and how general are your improvements? We already have a metis package but if the improvements are necessary and don't hurt anything else, I could argue for getting your changes added to our package.

[filikat]

Right. I spent some time trying to get the HiPO build working last night, but ran into trouble detecting metis and gklib, and linking BLAS. I'll sort these out eventually.

Ok thanks. It's quite weird that you get the uncaught exception without using HiPO.

Two related questions (sorry for polluting an issue about test precision):

1. Is gklib required? The build system seems happy to proceed without it.

2. How important is it that the metis fork is used, and how general are your improvements? We already have a metis package but if the improvements are necessary and don't hurt anything else, I could argue for getting your changes added to our package.

GKlib may or may not be required depending on what Metis version you are linking.
We are working to have both GKlib and Metis as part of HiGHS, so that they do not need to be provided by the user. I don't know when this will be available though. For now, feel free to use the Metis that you already have.

[orlitzky]

I got the HiPO build working. The issue with BLAS was simply that CMake's FindBlas was detecting the fortran blas, and not the cblas it needs. I was able to fix that by overriding CMake variables. Metis, on the other hand, required patching to tell CMake to search in the default locations (/usr/include and /usr/$libdir).

But ultimately, enabling HiPO did not help the test suite. With gcc it looks like I have two new failures:

/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/TestSpecialLps.cpp:28: FAILED:
  REQUIRE( highs.run() == HighsStatus::kOk )
with expansion:
  -1 == 0

/var/lib/portage/tmp/portage/sci-mathematics/highs-1.12.0/work/HiGHS/check/TestIpm.cpp:142: FAILED:
  REQUIRE( highs.getModelStatus() == require_model_status )
with expansion:
  4 == 8

And clang still has a bunch -- too many to manually diff.

[filikat]

The build system for HiPO will be much simplified in the next release, so you will not encounter these issues anymore.
The main issue that remains is related to the uncaught exception. Everything else seems just small numerical differences in the expected objective values.
I have to talk with the developer who wrote the parallel scheduler in HiGHS to fix this issue, but I don't know when this will happen.

[orlitzky]

Honestly, the build system workarounds are minor. This is my METIS patch:

--- a/cmake/FindHipoDeps.cmake
+++ b/cmake/FindHipoDeps.cmake
@@ -153,17 +153,13 @@ if(metis_FOUND)
 else()
     find_path(METIS_PATH
         NAMES "metis.h"
-        REQUIRED
-        PATHS "${METIS_ROOT}/include"
-        NO_DEFAULT_PATH)
+        REQUIRED)
 
     message(STATUS "Found Metis header at ${METIS_PATH}")
 
     find_library(METIS_LIB
         NAMES metis libmetis
-        REQUIRED
-        PATHS "${METIS_ROOT}/lib" "${METIS_ROOT}/bin"
-        NO_DEFAULT_PATH)
+        REQUIRED)
 
     if(METIS_LIB)
         message(STATUS "Found Metis library at ${METIS_LIB}")

And the CBLAS hack is simply to pass -DBLA_PKGCONFIG_BLAS=cblas to CMake. For scientific software, this is the amount of trouble you hope for.

Setting aside what seems like a real problem with the exception, I can always disable the tests to prevent spurious failures due to numerical noise. On the other hand, if there is some way to add a tolerance, we offer you a valuable service in the long run, by having our users regularly run the tests on hardware and software that is much more exotic than what github provides.

[jajhall]

On the other hand, if there is some way to add a tolerance, we offer you a valuable service in the long run, by having our users regularly run the tests on hardware and software that is much more exotic than what github provides.

The objective differences are eliminated very easily by requiring only a small relative difference between the two floating-point numbers that are currently expected to be equal. That way we still get the sanity check that nothing fundamental has been broken.

I wanted HiGHS to be in Sage so that its users had access to the best open-source LP and MIP solvers, and having users run very strange LPs and MIPs - and using exotic hardware and software - may throw up some issues that will improve HiGHS. However, if there are too many, and the environments too niche, we may just have to say "Sorry, we don't have the resources to support this use case". Our "volume" use cases have to take priority.