n: 30 m: 512 packed: 10 density: 0 nodes: 0 solveTime: 21330 buildTime: 150 solved: true
{0,1,3}
{2,4,11}
{5,25,27}
{6,8,10}
{7,9,12}
{13,19,24}
{14,17,18}
{15,20,21}
{16,22,23}
{26,28,29}