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

1 4 23 
2 19 35 
6 28 37 
7 15 21 
9 14 36 
10 22 34 
11 12 27 
30 33 38