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

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