Computing Irreducible Inconsistent Subsystem (IIS) to find infeasibility causes

Specific Domains Optimization (Mathematical)
1

Hi, I am trying to find infeasibility causes of a MIP model in JuMP with Gurobi solver using the comand: “compute_conflict!(model1)”.
The output result is copied below, but I dont know how to translate these result to identify the infeasibility cause in the model. How can I find it?
Thanks in advance

Model is infeasible
Best objective -, best bound -, gap -

User-callback calls 426, time in user-callback 0.00 sec

Computing Irreducible Inconsistent Subsystem (IIS)…

       Constraints          |            Bounds           |  Runtime
  Min       Max     Guess   |   Min       Max     Guess   |

    0      8545         -         0     21840         -           0s
    0      8540         -         0      5962         -           5s
    0      8539         -         0      5962         -          11s
    1      8538         -         0      5962         -          17s
    1      8537         -         0      5962         -          22s
    3      8537         -         0      5962         -          25s
    3      8536         -         0      5962         -          30s
    3      8536         -         0      5962         -          35s
    4      8535         -         0      5962         -          44s
    4      8534         -         0      5962         -          50s
    4      8533         -         0      5962         -          55s
    5      8533         -         0      5962         -          64s
    5      8533         -         0      5962         -          69s
    5      8533         -         0      5962         -          75s
    6      8533         -         0      5962         -          79s
    6      8533         -         0      5962         -          82s
    6      8533         -         0      5962         -          88s
    6      8533         -         0      5962         -          94s
    6      8532         -         0      5962         -          99s
    6      8532         -         0      5962         -         100s
    6      8532         -         0      5962         -         100s

Non-minimal IIS computed: 8532 constraints, 5962 bounds
IIS runtime: 100.11 seconds (20.50 work units)

2

Take a read of this part of the docs:

See also

3

Thanks @odow ,
I am trying to use the code described in Solutions:
“if get_attribute(model1, MOI.ConflictStatus()) == MOI.CONFLICT_FOUND
iis_model1, _ = copy_conflict(model1)
print(iis_model1)
end”
But returns the error: “UndefVarError: get_attribute not defined”
Dont know if Its a problem related to Gurobi.