writing constraints file on demand, added option verbose0.5 to print only these constraints for the first run. Fixes #70