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

0 6 23 
2 5 26 
3 9 17 
8 27 28 
10 16 19 
11 15 24 
12 25 29 
13 14 21