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

0 31 58 
1 32 48 
4 5 50 
13 29 55 
27 30 54 
28 45 59