cleanup thread manager for CP-SAT linear solver backend

ortools/linear_solver/sat_interface.cc

@@ -286,8 +286,8 @@ void SatInterface::ExtractObjective() { NonIncrementalChange(); }
 
 void SatInterface::SetParameters(const MPSolverParameters& param) {
   parameters_.set_num_search_workers(num_threads_);
-  parameters_.set_log_search_progress(!quiet_);
   parameters_.set_linearization_level(2);
+  parameters_.set_log_search_progress(!quiet_);
   SetCommonParameters(param);
 }
 

ortools/linear_solver/scip_helper_macros.h

@@ -21,10 +21,6 @@
 namespace operations_research {
 namespace internal {
 // Our own version of SCIP_CALL to do error management.
-// NOTE(user): There are so many SCIP error codes, in so many different
-// situations. We don't try to match them perfectly to google3 error codes.
-// Instead, we use the most likely/generic code "invalid argument" and surface
-// the internal SCIP error code to the user.
 inline absl::Status ScipCodeToUtilStatus(/*SCIP_Retcode*/ int retcode,
                                          const char* source_file,
                                          int source_line,