loading SCIP...
n: 40 m: 88 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false

1 28 30 
2 22 26 
3 14 19 
4 13 38 
5 29 33 
6 18 20 
8 10 23 
9 15 16 
11 12 24 
25 27 32