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

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