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

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