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

2 5 12 
3 17 31 
4 23 26 
9 18 37 
14 16 39 
15 27 29 
21 32 34 
24 30 35