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

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