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

4 8 31 
5 11 21 
7 9 19 
10 16 25 
13 34 39 
17 36 37 
22 27 35 
23 28 32 
29 30 33