loading SCIP...
n: 30 m: 122 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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