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

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