use oz's mirror of runsolver that has a hacky --quiet mode

etc/build/install-runsolver.sh

@@ -2,7 +2,7 @@
 
 # version as of 25 March 2024
 # alas, none of the published releases compile correctly
-VERSION='3f923c08285bdc5186f995296e1c6bffa0588710'
+VERSION='add1db71b5ecbeb9d2b1329d242dff0ada18809f'
 
 set -o errexit
 set -o nounset
@@ -18,7 +18,7 @@ if [ "$OS" == "Linux" ]; then
     rm -rf tmp-install-runsolver
     mkdir tmp-install-runsolver
     pushd tmp-install-runsolver
-    git clone https://github.com/utpalbora/runsolver.git
+    git clone https://github.com/ozgurakgun/runsolver.git
     cd runsolver
     git checkout $VERSION
     cd src

etc/build/runsolver.patch

@@ -1,13 +1,13 @@
 diff --git a/src/runsolver.cc b/src/runsolver.cc
-index f42c9a1..312c985 100644
+index e2a7902..5696a34 100644
 --- a/src/runsolver.cc
 +++ b/src/runsolver.cc
-@@ -906,7 +906,7 @@ void numaInfo() {
+@@ -916,7 +916,7 @@ void numaInfo() {
      return;
 
    int nbNodes = numa_num_configured_nodes();
 -  long mem, memFree;
 +  long long mem, memFree;
 
+   if (!quiet_progress) {
    cout << "NUMA information:\n";
-   cout << "  number of nodes: " << nbNodes << endl;

src/Conjure/UI/MainHelper.hs

@@ -805,7 +805,7 @@ savileRowNoParam ui@Solve{..} (modelPath, eprimeModel) = sh $ errExit False $ do
                     tr (1::Int)
     let runsolverArgs = maybe [] (\ limit -> ["-C", show limit]) runsolverCPUTimeLimit ++
                         maybe [] (\ limit -> ["-R", show limit]) runsolverMemoryLimit  ++
-                        ["-v", outputDirectory </> outBase ++ ".runsolver-info"]
+                        ["--quiet", "-v", outputDirectory </> outBase ++ ".runsolver-info"]
     (stdoutSR, solutions) <- partitionEithers <$>
         case (runsolverCPUTimeLimit, runsolverMemoryLimit) of
             (Nothing, Nothing) -> runHandle savilerowScriptName srArgs handler
@@ -855,7 +855,7 @@ savileRowWithParams ui@Solve{..} (modelPath, eprimeModel) (paramPath, essencePar
                             tr (1::Int)
             let runsolverArgs = maybe [] (\ limit -> ["-C", show limit]) runsolverCPUTimeLimit ++
                                 maybe [] (\ limit -> ["-V", show limit]) runsolverMemoryLimit  ++
-                        ["-v", outputDirectory </> outBase ++ ".runsolver-info"]
+                        ["--quiet", "-v", outputDirectory </> outBase ++ ".runsolver-info"]
             (stdoutSR, solutions) <- partitionEithers <$>
                 case (runsolverCPUTimeLimit, runsolverMemoryLimit) of
                     (Nothing, Nothing) -> runHandle savilerowScriptName srArgs handler