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

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