loading SCIP...
n: 40 m: 47 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false

0 8 10 
2 23 31 
3 20 28 
4 7 11 
5 12 14 
6 17 24 
9 25 35 
16 18 39 
19 21 36