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

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