Added verbosity=1 to declaration of FeasibilityJumpSolver(); solver.s…

…olve(nullptr, fjControlCallback); and solution is reported after FJ call

src/mip/HighsFeasibilityJump.cpp

@@ -34,7 +34,7 @@ void HighsMipSolverData::feasibilityJump() {
   external_feasibilityjump::equalityTolerance = epsilon;
   external_feasibilityjump::violationTolerance = feastol;
 
-  auto solver = external_feasibilityjump::FeasibilityJumpSolver();
+  auto solver = external_feasibilityjump::FeasibilityJumpSolver(0, 1);
 
   printf("DEBUG: adding cols (vars)\n");
 
@@ -106,7 +106,7 @@ void HighsMipSolverData::feasibilityJump() {
     }
   };
 
-  solver.solve(col_value.data(), fjControlCallback);
+  solver.solve(nullptr, fjControlCallback);
 
   if (found_integer_feasible_solution) {
     // Feasibility jump has found a solution, so call addIncumbent to
@@ -116,6 +116,10 @@ void HighsMipSolverData::feasibilityJump() {
         "DEBUG: Feasibility Jump has found an integer feasible solution with "
         "objective value %g\n",
         objective_function_value);
+    printf("DEBUG: Solution: [");
+    for(HighsInt iCol = 0; iCol < std::min(10, int(col_value.size())); iCol++)
+      printf(" %g", col_value[iCol]);
+    printf("]\n");
     if (!trySolution(col_value, kSolutionSourceFeasibilityJump))
       printf("DEBUG: Feasibility Jump solution was not integer feasible\n");
   } else {