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

2 22 27 
3 26 29 
5 12 18 
6 9 17 
7 11 32 
8 15 31 
13 23 25 
16 36 39 
20 34 35 
28 30 38