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

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