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

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