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

3 8 17 
4 16 25 
9 33 39 
10 15 30 
12 26 36 
14 18 22 
20 24 35 
28 29 32