Count time for enumerating solutions (in onNewSolution) for the container, not the generating child. #729
Description
To this end, we could simply determine the elapsed time within onNewSolution calls and subtract it from the child's time account.
{{ message }}