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

1 2 17 
3 6 15 
5 7 8 
9 29 31 
10 33 38 
11 24 32 
12 16 30 
14 21 27 
18 20 34 
25 28 39