n: 30 m: 113 packed: 9 density: 90 nodes: 1772084 solveTime: 21060 buildTime: 82 <0,9,22> <1,18,24> <2,12,21> <7,16,25> <4,11,17> <15,20,26> <14,19,27> <3,6,29> <5,8,28> 3Cycles: 9 value:9[1]{9}