loading SCIP...
n: 40 m: 46 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false

1 3 17 
2 30 32 
4 7 28 
5 9 12 
6 15 39 
8 26 33 
13 22 37 
14 18 20 
23 24 31 
25 34 35