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

1 31 39 
2 12 34 
3 23 29 
4 13 37 
6 11 22 
9 18 24 
10 27 36 
15 35 38 
16 17 32 
19 26 30