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

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