loading SCIP...
n: 40 m: 11 packed: 5 density: 38 nodes: 0 solverTime: 15 buildTime: 0 solved: false

5 9 17 
10 36 39 
14 29 38 
15 26 35 
20 21 28