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

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