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