iter 1  best chi 2  dual bound 2.0  new region clauses 135  status 0  t=6.3
iter 2  best chi 2  dual bound 2.0  new region clauses 87  status 0  t=13.5
iter 3  best chi 1  dual bound 1.0000000000005504  new region clauses 48  status 0  t=20.5
iter 4  best chi 1  dual bound 1.000000000000164  new region clauses 48  status 0  t=29.4
iter 5  best chi 1  dual bound 1.00000000000011  new region clauses 48  status 0  t=38.9
iter 6  best chi 1  dual bound 1.0000000000000078  new region clauses 48  status 0  t=48.2
iter 7  best chi 1  dual bound 1.0000000000000409  new region clauses 0  status 0  t=57.1
RESULT box=(4, 4, 4) sym=c3inv max_chi=1 (status 0: Optimization terminated successfully. (HiGHS Status 7: Optimal))
[[[0, 0, 1], 0], [[0, 0, 1], 1], [[0, 0, 1], 2], [[0, 0, 2], 1], [[0, 0, 2], 2], [[0, 0, 3], 0], [[0, 0, 3], 1], [[0, 1, 0], 0], [[0, 1, 0], 1], [[0, 1, 0], 2], [[0, 1, 1], 0], [[0, 1, 1], 2], [[0, 1, 2], 0], [[0, 1, 2], 2], [[0, 1, 3], 0], [[0, 2, 0], 0], [[0, 2, 0], 1], [[0, 2, 1], 0], [[0, 2, 1], 1], [[0, 2, 1], 2], [[0, 2, 2], 0], [[0, 2, 2], 1], [[0, 2, 2], 2], [[0, 2, 3], 0], [[0, 2, 3], 1], [[0, 3, 0], 0], [[0, 3, 0], 2], [[0, 3, 1], 0], [[0, 3, 2], 0], [[0, 3, 2], 2], [[0, 3, 3], 0], [[1, 0, 0], 0], [[1, 0, 0], 1], [[1, 0, 0], 2], [[1, 0, 1], 0], [[1, 0, 1], 1], [[1, 0, 2], 0], [[1, 0, 2], 1], [[1, 0, 2], 2], [[1, 0, 3], 1], [[1, 1, 0], 1], [[1, 1, 0], 2], [[1, 1, 1], 0], [[1, 1, 1], 1], [[1, 1, 1], 2], [[1, 1, 2], 0], [[1, 1, 2], 1], [[1, 1, 2], 2], [[1, 1, 3], 1], [[1, 2, 0], 1], [[1, 2, 0], 2], [[1, 2, 1], 0], [[1, 2, 1], 1], [[1, 2, 1], 2], [[1, 2, 2], 0], [[1, 2, 2], 1], [[1, 2, 2], 2], [[1, 3, 0], 2], [[1, 3, 1], 0], [[1, 3, 2], 0], [[1, 3, 2], 2], [[1, 3, 3], 0], [[2, 0, 0], 0], [[2, 0, 0], 2], [[2, 0, 1], 0], [[2, 0, 1], 1], [[2, 0, 2], 0], [[2, 0, 2], 1], [[2, 0, 2], 2], [[2, 0, 3], 0], [[2, 0, 3], 1], [[2, 1, 0], 0], [[2, 1, 0], 1], [[2, 1, 0], 2], [[2, 1, 1], 0], [[2, 1, 1], 1], [[2, 1, 1], 2], [[2, 1, 2], 0], [[2, 1, 2], 1], [[2, 1, 2], 2], [[2, 1, 3], 0], [[2, 1, 3], 1], [[2, 2, 0], 0], [[2, 2, 0], 1], [[2, 2, 0], 2], [[2, 2, 1], 0], [[2, 2, 1], 1], [[2, 2, 1], 2], [[2, 2, 2], 0], [[2, 2, 2], 1], [[2, 2, 2], 2], [[2, 2, 3], 0], [[2, 2, 3], 1], [[2, 3, 0], 0], [[2, 3, 0], 2], [[2, 3, 2], 0], [[2, 3, 2], 2], [[3, 0, 0], 1], [[3, 0, 0], 2], [[3, 0, 1], 1], [[3, 0, 2], 1], [[3, 0, 2], 2], [[3, 0, 3], 1], [[3, 1, 0], 2], [[3, 1, 1], 2], [[3, 1, 3], 1], [[3, 2, 0], 1], [[3, 2, 0], 2], [[3, 2, 1], 1], [[3, 2, 1], 2], [[3, 2, 2], 1], [[3, 2, 2], 2], [[3, 3, 0], 2], [[3, 3, 1], 2]]
