loading SCIP...
n: 60 m: 9 packed: 6 density: 30 nodes: 0 solverTime: 32 buildTime: 0 solved: false

1 10 59 
5 50 56 
9 14 15 
11 17 20 
13 42 51 
22 33 38