graph-based backjumping started