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

0 9 14 
1 19 26 
2 21 23 
4 15 25 
5 11 27 
6 28 29 
8 10 17 
18 20 24