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

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