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

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