loading SCIP...
n: 30 m: 62 packed: 8 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false

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