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

1 4 13 
2 23 59 
3 15 38 
9 37 39 
10 19 45 
20 47 54 
22 30 31 
46 55 57