loading SCIP...
n: 40 m: 305 packed: 13 density: 100 nodes: 0 solverTime: 812 buildTime: 0 solved: true

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