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

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