LP for rounding, OR-Library test case loading