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

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