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

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