loading SCIP...
n: 30 m: 130 packed: 10 density: 100 nodes: 0 solverTime: 47 buildTime: 0 solved: true

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