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

1 9 15 
7 19 27 
11 16 35 
17 18 23 
22 34 36 
24 30 37 
25 31 32 
29 38 39