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