Problem:    
Rows:       3
Columns:    3 (3 integer, 0 binary)
Non-zeros:  5
Status:     INTEGER EMPTY
Objective:  obj = 0 (MINimum)

   No.   Row name        Activity     Lower bound   Upper bound
------ ------------    ------------- ------------- -------------
     1 r.4                         0             0             = 
     2 r.5                         0             1               
     3 r.6                         0                           2 

   No. Column name       Activity     Lower bound   Upper bound
------ ------------    ------------- ------------- -------------
     1 x            *              0                             
     2 y            *              0                             
     3 z            *              0             0               

Integer feasibility conditions:

KKT.PE: max.abs.err = 0.00e+00 on row 0
        max.rel.err = 0.00e+00 on row 0
        High quality

KKT.PB: max.abs.err = 1.00e+00 on row 2
        max.rel.err = 5.00e-01 on row 2
        SOLUTION IS INFEASIBLE

End of output