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

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