terminateResolution

Closes solutionChannel (if not already closed) and cancels every coroutine running under resolutionScope, i.e. every remaining branch of the search tree still being explored concurrently. Called once solveOptions' SolveOptions.limit has been reached, so no further solutions are computed after the requested amount has already been published.