loading SCIP...
n: 40 m: 79 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false

1 13 32 
2 19 22 
3 6 14 
4 23 39 
5 27 35 
7 10 31 
8 26 38 
9 16 25 
11 20 37 
12 17 36 
15 24 28