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

1 14 30 
2 10 36 
5 26 28 
6 21 22 
9 16 25 
11 12 20 
13 33 37 
17 29 35 
18 27 31 
19 23 32