n: 30 m: 42 packed: 8 density: 80 nodes: 8452 solveTime: 492 buildTime: 54 <7,8,14> <10,26,27> <2,6,18> <0,11,20> <1,17,29> <16,22,23> <4,15,28> <3,9,24> 3Cycles: 8 value:8[1]{8}