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

1 32 37 
2 10 12 
3 11 35 
7 24 38 
8 29 36 
9 28 31 
13 26 33 
14 17 19 
15 20 27 
18 22 23