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

0 34 37 
2 13 33 
4 22 23 
5 8 28 
15 16 39 
24 29 30 
26 31 32