Recommendations for setting to "prove" infeasability faster and get an idea of progress "proving" infeasibility

[freemin7]

I have a problem i assume to be infeasible and use Cbc to "prove" that. I got two questions about this usecase.

I know that Cbc supports online estimation of tree size which could be used to give an estimate of progress of proving infeasibility. Is there a way to output a metric to similar effect using a Cbc_setParameter call?

What solver setting (Cbc_setParameter) would you recommend for infeasible problems to arrive at a proof of infeasibility faster?

processed model has 5128 rows, 912 columns (912 integer (912 of which binary)) and 21648 elements

The model has no objective.