tests for constraint solver
add scalability tst