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

0 11 36 
3 31 34 
4 9 37 
5 28 39 
13 20 21 
16 19 32 
17 26 33