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

1 10 25 
2 9 27 
4 33 37 
5 18 29 
6 11 35 
7 13 38 
8 15 23 
17 28 39 
19 22 26 
30 34 36