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

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