loading SCIP...
n: 40 m: 30 packed: 7 density: 53 nodes: 0 solverTime: 15 buildTime: 0 solved: false

2 24 38 
6 14 33 
8 12 30 
9 11 25 
10 18 32 
13 28 31 
20 37 39