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

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