Careful there aren't too many "success" messages with --tear-down-incremental (can confuse trace runner).
core solver fix