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

3 9 22 
5 16 33 
6 8 26 
10 30 31 
11 23 39 
12 34 38 
13 18 29 
24 25 36