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

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