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

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