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

1 4 15 
2 22 24 
3 9 33 
5 14 17 
6 20 36 
8 29 34 
10 35 38 
11 19 39 
18 23 37 
21 25 32