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

0 31 43 
5 39 49 
6 34 53 
8 29 44 
13 37 52 
16 40 50 
19 21 24 
28 36 54