7.4: Integer programming example in Pyomo - solver log for larger problems