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

2 19 21 
4 11 13 
6 15 18 
7 9 23 
12 20 22 
17 26 28 
25 27 29