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

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