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

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