n: 20 m: 73 packed: 6 density: 0 nodes: 0 solveTime: 10 buildTime: 10 solved: true
{0,12,15}
{1,10,17}
{2,4,5}
{3,8,9}
{6,7,11}
{16,18,19}