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