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

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