code: protected void newRestartLimit() {
          final long newInterval = this.config.restartint * luby(this.stats.restartsCount + 1);
          if (newInterval > this.limits.maxRestartInterval) { this.limits.maxRestartInterval = newInterval; }
          this.limits.restart = this.stats.conflicts + newInterval;
      }
docs: Computes a new restart limit.