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

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