move constraint to cpp
move init and backtracking to arccc.cc
only print when a solution is found