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

0 13 17 
3 9 29 
4 15 23 
5 6 7 
8 12 16 
10 18 26 
11 14 24 
21 22 28