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

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