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

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