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

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