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

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