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

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