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

0 16 24 
2 18 23 
3 13 29 
4 5 10 
7 17 25 
8 22 26 
9 21 28 
12 19 20