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

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