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