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

1 22 30 
2 8 37 
5 12 27 
6 24 39 
7 25 35 
9 14 21 
10 17 29 
11 31 32 
13 23 33 
18 26 36