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

3 6 53 
7 14 43 
21 38 52 
23 28 30 
29 54 57 
46 49 51