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

1 12 23 
2 25 39 
3 19 31 
4 15 21 
6 9 37 
7 28 36 
13 17 33 
14 27 30 
18 22 24 
20 26 35