loading SCIP...
n: 30 m: 62 packed: 9 density: 90 nodes: 0 solverTime: 15 buildTime: 0 solved: false

1 11 19 
2 16 18 
3 5 22 
4 15 17 
6 9 20 
7 12 29 
8 13 28 
10 26 27 
21 23 24