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

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