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