Solving the variable size bin packing problem with discretized formulations