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

1 12 36 
3 31 37 
4 28 32 
5 18 33 
6 8 26 
9 20 24 
13 21 22 
16 34 38 
17 23 39 
25 27 29