1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-14 22:20:28 +01:00

report time of JuMP.solve

This commit is contained in:
kalmar 2017-03-17 16:32:20 +01:00
parent e8d3201390
commit 0abcf2a10d

View File

@ -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")