Cleaned up warning and output for unmatched subproblems.
Merge branch 'master' into match_on_memory