We currently stop once the first solution is found. It would be nice if we could support the anytime use-case like in idbA*