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

0 4 22 
1 18 26 
2 9 24 
3 5 6 
8 15 17 
10 21 28 
12 16 29 
14 20 27