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

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