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

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