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

0 8 11 
2 13 20 
3 10 27 
4 21 23 
5 24 26 
14 35 36 
22 32 34