From dc91735bfc80e4c21e146404c97829c4b1e54410 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Tue, 2 Jan 2018 03:52:24 +0100 Subject: [PATCH] logtime of sdp solution; print the reresentation of SDP to log --- src/Orbit-wise.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Orbit-wise.jl b/src/Orbit-wise.jl index 57f8a27..aa9b20a 100644 --- a/src/Orbit-wise.jl +++ b/src/Orbit-wise.jl @@ -190,7 +190,7 @@ end function λandP(m::JuMP.Model, data::OrbitData, sett::Settings) info(sett.logger, "Solving SDP problem...") - λ, Ps = λandP(m, data, sett.warmstart) + @logtime sett.logger λ, Ps = λandP(m, data, sett.warmstart) info(sett.logger, "Reconstructing P...") @@ -234,6 +234,7 @@ function check_property_T(sett::Settings) info(sett.logger, "Creating SDP problem...") SDP_problem, orb_data = create_SDP_problem(sett) JuMP.setsolver(SDP_problem, sett.solver) + info(sett.logger, Base.repr(SDP_problem)) λ, P = λandP(SDP_problem, orb_data, sett) end