shrunk test problem even more and fixed constraint matrix generation