Edit

constexpr int MAX_TOTAL_BT_CALLS = 500000; // total budget for entire relation

constexpr int MAX_TOTAL_BT_CALLS = BACKTRACK_TOTAL_BUDGET;