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

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