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

2 12 23 
3 19 34 
6 18 30 
13 17 22 
14 26 28 
24 31 32