loading SCIP...
n: 30 m: 32 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false

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