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

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