From 24532614e58b38ed4bd760d50f5b0037e4d2197a Mon Sep 17 00:00:00 2001
From: "Alinson S. Xavier" <git@axavier.org>
Date: Mon, 10 Jun 2024 12:28:40 -0500
Subject: [PATCH] gmi_dual: Return time

---
 src/Cuts/tableau/gmi_dual.jl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/Cuts/tableau/gmi_dual.jl b/src/Cuts/tableau/gmi_dual.jl
index 379f667..c30032a 100644
--- a/src/Cuts/tableau/gmi_dual.jl
+++ b/src/Cuts/tableau/gmi_dual.jl
@@ -223,10 +223,8 @@ function collect_gmi_dual(
         end
     end
 
-    @show stats_gap
-    @show stats_obj
-    @show stats_ncuts
-
+    to = TimerOutputs.get_defaulttimer()
+    stats_time = TimerOutputs.tottime(to) / 1e9
     print_timer()
 
     return OrderedDict(
@@ -236,6 +234,8 @@ function collect_gmi_dual(
         "obj_mip" => obj_mip,
         "stats_obj" => stats_obj,
         "stats_gap" => stats_gap,
+        "stats_ncuts" => stats_ncuts,
+        "stats_time" => stats_time,
     )
 end