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

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