loading SCIP...
n: 60 m: 17 packed: 7 density: 35 nodes: 0 solverTime: 16 buildTime: 0 solved: false

7 36 43 
8 50 52 
9 20 51 
17 26 57 
22 44 54 
23 34 48 
25 45 56