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

2 3 12 
10 43 46 
13 21 34 
14 16 28 
15 48 56 
22 40 49 
26 27 54