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

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