Package evaluation to test HiGHS on Julia 1.14.0-DEV.1589 (2d9a3f8a61*) started at 2026-01-21T09:18:34.756 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 11.43s ################################################################################ # Installation # Installing HiGHS... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [87dc4568] + HiGHS v1.20.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.3 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.1 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.3.1 [87dc4568] + HiGHS v1.20.1 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.4.0 [0f8b85d8] + JSON3 v1.14.3 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [8c4f8055] + MathOptIIS v0.1.1 [b8f27783] + MathOptInterface v1.48.0 [d8a4904e] + MutableArithmetics v1.6.7 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.1 [276daf66] + SpecialFunctions v2.6.1 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.0 [ec057cc2] + StructUtils v2.6.2 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [8fd58aa0] + HiGHS_jll v1.12.0+0 [d00139f3] + METIS_jll v5.1.3+0 [656ef2d0] + OpenBLAS32_jll v0.3.29+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.7+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 5.5s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 89681.2 ms ✓ MathOptInterface 7589.2 ms ✓ MathOptIIS 35981.0 ms ✓ HiGHS 3 dependencies successfully precompiled in 136 seconds. 53 already precompiled. Precompilation completed after 158.58s ################################################################################ # Testing # Testing HiGHS Status `/tmp/jl_Qzazf9/Project.toml` [87dc4568] HiGHS v1.20.1 [8c4f8055] MathOptIIS v0.1.1 [b8f27783] MathOptInterface v1.48.0 [aea7be01] PrecompileTools v1.3.3 [8fd58aa0] HiGHS_jll v1.12.0+0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_Qzazf9/Manifest.toml` [6e4b80f9] BenchmarkTools v1.6.3 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [f6369f11] ForwardDiff v1.3.1 [87dc4568] HiGHS v1.20.1 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.4.0 [0f8b85d8] JSON3 v1.14.3 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [8c4f8055] MathOptIIS v0.1.1 [b8f27783] MathOptInterface v1.48.0 [d8a4904e] MutableArithmetics v1.6.7 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.1 [276daf66] SpecialFunctions v2.6.1 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [856f2bd8] StructTypes v1.11.0 [ec057cc2] StructUtils v2.6.2 [3bb67fe8] TranscodingStreams v0.11.3 [6e34b625] Bzip2_jll v1.0.9+0 [8fd58aa0] HiGHS_jll v1.12.0+0 [d00139f3] METIS_jll v5.1.3+0 [656ef2d0] OpenBLAS32_jll v0.3.29+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.15.0+0 Testing Running tests... Test Summary: | Pass Total Time C_wrapper.jl | 5 5 8.7s Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms MIP has 1 row; 30 cols; 30 nonzeros; 30 integer variables (30 binary) Coefficient ranges: Matrix [1e-02, 1e+00] Cost [6e-02, 1e+00] Bound [1e+00, 1e+00] RHS [1e+01, 1e+01] Presolve is switched off Solving MIP model with: 1 row 30 cols (30 binary, 0 integer, 0 implied int., 0 continuous, 0 domain fixed) 30 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 z 0 0 0 0.00% inf -0 Large 0 0 0 0 0.3s J 0 0 0 0.00% inf 0.97738753 Large 0 0 0 0 0.3s S 0 0 0 0.00% 15.4748874 14.05244644 10.12% 0 0 0 0 0.3s 0 0 0 0.00% 14.23687413 14.05244644 1.31% 0 0 1 1 0.3s L 0 0 0 100.00% 14.1819667 14.1819667 0.00% 82 10 3 18 0.3s 1 0 1 100.00% 14.1819667 14.1819667 0.00% 82 10 3 20 0.3s Solving report Status Optimal Primal bound 14.1819667033 Dual bound 14.1819667033 Gap 0% (tolerance: 0.01%) P-D integral 0.00921222115906 Solution status feasible 14.1819667033 (objective) 0 (bound viol.) 3.77475828373e-15 (int. viol.) 0 (row viol.) Timing 0.31 Max sub-MIP depth 1 Nodes 1 Repair LPs 0 LP iterations 20 0 (strong br.) 17 (separation) 2 (heuristics) Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms MIP has 1 row; 30 cols; 30 nonzeros; 30 integer variables (30 binary) Coefficient ranges: Matrix [1e-02, 1e+00] Cost [6e-02, 1e+00] Bound [1e+00, 1e+00] RHS [1e+01, 1e+01] Presolve is switched off Solving MIP model with: 1 row 30 cols (30 binary, 0 integer, 0 implied int., 0 continuous, 0 domain fixed) 30 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 z 0 0 0 0.00% inf -0 Large 0 0 0 0 0.0s J 0 0 0 0.00% inf 0.97738753 Large 0 0 0 0 0.0s S 0 0 0 0.00% 15.4748874 14.05244644 10.12% 0 0 0 0 0.0s 0 0 0 0.00% 14.23687413 14.05244644 1.31% 0 0 1 1 0.0s L 0 0 0 100.00% 14.1819667 14.1819667 0.00% 82 10 3 18 0.0s 1 0 1 100.00% 14.1819667 14.1819667 0.00% 82 10 3 20 0.0s Solving report Status Optimal Primal bound 14.1819667033 Dual bound 14.1819667033 Gap 0% (tolerance: 0.01%) P-D integral 0.00988276705382 Solution status feasible 14.1819667033 (objective) 0 (bound viol.) 3.77475828373e-15 (int. viol.) 0 (row viol.) Timing 0.04 Max sub-MIP depth 1 Nodes 1 Repair LPs 0 LP iterations 20 0 (strong br.) 17 (separation) 2 (heuristics) Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms LP has 1 row; 30 cols; 30 nonzeros Coefficient ranges: Matrix [1e-02, 1e+00] Cost [6e-02, 1e+00] Bound [0e+00, 0e+00] RHS [1e+01, 1e+01] Solving LP without presolve or useful basis Using EKK dual simplex solver - serial Iteration Objective Infeasibilities num(sum) 0 -2.2395464780e+04 Ph1: 1(70667.5); Du: 30(22.3955) 0s 1 -1.5545159566e+04 Ph1: 0(0); Du: 29(15.5452) 0s 1 6.3069008498e+00 Pr: 0(0); Du: 29(15.5452) 0s Using EKK primal simplex solver Iteration Objective Infeasibilities num(sum) 1 6.3069023194e+00 Pr: 0(0); Du: 29(9.65563) 0s 1 6.3069008498e+00 Pr: 0(0); Du: 29(9.65563) 0s Model status : Unbounded Simplex iterations: 1 Objective value : 6.3069008498e+00 P-D objective error : 3.2494907069e-01 HiGHS run time : 0.00 Solving linear system to compute primal ray Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms LP has 1 row; 30 cols; 30 nonzeros Coefficient ranges: Matrix [1e-03, 1e+00] Cost [4e-02, 1e+00] Bound [0e+00, 0e+00] RHS [1e+01, 1e+01] Not presolved: solving the LP HiPO model has 1 rows, 30 columns and 30 nonzeros Running HiPO BLAS: /workspace/destdir/lib/libopenblas.so Threads: 64 Rows: 1.0e+00 Cols: 3.1e+01 Nnz: 3.1e+01 Range of A: [8.3e-01, 1.6e+00], ratio 1.9e+00 Range of b: [2.0e+01, 2.0e+01], ratio 1.0e+00 Range of c: [4.4e-02, 4.7e+02], ratio 1.1e+04 Range of bounds: [0.0e+00, 0.0e+00], ratio - Scaling coefficients: [5.0e-01, 5.1e+02], ratio 1.0e+03 Newton system: NE preferred Parallelism: Node preferred Factorisation statistics Size: 1.00e+00 Nnz: 1.00e+00 Fill-in: 1.00 Serial memory: 8.0e+00 B Flops: 0.0e+00 iter primal obj dual obj pinf dinf gap time 0 -2.41720164e+02 -2.41720164e+02 1.54e-01 1.16e+01 1.17e-16 0.0 1 -2.09247454e+17 -2.46780320e+02 5.58e-03 1.19e+01 2.00e+00 0.0 2 -4.18494907e+17 -2.46780826e+02 4.90e-03 1.19e+01 2.00e+00 0.0 3 -6.27742361e+17 -2.46780826e+02 2.83e-06 1.19e+01 2.00e+00 0.0 4 -8.36989814e+17 -2.46780826e+02 9.94e-03 1.19e+01 2.00e+00 0.0 5 -1.04623727e+18 -2.46780826e+02 4.26e-03 1.19e+01 2.00e+00 0.0 6 -1.25548472e+18 -2.46780826e+02 3.20e-02 1.19e+01 2.00e+00 0.0 === Dual infeasible Summary HiPO runtime: 0.00 Status: dual infeasible HiPO iterations: 6 Hipo: Solved WARNING: Hipo: Crossover not run WARNING: Unwelcome IPX status of Primal infeasible or unbounded: basis is not valid; solution is valid; run_crossover is "on" WARNING: IPM solution is imprecise, so clean up with simplex Using EKK dual simplex solver - serial Iteration Objective Infeasibilities num(sum) 0 -2.0023526030e+04 Ph1: 1(96461.1); Du: 30(20.0235) 0s 1 -1.4780380874e+04 Ph1: 0(0); Du: 29(14.7804) 0s 1 9.1518611761e+00 Pr: 0(0); Du: 29(14.7804) 0s Using EKK primal simplex solver Iteration Objective Infeasibilities num(sum) 1 9.1518633086e+00 Pr: 0(0); Du: 29(7.88016) 0s 1 9.1518611761e+00 Pr: 0(0); Du: 29(7.88016) 0s Model status : Unbounded Simplex iterations: 1 IPM iterations: 6 Objective value : 9.1518611761e+00 P-D objective error : 1.3402033935e-01 HiGHS run time : 0.00 Solving linear system to compute primal ray Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms LP has 3 rows; 3 cols; 3 nonzeros Coefficient ranges: Matrix [1e+00, 1e+00] Cost [1e+00, 1e+00] Bound [0e+00, 0e+00] RHS [1e+00, 3e+00] Not presolved: solving the LP HiPO model has 3 rows, 3 columns and 3 nonzeros WARNING: Hipo: User interrupt WARNING: Hipo: Crossover not run Model status : Interrupted by user Objective value : 0.0000000000e+00 P-D objective error : 0.0000000000e+00 HiGHS run time : 0.01 Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms LP has 3 rows; 3 cols; 3 nonzeros Coefficient ranges: Matrix [1e+00, 1e+00] Cost [1e+00, 1e+00] Bound [0e+00, 0e+00] RHS [1e+00, 3e+00] Not presolved: solving the LP HiPO model has 3 rows, 3 columns and 3 nonzeros Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms LP has 3 rows; 3 cols; 3 nonzeros Coefficient ranges: Matrix [1e+00, 1e+00] Cost [1e+00, 1e+00] Bound [0e+00, 0e+00] RHS [1e+00, 3e+00] Not presolved: solving the LP HiPO model has 3 rows, 3 columns and 3 nonzeros WARNING: Hipo: User interrupt WARNING: Hipo: Crossover not run Model status : Interrupted by user Objective value : 0.0000000000e+00 P-D objective error : 0.0000000000e+00 HiGHS run time : 0.02 Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms MIP has 3 rows; 3 cols; 3 nonzeros; 3 integer variables (0 binary) Coefficient ranges: Matrix [1e+00, 1e+00] Cost [1e+00, 1e+00] Bound [0e+00, 0e+00] RHS [1e+00, 3e+00] Presolve is switched off Objective function is integral with scale 1 Solving MIP model with: 3 rows 3 cols (0 binary, 0 integer, 0 implied int., 0 continuous, 3 domain fixed) 3 nonzeros HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run(); HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run(); 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 100.00% inf 6 Large 0 0 0 0 0.2s 1 0 1 100.00% 6 6 0.00% 0 0 0 0 0.2s Solving report Status Optimal Primal bound 6 Dual bound 6 Gap 0% (tolerance: 0.01%) P-D integral 0 Solution status feasible 6 (objective) 0 (bound viol.) 0 (int. viol.) 0 (row viol.) Timing 0.16 Max sub-MIP depth 0 Nodes 1 Repair LPs 2 (0 feasible; 0 iterations) LP iterations 0 Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms LP has 4 rows; 4 cols; 8 nonzeros Coefficient ranges: Matrix [1e+00, 1e+00] Cost [1e+00, 1e+00] Bound [5e-01, 2e+00] RHS [1e+00, 4e+00] Presolving model 0 rows, 0 cols, 0 nonzeros 0s 0 rows, 0 cols, 0 nonzeros 0s Presolve reductions: rows 0(-4); columns 0(-4); nonzeros 0(-8) - Reduced to empty Performed postsolve Solving the original LP from the solution after postsolve Model status : Optimal Objective value : 6.0000000000e+00 P-D objective error : 0.0000000000e+00 HiGHS run time : 0.00 Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Model has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Model has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Model has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Model has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms ERROR: Set supplied to Highs::deleteRows not ordered Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms QP has 1 row; 2 cols; 2 matrix nonzeros; 3 Hessian nonzeros Coefficient ranges: Matrix [1e+00, 1e+00] Cost [1e+00, 1e+00] Hessian [1e+00, 4e+00] Bound [0e+00, 0e+00] RHS [1e+00, 1e+00] Iteration Objective NullspaceDim 0 1.0000001 1 0.00s 1 -0.12499997 1 0.00s Model status : Optimal QP ASM iterations: 1 Objective value : -1.2500000000e-01 P-D objective error : 5.0000002018e-08 HiGHS run time : 0.00 Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms LP has 0 rows; 1 col; 0 nonzeros Solving unconstrained LP Solving an unconstrained LP with 1 columns Model status : Unbounded Objective value : 0.0000000000e+00 P-D objective error : 5.0000000000e-01 HiGHS run time : 0.00 Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms LP has 29999 rows; 30000 cols; 59998 nonzeros Coefficient ranges: Matrix [1e+00, 1e+00] Cost [0e+00, 0e+00] Bound [0e+00, 0e+00] RHS [0e+00, 0e+00] Presolving model 0 rows, 0 cols, 0 nonzeros 0s 0 rows, 0 cols, 0 nonzeros 0s Presolve reductions: rows 0(-29999); columns 0(-30000); nonzeros 0(-59998) - Reduced to empty Performed postsolve Solving the original LP from the solution after postsolve Model status : Optimal Objective value : 0.0000000000e+00 P-D objective error : 0.0000000000e+00 HiGHS run time : 0.09 Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms MIP has 1 row; 1 col; 1 nonzero; 1 integer variable (1 binary) Coefficient ranges: Matrix [1e+00, 1e+00] Cost [0e+00, 0e+00] Bound [1e+00, 1e+00] RHS [5e-01, 5e-01] Presolving model Presolve: Infeasible 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% -inf inf inf 0 0 0 0 0.0s Solving report Status Infeasible Primal bound inf Dual bound -inf Gap inf P-D integral 0 Solution status - Timing 0.00 Max sub-MIP depth 0 Nodes 0 Repair LPs 0 LP iterations 0 Solving LP to try to compute dual ray MIP has 1 row; 1 col; 1 nonzero; 1 integer variable (1 binary) Coefficient ranges: Matrix [1e+00, 1e+00] Cost [0e+00, 0e+00] Bound [1e+00, 1e+00] RHS [5e-01, 5e-01] Solving LP relaxation since solve_relaxation is true Solving LP without presolve or useful basis Using EKK dual simplex solver - serial Iteration Objective Infeasibilities num(sum) 0 0.0000000000e+00 Pr: 1(0.5) 0s 1 0.0000000000e+00 Pr: 0(0) 0s WARNING: Solution optimality conditions max inf integrality violations (tolerance = 1e-06) num/max 0 / 0 (relative 0 / 0) primal infeasibilities (tolerance = 1e-06) num/max 0 / 0 (relative 0 / 0) dual infeasibilities (tolerance = 1e-07) 0 / 0 P-D objective error (tolerance = 1e-07) Model status : Optimal Simplex iterations: 1 Objective value : 0.0000000000e+00 P-D objective error : 0.0000000000e+00 HiGHS run time : 0.00 No dual ray found ERROR: checkOptionValue: Value -1 for option "time_limit" is below lower bound of 0 Running HiGHS 1.12.0 (git hash: 755a8e027a): Copyright (c) 2025 HiGHS under MIT licence terms Starting MathOptIIS IIS search. Original model termination status: INFEASIBLE Original model primal status: INFEASIBLE_POINT Starting bound analysis. Complete bound analysis found 0 infeasibilities. Starting range analysis. Complete range analysis found 1 infeasibilities. Starting MathOptIIS IIS search. Original model termination status: INFEASIBLE Original model primal status: INFEASIBLE_POINT Starting bound analysis. Complete bound analysis found 0 infeasibilities. Starting range analysis. Complete range analysis found 1 infeasibilities. Starting MathOptIIS IIS search. Original model termination status: INFEASIBLE Original model primal status: INFEASIBLE_POINT Starting bound analysis. Complete bound analysis found 0 infeasibilities. Starting range analysis. Complete range analysis found 1 infeasibilities. Starting MathOptIIS IIS search. Original model termination status: INFEASIBLE Original model primal status: NO_SOLUTION Starting bound analysis. Complete bound analysis found 1 infeasibilities. Starting MathOptIIS IIS search. Original model termination status: OPTIMAL Original model primal status: FEASIBLE_POINT Starting MathOptIIS IIS search. Original model termination status: INFEASIBLE Original model primal status: NO_SOLUTION Starting bound analysis. Complete bound analysis found 1 infeasibilities. Starting MathOptIIS IIS search. Original model termination status: INFEASIBLE Original model primal status: INFEASIBLE_POINT Starting bound analysis. Complete bound analysis found 0 infeasibilities. Starting range analysis. Complete range analysis found 0 infeasibilities. Starting elastic filter solver. Complete elastic filter solver found 1 infeasibilities. Starting MathOptIIS IIS search. Original model termination status: INFEASIBLE Original model primal status: NO_SOLUTION Starting bound analysis. Complete bound analysis found 0 infeasibilities. Starting range analysis. Complete range analysis found 0 infeasibilities. Starting elastic filter solver. Complete elastic filter solver found 1 infeasibilities. Starting MathOptIIS IIS search. Original model termination status: INFEASIBLE Original model primal status: NO_SOLUTION Starting bound analysis. Complete bound analysis found 0 infeasibilities. Starting range analysis. Complete range analysis found 0 infeasibilities. Starting elastic filter solver. Complete elastic filter solver found 1 infeasibilities. ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 85 running 1 of 1 signal (10): User defined signal 1 egal_types at /source/src/builtins.c:182 egal_types at /source/src/builtins.c:185 ijl_types_equal at /source/src/subtype.c:2326 jl_specializations_get_linfo_ at /source/src/gf.c:236 #specialize_method#8 at ./runtime_internals.jl:1790 [inlined] specialize_method at ./runtime_internals.jl:1777 [inlined] typeinf_edge at ./../usr/share/julia/Compiler/src/typeinfer.jl:1142 abstract_call_method at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:728 infercalls at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 abstract_call_gf_by_type at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 abstract_call_known at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2822 abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2932 abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2925 [inlined] abstract_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3085 abstract_eval_call at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3103 [inlined] abstract_eval_statement_expr at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3467 abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3866 [inlined] abstract_eval_basic_statement at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3823 [inlined] typeinf_local at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4376 jfptr_typeinf_local_89174.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 typeinf at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4568 typeinf_ext at ./../usr/share/julia/Compiler/src/typeinfer.jl:1532 typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1715 [inlined] typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1724 jfptr_typeinf_ext_toplevel_90541.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] jl_type_infer at /source/src/gf.c:463 jl_compile_method_internal at /source/src/gf.c:3636 _jl_invoke at /source/src/gf.c:4108 [inlined] ijl_apply_generic at /source/src/gf.c:4313 macro expansion at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/Test/Test.jl:270 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] #runtests#2 at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/Test/Test.jl:265 runtests at /home/pkgeval/.julia/packages/MathOptInterface/03Qtw/src/Test/Test.jl:223 [inlined] test_runtests_cache at /home/pkgeval/.julia/packages/HiGHS/yay5V/test/MOI_wrapper.jl:45 unknown function (ip: 0x788e3879716f) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 macro expansion at /home/pkgeval/.julia/packages/HiGHS/yay5V/test/MOI_wrapper.jl:17 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] runtests at /home/pkgeval/.julia/packages/HiGHS/yay5V/test/MOI_wrapper.jl:17 unknown function (ip: 0x788e6ff2d58f) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:693 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:765 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:779 ijl_toplevel_eval_in at /source/src/toplevel.c:824 eval at ./boot.jl:489 include_string at ./loading.jl:3150 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 _include at ./loading.jl:3210 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_54402.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 macro expansion at /home/pkgeval/.julia/packages/HiGHS/yay5V/test/runtests.jl:12 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] top-level scope at /home/pkgeval/.julia/packages/HiGHS/yay5V/test/runtests.jl:2348 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_invoke at /source/src/gf.c:4123 ijl_eval_thunk at /source/src/toplevel.c:757 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:779 ijl_toplevel_eval_in at /source/src/toplevel.c:824 eval at ./boot.jl:489 include_string at ./loading.jl:3150 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 _include at ./loading.jl:3210 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_54402.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:693 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:765 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:779 ijl_toplevel_eval_in at /source/src/toplevel.c:824 eval at ./boot.jl:489 exec_options at ./client.jl:310 _start at ./client.jl:585 jfptr__start_37370.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] true_main at /source/src/jlapi.c:971 jl_repl_entrypoint at /source/src/jlapi.c:1138 main at /source/cli/loader_exe.c:58 unknown function (ip: 0x788e71818249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_62062.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2285 [inlined] start_task at /source/src/task.c:1275 unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x00007010f2694010 Total snapshots: 521. Utilization: 0% ╎521 @Base/task.jl:1168 wait_forever() 520╎ 521 @Base/task.jl:1246 wait() HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run(); HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run(); HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run(); HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run(); HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run(); HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run(); HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run(); PkgEval terminated after 2721.16s: test duration exceeded the time limit