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

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