loading SCIP...
n: 30 m: 237 packed: 10 density: 100 nodes: 0 solverTime: 78 buildTime: 0 solved: true

0 4 24 
1 3 5 
2 23 29 
6 11 17 
7 14 16 
8 15 27 
9 18 28 
10 12 22 
13 19 21 
20 25 26