iter 1  best chi 0  dual bound 2.7341092353102187e-14  new region clauses 0  status 0  t=11.5
RESULT box=(2, 4, 4) sym=inv max_chi=0 (status 0: Optimization terminated successfully. (HiGHS Status 7: Optimal))
