loading SCIP...
n: 40 m: 64 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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