loading SCIP...
n: 40 m: 25 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 18 34 
2 14 23 
3 10 33 
4 25 32 
7 29 36 
8 16 31 
24 28 30 
27 38 39