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

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