n: 30 m: 27 packed: 6 density: 60 nodes: 463 solveTime: 142 buildTime: 48 <5,8,28> <11,16,18> <0,1,13> <3,12,14> <2,23,26> <9,20,24> 3Cycles: 6 value:6[1]{6}