n: 30 m: 26 packed: 5 density: 50 nodes: 532 solveTime: 143 buildTime: 47 <6,11,20> <14,21,23> <4,12,15> <1,3,28> <0,8,18> 3Cycles: 5 value:5[1]{5}