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

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