From 0abcf2a10d788c644238203c41233b06e4ff6a5e Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 17 Mar 2017 16:32:20 +0100 Subject: [PATCH] report time of JuMP.solve --- src/sdps.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/sdps.jl b/src/sdps.jl index b8094eb..762dd42 100644 --- a/src/sdps.jl +++ b/src/sdps.jl @@ -78,7 +78,8 @@ function solve_SDP(SDP_problem, solver) o = redirect_stdout(solver_logger.handlers["solver"].io) e = redirect_stderr(solver_logger.handlers["solver"].io) - solution_status = JuMP.solve(SDP_problem); + t = @timed solution_status = JuMP.solve(SDP_problem) + info(logger, timed_msg(t)) Base.Libc.flush_cstdio() remove_handler(solver_logger, "solver")