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

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