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

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