Add command line option --dumpresult=outfile.res
to write found solutions to a file outfile.res