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

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