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

1 15 31 
3 27 28 
5 9 12 
6 14 38 
10 23 34 
11 24 25 
13 19 29 
17 18 32 
36 37 39