loading SCIP...
n: 40 m: 94 packed: 12 density: 92 nodes: 0 solverTime: 62 buildTime: 0 solved: false

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