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

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