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

2 16 35 
6 12 38 
7 9 13 
10 15 39 
18 26 31 
19 33 34 
20 24 25