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

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