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

9 27 47 
12 18 51 
13 22 54 
14 40 55 
24 43 44 
31 39 58 
42 48 53