loading SCIP...
n: 30 m: 53 packed: 9 density: 90 nodes: 0 solverTime: 32 buildTime: 0 solved: false

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