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

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