loading SCIP...
n: 40 m: 25 packed: 7 density: 53 nodes: 0 solverTime: 15 buildTime: 0 solved: false

1 13 37 
3 31 35 
11 16 38 
12 25 26 
19 27 30 
20 23 39 
29 33 34