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

0 6 11 
2 10 17 
3 34 38 
5 22 39 
12 23 28 
14 21 33