loading SCIP...
n: 40 m: 587 packed: 13 density: 100 nodes: 0 solverTime: 1766 buildTime: 0 solved: true

1 15 35 
2 19 30 
3 12 17 
4 31 34 
5 29 36 
6 21 25 
7 28 32 
8 9 39 
10 14 24 
11 16 26 
13 33 38 
18 27 37 
20 22 23