iter 1  #V 37 chi 1  dual bound 37.0  new region clauses 30  status 0  t=591.7
iter 2  #V 37 chi 1  dual bound 36.999999999999986  new region clauses 30  status 0  t=1384.1
iter 3  #V 37 chi 1  dual bound 36.99999999999892  new region clauses 30  status 0  t=1959.8
iter 4  #V 37 chi 1  dual bound 37.0  new region clauses 24  status 0  t=2909.3
