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

0 5 35 
1 6 10 
3 16 26 
4 20 36 
11 13 27 
12 32 38