0 2 3 4 9 13 16 8 17 5 1 10 12 15 11 14 7 19 6 18 
nodes: 3472570  checks: 447390012