Changing the number of vertices and msg and vv constraints logged from 11 to 10