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

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