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

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