For understanding the minimum from optimization methods, prepare timeout option

[chengchihhong]

When the solver signals timeout, present the current minimal value (may not be absolute minimum) that is still valid (based on duality).