iter 1  best chi 2  dual bound 2.0000000000000004  new region clauses 73  status 0  t=225.9
iter 2  best chi 2  dual bound 2.0000000000000866  new region clauses 16  status 0  t=447.6
iter 3  best chi 2  dual bound 2.000000000000001  new region clauses 20  status 0  t=611.1
iter 4  best chi 2  dual bound 2.000000000000004  new region clauses 16  status 0  t=854.1
iter 5  best chi 2  dual bound 2.0000000000000004  new region clauses 20  status 0  t=1355.4
iter 6  best chi 2  dual bound 2.0  new region clauses 16  status 0  t=1590.0
iter 7  best chi 2  dual bound 2.00000000000002  new region clauses 16  status 0  t=1933.5
iter 8  best chi 2  dual bound 2.000000000000004  new region clauses 16  status 0  t=2265.0
iter 9  best chi 2  dual bound 2.000000000000919  new region clauses 20  status 0  t=2613.0
iter 10  best chi 2  dual bound 2.0  new region clauses 16  status 0  t=2871.6
