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

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