loading SCIP...
n: 60 m: 17 packed: 9 density: 45 nodes: 0 solverTime: 0 buildTime: 0 solved: false

2 24 47 
3 19 35 
9 23 28 
10 21 41 
11 29 51 
12 22 59 
17 32 55 
33 39 44 
36 48 57