loading SCIP...
n: 60 m: 17 packed: 6 density: 30 nodes: 0 solverTime: 15 buildTime: 0 solved: false

1 11 36 
6 16 39 
8 15 48 
21 24 32 
22 40 58 
25 46 50