loading SCIP...
n: 40 m: 64 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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