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

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