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

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