loading SCIP...
n: 40 m: 78 packed: 12 density: 92 nodes: 0 solverTime: 16 buildTime: 0 solved: false

1 11 36 
3 16 23 
4 17 28 
5 15 34 
7 21 32 
8 13 29 
9 10 27 
12 24 37 
14 26 31 
18 22 25 
19 38 39 
30 33 35