get available mip solution if status is not optimal#821

riis-hhd wants to merge 1 commit intocoin-or:mastercoin-or/pulp:masterfrom

leavesgrp:copt_fixsolleavesgrp/pulp:copt_fixsolCopy head branch name to clipboard