loading SCIP...
n: 40 m: 25 packed: 6 density: 46 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 8 19 
1 31 38 
2 23 30 
3 12 29 
4 25 33 
9 10 28