if (updateIfSmaller(countContextsSaturatedLower_, snapshotCountContextNonSaturated)) { updateIfSmaller(countJobsProcessedLower_, snapshotCountJobsSubmitted);
if (updateIfSmaller(countContextsSaturatedLower_, snapshotCountContextNonSaturated)) { updateIfSmaller(countJobsProcessedLower_, snapshotCountJobsSubmitted);
if (updateIfSmaller(countContextsSaturatedLower_, snapshotCountContextNonSaturated)) { updateIfSmaller(countJobsProcessedLower_, snapshotCountJobsSubmitted);