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

5 29 35 
6 9 24 
7 10 13 
11 15 25 
12 36 37 
19 28 32 
20 26 31 
22 34 38