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

0 5 39 
2 8 28 
6 17 29 
13 27 30 
16 24 38 
18 20 33 
26 32 35