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

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