Completed Cplex implementation, Need to test for sanity