n: 30 m: 42 packed: 7 density: 70 nodes: 4406 solveTime: 370 buildTime: 54 <5,9,23> <17,22,29> <13,25,26> <2,10,12> <3,8,15> <1,4,24> <0,7,14> 3Cycles: 7 value:7[1]{7}