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

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