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

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