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

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