loading SCIP...
n: 40 m: 48 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false

1 19 21 
2 23 24 
3 18 30 
5 15 25 
7 10 26 
8 28 38 
9 35 36 
11 27 29 
12 31 32