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

3 28 32 
8 12 25 
9 23 33 
10 34 36 
11 26 29 
13 14 21 
17 20 38 
18 19 39