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

1 14 23 
2 21 41 
3 36 58 
4 53 55 
9 31 50 
15 43 46 
20 32 59 
25 47 51