iter 1  best chi 1  dual bound 1.000000000000008  new region clauses 20  status 0  t=18.0
iter 2  best chi 1  dual bound 1.000000000000664  new region clauses 20  status 0  t=38.1
iter 3  best chi 1  dual bound 1.0  new region clauses 16  status 0  t=61.1
iter 4  best chi 1  dual bound 1.0000000000000488  new region clauses 20  status 0  t=81.3
iter 5  best chi 1  dual bound 1.0000000000000007  new region clauses 16  status 0  t=112.1
iter 6  best chi 1  dual bound 1.0  new region clauses 16  status 0  t=138.7
iter 7  best chi 1  dual bound 1.0  new region clauses 20  status 0  t=175.0
iter 8  best chi 1  dual bound 1.0000000000000053  new region clauses 20  status 0  t=199.2
iter 9  best chi 1  dual bound 1.0000000000000073  new region clauses 16  status 0  t=222.1
iter 10  best chi 1  dual bound 1.0  new region clauses 20  status 0  t=262.0
iter 11  best chi 1  dual bound 1.0  new region clauses 16  status 0  t=297.7
iter 12  best chi 1  dual bound 1.0  new region clauses 16  status 0  t=330.1
iter 13  best chi 1  dual bound 1.0  new region clauses 16  status 0  t=354.6
iter 14  best chi 1  dual bound 1.0000000000000338  new region clauses 16  status 0  t=404.7
iter 15  best chi 1  dual bound 1.0  new region clauses 20  status 0  t=442.6
iter 16  best chi 1  dual bound 1.0  new region clauses 16  status 0  t=496.1
iter 17  best chi 1  dual bound 1.0000000000000004  new region clauses 16  status 0  t=534.8
iter 18  best chi 1  dual bound 1.000000000000193  new region clauses 16  status 0  t=572.4
iter 19  best chi 1  dual bound 1.0  new region clauses 20  status 0  t=607.8
iter 20  best chi 1  dual bound 1.0  new region clauses 20  status 0  t=644.5
iter 21  best chi 1  dual bound 1.0  new region clauses 20  status 0  t=716.2
iter 22  best chi 1  dual bound 1.0  new region clauses 24  status 0  t=755.4
iter 23  best chi 1  dual bound 1.0  new region clauses 16  status 0  t=796.4
iter 24  best chi 1  dual bound 1.0  new region clauses 16  status 0  t=835.8
iter 25  best chi 1  dual bound 1.0000000000000004  new region clauses 20  status 0  t=878.7
iter 26  best chi 1  dual bound 0.9999999999999993  new region clauses 16  status 0  t=931.9
iter 27  best chi 1  dual bound 1.0  new region clauses 16  status 0  t=976.2
iter 28  best chi 1  dual bound 1.0000000000000036  new region clauses 16  status 0  t=1012.1
iter 29  best chi 1  dual bound 1.0  new region clauses 20  status 0  t=1052.2
iter 30  best chi 1  dual bound 1.0  new region clauses 24  status 0  t=1069.1
iter 31  best chi 0  dual bound 3.468207413178963e-13  new region clauses 0  status 0  t=1115.9
RESULT box=(3, 3, 4) sym=inv max_chi=0 (status 0: Optimization terminated successfully. (HiGHS Status 7: Optimal))
