Problem:    happy
Rows:       8
Columns:    6 (6 integer, 6 binary)
Non-zeros:  25
Status:     INTEGER OPTIMAL
Objective:  skill = 15 (MAXimum)

   No.   Row name        Activity     Lower bound   Upper bound
------ ------------    ------------- ------------- -------------
     1 front                       2             1               
     2 back                        2             1               
     3 datab                       1             1               
     4 css                         3             1               
     5 agi                         1             1               
     6 dev                         1             1               
     7 letszam                     4             3             4 
     8 skill                      15                             

   No. Column name       Activity     Lower bound   Upper bound
------ ------------    ------------- ------------- -------------
     1 t            *              1             0             1 
     2 d            *              1             0             1 
     3 bo           *              0             0             1 
     4 be           *              1             0             1 
     5 m            *              1             0             1 
     6 b            *              0             0             1 

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 = 0.00e+00 on row 0
        max.rel.err = 0.00e+00 on row 0
        High quality

End of output