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

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