loading SCIP...
n: 40 m: 85 packed: 12 density: 92 nodes: 0 solverTime: 141 buildTime: 0 solved: false

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