pub const RUNG_RETRY_FLOOR: usize = 200;
The budget of a continuation rung retried after its warm-started solve failed: twice what the previous rung took, at least this.