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

1 11 35 
2 20 49 
3 30 45 
6 43 48 
7 16 25 
8 39 55 
13 34 42 
47 53 54