loading SCIP...
n: 40 m: 24 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 5 34 
2 12 27 
3 7 13 
4 15 29 
8 20 32 
9 19 28 
10 26 38 
17 31 33