Exactly solving packing problems with fragmentation. (November 2016)