n: 30 m: 72 packed: 8 density: 80 nodes: 46265 solveTime: 1013 buildTime: 66 <15,17,29> <2,8,13> <11,24,27> <0,3,21> <9,10,26> <5,7,14> <19,22,25> <4,12,23> 3Cycles: 8 value:8[1]{8}