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

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