iter 1  best chi 1  dual bound 1.0000000000000024  new region clauses 10  status 0  t=1084.8
iter 2  best chi 1  dual bound 1.0000000000000382  new region clauses 16  status 0  t=2462.3
iter 3  best chi 1  dual bound 1.0  new region clauses 12  status 0  t=3704.9
iter 4  best chi 1  dual bound 1.0000000000000173  new region clauses 16  status 0  t=4958.6
iter 5  best chi 1  dual bound 1.0000000000000002  new region clauses 10  status 0  t=5613.7
iter 6  best chi 1  dual bound 1.0000000000000004  new region clauses 16  status 0  t=6492.2
iter 7  best chi 1  dual bound 1.0000000000000095  new region clauses 8  status 0  t=7109.2
iter 8  best chi 1  dual bound 1.0  new region clauses 12  status 0  t=7563.3
iter 9  best chi 1  dual bound 0.9999999999990201  new region clauses 10  status 0  t=8007.2
