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

0 34 45 
10 13 47 
16 19 37 
18 27 29 
21 46 51 
26 42 49 
31 44 58 
38 56 59