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

0 34 38 
2 8 23 
3 5 14 
4 21 35 
9 13 30 
10 25 31