System Error using "find_adversarial_example"

[darioguidotti]

Hello,

I was trying to use "find_adversarial_example" on a fully connected network
and I have came across this error:

""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""

[notice | MIPVerify]: Attempting to find adversarial example. Neural net predicted label is 8, target labels are [1, 2]
[notice | MIPVerify]: Rebuilding model from scratch. This may take some time as we determine upper and lower bounds for the input to each non-linear unit.

Calculating upper bounds: 100%|███████████████████████| Time: 0:00:00

Academic license - for non-commercial use only

Calculating upper bounds: 100%|███████████████████████| Time: 0:21:01
Calculating lower bounds: 100%|███████████████████████| Time: 0:21:00
Calculating upper bounds: 100%|███████████████████████| Time: 0:10:20
Calculating lower bounds: 100%|███████████████████████| Time: 0:10:20
Calculating upper bounds: 100%|███████████████████████| Time: 0:05:00
Calculating lower bounds: 100%|███████████████████████| Time: 0:05:00

[notice | MIPVerify]: The model built will be cached and re-used for future solves, unless you explicitly set rebuild=true.

SystemError: opening file /tmp/julia/MIPVerify/models/MNIST.n2.(1, 28, 28, 1).unrestricted.5866173013811435097.jls: No such file or directory

Stacktrace:
[1] #systemerror#39(::Nothing, ::Function, ::String, ::Bool) at ./error.jl:106
[2] systemerror at ./error.jl:106 [inlined]
[3] #open#295(::Nothing, ::Nothing, ::Nothing, ::Bool, ::Nothing, ::Function, ::String) at ./iostream.jl:283
[4] #open at ./iostream.jl:0 [inlined]
[5] open(::String, ::String) at ./iostream.jl:339
[6] #open#296(::Base.Iterators.Pairs{Union{},Union{},Tuple{},NamedTuple{(),Tuple{}}}, ::Function, ::getfield(MIPVerify, Symbol("##52#54")), ::String, ::Vararg{String,N} where N) at ./iostream.jl:367
[7] open at ./iostream.jl:367 [inlined]
[8] get_reusable_model(::Sequential, ::Array{Float64,4}, ::MIPVerify.UnrestrictedPerturbationFamily, ::GurobiSolver, ::MIPVerify.TighteningAlgorithm, ::Bool, ::Bool) at /home/davril/.julia/packages/MIPVerify/2slfm/src/models.jl:150
[9] get_model(::Sequential, ::Array{Float64,4}, ::MIPVerify.UnrestrictedPerturbationFamily, ::GurobiSolver, ::MIPVerify.TighteningAlgorithm, ::Bool, ::Bool) at /home/davril/.julia/packages/MIPVerify/2slfm/src/models.jl:61
[10] macro expansion at /home/davril/.julia/packages/MIPVerify/2slfm/src/MIPVerify.jl:119 [inlined]
[11] macro expansion at ./util.jl:213 [inlined]
[12] #find_adversarial_example#71(::Bool, ::MIPVerify.UnrestrictedPerturbationFamily, ::Int64, ::Float64, ::Bool, ::MIPVerify.TighteningAlgorithm, ::GurobiSolver, ::Bool, ::Bool, ::MIPVerify.AdversarialExampleObjective, ::typeof(find_adversarial_example), ::Sequential, ::Array{Float64,4}, ::Array{Int64,1}, ::GurobiSolver) at /home/davril/.julia/packages/MIPVerify/2slfm/src/MIPVerify.jl:103
[13] find_adversarial_example(::Sequential, ::Array{Float64,4}, ::Array{Int64,1}, ::GurobiSolver) at /home/davril/.julia/packages/MIPVerify/2slfm/src/MIPVerify.jl:103
[14] top-level scope at In[6]:2

""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""

Do you have any idea about what could have caused it?
Thank you!

[vtjeng]

It looks like it might be a permissions issue with the /tmp directory; this issue looks similar. In the meantime, you could pass the keyword argument cache_model=False so that the package doesn't attempt to save the model immediately.

Please let me know whether either of those solutions worked.

[darioguidotti]

Thank you for your help, setting cache_model=False worked!
Best,
Dario

[vtjeng]

Model caching was deprecated in #64, so this issue can no longer recur.