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