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

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