master: know how many solns even if have to terminate