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

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