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

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