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

1 11 35 
2 4 9 
3 8 10 
5 17 39 
6 32 34 
12 22 37 
13 24 38 
15 27 29 
23 31 36