n: 40 m: 403 packed: 13 density: 0 nodes: 0 solveTime: 15350 buildTime: 90 solved: true
{0,12,15}
{1,7,36}
{2,10,28}
{3,22,35}
{4,32,39}
{5,9,17}
{6,11,23}
{8,14,38}
{13,21,27}
{16,26,34}
{18,30,37}
{19,20,29}
{24,25,33}