n: 30 m: 142 packed: 10 density: 100 nodes: 1773623 solveTime: 20773 buildTime: 89 <8,18,24> <0,5,22> <9,11,15> <2,3,27> <4,16,28> <10,19,26> <1,17,29> <7,13,21> <12,20,23> <6,14,25> 3Cycles: 10 value:10[1]{10}