print number of integer variables in ConstrainedSolver

Solver/ConstrainedSolverT.cc

@@ -223,8 +223,8 @@ ConstrainedSolver::solve(
   gmm::size_type ncons = gmm::mat_nrows(_constraints);
 
   DEB_out_if(_show_timings, 1, "Initital dimension: " << nrows << " x " << ncols
-    << ", number of constraints: " << ncons
-    << " use reordering: " << use_constraint_reordering() << "\n")
+    << ", number of constraints: " << ncons << ", number of integer variables: " << _idx_to_round.size()
+    << ", use reordering: " << (use_constraint_reordering() ? "yes" : "no") << "\n")
 
     // StopWatch for Timings
     Base::StopWatch sw, sw2; sw.start(); sw2.start();