n: 30 m: 93 packed: 8 density: 80 nodes: 194262 solveTime: 2964 buildTime: 75 <12,15,20> <6,11,17> <5,10,16> <0,22,24> <3,4,27> <7,13,18> <8,19,26> <9,23,25> 3Cycles: 8 value:8[1]{8}