Update information line on threads + workers

Author: Opt-Mucca

highs/mip/HighsMipSolverData.cpp

@@ -1094,14 +1094,19 @@ void HighsMipSolverData::runSetup() {
 		 "%" HIGHSINT_FORMAT " continuous, "
 		 "%" HIGHSINT_FORMAT " domain fixed)\n"
 		 "   %" HIGHSINT_FORMAT " nonzero%s\n"
-		 "   %" HIGHSINT_FORMAT " threads and "
-		 "%" HIGHSINT_FORMAT " max workers\n",
+		 "   Thread count %" HIGHSINT_FORMAT " (of "
+		 "%" HIGHSINT_FORMAT " threads). "
+		 "Using %" HIGHSINT_FORMAT " max workers. "
+		 "Parallel search %s\n",
         // clang-format on
         mipsolver.numRow(), mipsolver.numRow() == 1 ? "" : "s", num_col,
         num_col == 1 ? "" : "s", num_binary, num_general_integer,
         num_implied_integer, num_continuous, num_domain_fixed,
         mipsolver.numNonzero(), mipsolver.numNonzero() == 1 ? "" : "s",
-        HighsInt{highs::parallel::num_threads()}, mipsolver.getMaxNumWorkers());
+        HighsInt{highs::parallel::num_threads()},
+        HighsInt{static_cast<int>(std::thread::hardware_concurrency())},
+        mipsolver.getMaxNumWorkers(),
+        mipsolver.getMaxNumWorkers() > 1 ? "on" : "off");
   } else {
     highsLogUser(mipsolver.options_mip_->log_options, HighsLogType::kInfo,
                  "Model after restart has "