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

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