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

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