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

3 38 59 
6 32 53 
9 31 52 
10 13 54 
15 48 50 
22 44 58 
33 39 56 
37 43 46