loading SCIP...
n: 50 m: 42 packed: 9 density: 56 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 35 37 
5 10 16 
6 13 46 
7 23 43 
8 18 22 
9 17 24 
14 19 45 
15 38 42 
31 39 40