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

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