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

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