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

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