loading SCIP...
n: 50 m: 55 packed: 10 density: 62 nodes: 0 solverTime: 15 buildTime: 0 solved: false

1 25 42 
2 20 31 
3 23 32 
4 9 30 
5 27 36 
6 24 34 
12 29 41 
16 17 28 
19 39 44 
22 26 43