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

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