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

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