n: 21 m: 115 packed: 6 density: 85 nodes: 91457 solveTime: 1467 buildTime: 73 <1,4,5> <0,10,20> <3,6,8> <2,12,17> <7,14,15> <11,13,16> 3Cycles: 6 value:6[1]{6}