loading SCIP...
n: 40 m: 23 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false

1 5 14 
3 26 34 
6 7 23 
9 20 38 
11 22 33 
13 19 36 
15 17 21 
29 32 35