Need to use check/instances model in unit_tests mip-race

Author: jajhall

check/TestMipSolver.cpp

@@ -1003,15 +1003,16 @@ TEST_CASE("issue-2432", "[highs_test_mip_solver]") {
 }
 
 TEST_CASE("mip-race", "[highs_test_mip_solver]") {
-  const std::string model =
-      "fiball";  //"neos-3381206-awhea"; //bell5";//"flugpl";
+  const std::string model = "flugpl";
+  // "fiball";
+  // "neos-3381206-awhea";
   const std::string model_file =
-      //      std::string(HIGHS_DIR) + "/check/instances/" + model + ".mps";
-      "/srv/miplib2017/" + model + ".mps.gz";
+      std::string(HIGHS_DIR) + "/check/instances/" + model + ".mps";
+  //"/srv/miplib2017/" + model + ".mps.gz";
   Highs h;
-  //  h.setOptionValue("output_flag", dev_run);
+  h.setOptionValue("output_flag", dev_run);
   h.setOptionValue("mip_race_concurrency", 4);
-  //  h.setOptionValue("mip_race_read_solutions", false);
+  h.setOptionValue("mip_race_read_solutions", false);
   REQUIRE(h.readModel(model_file) == HighsStatus::kOk);
   REQUIRE(h.run() == HighsStatus::kOk);
 }

highs/mip/HighsMipSolver.cpp

@@ -67,9 +67,6 @@ HighsMipSolver::HighsMipSolver(HighsCallback& callback,
 HighsMipSolver::~HighsMipSolver() = default;
 
 void HighsMipSolver::run() {
-  if (!submip)
-    printf("HighsMipSolver::run() with random_seed = %d\n",
-           int(options_mip_->random_seed));
   modelstatus_ = HighsModelStatus::kNotset;
 
   if (submip) {