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

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