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

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