loading SCIP...
n: 40 m: 44 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false

1 20 33 
3 6 34 
4 23 26 
7 17 19 
8 24 27 
9 18 37 
10 16 32 
11 14 30 
12 25 39 
35 36 38