loading SCIP...
n: 30 m: 36 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false

2 13 16 
5 11 19 
6 23 28 
7 14 27 
8 15 29 
9 21 22 
20 25 26