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

1 17 21 
2 13 22 
3 7 39 
4 29 37 
8 14 26 
10 16 23 
11 34 35 
12 15 20 
18 27 31 
25 28 36