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

1 11 38 
2 10 19 
3 15 18 
4 7 21 
5 36 37 
6 9 24 
8 28 31 
12 27 35 
17 20 39 
25 29 33