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

1 5 27 
2 16 25 
3 13 17 
4 10 20 
7 14 26 
8 9 24 
12 21 29 
19 22 23