Cargo Problem slp bnbs SMPS cplex This is the cargo-128 problem from http://www.uwsp.edu/math/afelt/slptestset.html