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

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