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

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