n: 30 m: 42 packed: 9 density: 90 nodes: 12488 solveTime: 450 buildTime: 53 <3,12,27> <2,13,28> <7,11,20> <10,14,19> <6,17,18> <4,23,24> <0,9,29> <15,16,22> <1,5,8> 3Cycles: 9 value:9[1]{9}