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

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