loading SCIP...
n: 40 m: 43 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false

3 31 34 
5 8 18 
6 16 33 
7 12 36 
10 37 38 
11 14 32 
13 22 39 
15 27 28 
17 23 24 
20 26 30