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

0 11 27 
1 22 23 
2 15 24 
4 9 28 
5 13 18 
6 26 29 
8 10 19 
12 14 20