Small fixes

Author: filikat

docs/src/installation.md

@@ -51,6 +51,8 @@ On Windows, do not forget to specify configuration type
 cmake --build build --config Release
 ```
 
+If a different version of Metis is used, make sure that it is compiled with 64-bit integers, or HiGHS will fail.
+
 ### HiPO
 
 To install HiPO, on Linux and MacOS, run

highs/io/HighsIO.cpp

@@ -30,15 +30,13 @@ void highsLogHeader(const HighsLogOptions& log_options,
 
 #ifdef HIPO
 #ifdef BLAS_LIBRARIES
-  highsLogUser(log_options, HighsLogType::kInfo, "Using blas: %s\n",
-               BLAS_LIBRARIES);
+  highsLogUser(log_options, HighsLogType::kInfo, "Using blas: %s - %s\n",
+               BLAS_LIBRARIES, hipo::getBlasIntegerModelString().c_str());
 #else
-  highsLogUser(log_options, HighsLogType::kInfo, "Using blas: unknown\n");
-#endif
-
-  highsLogUser(log_options, HighsLogType::kInfo, "Blas integer model: %s\n",
+  highsLogUser(log_options, HighsLogType::kInfo, "Using blas: unknown - %s\n",
                hipo::getBlasIntegerModelString().c_str());
 #endif
+#endif
 }
 
 std::array<char, 32> highsDoubleToString(const double val,

highs/ipm/hipo/factorhighs/Analyse.cpp

@@ -1333,11 +1333,6 @@ Int64 Analyse::run(Symbolic& S) {
   computeBlockStart();
   computeCriticalPath();
 
-  if (checkOverflow()) {
-    if (log_) log_->printe("Integer overflow in analyse phase\n");
-    return kRetIntOverflow;
-  }
-
   // move relevant stuff into S
   S.n_ = n_;
   S.sn_ = sn_count_;
@@ -1364,6 +1359,11 @@ Int64 Analyse::run(Symbolic& S) {
     if (i <= 100) S.sn_size_100_++;
   }
 
+  if (checkOverflow()) {
+    if (log_) log_->printe("Integer overflow in analyse phase\n");
+    return kRetIntOverflow;
+  }
+
   // permute signs of pivots
   S.pivot_sign_ = std::move(signs_);
   permuteVector(S.pivot_sign_, perm_);