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

1 12 19 
2 8 33 
3 5 21 
4 9 38 
7 26 31 
10 30 36 
17 35 37 
20 22 29 
23 24 34 
25 28 32