avoid printing the same information to std::out twice

[yuxies]

Following up on #115 : fix the problem that some information was displayed twice when printing solutions to a file.