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

6 13 52 
11 45 46 
14 15 43 
16 30 38 
25 26 48 
28 29 42