loading SCIP...
n: 40 m: 17 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 1 24 
2 30 31 
3 18 34 
4 23 35 
9 19 25 
10 28 33 
13 15 37