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

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