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

3 28 34 
7 21 27 
8 30 38 
9 19 26 
10 12 16 
11 15 18 
20 31 36