n: 30  m: 158 packed: 10 density: 100 nodes: 37512 solveTime:  819 buildTime:  93
<1,8,12>
<0,2,21>
<4,10,17>
<13,24,28>
<5,6,26>
<19,20,25>
<7,14,23>
<9,15,27>
<3,16,22>
<11,18,29>

3Cycles: 10
value:10[1]{10}