I posted a thread on JuMP forums about the incorrect solution status. Seen a similar issue with HiGHS before. Any ideas? https://discourse.julialang.org/t/constraints-not-being-satisfied-while-using-vector-elements-as-rhs/88294