n: 30 m: 56 packed: 8 density: 80 nodes: 25783 solveTime: 757 buildTime: 60 <2,17,29> <9,15,25> <10,13,14> <3,5,19> <4,8,27> <12,18,23> <0,1,26> <16,24,28> 3Cycles: 8 value:8[1]{8}