So the conclusion: this is the search tree and we have proven that for that graph there exist no Hamiltonian circuit. The same branching is used in some more fancy way for the travelling salesman problem.