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

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