docs: private void processOptions(OptionSet options) {
      Pseudorandom.get().setSeed(options.valueOf(randomSeed));
  
      if (opts.contains(CommonOptions.MAP_REDUCE)) {
        MapReduceConfiguration.setMapReduceExecutor(new LocalMapReduceExecutor(
            options.valueOf(mrMaxThreads), options.valueOf(mrMaxBatchesPerThread)));
      }
  
      if (opts.contains(CommonOptions.STOCHASTIC_GRADIENT) || opts.contains(CommonOptions.LBFGS)) {
        LogFunction log = null;
        if (parsedOptions.has(logBrief)) {
          log = new NullLogFunction();
        } else {
           log = new DefaultLogFunction(parsedOptions.valueOf(logInterval), false,
               options.valueOf(logParametersInterval), options.valueOf(logParametersDir));
        }
        LogFunctions.setLogFunction(log);
      }
    }