loading SCIP...
n: 40 m: 37 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 7 11 
2 18 20 
3 32 38 
6 17 31 
8 15 19 
10 24 35 
13 22 23 
16 26 29