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

1 18 19 
3 16 29 
5 32 34 
6 21 24 
7 14 39 
8 9 15 
17 22 33 
20 27 30 
23 37 38 
26 28 31