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

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