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

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