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

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