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

0 15 22 
6 17 41 
7 8 9 
10 35 51 
12 25 32 
21 24 31