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

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