有没有办法知道在 Gurobi usercuts 中花费了多少时间?

Is there a way to know how much time is spent in Gurobi usercuts?

我正在使用 JuMP 数学优化接口用户使用 Gurobi 削减回调

MOI.set(m, MOI.UserCutCallback(), callback_benders_usercuts)

而且我想知道是否有办法知道我的 usercut 函数花费了多少时间callback_benders_usercuts

usercuts_time = 0
callback_benders_usercuts(arguments)
    usercuts_time += time()
    # ... computing
    usercuts_time += time() - usercuts_time
    return

不起作用,因为我认为 callback_benders_usercuts 在许多节点上被调用并且我的变量自身互连。

我得到以下明显不正确的信息:

 [ Info: Spent 1.614e9s in User cuts

你想要

callback_benders_usercuts(arguments)
    t = time()
    # ... computing
    usercuts_time += time() - t
    return