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

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