n: 30 m: 54 packed: 8 density: 80 nodes: 25991 solveTime: 728 buildTime: 59 <4,16,19> <7,15,25> <8,23,26> <0,11,29> <12,20,22> <6,14,18> <9,10,21> <1,5,13> 3Cycles: 8 value:8[1]{8}