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

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