loading SCIP...
n: 60 m: 19 packed: 7 density: 35 nodes: 0 solverTime: 32 buildTime: 0 solved: false

4 21 41 
13 34 56 
14 50 57 
19 28 49 
22 32 47 
33 35 36 
38 46 52