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

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