loading SCIP...
n: 40 m: 14 packed: 7 density: 53 nodes: 0 solverTime: 0 buildTime: 0 solved: false

1 19 22 
2 27 36 
4 26 37 
6 17 21 
8 15 29 
9 14 30 
10 11 31