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

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