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

1 20 28 
3 25 34 
4 29 31 
5 17 22 
6 35 39 
7 13 37 
8 16 30 
10 26 27 
11 12 36 
15 24 33