Serialized and deserialized JuMP CPLEX models are not the same

Specific Domains Optimization (Mathematical)
, ,
1

I want to run some long simulations with JuMP. After the simulations ends, I will start with the metaanalysis. So what I wanted to do is store the solved model in the filesystem and analyze it afterwards.
During my pre-testing I realized that the model is serialized in the filesystem as not solved, although it is.

Is this a desired behavior ? if not is it a JuMP, a CPLEX or a Serialization problem ?

Minimal example script:

ENV["CPLEX_STUDIO_BINARIES"] = "my/path/to/CPLEX/bins";
using JuMP
using CPLEX
using Serialization

model = Model(CPLEX.Optimizer)
@variable(model, x >= 0)
@variable(model, 0 <= y <= 3)
@objective(model, Min, 12x + 20y)
@constraint(model, c1, 6x + 8y >= 100)
@constraint(model, c2, 7x + 12y >= 120)
optimize!(model)

serialize("model.dat", model)
modelde = deserialize("model.dat")

@show model |> termination_status
@show modelde |> termination_status

which prints:

model |> termination_status = MathOptInterface.OPTIMAL
modelde |> termination_status = MathOptInterface.OPTIMIZE_NOT_CALLED
2

You cannot serialize jump models like this.

The solutions are stored inside the CPLEX model which is not written to disk on serialize.

(All Julia sees is a pointer to the CPLEX memory.)

There are no workarounds. You should compute the results you want to save and write them to disk, not the jump model.