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

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