Adding substitution size cap.
Adding miplibtrick option.