Is there a way for minizinc/cplex to report the percentage of the search space that has been explored when the time budget is reached?

Question

I\'m relative new to Minizinc. Lets say you have a model that runs with a time budget, is there a compiler/solver option that can report back the estimated percentage of the